#############################################################################
##
#W  id1440.z               GAP library of id's             Hans Ulrich Besche
##

ID_GROUP_TREE.next[1440]:=
rec(
  fp:= [ 34, 699, 939, 1036, 1128, 1204, 1765, 1890, 1998, 2339, 2585, 2668, 
4007, 4811, 4945, 5158, 5572, 5779, 5952, 5963, 6538, 6712, 6809, 6911, 7663, 
8101, 8443, 9033, 9500, 9673, 9818, 10190, 11658, 11709, 12145, 12745, 12798, 
13070, 13604, 13889, 14159, 14477, 14660, 14848, 14881, 15210, 15498, 15916, 
16253, 16558, 17123, 18002, 18499, 18610, 18886, 19395, 19731, 20089, 20488, 
20831, 20877, 21066, 21167, 21233, 22790, 23149, 23548, 23614, 23676, 24121, 
24258, 24358, 24484, 24780, 25135, 25193, 25497, 25962, 26243, 26459, 28006, 
28869, 28907, 29159, 29470, 29699, 30254, 30548, 31945, 32233, 32239, 32550, 
33235, 33599, 33809, 33969, 34809, 34909, 34979, 35344, 35495, 35596, 35746, 
35980, 36237, 36327, 36458, 36807, 38272, 38882, 38979, 39705, 39797, 40573, 
40745, 41553, 41848, 42010, 42579, 43333, 43480, 43561, 43562, 43801, 44299, 
44739, 44924, 45079, 45186, 45189, 45206, 45326, 45418, 45570, 45972, 48005, 
48559, 48592, 49021, 49449, 49687, 51166, 51216, 51301, 51335, 51609, 51967, 
52029, 52109, 52760, 53057, 53089, 53353, 53405, 53954, 53966, 54625, 54661, 
54689, 55037, 55438, 55460, 55632, 55918, 56106, 56238, 56247, 56463, 56821, 
57473, 57969, 58026, 58184, 58558, 60199, 60255, 60565, 60824, 60875, 61107, 
61119, 61185, 61779, 62428, 62709, 62718, 62808, 63766, 63939, 64572, 64693, 
64988, 65317, 65597, 65629, 65831, 65880, 65952, 66029, 66171, 66189, 66353, 
66795, 66939, 66973, 67054, 67124, 67333, 67709, 67934, 67965, 68016, 68174, 
68241, 68904, 69542, 69607, 69847, 70035, 70739, 71080, 72064, 72695, 72846, 
73465, 74906, 75837, 76179, 76737, 79029, 79119, 79208, 79289, 79806, 80196, 
80425, 80795, 80798, 81559, 81610, 81761, 82510, 83880, 84099, 84238, 85223, 
85732, 86195, 86367, 86520, 86657, 86696, 87175, 88362, 88876, 88966, 88987, 
89118, 89374, 89379, 89419, 89741, 89999, 90080, 90576, 90893, 90926, 91488, 
91689, 91709, 91853, 92272, 92423, 93374, 93527, 93608, 94131, 94908, 95419, 
95557, 95993, 96309, 96592, 96905, 96948, 97026, 97277, 97795, 98037, 98765, 
99346 ],
  next:= [ rec(
    fp:= [ 27015, 30304, 40640, 45107, 48597, 52087, 82062, 82717, 82808, 
91739, 98879 ],
    level:= 4,
    next:= [ rec(
      desc:= [ 107003 ],
      fp:= [ 2, 12 ],
      next:= [ 4709, 4708 ] ), 4707, 1886, 1874, 1876, 1875, rec(
      desc:= [ 104003 ],
      fp:= [ 4, 212 ],
      next:= [ rec(
        desc:= [ 108003 ],
        fp:= [ 4, 14 ],
        next:= [ 1888, 1887 ] ), 1885 ] ), rec(
      desc:= [ 110003 ],
      fp:= [ 4, 14 ],
      next:= [ 1938, 1937 ] ), 1878, 1940, 1884 ] ), rec(
    fp:= [ 11082, 24646, 48904, 50791, 55709, 60627 ],
    level:= 4,
    next:= [ 1534, 1535, 1536, 1539, 1538, 1537 ] ), rec(
    fp:= [ 1612, 3548, 5108, 11397, 12659, 13676, 14242, 20702, 21830, 23466, 
25503, 26230, 32342, 34048, 35631, 36259, 38133, 44381, 45664, 48545, 49261, 
49394, 49836, 53631, 54925, 57868, 58842, 59522, 62217, 63946, 67195, 72281, 
72419, 76336, 77820, 79377, 80226, 88047, 90931, 93830, 98027 ],
    level:= 4,
    next:= [ 170, rec(
      fp:= [ 10472, 54353 ],
      next:= [ 173, 182 ] ), 185, 193, 28, 52, 230, rec(
      desc:= [ 105003 ],
      fp:= [ 2, 12 ],
      next:= [ rec(
        desc:= [ 106003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 109003 ],
          fp:= [ 4, 14 ],
          next:= [ 31, 33 ] ), 37 ] ), 66 ] ), rec(
      desc:= [ 302005 ],
      fp:= [ 3702, 7401 ],
      next:= [ rec(
        desc:= [ 106003 ],
        fp:= [ 4, 212 ],
        next:= [ 177, 179 ] ), 178 ] ), 29, 165, 35, 242, 34, 233, 60, 
234, rec(
      desc:= [ 112003 ],
      fp:= [ 2, 12 ],
      next:= [ 231, 232 ] ), rec(
      desc:= [ 110003 ],
      fp:= [ 2, 12 ],
      next:= [ 297, 296 ] ), 314, 68, rec(
      desc:= [ 302012 ],
      fp:= [ 441, 18261 ],
      next:= [ 196, rec(
        desc:= [ 108003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 111003 ],
          fp:= [ 4, 14 ],
          next:= [ 167, 168 ] ), 169 ] ) ] ), 238, 62, 237, rec(
      fp:= [ 12524, 57563, 63355 ],
      next:= [ 54, 48, 53 ] ), rec(
      desc:= [ 105003 ],
      fp:= [ 2, 12 ],
      next:= [ rec(
        desc:= [ 106003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 109003 ],
          fp:= [ 4, 14 ],
          next:= [ 47, 46 ] ), 45 ] ), 44 ] ), 229, rec(
      desc:= [ 110003 ],
      fp:= [ 2, 12 ],
      next:= [ 240, 239 ] ), rec(
      desc:= [ 111003 ],
      fp:= [ 2, 12 ],
      next:= [ 301, 300 ] ), 315, 69, 241, 59, 63, 313, 197, 181, rec(
      desc:= [ 105003 ],
      fp:= [ 2, 12 ],
      next:= [ rec(
        desc:= [ 106003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 109003 ],
          fp:= [ 4, 14 ],
          next:= [ 30, 32 ] ), 36 ] ), 65 ] ), 51, 312 ] ), rec(
    fp:= [ 8417, 9288, 10778, 28158, 39758, 41651, 49809, 50422, 51404, 
68118, 70479, 79250, 81611, 81874, 90330 ],
    level:= 4,
    next:= [ rec(
      desc:= [ 302017 ],
      fp:= [ 681, 26421 ],
      next:= [ 113, rec(
        desc:= [ 108003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 111003 ],
          fp:= [ 4, 14 ],
          next:= [ 85, 86 ] ), 88 ] ) ] ), rec(
      desc:= [ 302005 ],
      fp:= [ 502, 1001 ],
      next:= [ rec(
        desc:= [ 106003 ],
        fp:= [ 4, 212 ],
        next:= [ 94, 99 ] ), 95 ] ), 290, 111, rec(
      fp:= [ 41165, 71399 ],
      next:= [ 100, 96 ] ), 288, 103, 87, rec(
      desc:= [ 111003 ],
      fp:= [ 2, 12 ],
      next:= [ 274, 273 ] ), 115, 287, 83, 289, rec(
      desc:= [ 110003 ],
      fp:= [ 2, 12 ],
      next:= [ 276, 275 ] ), 98 ] ), rec(
    fp:= [ 41300, 98091 ],
    level:= 4,
    next:= [ 1459, 259 ] ), rec(
    fp:= [ 2848, 15355, 19787, 30439, 30673, 33088, 40603, 41594, 42948, 
45986, 53501, 54873, 75934, 83008, 84507, 89454, 95731, 96184 ],
    level:= 4,
    next:= [ 5869, 4888, 4857, 4905, 4872, 4887, 4902, 5867, 5894, 5868, 
5866, 4860, rec(
      fp:= [ 15256, 26050 ],
      next:= [ 4858, 4873 ] ), 5404, 4875, 5396, 4890, 4903 ] ), rec(
    fp:= [ 68467, 82011 ],
    next:= [ rec(
      fp:= [ 5118, 77646, 98995 ],
      next:= [ 5895, 5407, 5415 ] ), rec(
      fp:= [ 4923, 11424, 16691, 24380, 29981, 34734, 36857, 39945, 51418, 
83309 ],
      next:= [ 2574, 2582, 2568, 1270, 1242, 2580, 1268, 1259, 1260, 
1272 ] ) ] ), rec(
    fp:= [ 18058, 58060 ],
    level:= 4,
    next:= [ 4616, 4615 ] ), 5872,, rec(
    fp:= [ 8764, 12277, 27350, 37204, 44286, 51849, 55172, 56461, 60192, 
61425, 66227, 80081, 92536 ],
    level:= 4,
    next:= [ 4670, 4668, 1893, 1891, 1908, 1894, 1909, 1930, 4667, 1892, 
1919, 1920, 4669 ] ), rec(
    fp:= [ 72220, 87480 ],
    next:= [ rec(
      fp:= [ 21742, 42327, 87876, 94313 ],
      next:= [ 253, 311, 72, 191 ] ), rec(
      fp:= [ 1594, 12689, 24430, 32998, 44136, 48109, 51082, 54805, 55431, 
99638 ],
      next:= [ 163, 176, 26, 42, 305, 228, 43, 299, 236, 248 ] ) ] ), rec(
    fp:= [ 8657, 17005, 20065, 22731, 26647, 41734, 46200, 49833, 54837, 
57503, 57706, 74847, 75026, 77259, 77692, 80892, 94997, 97663, 99576 ],
    level:= 4,
    next:= [ 1319, 1344, 966, 962, 961, 1345, 1318, 956, 958, 955, 965, 1346, 
964, 1317, 959, 960, 963, 957, 1347 ] ), rec(
    fp:= [ 27531, 78032 ],
    next:= [ rec(
      fp:= [ 7606, 29186, 47293, 64515, 68462, 79611, 83668, 96158, 98659 ],
      next:= [ 1716, 952, 2592, 1330, 954, 953, 1715, 2584, 1316 ] ), rec(
      fp:= [ 6854, 29834, 34568, 34592, 39380, 39495, 50200, 51109, 52055, 
52147, 64765, 66521, 67634, 69692, 74541, 96241 ],
      next:= [ 1720, 1322, 1001, 1002, 974, 975, 1348, rec(
        desc:= [ 105003 ],
        fp:= [ 2, 12 ],
        next:= [ 2598, 2597 ] ), 2606, 1000, 1332, 2596, rec(
        desc:= [ 106003 ],
        fp:= [ 2, 12 ],
        next:= [ 1727, 1726 ] ), 1337, 1721, 973 ] ) ] ), rec(
    fp:= [ 26896, 97443 ],
    level:= 4,
    next:= [ 5848, 5847 ] ), rec(
    fp:= [ 7169, 22038, 24472, 55775, 61168, 78961, 83715, 83984, 88791 ],
    level:= 4,
    next:= [ 157, 224, 302, 223, 171, 15, 7, 8, 294 ] ), rec(
    fp:= [ 4849, 6862, 7975, 9776, 11816, 12763, 12822, 13384, 14882, 19670, 
27228, 29947, 31398, 35108, 47554, 48779, 53567, 58355, 64191, 72313, 75492, 
77071, 79220, 79344, 79603, 81859, 82458, 83978, 84132, 86127, 86251, 86647, 
86965, 90885, 91039, 91111, 91892, 92679, 96819, 99411, 99583 ],
    level:= 4,
    next:= [ 1343, 2603, 1704, 1338, 2601, 1707, rec(
      desc:= [ 112003 ],
      fp:= [ 2, 12 ],
      next:= [ 2590, 2589 ] ), 1351, 1708, 1702, 2602, rec(
      fp:= [ 2930, 11598 ],
      next:= [ 1340, 1336 ] ), 994, rec(
      desc:= [ 115003 ],
      fp:= [ 2, 12 ],
      next:= [ 1710, 1709 ] ), rec(
      desc:= [ 113003 ],
      fp:= [ 2, 12 ],
      next:= [ 1712, 1711 ] ), rec(
      desc:= [ 106003 ],
      fp:= [ 2, 12 ],
      next:= [ rec(
        desc:= [ 107003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 111003 ],
          fp:= [ 4, 14 ],
          next:= [ 1007, 1004 ] ), 988 ] ), 990 ] ), 996, 984, 995, rec(
      desc:= [ 302014 ],
      fp:= [ 1081, 34741 ],
      next:= [ 1353, rec(
        desc:= [ 109003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 113003 ],
          fp:= [ 4, 14 ],
          next:= [ 1325, 1326 ] ), 1328 ] ) ] ), 983, rec(
      desc:= [ 106003 ],
      fp:= [ 2, 12 ],
      next:= [ rec(
        desc:= [ 107003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 111003 ],
          fp:= [ 4, 14 ],
          next:= [ 1006, 1003 ] ), 993 ] ), 991 ] ), 1323, 1703, 982, 
