using namespace std; #include int main(){ return printf("%d\n",(1<<31)); }