#define CAML_width 80
#define CAML_height 70
static short CAML_bits[] = {
   0xffff, 0xffff, 0xffff, 0xffff,
   0xffff, 0x0001, 0x0000, 0x0000,
   0x0000, 0x8000, 0x3e01, 0x0000,
   0x0000, 0x0000, 0x8000, 0xff81,
   0x0000, 0x0000, 0x0000, 0x8000,
   0xfbe1, 0x000f, 0x0000, 0x0000,
   0x8000, 0xfdf1, 0x000f, 0x0000,
   0x0000, 0x8000, 0xfff1, 0x000f,
   0x0000, 0x0000, 0x8000, 0xffc1,
   0x0007, 0x0000, 0x0000, 0x8000,
   0xff81, 0x0007, 0x0000, 0x0000,
   0x8000, 0xfe01, 0x0007, 0x0000,
   0x0000, 0x8000, 0xf801, 0x0005,
   0xf800, 0x0001, 0x8000, 0xf001,
   0x0007, 0xfc00, 0x0007, 0x8000,
   0xf001, 0x000d, 0xfe00, 0x000f,
   0x8000, 0xb001, 0x000d, 0xfe00,
   0x000f, 0x8000, 0xf001, 0x000b,
   0xffc0, 0x001f, 0x8000, 0xe001,
   0x000f, 0x3ff8, 0x003f, 0x8000,
   0xe001, 0x001f, 0xfffc, 0x00ff,
   0x8000, 0x4001, 0x803f, 0xffbf,
   0x03ff, 0x8000, 0xc001, 0xf03f,
   0xffff, 0x07ff, 0x8000, 0xc001,
   0xf07f, 0xbdff, 0x0ffe, 0x8000,
   0xc009, 0xfdff, 0xf7ff, 0x0ffb,
   0x8000, 0x8011, 0xffff, 0xffff,
   0x1fff, 0x8000, 0x8023, 0xffbf,
   0xffff, 0x3fff, 0x8000, 0x9e25,
   0xff7f, 0x7ffd, 0x67fd, 0x8000,
   0x122d, 0xffff, 0xfffb, 0xfff7,
   0x8200, 0x0139, 0xfffe, 0xffff,
   0xf7ef, 0x8503, 0x0fff, 0xdffe,
   0xffff, 0x7fff, 0x8a8f, 0x01eb,
   0x3ffc, 0xffff, 0xefff, 0x955f,
   0x0de5, 0xfff8, 0xfffe, 0xcfff,
   0x9fbf, 0xd2c1, 0xfc01, 0xffff,
   0xffff, 0xaaf7, 0x70f7, 0xfc02,
   0xffff, 0xffff, 0xffef, 0x7ec7,
   0xf002, 0xffff, 0xffff, 0xaac7,
   0xf2cf, 0xe004, 0xffef, 0x3fff,
   0xffc3, 0x68cb, 0x4001, 0xffff,
   0xff0f, 0xaaa3, 0x24d3, 0x4001,
   0xfdff, 0xfe03, 0xfff1, 0x30c7,
   0xc000, 0xf87f, 0xfe01, 0xd551,
   0x30c7, 0xc000, 0x0017, 0xfc00,
   0xfff1, 0x10c7, 0xc004, 0x001b,
   0xfc00, 0xd559, 0x18c7, 0xc00e,
   0x000d, 0xfc00, 0xaaa9, 0x19ed,
   0xc01d, 0x000d, 0xfc00, 0xfffd,
   0x98ed, 0xc03c, 0x000f, 0xf800,
   0xaaab, 0x5cff, 0xc07c, 0x000f,
   0xf800, 0xffff, 0xffed, 0xfffe,
   0xffff, 0xffff, 0xaaab, 0x8ced,
   0xc01f, 0x000f, 0xf000, 0xfffb,
   0x0eed, 0xe000, 0x000d, 0xf000,
   0xd553, 0x0eed, 0xe00a, 0x800d,
   0xf558, 0xffff, 0x4ce1, 0xe0a1,
   0x210e, 0xe201, 0xaaab, 0x0789,
   0xe30a, 0x044e, 0xe558, 0xffff,
   0x50a5, 0xe429, 0x90ae, 0xf001,
   0xd551, 0x2a21, 0xe640, 0x020e,
   0xf000, 0xffe0, 0x4093, 0xe012,
   0x000e, 0xf800, 0xaa80, 0x1d25,
   0xe000, 0x000e, 0xd800, 0xff00,
   0x0001, 0xe000, 0x000e, 0x6c00,
   0xcc00, 0x0001, 0xf000, 0x000f,
   0x3600, 0xb000, 0x0001, 0xf000,
   0x000f, 0x3780, 0x8000, 0x0001,
   0xf800, 0x009f, 0x1bc0, 0x8000,
   0x0001, 0xfe00, 0x0b1f, 0x1c08,
   0x8000, 0x0001, 0x7f00, 0x4040,
   0x1e20, 0x8000, 0x0001, 0x3f00,
   0x1302, 0x5f8a, 0x8000, 0x0001,
   0x0080, 0x4464, 0x0000, 0x8003,
   0x0001, 0x8210, 0x8052, 0x686d,
   0x8008, 0x4421, 0x2941, 0x2680,
   0x0290, 0x8002, 0x0885, 0x2214,
   0x8511, 0x90c2, 0x8008, 0x4221,
   0x04a0, 0x0840, 0x0408, 0x8004,
   0x1081, 0x1004, 0x2312, 0x0091,
   0x8030, 0x8401, 0x0949, 0x0000,
   0x0000, 0x8044, 0x0001, 0x0000,
   0x0000, 0x0000, 0x8020, 0x0001,
   0x0000, 0x001c, 0x8000, 0x8000,
   0x0081, 0x2600, 0x2000, 0x07c2,
   0x8401, 0xffff, 0xffff, 0xffff,
   0xffff, 0xffff};
mar: [K