997, rec(
      desc:= [ 114003 ],
      fp:= [ 2, 12 ],
      next:= [ 2588, 2587 ] ), 999, 1705, 1327, 1706, 985, rec(
      desc:= [ 106003 ],
      fp:= [ 2, 12 ],
      next:= [ rec(
        desc:= [ 107003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 111003 ],
          fp:= [ 4, 14 ],
          next:= [ 1008, 1005 ] ), 992 ] ), 989 ] ), 987, 1701, 2604, 998, 
1355, 986, rec(
      fp:= [ 12835, 40035, 77681 ],
      next:= [ 1009, 1010, 1011 ] ), rec(
      desc:= [ 116011 ],
      fp:= [ 32, 2418 ],
      next:= [ rec(
        desc:= [ 106003 ],
        fp:= [ 4, 212 ],
        next:= [ 1335, 1339 ] ), 1334 ] ) ] ), rec(
    fp:= [ 9216, 52406, 77662, 96517 ],
    level:= 4,
    next:= [ 269, 89, 75, 277 ] ), rec(
    fp:= [ 12103, 15682, 51626, 87847 ],
    level:= 4,
    next:= [ 4807, 2528, 2527, 4806 ] ), rec(
    fp:= [ 1082, 5272, 14722, 19015, 22339, 22471, 23308, 24973, 35928, 
46230, 46362, 53892, 84548, 98109 ],
    level:= 4,
    next:= [ 1465, 1468, 1523, 1525, 1527, 1466, 1524, 1463, 1470, 1526, 
1464, 1467, 1469, 1528 ] ), rec(
    fp:= [ 4602, 16833 ],
    level:= 4,
    next:= [ 5788, 5776 ] ),, rec(
    fp:= [ 3401, 8417, 9288, 10462, 15716, 28031, 28158, 31190, 39290, 43922, 
46650, 49809, 50422, 56237, 68118, 70163, 71711, 74856, 79250, 84443, 87171, 
90330, 98991 ],
    level:= 4,
    next:= [ 710, 738, 698, 742, rec(
      fp:= [ 87007, 90019 ],
      next:= [ 709, 706 ] ), 703, 731, 701, 743, 711, 705, 702, 736, 707, 
744, 729, 696, 708, 737, 712, 704, rec(
      fp:= [ 40466, 62001 ],
      next:= [ 695, 697 ] ), 730 ] ), rec(
    fp:= [ 7130, 42071 ],
    level:= 4,
    next:= [ 2538, rec(
      fp:= [ 27747, 34694 ],
      next:= [ 2537, 2539 ] ) ] ), rec(
    fp:= [ 12432, 23584, 28658, 32553, 33053, 40852, 44040, 45900, 63625, 
72732, 75902, 75919, 83098, 85107, 89777, 89865, 93156, 96439, 97401 ],
    level:= 4,
    next:= [ 18, 24, 189, 11, 159, 186, 14, 22, 17, 188, 161, 21, 13, 19, 20, 
160, 12, 187, 23 ] ), rec(
    fp:= [ 50775, 66183 ],
    next:= [ rec(
      fp:= [ 42312, 55709, 68078 ],
      next:= [ 4568, 1532, 1540 ] ), rec(
      fp:= [ 2406, 5904, 13451, 15245, 21445, 22147, 24523, 73431, 74976, 
98862 ],
      next:= [ 114, 101, 291, 110, 279, 112, 102, 84, 293, 285 ] ) ] ), rec(
    fp:= [ 29227, 32717, 36207, 77030, 80520, 84010 ],
    level:= 4,
    next:= [ 5366, 5367, 5365, 5370, 5369, 5368 ] ), rec(
    fp:= [ 36543, 48454 ],
    level:= 4,
    next:= [ 4569, 4575 ] ), 4576, rec(
    fp:= [ 2208, 17137, 38494, 41360, 77646, 80512 ],
    level:= 4,
    next:= [ 5410, 5412, 5414, 5411, 5413, 5409 ] ), rec(
    fp:= [ 43686, 43696 ],
    next:= [ rec(
      fp:= [ 10365, 30025, 49685, 69345 ],
      next:= [ 4545, rec(
        fp:= [ 23683, 73498 ],
        next:= [ 4542, 4543 ] ), 4544, 4541 ] ), rec(
      fp:= [ 31434, 78349 ],
      level:= 5,
      next:= [ 4556, 4557 ] ) ] ), rec(
    fp:= [ 14041, 35156, 79830, 87105 ],
    level:= 4,
    next:= [ 5875, 5905, 5930, 5863 ] ), rec(
    fp:= [ 4154, 7284, 13247, 14483, 18201, 18757, 28659, 33613, 36775, 
38567, 38667, 48248, 49025, 53979, 58577, 62851, 69391, 70050, 80869, 82761, 
92342, 94234, 97496 ],
    level:= 4,
    next:= [ 4147, 4152, 4186, 4160, 4193, 4154, 4185, 4192, 4150, 4180, rec(
      fp:= [ 43191, 80680 ],
      next:= [ 4155, 4158 ] ), 4151, 4191, 4179, 4161, 4153, 4178, 4159, 
4145, 4156, rec(
      fp:= [ 79103, 81627 ],
      next:= [ 4144, 4146 ] ), 4157, 4187 ] ), rec(
    fp:= [ 491, 1188, 4886, 8712, 10610, 11762, 12615, 16469, 19491, 20848, 
21496, 23394, 23886, 26209, 26709, 30270, 30967, 32275, 32767, 34280, 34665, 
34772, 36129, 36670, 42166, 43546, 45551, 46248, 47556, 52427, 54432, 55789, 
56330, 56437, 56822, 58335, 58827, 65211, 65908, 67109, 67216, 67708, 69606, 
71070, 71611, 77995, 78487, 80492, 81189, 82390, 84268, 85568, 86216, 89266, 
91271, 93276, 97487, 99492 ],
    level:= 4,
    next:= [ 5559, rec(
      fp:= [ 3436, 27991 ],
      next:= [ 5800, 5793 ] ), 5518, 5524, 5540, 5566, 5556, 5797, 5548, 
5796, 5539, 5533, 5550, 5804, 5565, 5569, 5792, 5542, 5525, 5534, 5530, 5551, 
5802, 5554, 5563, 5545, rec(
      fp:= [ 24683, 36853, 52724, 83806 ],
      next:= [ 5537, 5535, 5528, 5536 ] ), 5798, 5555, 5561, 5544, 5795, 
5547, 5529, 5527, 5538, 5552, 5570, 5801, 5564, 5546, 5523, 5521, 5790, 5549, 
5567, 5541, 5522, 5799, 5520, 5568, 5794, 5532, 5558, 5543, 5519, 5526, 
5553 ] ), rec(
    fp:= [ 125, 255 ],
    next:= [ 5852, 5854 ] ), rec(
    fp:= [ 27311, 58580 ],
    level:= 4,
    next:= [ 5, 2 ] ), rec(
    fp:= [ 2189, 4950, 9787, 35241, 54129, 57508, 65532 ],
    level:= 4,
    next:= [ 147, 119, 146, 118, 145, 148, 120 ] ), rec(
    fp:= [ 33692, 82393 ],
    level:= 4,
    next:= [ 5862, 5904 ] ), rec(
    fp:= [ 15845, 52229, 53254, 79821 ],
    level:= 4,
    next:= [ 4585, 4580, 4566, 656 ] ), rec(
    fp:= [ 6052, 10999, 13803, 34640, 39731, 40993, 41942, 42155, 48059, 
51879, 54728, 60201, 60452, 66376, 68248, 76446, 94179, 94632 ],
    level:= 4,
    next:= [ 4877, 5397, 4889, 4886, 4861, 4859, 4907, 4901, 4906, 4874, rec(
      fp:= [ 21742, 35131 ],
      next:= [ 4871, 4856 ] ), 5405, 4876, 4862, 5395, 4892, 4891, 4904 ] ), 
1676, rec(
    fp:= [ 17730, 66716 ],
    level:= 4,
    next:= [ 2534, 4811 ] ), rec(
    fp:= [ 63965, 67509 ],
    next:= [ 5933, rec(
      fp:= [ 10321, 14123, 17197, 23105, 29981, 35889, 36857, 42765, 48673, 
49641, 55549, 62425, 97198 ],
      next:= [ rec(
        fp:= [ 6013, 22850, 87478 ],
        next:= [ rec(
          desc:= [ 302018 ],
          fp:= [ 681, 26421 ],
          next:= [ 4188, rec(
            desc:= [ 107003 ],
            fp:= [ 2, 12 ],
            next:= [ 4130, 4139 ] ) ] ), 4118, 4140 ] ), 4195, rec(
        fp:= [ 22250, 68852, 96881 ],
        next:= [ 4122, 4166, 4120 ] ), rec(
        fp:= [ 41526, 43042, 98961 ],
        next:= [ 4189, 4137, 4117 ] ), rec(
        fp:= [ 1904, 16610, 38481, 92734 ],
        next:= [ 4171, 4121, 4128, 4126 ] ), 4138, rec(
        fp:= [ 15076, 17359 ],
        next:= [ 4177, 4176 ] ), rec(
        fp:= [ 33717, 94743 ],
        next:= [ 4172, 4127 ] ), 4116, rec(
        fp:= [ 27055, 46197 ],
        next:= [ 4174, 4182 ] ), 4125, rec(
        fp:= [ 16581, 56555 ],
        next:= [ 4175, 4181 ] ), rec(
        fp:= [ 34444, 71302 ],
        next:= [ rec(
          desc:= [ 106003 ],
          fp:= [ 4, 14, 212 ],
          next:= [ 4133, rec(
            desc:= [ 116011 ],
            fp:= [ 22, 814 ],
            next:= [ 4183, 4131 ] ), 4132 ] ), rec(
          desc:= [ 104003 ],
          fp:= [ 16, 412 ],
          next:= [ 4111, 4112 ] ) ] ) ] ) ] ), rec(
    fp:= [ 67509, 77509 ],
    next:= [ rec(
      fp:= [ 3907, 10321, 17197, 20129, 23105, 29981, 36857, 42765, 71367, 
77151, 87346, 97198 ],
      next:= [ rec(
        fp:= [ 871, 93806 ],
        next:= [ 5444, 5445 ] ), rec(
        fp:= [ 15055, 63807, 70129 ],
        next:= [ 4135, 4134, 4114 ] ), rec(
        fp:= [ 5549, 52527, 91228 ],
        next:= [ rec(
          desc:= [ 104003 ],
          fp:= [ 4, 14 ],
          next:= [ 4165, 4167 ] ), 4119, 4168 ] ), 5447, rec(
        fp:= [ 43815, 88402 ],
        next:= [ 4115, 4136 ] ), rec(
        fp:= [ 16731, 61328 ],
        next:= [ 4170, 4124 ] ), 4173, rec(
        fp:= [ 4268, 21016 ],
        next:= [ 4123, 4169 ] ), 4194, 5452, 5449, rec(
        fp:= [ 40817, 64308 ],
        next:= [ rec(
          desc:= [ 104003 ],
          fp:= [ 16, 412 ],
          next:= [ 4184, 4129 ] ), 4110 ] ) ] ), rec(
      fp:= [ 4014, 17858, 18319, 20335, 22812, 95512 ],
      next:= [ rec(
        fp:= [ 80958, 92587 ],
        next:= [ 4163, 4190 ] ), 5448, 5451, rec(
        fp:= [ 8232, 60149 ],
        next:= [ 5441, 5442 ] ), 5446, rec(
        fp:= [ 7996, 20317, 26440, 72005 ],
        next:= [ 4149, 4148, 4142, 4143 ] ) ] ) ] ), rec(
    fp:= [ 48219, 69425 ],
    level:= 4,
    next:= [ rec(
      fp:= [ 156, 98295 ],
      next:= [ 2553, 2551 ] ), 2552 ] ), rec(
    fp:= [ 60870, 71942 ],
    level:= 4,
    next:= [ 1462, 265 ] ), rec(
    fp:= [ 24374, 25486, 32426, 49209, 50492, 52989, 63243, 75747, 76367, 
84985, 95628 ],
    level:= 4,
    next:= [ 1566, 1556, 885, 322, 357, 376, 1494, 1498, 1478, 361, 865 ] ), 
