3 static unsigned char r25o_bits[] = {
4 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
5 0xe0, 0x39, 0x0f, 0x00, 0x20, 0xef, 0x09, 0x00, 0x20, 0x00, 0x08, 0x00,
6 0xe0, 0xff, 0x0f, 0x00, 0xc0, 0xff, 0x07, 0x00, 0x80, 0x00, 0x02, 0x00,
7 0x80, 0x00, 0x02, 0x00, 0x80, 0x00, 0x02, 0x00, 0x80, 0x00, 0x02, 0x00,
8 0x80, 0x00, 0x02, 0x00, 0x80, 0x00, 0x02, 0x00, 0x80, 0x00, 0x02, 0x00,
9 0x80, 0x00, 0x02, 0x00, 0x80, 0xff, 0x03, 0x00, 0xc0, 0x00, 0x06, 0x00,
10 0xe0, 0xff, 0x0f, 0x00, 0x20, 0x00, 0x08, 0x00, 0xf0, 0xff, 0x1f, 0x00,
11 0xf0, 0xff, 0x1f, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
12 0x00, 0x00, 0x00, 0x00};