#include #include using namespace std; int main(){ int n,m; cin>>n>>m; atcoder::two_sat ts(m); vector> a(n); for(int i=0;i>a[i][0]>>a[i][1]; for(int j=0;j