char	s[]={
	9,
	48,
	10,
	125,
	59,
	10,
	10,
	47,
	42,
	10,
	32,
	42,
	32,
	84,
	104,
	101,
	32,
	115,
	116,
	114,
	105,
	110,
	103,
	32,
	115,
	32,
	105,
	115,
	32,
	97,
	10,
	32,
	42,
	32,
	114,
	101,
	112,
	114,
	101,
	115,
	101,
	110,
	116,
	97,
	116,
	105,
	111,
	110,
	32,
	111,
	102,
	32,
	116,
	104,
	101,
	32,
	98,
	111,
	100,
	121,
	10,
	32,
	42,
	32,
	111,
	102,
	32,
	116,
	104,
	105,
	115,
	32,
	112,
	114,
	111,
	103,
	114,
	97,
	109,
	32,
	102,
	114,
	111,
	109,
	32,
	39,
	48,
	39,
	10,
	32,
	42,
	32,
	116,
	111,
	32,
	116,
	104,
	101,
	32,
	101,
	110,
	100,
	46,
	10,
	32,
	42,
	47,
	10,
	10,
	109,
	97,
	105,
	110,
	40,
	41,
	10,
	123,
	10,
	9,
	105,
	110,
	116,
	32,
	105,
	59,
	10,
	9,
	112,
	114,
	105,
	110,
	116,
	102,
	40,
	34,
	99,
	104,
	97,
	114,
	92,
	116,
	115,
	91,
	93,
	61,
	123,
	92,
	110,
	34,
	41,
	59,
	10,
	9,
	102,
	111,
	114,
	40,
	105,
	61,
	48,
	59,
	115,
	91,
	105,
	93,
	59,
	105,
	43,
	43,
	41,
	10,
	9,
	9,
	112,
	114,
	105,
	110,
	116,
	102,
	40,
	34,
	92,
	116,
	37,
	100,
	44,
	92,
	110,
	34,
	44,
	115,
	91,
	105,
	93,
	41,
	59,
	10,
	9,
	112,
	114,
	105,
	110,
	116,
	102,
	40,
	34,
	37,
	115,
	34,
	44,
	115,
	41,
	59,
	10,
	125,
	0
};

/*
 * The string s is a
 * representation of the body
 * of this program from '0'
 * to the end.
 */

main()
{
	int i;
	printf("char\ts[]={\n");
	for(i=0;s[i];i++)
		printf("\t%d,\n",s[i]);
	printf("%s",s);
}