/* automatically generated by bin2hex */
static unsigned char ksign_def_public_key[] __initdata =
{
	0x00, 0x09, 0x00, 0x00, 0x00, 0x00
};