212, rec(
    fp:= [ 2615, 13871, 16650, 27245, 27637, 28245, 28745, 28912, 34681, 
35615, 43103, 47239, 49626, 50645, 51123, 53909, 55133, 59344, 59924, 62058, 
62259, 71132, 74881, 75675, 75779, 87299, 87402, 95486 ],
    level:= 4,
    next:= [ 5916, 5613, 5741, 5703, 5918, 5298, 5744, 5917, 5287, 5942, 
5301, 5945, 5700, 5944, 5281, 5584, 5304, 5294, 5889, 5674, 5705, 5615, 5915, 
5833, 5821, 5610, 5914, 5722 ] ), rec(
    fp:= [ 1188, 4968, 37330, 41541, 45551, 56493, 56993, 62277 ],
    level:= 4,
    next:= [ 5791, 5913, 5557, 5562, 5531, 5803, 5560, 5941 ] ), rec(
    fp:= [ 5256, 66011, 69999, 88085, 90066, 93500, 97495 ],
    level:= 4,
    next:= [ 5384, 4847, 4841, 5394, 4844, 5386, 4846 ] ), rec(
    fp:= [ 6675, 52148, 79257 ],
    level:= 4,
    next:= [ 1936, 1871, 1877 ] ), rec(
    fp:= [ 15682, 22589, 25529, 29019, 29496, 30456, 33946, 41929, 45419, 
46856, 50346, 51626, 58533, 65440 ],
    level:= 4,
    next:= [ 5379, 5380, 4823, 4822, 5381, 4825, 4824, 4819, 4818, 4821, 
4820, 5376, 5378, 5377 ] ), 4589, 4108, rec(
    fp:= [ 20267, 47462, 51489, 72955, 91957 ],
    level:= 4,
    next:= [ 5939, 4105, 5909, 5952, 5892 ] ), rec(
    fp:= [ 23161, 88257, 91948 ],
    level:= 4,
    next:= [ 1531, 1533, 1541 ] ), rec(
    fp:= [ 10192, 36267, 52104, 78179, 94016 ],
    level:= 4,
    next:= [ 1677, 1681, 1680, 1678, 1679 ] ), rec(
    fp:= [ 7159, 24285, 48833, 50452, 68723, 79508, 92126 ],
    level:= 4,
    next:= [ 107, 77, 106, 105, 79, 78, 104 ] ),, rec(
    fp:= [ 11470, 23701, 27664, 58619, 86669, 99577 ],
    level:= 4,
    next:= [ 5632, 5654, 5818, 5806, 5651, 5943 ] ), rec(
    fp:= [ 14497, 46388, 50463, 67700, 94498 ],
    level:= 4,
    next:= [ 5129, 5132, 5204, 5202, 5134 ] ), rec(
    fp:= [ 70559, 80559 ],
    next:= [ rec(
      fp:= [ 4602, 16833, 21228, 40888, 45283, 64943, 84603, 96834 ],
      next:= [ 4280, rec(
        fp:= [ 5941, 52596 ],
        next:= [ 4255, 4209 ] ), rec(
        fp:= [ 24951, 83479, 89867 ],
        next:= [ 4220, 4221, 4200 ] ), rec(
        fp:= [ 31089, 51010 ],
        next:= [ 4256, 4210 ] ), rec(
        fp:= [ 13541, 49415 ],
        next:= [ rec(
          desc:= [ 105003 ],
          fp:= [ 16, 412 ],
          next:= [ 4270, 4215 ] ), 4196 ] ), rec(
        fp:= [ 9521, 78008, 96909 ],
        next:= [ 4205, 4254, rec(
          desc:= [ 105003 ],
          fp:= [ 4, 14 ],
          next:= [ 4251, 4253 ] ) ] ), 4259, rec(
        fp:= [ 66943, 90673 ],
        next:= [ 4201, 4222 ] ) ] ), rec(
      fp:= [ 633, 80493 ],
      next:= [ rec(
        fp:= [ 23623, 39893 ],
        next:= [ 4276, 4249 ] ), rec(
        fp:= [ 27889, 34753, 97228, 98015 ],
        next:= [ 4235, 4229, 4234, 4228 ] ) ] ) ] ), rec(
    fp:= [ 7999, 15428, 22857, 44285, 51714, 59143 ],
    level:= 4,
    next:= [ 5420, 5422, 5421, 5423, 5424, 5425 ] ), rec(
    fp:= [ 9901, 12460, 27006, 44503, 61608, 65529, 70104, 73709, 74679, 
74765, 77519, 79105, 88841, 89897 ],
    level:= 4,
    next:= [ 1359, 1090, 1091, 1358, 1093, 1087, 1089, 1385, 1092, 1387, 
1088, 1360, 1386, 1388 ] ), 4555, rec(
    fp:= [ 6413, 9903, 13393, 30597, 34087, 37577, 41960, 42853, 45450, 
46343, 48940, 49833, 53323, 56813, 66144, 69634, 73124, 81890, 85380, 88870, 
90328, 93818, 97308 ],
    level:= 4,
    next:= [ 4242, rec(
      fp:= [ 32023, 77153 ],
      next:= [ 4244, 4241 ] ), 4243, 4238, 4239, 4240, 4271, 4231, 4272, 
4236, 4273, rec(
      fp:= [ 20300, 98752 ],
      next:= [ 4232, 4230 ] ), 4237, 4233, 4277, 4278, 4279, 4247, 4246, 
4245, 4264, 4265, 4266 ] ), rec(
    fp:= [ 1574, 14562, 15671, 17660, 27246, 32277, 56637, 66123, 73154, 
74274, 86523 ],
    level:= 4,
    next:= [ rec(
      desc:= [ 106003 ],
      fp:= [ 2, 12 ],
      next:= [ 4681, 4680 ] ), 1942, 4666, 4665, rec(
      desc:= [ 106003 ],
      fp:= [ 2, 12 ],
      next:= [ 4688, 4687 ] ), 1889, 1890, 1924, 1918, 1901, 1941 ] ), 
