#define magic_portal_width 24
#define magic_portal_height 24
static char magic_portal_bits[] = {
  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x29, 0x00,
  0x00, 0x56, 0x01, 0x40, 0xfd, 0x04, 0x80, 0x67, 0x01, 0x50, 0xdb, 0x03,
  0xa0, 0xbd, 0x05, 0xd0, 0x7e, 0x03, 0xe0, 0x7e, 0x07, 0x70, 0xff, 0x0a,
  0xa0, 0x7e, 0x07, 0xc0, 0x7e, 0x0b, 0xa0, 0xbd, 0x03, 0x40, 0xdb, 0x06,
  0x80, 0xe7, 0x01, 0x40, 0xbd, 0x02, 0x00, 0x7e, 0x00, 0x00, 0x55, 0x01,
  0x00, 0x88, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00};