#define	MAX_TRANSFER	0x20010

main(int argc, char **argv)
{
	int i, j;

	j = 0;
	printf("@04000\n");
	for (i = 0; i < MAX_TRANSFER/sizeof(long long); i++) {
		printf("%04x%04x%04x%04x\n",
				j >= 0x8000 ? 0xffff : 0x0000, j,
				j >= 0x8000 ? 0xffff : 0x0000, j+1);
		j += 2;
	}
}