#include using namespace std; template inline void chmin(T1 &a,T2 b){if(a>b) a=b;} template inline void chmax(T1 &a,T2 b){if(a > G,R,T,C; vector vs,used,blg; SCC(){} SCC(int n):G(n),R(n),used(n),blg(n){} void add_edge(int u,int v){ G[u].emplace_back(v); R[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; blg[v]=k; C[k].emplace_back(v); for(int u:R[v]) if(!used[u]) rdfs(u,k); } int build(){ int n=G.size(); for(int v=0;v=0;i--){ if(!used[vs[i]]){ T.emplace_back(); C.emplace_back(); rdfs(vs[i],k++); } } for(int v=0;v v <=> !v -> !u scc.add_edge(u,v); scc.add_edge(negate(v),negate(u)); } void add_or(int u,int v){ // u or v <=> !u -> v add_if(negate(u),v); } void add_nand(int u,int v){ // u nand v <=> u -> !v add_if(u,negate(v)); } void set_true(int v){ // v <=> !v -> v scc.add_edge(negate(v),v); } void set_false(int v){ // !v <=> v -> !v scc.add_edge(v,negate(v)); } vector build(){ scc.build(); vector res(n); for(int i=0;iscc[n+i]; } return res; } }; template void drop(const T &x){cout<>n; vector ss(n),ts(n),us(n); for(int i=0;i>ss[i],ss[i]--; for(int i=0;i>ts[i],ts[i]--; for(int i=0;i>us[i]; auto idx=[&](int y,int x){return y*n+x;}; TwoSat G(n*n); for(int i=0;i