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