int main(){return 42;}