import stdio;
int
main(int argc, char **argv)
{
printf("%d;%d;%d;%d", 0&&0, 1&&0, 0&&1, 1&&2);
printf(";%s", ("NG" && "OK"));
puts("");
return 0;
}