#include #include #include int main(void){ printf("42\n"); }