int main(int argc, char *argv[]) { void read_eval_do(); read_eval_do(stdin, stdout); int x; scanf("%d", &x); return 0; }
int main(int argc, char *argv[]) { void read_eval_do(); read_eval_do(stdin, stdout); return 0; }
int main(int argc, char *argv[]) { void read_eval_do(); read_eval_do(stdin, stdout); int x; scanf("%d", &x); return 0; }
int main(int argc, char *argv[]) { void read_eval_do(); read_eval_do(stdin, stdout); return 0; }