#define arabic_floor_width 50
#define arabic_floor_height 50
static char arabic_floor_bits[] = {
   0x42, 0x40, 0x02, 0x00, 0x09, 0x08, 0x01, 0x27, 0x44, 0x02, 0x00, 0x89,
   0x90, 0x03, 0x1e, 0x40, 0x02, 0x03, 0x09, 0xe0, 0x01, 0x0c, 0x40, 0x82,
   0x04, 0x09, 0xc0, 0x00, 0x84, 0x44, 0x42, 0x08, 0x89, 0x84, 0x00, 0x02,
   0x40, 0x62, 0x18, 0x09, 0x00, 0x01, 0x01, 0x40, 0xf2, 0x3c, 0x09, 0x00,
   0x02, 0x90, 0x44, 0xca, 0x4f, 0x89, 0x24, 0x00, 0x00, 0x40, 0x86, 0x84,
   0x09, 0x00, 0x00, 0x00, 0x40, 0x86, 0x84, 0x09, 0x00, 0x00, 0x92, 0x44,
   0xca, 0x4f, 0x89, 0x24, 0x01, 0x00, 0x40, 0xf2, 0x3c, 0x09, 0x00, 0x00,
   0x00, 0x40, 0x62, 0x18, 0x09, 0x00, 0x00, 0x00, 0x40, 0x42, 0x08, 0x09,
   0x00, 0x00, 0xff, 0x7f, 0x82, 0x04, 0xf9, 0xff, 0x03, 0x00, 0x00, 0x02,
   0x03, 0x01, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x01, 0x00, 0x00, 0xff,
   0xff, 0x03, 0x00, 0xff, 0xff, 0x03, 0x00, 0x03, 0x00, 0x03, 0x00, 0x03,
   0x00, 0x80, 0x04, 0x80, 0x04, 0x80, 0x04, 0x00, 0x40, 0x08, 0x40, 0x08,
   0x40, 0x08, 0x00, 0x60, 0x18, 0x60, 0x18, 0x60, 0x18, 0x00, 0xf0, 0x3c,
   0xf0, 0x3c, 0xf0, 0x3c, 0x00, 0xc8, 0x4f, 0xc8, 0x4f, 0xc8, 0x4f, 0x00,
   0x84, 0x84, 0x84, 0x84, 0x84, 0x84, 0x00, 0x84, 0x84, 0x84, 0x84, 0x84,
   0x84, 0x00, 0xc8, 0x4f, 0xc8, 0x4f, 0xc8, 0x4f, 0x00, 0xf0, 0x3c, 0xf0,
   0x3c, 0xf0, 0x3c, 0x00, 0x60, 0x18, 0x60, 0x18, 0x60, 0x18, 0x00, 0x40,
   0x08, 0x40, 0x08, 0x40, 0x08, 0x00, 0x80, 0x04, 0x80, 0x04, 0x80, 0x04,
   0x00, 0x00, 0x03, 0x00, 0x03, 0x00, 0x03, 0x00, 0xff, 0xff, 0x03, 0x00,
   0xff, 0xff, 0x03, 0x00, 0x00, 0x02, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00,
   0x02, 0x03, 0x01, 0x00, 0x00, 0xff, 0x7f, 0x82, 0x04, 0xf9, 0xff, 0x03,
   0x00, 0x40, 0x42, 0x08, 0x09, 0x00, 0x00, 0x00, 0x40, 0x62, 0x18, 0x09,
   0x00, 0x00, 0x00, 0x40, 0xf2, 0x3c, 0x09, 0x00, 0x00, 0x92, 0x44, 0xca,
   0x4f, 0x89, 0x24, 0x01, 0x00, 0x40, 0x86, 0x84, 0x09, 0x00, 0x00, 0x00,
   0x40, 0x86, 0x84, 0x09, 0x00, 0x00, 0x90, 0x44, 0xca, 0x4f, 0x89, 0x24,
   0x00, 0x01, 0x40, 0xf2, 0x3c, 0x09, 0x00, 0x02, 0x02, 0x40, 0x62, 0x18,
   0x09, 0x00, 0x01, 0x84, 0x44, 0x42, 0x08, 0x89, 0x84, 0x00, 0x0c, 0x40,
   0x82, 0x04, 0x09, 0xc0, 0x00, 0x1e, 0x40, 0x02, 0x03, 0x09, 0xe0, 0x01,
   0x27, 0x44, 0x02, 0x00, 0x89, 0x90, 0x03, 0x42, 0x40, 0x02, 0x00, 0x09,
   0x08, 0x01};