#include #include #include #include namespace mp = boost::multiprecision; using Bint = mp::cpp_int; using namespace std; using namespace atcoder; #define rep(i, n) for(int i=0;i<(n);++i) #define rep1(i, n) for(int i=1;i<=(n);i++) #define ll long long using mint = modint998244353; using P = pair; using lb = long double; using T = tuple; #ifdef LOCAL # include # define dbg(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__) #else # define dbg(...) (static_cast(0)) #endif int nand(int a, int b) { return !(a&b); } int main() { rep(i,2)rep(j,2)rep(k,2) { if(nand(nand(i,j),k)!=nand(i,nand(j,k))) { cout << i << " " << j << " " << k << endl; return 0; } } return 0; }