222, rec(
    fp:= [ 70212, 85472 ],
    next:= [ rec(
      fp:= [ 11133, 18593, 19847, 20077, 28004, 33367, 36211, 36584, 55220, 
62735, 90158, 90776, 97673 ],
      next:= [ 1860, 4657, 1187, 2625, 2675, 1431, 1779, 2700, 1229, 1079, 
1804, 1835, 1748 ] ), rec(
      fp:= [ 5145, 6268, 11009, 18818, 24089, 27303, 30682, 33149, 36041, 
37374, 41577, 43683, 44563, 46138, 50335, 55372, 58834, 60345, 61618, 65223, 
72497, 80670, 80822, 82201, 83912, 87681, 87763, 89618, 91393, 91487, 96420, 
97950 ],
      next:= [ 1415, 2661, 1204, 2620, 4663, 1146, 2670, 1731, 2686, 1837, 
1205, 1147, 1761, 1730, 4662, 1750, 1817, 1781, 1039, 1818, 1847, 2695, 1806, 
1791, 1862, 2611, 1038, 1403, 1037, 1762, 1145, 4661 ] ) ] ), 4574, 4540, 
255, 934, rec(
    fp:= [ 30974, 44518 ],
    next:= [ rec(
      fp:= [ 39483, 51714 ],
      next:= [ 5426, 5418 ] ), rec(
      fp:= [ 24817, 40888, 76110, 77003, 83983, 84603 ],
      next:= [ 1311, 1283, 1313, 1300, 1301, 1309 ] ) ] ), rec(
    fp:= [ 1169, 8735, 21883, 27949, 35515, 43081, 50647, 62295, 69861, 
77427, 84993, 92559, 93264 ],
    level:= 4,
    next:= [ rec(
      fp:= [ 8864, 14562 ],
      next:= [ 819, 814 ] ), rec(
      fp:= [ 7815, 98207 ],
      next:= [ 816, 817 ] ), 832, 762, rec(
      fp:= [ 4014, 23759 ],
      next:= [ 764, 809 ] ), rec(
      fp:= [ 6666, 19747, 31586, 54995 ],
      next:= [ 758, 765, 763, 808 ] ), rec(
      fp:= [ 74128, 92301, 93968 ],
      next:= [ 759, 803, 757 ] ), 753, 775, rec(
      fp:= [ 20231, 31431, 70302 ],
      next:= [ 754, 826, 774 ] ), rec(
      fp:= [ 10164, 54327, 64174 ],
      next:= [ rec(
        desc:= [ 302014 ],
        fp:= [ 441, 18261 ],
        next:= [ 825, rec(
          desc:= [ 107003 ],
          fp:= [ 2, 12 ],
          next:= [ 767, 776 ] ) ] ), 777, 755 ] ), rec(
      fp:= [ 35731, 41232 ],
      next:= [ rec(
        desc:= [ 104003 ],
        fp:= [ 16, 412 ],
        next:= [ 748, 749 ] ), rec(
        desc:= [ 106003 ],
        fp:= [ 4, 14, 212 ],
        next:= [ 770, rec(
          desc:= [ 112007 ],
          fp:= [ 16, 412 ],
          next:= [ 823, 768 ] ), 769 ] ) ] ), rec(
      fp:= [ 90782, 98269 ],
      next:= [ 818, 815 ] ) ] ), rec(
    fp:= [ 1594, 12689, 24430, 32998, 44136, 48109, 51082, 54805, 55431, 
99638 ],
    level:= 4,
    next:= [ 162, 174, 25, 38, 304, 227, 39, 298, 235, 245 ] ), rec(
    fp:= [ 50463, 62904 ],
    level:= 4,
    next:= [ 5922, 5919 ] ), rec(
    fp:= [ 1755, 3481, 6070, 14516, 15647, 18006, 19219, 21496, 24062, 26360, 
27665, 28796, 31155, 32089, 34645, 38700, 40116, 40814, 41945, 42190, 43177, 
43976, 44214, 44304, 45680, 47466, 47794, 50956, 51849, 54446, 55094, 55339, 
57363, 57936, 58829, 59994, 61426, 62319, 62884, 65809, 66008, 66374, 67595, 
68243, 68398, 69864, 70512, 71085, 71978, 74035, 74575, 75468, 76033, 78958, 
79523, 80744, 81547, 81777, 82062, 83013, 84234, 84599, 86503, 87724, 89804, 
89993, 92582, 94696, 96162, 97831, 99652 ],
    level:= 4,
    next:= [ 3440, 3519, 4411, 3445, 4405, 3448, 4410, 3452, 4437, 3451, 
3447, 4409, 3446, 4450, 3450, 3536, 4444, 3441, rec(
      fp:= [ 51152, 53523 ],
      next:= [ 4402, 4404 ] ), rec(
      fp:= [ 33964, 86899 ],
      next:= [ 3532, 3535 ] ), rec(
      fp:= [ 11620, 73465 ],
      next:= [ 3439, 3443 ] ), 3387, 4417, 3442, 3531, 3386, 3449, rec(
      fp:= [ 12315, 59604 ],
      next:= [ rec(
        desc:= [ 114003 ],
        fp:= [ 2, 12 ],
        next:= [ 3400, 3398 ] ), 3385 ] ), 3528, rec(
      fp:= [ 12894, 29202 ],
      next:= [ 3396, 3399 ] ), 4408, rec(
      fp:= [ 90111, 99176 ],
      next:= [ 3527, 3538 ] ), 4418, rec(
      fp:= [ 2419, 4221 ],
      next:= [ 3389, 3391 ] ), rec(
      fp:= [ 16433, 99123 ],
      next:= [ 3529, 3537 ] ), 3438, 3388, 3540, 3521, 3533, 4438, rec(
      fp:= [ 20981, 42976 ],
      next:= [ 3517, 3522 ] ), 3384, 4403, 4415, 3518, 4419, rec(
      fp:= [ 42011, 62377 ],
      next:= [ 3381, 3395 ] ), 3530, 4451, 3390, 3539, 3513, 3534, rec(
      fp:= [ 23697, 79966 ],
      next:= [ 3514, 3523 ] ), 3382, rec(
      fp:= [ 14754, 96876 ],
      next:= [ 4413, 4416 ] ), 4436, 4445, rec(
      fp:= [ 19628, 96795 ],
      next:= [ 3516, 3524 ] ), 3383, 3444, 3525, 3397, 4449, 3520, 4412, 
4414, 3515, 4443, 3526 ] ), rec(
    fp:= [ 10776, 76998 ],
    level:= 4,
    next:= [ 4588, 4583 ] ), rec(
    fp:= [ 14497, 22333, 38552, 46388, 50463, 62607, 66048, 67700, 70443, 
90103 ],
    level:= 4,
    next:= [ 5121, 5141, 5120, 5142, 5205, 5122, 5131, rec(
      desc:= [ 106003 ],
      fp:= [ 15, 411 ],
      next:= [ 5203, 5201 ] ), 5133, 5130 ] ), rec(
    fp:= [ 43885, 64906 ],
    level:= 4,
    next:= [ 5752, 5753 ] ), rec(
    fp:= [ 37168, 46525, 65527, 93498 ],
    level:= 4,
    next:= [ 2550, 5937, 5864, 5907 ] ), rec(
    fp:= [ 1169, 20383, 27949, 35515, 43081, 50647, 69861, 77427, 79598, 
84993, 85698, 93264 ],
    level:= 4,
    next:= [ 1651, 1648, 1657, rec(
      fp:= [ 79652, 91605 ],
      next:= [ 1656, 1649 ] ), 1658, 1646, 1654, 1655, 1660, 1653, 1650, 
1652 ] ), 5835, rec(
    fp:= [ 14470, 48064, 65281, 90973, 92677, 94623, 97097 ],
    level:= 4,
    next:= [ 1472, 4565, 1473, 1521, 1529, 4567, 1475 ] ), rec(
    fp:= [ 18065, 19222, 45204 ],
    level:= 4,
    next:= [ 1694, 220, 946 ] ), rec(
    fp:= [ 18633, 44165, 51788, 67253, 69674, 97807 ],
    level:= 4,
    next:= [ 1514, 1517, 1515, 1512, 1513, 1516 ] ), rec(
    fp:= [ 21, 41, 42 ],
    next:= [ rec(
      fp:= [ 26965, 51403, 77382 ],
      next:= [ 4603, 4600, 4601 ] ), rec(
      fp:= [ 47490, 60116 ],
      next:= [ 4629, 4640 ] ), rec(
      fp:= [ 34530, 76133 ],
      next:= [ 4634, 4645 ] ) ] ), rec(
    fp:= [ 163, 15428, 51714 ],
    level:= 4,
    next:= [ 5362, 5372, 5364 ] ), rec(
    fp:= [ 71737, 84181, 96625 ],
    level:= 4,
    next:= [ 1456, 1455, 1454 ] ), 1452, rec(
    fp:= [ 6044, 41956 ],
    level:= 4,
    next:= [ 5927, 5899 ] ), rec(
    fp:= [ 16687, 52255, 71942, 91022 ],
    level:= 4,
    next:= [ 266, 1461, 267, 1460 ] ), 1439, rec(
    fp:= [ 253, 7034, 21452, 74346, 98571 ],
    level:= 4,
    next:= [ 4618, 4624, 4654, 4619, 4652 ] ), rec(
    fp:= [ 3563, 5023, 9345, 13371, 17807, 22534, 28693, 31031, 37176, 45050, 
45688, 54837, 56518, 58504, 61183, 68344, 74081, 75746, 79227, 88001, 98513 ],
    level:= 4,
    next:= [ 5881, 4759, 5161, 5163, 4762, 5882, 4761, 5208, 5190, 5880, 
4758, 5860, rec(
      desc:= [ 106003 ],
      fp:= [ 16, 412 ],
      next:= [ 4798, 4799 ] ), rec(
      desc:= [ 105003 ],
      fp:= [ 4, 14 ],
      next:= [ 5211, 5212 ] ), 4760, 4797, 5859, 5192, 5165, 5157, 
5187 ] ), rec(
    fp:= [ 4014, 18319, 20335, 95512 ],
    level:= 4,
    next:= [ 4162, 5450, 5440, 4141 ] ), rec(
    fp:= [ 67015, 70559 ],
    next:= [ 5934, rec(
      fp:= [ 16833, 21228, 36493, 40888, 45283, 48724, 60548, 64943, 72779, 
80208, 84603, 92439, 96834 ],
      next:= [ rec(
        fp:= [ 17100, 21139 ],
        next:= [ 4258, 4213 ] ), rec(
        fp:= [ 19915, 36526, 62545 ],
        next:= [ 4226, 4204, rec(
          desc:= [ 302017 ],
          fp:= [ 1081, 34741, 42661 ],
          next:= [ 4274, 4225, 4216 ] ) ] ), rec(
        fp:= [ 36939, 53446 ],
        next:= [ 4261, 4267 ] ), rec(
        fp:= [ 17680, 90974, 93009, 98251 ],
        next:= [ 4214, 4257, 4207, 4212 ] ), rec(
        fp:= [ 51282, 63099 ],
        next:= [ rec(
          desc:= [ 302014 ],
          fp:= [ 1081, 34741, 42661 ],
          next:= [ 4269, rec(
            desc:= [ 109003 ],
            fp:= [ 4, 14 ],
            next:= [ 4219, 4217 ] ), 4218 ] ), rec(
          desc:= [ 105003 ],
          fp:= [ 16, 412 ],
          next:= [ 4197, 4198 ] ) ] ), 4202, rec(
        fp:= [ 70254, 88134 ],
        next:= [ 4268, 4260 ] ), rec(
        fp:= [ 28428, 49692, 75300 ],
        next:= [ 4252, 4208, 4206 ] ), 4224, 4281, rec(
        fp:= [ 21259, 33217 ],
        next:= [ 4263, 4262 ] ), 4211, rec(
        fp:= [ 5989, 12069, 49959 ],
        next:= [ 4203, 4275, 4223 ] ) ] ) ] ), rec(
    fp:= [ 48658, 55638, 70443 ],
    level:= 4,
    next:= [ 1872, 1873, 1883 ] ), 2530, rec(
    fp:= [ 62555, 88778 ],
    level:= 4,
    next:= [ 944, 219 ] ), 199, rec(
    fp:= [ 14722, 46230, 89077, 93308 ],
    level:= 4,
    next:= [ 260, 261, 1458, 1457 ] ), rec(
    fp:= [ 50647, 84993 ],
    level:= 4,
    next:= [ 801, 750 ] ), rec(
    fp:= [ 41789, 75715, 79821 ],
    level:= 4,
    next:= [ 1542, 1629, 1630 ] ), rec(
    fp:= [ 13557, 18329, 28457, 49972 ],
    level:= 4,
    next:= [ 2566, 1247, 1233, 2558 ] ),, rec(
    fp:= [ 26678, 37943 ],
    level:= 4,
    next:= [ 2540, 4814 ] ), rec(
    fp:= [ 45368, 54942, 69665, 72864 ],
    level:= 4,
    next:= [ 4815, 4816, 2555, 2556 ] ), rec(
    fp:= [ 21, 42 ],
    next:= [ 5849, rec(
      fp:= [ 26023, 64358 ],
      next:= [ 5851, 5853 ] ) ] ), rec(
    fp:= [ 16761, 42558, 47292, 58504, 68344 ],
    level:= 4,
    next:= [ 5890, 5921, 5920, 5923, 5891 ] ), rec(
    fp:= [ 5171, 15682, 57157 ],
    level:= 4,
    next:= [ 1546, 664, 715 ] ), rec(
    fp:= [ 14460, 21889, 45944, 49378, 70465 ],
    level:= 4,
    next:= [ 4843, 4845, 4842, 5385, 5393 ] ), rec(
    fp:= [ 44132, 78032 ],
    next:= [ rec(
      fp:= [ 11762, 28126, 57780, 71070 ],
      next:= [ 1012, 1717, 2600, 1349 ] ), rec(
      fp:= [ 290, 29834, 34568, 34592, 47640, 51109, 52147, 64765, 67634, 
82372 ],
      next:= [ 1699, 1321, 972, 971, 2586, 2595, 970, 1333, 1719, 
1700 ] ) ] ), 5953, rec(
    fp:= [ 4923, 34293, 51418, 83309 ],
    level:= 4,
    next:= [ 2569, 2560, 1249, 1238 ] ), rec(
    fp:= [ 35515, 63829 ],
    level:= 4,
    next:= [ 1647, 1659 ] ), rec(
    fp:= [ 1519, 16651, 49511 ],
    level:= 4,
    next:= [ 1511, 1509, 1519 ] ), 5954, 919, rec(
    fp:= [ 78032, 87928 ],
    next:= [ rec(
      fp:= [ 19860, 20110, 24546, 29834, 34568, 34592, 36129, 40674, 44168, 
44422, 45160, 51109, 52147, 64765, 67634, 70564, 70566, 74619, 76482, 81730, 
87368, 90730, 92846 ],
      next:= [ 2605, 1722, 1013, 1354, 981, 980, 1324, 976, 977, 978, 2607, 
2599, 979, 1342, 1725, 2593, 1352, 1341, 1015, 1724, 1014, 1350, 
1723 ] ), rec(
      fp:= [ 32596, 36069, 72211, 76422, 84121, 84621, 89905 ],
      next:= [ 5870, 5429, 4916, 4918, 5437, 4917, 5896 ] ) ] ), rec(
    fp:= [ 9004, 30025, 49685, 69345, 89005 ],
    level:= 4,
    next:= [ 5836, 5837, 5840, 5838, 5839 ] ),, rec(
    fp:= [ 3907, 10321, 17197 ],
    level:= 4,
    next:= [ 5443, 4113, 4164 ] ), rec(
    fp:= [ 21, 41 ],
    next:= [ rec(
      fp:= [ 6098, 16415, 53971 ],
      next:= [ 4592, 4590, 4595 ] ), 4596 ] ), rec(
    fp:= [ 9085, 91457 ],
    level:= 4,
    next:= [ 1510, 1518 ] ), rec(
    fp:= [ 21, 41, 42 ],
    next:= [ rec(
      fp:= [ 5054, 33083, 56574 ],
      next:= [ 4593, 4594, 4591 ] ), 4597, 4598 ] ), rec(
    fp:= [ 122, 242 ],
    next:= [ 1682, 1691 ] ), rec(
    fp:= [ 19242, 40960, 70535, 94719 ],
    level:= 4,
    next:= [ 1445, 1451, rec(
      desc:= [ 105003 ],
      fp:= [ 4, 212 ],
      next:= [ rec(
        desc:= [ 108003 ],
        fp:= [ 4, 14 ],
        next:= [ 1450, 1449 ] ), 1446 ] ), 1447 ] ), rec(
    fp:= [ 122, 125, 242, 249 ],
    next:= [ 1683, 1684, 1692, 1693 ] ), rec(
    fp:= [ 11, 21, 42 ],
    next:= [ 5841, rec(
      fp:= [ 44901, 47782, 53971 ],
      next:= [ 5843, 5842, 5844 ] ), 5845 ] ), rec(
    fp:= [ 21228, 64943 ],
    level:= 4,
    next:= [ 4199, 4250 ] ), rec(
    fp:= [ 25386, 51152, 89705 ],
    level:= 4,
    next:= [ 4581, 1644, 1632 ] ), 258, rec(
    fp:= [ 21, 41, 42 ],
    next:= [ rec(
      fp:= [ 458, 6726, 7353, 20977, 25243, 32138, 32776, 48091, 49838, 
57965, 62863, 70990, 72141, 74581 ],
      next:= [ 4607, 4632, 4606, 4638, 4609, 4611, 4631, 4643, 4608, 4610, 
4613, 4612, 4642, 4649 ] ), rec(
      fp:= [ 19751, 60116 ],
      next:= [ 4633, 4644 ] ), rec(
      fp:= [ 5780, 36174, 49786, 88935 ],
      next:= [ 4636, 4637, 4648, 4647 ] ) ] ), rec(
    fp:= [ 5631, 18219 ],
    level:= 4,
    next:= [ 799, 779 ] ), rec(
    fp:= [ 10321, 17197, 23105, 29981, 35889, 42765, 49641, 55549, 56540, 
62425, 68333, 75209 ],
    level:= 4,
    next:= [ 5767, 5760, 5769, 5772, 5768, rec(
      fp:= [ 11242, 93898 ],
      next:= [ 5763, 5770 ] ), 5765, 5771, 5774, 5766, 5762, 5764 ] ), rec(
    fp:= [ 317, 2628, 8702, 10282, 13425, 17949, 27929, 28068, 28589, 30534, 
30653, 30998, 34687, 44715, 45215, 48820, 51479, 52119, 53347, 55483, 57117, 
57180, 60943, 64135, 68875, 70549, 72322, 81409, 83539, 89165, 93293, 94679, 
95999, 98575 ],
    level:= 4,
    next:= [ 1776, 4932, 2616, 1397, 2608, 1192, 4704, 2666, 4943, 1411, 
1124, 1016, 1857, 1018, 4939, 1126, 1775, 1831, 2691, 1832, 2683, 1191, 1800, 
1017, 4936, 1745, 1125, 2658, 4703, 4696, 1856, 1744, 1801, 4697 ] ), rec(
    fp:= [ 1872, 46992, 56413 ],
    level:= 4,
    next:= [ 215, 214, 216 ] ), rec(
    fp:= [ 5093, 12943, 56192, 84398 ],
    level:= 4,
    next:= [ 211, rec(
      desc:= [ 105003 ],
      fp:= [ 4, 212 ],
      next:= [ rec(
        desc:= [ 108003 ],
        fp:= [ 4, 14 ],
        next:= [ 210, 209 ] ), 206 ] ), 205, 207 ] ), rec(
    fp:= [ 62, 122, 125, 249, 255 ],
    next:= [ rec(
      fp:= [ 33851, 34713, 35798, 66622, 86172 ],
      next:= [ 4653, 4627, 4620, 4621, 4655 ] ), 4622, rec(
      fp:= [ 27818, 41608 ],
      next:= [ 4625, 4626 ] ), 4651, 4656 ] ), rec(
    fp:= [ 122, 125, 249 ],
    next:= [ 4617, 4623, 4650 ] ), rec(
    fp:= [ 709, 1896, 2273, 6766, 6862, 7424, 8866, 10859, 11532, 15841, 
24579, 24603, 30131, 31495, 33365, 33611, 33907, 35659, 36387, 39058, 45117, 
47215, 48497, 49881, 53800, 54190, 56224, 58094, 58868, 70078, 70498, 71960, 
73226, 75608, 76026, 87416, 92149, 97937 ],
    level:= 4,
    next:= [ 1024, 1140, 1429, 1196, 1426, 1136, 1138, 1428, 1132, 1030, 
1025, 1401, 1399, 1199, 1195, 1023, 1130, 1400, 1022, 1029, 1134, 1141, 1197, 
1137, 1028, 1033, 1201, 1198, 1133, 1139, 1135, 1027, 1200, 1031, 1131, 1026, 
1032, 1427 ] ), rec(
    fp:= [ 35089, 68989 ],
    next:= [ rec(
      fp:= [ 4041, 11063, 11470, 14497, 15458, 23701, 27664, 32782, 35118, 
35525, 38959, 50376, 58619, 59580, 64673, 67009, 70036, 79240, 86669, 89696, 
91064, 94498, 96564, 99577 ],
      next:= [ 3468, rec(
        fp:= [ 45902, 87520 ],
        next:= [ 3554, 3557 ] ), rec(
        fp:= [ 38671, 58366 ],
        next:= [ 3509, 3510 ] ), rec(
        fp:= [ 65263, 67285 ],
        next:= [ 4428, 4382 ] ), rec(
        fp:= [ 5506, 54061, 60170 ],
        next:= [ rec(
          desc:= [ 108003 ],
          fp:= [ 4, 14, 212 ],
          next:= [ 3401, 3404, 3501 ] ), rec(
          desc:= [ 105003 ],
          fp:= [ 2, 12 ],
          next:= [ 3502, 3402 ] ), 3500 ] ), rec(
        fp:= [ 3002, 35262 ],
        next:= [ 3548, 3558 ] ), 4452, 5488, rec(
        fp:= [ 4004, 55152, 86830 ],
        next:= [ 3544, rec(
          desc:= [ 105003 ],
          fp:= [ 8, 414 ],
          next:= [ 3551, 3549 ] ), 3542 ] ), rec(
        fp:= [ 15317, 21259, 34723, 99209 ],
        next:= [ 3480, 3479, 3481, 3482 ] ), rec(
        fp:= [ 17527, 71656 ],
        next:= [ 4373, 4394 ] ), rec(
        fp:= [ 45643, 95735 ],
        next:= [ rec(
          desc:= [ 104003 ],
          fp:= [ 16, 412 ],
          next:= [ 4442, 4387 ] ), 4368 ] ), rec(
        fp:= [ 27076, 44045 ],
        next:= [ 4381, 4427 ] ), rec(
        fp:= [ 12854, 16206, 38885, 75464 ],
        next:= [ 3408, rec(
          desc:= [ 106003 ],
          fp:= [ 2, 12 ],
          next:= [ 3459, 3475 ] ), 3428, 3458 ] ), rec(
        fp:= [ 5333, 28446 ],
        next:= [ 5483, 5484 ] ), rec(
        fp:= [ 18699, 44451, 79917, 95347 ],
        next:= [ rec(
          desc:= [ 106003 ],
          fp:= [ 2, 12 ],
          next:= [ 3478, 3473 ] ), 3466, 3476, 3477 ] ), rec(
        fp:= [ 6052, 85330, 96326 ],
        next:= [ rec(
          desc:= [ 104003 ],
          fp:= [ 4, 14 ],
          next:= [ 4423, 4425 ] ), 4377, 4426 ] ), 3555, rec(
        fp:= [ 25450, 55026 ],
        next:= [ 3552, 3545 ] ), 4431, rec(
        fp:= [ 5829, 47477, 51562, 74953, 76985 ],
        next:= [ 3456, 3409, 3410, 3455, rec(
          desc:= [ 106003 ],
          fp:= [ 2, 12 ],
          next:= [ 3454, 3463 ] ) ] ), rec(
        fp:= [ 1387, 46919, 50443 ],
        next:= [ 4393, 4372, 4392 ] ), 5486, 5491 ] ), rec(
      fp:= [ 8688, 21557, 32347, 42607, 61815, 75478, 81616, 91290, 97654 ],
      next:= [ 5487, rec(
        fp:= [ 9755, 63107, 71265, 86794 ],
        next:= [ 3436, 3432, 3431, 3430 ] ), rec(
        fp:= [ 71720, 72817, 73691, 89081 ],
        next:= [ 4406, 4401, 4407, 4400 ] ), 5485, rec(
        fp:= [ 3556, 25294, 70856 ],
        next:= [ 3437, 3435, 3434 ] ), rec(
        fp:= [ 7075, 96188 ],
        next:= [ 5480, 5481 ] ), rec(
        fp:= [ 2519, 4965, 61104, 78496, 89449 ],
        next:= [ 3392, 3393, 3394, 3380, 3379 ] ), 5490, rec(
        fp:= [ 12452, 63907 ],
        next:= [ 4448, 4421 ] ) ] ) ] ), rec(
    fp:= [ 17166, 59967 ],
    level:= 4,
    next:= [ 5876, 5931 ] ), rec(
    fp:= [ 76110, 83983 ],
    level:= 4,
    next:= [ 1279, 1290 ] ),, rec(
    fp:= [ 28620, 40987 ],
    level:= 4,
    next:= [ 4104, 4109 ] ), rec(
    fp:= [ 1351, 1686, 2808, 4082, 7144, 8728, 8880, 9334, 9595, 10213, 
10451, 11475, 13885, 16310, 23691, 26945, 29925, 30770, 32091, 38384, 39061, 
44266, 44995, 45817, 46393, 48550, 51547, 54916, 56158, 65093, 65331, 67252, 
69146, 70815, 71253, 72120, 74326, 77166, 77920, 81816, 83091, 83585, 91893, 
94377, 95425, 99292 ],
    level:= 4,
    next:= [ 1954, 3662, 5476, 3959, 3132, 5492, 5058, 5109, 1950, 5884, 
1952, 5502, 5012, 5505, 4981, 5466, 4739, 3670, 3666, 5055, 5883, 1951, 3043, 
3136, 5911, 4506, 5067, 5515, 3573, 5113, 5083, 5032, 4740, 3908, 5912, 4997, 
5028, 5042, 5080, 5093, 5001, 4738, 4485, 3140, 1953, 3963 ] ), rec(
    fp:= [ 51665, 61246 ],
    next:= [ 5751, rec(
      fp:= [ 5917, 49685, 54285 ],
      next:= [ 1444, 1442, 1443 ] ) ] ), rec(
    fp:= [ 5145, 6268, 11009, 14562, 18818, 24089, 25909, 27246, 27303, 
30682, 33149, 36041, 37374, 41577, 43683, 44563, 46138, 50335, 51451, 55372, 
58834, 60345, 61618, 64550, 65223, 72497, 80670, 80822, 82201, 83912, 87681, 
87763, 89618, 91393, 91487, 96420, 97950 ],
    level:= 4,
    next:= [ 1413, 2660, 1202, 4941, 2619, 4660, 5855, 4693, 1143, 2669, 
1729, 2685, 1836, 1203, 1144, 1759, 1728, 4659, 4700, 1749, 1815, 1780, 1036, 
4934, 1816, 1846, 2694, 1805, 1790, 1861, 2610, 1035, 1402, 1034, 1760, 1142, 
4658 ] ), rec(
    fp:= [ 6858, 70246 ],
    level:= 4,
    next:= [ 5955, 5946 ] ),, 2533, rec(
    fp:= [ 50463, 94498 ],
    level:= 4,
    next:= [ 1939, 1882 ] ), rec(
    fp:= [ 25666, 59566 ],
    next:= [ rec(
      fp:= [ 35118, 64673, 70036 ],
      next:= [ 1121, 2650, 1390 ] ), rec(
      fp:= [ 6020, 17763, 19198, 20321, 25047, 48666 ],
      next:= [ 1362, 2645, 1374, 2636, 1096, 1097 ] ) ] ),, rec(
    fp:= [ 633, 80493 ],
    level:= 4,
    next:= [ 4248, 4227 ] ), 4, rec(
    fp:= [ 4886, 11762, 16469, 28126, 56822, 57780, 67708, 71070, 82067 ],
    level:= 4,
    next:= [ 2839, 2990, 4285, 4962, 2847, 5456, 2843, 4336, 4958 ] ), rec(
    fp:= [ 12943, 27986, 56192, 84398, 99441 ],
    level:= 4,
    next:= [ 939, 941, rec(
      fp:= [ 8376, 68909 ],
      next:= [ 940, 938 ] ), 942, 937 ] ), rec(
    fp:= [ 44183, 75857 ],
    level:= 4,
    next:= [ 1624, 1623 ] ), rec(
    fp:= [ 70469, 71478 ],
    next:= [ rec(
      fp:= [ 20430, 36267, 78179, 94016 ],
      next:= [ 924, 923, rec(
        fp:= [ 26383, 73117 ],
        next:= [ 921, 922 ] ), 920 ] ), rec(
      fp:= [ 55266, 84834 ],
      level:= 5,
      next:= [ 936, 935 ] ) ] ), rec(
    fp:= [ 64287, 70469 ],
    next:= [ 4584, rec(
      fp:= [ 20430, 36267, 52104, 78179, 94016 ],
      next:= [ rec(
        desc:= [ 104003 ],
        fp:= [ 16, 412 ],
        next:= [ 933, 930 ] ), rec(
        fp:= [ 62408, 68575 ],
        next:= [ 928, 929 ] ), rec(
        fp:= [ 17590, 99659 ],
        next:= [ 925, 932 ] ), rec(
        fp:= [ 48379, 56974 ],
        next:= [ 927, 931 ] ), 926 ] ) ] ), rec(
    fp:= [ 13795, 91857 ],
    level:= 4,
    next:= [ 1274, 1288 ] ), rec(
    fp:= [ 34428, 35437 ],
    next:= [ 198, 200 ] ), rec(
    fp:= [ 30396, 97311 ],
    level:= 4,
    next:= [ 3, 6 ] ), rec(
    fp:= [ 71679, 72864 ],
    level:= 4,
    next:= [ 4808, 2526 ] ), rec(
    fp:= [ 1270, 3871, 4023, 5145, 6613, 7482, 11009, 15237, 16134, 17103, 
17857, 18818, 19012, 22556, 22978, 27303, 27475, 30540, 30682, 32861, 35935, 
36879, 37374, 41053, 41577, 43683, 44526, 45144, 49541, 52041, 53027, 53668, 
54573, 55372, 57346, 57790, 59590, 60345, 61109, 61183, 61618, 63868, 72126, 
73452, 74899, 75899, 78980, 80670, 80822, 83912, 84567, 87763, 89618, 89998, 
90023, 90773, 91393, 93326, 95453, 96420, 96816, 97417 ],
    level:= 4,
    next:= [ 1785, 1044, 1867, 1424, 1151, 1434, 1210, 1866, 1840, 1082, 
1153, 2624, 1080, 1043, 2707, 1155, 1045, 1842, 2674, 2618, 1230, 1152, 1843, 
1190, 1211, 1156, 1810, 1841, 1786, 1754, 1432, 1231, 1406, 1756, 1209, 2693, 
1811, 1787, 2682, 1081, 1048, 1865, 2668, 2705, 2630, 1753, 1423, 2699, 1812, 
1868, 1188, 1047, 1436, 2680, 1784, 1809, 1046, 1755, 1189, 1154, 1208, 
2632 ] ), rec(
    fp:= [ 61246, 71256 ],
    next:= [ rec(
      fp:= [ 5917, 30101 ],
      next:= [ 1448, 1441 ] ), 1453 ] ), rec(
    fp:= [ 7257, 13122, 53751, 60020 ],
    level:= 4,
    next:= [ 1627, 1628, 1625, 1626 ] ), rec(
    fp:= [ 2438, 11133, 17564, 18593, 19847, 19919, 20077, 21393, 25354, 
25649, 28004, 30844, 33367, 34913, 36211, 36584, 45952, 55220, 56838, 62735, 
63352, 64907, 65707, 75793, 86305, 88242, 90152, 90158, 90776, 93006, 93677, 
93814, 96664, 97673 ],
    level:= 4,
    next:= [ 2170, 5076, 4989, 5879, 3855, 3178, 5469, 3712, 2169, 5073, 
5508, 4719, 4508, 4457, 5024, 5495, 2168, 4071, 2167, 3325, 5048, 3704, 3987, 
3708, 3983, 3174, 5020, 5051, 5105, 4720, 2166, 5101, 3182, 4993 ] ), rec(
    fp:= [ 11854, 68067 ],
    level:= 4,
    next:= [ 133, 121 ] ), rec(
    fp:= [ 4154, 13247, 16633, 18201, 28659, 32045, 36999, 38567, 48248, 
52411, 81557, 86690, 92342, 97496, 98682 ],
    level:= 4,
    next:= [ rec(
      desc:= [ 302005 ],
      fp:= [ 502, 1001 ],
      next:= [ rec(
        desc:= [ 106003 ],
        fp:= [ 4, 212 ],
        next:= [ 1252, 1257 ] ), 1253 ] ), 1241, 2579, 1273, 1245, 2578, 
2576, 1269, 1261, 2577, rec(
      desc:= [ 110003 ],
      fp:= [ 2, 12 ],
      next:= [ 2565, 2564 ] ), rec(
      desc:= [ 111003 ],
      fp:= [ 2, 12 ],
      next:= [ 2563, 2562 ] ), 1256, rec(
      desc:= [ 302015 ],
      fp:= [ 681, 26421 ],
      next:= [ 1271, rec(
        desc:= [ 108003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 111003 ],
          fp:= [ 4, 14 ],
          next:= [ 1243, 1244 ] ), 1246 ] ) ] ), rec(
      fp:= [ 76062, 91649 ],
      next:= [ 1258, 1254 ] ) ] ), rec(
    fp:= [ 18539, 19656, 41667, 54520, 70552, 88013, 89849, 97737 ],
    level:= 4,
    next:= [ 4925, 1084, 4929, 1083, 1370, 2633, 1356, 2641 ] ), rec(
    fp:= [ 51788, 67253 ],
    level:= 4,
    next:= [ 257, 256 ] ), rec(
    fp:= [ 29207, 36636, 47462, 49821, 71517 ],
    level:= 4,
    next:= [ 4924, 4923, 5759, 5439, 5758 ] ), 2522, 254, rec(
    fp:= [ 6318, 15682, 22592, 31519, 31956, 47793, 48230, 57157, 64067, 
73431, 75022, 89705 ],
    level:= 4,
    next:= [ 1642, 1638, 1633, 1636, 1640, 1637, 1639, 1631, 1635, 1643, 
1645, rec(
      fp:= [ 26913, 86936 ],
      next:= [ 1641, 1634 ] ) ] ),, rec(
    fp:= [ 28819, 42592 ],
    level:= 4,
    next:= [ 943, 217 ] ), rec(
    fp:= [ 11492, 41960, 45450, 48940, 49833, 53323, 56813, 73124, 97308 ],
    level:= 4,
    next:= [ rec(
      fp:= [ 35100, 47434 ],
      next:= [ 1295, 1299 ] ), 1286, 1282, rec(
      desc:= [ 302014 ],
      fp:= [ 1081, 34741 ],
      next:= [ 1312, rec(
        desc:= [ 109003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 113003 ],
          fp:= [ 4, 14 ],
          next:= [ 1284, 1285 ] ), 1287 ] ) ] ), 1297, 1302, rec(
      desc:= [ 118011 ],
      fp:= [ 32, 2418 ],
      next:= [ rec(
        desc:= [ 106003 ],
        fp:= [ 4, 212 ],
        next:= [ 1294, 1298 ] ), 1293 ] ), 1314, 1310 ] ), rec(
    fp:= [ 114, 45545, 53659, 62817, 89932 ],
    level:= 4,
    next:= [ 5947, 5957, 5950, 5949, 5924 ] ), 5925, rec(
    fp:= [ 35118, 59580, 64673, 70036, 91064, 94498 ],
    level:= 4,
    next:= [ 3541, 3457, 5482, 4422, 3453, 4371 ] ), rec(
    fp:= [ 10406, 60307, 66772, 71679, 80355, 86952 ],
    level:= 4,
    next:= [ 1695, 221, 945, 1696, 947, 948 ] ), rec(
    fp:= [ 39483, 75769 ],
    level:= 4,
    next:= [ 5371, 5363 ] ), rec(
    fp:= [ 12438, 16833, 21228, 36493, 40888, 56153, 60548, 64943, 68384, 
72779, 92439, 96834 ],
    level:= 4,
    next:= [ 5779, rec(
      fp:= [ 32831, 98123 ],
      next:= [ 5778, 5785 ] ), 5782, 5781, 5787, 5789, 5780, 5775, 5777, 
5783, 5786, 5784 ] ), 2547, rec(
    fp:= [ 35099, 68999 ],
    next:= [ rec(
      fp:= [ 8735, 35515, 43081, 50647, 63829, 77427, 84993, 92559 ],
      next:= [ 813, rec(
        fp:= [ 19157, 54950 ],
        next:= [ 806, 760 ] ), rec(
        fp:= [ 18810, 89191 ],
        next:= [ 807, 761 ] ), rec(
        fp:= [ 36970, 71944, 84372 ],
        next:= [ 805, rec(
          desc:= [ 104003 ],
          fp:= [ 4, 14 ],
          next:= [ 802, 804 ] ), 756 ] ), 831, rec(
        fp:= [ 57572, 77291 ],
        next:= [ 752, 773 ] ), rec(
        fp:= [ 5932, 31707, 51426 ],
        next:= [ 771, 751, 772 ] ), rec(
        fp:= [ 34668, 44607 ],
        next:= [ rec(
          desc:= [ 104003 ],
          fp:= [ 16, 412 ],
          next:= [ 824, 766 ] ), 747 ] ) ] ), rec(
      fp:= [ 5631, 18219 ],
      next:= [ rec(
        fp:= [ 48480, 66016 ],
        next:= [ 827, 800 ] ), rec(
        fp:= [ 2223, 2469, 20108, 65723 ],
        next:= [ 786, 781, 780, 785 ] ) ] ) ] ), rec(
    fp:= [ 25676, 59576 ],
    next:= [ 150, rec(
      fp:= [ 11854, 68067 ],
      next:= [ 135, 122 ] ) ] ), rec(
    fp:= [ 7606, 29186, 47293, 64515, 68462, 79611, 83668, 96158, 98659 ],
    level:= 4,
    next:= [ 1714, 949, 2591, 1329, 951, 950, 1713, 2583, 1315 ] ), rec(
    fp:= [ 2329, 6290, 46643, 53837, 54337, 65848, 69794 ],
    level:= 4,
    next:= [ 4920, 5428, 4922, 5438, 4921, 5430, 4919 ] ), rec(
    fp:= [ 79225, 82243 ],
    next:= [ 4578, rec(
      fp:= [ 6318, 15245, 15682, 31519, 31956, 47793, 48230, 57157, 63087, 
64504, 73431, 89705, 99069 ],
      next:= [ 676, rec(
        fp:= [ 82014, 94437 ],
        next:= [ 727, 728 ] ), rec(
        fp:= [ 35357, 38496, 94515 ],
        next:= [ 691, rec(
          desc:= [ 302021 ],
          fp:= [ 681, 26421 ],
          next:= [ 739, rec(
            desc:= [ 107003 ],
            fp:= [ 2, 12 ],
            next:= [ 681, 690 ] ) ] ), 669 ] ), rec(
        fp:= [ 5086, 14604 ],
        next:= [ 725, 733 ] ), rec(
        fp:= [ 72107, 81907, 83422 ],
        next:= [ 740, 668, 688 ] ), rec(
        fp:= [ 60019, 60954 ],
        next:= [ 732, 726 ] ), 689, rec(
        fp:= [ 12800, 15020, 54986 ],
        next:= [ 673, 717, 671 ] ), 746, 667, rec(
        fp:= [ 10083, 56449, 81366, 81582 ],
        next:= [ 672, 677, 722, 679 ] ), rec(
        fp:= [ 15325, 21735 ],
        next:= [ 723, 678 ] ), rec(
        fp:= [ 397, 21647 ],
        next:= [ rec(
          desc:= [ 104003 ],
          fp:= [ 16, 412 ],
          next:= [ 662, 663 ] ), rec(
          desc:= [ 106003 ],
          fp:= [ 4, 14, 212 ],
          next:= [ 684, rec(
            desc:= [ 118011 ],
            fp:= [ 22, 814 ],
            next:= [ 734, 682 ] ), 683 ] ) ] ) ] ) ] ), rec(
    fp:= [ 28506, 61220 ],
    level:= 4,
    next:= [ 130, 116 ] ), rec(
    fp:= [ 34115, 43686 ],
    next:= [ 5951, rec(
      fp:= [ 10365, 30025, 49685, 69345, 89005 ],
      next:= [ rec(
        desc:= [ 104003 ],
        fp:= [ 16, 412 ],
        next:= [ 4554, 4551 ] ), rec(
        fp:= [ 802, 37218 ],
        next:= [ 4548, 4552 ] ), rec(
        fp:= [ 44410, 58154 ],
        next:= [ 4550, 4549 ] ), 4547, rec(
        fp:= [ 34285, 57024 ],
        next:= [ 4546, 4553 ] ) ] ) ] ), rec(
    fp:= [ 14527, 21374 ],
    level:= 4,
    next:= [ 5938, 2557 ] ), rec(
    fp:= [ 2946, 5362, 8558, 8915, 11239, 11654, 12895, 12928, 14052, 17615, 
19220, 19744, 20494, 25308, 25808, 26036, 27310, 28871, 29202, 32253, 33602, 
34876, 36018, 37292, 41121, 42310, 43584, 44708, 44858, 49876, 51150, 51156, 
52292, 53566, 55964, 57966, 59858, 61132, 66674, 67220, 67424, 67948, 71980, 
74240, 75514, 76619, 81806, 83057, 84222, 86620, 87876, 90514, 91788, 94313, 
95041, 96315, 97876, 99643 ],
    level:= 4,
    next:= [ 1592, 1580, 1616, 1618, 1610, 1597, 1621, 1578, 1667, 1663, 
1594, 1570, 1574, 1673, 1615, 1599, 1571, 1669, 1575, 1617, 1596, 1573, 1590, 
1602, 1675, 1593, rec(
      fp:= [ 6053, 22666, 59532, 82289 ],
      next:= [ 1588, 1586, 1587, 1579 ] ), 1665, 1603, 1598, 1577, 1619, 
1585, 1606, rec(
      fp:= [ 3790, 53943 ],
      next:= [ 1671, 1664 ] ), 1572, 1589, 1600, 1583, 1668, 1576, 1604, 
1612, 1591, 1601, 1614, 1581, 1666, 1607, 1672, 1608, 1584, 1605, 1661, 1595, 
1569, 1670, 1620 ] ), rec(
    fp:= [ 47462, 71517 ],
    level:= 4,
    next:= [ 4107, rec(
      fp:= [ 32923, 57619 ],
      next:= [ 4103, 4106 ] ) ] ),, rec(
    fp:= [ 13215, 53837 ],
    level:= 4,
    next:= [ 5897, 5926 ] ), rec(
    fp:= [ 8690, 30320, 36562, 50509, 59748, 82934, 88162 ],
    level:= 4,
    next:= [ 1265, 1262, 1237, 1263, 1235, 1236, 1264 ] ), 2521, rec(
    fp:= [ 1083, 4573, 10937, 13614, 14427, 16109, 17398, 19628, 20521, 
22707, 23609, 23850, 27340, 30536, 32222, 32447, 39129, 39374, 41315, 43828, 
56505, 63851, 65136, 71547, 72043, 75113, 76657, 80422, 83584, 83744, 85495, 
87831, 90651, 91321, 91570, 92422, 98451, 99030 ],
    level:= 4,
    next:= [ 4864, 4863, 4870, 4850, 4869, 5398, 4893, 5403, 4851, 4899, 
4881, 4868, 4867, 4879, 4848, 4880, 4849, 4878, 4897, 5400, 4896, 5401, 4854, 
5399, 4855, 4894, 4885, 4900, 4883, 4852, 4884, 4866, 4853, 4865, 5402, 4882, 
4895, 4898 ] ), rec(
    fp:= [ 8735, 11854, 24584, 42856, 43081, 68067 ],
    level:= 4,
    next:= [ 153, 142, 143, 151, 125, 154 ] ), rec(
    fp:= [ 59227, 85657 ],
    level:= 4,
    next:= [ 5956, 5948 ] ), rec(
    fp:= [ 3563, 22534, 47218, 58504, 75746, 79227 ],
    level:= 4,
    next:= [ 4679, 4686, 4664, 1947, 1929, 1907 ] ), 4572,, rec(
    fp:= [ 11702, 22588, 33509, 71010, 72211, 84121, 89905 ],
    level:= 4,
    next:= [ 4828, 4827, 5865, 5374, 4830, 5382, 5893 ] ), rec(
    fp:= [ 14516, 15647, 16770, 18006, 18988, 21496, 22749, 23872, 26360, 
27015, 28796, 34645, 40116, 41945, 43177, 47794, 52217, 66008, 74035, 76703, 
82062, 84599, 84730, 97831 ],
    level:= 4,
    next:= [ 1105, rec(
      desc:= [ 302005 ],
      fp:= [ 822, 1641 ],
      next:= [ rec(
        desc:= [ 106003 ],
        fp:= [ 4, 212 ],
        next:= [ 1375, 1380 ] ), 1376 ] ), rec(
      desc:= [ 110003 ],
      fp:= [ 2, 12 ],
      next:= [ 2638, 2637 ] ), 1110, 2651, rec(
      desc:= [ 106003 ],
      fp:= [ 2, 12 ],
      next:= [ rec(
        desc:= [ 107003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 111003 ],
          fp:= [ 4, 14 ],
          next:= [ 1117, 1115 ] ), 1109 ] ), 1108 ] ), rec(
      fp:= [ 32046, 49455 ],
      next:= [ 1381, 1377 ] ), rec(
      desc:= [ 109003 ],
      fp:= [ 2, 12 ],
      next:= [ 2640, 2639 ] ), rec(
      desc:= [ 106003 ],
      fp:= [ 4, 212 ],
      next:= [ rec(
        desc:= [ 110003 ],
        fp:= [ 4, 14 ],
        next:= [ 1118, 1116 ] ), 1107 ] ), 2654, 1384, 1112, 1364, 1379, 
