This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include <bits/stdc++.h>
#define ld long double
#define endl "\n"
#define fastio ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0);
#define pb(x) push_back(x)
#define mp(a,b) make_pair(a,b)
#define ms(v,x) memset(v,x,sizeof(v))
#define all(v) v.begin(),v.end()
#define ff first
#define ss second
#define rep(i, a, b) for(int i = a; i < (b); ++i)
#define per(i, a, b) for(int i = b-1; i>=a ; i--)
#define trav(a, x) for(auto& a : x)
#define allin(a , x) for(auto a : x)
#define Unique(v) sort(all(v));v.erase(unique(all(v)),v.end());
#define sz(v) ((int)v.size())
//#define int long long
using namespace std;
typedef vector<int> vi;
#define y1 abacaba
#define left sefude
#define db(x) cerr << #x <<" == "<<x << endl;
#define db2(x,y) cerr<<#x <<" == "<<x<<", "<<#y<<" == "<<y<<endl;
#define db3(x,y,z) cerr << #x<<" == "<<x<<", "<<#y<<" == "<<y<<", "<<#z<<" == "<<z<<endl; 
#define prl cerr<<"called: "<< __LINE__ << endl;
typedef long long ll;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
inline ll mod(ll n, ll m ){ ll ret = n%m; if(ret < 0) ret += m; return ret; }
ll gcd(ll a, ll b){return (b == 0LL ? a : gcd(b, a%b));}
ll exp(ll a,ll b,ll m){
    if(b==0LL) return 1LL;
    if(b==1LL) return mod(a,m);
    ll k = mod(exp(a,b/2,m),m);
    if(b&1LL){
        return mod(a*mod(k*k,m),m);
    }
    else return mod(k*k,m);
}
const int N = 100100,MAXL = 20,inf = 100100;
int ans[N][MAXL];
vi g[N];
int H[N];
int in[N];
int T=0;
void dfs(int v,int p = -1){
  in[v] = ++T;
  for(int to : g[v])if(to!=p){
    ans[to][0] = v;
    H[to] = H[v] + 1;
    dfs(to,v);
  }
}
int lca(int a,int b){
  if(H[a] < H[b])swap(a,b);
  for(int i=MAXL-1;i>=0;i--){
    if(H[a] - (1<<i) >= H[b])a=ans[a][i];
  }
  if(a==b)return a;
  for(int i=MAXL-1;i>=0;i--)
    if(ans[a][i]!=ans[b][i])a=ans[a][i],b=ans[b][i];
  return ans[a][0];
}
ll pre[N];
void add_path(int l,int r){
  if(l==r)return;
  pre[l]++;pre[r]--;
}
void add(int a,int b){
  int L = lca(a,b);
  add_path(a,L);add_path(b,L);
}
void virtual_tree(vi K){
    auto f = [&](int a , int b){
        return in[a] < in[b];
    };
    //vector<edge> e;
    sort(all(K) , f);
    int m = sz(K);
    rep(i,1,m){
        K.push_back(lca(K[i] , K[i-1]));
    }
    sort(all(K) , f);
    K.erase(unique(all(K)) , K.end());
    
    rep(i,0,sz(K) -1){
        int z = lca(K[i] , K[i+1]);
        add(K[i + 1],z);
        //e.push_back({K[i+1] , z ,dist(z,K[i+1])});
    }
    
    return;
    //return {e ,K[0]};
}
int pai[N];
void go(int v,int p = -1){
  for(int to : g[v])if(to!=p){
    pai[to] = v;
    go(to,v);
    pre[v]+=pre[to];
  }
}
pii e[N];
int32_t main(){
  fastio;
  int n,q,k;
  cin >> n >> q >> k;
  for(int i=1;i<n;i++){
    int a,b;cin>>a>>b;
    g[a].pb(b);
    g[b].pb(a);
    e[i] = pii(a,b);
  }
  ans[1][0]=1;
  dfs(1);
  for(int j=1;j<MAXL;j++){
    for(int i=1;i<=n;i++){
      ans[i][j] = ans[ans[i][j-1]][j-1];
    }
  }
  while(q--){
    int s;
    cin >> s;
    vi v(s);
    rep(i,0,s)cin >> v[i];
    virtual_tree(v);
  }
  go(1);
 
  vi res;
  
  for(int i=1;i<n;i++){
    if(pai[e[i].ff] != e[i].ss)swap(e[i].ff,e[i].ss);
    assert(pai[e[i].ff] == e[i].ss);
    if(pre[e[i].ff] >= k)res.pb(i);
  }
  cout << sz(res)<<endl;
  for(int x : res)cout<<x<<" ";
  cout<<endl;
  // math -> gcd it all
  // Did u check N=1? Did you switch N,M?
}
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... |