void Tarjan(int x){

     low[x]=ID[x]=++tot;

     st[++top]=x;Inst[x]=true;

     for(int i=fir[x];i;i=nxt[i])

         if(!ID[to[i]]){

             Tarjan(to[i]);

             low[x]=min(low[x],low[to[i]]);

         }

         else if(Inst[to[i]])

             low[x]=min(low[x],ID[to[i]]);

     if(low[x]==ID[x]){

         ++scnt;

         while(true){

             int y=st[top--];

             scc[y]=scnt;

             Inst[y]=false;

             if(x==y)break;

         }

     }

 }

 bool Check(){

     for(int i=;i<n*;i++)

         if(!ID[i])Tarjan(i);

     for(int i=;i<n;i++)

         if(scc[i*]==scc[i*+])

             return false;

     return true;

 }