#include <stdio.h>
int main(int argc, char *argv[])
{
int a = 0;
printf("%d %d %d\n", a
++, a
++, a
++); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CmludCBtYWluKGludCBhcmdjLCBjaGFyICphcmd2W10pCnsKCWludCBhID0gMDsKCXByaW50ZigiJWQgJWQgJWRcbiIsIGErKywgYSsrLCBhKyspOwoJcmV0dXJuIDA7Cn0K