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