#include <stdio.h>
char s[] = {105,110,116,32,109,97,105,110,40,41,123,10,9,105,110,116,32,105,59,10,9,112,114,105,110,116,102,40,34,35,105,110,99,108,117,100,101,32,60,115,116,100,105,111,46,104,62,92,110,99,104,97,114,32,115,91,93,32,61,32,123,34,41,59,10,9,102,111,114,32,40,105,32,61,32,48,59,32,115,91,105,93,59,32,105,43,43,41,10,9,9,112,114,105,110,116,102,40,34,37,100,44,34,44,32,115,91,105,93,41,59,10,9,112,114,105,110,116,102,40,34,48,125,59,92,110,37,115,34,44,32,115,41,59,10,125,10,0};
int main(){
	int i;
	printf("#include <stdio.h>\nchar s[] = {");
	for (i = 0; s[i]; i++)
		printf("%d,", s[i]);
	printf("0};\n%s", s);
}