#include<u.h>
#include<libc.h>
uchar σ[]={118,111,105,100,32,109,97,105,110,40,41,123,10,9,105,110,116,32,201,168,59,10,9,112,114,105,110,116,40,34,35,105,110,99,108,117,100,101,60,117,46,104,62,92,110,35,105,110,99,108,117,100,101,60,108,105,98,99,46,104,62,92,110,117,99,104,97,114,32,207,131,91,93,61,123,34,41,59,10,9,102,111,114,40,201,168,61,48,59,207,131,91,201,168,93,59,201,168,43,43,41,10,9,9,112,114,105,110,116,40,34,37,100,44,34,44,207,131,91,201,168,93,41,59,10,9,112,114,105,110,116,40,34,48,125,59,92,110,37,115,34,44,207,131,41,59,10,125,10,0};
void main(){
	int ɨ;
	print("#include<u.h>\n#include<libc.h>\nuchar σ[]={");
	for(ɨ=0;σ[ɨ];ɨ++)
		print("%d,",σ[ɨ]);
	print("0};\n%s",σ);
}