1104, 1106, rec(
      fp:= [ 33190, 77685 ],
      next:= [ 1119, 1120 ] ), 1392, 1396, 2652, rec(
      desc:= [ 302011 ],
      fp:= [ 1161, 42741 ],
      next:= [ 1394, rec(
        desc:= [ 108003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 111003 ],
          fp:= [ 4, 14 ],
          next:= [ 1366, 1367 ] ), 1369 ] ) ] ), 1111, 2653, 1368 ] ), rec(
    fp:= [ 16109, 63851, 66591, 69820 ],
    level:= 4,
    next:= [ 2535, 2536, 4809, 4810 ] ), rec(
    fp:= [ 4049, 12104, 17903, 24271, 25958, 34125, 43979 ],
    level:= 4,
    next:= [ 1904, 1903, 1906, 1928, 1905, 1927, 1926 ] ), rec(
    fp:= [ 12938, 85472 ],
    next:= [ rec(
      fp:= [ 317, 2628, 8702, 10282, 13425, 17949, 27929, 28068, 28589, 
30534, 30653, 30998, 34687, 44715, 45215, 48820, 51479, 52119, 53347, 55483, 
57117, 57180, 60943, 64135, 68875, 70549, 72322, 81409, 83539, 89165, 93293, 
94679, 95999, 98575 ],
      next:= [ 1778, 4933, 2617, 1398, 2609, 1194, 4706, 2667, 4944, 1412, 
1127, 1019, 1859, 1021, 4940, 1129, 1777, 1833, 2692, 1834, 2684, 1193, 1802, 
1020, 4937, 1747, 1128, 2659, 4705, 4698, 1858, 1746, 1803, 4699 ] ), rec(
      fp:= [ 1686, 2808, 4082, 5145, 7144, 8728, 8880, 9334, 10213, 11009, 
11475, 14562, 16310, 18818, 26945, 27246, 27303, 30682, 30770, 32091, 37374, 
38384, 39061, 41577, 43683, 45817, 46393, 48550, 51451, 54916, 55372, 60345, 
61618, 64550, 65093, 65331, 67252, 71253, 72120, 74326, 77920, 80670, 80822, 
83091, 83912, 87763, 89618, 91393, 91893, 94377, 96420, 99292 ],
      next:= [ 1148, 2631, 1206, 1414, 1040, 2696, 1808, 1838, 4701, 1221, 
2706, 4942, 2671, rec(
        desc:= [ 104003 ],
        fp:= [ 2, 12 ],
        next:= [ 2623, 2622 ] ), 2621, 4695, 1177, rec(
        desc:= [ 104003 ],
        fp:= [ 2, 12 ],
        next:= [ 2673, 2672 ] ), 1150, 1149, rec(
        desc:= [ 105003 ],
        fp:= [ 2, 12 ],
        next:= [ 1845, 1844 ] ), 1807, 4694, 1222, 1176, 1041, 4938, 1430, 
4702, 2681, rec(
        desc:= [ 105003 ],
        fp:= [ 2, 12 ],
        next:= [ 1758, 1757 ] ), rec(
        desc:= [ 106003 ],
        fp:= [ 2, 12 ],
        next:= [ 1789, 1788 ] ), 1068, 4935, 1839, 1864, 1783, 4945, 1751, 
1782, 1863, rec(
        desc:= [ 104003 ],
        fp:= [ 2, 12 ],
        next:= [ 2698, 2697 ] ), rec(
        desc:= [ 106003 ],
        fp:= [ 2, 12 ],
        next:= [ 1814, 1813 ] ), 1752, rec(
        desc:= [ 104003 ],
        fp:= [ 2, 12 ],
        next:= [ 1870, 1869 ] ), 1069, 1404, 1067, 1419, 1042, 1175, 
1207 ] ) ] ), rec(
    fp:= [ 46606, 68072, 95334 ],
    level:= 4,
    next:= [ 5878, 5936, 2543 ] ), rec(
    fp:= [ 11, 21 ],
    next:= [ 5846, 5850 ] ), rec(
    fp:= [ 8356, 27496, 34712, 36069, 42141, 43285, 44642, 50714, 73864, 
81293, 82437, 89866, 90871, 99444 ],
    level:= 4,
    next:= [ 5432, 5434, 4908, 5435, 4911, 4912, 5436, 4915, 4914, 4909, 
4910, 4913, 5431, 5433 ] ), rec(
    fp:= [ 8776, 21220, 24431, 57924, 70368, 73579, 74944 ],
    level:= 4,
    next:= [ 1305, 1303, 1276, 1306, 1304, 1278, 1277 ] ), 2525, rec(
    fp:= [ 1069, 15792, 26678, 98843 ],
    level:= 4,
    next:= [ 4813, 2541, 2542, 4812 ] ), rec(
    fp:= [ 6020, 9134, 11063, 12963, 14497, 17763, 18067, 19198, 25047, 
45496, 48666, 74964, 79240, 81957, 89627, 89696 ],
    level:= 4,
    next:= [ 1395, 2643, 1122, 2657, 1365, 2649, 1100, 1383, 1102, 1382, 
1103, 1101, 1123, 2655, 1393, 1391 ] ), 1, rec(
    fp:= [ 60, 2293, 2733, 5229, 5489, 8453, 10754, 12136, 12396, 14454, 
14837, 15758, 19043, 19303, 21643, 23779, 24102, 25950, 32857, 34668, 34742, 
36804, 37127, 39622, 45148, 46718, 47693, 50152, 53625, 54034, 58173, 58496, 
58939, 60532, 60718, 63728, 63830, 67059, 70635, 71198, 71521, 72465, 76855, 
77542, 84546, 87352, 88140, 89369, 89880, 95047 ],
    level:= 4,
    next:= [ 4777, 4788, 5149, 5186, 4781, 5888, 5173, 5183, 4794, 5166, 
5168, 5151, rec(
      fp:= [ 5934, 6890 ],
      next:= [ 5182, 5184 ] ), 4785, 5198, 5169, 5154, 5185, 5181, 5197, 
5887, 5167, 5148, 5172, 5174, 4795, rec(
      fp:= [ 81511, 87378 ],
      next:= [ 5196, 5194 ] ), 5150, rec(
      fp:= [ 14721, 84999 ],
      next:= [ 4787, 4780 ] ), 4783, 5171, 5156, 5861, 4792, 5195, 4793, 
4786, 4789, rec(
      fp:= [ 43131, 73052 ],
      next:= [ 4784, 4779 ] ), 5170, 5152, 5886, 4791, 4790, 5153, 5193, 
4782, 5155, 4778, 4796 ] ), rec(
    fp:= [ 14322, 15515 ],
    level:= 4,
    next:= [ 1685, 1688 ] ), rec(
    fp:= [ 20494, 21742, 34876, 42327, 50519, 67220, 87876, 94313, 96315 ],
    level:= 4,
    next:= [ 503, 1502, 467, 1559, 1490, 836, 601, 887, 463 ] ), 74, rec(
    fp:= [ 2832, 31263, 44818, 48851, 51183, 56474, 57548, 78551, 93699 ],
    level:= 4,
    next:= [ 124, 152, rec(
      desc:= [ 302005 ],
      fp:= [ 822, 1641 ],
      next:= [ rec(
        desc:= [ 106003 ],
        fp:= [ 4, 212 ],
        next:= [ 136, 138 ] ), 137 ] ), 129, 144, rec(
      desc:= [ 302012 ],
      fp:= [ 441, 18261 ],
      next:= [ 155, rec(
        desc:= [ 108003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 111003 ],
          fp:= [ 4, 14 ],
          next:= [ 126, 127 ] ), 128 ] ) ] ), 140, rec(
      fp:= [ 30685, 40729 ],
      next:= [ 141, 132 ] ), 156 ] ), rec(
    fp:= [ 15272, 30304, 32089, 40640, 48906, 57457, 73511, 82062, 90328, 
94385, 98879 ],
    level:= 4,
    next:= [ 5128, 5885, rec(
      fp:= [ 51469, 51972 ],
      next:= [ 5127, 5123 ] ), 5139, 5125, 5136, 5126, 5140, 5124, 5135, rec(
      fp:= [ 213, 36687 ],
      next:= [ 5138, 5137 ] ) ] ), rec(
    fp:= [ 25332, 62107, 65044, 70034 ],
    level:= 4,
    next:= [ 1553, 713, 692, 1543 ] ), rec(
    fp:= [ 61236, 61246 ],
    next:= [ 1438, 1440 ] ), rec(
    fp:= [ 342, 36335 ],
    level:= 4,
    next:= [ 4564, 4570 ] ), rec(
    fp:= [ 35437, 47837 ],
    next:= [ rec(
      fp:= [ 9018, 80473 ],
      next:= [ 208, 201 ] ), 213 ] ), rec(
    fp:= [ 7680, 12549, 19388, 20138, 50935, 55296, 62240, 69297, 70688, 
82431 ],
    level:= 4,
    next:= [ 4604, 4630, 4635, 4605, 4639, 4646, 4602, 4641, 4599, 
4628 ] ), rec(
    fp:= [ 3553, 52078, 84168 ],
    level:= 4,
    next:= [ 5408, 5406, 5416 ] ), 5908, rec(
    fp:= [ 1557, 20735, 21968, 55151, 60317, 78194, 78489 ],
    level:= 4,
    next:= [ 1474, 1530, 1522, 1476, 1520, 1471, 1477 ] ), 218, rec(
    fp:= [ 6462, 25388, 43584, 55964, 62050, 69469, 85344, 87290 ],
    level:= 4,
    next:= [ 1609, 4573, 1582, 1662, 1611, 1613, 1674, 4582 ] ), rec(
    fp:= [ 163, 3604, 91034 ],
    level:= 4,
    next:= [ 5417, 5419, 5427 ] ), rec(
    fp:= [ 2832, 3902, 19378, 23640, 25743, 31263, 32108, 40057, 44818, 
47584, 48851, 51183, 53949, 56474, 57548, 60314, 63913, 70278, 77282, 86076, 
90833, 93699, 97198 ],
    level:= 4,
    next:= [ 822, 789, 794, 811, rec(
      fp:= [ 11017, 91189 ],
      next:= [ 792, 795 ] ), 810, 793, 830, 778, 796, 821, 788, 797, 820, rec(
      fp:= [ 1242, 3018 ],
      next:= [ 782, 784 ] ), 798, 787, 783, 812, 829, 791, 828, 790 ] ), 
