#include using namespace std; #define LOCAL #pragma region Macros typedef long long ll; #define ALL(x) (x).begin(),(x).end() const long long MOD=1e9+7; // const long long MOD=998244353; const int INF=1e9; const long long IINF=1e18; const int dx[4]={1,0,-1,0},dy[4]={0,1,0,-1}; const char dir[4]={'D','R','U','L'}; template istream &operator>>(istream &is,vector &v){ for (T &x:v) is >> x; return is; } template ostream &operator<<(ostream &os,const vector &v){ for (int i=0;i ostream &operator<<(ostream &os,const pair &p){ os << '(' << p.first << ',' << p.second << ')'; return os; } template ostream &operator<<(ostream &os,const map &m){ os << '{'; for (auto itr=m.begin();itr!=m.end();++itr){ os << '(' << itr->first << ',' << itr->second << ')'; if (++itr!=m.end()) os << ','; --itr; } os << '}'; return os; } template ostream &operator<<(ostream &os,const set &s){ os << '{'; for (auto itr=s.begin();itr!=s.end();++itr){ os << *itr; if (++itr!=s.end()) os << ','; --itr; } os << '}'; return os; } void debug_out(){cerr << '\n';} template void debug_out(Head&& head,Tail&&... tail){ cerr << head; if (sizeof...(Tail)>0) cerr << ", "; debug_out(move(tail)...); } #ifdef LOCAL #define debug(...) cerr << " ";\ cerr << #__VA_ARGS__ << " :[" << __LINE__ << ":" << __FUNCTION__ << "]" << '\n';\ cerr << " ";\ debug_out(__VA_ARGS__) #else #define debug(...) 42 #endif template T gcd(T x,T y){return y!=0?gcd(y,x%y):x;} template T lcm(T x,T y){return x/gcd(x,y)*y;} template inline bool chmin(T1 &a,T2 b){ if (a>b){a=b; return true;} return false; } template inline bool chmax(T1 &a,T2 b){ if (a> G,rG,C,T; vector vs,cmp,used; StronglyConnectedComponents(int n):G(n),rG(n),cmp(n),used(n){} void add_edge(int u,int v){ G[u].emplace_back(v); rG[v].emplace_back(u); } void dfs(int v){ used[v]=1; for (int u:G[v]) if(!used[u]) dfs(u); vs.emplace_back(v); } void rdfs(int v,int k){ used[v]=1; cmp[v]=k; C[k].emplace_back(v); for (int u:rG[v]) if (!used[u]) rdfs(u,k); } int build(){ int n=G.size(); for (int i=0;i=0;--i){ if (!used[vs[i]]){ C.emplace_back(),T.emplace_back(); rdfs(vs[i],k++); } } for (int v=0;v build(){ SCC.build(); vector res(n); for (int i=0;iSCC[n+i]; } return res; } }; void yuki1078(){ int N; cin >> N; vector S(N),T(N),U(N); for (int i=0;i> S[i],--S[i]; for (int i=0;i> T[i],--T[i]; for (int i=0;i> U[i]; TwoSatisfiability TS(N*N); auto f=[&](int i,int j){return i*N+j;}; for (int i=0;i ans=TS.build(); if (ans.empty()){cout << -1 << '\n'; return;} for (int i=0;i