i;main(){main(write(1,"93 7\n"+getchar()%6,++i%24<11));}