#include <stdio.h>

void main()
{
int i;
printf("Hello, World!\n");
for(i=0; i<1024; i++)
printf("%d %d\n", i, i + (512 -1) &~ (512 -1));
}