print('1 1\n2 2 2','x5\r F$@Kv$ ьPh5M}GuFQq܁&Xf"s<-=^;'.decode('zip'))[id(0)%3]