int tlx_size = 90;
unsigned char tlx_img[] __attribute__((aligned (16))) = { 
0xed, 0x94, 0x41, 0x0e, 0x00, 0x10, 0x0c, 0x04, 0xeb, 0xff, 0x8f, 0x46, 0x42, 0x94, 0x70, 0x6a, 0xc7, 0x6d, 0xc7, 0xa9, 0x97, 0xc9, 0x56, 0x95, 0x99, 0x10, 0x22, 0x44, 0x99, 0xe7, 0x55, 0xc5, 0x6d, 0xc3, 0x71, 0x56, 0x41, 0x5f, 0xed, 0xb8, 0x67, 0x55, 0x89, 0x7c, 0x6e, 0xdc, 0xdc, 0x96, 0x37, 0x02, 0xb6, 0xa3, 0xe7, 0x64, 0xaf, 0x57, 0x42, 0x24, 0xdd, 0x96, 0x10, 0x49, 0xc7, 0xe7, 0x63, 0xef, 0x8f, 0x9d, 0x2f, 0xfd, 0xfe, 0xbe, 0xec, 0x07, 0xb8, 0xbf, 0xf4, 0xff, 0x22, 0xc4, 
0x45, 0x03, 0x5a, 0xbc, 0x3d, 0xeb, 0x00, 0x0a, 0x00, 0x00, };