#define arrb_double_width 16
#define arrb_double_height 16
static char arrb_double_bits[] = {
0x80, 0x01, 
0xc0, 0x03, 
0xe0, 0x07, 
0xf0, 0x0f, 
0xf8, 0x1f, 
0xc0, 0x03, 
0xc0, 0x03, 
0xc0, 0x03, 
0xc0, 0x03, 
0xc0, 0x03, 
0xc0, 0x03, 
0xf8, 0x1f, 
0xf0, 0x0f, 
0xe0, 0x07, 
0xc0, 0x03, 
0x80, 0x01, 

};