import stdio;
int
main(int argc, char **argv)
{
printf("%d;%d;%d;%d\n", 0&&0, 1&&0, 0&&1, 1&&2);
return 0;
}