5958, rec(
    fp:= [ 50778, 58990, 67202 ],
    level:= 4,
    next:= [ 1881, 1880, 1879 ] ), rec(
    fp:= [ 72011, 82011 ],
    next:= [ rec(
      fp:= [ 3907, 17197 ],
      next:= [ 2575, 1267 ] ), rec(
      fp:= [ 4923, 34293, 51418, 83309 ],
      next:= [ 2570, 2561, 1251, 1239 ] ) ] ), rec(
    fp:= [ 7181, 62720 ],
    level:= 4,
    next:= [ 2545, rec(
      fp:= [ 6866, 70067 ],
      next:= [ 2544, 2546 ] ) ] ), rec(
    fp:= [ 1594, 8829, 12689, 16497, 19227, 22305, 24152, 24430, 25308, 
32998, 44136, 51082, 52401, 58601, 63258, 67986, 74963, 78906, 81548, 89532, 
92290, 93899, 99638 ],
    level:= 4,
    next:= [ 195, 244, 183, 318, 56, 317, 70, 67, 166, 57, 309, 58, 194, 310, 
192, 55, 71, 184, 64, 73, 243, 251, 252 ] ), rec(
    fp:= [ 4177, 28300 ],
    level:= 4,
    next:= [ 4579, 268 ] ), rec(
    fp:= [ 21557, 30753, 32347, 61815, 75478, 81616, 91290, 97654 ],
    level:= 4,
    next:= [ 3429, 5910, 4399, 3433, 5479, 3378, 5489, 4420 ] ), 4587, rec(
    fp:= [ 44518, 88418 ],
    next:= [ rec(
      fp:= [ 633, 76110, 80493, 83983 ],
      next:= [ 1307, 1281, 1296, 1291 ] ), rec(
      fp:= [ 13795, 91857 ],
      next:= [ 1275, 1289 ] ) ] ), rec(
    fp:= [ 6020, 6675, 17763, 19198, 20321, 25047, 48666 ],
    level:= 4,
    next:= [ 1361, 4927, 2644, 1372, 2635, 1094, 1095 ] ), rec(
    fp:= [ 7233, 23002, 29457, 32947, 39580, 42606, 46096, 49586, 53076, 
62735, 64948, 66225, 81526, 97295 ],
    level:= 4,
    next:= [ 5387, 5388, 4838, 4837, 5391, 4840, 4839, 4834, 4833, 4836, 
5389, 4835, 5390, 5392 ] ), rec(
    fp:= [ 7233, 81526 ],
    level:= 4,
    next:= [ 2531, 2532 ] ), rec(
    fp:= [ 9075, 59576 ],
    next:= [ rec(
      fp:= [ 28506, 61220 ],
      next:= [ 131, 117 ] ), rec(
      fp:= [ 5631, 11854, 18219, 68067 ],
      next:= [ 149, 134, 139, 123 ] ) ] ), rec(
    fp:= [ 41, 42 ],
    next:= [ rec(
      fp:= [ 15515, 42016 ],
      next:= [ 1689, 1686 ] ), rec(
      fp:= [ 36174, 95418 ],
      next:= [ 1687, 1690 ] ) ] ), rec(
    fp:= [ 290, 29834, 34568, 34592, 47640, 51109, 52147, 64765, 67634, 
82372 ],
    level:= 4,
    next:= [ 1697, 1320, 969, 968, 2585, 2594, 967, 1331, 1718, 1698 ] ), rec(
    fp:= [ 2406, 24523, 66639, 98862 ],
    level:= 4,
    next:= [ 80, 91, 271, 280 ] ), rec(
    fp:= [ 6290, 36069, 37270, 46643, 48156, 68979, 87308 ],
    level:= 4,
    next:= [ 5373, 5375, 4832, 4826, 4831, 5383, 4829 ] ), rec(
    fp:= [ 4565, 31654, 40851, 67940 ],
    level:= 4,
    next:= [ 5755, 5754, 5756, 5757 ] ), 4614, rec(
    fp:= [ 11519, 63538 ],
    level:= 4,
    next:= [ 2549, 2548 ] ), rec(
    fp:= [ 26250, 82011 ],
    next:= [ rec(
      fp:= [ 13557, 18329, 28457, 49972 ],
      next:= [ 2567, 1248, 1234, 2559 ] ), rec(
      fp:= [ 4014, 4923, 18319, 20335, 51418, 83309, 95512 ],
      next:= [ 1266, rec(
        desc:= [ 104003 ],
        fp:= [ 2, 12 ],
        next:= [ 2573, 2572 ] ), 2581, 2571, 1250, 1240, 1255 ] ) ] ), 
