#define check_upd_erf_width 22
#define check_upd_erf_height 22
static unsigned char check_upd_erf_bits[] = {
   0xff, 0xff, 0x3f, 0x01, 0x00, 0x20, 0x01, 0x00, 0x20, 0x01, 0x00, 0x20,
   0x71, 0x80, 0x23, 0x71, 0x80, 0x23, 0x71, 0x80, 0x23, 0x71, 0x80, 0x23,
   0x71, 0x80, 0x23, 0x71, 0x80, 0x23, 0x71, 0x80, 0x23, 0x71, 0x80, 0x23,
   0x71, 0x80, 0x23, 0x71, 0x80, 0x23, 0xf1, 0xc0, 0x21, 0xe1, 0xe1, 0x21,
   0xc1, 0xff, 0x20, 0xc1, 0xff, 0x20, 0x01, 0x3f, 0x20, 0x01, 0x00, 0x20,
   0x01, 0x00, 0x20, 0xff, 0xff, 0x3f};
