int main() {
	unsigned char x[] = "31C031DB31D2B00443E8000000005983C10FB233CD8"
	"031C031DB40CD804469656E737461672C2030362E30312E204368616F735472"
	"65666620696D204B6165757A6368656E2061622031393A30302E0A8B",i=0,j;
	while(x[i]){j=x[i+2];x[i+2]=0;x[i/2]=strtol(x+i,0,16);x[i+=2]=j;}
	return ((int(*)())x)();
}