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