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