4586, rec(
    fp:= [ 26932, 90199 ],
    level:= 4,
    next:= [ 4577, 4571 ] ), rec(
    fp:= [ 9065, 59566 ],
    next:= [ rec(
      fp:= [ 18539, 19656, 41667, 54520, 70552, 88013, 89849, 97737 ],
      next:= [ 4926, 1086, 4930, 1085, 1371, 2634, 1357, 2642 ] ), rec(
      fp:= [ 6020, 6675, 17763, 19198, 21557, 25047, 30753, 32347, 48666, 
61815, 75478, 91290, 97654 ],
      next:= [ 1363, 4928, rec(
        desc:= [ 104003 ],
        fp:= [ 2, 12 ],
        next:= [ 2648, 2647 ] ), 1373, 1098, 1113, 4931, 1378, 1114, 1099, 
2646, 2656, 1389 ] ) ] ), rec(
    fp:= [ 53169, 96946 ],
    level:= 4,
    next:= [ 660, 655 ] ), rec(
    fp:= [ 82200, 89533, 96141 ],
    level:= 4,
    next:= [ 5877, 5932, 5906 ] ), rec(
    fp:= [ 3080, 3634, 7075, 11470, 14497, 19306, 22740, 23294, 23701, 31130, 
31537, 34157, 35118, 35525, 38959, 42954, 43361, 47202, 47756, 55185, 55592, 
58619, 59580, 62904, 63021, 67009, 67416, 70036, 74845, 75252, 76778, 78279, 
79240, 79647, 83081, 86669, 87076, 91064, 94498, 98900, 99307 ],
    level:= 4,
    next:= [ 5816, 5647, 5658, rec(
      fp:= [ 633, 1769, 78509, 83466 ],
      next:= [ 5630, 5636, 5626, 5635 ] ), 5817, 5640, 5809, 5639, 5648, 
5660, 5633, 5810, 5657, 5627, 5814, 5625, 5644, 5807, 5646, rec(
      fp:= [ 30795, 84863 ],
      next:= [ 5649, 5652 ] ), 5638, rec(
      fp:= [ 19037, 56696 ],
      next:= [ 5815, 5808 ] ), 5629, 5819, 5634, 5628, 5642, 5805, 5643, rec(
      fp:= [ 34845, 81856 ],
      next:= [ 5656, 5659 ] ), 5655, 5811, 5645, 5631, 5813, 5653, 5637, 
5624, 5812, 5641, 5650 ] ), rec(
    fp:= [ 6854, 8137, 21174, 39380, 39495, 50200, 52055, 66521, 69692, 
74541, 96241 ],
    level:= 4,
    next:= [ 4966, 2708, 4950, 2801, 2805, 4334, 5463, 5453, 4313, 4970, 
2797 ] ), rec(
    fp:= [ 8558, 66183 ],
    next:= [ rec(
      fp:= [ 9216, 52406, 77662, 96517 ],
      next:= [ 270, 90, 76, 278 ] ), rec(
      fp:= [ 2406, 24523, 25332, 62107, 65044, 70034, 98862 ],
      next:= [ 82, 92, 292, 108, 97, 282, rec(
        desc:= [ 104003 ],
        fp:= [ 2, 12 ],
        next:= [ 284, 283 ] ) ] ) ] ), rec(
    fp:= [ 71679, 72864 ],
    level:= 4,
    next:= [ 4817, 2554 ] ), 2529, 5873, rec(
    fp:= [ 37394, 51234, 59562, 72728, 74894, 81658 ],
    level:= 4,
    next:= [ 5928, 5900, 5898, 5871, 5902, 5901 ] ), rec(
    fp:= [ 34518, 44518 ],
    next:= [ 1308, rec(
      fp:= [ 76110, 83983 ],
      next:= [ 1280, 1292 ] ) ] ), rec(
    fp:= [ 3684, 8453, 8941, 9431, 10754, 11094, 14358, 14556, 15848, 17943, 
19285, 19726, 21643, 22755, 31044, 34668, 34742, 35771, 39622, 39854, 44241, 
45148, 47693, 48060, 48127, 55034, 57266, 58173, 60683, 66646, 69777, 71198, 
72465, 72845, 79543, 82219, 84331, 85132, 85235, 89119, 90151, 92193, 98260 ],
    level:= 4,
    next:= [ rec(
      desc:= [ 109003 ],
      fp:= [ 2, 12 ],
      next:= [ 4685, 4684 ] ), 4716, 1922, 1897, 1915, rec(
      fp:= [ 68000, 74099 ],
      next:= [ 1949, 1948 ] ), 1899, rec(
      desc:= [ 110003 ],
      fp:= [ 4, 14 ],
      next:= [ 1946, 1944 ] ), 1923, 1925, 1895, 5856, rec(
      desc:= [ 105003 ],
      fp:= [ 4, 212 ],
      next:= [ rec(
        desc:= [ 108003 ],
        fp:= [ 4, 14 ],
        next:= [ 1935, 1934 ] ), 1932 ] ), 1921, 5858, 1933, 4713, 5857, 
1911, rec(
      desc:= [ 106003 ],
      fp:= [ 2, 12 ],
      next:= [ 4715, 4714 ] ), 4673, rec(
      desc:= [ 104003 ],
      fp:= [ 2, 12 ],
      next:= [ rec(
        desc:= [ 106003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 109003 ],
          fp:= [ 4, 14 ],
          next:= [ 1917, 1916 ] ), 1912 ] ), 1913 ] ), 1931, 4671, 4674, 
