Source file huffman_table.ml

(* generated by util/gen_huffman.ml *)

let encode_table =
                                          [|(8184, 13);(8388568, 23);
                                            (268435426, 28);(268435427, 28);
                                            (268435428, 28);(268435429, 28);
                                            (268435430, 28);(268435431, 28);
                                            (268435432, 28);(16777194, 24);
                                            (1073741820, 30);(268435433, 28);
                                            (268435434, 28);(1073741821, 30);
                                            (268435435, 28);(268435436, 28);
                                            (268435437, 28);(268435438, 28);
                                            (268435439, 28);(268435440, 28);
                                            (268435441, 28);(268435442, 28);
                                            (1073741822, 30);(268435443, 28);
                                            (268435444, 28);(268435445, 28);
                                            (268435446, 28);(268435447, 28);
                                            (268435448, 28);(268435449, 28);
                                            (268435450, 28);(268435451, 28);
                                            (20, 6);(1016, 10);(1017, 10);
                                            (4090, 12);(8185, 13);(21, 6);
                                            (248, 8);(2042, 11);(1018, 10);
                                            (1019, 10);(249, 8);(2043, 11);
                                            (250, 8);(22, 6);(23, 6);
                                            (24, 6);(0, 5);(1, 5);(2, 5);
                                            (25, 6);(26, 6);(27, 6);(28, 6);
                                            (29, 6);(30, 6);(31, 6);(92, 7);
                                            (251, 8);(32764, 15);(32, 6);
                                            (4091, 12);(1020, 10);(8186, 13);
                                            (33, 6);(93, 7);(94, 7);(95, 7);
                                            (96, 7);(97, 7);(98, 7);(99, 7);
                                            (100, 7);(101, 7);(102, 7);
                                            (103, 7);(104, 7);(105, 7);
                                            (106, 7);(107, 7);(108, 7);
                                            (109, 7);(110, 7);(111, 7);
                                            (112, 7);(113, 7);(114, 7);
                                            (252, 8);(115, 7);(253, 8);
                                            (8187, 13);(524272, 19);(8188,
                                                                    13);
                                            (16380, 14);(34, 6);(32765, 15);
                                            (3, 5);(35, 6);(4, 5);(36, 6);
                                            (5, 5);(37, 6);(38, 6);(39, 6);
                                            (6, 5);(116, 7);(117, 7);
                                            (40, 6);(41, 6);(42, 6);(7, 5);
                                            (43, 6);(118, 7);(44, 6);
                                            (8, 5);(9, 5);(45, 6);(119, 7);
                                            (120, 7);(121, 7);(122, 7);
                                            (123, 7);(32766, 15);(2044, 11);
                                            (16381, 14);(8189, 13);(268435452,
                                                                    28);
                                            (1048550, 20);(4194258, 22);
                                            (1048551, 20);(1048552, 20);
                                            (4194259, 22);(4194260, 22);
                                            (4194261, 22);(8388569, 23);
                                            (4194262, 22);(8388570, 23);
                                            (8388571, 23);(8388572, 23);
                                            (8388573, 23);(8388574, 23);
                                            (16777195, 24);(8388575, 23);
                                            (16777196, 24);(16777197, 24);
                                            (4194263, 22);(8388576, 23);
                                            (16777198, 24);(8388577, 23);
                                            (8388578, 23);(8388579, 23);
                                            (8388580, 23);(2097116, 21);
                                            (4194264, 22);(8388581, 23);
                                            (4194265, 22);(8388582, 23);
                                            (8388583, 23);(16777199, 24);
                                            (4194266, 22);(2097117, 21);
                                            (1048553, 20);(4194267, 22);
                                            (4194268, 22);(8388584, 23);
                                            (8388585, 23);(2097118, 21);
                                            (8388586, 23);(4194269, 22);
                                            (4194270, 22);(16777200, 24);
                                            (2097119, 21);(4194271, 22);
                                            (8388587, 23);(8388588, 23);
                                            (2097120, 21);(2097121, 21);
                                            (4194272, 22);(2097122, 21);
                                            (8388589, 23);(4194273, 22);
                                            (8388590, 23);(8388591, 23);
                                            (1048554, 20);(4194274, 22);
                                            (4194275, 22);(4194276, 22);
                                            (8388592, 23);(4194277, 22);
                                            (4194278, 22);(8388593, 23);
                                            (67108832, 26);(67108833, 26);
                                            (1048555, 20);(524273, 19);
                                            (4194279, 22);(8388594, 23);
                                            (4194280, 22);(33554412, 25);
                                            (67108834, 26);(67108835, 26);
                                            (67108836, 26);(134217694, 27);
                                            (134217695, 27);(67108837, 26);
                                            (16777201, 24);(33554413, 25);
                                            (524274, 19);(2097123, 21);
                                            (67108838, 26);(134217696, 27);
                                            (134217697, 27);(67108839, 26);
                                            (134217698, 27);(16777202, 24);
                                            (2097124, 21);(2097125, 21);
                                            (67108840, 26);(67108841, 26);
                                            (268435453, 28);(134217699, 27);
                                            (134217700, 27);(134217701, 27);
                                            (1048556, 20);(16777203, 24);
                                            (1048557, 20);(2097126, 21);
                                            (4194281, 22);(2097127, 21);
                                            (2097128, 21);(8388595, 23);
                                            (4194282, 22);(4194283, 22);
                                            (33554414, 25);(33554415, 25);
                                            (16777204, 24);(16777205, 24);
                                            (67108842, 26);(8388596, 23);
                                            (67108843, 26);(134217702, 27);
                                            (67108844, 26);(67108845, 26);
                                            (134217703, 27);(134217704, 27);
                                            (134217705, 27);(134217706, 27);
                                            (134217707, 27);(268435454, 28);
                                            (134217708, 27);(134217709, 27);
                                            (134217710, 27);(134217711, 27);
                                            (134217712, 27);(67108846, 26)|]
