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