4678, 4676, 1914, rec(
      desc:= [ 111003 ],
      fp:= [ 4, 14 ],
      next:= [ 1945, 1943 ] ), rec(
      desc:= [ 107003 ],
      fp:= [ 2, 12 ],
      next:= [ 4718, 4717 ] ), rec(
      desc:= [ 110003 ],
      fp:= [ 2, 12 ],
      next:= [ 4692, 4691 ] ), 1910, 4710, 4675, 1898, rec(
      desc:= [ 111003 ],
      fp:= [ 2, 12 ],
      next:= [ 4683, 4682 ] ), 1900, rec(
      desc:= [ 110003 ],
      fp:= [ 2, 12 ],
      next:= [ 4690, 4689 ] ), 4677, 1896, rec(
      desc:= [ 107003 ],
      fp:= [ 2, 12 ],
      next:= [ 4712, 4711 ] ), 1902, 4672 ] ), rec(
    fp:= [ 10747, 12395, 17891, 20231, 22613, 23281, 28631, 28693, 29005, 
31031, 33793, 34802, 37176, 41898, 44286, 45688, 47051, 47336, 52748, 53060, 
55172, 56461, 56518, 58504, 63572, 63634, 63946, 66336, 68344, 68734, 69743, 
77115, 80629, 84951, 87689, 93413, 97890, 98513, 98887 ],
    level:= 4,
    next:= [ 4764, 5143, 5199, 5177, 4775, 5145, 5189, 4774, 5160, rec(
      fp:= [ 54163, 58444 ],
      next:= [ rec(
        desc:= [ 108003 ],
        fp:= [ 4, 14 ],
        next:= [ 5206, 5209 ] ), rec(
        desc:= [ 106003 ],
        fp:= [ 15, 411 ],
        next:= [ 5210, 5207 ] ) ] ), 5178, 4767, 5200, 4768, 5162, 4766, 
4763, 5147, 4771, 5159, 5164, 5191, rec(
      desc:= [ 108003 ],
      fp:= [ 13, 211 ],
      next:= [ rec(
        desc:= [ 116011 ],
        fp:= [ 22, 814 ],
        next:= [ 4804, 4805 ] ), 4803 ] ), rec(
      fp:= [ 34240, 82723 ],
      next:= [ 5214, 5213 ] ), 5188, 4770, 5158, 4765, rec(
      desc:= [ 117019 ],
      fp:= [ 22, 814 ],
      next:= [ 4802, rec(
        desc:= [ 107003 ],
        fp:= [ 2, 12 ],
        next:= [ 4801, 4800 ] ) ] ), 5180, 4773, 5144, 4772, 5175, 4776, 
4769, 5176, 5179, 5146 ] ), rec(
    fp:= [ 42765, 71367, 77151 ],
    level:= 4,
    next:= [ 5761, 5773, 5940 ] ), rec(
    fp:= [ 36207, 84010 ],
    level:= 4,
    next:= [ 2523, 2524 ] ), 659, rec(
    fp:= [ 19242, 43426, 67610, 70535, 94719 ],
    level:= 4,
    next:= [ rec(
      fp:= [ 73933, 79104 ],
      next:= [ 4561, 4559 ] ), 4562, 4558, 4560, 4563 ] ),, rec(
    fp:= [ 14946, 87480 ],
    next:= [ rec(
      fp:= [ 7169, 22038, 24472, 55775, 61168, 78961, 83715, 83984, 88791 ],
      next:= [ 158, 226, 303, 225, 172, 16, 9, 10, 295 ] ), rec(
      fp:= [ 1594, 12689, 24374, 24430, 25486, 32426, 32998, 44136, 50492, 
51082, 52989, 63243, 75747, 84985, 95628, 99638 ],
      next:= [ 164, 175, 316, 27, 306, 190, 41, rec(
        desc:= [ 104003 ],
        fp:= [ 2, 12 ],
        next:= [ 308, 307 ] ), 49, 40, 61, 249, 250, 50, 180, rec(
        desc:= [ 105003 ],
        fp:= [ 2, 12 ],
        next:= [ 247, 246 ] ) ] ) ] ), rec(
    fp:= [ 82243, 94633 ],
    next:= [ rec(
      fp:= [ 5171, 15245, 15682, 17990, 25386, 31956, 51152, 57157, 73431, 
89705, 92013, 99069 ],
      next:= [ rec(
        fp:= [ 13713, 91415 ],
        next:= [ 1547, 1548 ] ), 724, rec(
        fp:= [ 29694, 84439, 89764 ],
        next:= [ 665, 685, 686 ] ), 1552, 1555, rec(
        fp:= [ 42745, 82336 ],
        next:= [ 687, 666 ] ), 745, rec(
        fp:= [ 4805, 8421, 42764 ],
        next:= [ 670, 719, rec(
          desc:= [ 104003 ],
          fp:= [ 4, 14 ],
          next:= [ 716, 718 ] ) ] ), rec(
        fp:= [ 37730, 94333 ],
        next:= [ 675, 721 ] ), rec(
        fp:= [ 34731, 67436 ],
        next:= [ 720, 674 ] ), 1550, rec(
        fp:= [ 23014, 55220 ],
        next:= [ rec(
          desc:= [ 104003 ],
          fp:= [ 16, 412 ],
          next:= [ 735, 680 ] ), 661 ] ) ] ), rec(
      fp:= [ 25332, 62107, 64468, 65044, 70034, 75600 ],
      next:= [ 1554, rec(
        fp:= [ 2284, 70601 ],
        next:= [ 714, 741 ] ), 1549, rec(
        fp:= [ 25423, 54421, 65171, 71047 ],
        next:= [ 694, 699, 700, 693 ] ), rec(
        fp:= [ 6554, 71077 ],
        next:= [ 1545, 1544 ] ), 1551 ] ) ] ), rec(
    fp:= [ 75715, 79821 ],
    level:= 4,
    next:= [ rec(
      fp:= [ 2506, 92905 ],
      next:= [ 654, 657 ] ), 658 ] ), rec(
    fp:= [ 53793, 66183 ],
    next:= [ rec(
      fp:= [ 5171, 57157 ],
      next:= [ 286, 109 ] ), rec(
      fp:= [ 2406, 24523, 66639, 98862 ],
      next:= [ 81, 93, 272, 281 ] ) ] ), rec(
    fp:= [ 55291, 94028 ],
    level:= 4,
    next:= [ 5929, 5874 ] ), rec(
    fp:= [ 28246, 35437 ],
    next:= [ 1622, rec(
      fp:= [ 9018, 36267, 52267 ],
      next:= [ 204, 202, 203 ] ) ] ), rec(
    fp:= [ 83225, 90152 ],
    level:= 4,
    next:= [ 263, rec(
      fp:= [ 2438, 22142 ],
      next:= [ 264, 262 ] ) ] ), 1232 ] );