int main(){ return 42; }