#include <stdio.h>

int main(void)
{
	int i = 0;

	printf("%d %d %d %d\n", i, i++, i, i++);

	return 0;
}