int tup_size = 84;
unsigned char tup_img[] __attribute__((aligned (16))) = { 
0x63, 0x60, 0x18, 0x05, 0x23, 0x18, 0x30, 0x62, 0x81, 0xd4, 0x35, 0x8d, 0x12, 0x13, 0x81, 0x7a, 0xff, 0xa3, 0x01, 0x8a, 0x4c, 0xc4, 0x62, 0x1e, 0x45, 0x26, 0x42, 0xcd, 0x43, 0xf8, 0x14, 0xc9, 0x44, 0xaa, 0x98, 0x87, 0xc4, 0xa7, 0xd4, 0x3c, 0x6c, 0xfc, 0xc1, 0xe4, 0x3e, 0x2a, 0x86, 0x1f, 0xb5, 0xe3, 0x97, 0xda, 0xe9, 0x8f, 0xda, 0xf9, 0x83, 0x9a, 0xf9, 0x97, 0xa2, 0xf0, 0x1f, 0x35, 0x8f, 0x1a, 0xb1, 0x80, 0xcd, 0xc4, 0x51, 0x30, 0x0a, 0x68, 0x02, 0x00, 0x87, 0xeb, 0xc2, 0x2f, 
0x00, 0x0a, 0x00, 0x00, };