let decode_table =
  [|(4, false, '\000');(5, false, '\000');(7, false, '\000');(8, false,
                                                               '\000');
    (11, false, '\000');(12, false, '\000');(16, false, '\000');(19, false,
                                                                  '\000');
    (25, false, '\000');(28, false, '\000');(32, false, '\000');(35, false,
                                                                  '\000');
    (42, false, '\000');(49, false, '\000');(57, false, '\000');(64, true,
                                                                  '\000');
    (0, true, '0');(0, true, '1');(0, true, '2');(0, true, 'a');(0, true,
                                                                  'c');
    (0, true, 'e');(0, true, 'i');(0, true, 'o');(0, true, 's');(0, true,
                                                                  't');
    (13, false, '\000');(14, false, '\000');(17, false, '\000');(18, false,
                                                                  '\000');
    (20, false, '\000');(21, false, '\000');(1, false, '0');(22, true, '0');
    (1, false, '1');(22, true, '1');(1, false, '2');(22, true, '2');(1,
                                                                    false,
                                                                    'a');
    (22, true, 'a');(1, false, 'c');(22, true, 'c');(1, false, 'e');(22,
                                                                    true,
                                                                    'e');
    (1, false, 'i');(22, true, 'i');(1, false, 'o');(22, true, 'o');(2,
                                                                    false,
                                                                    '0');
    (9, false, '0');(23, false, '0');(40, true, '0');(2, false, '1');
    (9, false, '1');(23, false, '1');(40, true, '1');(2, false, '2');
    (9, false, '2');(23, false, '2');(40, true, '2');(2, false, 'a');
    (9, false, 'a');(23, false, 'a');(40, true, 'a');(3, false, '0');
    (6, false, '0');(10, false, '0');(15, false, '0');(24, false, '0');
    (31, false, '0');(41, false, '0');(56, true, '0');(3, false, '1');
    (6, false, '1');(10, false, '1');(15, false, '1');(24, false, '1');
    (31, false, '1');(41, false, '1');(56, true, '1');(3, false, '2');
    (6, false, '2');(10, false, '2');(15, false, '2');(24, false, '2');
    (31, false, '2');(41, false, '2');(56, true, '2');(3, false, 'a');
    (6, false, 'a');(10, false, 'a');(15, false, 'a');(24, false, 'a');
    (31, false, 'a');(41, false, 'a');(56, true, 'a');(2, false, 'c');
    (9, false, 'c');(23, false, 'c');(40, true, 'c');(2, false, 'e');
    (9, false, 'e');(23, false, 'e');(40, true, 'e');(2, false, 'i');
    (9, false, 'i');(23, false, 'i');(40, true, 'i');(2, false, 'o');
    (9, false, 'o');(23, false, 'o');(40, true, 'o');(3, false, 'c');
    (6, false, 'c');(10, false, 'c');(15, false, 'c');(24, false, 'c');
    (31, false, 'c');(41, false, 'c');(56, true, 'c');(3, false, 'e');
    (6, false, 'e');(10, false, 'e');(15, false, 'e');(24, false, 'e');
    (31, false, 'e');(41, false, 'e');(56, true, 'e');(3, false, 'i');
    (6, false, 'i');(10, false, 'i');(15, false, 'i');(24, false, 'i');
    (31, false, 'i');(41, false, 'i');(56, true, 'i');(3, false, 'o');
    (6, false, 'o');(10, false, 'o');(15, false, 'o');(24, false, 'o');
    (31, false, 'o');(41, false, 'o');(56, true, 'o');(1, false, 's');
    (22, true, 's');(1, false, 't');(22, true, 't');(0, true, ' ');(0, true,
                                                                    '%');
    (0, true, '-');(0, true, '.');(0, true, '/');(0, true, '3');(0, true,
                                                                  '4');
    (0, true, '5');(0, true, '6');(0, true, '7');(0, true, '8');(0, true,
                                                                  '9');
    (2, false, 's');(9, false, 's');(23, false, 's');(40, true, 's');
    (2, false, 't');(9, false, 't');(23, false, 't');(40, true, 't');
    (1, false, ' ');(22, true, ' ');(1, false, '%');(22, true, '%');(1,
                                                                    false,
                                                                    '-');
    (22, true, '-');(1, false, '.');(22, true, '.');(3, false, 's');(6,
                                                                    false,
                                                                    's');
    (10, false, 's');(15, false, 's');(24, false, 's');(31, false, 's');
    (41, false, 's');(56, true, 's');(3, false, 't');(6, false, 't');
    (10, false, 't');(15, false, 't');(24, false, 't');(31, false, 't');
    (41, false, 't');(56, true, 't');(2, false, ' ');(9, false, ' ');
    (23, false, ' ');(40, true, ' ');(2, false, '%');(9, false, '%');
    (23, false, '%');(40, true, '%');(2, false, '-');(9, false, '-');
    (23, false, '-');(40, true, '-');(2, false, '.');(9, false, '.');
    (23, false, '.');(40, true, '.');(3, false, ' ');(6, false, ' ');
    (10, false, ' ');(15, false, ' ');(24, false, ' ');(31, false, ' ');
    (41, false, ' ');(56, true, ' ');(3, false, '%');(6, false, '%');
    (10, false, '%');(15, false, '%');(24, false, '%');(31, false, '%');
    (41, false, '%');(56, true, '%');(3, false, '-');(6, false, '-');
    (10, false, '-');(15, false, '-');(24, false, '-');(31, false, '-');
    (41, false, '-');(56, true, '-');(3, false, '.');(6, false, '.');
    (10, false, '.');(15, false, '.');(24, false, '.');(31, false, '.');
    (41, false, '.');(56, true, '.');(1, false, '/');(22, true, '/');
    (1, false, '3');(22, true, '3');(1, false, '4');(22, true, '4');(1,
                                                                    false,
                                                                    '5');
    (22, true, '5');(1, false, '6');(22, true, '6');(1, false, '7');(22,
                                                                    true,
                                                                    '7');
    (1, false, '8');(22, true, '8');(1, false, '9');(22, true, '9');(2,
                                                                    false,
                                                                    '/');
    (9, false, '/');(23, false, '/');(40, true, '/');(2, false, '3');
    (9, false, '3');(23, false, '3');(40, true, '3');(2, false, '4');
    (9, false, '4');(23, false, '4');(40, true, '4');(2, false, '5');
    (9, false, '5');(23, false, '5');(40, true, '5');(3, false, '/');
    (6, false, '/');(10, false, '/');(15, false, '/');(24, false, '/');
    (31, false, '/');(41, false, '/');(56, true, '/');(3, false, '3');
    (6, false, '3');(10, false, '3');(15, false, '3');(24, false, '3');
    (31, false, '3');(41, false, '3');(56, true, '3');(3, false, '4');
    (6, false, '4');(10, false, '4');(15, false, '4');(24, false, '4');
    (31, false, '4');(41, false, '4');(56, true, '4');(3, false, '5');
    (6, false, '5');(10, false, '5');(15, false, '5');(24, false, '5');
    (31, false, '5');(41, false, '5');(56, true, '5');(2, false, '6');
    (9, false, '6');(23, false, '6');(40, true, '6');(2, false, '7');
    (9, false, '7');(23, false, '7');(40, true, '7');(2, false, '8');
    (9, false, '8');(23, false, '8');(40, true, '8');(2, false, '9');
    (9, false, '9');(23, false, '9');(40, true, '9');(3, false, '6');
    (6, false, '6');(10, false, '6');(15, false, '6');(24, false, '6');
    (31, false, '6');(41, false, '6');(56, true, '6');(3, false, '7');
    (6, false, '7');(10, false, '7');(15, false, '7');(24, false, '7');
    (31, false, '7');(41, false, '7');(56, true, '7');(3, false, '8');
    (6, false, '8');(10, false, '8');(15, false, '8');(24, false, '8');
    (31, false, '8');(41, false, '8');(56, true, '8');(3, false, '9');
    (6, false, '9');(10, false, '9');(15, false, '9');(24, false, '9');
    (31, false, '9');(41, false, '9');(56, true, '9');(26, false, '\000');
    (27, false, '\000');(29, false, '\000');(30, false, '\000');(33, false,
                                                                  '\000');
    (34, false, '\000');(36, false, '\000');(37, false, '\000');(43, false,
                                                                  '\000');
    (46, false, '\000');(50, false, '\000');(53, false, '\000');(58, false,
                                                                  '\000');
    (61, false, '\000');(65, false, '\000');(68, true, '\000');(0, true, '=');
    (0, true, 'A');(0, true, '_');(0, true, 'b');(0, true, 'd');(0, true,
                                                                  'f');
    (0, true, 'g');(0, true, 'h');(0, true, 'l');(0, true, 'm');(0, true,
                                                                  'n');
    (0, true, 'p');(0, true, 'r');(0, true, 'u');(38, false, '\000');
    (39, false, '\000');(1, false, '=');(22, true, '=');(1, false, 'A');
    (22, true, 'A');(1, false, '_');(22, true, '_');(1, false, 'b');(22,
                                                                    true,
                                                                    'b');
    (1, false, 'd');(22, true, 'd');(1, false, 'f');(22, true, 'f');(1,
                                                                    false,
                                                                    'g');
    (22, true, 'g');(1, false, 'h');(22, true, 'h');(2, false, '=');(9,
                                                                    false,
                                                                    '=');
    (23, false, '=');(40, true, '=');(2, false, 'A');(9, false, 'A');
    (23, false, 'A');(40, true, 'A');(2, false, '_');(9, false, '_');
    (23, false, '_');(40, true, '_');(2, false, 'b');(9, false, 'b');
    (23, false, 'b');(40, true, 'b');(3, false, '=');(6, false, '=');
    (10, false, '=');(15, false, '=');(24, false, '=');(31, false, '=');
    (41, false, '=');(56, true, '=');(3, false, 'A');(6, false, 'A');
    (10, false, 'A');(15, false, 'A');(24, false, 'A');(31, false, 'A');
    (41, false, 'A');(56, true, 'A');(3, false, '_');(6, false, '_');
    (10, false, '_');(15, false, '_');(24, false, '_');(31, false, '_');
    (41, false, '_');(56, true, '_');(3, false, 'b');(6, false, 'b');
    (10, false, 'b');(15, false, 'b');(24, false, 'b');(31, false, 'b');
    (41, false, 'b');(56, true, 'b');(2, false, 'd');(9, false, 'd');
    (23, false, 'd');(40, true, 'd');(2, false, 'f');(9, false, 'f');
    (23, false, 'f');(40, true, 'f');(2, false, 'g');(9, false, 'g');
    (23, false, 'g');(40, true, 'g');(2, false, 'h');(9, false, 'h');
    (23, false, 'h');(40, true, 'h');(3, false, 'd');(6, false, 'd');
    (10, false, 'd');(15, false, 'd');(24, false, 'd');(31, false, 'd');
    (41, false, 'd');(56, true, 'd');(3, false, 'f');(6, false, 'f');
    (10, false, 'f');(15, false, 'f');(24, false, 'f');(31, false, 'f');
    (41, false, 'f');(56, true, 'f');(3, false, 'g');(6, false, 'g');
    (10, false, 'g');(15, false, 'g');(24, false, 'g');(31, false, 'g');
    (41, false, 'g');(56, true, 'g');(3, false, 'h');(6, false, 'h');
    (10, false, 'h');(15, false, 'h');(24, false, 'h');(31, false, 'h');
    (41, false, 'h');(56, true, 'h');(1, false, 'l');(22, true, 'l');
    (1, false, 'm');(22, true, 'm');(1, false, 'n');(22, true, 'n');(1,
                                                                    false,
                                                                    'p');
    (22, true, 'p');(1, false, 'r');(22, true, 'r');(1, false, 'u');(22,
                                                                    true,
                                                                    'u');
    (0, true, ':');(0, true, 'B');(0, true, 'C');(0, true, 'D');(2, false,
                                                                  'l');
    (9, false, 'l');(23, false, 'l');(40, true, 'l');(2, false, 'm');
    (9, false, 'm');(23, false, 'm');(40, true, 'm');(2, false, 'n');
    (9, false, 'n');(23, false, 'n');(40, true, 'n');(2, false, 'p');
    (9, false, 'p');(23, false, 'p');(40, true, 'p');(3, false, 'l');
    (6, false, 'l');(10, false, 'l');(15, false, 'l');(24, false, 'l');
    (31, false, 'l');(41, false, 'l');(56, true, 'l');(3, false, 'm');
    (6, false, 'm');(10, false, 'm');(15, false, 'm');(24, false, 'm');
    (31, false, 'm');(41, false, 'm');(56, true, 'm');(3, false, 'n');
    (6, false, 'n');(10, false, 'n');(15, false, 'n');(24, false, 'n');
    (31, false, 'n');(41, false, 'n');(56, true, 'n');(3, false, 'p');
    (6, false, 'p');(10, false, 'p');(15, false, 'p');(24, false, 'p');
    (31, false, 'p');(41, false, 'p');(56, true, 'p');(2, false, 'r');
    (9, false, 'r');(23, false, 'r');(40, true, 'r');(2, false, 'u');
    (9, false, 'u');(23, false, 'u');(40, true, 'u');(1, false, ':');
    (22, true, ':');(1, false, 'B');(22, true, 'B');(1, false, 'C');(22,
                                                                    true,
                                                                    'C');
    (1, false, 'D');(22, true, 'D');(3, false, 'r');(6, false, 'r');(10,
                                                                    false,
                                                                    'r');
    (15, false, 'r');(24, false, 'r');(31, false, 'r');(41, false, 'r');
    (56, true, 'r');(3, false, 'u');(6, false, 'u');(10, false, 'u');
    (15, false, 'u');(24, false, 'u');(31, false, 'u');(41, false, 'u');
    (56, true, 'u');(2, false, ':');(9, false, ':');(23, false, ':');
    (40, true, ':');(2, false, 'B');(9, false, 'B');(23, false, 'B');
    (40, true, 'B');(2, false, 'C');(9, false, 'C');(23, false, 'C');
    (40, true, 'C');(2, false, 'D');(9, false, 'D');(23, false, 'D');
    (40, true, 'D');(3, false, ':');(6, false, ':');(10, false, ':');
    (15, false, ':');(24, false, ':');(31, false, ':');(41, false, ':');
    (56, true, ':');(3, false, 'B');(6, false, 'B');(10, false, 'B');
    (15, false, 'B');(24, false, 'B');(31, false, 'B');(41, false, 'B');
    (56, true, 'B');(3, false, 'C');(6, false, 'C');(10, false, 'C');
    (15, false, 'C');(24, false, 'C');(31, false, 'C');(41, false, 'C');
    (56, true, 'C');(3, false, 'D');(6, false, 'D');(10, false, 'D');
    (15, false, 'D');(24, false, 'D');(31, false, 'D');(41, false, 'D');
    (56, true, 'D');(44, false, '\000');(45, false, '\000');(47, false,
                                                              '\000');
    (48, false, '\000');(51, false, '\000');(52, false, '\000');(54, false,
                                                                  '\000');
    (55, false, '\000');(59, false, '\000');(60, false, '\000');(62, false,
                                                                  '\000');
    (63, false, '\000');(66, false, '\000');(67, false, '\000');(69, false,
                                                                  '\000');
    (72, true, '\000');(0, true, 'E');(0, true, 'F');(0, true, 'G');(0, true,
                                                                    'H');
    (0, true, 'I');(0, true, 'J');(0, true, 'K');(0, true, 'L');(0, true,
                                                                  'M');
    (0, true, 'N');(0, true, 'O');(0, true, 'P');(0, true, 'Q');(0, true,
                                                                  'R');
    (0, true, 'S');(0, true, 'T');(1, false, 'E');(22, true, 'E');(1, false,
                                                                    'F');
    (22, true, 'F');(1, false, 'G');(22, true, 'G');(1, false, 'H');(22,
                                                                    true,
                                                                    'H');
    (1, false, 'I');(22, true, 'I');(1, false, 'J');(22, true, 'J');(1,
                                                                    false,
                                                                    'K');
    (22, true, 'K');(1, false, 'L');(22, true, 'L');(2, false, 'E');(9,
                                                                    false,
                                                                    'E');
    (23, false, 'E');(40, true, 'E');(2, false, 'F');(9, false, 'F');
    (23, false, 'F');(40, true, 'F');(2, false, 'G');(9, false, 'G');
    (23, false, 'G');(40, true, 'G');(2, false, 'H');(9, false, 'H');
    (23, false, 'H');(40, true, 'H');(3, false, 'E');(6, false, 'E');
    (10, false, 'E');(15, false, 'E');(24, false, 'E');(31, false, 'E');
    (41, false, 'E');(56, true, 'E');(3, false, 'F');(6, false, 'F');
    (10, false, 'F');(15, false, 'F');(24, false, 'F');(31, false, 'F');
    (41, false, 'F');(56, true, 'F');(3, false, 'G');(6, false, 'G');
    (10, false, 'G');(15, false, 'G');(24, false, 'G');(31, false, 'G');
    (41, false, 'G');(56, true, 'G');(3, false, 'H');(6, false, 'H');
    (10, false, 'H');(15, false, 'H');(24, false, 'H');(31, false, 'H');
    (41, false, 'H');(56, true, 'H');(2, false, 'I');(9, false, 'I');
    (23, false, 'I');(40, true, 'I');(2, false, 'J');(9, false, 'J');
    (23, false, 'J');(40, true, 'J');(2, false, 'K');(9, false, 'K');
    (23, false, 'K');(40, true, 'K');(2, false, 'L');(9, false, 'L');
    (23, false, 'L');(40, true, 'L');(3, false, 'I');(6, false, 'I');
    (10, false, 'I');(15, false, 'I');(24, false, 'I');(31, false, 'I');
    (41, false, 'I');(56, true, 'I');(3, false, 'J');(6, false, 'J');
    (10, false, 'J');(15, false, 'J');(24, false, 'J');(31, false, 'J');
    (41, false, 'J');(56, true, 'J');(3, false, 'K');(6, false, 'K');
    (10, false, 'K');(15, false, 'K');(24, false, 'K');(31, false, 'K');
    (41, false, 'K');(56, true, 'K');(3, false, 'L');(6, false, 'L');
    (10, false, 'L');(15, false, 'L');(24, false, 'L');(31, false, 'L');
    (41, false, 'L');(56, true, 'L');(1, false, 'M');(22, true, 'M');
    (1, false, 'N');(22, true, 'N');(1, false, 'O');(22, true, 'O');(1,
                                                                    false,
                                                                    'P');
    (22, true, 'P');(1, false, 'Q');(22, true, 'Q');(1, false, 'R');(22,
                                                                    true,
                                                                    'R');
    (1, false, 'S');(22, true, 'S');(1, false, 'T');(22, true, 'T');(2,
                                                                    false,
                                                                    'M');
    (9, false, 'M');(23, false, 'M');(40, true, 'M');(2, false, 'N');
    (9, false, 'N');(23, false, 'N');(40, true, 'N');(2, false, 'O');
    (9, false, 'O');(23, false, 'O');(40, true, 'O');(2, false, 'P');
    (9, false, 'P');(23, false, 'P');(40, true, 'P');(3, false, 'M');
    (6, false, 'M');(10, false, 'M');(15, false, 'M');(24, false, 'M');
    (31, false, 'M');(41, false, 'M');(56, true, 'M');(3, false, 'N');
    (6, false, 'N');(10, false, 'N');(15, false, 'N');(24, false, 'N');
    (31, false, 'N');(41, false, 'N');(56, true, 'N');(3, false, 'O');
    (6, false, 'O');(10, false, 'O');(15, false, 'O');(24, false, 'O');
    (31, false, 'O');(41, false, 'O');(56, true, 'O');(3, false, 'P');
    (6, false, 'P');(10, false, 'P');(15, false, 'P');(24, false, 'P');
    (31, false, 'P');(41, false, 'P');(56, true, 'P');(2, false, 'Q');
    (9, false, 'Q');(23, false, 'Q');(40, true, 'Q');(2, false, 'R');
    (9, false, 'R');(23, false, 'R');(40, true, 'R');(2, false, 'S');
    (9, false, 'S');(23, false, 'S');(40, true, 'S');(2, false, 'T');
    (9, false, 'T');(23, false, 'T');(40, true, 'T');(3, false, 'Q');
    (6, false, 'Q');(10, false, 'Q');(15, false, 'Q');(24, false, 'Q');
    (31, false, 'Q');(41, false, 'Q');(56, true, 'Q');(3, false, 'R');
    (6, false, 'R');(10, false, 'R');(15, false, 'R');(24, false, 'R');
    (31, false, 'R');(41, false, 'R');(56, true, 'R');(3, false, 'S');
    (6, false, 'S');(10, false, 'S');(15, false, 'S');(24, false, 'S');
    (31, false, 'S');(41, false, 'S');(56, true, 'S');(3, false, 'T');
    (6, false, 'T');(10, false, 'T');(15, false, 'T');(24, false, 'T');
    (31, false, 'T');(41, false, 'T');(56, true, 'T');(0, true, 'U');
    (0, true, 'V');(0, true, 'W');(0, true, 'Y');(0, true, 'j');(0, true,
                                                                  'k');
    (0, true, 'q');(0, true, 'v');(0, true, 'w');(0, true, 'x');(0, true,
                                                                  'y');
    (0, true, 'z');(70, false, '\000');(71, false, '\000');(73, false,
                                                             '\000');
    (74, true, '\000');(1, false, 'U');(22, true, 'U');(1, false, 'V');
    (22, true, 'V');(1, false, 'W');(22, true, 'W');(1, false, 'Y');(22,
                                                                    true,
                                                                    'Y');
    (1, false, 'j');(22, true, 'j');(1, false, 'k');(22, true, 'k');(1,
                                                                    false,
                                                                    'q');
    (22, true, 'q');(1, false, 'v');(22, true, 'v');(2, false, 'U');(9,
                                                                    false,
                                                                    'U');
    (23, false, 'U');(40, true, 'U');(2, false, 'V');(9, false, 'V');
    (23, false, 'V');(40, true, 'V');(2, false, 'W');(9, false, 'W');
    (23, false, 'W');(40, true, 'W');(2, false, 'Y');(9, false, 'Y');
    (23, false, 'Y');(40, true, 'Y');(3, false, 'U');(6, false, 'U');
    (10, false, 'U');(15, false, 'U');(24, false, 'U');(31, false, 'U');
    (41, false, 'U');(56, true, 'U');(3, false, 'V');(6, false, 'V');
    (10, false, 'V');(15, false, 'V');(24, false, 'V');(31, false, 'V');
    (41, false, 'V');(56, true, 'V');(3, false, 'W');(6, false, 'W');
    (10, false, 'W');(15, false, 'W');(24, false, 'W');(31, false, 'W');
    (41, false, 'W');(56, true, 'W');(3, false, 'Y');(6, false, 'Y');
    (10, false, 'Y');(15, false, 'Y');(24, false, 'Y');(31, false, 'Y');
    (41, false, 'Y');(56, true, 'Y');(2, false, 'j');(9, false, 'j');
    (23, false, 'j');(40, true, 'j');(2, false, 'k');(9, false, 'k');
    (23, false, 'k');(40, true, 'k');(2, false, 'q');(9, false, 'q');
    (23, false, 'q');(40, true, 'q');(2, false, 'v');(9, false, 'v');
    (23, false, 'v');(40, true, 'v');(3, false, 'j');(6, false, 'j');
    (10, false, 'j');(15, false, 'j');(24, false, 'j');(31, false, 'j');
    (41, false, 'j');(56, true, 'j');(3, false, 'k');(6, false, 'k');
    (10, false, 'k');(15, false, 'k');(24, false, 'k');(31, false, 'k');
    (41, false, 'k');(56, true, 'k');(3, false, 'q');(6, false, 'q');
    (10, false, 'q');(15, false, 'q');(24, false, 'q');(31, false, 'q');
    (41, false, 'q');(56, true, 'q');(3, false, 'v');(6, false, 'v');
    (10, false, 'v');(15, false, 'v');(24, false, 'v');(31, false, 'v');
    (41, false, 'v');(56, true, 'v');(1, false, 'w');(22, true, 'w');
    (1, false, 'x');(22, true, 'x');(1, false, 'y');(22, true, 'y');(1,
                                                                    false,
                                                                    'z');
    (22, true, 'z');(0, true, '&');(0, true, '*');(0, true, ',');(0, true,
                                                                   ';');
    (0, true, 'X');(0, true, 'Z');(75, false, '\000');(78, false, '\000');
    (2, false, 'w');(9, false, 'w');(23, false, 'w');(40, true, 'w');
    (2, false, 'x');(9, false, 'x');(23, false, 'x');(40, true, 'x');
    (2, false, 'y');(9, false, 'y');(23, false, 'y');(40, true, 'y');
    (2, false, 'z');(9, false, 'z');(23, false, 'z');(40, true, 'z');
    (3, false, 'w');(6, false, 'w');(10, false, 'w');(15, false, 'w');
    (24, false, 'w');(31, false, 'w');(41, false, 'w');(56, true, 'w');
    (3, false, 'x');(6, false, 'x');(10, false, 'x');(15, false, 'x');
    (24, false, 'x');(31, false, 'x');(41, false, 'x');(56, true, 'x');
    (3, false, 'y');(6, false, 'y');(10, false, 'y');(15, false, 'y');
    (24, false, 'y');(31, false, 'y');(41, false, 'y');(56, true, 'y');
    (3, false, 'z');(6, false, 'z');(10, false, 'z');(15, false, 'z');
    (24, false, 'z');(31, false, 'z');(41, false, 'z');(56, true, 'z');
    (1, false, '&');(22, true, '&');(1, false, '*');(22, true, '*');(1,
                                                                    false,
                                                                    ',');
    (22, true, ',');(1, false, ';');(22, true, ';');(1, false, 'X');(22,
                                                                    true,
                                                                    'X');
    (1, false, 'Z');(22, true, 'Z');(76, false, '\000');(77, false, '\000');
    (79, false, '\000');(81, false, '\000');(2, false, '&');(9, false, '&');
    (23, false, '&');(40, true, '&');(2, false, '*');(9, false, '*');
    (23, false, '*');(40, true, '*');(2, false, ',');(9, false, ',');
    (23, false, ',');(40, true, ',');(2, false, ';');(9, false, ';');
    (23, false, ';');(40, true, ';');(3, false, '&');(6, false, '&');
    (10, false, '&');(15, false, '&');(24, false, '&');(31, false, '&');
    (41, false, '&');(56, true, '&');(3, false, '*');(6, false, '*');
    (10, false, '*');(15, false, '*');(24, false, '*');(31, false, '*');
    (41, false, '*');(56, true, '*');(3, false, ',');(6, false, ',');
    (10, false, ',');(15, false, ',');(24, false, ',');(31, false, ',');
    (41, false, ',');(56, true, ',');(3, false, ';');(6, false, ';');
    (10, false, ';');(15, false, ';');(24, false, ';');(31, false, ';');
    (41, false, ';');(56, true, ';');(2, false, 'X');(9, false, 'X');
    (23, false, 'X');(40, true, 'X');(2, false, 'Z');(9, false, 'Z');
    (23, false, 'Z');(40, true, 'Z');(0, true, '!');(0, true, '"');(0, true,
                                                                    '(');
    (0, true, ')');(0, true, '?');(80, false, '\000');(82, false, '\000');
    (84, false, '\000');(3, false, 'X');(6, false, 'X');(10, false, 'X');
    (15, false, 'X');(24, false, 'X');(31, false, 'X');(41, false, 'X');
    (56, true, 'X');(3, false, 'Z');(6, false, 'Z');(10, false, 'Z');
    (15, false, 'Z');(24, false, 'Z');(31, false, 'Z');(41, false, 'Z');
    (56, true, 'Z');(1, false, '!');(22, true, '!');(1, false, '"');(22,
                                                                    true,
                                                                    '"');
    (1, false, '(');(22, true, '(');(1, false, ')');(22, true, ')');(1,
                                                                    false,
                                                                    '?');
    (22, true, '?');(0, true, '\'');(0, true, '+');(0, true, '|');(83, false,
                                                                    '\000');
    (85, false, '\000');(88, false, '\000');(2, false, '!');(9, false, '!');
    (23, false, '!');(40, true, '!');(2, false, '"');(9, false, '"');
    (23, false, '"');(40, true, '"');(2, false, '(');(9, false, '(');
    (23, false, '(');(40, true, '(');(2, false, ')');(9, false, ')');
    (23, false, ')');(40, true, ')');(3, false, '!');(6, false, '!');
    (10, false, '!');(15, false, '!');(24, false, '!');(31, false, '!');
    (41, false, '!');(56, true, '!');(3, false, '"');(6, false, '"');
    (10, false, '"');(15, false, '"');(24, false, '"');(31, false, '"');
    (41, false, '"');(56, true, '"');(3, false, '(');(6, false, '(');
    (10, false, '(');(15, false, '(');(24, false, '(');(31, false, '(');
    (41, false, '(');(56, true, '(');(3, false, ')');(6, false, ')');
    (10, false, ')');(15, false, ')');(24, false, ')');(31, false, ')');
    (41, false, ')');(56, true, ')');(2, false, '?');(9, false, '?');
    (23, false, '?');(40, true, '?');(1, false, '\'');(22, true, '\'');
    (1, false, '+');(22, true, '+');(1, false, '|');(22, true, '|');(0, true,
                                                                    '#');
    (0, true, '>');(86, false, '\000');(87, false, '\000');(89, false,
                                                             '\000');
    (90, false, '\000');(3, false, '?');(6, false, '?');(10, false, '?');
    (15, false, '?');(24, false, '?');(31, false, '?');(41, false, '?');
    (56, true, '?');(2, false, '\'');(9, false, '\'');(23, false, '\'');
    (40, true, '\'');(2, false, '+');(9, false, '+');(23, false, '+');
    (40, true, '+');(3, false, '\'');(6, false, '\'');(10, false, '\'');
    (15, false, '\'');(24, false, '\'');(31, false, '\'');(41, false, '\'');
    (56, true, '\'');(3, false, '+');(6, false, '+');(10, false, '+');
    (15, false, '+');(24, false, '+');(31, false, '+');(41, false, '+');
    (56, true, '+');(2, false, '|');(9, false, '|');(23, false, '|');
    (40, true, '|');(1, false, '#');(22, true, '#');(1, false, '>');(22,
                                                                    true,
                                                                    '>');
    (0, true, '\000');(0, true, '$');(0, true, '@');(0, true, '[');(0, true,
                                                                    ']');
    (0, true, '~');(91, false, '\000');(92, false, '\000');(3, false, '|');
    (6, false, '|');(10, false, '|');(15, false, '|');(24, false, '|');
    (31, false, '|');(41, false, '|');(56, true, '|');(2, false, '#');
    (9, false, '#');(23, false, '#');(40, true, '#');(2, false, '>');
    (9, false, '>');(23, false, '>');(40, true, '>');(3, false, '#');
    (6, false, '#');(10, false, '#');(15, false, '#');(24, false, '#');
    (31, false, '#');(41, false, '#');(56, true, '#');(3, false, '>');
    (6, false, '>');(10, false, '>');(15, false, '>');(24, false, '>');
    (31, false, '>');(41, false, '>');(56, true, '>');(1, false, '\000');
    (22, true, '\000');(1, false, '$');(22, true, '$');(1, false, '@');
    (22, true, '@');(1, false, '[');(22, true, '[');(1, false, ']');(22,
                                                                    true,
                                                                    ']');
    (1, false, '~');(22, true, '~');(0, true, '^');(0, true, '}');(93, false,
                                                                    '\000');
    (94, false, '\000');(2, false, '\000');(9, false, '\000');(23, false,
                                                                '\000');
    (40, true, '\000');(2, false, '$');(9, false, '$');(23, false, '$');
    (40, true, '$');(2, false, '@');(9, false, '@');(23, false, '@');
    (40, true, '@');(2, false, '[');(9, false, '[');(23, false, '[');
    (40, true, '[');(3, false, '\000');(6, false, '\000');(10, false, '\000');
    (15, false, '\000');(24, false, '\000');(31, false, '\000');(41, false,
                                                                  '\000');
    (56, true, '\000');(3, false, '$');(6, false, '$');(10, false, '$');
    (15, false, '$');(24, false, '$');(31, false, '$');(41, false, '$');
    (56, true, '$');(3, false, '@');(6, false, '@');(10, false, '@');
    (15, false, '@');(24, false, '@');(31, false, '@');(41, false, '@');
    (56, true, '@');(3, false, '[');(6, false, '[');(10, false, '[');
    (15, false, '[');(24, false, '[');(31, false, '[');(41, false, '[');
    (56, true, '[');(2, false, ']');(9, false, ']');(23, false, ']');
    (40, true, ']');(2, false, '~');(9, false, '~');(23, false, '~');
    (40, true, '~');(1, false, '^');(22, true, '^');(1, false, '}');(22,
                                                                    true,
                                                                    '}');
    (0, true, '<');(0, true, '`');(0, true, '{');(95, false, '\000');
    (3, false, ']');(6, false, ']');(10, false, ']');(15, false, ']');
    (24, false, ']');(31, false, ']');(41, false, ']');(56, true, ']');
    (3, false, '~');(6, false, '~');(10, false, '~');(15, false, '~');
    (24, false, '~');(31, false, '~');(41, false, '~');(56, true, '~');
    (2, false, '^');(9, false, '^');(23, false, '^');(40, true, '^');
    (2, false, '}');(9, false, '}');(23, false, '}');(40, true, '}');
    (1, false, '<');(22, true, '<');(1, false, '`');(22, true, '`');(1,
                                                                    false,
                                                                    '{');
    (22, true, '{');(96, false, '\000');(110, false, '\000');(3, false, '^');
    (6, false, '^');(10, false, '^');(15, false, '^');(24, false, '^');
    (31, false, '^');(41, false, '^');(56, true, '^');(3, false, '}');
    (6, false, '}');(10, false, '}');(15, false, '}');(24, false, '}');
    (31, false, '}');(41, false, '}');(56, true, '}');(2, false, '<');
    (9, false, '<');(23, false, '<');(40, true, '<');(2, false, '`');
    (9, false, '`');(23, false, '`');(40, true, '`');(2, false, '{');
    (9, false, '{');(23, false, '{');(40, true, '{');(97, false, '\000');
    (101, false, '\000');(111, false, '\000');(133, false, '\000');(3, false,
                                                                    '<');
    (6, false, '<');(10, false, '<');(15, false, '<');(24, false, '<');
    (31, false, '<');(41, false, '<');(56, true, '<');(3, false, '`');
    (6, false, '`');(10, false, '`');(15, false, '`');(24, false, '`');
    (31, false, '`');(41, false, '`');(56, true, '`');(3, false, '{');
    (6, false, '{');(10, false, '{');(15, false, '{');(24, false, '{');
    (31, false, '{');(41, false, '{');(56, true, '{');(98, false, '\000');
    (99, false, '\000');(102, false, '\000');(105, false, '\000');(112,
                                                                    false,
                                                                    '\000');
    (119, false, '\000');(134, false, '\000');(153, false, '\000');(0, true,
                                                                    '\\');
    (0, true, '\195');(0, true, '\208');(100, false, '\000');(103, false,
                                                               '\000');
    (104, false, '\000');(106, false, '\000');(107, false, '\000');(113,
                                                                    false,
                                                                    '\000');
    (116, false, '\000');(120, false, '\000');(126, false, '\000');(135,
                                                                    false,
                                                                    '\000');
    (142, false, '\000');(154, false, '\000');(169, false, '\000');(1, false,
                                                                    '\\');
    (22, true, '\\');(1, false, '\195');(22, true, '\195');(1, false, '\208');
    (22, true, '\208');(0, true, '\128');(0, true, '\130');(0, true, '\131');
    (0, true, '\162');(0, true, '\184');(0, true, '\194');(0, true, '\224');
    (0, true, '\226');(108, false, '\000');(109, false, '\000');(2, false,
                                                                  '\\');
    (9, false, '\\');(23, false, '\\');(40, true, '\\');(2, false, '\195');
    (9, false, '\195');(23, false, '\195');(40, true, '\195');(2, false,
                                                                '\208');
    (9, false, '\208');(23, false, '\208');(40, true, '\208');(1, false,
                                                                '\128');
    (22, true, '\128');(1, false, '\130');(22, true, '\130');(3, false, '\\');
    (6, false, '\\');(10, false, '\\');(15, false, '\\');(24, false, '\\');
    (31, false, '\\');(41, false, '\\');(56, true, '\\');(3, false, '\195');
    (6, false, '\195');(10, false, '\195');(15, false, '\195');(24, false,
                                                                 '\195');
    (31, false, '\195');(41, false, '\195');(56, true, '\195');(3, false,
                                                                 '\208');
    (6, false, '\208');(10, false, '\208');(15, false, '\208');(24, false,
                                                                 '\208');
    (31, false, '\208');(41, false, '\208');(56, true, '\208');(2, false,
                                                                 '\128');
    (9, false, '\128');(23, false, '\128');(40, true, '\128');(2, false,
                                                                '\130');
    (9, false, '\130');(23, false, '\130');(40, true, '\130');(3, false,
                                                                '\128');
    (6, false, '\128');(10, false, '\128');(15, false, '\128');(24, false,
                                                                 '\128');
    (31, false, '\128');(41, false, '\128');(56, true, '\128');(3, false,
                                                                 '\130');
    (6, false, '\130');(10, false, '\130');(15, false, '\130');(24, false,
                                                                 '\130');
    (31, false, '\130');(41, false, '\130');(56, true, '\130');(1, false,
                                                                 '\131');
    (22, true, '\131');(1, false, '\162');(22, true, '\162');(1, false,
                                                               '\184');
    (22, true, '\184');(1, false, '\194');(22, true, '\194');(1, false,
                                                               '\224');
    (22, true, '\224');(1, false, '\226');(22, true, '\226');(0, true,
                                                               '\153');
    (0, true, '\161');(0, true, '\167');(0, true, '\172');(2, false, '\131');
    (9, false, '\131');(23, false, '\131');(40, true, '\131');(2, false,
                                                                '\162');
    (9, false, '\162');(23, false, '\162');(40, true, '\162');(2, false,
                                                                '\184');
    (9, false, '\184');(23, false, '\184');(40, true, '\184');(2, false,
                                                                '\194');
    (9, false, '\194');(23, false, '\194');(40, true, '\194');(3, false,
                                                                '\131');
    (6, false, '\131');(10, false, '\131');(15, false, '\131');(24, false,
                                                                 '\131');
    (31, false, '\131');(41, false, '\131');(56, true, '\131');(3, false,
                                                                 '\162');
    (6, false, '\162');(10, false, '\162');(15, false, '\162');(24, false,
                                                                 '\162');
    (31, false, '\162');(41, false, '\162');(56, true, '\162');(3, false,
                                                                 '\184');
    (6, false, '\184');(10, false, '\184');(15, false, '\184');(24, false,
                                                                 '\184');
    (31, false, '\184');(41, false, '\184');(56, true, '\184');(3, false,
                                                                 '\194');
    (6, false, '\194');(10, false, '\194');(15, false, '\194');(24, false,
                                                                 '\194');
    (31, false, '\194');(41, false, '\194');(56, true, '\194');(2, false,
                                                                 '\224');
    (9, false, '\224');(23, false, '\224');(40, true, '\224');(2, false,
                                                                '\226');
    (9, false, '\226');(23, false, '\226');(40, true, '\226');(1, false,
                                                                '\153');
    (22, true, '\153');(1, false, '\161');(22, true, '\161');(1, false,
                                                               '\167');
    (22, true, '\167');(1, false, '\172');(22, true, '\172');(3, false,
                                                               '\224');
    (6, false, '\224');(10, false, '\224');(15, false, '\224');(24, false,
                                                                 '\224');
    (31, false, '\224');(41, false, '\224');(56, true, '\224');(3, false,
                                                                 '\226');
    (6, false, '\226');(10, false, '\226');(15, false, '\226');(24, false,
                                                                 '\226');
    (31, false, '\226');(41, false, '\226');(56, true, '\226');(2, false,
                                                                 '\153');
    (9, false, '\153');(23, false, '\153');(40, true, '\153');(2, false,
                                                                '\161');
    (9, false, '\161');(23, false, '\161');(40, true, '\161');(2, false,
                                                                '\167');
    (9, false, '\167');(23, false, '\167');(40, true, '\167');(2, false,
                                                                '\172');
    (9, false, '\172');(23, false, '\172');(40, true, '\172');(3, false,
                                                                '\153');
    (6, false, '\153');(10, false, '\153');(15, false, '\153');(24, false,
                                                                 '\153');
    (31, false, '\153');(41, false, '\153');(56, true, '\153');(3, false,
                                                                 '\161');
    (6, false, '\161');(10, false, '\161');(15, false, '\161');(24, false,
                                                                 '\161');
    (31, false, '\161');(41, false, '\161');(56, true, '\161');(3, false,
                                                                 '\167');
    (6, false, '\167');(10, false, '\167');(15, false, '\167');(24, false,
                                                                 '\167');
    (31, false, '\167');(41, false, '\167');(56, true, '\167');(3, false,
                                                                 '\172');
    (6, false, '\172');(10, false, '\172');(15, false, '\172');(24, false,
                                                                 '\172');
    (31, false, '\172');(41, false, '\172');(56, true, '\172');(114, false,
                                                                 '\000');
    (115, false, '\000');(117, false, '\000');(118, false, '\000');(121,
                                                                    false,
                                                                    '\000');
    (123, false, '\000');(127, false, '\000');(130, false, '\000');(136,
                                                                    false,
                                                                    '\000');
    (139, false, '\000');(143, false, '\000');(146, false, '\000');(155,
                                                                    false,
                                                                    '\000');
    (162, false, '\000');(170, false, '\000');(180, false, '\000');(0, true,
                                                                    '\176');
    (0, true, '\177');(0, true, '\179');(0, true, '\209');(0, true, '\216');
    (0, true, '\217');(0, true, '\227');(0, true, '\229');(0, true, '\230');
    (122, false, '\000');(124, false, '\000');(125, false, '\000');(128,
                                                                    false,
                                                                    '\000');
    (129, false, '\000');(131, false, '\000');(132, false, '\000');(1, false,
                                                                    '\176');
    (22, true, '\176');(1, false, '\177');(22, true, '\177');(1, false,
                                                               '\179');
    (22, true, '\179');(1, false, '\209');(22, true, '\209');(1, false,
                                                               '\216');
    (22, true, '\216');(1, false, '\217');(22, true, '\217');(1, false,
                                                               '\227');
    (22, true, '\227');(1, false, '\229');(22, true, '\229');(2, false,
                                                               '\176');
    (9, false, '\176');(23, false, '\176');(40, true, '\176');(2, false,
                                                                '\177');
    (9, false, '\177');(23, false, '\177');(40, true, '\177');(2, false,
                                                                '\179');
    (9, false, '\179');(23, false, '\179');(40, true, '\179');(2, false,
                                                                '\209');
    (9, false, '\209');(23, false, '\209');(40, true, '\209');(3, false,
                                                                '\176');
    (6, false, '\176');(10, false, '\176');(15, false, '\176');(24, false,
                                                                 '\176');
    (31, false, '\176');(41, false, '\176');(56, true, '\176');(3, false,
                                                                 '\177');
    (6, false, '\177');(10, false, '\177');(15, false, '\177');(24, false,
                                                                 '\177');
    (31, false, '\177');(41, false, '\177');(56, true, '\177');(3, false,
                                                                 '\179');
    (6, false, '\179');(10, false, '\179');(15, false, '\179');(24, false,
                                                                 '\179');
    (31, false, '\179');(41, false, '\179');(56, true, '\179');(3, false,
                                                                 '\209');
    (6, false, '\209');(10, false, '\209');(15, false, '\209');(24, false,
                                                                 '\209');
    (31, false, '\209');(41, false, '\209');(56, true, '\209');(2, false,
                                                                 '\216');
    (9, false, '\216');(23, false, '\216');(40, true, '\216');(2, false,
                                                                '\217');
    (9, false, '\217');(23, false, '\217');(40, true, '\217');(2, false,
                                                                '\227');
    (9, false, '\227');(23, false, '\227');(40, true, '\227');(2, false,
                                                                '\229');
    (9, false, '\229');(23, false, '\229');(40, true, '\229');(3, false,
                                                                '\216');
    (6, false, '\216');(10, false, '\216');(15, false, '\216');(24, false,
                                                                 '\216');
    (31, false, '\216');(41, false, '\216');(56, true, '\216');(3, false,
                                                                 '\217');
    (6, false, '\217');(10, false, '\217');(15, false, '\217');(24, false,
                                                                 '\217');
    (31, false, '\217');(41, false, '\217');(56, true, '\217');(3, false,
                                                                 '\227');
    (6, false, '\227');(10, false, '\227');(15, false, '\227');(24, false,
                                                                 '\227');
    (31, false, '\227');(41, false, '\227');(56, true, '\227');(3, false,
                                                                 '\229');
    (6, false, '\229');(10, false, '\229');(15, false, '\229');(24, false,
                                                                 '\229');
    (31, false, '\229');(41, false, '\229');(56, true, '\229');(1, false,
                                                                 '\230');
    (22, true, '\230');(0, true, '\129');(0, true, '\132');(0, true, '\133');
    (0, true, '\134');(0, true, '\136');(0, true, '\146');(0, true, '\154');
    (0, true, '\156');(0, true, '\160');(0, true, '\163');(0, true, '\164');
    (0, true, '\169');(0, true, '\170');(0, true, '\173');(2, false, '\230');
    (9, false, '\230');(23, false, '\230');(40, true, '\230');(1, false,
                                                                '\129');
    (22, true, '\129');(1, false, '\132');(22, true, '\132');(1, false,
                                                               '\133');
    (22, true, '\133');(1, false, '\134');(22, true, '\134');(1, false,
                                                               '\136');
    (22, true, '\136');(1, false, '\146');(22, true, '\146');(3, false,
                                                               '\230');
    (6, false, '\230');(10, false, '\230');(15, false, '\230');(24, false,
                                                                 '\230');
    (31, false, '\230');(41, false, '\230');(56, true, '\230');(2, false,
                                                                 '\129');
    (9, false, '\129');(23, false, '\129');(40, true, '\129');(2, false,
                                                                '\132');
    (9, false, '\132');(23, false, '\132');(40, true, '\132');(3, false,
                                                                '\129');
    (6, false, '\129');(10, false, '\129');(15, false, '\129');(24, false,
                                                                 '\129');
    (31, false, '\129');(41, false, '\129');(56, true, '\129');(3, false,
                                                                 '\132');
    (6, false, '\132');(10, false, '\132');(15, false, '\132');(24, false,
                                                                 '\132');
    (31, false, '\132');(41, false, '\132');(56, true, '\132');(2, false,
                                                                 '\133');
    (9, false, '\133');(23, false, '\133');(40, true, '\133');(2, false,
                                                                '\134');
    (9, false, '\134');(23, false, '\134');(40, true, '\134');(2, false,
                                                                '\136');
    (9, false, '\136');(23, false, '\136');(40, true, '\136');(2, false,
                                                                '\146');
    (9, false, '\146');(23, false, '\146');(40, true, '\146');(3, false,
                                                                '\133');
    (6, false, '\133');(10, false, '\133');(15, false, '\133');(24, false,
                                                                 '\133');
    (31, false, '\133');(41, false, '\133');(56, true, '\133');(3, false,
                                                                 '\134');
    (6, false, '\134');(10, false, '\134');(15, false, '\134');(24, false,
                                                                 '\134');
    (31, false, '\134');(41, false, '\134');(56, true, '\134');(3, false,
                                                                 '\136');
    (6, false, '\136');(10, false, '\136');(15, false, '\136');(24, false,
                                                                 '\136');
    (31, false, '\136');(41, false, '\136');(56, true, '\136');(3, false,
                                                                 '\146');
    (6, false, '\146');(10, false, '\146');(15, false, '\146');(24, false,
                                                                 '\146');
    (31, false, '\146');(41, false, '\146');(56, true, '\146');(1, false,
                                                                 '\154');
    (22, true, '\154');(1, false, '\156');(22, true, '\156');(1, false,
                                                               '\160');
    (22, true, '\160');(1, false, '\163');(22, true, '\163');(1, false,
                                                               '\164');
    (22, true, '\164');(1, false, '\169');(22, true, '\169');(1, false,
                                                               '\170');
    (22, true, '\170');(1, false, '\173');(22, true, '\173');(2, false,
                                                               '\154');
    (9, false, '\154');(23, false, '\154');(40, true, '\154');(2, false,
                                                                '\156');
    (9, false, '\156');(23, false, '\156');(40, true, '\156');(2, false,
                                                                '\160');
    (9, false, '\160');(23, false, '\160');(40, true, '\160');(2, false,
                                                                '\163');
    (9, false, '\163');(23, false, '\163');(40, true, '\163');(3, false,
                                                                '\154');
    (6, false, '\154');(10, false, '\154');(15, false, '\154');(24, false,
                                                                 '\154');
    (31, false, '\154');(41, false, '\154');(56, true, '\154');(3, false,
                                                                 '\156');
    (6, false, '\156');(10, false, '\156');(15, false, '\156');(24, false,
                                                                 '\156');
    (31, false, '\156');(41, false, '\156');(56, true, '\156');(3, false,
                                                                 '\160');
    (6, false, '\160');(10, false, '\160');(15, false, '\160');(24, false,
                                                                 '\160');
    (31, false, '\160');(41, false, '\160');(56, true, '\160');(3, false,
                                                                 '\163');
    (6, false, '\163');(10, false, '\163');(15, false, '\163');(24, false,
                                                                 '\163');
    (31, false, '\163');(41, false, '\163');(56, true, '\163');(2, false,
                                                                 '\164');
    (9, false, '\164');(23, false, '\164');(40, true, '\164');(2, false,
                                                                '\169');
    (9, false, '\169');(23, false, '\169');(40, true, '\169');(2, false,
                                                                '\170');
    (9, false, '\170');(23, false, '\170');(40, true, '\170');(2, false,
                                                                '\173');
    (9, false, '\173');(23, false, '\173');(40, true, '\173');(3, false,
                                                                '\164');
    (6, false, '\164');(10, false, '\164');(15, false, '\164');(24, false,
                                                                 '\164');
    (31, false, '\164');(41, false, '\164');(56, true, '\164');(3, false,
                                                                 '\169');
    (6, false, '\169');(10, false, '\169');(15, false, '\169');(24, false,
                                                                 '\169');
    (31, false, '\169');(41, false, '\169');(56, true, '\169');(3, false,
                                                                 '\170');
    (6, false, '\170');(10, false, '\170');(15, false, '\170');(24, false,
                                                                 '\170');
    (31, false, '\170');(41, false, '\170');(56, true, '\170');(3, false,
                                                                 '\173');
    (6, false, '\173');(10, false, '\173');(15, false, '\173');(24, false,
                                                                 '\173');
    (31, false, '\173');(41, false, '\173');(56, true, '\173');(137, false,
                                                                 '\000');
    (138, false, '\000');(140, false, '\000');(141, false, '\000');(144,
                                                                    false,
                                                                    '\000');
    (145, false, '\000');(147, false, '\000');(150, false, '\000');(156,
                                                                    false,
                                                                    '\000');
    (159, false, '\000');(163, false, '\000');(166, false, '\000');(171,
                                                                    false,
                                                                    '\000');
    (174, false, '\000');(181, false, '\000');(190, false, '\000');(0, true,
                                                                    '\178');
    (0, true, '\181');(0, true, '\185');(0, true, '\186');(0, true, '\187');
    (0, true, '\189');(0, true, '\190');(0, true, '\196');(0, true, '\198');
    (0, true, '\228');(0, true, '\232');(0, true, '\233');(148, false,
                                                            '\000');(149,
                                                                    false,
                                                                    '\000');
    (151, false, '\000');(152, false, '\000');(1, false, '\178');(22, true,
                                                                   '\178');
    (1, false, '\181');(22, true, '\181');(1, false, '\185');(22, true,
                                                               '\185');
    (1, false, '\186');(22, true, '\186');(1, false, '\187');(22, true,
                                                               '\187');
    (1, false, '\189');(22, true, '\189');(1, false, '\190');(22, true,
                                                               '\190');
    (1, false, '\196');(22, true, '\196');(2, false, '\178');(9, false,
                                                               '\178');
    (23, false, '\178');(40, true, '\178');(2, false, '\181');(9, false,
                                                                '\181');
    (23, false, '\181');(40, true, '\181');(2, false, '\185');(9, false,
                                                                '\185');
    (23, false, '\185');(40, true, '\185');(2, false, '\186');(9, false,
                                                                '\186');
    (23, false, '\186');(40, true, '\186');(3, false, '\178');(6, false,
                                                                '\178');
    (10, false, '\178');(15, false, '\178');(24, false, '\178');(31, false,
                                                                  '\178');
    (41, false, '\178');(56, true, '\178');(3, false, '\181');(6, false,
                                                                '\181');
    (10, false, '\181');(15, false, '\181');(24, false, '\181');(31, false,
                                                                  '\181');
    (41, false, '\181');(56, true, '\181');(3, false, '\185');(6, false,
                                                                '\185');
    (10, false, '\185');(15, false, '\185');(24, false, '\185');(31, false,
                                                                  '\185');
    (41, false, '\185');(56, true, '\185');(3, false, '\186');(6, false,
                                                                '\186');
    (10, false, '\186');(15, false, '\186');(24, false, '\186');(31, false,
                                                                  '\186');
    (41, false, '\186');(56, true, '\186');(2, false, '\187');(9, false,
                                                                '\187');
    (23, false, '\187');(40, true, '\187');(2, false, '\189');(9, false,
                                                                '\189');
    (23, false, '\189');(40, true, '\189');(2, false, '\190');(9, false,
                                                                '\190');
    (23, false, '\190');(40, true, '\190');(2, false, '\196');(9, false,
                                                                '\196');
    (23, false, '\196');(40, true, '\196');(3, false, '\187');(6, false,
                                                                '\187');
    (10, false, '\187');(15, false, '\187');(24, false, '\187');(31, false,
                                                                  '\187');
    (41, false, '\187');(56, true, '\187');(3, false, '\189');(6, false,
                                                                '\189');
    (10, false, '\189');(15, false, '\189');(24, false, '\189');(31, false,
                                                                  '\189');
    (41, false, '\189');(56, true, '\189');(3, false, '\190');(6, false,
                                                                '\190');
    (10, false, '\190');(15, false, '\190');(24, false, '\190');(31, false,
                                                                  '\190');
    (41, false, '\190');(56, true, '\190');(3, false, '\196');(6, false,
                                                                '\196');
    (10, false, '\196');(15, false, '\196');(24, false, '\196');(31, false,
                                                                  '\196');
    (41, false, '\196');(56, true, '\196');(1, false, '\198');(22, true,
                                                                '\198');
    (1, false, '\228');(22, true, '\228');(1, false, '\232');(22, true,
                                                               '\232');
    (1, false, '\233');(22, true, '\233');(0, true, '\001');(0, true, '\135');
    (0, true, '\137');(0, true, '\138');(0, true, '\139');(0, true, '\140');
    (0, true, '\141');(0, true, '\143');(2, false, '\198');(9, false, '\198');
    (23, false, '\198');(40, true, '\198');(2, false, '\228');(9, false,
                                                                '\228');
    (23, false, '\228');(40, true, '\228');(2, false, '\232');(9, false,
                                                                '\232');
    (23, false, '\232');(40, true, '\232');(2, false, '\233');(9, false,
                                                                '\233');
    (23, false, '\233');(40, true, '\233');(3, false, '\198');(6, false,
                                                                '\198');
    (10, false, '\198');(15, false, '\198');(24, false, '\198');(31, false,
                                                                  '\198');
    (41, false, '\198');(56, true, '\198');(3, false, '\228');(6, false,
                                                                '\228');
    (10, false, '\228');(15, false, '\228');(24, false, '\228');(31, false,
                                                                  '\228');
    (41, false, '\228');(56, true, '\228');(3, false, '\232');(6, false,
                                                                '\232');
    (10, false, '\232');(15, false, '\232');(24, false, '\232');(31, false,
                                                                  '\232');
    (41, false, '\232');(56, true, '\232');(3, false, '\233');(6, false,
                                                                '\233');
    (10, false, '\233');(15, false, '\233');(24, false, '\233');(31, false,
                                                                  '\233');
    (41, false, '\233');(56, true, '\233');(1, false, '\001');(22, true,
                                                                '\001');
    (1, false, '\135');(22, true, '\135');(1, false, '\137');(22, true,
                                                               '\137');
    (1, false, '\138');(22, true, '\138');(1, false, '\139');(22, true,
                                                               '\139');
    (1, false, '\140');(22, true, '\140');(1, false, '\141');(22, true,
                                                               '\141');
    (1, false, '\143');(22, true, '\143');(2, false, '\001');(9, false,
                                                               '\001');
    (23, false, '\001');(40, true, '\001');(2, false, '\135');(9, false,
                                                                '\135');
    (23, false, '\135');(40, true, '\135');(2, false, '\137');(9, false,
                                                                '\137');
    (23, false, '\137');(40, true, '\137');(2, false, '\138');(9, false,
                                                                '\138');
    (23, false, '\138');(40, true, '\138');(3, false, '\001');(6, false,
                                                                '\001');
    (10, false, '\001');(15, false, '\001');(24, false, '\001');(31, false,
                                                                  '\001');
    (41, false, '\001');(56, true, '\001');(3, false, '\135');(6, false,
                                                                '\135');
    (10, false, '\135');(15, false, '\135');(24, false, '\135');(31, false,
                                                                  '\135');
    (41, false, '\135');(56, true, '\135');(3, false, '\137');(6, false,
                                                                '\137');
    (10, false, '\137');(15, false, '\137');(24, false, '\137');(31, false,
                                                                  '\137');
    (41, false, '\137');(56, true, '\137');(3, false, '\138');(6, false,
                                                                '\138');
    (10, false, '\138');(15, false, '\138');(24, false, '\138');(31, false,
                                                                  '\138');
    (41, false, '\138');(56, true, '\138');(2, false, '\139');(9, false,
                                                                '\139');
    (23, false, '\139');(40, true, '\139');(2, false, '\140');(9, false,
                                                                '\140');
    (23, false, '\140');(40, true, '\140');(2, false, '\141');(9, false,
                                                                '\141');
    (23, false, '\141');(40, true, '\141');(2, false, '\143');(9, false,
                                                                '\143');
    (23, false, '\143');(40, true, '\143');(3, false, '\139');(6, false,
                                                                '\139');
    (10, false, '\139');(15, false, '\139');(24, false, '\139');(31, false,
                                                                  '\139');
    (41, false, '\139');(56, true, '\139');(3, false, '\140');(6, false,
                                                                '\140');
    (10, false, '\140');(15, false, '\140');(24, false, '\140');(31, false,
                                                                  '\140');
    (41, false, '\140');(56, true, '\140');(3, false, '\141');(6, false,
                                                                '\141');
    (10, false, '\141');(15, false, '\141');(24, false, '\141');(31, false,
                                                                  '\141');
    (41, false, '\141');(56, true, '\141');(3, false, '\143');(6, false,
                                                                '\143');
    (10, false, '\143');(15, false, '\143');(24, false, '\143');(31, false,
                                                                  '\143');
    (41, false, '\143');(56, true, '\143');(157, false, '\000');(158, false,
                                                                  '\000');
    (160, false, '\000');(161, false, '\000');(164, false, '\000');(165,
                                                                    false,
                                                                    '\000');
    (167, false, '\000');(168, false, '\000');(172, false, '\000');(173,
                                                                    false,
                                                                    '\000');
    (175, false, '\000');(177, false, '\000');(182, false, '\000');(185,
                                                                    false,
                                                                    '\000');
    (191, false, '\000');(207, false, '\000');(0, true, '\147');(0, true,
                                                                  '\149');
    (0, true, '\150');(0, true, '\151');(0, true, '\152');(0, true, '\155');
    (0, true, '\157');(0, true, '\158');(0, true, '\165');(0, true, '\166');
    (0, true, '\168');(0, true, '\174');(0, true, '\175');(0, true, '\180');
    (0, true, '\182');(0, true, '\183');(1, false, '\147');(22, true, '\147');
    (1, false, '\149');(22, true, '\149');(1, false, '\150');(22, true,
                                                               '\150');
    (1, false, '\151');(22, true, '\151');(1, false, '\152');(22, true,
                                                               '\152');
    (1, false, '\155');(22, true, '\155');(1, false, '\157');(22, true,
                                                               '\157');
    (1, false, '\158');(22, true, '\158');(2, false, '\147');(9, false,
                                                               '\147');
    (23, false, '\147');(40, true, '\147');(2, false, '\149');(9, false,
                                                                '\149');
    (23, false, '\149');(40, true, '\149');(2, false, '\150');(9, false,
                                                                '\150');
    (23, false, '\150');(40, true, '\150');(2, false, '\151');(9, false,
                                                                '\151');
    (23, false, '\151');(40, true, '\151');(3, false, '\147');(6, false,
                                                                '\147');
    (10, false, '\147');(15, false, '\147');(24, false, '\147');(31, false,
                                                                  '\147');
    (41, false, '\147');(56, true, '\147');(3, false, '\149');(6, false,
                                                                '\149');
    (10, false, '\149');(15, false, '\149');(24, false, '\149');(31, false,
                                                                  '\149');
    (41, false, '\149');(56, true, '\149');(3, false, '\150');(6, false,
                                                                '\150');
    (10, false, '\150');(15, false, '\150');(24, false, '\150');(31, false,
                                                                  '\150');
    (41, false, '\150');(56, true, '\150');(3, false, '\151');(6, false,
                                                                '\151');
    (10, false, '\151');(15, false, '\151');(24, false, '\151');(31, false,
                                                                  '\151');
    (41, false, '\151');(56, true, '\151');(2, false, '\152');(9, false,
                                                                '\152');
    (23, false, '\152');(40, true, '\152');(2, false, '\155');(9, false,
                                                                '\155');
    (23, false, '\155');(40, true, '\155');(2, false, '\157');(9, false,
                                                                '\157');
    (23, false, '\157');(40, true, '\157');(2, false, '\158');(9, false,
                                                                '\158');
    (23, false, '\158');(40, true, '\158');(3, false, '\152');(6, false,
                                                                '\152');
    (10, false, '\152');(15, false, '\152');(24, false, '\152');(31, false,
                                                                  '\152');
    (41, false, '\152');(56, true, '\152');(3, false, '\155');(6, false,
                                                                '\155');
    (10, false, '\155');(15, false, '\155');(24, false, '\155');(31, false,
                                                                  '\155');
    (41, false, '\155');(56, true, '\155');(3, false, '\157');(6, false,
                                                                '\157');
    (10, false, '\157');(15, false, '\157');(24, false, '\157');(31, false,
                                                                  '\157');
    (41, false, '\157');(56, true, '\157');(3, false, '\158');(6, false,
                                                                '\158');
    (10, false, '\158');(15, false, '\158');(24, false, '\158');(31, false,
                                                                  '\158');
    (41, false, '\158');(56, true, '\158');(1, false, '\165');(22, true,
                                                                '\165');
    (1, false, '\166');(22, true, '\166');(1, false, '\168');(22, true,
                                                               '\168');
    (1, false, '\174');(22, true, '\174');(1, false, '\175');(22, true,
                                                               '\175');
    (1, false, '\180');(22, true, '\180');(1, false, '\182');(22, true,
                                                               '\182');
    (1, false, '\183');(22, true, '\183');(2, false, '\165');(9, false,
                                                               '\165');
    (23, false, '\165');(40, true, '\165');(2, false, '\166');(9, false,
                                                                '\166');
    (23, false, '\166');(40, true, '\166');(2, false, '\168');(9, false,
                                                                '\168');
    (23, false, '\168');(40, true, '\168');(2, false, '\174');(9, false,
                                                                '\174');
    (23, false, '\174');(40, true, '\174');(3, false, '\165');(6, false,
                                                                '\165');
    (10, false, '\165');(15, false, '\165');(24, false, '\165');(31, false,
                                                                  '\165');
    (41, false, '\165');(56, true, '\165');(3, false, '\166');(6, false,
                                                                '\166');
    (10, false, '\166');(15, false, '\166');(24, false, '\166');(31, false,
                                                                  '\166');
    (41, false, '\166');(56, true, '\166');(3, false, '\168');(6, false,
                                                                '\168');
    (10, false, '\168');(15, false, '\168');(24, false, '\168');(31, false,
                                                                  '\168');
    (41, false, '\168');(56, true, '\168');(3, false, '\174');(6, false,
                                                                '\174');
    (10, false, '\174');(15, false, '\174');(24, false, '\174');(31, false,
                                                                  '\174');
    (41, false, '\174');(56, true, '\174');(2, false, '\175');(9, false,
                                                                '\175');
    (23, false, '\175');(40, true, '\175');(2, false, '\180');(9, false,
                                                                '\180');
    (23, false, '\180');(40, true, '\180');(2, false, '\182');(9, false,
                                                                '\182');
    (23, false, '\182');(40, true, '\182');(2, false, '\183');(9, false,
                                                                '\183');
    (23, false, '\183');(40, true, '\183');(3, false, '\175');(6, false,
                                                                '\175');
    (10, false, '\175');(15, false, '\175');(24, false, '\175');(31, false,
                                                                  '\175');
    (41, false, '\175');(56, true, '\175');(3, false, '\180');(6, false,
                                                                '\180');
    (10, false, '\180');(15, false, '\180');(24, false, '\180');(31, false,
                                                                  '\180');
    (41, false, '\180');(56, true, '\180');(3, false, '\182');(6, false,
                                                                '\182');
    (10, false, '\182');(15, false, '\182');(24, false, '\182');(31, false,
                                                                  '\182');
    (41, false, '\182');(56, true, '\182');(3, false, '\183');(6, false,
                                                                '\183');
    (10, false, '\183');(15, false, '\183');(24, false, '\183');(31, false,
                                                                  '\183');
    (41, false, '\183');(56, true, '\183');(0, true, '\188');(0, true,
                                                               '\191');
    (0, true, '\197');(0, true, '\231');(0, true, '\239');(176, false,
                                                            '\000');(178,
                                                                    false,
                                                                    '\000');
    (179, false, '\000');(183, false, '\000');(184, false, '\000');(186,
                                                                    false,
                                                                    '\000');
    (187, false, '\000');(192, false, '\000');(199, false, '\000');(208,
                                                                    false,
                                                                    '\000');
    (223, false, '\000');(1, false, '\188');(22, true, '\188');(1, false,
                                                                 '\191');
    (22, true, '\191');(1, false, '\197');(22, true, '\197');(1, false,
                                                               '\231');
    (22, true, '\231');(1, false, '\239');(22, true, '\239');(0, true, '\t');
    (0, true, '\142');(0, true, '\144');(0, true, '\145');(0, true, '\148');
    (0, true, '\159');(2, false, '\188');(9, false, '\188');(23, false,
                                                              '\188');
    (40, true, '\188');(2, false, '\191');(9, false, '\191');(23, false,
                                                               '\191');
    (40, true, '\191');(2, false, '\197');(9, false, '\197');(23, false,
                                                               '\197');
    (40, true, '\197');(2, false, '\231');(9, false, '\231');(23, false,
                                                               '\231');
    (40, true, '\231');(3, false, '\188');(6, false, '\188');(10, false,
                                                               '\188');
    (15, false, '\188');(24, false, '\188');(31, false, '\188');(41, false,
                                                                  '\188');
    (56, true, '\188');(3, false, '\191');(6, false, '\191');(10, false,
                                                               '\191');
    (15, false, '\191');(24, false, '\191');(31, false, '\191');(41, false,
                                                                  '\191');
    (56, true, '\191');(3, false, '\197');(6, false, '\197');(10, false,
                                                               '\197');
    (15, false, '\197');(24, false, '\197');(31, false, '\197');(41, false,
                                                                  '\197');
    (56, true, '\197');(3, false, '\231');(6, false, '\231');(10, false,
                                                               '\231');
    (15, false, '\231');(24, false, '\231');(31, false, '\231');(41, false,
                                                                  '\231');
    (56, true, '\231');(2, false, '\239');(9, false, '\239');(23, false,
                                                               '\239');
    (40, true, '\239');(1, false, '\t');(22, true, '\t');(1, false, '\142');
    (22, true, '\142');(1, false, '\144');(22, true, '\144');(1, false,
                                                               '\145');
    (22, true, '\145');(1, false, '\148');(22, true, '\148');(1, false,
                                                               '\159');
    (22, true, '\159');(3, false, '\239');(6, false, '\239');(10, false,
                                                               '\239');
    (15, false, '\239');(24, false, '\239');(31, false, '\239');(41, false,
                                                                  '\239');
    (56, true, '\239');(2, false, '\t');(9, false, '\t');(23, false, '\t');
    (40, true, '\t');(2, false, '\142');(9, false, '\142');(23, false,
                                                             '\142');
    (40, true, '\142');(3, false, '\t');(6, false, '\t');(10, false, '\t');
    (15, false, '\t');(24, false, '\t');(31, false, '\t');(41, false, '\t');
    (56, true, '\t');(3, false, '\142');(6, false, '\142');(10, false,
                                                             '\142');
    (15, false, '\142');(24, false, '\142');(31, false, '\142');(41, false,
                                                                  '\142');
    (56, true, '\142');(2, false, '\144');(9, false, '\144');(23, false,
                                                               '\144');
    (40, true, '\144');(2, false, '\145');(9, false, '\145');(23, false,
                                                               '\145');
    (40, true, '\145');(2, false, '\148');(9, false, '\148');(23, false,
                                                               '\148');
    (40, true, '\148');(2, false, '\159');(9, false, '\159');(23, false,
                                                               '\159');
    (40, true, '\159');(3, false, '\144');(6, false, '\144');(10, false,
                                                               '\144');
    (15, false, '\144');(24, false, '\144');(31, false, '\144');(41, false,
                                                                  '\144');
    (56, true, '\144');(3, false, '\145');(6, false, '\145');(10, false,
                                                               '\145');
    (15, false, '\145');(24, false, '\145');(31, false, '\145');(41, false,
                                                                  '\145');
    (56, true, '\145');(3, false, '\148');(6, false, '\148');(10, false,
                                                               '\148');
    (15, false, '\148');(24, false, '\148');(31, false, '\148');(41, false,
                                                                  '\148');
    (56, true, '\148');(3, false, '\159');(6, false, '\159');(10, false,
                                                               '\159');
    (15, false, '\159');(24, false, '\159');(31, false, '\159');(41, false,
                                                                  '\159');
    (56, true, '\159');(0, true, '\171');(0, true, '\206');(0, true, '\215');
    (0, true, '\225');(0, true, '\236');(0, true, '\237');(188, false,
                                                            '\000');(189,
                                                                    false,
                                                                    '\000');
    (193, false, '\000');(196, false, '\000');(200, false, '\000');(203,
                                                                    false,
                                                                    '\000');
    (209, false, '\000');(216, false, '\000');(224, false, '\000');(238,
                                                                    false,
                                                                    '\000');
    (1, false, '\171');(22, true, '\171');(1, false, '\206');(22, true,
                                                               '\206');
    (1, false, '\215');(22, true, '\215');(1, false, '\225');(22, true,
                                                               '\225');
    (1, false, '\236');(22, true, '\236');(1, false, '\237');(22, true,
                                                               '\237');
    (0, true, '\199');(0, true, '\207');(0, true, '\234');(0, true, '\235');
    (2, false, '\171');(9, false, '\171');(23, false, '\171');(40, true,
                                                                '\171');
    (2, false, '\206');(9, false, '\206');(23, false, '\206');(40, true,
                                                                '\206');
    (2, false, '\215');(9, false, '\215');(23, false, '\215');(40, true,
                                                                '\215');
    (2, false, '\225');(9, false, '\225');(23, false, '\225');(40, true,
                                                                '\225');
    (3, false, '\171');(6, false, '\171');(10, false, '\171');(15, false,
                                                                '\171');
    (24, false, '\171');(31, false, '\171');(41, false, '\171');(56, true,
                                                                  '\171');
    (3, false, '\206');(6, false, '\206');(10, false, '\206');(15, false,
                                                                '\206');
    (24, false, '\206');(31, false, '\206');(41, false, '\206');(56, true,
                                                                  '\206');
    (3, false, '\215');(6, false, '\215');(10, false, '\215');(15, false,
                                                                '\215');
    (24, false, '\215');(31, false, '\215');(41, false, '\215');(56, true,
                                                                  '\215');
    (3, false, '\225');(6, false, '\225');(10, false, '\225');(15, false,
                                                                '\225');
    (24, false, '\225');(31, false, '\225');(41, false, '\225');(56, true,
                                                                  '\225');
    (2, false, '\236');(9, false, '\236');(23, false, '\236');(40, true,
                                                                '\236');
    (2, false, '\237');(9, false, '\237');(23, false, '\237');(40, true,
                                                                '\237');
    (1, false, '\199');(22, true, '\199');(1, false, '\207');(22, true,
                                                               '\207');
    (1, false, '\234');(22, true, '\234');(1, false, '\235');(22, true,
                                                               '\235');
    (3, false, '\236');(6, false, '\236');(10, false, '\236');(15, false,
                                                                '\236');
    (24, false, '\236');(31, false, '\236');(41, false, '\236');(56, true,
                                                                  '\236');
    (3, false, '\237');(6, false, '\237');(10, false, '\237');(15, false,
                                                                '\237');
    (24, false, '\237');(31, false, '\237');(41, false, '\237');(56, true,
                                                                  '\237');
    (2, false, '\199');(9, false, '\199');(23, false, '\199');(40, true,
                                                                '\199');
    (2, false, '\207');(9, false, '\207');(23, false, '\207');(40, true,
                                                                '\207');
    (2, false, '\234');(9, false, '\234');(23, false, '\234');(40, true,
                                                                '\234');
    (2, false, '\235');(9, false, '\235');(23, false, '\235');(40, true,
                                                                '\235');
    (3, false, '\199');(6, false, '\199');(10, false, '\199');(15, false,
                                                                '\199');
    (24, false, '\199');(31, false, '\199');(41, false, '\199');(56, true,
                                                                  '\199');
    (3, false, '\207');(6, false, '\207');(10, false, '\207');(15, false,
                                                                '\207');
    (24, false, '\207');(31, false, '\207');(41, false, '\207');(56, true,
                                                                  '\207');
    (3, false, '\234');(6, false, '\234');(10, false, '\234');(15, false,
                                                                '\234');
    (24, false, '\234');(31, false, '\234');(41, false, '\234');(56, true,
                                                                  '\234');
    (3, false, '\235');(6, false, '\235');(10, false, '\235');(15, false,
                                                                '\235');
    (24, false, '\235');(31, false, '\235');(41, false, '\235');(56, true,
                                                                  '\235');
    (194, false, '\000');(195, false, '\000');(197, false, '\000');(198,
                                                                    false,
                                                                    '\000');
    (201, false, '\000');(202, false, '\000');(204, false, '\000');(205,
                                                                    false,
                                                                    '\000');
    (210, false, '\000');(213, false, '\000');(217, false, '\000');(220,
                                                                    false,
                                                                    '\000');
    (225, false, '\000');(231, false, '\000');(239, false, '\000');(246,
                                                                    false,
                                                                    '\000');
    (0, true, '\192');(0, true, '\193');(0, true, '\200');(0, true, '\201');
    (0, true, '\202');(0, true, '\205');(0, true, '\210');(0, true, '\213');
    (0, true, '\218');(0, true, '\219');(0, true, '\238');(0, true, '\240');
    (0, true, '\242');(0, true, '\243');(0, true, '\255');(206, false,
                                                            '\000');(1,
                                                                    false,
                                                                    '\192');
    (22, true, '\192');(1, false, '\193');(22, true, '\193');(1, false,
                                                               '\200');
    (22, true, '\200');(1, false, '\201');(22, true, '\201');(1, false,
                                                               '\202');
    (22, true, '\202');(1, false, '\205');(22, true, '\205');(1, false,
                                                               '\210');
    (22, true, '\210');(1, false, '\213');(22, true, '\213');(2, false,
                                                               '\192');
    (9, false, '\192');(23, false, '\192');(40, true, '\192');(2, false,
                                                                '\193');
    (9, false, '\193');(23, false, '\193');(40, true, '\193');(2, false,
                                                                '\200');
    (9, false, '\200');(23, false, '\200');(40, true, '\200');(2, false,
                                                                '\201');
    (9, false, '\201');(23, false, '\201');(40, true, '\201');(3, false,
                                                                '\192');
    (6, false, '\192');(10, false, '\192');(15, false, '\192');(24, false,
                                                                 '\192');
    (31, false, '\192');(41, false, '\192');(56, true, '\192');(3, false,
                                                                 '\193');
    (6, false, '\193');(10, false, '\193');(15, false, '\193');(24, false,
                                                                 '\193');
    (31, false, '\193');(41, false, '\193');(56, true, '\193');(3, false,
                                                                 '\200');
    (6, false, '\200');(10, false, '\200');(15, false, '\200');(24, false,
                                                                 '\200');
    (31, false, '\200');(41, false, '\200');(56, true, '\200');(3, false,
                                                                 '\201');
    (6, false, '\201');(10, false, '\201');(15, false, '\201');(24, false,
                                                                 '\201');
    (31, false, '\201');(41, false, '\201');(56, true, '\201');(2, false,
                                                                 '\202');
    (9, false, '\202');(23, false, '\202');(40, true, '\202');(2, false,
                                                                '\205');
    (9, false, '\205');(23, false, '\205');(40, true, '\205');(2, false,
                                                                '\210');
    (9, false, '\210');(23, false, '\210');(40, true, '\210');(2, false,
                                                                '\213');
    (9, false, '\213');(23, false, '\213');(40, true, '\213');(3, false,
                                                                '\202');
    (6, false, '\202');(10, false, '\202');(15, false, '\202');(24, false,
                                                                 '\202');
    (31, false, '\202');(41, false, '\202');(56, true, '\202');(3, false,
                                                                 '\205');
    (6, false, '\205');(10, false, '\205');(15, false, '\205');(24, false,
                                                                 '\205');
    (31, false, '\205');(41, false, '\205');(56, true, '\205');(3, false,
                                                                 '\210');
    (6, false, '\210');(10, false, '\210');(15, false, '\210');(24, false,
                                                                 '\210');
    (31, false, '\210');(41, false, '\210');(56, true, '\210');(3, false,
                                                                 '\213');
    (6, false, '\213');(10, false, '\213');(15, false, '\213');(24, false,
                                                                 '\213');
    (31, false, '\213');(41, false, '\213');(56, true, '\213');(1, false,
                                                                 '\218');
    (22, true, '\218');(1, false, '\219');(22, true, '\219');(1, false,
                                                               '\238');
    (22, true, '\238');(1, false, '\240');(22, true, '\240');(1, false,
                                                               '\242');
    (22, true, '\242');(1, false, '\243');(22, true, '\243');(1, false,
                                                               '\255');
    (22, true, '\255');(0, true, '\203');(0, true, '\204');(2, false, '\218');
    (9, false, '\218');(23, false, '\218');(40, true, '\218');(2, false,
                                                                '\219');
    (9, false, '\219');(23, false, '\219');(40, true, '\219');(2, false,
                                                                '\238');
    (9, false, '\238');(23, false, '\238');(40, true, '\238');(2, false,
                                                                '\240');
    (9, false, '\240');(23, false, '\240');(40, true, '\240');(3, false,
                                                                '\218');
    (6, false, '\218');(10, false, '\218');(15, false, '\218');(24, false,
                                                                 '\218');
    (31, false, '\218');(41, false, '\218');(56, true, '\218');(3, false,
                                                                 '\219');
    (6, false, '\219');(10, false, '\219');(15, false, '\219');(24, false,
                                                                 '\219');
    (31, false, '\219');(41, false, '\219');(56, true, '\219');(3, false,
                                                                 '\238');
    (6, false, '\238');(10, false, '\238');(15, false, '\238');(24, false,
                                                                 '\238');
    (31, false, '\238');(41, false, '\238');(56, true, '\238');(3, false,
                                                                 '\240');
    (6, false, '\240');(10, false, '\240');(15, false, '\240');(24, false,
                                                                 '\240');
    (31, false, '\240');(41, false, '\240');(56, true, '\240');(2, false,
                                                                 '\242');
    (9, false, '\242');(23, false, '\242');(40, true, '\242');(2, false,
                                                                '\243');
    (9, false, '\243');(23, false, '\243');(40, true, '\243');(2, false,
                                                                '\255');
    (9, false, '\255');(23, false, '\255');(40, true, '\255');(1, false,
                                                                '\203');
    (22, true, '\203');(1, false, '\204');(22, true, '\204');(3, false,
                                                               '\242');
    (6, false, '\242');(10, false, '\242');(15, false, '\242');(24, false,
                                                                 '\242');
    (31, false, '\242');(41, false, '\242');(56, true, '\242');(3, false,
                                                                 '\243');
    (6, false, '\243');(10, false, '\243');(15, false, '\243');(24, false,
                                                                 '\243');
    (31, false, '\243');(41, false, '\243');(56, true, '\243');(3, false,
                                                                 '\255');
    (6, false, '\255');(10, false, '\255');(15, false, '\255');(24, false,
                                                                 '\255');
    (31, false, '\255');(41, false, '\255');(56, true, '\255');(2, false,
                                                                 '\203');
    (9, false, '\203');(23, false, '\203');(40, true, '\203');(2, false,
                                                                '\204');
    (9, false, '\204');(23, false, '\204');(40, true, '\204');(3, false,
                                                                '\203');
    (6, false, '\203');(10, false, '\203');(15, false, '\203');(24, false,
                                                                 '\203');
    (31, false, '\203');(41, false, '\203');(56, true, '\203');(3, false,
                                                                 '\204');
    (6, false, '\204');(10, false, '\204');(15, false, '\204');(24, false,
                                                                 '\204');
    (31, false, '\204');(41, false, '\204');(56, true, '\204');(211, false,
                                                                 '\000');
    (212, false, '\000');(214, false, '\000');(215, false, '\000');(218,
                                                                    false,
                                                                    '\000');
    (219, false, '\000');(221, false, '\000');(222, false, '\000');(226,
                                                                    false,
                                                                    '\000');
    (228, false, '\000');(232, false, '\000');(235, false, '\000');(240,
                                                                    false,
                                                                    '\000');
    (243, false, '\000');(247, false, '\000');(250, false, '\000');(0, true,
                                                                    '\211');
    (0, true, '\212');(0, true, '\214');(0, true, '\221');(0, true, '\222');
    (0, true, '\223');(0, true, '\241');(0, true, '\244');(0, true, '\245');
    (0, true, '\246');(0, true, '\247');(0, true, '\248');(0, true, '\250');
    (0, true, '\251');(0, true, '\252');(0, true, '\253');(1, false, '\211');
    (22, true, '\211');(1, false, '\212');(22, true, '\212');(1, false,
                                                               '\214');
    (22, true, '\214');(1, false, '\221');(22, true, '\221');(1, false,
                                                               '\222');
    (22, true, '\222');(1, false, '\223');(22, true, '\223');(1, false,
                                                               '\241');
    (22, true, '\241');(1, false, '\244');(22, true, '\244');(2, false,
                                                               '\211');
    (9, false, '\211');(23, false, '\211');(40, true, '\211');(2, false,
                                                                '\212');
    (9, false, '\212');(23, false, '\212');(40, true, '\212');(2, false,
                                                                '\214');
    (9, false, '\214');(23, false, '\214');(40, true, '\214');(2, false,
                                                                '\221');
    (9, false, '\221');(23, false, '\221');(40, true, '\221');(3, false,
                                                                '\211');
    (6, false, '\211');(10, false, '\211');(15, false, '\211');(24, false,
                                                                 '\211');
    (31, false, '\211');(41, false, '\211');(56, true, '\211');(3, false,
                                                                 '\212');
    (6, false, '\212');(10, false, '\212');(15, false, '\212');(24, false,
                                                                 '\212');
    (31, false, '\212');(41, false, '\212');(56, true, '\212');(3, false,
                                                                 '\214');
    (6, false, '\214');(10, false, '\214');(15, false, '\214');(24, false,
                                                                 '\214');
    (31, false, '\214');(41, false, '\214');(56, true, '\214');(3, false,
                                                                 '\221');
    (6, false, '\221');(10, false, '\221');(15, false, '\221');(24, false,
                                                                 '\221');
    (31, false, '\221');(41, false, '\221');(56, true, '\221');(2, false,
                                                                 '\222');
    (9, false, '\222');(23, false, '\222');(40, true, '\222');(2, false,
                                                                '\223');
    (9, false, '\223');(23, false, '\223');(40, true, '\223');(2, false,
                                                                '\241');
    (9, false, '\241');(23, false, '\241');(40, true, '\241');(2, false,
                                                                '\244');
    (9, false, '\244');(23, false, '\244');(40, true, '\244');(3, false,
                                                                '\222');
    (6, false, '\222');(10, false, '\222');(15, false, '\222');(24, false,
                                                                 '\222');
    (31, false, '\222');(41, false, '\222');(56, true, '\222');(3, false,
                                                                 '\223');
    (6, false, '\223');(10, false, '\223');(15, false, '\223');(24, false,
                                                                 '\223');
    (31, false, '\223');(41, false, '\223');(56, true, '\223');(3, false,
                                                                 '\241');
    (6, false, '\241');(10, false, '\241');(15, false, '\241');(24, false,
                                                                 '\241');
    (31, false, '\241');(41, false, '\241');(56, true, '\241');(3, false,
                                                                 '\244');
    (6, false, '\244');(10, false, '\244');(15, false, '\244');(24, false,
                                                                 '\244');
    (31, false, '\244');(41, false, '\244');(56, true, '\244');(1, false,
                                                                 '\245');
    (22, true, '\245');(1, false, '\246');(22, true, '\246');(1, false,
                                                               '\247');
    (22, true, '\247');(1, false, '\248');(22, true, '\248');(1, false,
                                                               '\250');
    (22, true, '\250');(1, false, '\251');(22, true, '\251');(1, false,
                                                               '\252');
    (22, true, '\252');(1, false, '\253');(22, true, '\253');(2, false,
                                                               '\245');
    (9, false, '\245');(23, false, '\245');(40, true, '\245');(2, false,
                                                                '\246');
    (9, false, '\246');(23, false, '\246');(40, true, '\246');(2, false,
                                                                '\247');
    (9, false, '\247');(23, false, '\247');(40, true, '\247');(2, false,
                                                                '\248');
    (9, false, '\248');(23, false, '\248');(40, true, '\248');(3, false,
                                                                '\245');
    (6, false, '\245');(10, false, '\245');(15, false, '\245');(24, false,
                                                                 '\245');
    (31, false, '\245');(41, false, '\245');(56, true, '\245');(3, false,
                                                                 '\246');
    (6, false, '\246');(10, false, '\246');(15, false, '\246');(24, false,
                                                                 '\246');
    (31, false, '\246');(41, false, '\246');(56, true, '\246');(3, false,
                                                                 '\247');
    (6, false, '\247');(10, false, '\247');(15, false, '\247');(24, false,
                                                                 '\247');
    (31, false, '\247');(41, false, '\247');(56, true, '\247');(3, false,
                                                                 '\248');
    (6, false, '\248');(10, false, '\248');(15, false, '\248');(24, false,
                                                                 '\248');
    (31, false, '\248');(41, false, '\248');(56, true, '\248');(2, false,
                                                                 '\250');
    (9, false, '\250');(23, false, '\250');(40, true, '\250');(2, false,
                                                                '\251');
    (9, false, '\251');(23, false, '\251');(40, true, '\251');(2, false,
                                                                '\252');
    (9, false, '\252');(23, false, '\252');(40, true, '\252');(2, false,
                                                                '\253');
    (9, false, '\253');(23, false, '\253');(40, true, '\253');(3, false,
                                                                '\250');
    (6, false, '\250');(10, false, '\250');(15, false, '\250');(24, false,
                                                                 '\250');
    (31, false, '\250');(41, false, '\250');(56, true, '\250');(3, false,
                                                                 '\251');
    (6, false, '\251');(10, false, '\251');(15, false, '\251');(24, false,
                                                                 '\251');
    (31, false, '\251');(41, false, '\251');(56, true, '\251');(3, false,
                                                                 '\252');
    (6, false, '\252');(10, false, '\252');(15, false, '\252');(24, false,
                                                                 '\252');
    (31, false, '\252');(41, false, '\252');(56, true, '\252');(3, false,
                                                                 '\253');
    (6, false, '\253');(10, false, '\253');(15, false, '\253');(24, false,
                                                                 '\253');
    (31, false, '\253');(41, false, '\253');(56, true, '\253');(0, true,
                                                                 '\254');
    (227, false, '\000');(229, false, '\000');(230, false, '\000');(233,
                                                                    false,
                                                                    '\000');
    (234, false, '\000');(236, false, '\000');(237, false, '\000');(241,
                                                                    false,
                                                                    '\000');
    (242, false, '\000');(244, false, '\000');(245, false, '\000');(248,
                                                                    false,
                                                                    '\000');
    (249, false, '\000');(251, false, '\000');(252, false, '\000');(1, false,
                                                                    '\254');
    (22, true, '\254');(0, true, '\002');(0, true, '\003');(0, true, '\004');
    (0, true, '\005');(0, true, '\006');(0, true, '\007');(0, true, '\b');
    (0, true, '\011');(0, true, '\012');(0, true, '\014');(0, true, '\015');
    (0, true, '\016');(0, true, '\017');(0, true, '\018');(2, false, '\254');
    (9, false, '\254');(23, false, '\254');(40, true, '\254');(1, false,
                                                                '\002');
    (22, true, '\002');(1, false, '\003');(22, true, '\003');(1, false,
                                                               '\004');
    (22, true, '\004');(1, false, '\005');(22, true, '\005');(1, false,
                                                               '\006');
    (22, true, '\006');(1, false, '\007');(22, true, '\007');(3, false,
                                                               '\254');
    (6, false, '\254');(10, false, '\254');(15, false, '\254');(24, false,
                                                                 '\254');
    (31, false, '\254');(41, false, '\254');(56, true, '\254');(2, false,
                                                                 '\002');
    (9, false, '\002');(23, false, '\002');(40, true, '\002');(2, false,
                                                                '\003');
    (9, false, '\003');(23, false, '\003');(40, true, '\003');(3, false,
                                                                '\002');
    (6, false, '\002');(10, false, '\002');(15, false, '\002');(24, false,
                                                                 '\002');
    (31, false, '\002');(41, false, '\002');(56, true, '\002');(3, false,
                                                                 '\003');
    (6, false, '\003');(10, false, '\003');(15, false, '\003');(24, false,
                                                                 '\003');
    (31, false, '\003');(41, false, '\003');(56, true, '\003');(2, false,
                                                                 '\004');
    (9, false, '\004');(23, false, '\004');(40, true, '\004');(2, false,
                                                                '\005');
    (9, false, '\005');(23, false, '\005');(40, true, '\005');(2, false,
                                                                '\006');
    (9, false, '\006');(23, false, '\006');(40, true, '\006');(2, false,
                                                                '\007');
    (9, false, '\007');(23, false, '\007');(40, true, '\007');(3, false,
                                                                '\004');
    (6, false, '\004');(10, false, '\004');(15, false, '\004');(24, false,
                                                                 '\004');
    (31, false, '\004');(41, false, '\004');(56, true, '\004');(3, false,
                                                                 '\005');
    (6, false, '\005');(10, false, '\005');(15, false, '\005');(24, false,
                                                                 '\005');
    (31, false, '\005');(41, false, '\005');(56, true, '\005');(3, false,
                                                                 '\006');
    (6, false, '\006');(10, false, '\006');(15, false, '\006');(24, false,
                                                                 '\006');
    (31, false, '\006');(41, false, '\006');(56, true, '\006');(3, false,
                                                                 '\007');
    (6, false, '\007');(10, false, '\007');(15, false, '\007');(24, false,
                                                                 '\007');
    (31, false, '\007');(41, false, '\007');(56, true, '\007');(1, false,
                                                                 '\b');
    (22, true, '\b');(1, false, '\011');(22, true, '\011');(1, false, '\012');
    (22, true, '\012');(1, false, '\014');(22, true, '\014');(1, false,
                                                               '\015');
    (22, true, '\015');(1, false, '\016');(22, true, '\016');(1, false,
                                                               '\017');
    (22, true, '\017');(1, false, '\018');(22, true, '\018');(2, false, '\b');
    (9, false, '\b');(23, false, '\b');(40, true, '\b');(2, false, '\011');
    (9, false, '\011');(23, false, '\011');(40, true, '\011');(2, false,
                                                                '\012');
    (9, false, '\012');(23, false, '\012');(40, true, '\012');(2, false,
                                                                '\014');
    (9, false, '\014');(23, false, '\014');(40, true, '\014');(3, false,
                                                                '\b');
    (6, false, '\b');(10, false, '\b');(15, false, '\b');(24, false, '\b');
    (31, false, '\b');(41, false, '\b');(56, true, '\b');(3, false, '\011');
    (6, false, '\011');(10, false, '\011');(15, false, '\011');(24, false,
                                                                 '\011');
    (31, false, '\011');(41, false, '\011');(56, true, '\011');(3, false,
                                                                 '\012');
    (6, false, '\012');(10, false, '\012');(15, false, '\012');(24, false,
                                                                 '\012');
    (31, false, '\012');(41, false, '\012');(56, true, '\012');(3, false,
                                                                 '\014');
    (6, false, '\014');(10, false, '\014');(15, false, '\014');(24, false,
                                                                 '\014');
    (31, false, '\014');(41, false, '\014');(56, true, '\014');(2, false,
                                                                 '\015');
    (9, false, '\015');(23, false, '\015');(40, true, '\015');(2, false,
                                                                '\016');
    (9, false, '\016');(23, false, '\016');(40, true, '\016');(2, false,
                                                                '\017');
    (9, false, '\017');(23, false, '\017');(40, true, '\017');(2, false,
                                                                '\018');
    (9, false, '\018');(23, false, '\018');(40, true, '\018');(3, false,
                                                                '\015');
    (6, false, '\015');(10, false, '\015');(15, false, '\015');(24, false,
                                                                 '\015');
    (31, false, '\015');(41, false, '\015');(56, true, '\015');(3, false,
                                                                 '\016');
    (6, false, '\016');(10, false, '\016');(15, false, '\016');(24, false,
                                                                 '\016');
    (31, false, '\016');(41, false, '\016');(56, true, '\016');(3, false,
                                                                 '\017');
    (6, false, '\017');(10, false, '\017');(15, false, '\017');(24, false,
                                                                 '\017');
    (31, false, '\017');(41, false, '\017');(56, true, '\017');(3, false,
                                                                 '\018');
    (6, false, '\018');(10, false, '\018');(15, false, '\018');(24, false,
                                                                 '\018');
    (31, false, '\018');(41, false, '\018');(56, true, '\018');(0, true,
                                                                 '\019');
    (0, true, '\020');(0, true, '\021');(0, true, '\023');(0, true, '\024');
    (0, true, '\025');(0, true, '\026');(0, true, '\027');(0, true, '\028');
    (0, true, '\029');(0, true, '\030');(0, true, '\031');(0, true, '\127');
    (0, true, '\220');(0, true, '\249');(253, false, '\000');(1, false,
                                                               '\019');
    (22, true, '\019');(1, false, '\020');(22, true, '\020');(1, false,
                                                               '\021');
    (22, true, '\021');(1, false, '\023');(22, true, '\023');(1, false,
                                                               '\024');
    (22, true, '\024');(1, false, '\025');(22, true, '\025');(1, false,
                                                               '\026');
    (22, true, '\026');(1, false, '\027');(22, true, '\027');(2, false,
                                                               '\019');
    (9, false, '\019');(23, false, '\019');(40, true, '\019');(2, false,
                                                                '\020');
    (9, false, '\020');(23, false, '\020');(40, true, '\020');(2, false,
                                                                '\021');
    (9, false, '\021');(23, false, '\021');(40, true, '\021');(2, false,
                                                                '\023');
    (9, false, '\023');(23, false, '\023');(40, true, '\023');(3, false,
                                                                '\019');
    (6, false, '\019');(10, false, '\019');(15, false, '\019');(24, false,
                                                                 '\019');
    (31, false, '\019');(41, false, '\019');(56, true, '\019');(3, false,
                                                                 '\020');
    (6, false, '\020');(10, false, '\020');(15, false, '\020');(24, false,
                                                                 '\020');
    (31, false, '\020');(41, false, '\020');(56, true, '\020');(3, false,
                                                                 '\021');
    (6, false, '\021');(10, false, '\021');(15, false, '\021');(24, false,
                                                                 '\021');
    (31, false, '\021');(41, false, '\021');(56, true, '\021');(3, false,
                                                                 '\023');
    (6, false, '\023');(10, false, '\023');(15, false, '\023');(24, false,
                                                                 '\023');
    (31, false, '\023');(41, false, '\023');(56, true, '\023');(2, false,
                                                                 '\024');
    (9, false, '\024');(23, false, '\024');(40, true, '\024');(2, false,
                                                                '\025');
    (9, false, '\025');(23, false, '\025');(40, true, '\025');(2, false,
                                                                '\026');
    (9, false, '\026');(23, false, '\026');(40, true, '\026');(2, false,
                                                                '\027');
    (9, false, '\027');(23, false, '\027');(40, true, '\027');(3, false,
                                                                '\024');
    (6, false, '\024');(10, false, '\024');(15, false, '\024');(24, false,
                                                                 '\024');
    (31, false, '\024');(41, false, '\024');(56, true, '\024');(3, false,
                                                                 '\025');
    (6, false, '\025');(10, false, '\025');(15, false, '\025');(24, false,
                                                                 '\025');
    (31, false, '\025');(41, false, '\025');(56, true, '\025');(3, false,
                                                                 '\026');
    (6, false, '\026');(10, false, '\026');(15, false, '\026');(24, false,
                                                                 '\026');
    (31, false, '\026');(41, false, '\026');(56, true, '\026');(3, false,
                                                                 '\027');
    (6, false, '\027');(10, false, '\027');(15, false, '\027');(24, false,
                                                                 '\027');
    (31, false, '\027');(41, false, '\027');(56, true, '\027');(1, false,
                                                                 '\028');
    (22, true, '\028');(1, false, '\029');(22, true, '\029');(1, false,
                                                               '\030');
    (22, true, '\030');(1, false, '\031');(22, true, '\031');(1, false,
                                                               '\127');
    (22, true, '\127');(1, false, '\220');(22, true, '\220');(1, false,
                                                               '\249');
    (22, true, '\249');(254, false, '\000');(255, false, '\000');(2, false,
                                                                   '\028');
    (9, false, '\028');(23, false, '\028');(40, true, '\028');(2, false,
                                                                '\029');
    (9, false, '\029');(23, false, '\029');(40, true, '\029');(2, false,
                                                                '\030');
    (9, false, '\030');(23, false, '\030');(40, true, '\030');(2, false,
                                                                '\031');
    (9, false, '\031');(23, false, '\031');(40, true, '\031');(3, false,
                                                                '\028');
    (6, false, '\028');(10, false, '\028');(15, false, '\028');(24, false,
                                                                 '\028');
    (31, false, '\028');(41, false, '\028');(56, true, '\028');(3, false,
                                                                 '\029');
    (6, false, '\029');(10, false, '\029');(15, false, '\029');(24, false,
                                                                 '\029');
    (31, false, '\029');(41, false, '\029');(56, true, '\029');(3, false,
                                                                 '\030');
    (6, false, '\030');(10, false, '\030');(15, false, '\030');(24, false,
                                                                 '\030');
    (31, false, '\030');(41, false, '\030');(56, true, '\030');(3, false,
                                                                 '\031');
    (6, false, '\031');(10, false, '\031');(15, false, '\031');(24, false,
                                                                 '\031');
    (31, false, '\031');(41, false, '\031');(56, true, '\031');(2, false,
                                                                 '\127');
    (9, false, '\127');(23, false, '\127');(40, true, '\127');(2, false,
                                                                '\220');
    (9, false, '\220');(23, false, '\220');(40, true, '\220');(2, false,
                                                                '\249');
    (9, false, '\249');(23, false, '\249');(40, true, '\249');(0, true, '\n');
    (0, true, '\r');(0, true, '\022');((-1), false, '\000');(3, false,
                                                              '\127');
    (6, false, '\127');(10, false, '\127');(15, false, '\127');(24, false,
                                                                 '\127');
    (31, false, '\127');(41, false, '\127');(56, true, '\127');(3, false,
                                                                 '\220');
    (6, false, '\220');(10, false, '\220');(15, false, '\220');(24, false,
                                                                 '\220');
    (31, false, '\220');(41, false, '\220');(56, true, '\220');(3, false,
                                                                 '\249');
    (6, false, '\249');(10, false, '\249');(15, false, '\249');(24, false,
                                                                 '\249');
    (31, false, '\249');(41, false, '\249');(56, true, '\249');(1, false,
                                                                 '\n');
    (22, true, '\n');(1, false, '\r');(22, true, '\r');(1, false, '\022');
    (22, true, '\022');((-1), false, '\000');((-1), false, '\000');(2, false,
                                                                    '\n');
    (9, false, '\n');(23, false, '\n');(40, true, '\n');(2, false, '\r');
    (9, false, '\r');(23, false, '\r');(40, true, '\r');(2, false, '\022');
    (9, false, '\022');(23, false, '\022');(40, true, '\022');((-1), false,
                                                                '\000');
    ((-1), false, '\000');((-1), false, '\000');((-1), false, '\000');
    (3, false, '\n');(6, false, '\n');(10, false, '\n');(15, false, '\n');
    (24, false, '\n');(31, false, '\n');(41, false, '\n');(56, true, '\n');
    (3, false, '\r');(6, false, '\r');(10, false, '\r');(15, false, '\r');
    (24, false, '\r');(31, false, '\r');(41, false, '\r');(56, true, '\r');
    (3, false, '\022');(6, false, '\022');(10, false, '\022');(15, false,
                                                                '\022');
    (24, false, '\022');(31, false, '\022');(41, false, '\022');(56, true,
                                                                  '\022');
    ((-1), false, '\000');((-1), false, '\000');((-1), false, '\000');
    ((-1), false, '\000');((-1), false, '\000');((-1), false, '\000');
    ((-1), false, '\000');((-1), false, '\000')|]