1#############################################################################
2##
3#W  id1296.z               GAP library of id's             Hans Ulrich Besche
4##
5
6ID_GROUP_TREE.next[1296]:=
7rec(
8  fp:= [ 200, 448, 665, 700, 1468, 1547, 1590, 1866, 1903, 2161, 2721, 2818,
92923, 3858, 3977, 4102, 4721, 4748, 5268, 5640, 6071, 6847, 6991, 7169, 7308,
107338, 7483, 7550, 7681, 8033, 8227, 8260, 8290, 8533, 8941, 8956, 9243, 9254,
119281, 9494, 9943, 10814, 10842, 10993, 11009, 11864, 12296, 12723, 13111,
1213253, 13267, 13338, 13361, 13469, 13687, 13823, 13928, 14033, 14131, 14257,
1314348, 14547, 14918, 14966, 15524, 15628, 15819, 16043, 16239, 16704, 16906,
1416928, 18077, 18187, 18523, 18895, 20030, 20450, 21031, 21461, 21549, 22085,
1522268, 22539, 23086, 23277, 23938, 24306, 24325, 24567, 24848, 25033, 25077,
1625345, 25489, 26264, 26409, 26645, 27229, 27549, 28189, 28328, 28527, 28557,
1728709, 28981, 29182, 29615, 29883, 30367, 30580, 30594, 30687, 30690, 31622,
1831812, 31911, 32042, 32045, 32290, 32349, 32370, 32409, 32705, 33112, 33117,
1934025, 34112, 34215, 34475, 35145, 35764, 36492, 36674, 36774, 37016, 37300,
2037414, 38396, 39635, 39777, 39880, 40054, 40077, 40215, 40339, 41001, 41348,
2141417, 41904, 41945, 42324, 42774, 42834, 42925, 43064, 43145, 43748, 43864,
2243900, 44559, 44756, 44954, 45623, 45673, 45736, 45876, 46437, 46480, 46682,
2346869, 46975, 47196, 47370, 47453, 47589, 48030, 48798, 48940, 49239, 49400,
2450005, 51687, 51835, 52011, 52595, 52682, 53689, 54144, 54669, 54940, 55000,
2555262, 55969, 56133, 56210, 56344, 56364, 56897, 57396, 58688, 58917, 59453,
2659596, 59703, 59865, 61084, 61240, 61589, 61689, 62063, 62313, 62606, 62807,
2762816, 62945, 63216, 63303, 63579, 63617, 63818, 63911, 64616, 64756, 64771,
2865060, 65453, 65761, 66296, 66515, 66731, 66835, 66859, 66995, 67200, 68440,
2968944, 69096, 69216, 69600, 69691, 69853, 69923, 70324, 70944, 71130, 71364,
3071520, 73401, 73438, 73502, 73951, 74098, 74251, 74376, 74707, 74761, 74954,
3175274, 75371, 75907, 75929, 76914, 77043, 77259, 77277, 77452, 77611, 78167,
3279239, 79401, 79438, 79532, 79540, 79590, 79667, 80530, 80640, 80739, 81027,
3381077, 81098, 81286, 81639, 81907, 81917, 82737, 82949, 83351, 83369, 83979,
3484188, 84532, 85086, 85131, 85590, 85672, 85691, 85895, 86167, 86177, 86530,
3586812, 87618, 87837, 88424, 88459, 88487, 88737, 89147, 89503, 89671, 90198,
3690777, 90798, 90818, 90922, 91241, 91256, 91672, 92260, 92362, 92578, 92722,
3793167, 93342, 93611, 93915, 94361, 94731, 95560, 95869, 96492, 96677, 96777,
3896849, 96951, 97039, 97050, 97103, 97498, 97694, 97979, 98146, 98258, 98320,
3998345, 98362, 98380, 98929, 99025, 99087 ],
40  next:= [ 3489, rec(
41    fp:= [ 54785, 79022 ],
42    level:= 5,
43    next:= [ 1844, 1843 ] ), rec(
44    fp:= [ 47530, 79566 ],
45    next:= [ rec(
46      fp:= [ 15892, 23334, 41261 ],
47      next:= [ rec(
48        fp:= [ 58483, 80257 ],
49        next:= [ rec(
50          desc:= [ 105003 ],
51          fp:= [ 2, 12 ],
52          next:= [ 306, 307 ] ), rec(
53          desc:= [ 105003 ],
54          fp:= [ 2, 12 ],
55          next:= [ 324, 325 ] ) ] ), rec(
56        fp:= [ 29054, 65455 ],
57        next:= [ 433, 436 ] ), rec(
58        fp:= [ 32437, 73390 ],
59        next:= [ 308, 326 ] ) ] ), rec(
60      fp:= [ 58113, 90238 ],
61      next:= [ rec(
62        fp:= [ 36570, 70259 ],
63        next:= [ 322, 304 ] ), rec(
64        fp:= [ 52101, 71402 ],
65        next:= [ 240, 255 ] ) ] ) ] ), rec(
66    fp:= [ 11161, 30413, 67542, 87915 ],
67    level:= 4,
68    next:= [ 452, 487, 90, rec(
69      desc:= [ 214004 ],
70      fp:= [ 2, 12 ],
71      next:= [ 91, 89 ] ) ] ), rec(
72    fp:= [ 2004, 8461, 11294, 13448, 16281, 17251, 23501, 23896, 28255,
7336827, 37222, 52095, 52490, 52885, 56316, 61303, 62273, 80913, 80925, 82894,
7485900, 85912, 92940, 93335, 93730, 96678 ],
75    level:= 4,
76    next:= [ 431, rec(
77      fp:= [ 81217, 86380, 89451, 89948 ],
78      next:= [ 1681, rec(
79        desc:= [ 116002 ],
80        fp:= [ 9, 613 ],
81        next:= [ 386, 1689 ] ), 402, 1691 ] ), rec(
82      fp:= [ 133, 21219 ],
83      next:= [ 1257, 1315 ] ), rec(
84      fp:= [ 16494, 58738, 59696, 63872 ],
85      next:= [ rec(
86        desc:= [ 115002 ],
87        fp:= [ 9, 613 ],
88        next:= [ 385, 1688 ] ), 401, 1690, 1680 ] ), rec(
89      fp:= [ 84590, 98684 ],
90      next:= [ 1317, 1259 ] ), rec(
91      fp:= [ 33438, 95479 ],
92      next:= [ 1314, 1256 ] ), rec(
93      fp:= [ 3070, 76617 ],
94      next:= [ 1305, 1247 ] ), rec(
95      fp:= [ 47310, 58014 ],
96      next:= [ 1307, 1249 ] ), rec(
97      fp:= [ 32446, 49941 ],
98      next:= [ 1312, 1254 ] ), rec(
99      fp:= [ 36199, 96236 ],
100      next:= [ 1248, 1306 ] ), rec(
101      fp:= [ 14349, 71664 ],
102      next:= [ 1304, 1246 ] ), 302, 301, 298, rec(
103      fp:= [ 9590, 75576 ],
104      next:= [ 1311, 1253 ] ), rec(
105      fp:= [ 24787, 84024 ],
106      next:= [ 1313, 1255 ] ), rec(
107      fp:= [ 34502, 90482 ],
108      next:= [ 1310, 1252 ] ), rec(
109      fp:= [ 21890, 29492, 31405, 91422 ],
110      next:= [ rec(
111        desc:= [ 114002 ],
112        fp:= [ 9, 613 ],
113        next:= [ 412, 1703 ] ), 428, 1695, 1705 ] ), 406, rec(
114      fp:= [ 16690, 91587 ],
115      next:= [ 1316, 1258 ] ), rec(
116      fp:= [ 43835, 48737, 60245, 92323 ],
117      next:= [ 427, 1704, 1694, rec(
118        desc:= [ 113002 ],
119        fp:= [ 9, 613 ],
120        next:= [ 411, 1702 ] ) ] ), 405, rec(
121      fp:= [ 7899, 57722, 87475, 96292 ],
122      next:= [ rec(
123        desc:= [ 113002 ],
124        fp:= [ 9, 613 ],
125        next:= [ 252, 1627 ] ), 1607, 1632, 292 ] ), rec(
126      fp:= [ 39410, 61116, 86719, 87168 ],
127      next:= [ 1606, rec(
128        desc:= [ 114002 ],
129        fp:= [ 9, 613 ],
130        next:= [ 251, 1626 ] ), 291, 1631 ] ), rec(
131      fp:= [ 46183, 55478, 65057, 67771 ],
132      next:= [ 288, 1603, 1628, rec(
133        desc:= [ 112002 ],
134        fp:= [ 9, 613 ],
135        next:= [ 248, 1623 ] ) ] ), 432 ] ), rec(
136    fp:= [ 63348, 72929, 73009 ],
137    next:= [ rec(
138      fp:= [ 658, 60981, 62349 ],
139      next:= [ 2721, rec(
140        fp:= [ 5096, 52175 ],
141        next:= [ 1553, 2840 ] ), 3296 ] ), rec(
142      fp:= [ 23885, 33294, 63378, 93462 ],
143      next:= [ 565, 566, 564, 563 ] ), rec(
144      fp:= [ 47877, 79334 ],
145      next:= [ 1568, 1556 ] ) ] ), rec(
146    fp:= [ 16264, 71231, 77214, 93578 ],
147    level:= 4,
148    next:= [ 3134, 3136, 3510, 3135 ] ), rec(
149    fp:= [ 1573, 74779 ],
150    level:= 4,
151    next:= [ 1504, 1497 ] ), rec(
152    fp:= [ 37861, 39234 ],
153    level:= 4,
154    next:= [ 743, 732 ] ), rec(
155    fp:= [ 18947, 46476, 66533 ],
156    level:= 4,
157    next:= [ rec(
158      fp:= [ 64800, 74023 ],
159      next:= [ 2941, 2942 ] ), rec(
160      fp:= [ 15294, 20863, 56684, 96314 ],
161      next:= [ 3018, rec(
162        desc:= [ 114002 ],
163        fp:= [ 3, 13 ],
164        next:= [ 1850, 3019 ] ), 1849, 3020 ] ), 1848 ] ), rec(
165    fp:= [ 60059, 97590 ],
166    level:= 4,
167    next:= [ rec(
168      fp:= [ 43162, 91656 ],
169      next:= [ 2090, 2089 ] ), rec(
170      fp:= [ 20069, 80084 ],
171      next:= [ 2088, 2087 ] ) ] ), 2, rec(
172    fp:= [ 7129, 90752 ],
173    level:= 4,
174    next:= [ 1886, 1795 ] ), rec(
175    fp:= [ 37861, 39234, 87385 ],
176    level:= 4,
177    next:= [ rec(
178      fp:= [ 11216, 25231, 81713, 82255 ],
179      next:= [ rec(
180        desc:= [ 111002 ],
181        fp:= [ 9, 613 ],
182        next:= [ 698, 2129 ] ), 691, 2116, 2128 ] ), rec(
183      fp:= [ 17828, 18645, 31673, 82317 ],
184      next:= [ 2114, 2115, 2119, 2118 ] ), 692 ] ), rec(
185    fp:= [ 23254, 37403, 42686, 60935, 68053 ],
186    level:= 4,
187    next:= [ 1827, 1820, 2923, 3002, rec(
188      fp:= [ 35815, 74395 ],
189      next:= [ 2993, 1821 ] ) ] ), rec(
190    fp:= [ 23011, 26260 ],
191    level:= 4,
192    next:= [ 3577, 3569 ] ), rec(
193    fp:= [ 27185, 39140, 42020, 67613, 80466 ],
194    level:= 4,
195    next:= [ 1991, 1992, rec(
196      fp:= [ 10891, 61367 ],
197      next:= [ 1987, 1976 ] ), rec(
198      fp:= [ 20515, 66660, 77346 ],
199      next:= [ 1975, rec(
200        desc:= [ 107003 ],
201        fp:= [ 2, 12 ],
202        next:= [ 1998, 1999 ] ), 1986 ] ), 1977 ] ), 663, 42, rec(
203    fp:= [ 6812, 43965 ],
204    next:= [ rec(
205      fp:= [ 5027, 6112, 18177, 56432, 67049, 84506 ],
206      next:= [ rec(
207        fp:= [ 16751, 55011, 79511, 85062 ],
208        next:= [ 2525, 2528, 2524, 2529 ] ), rec(
209        fp:= [ 25852, 37154 ],
210        next:= [ 2527, 2538 ] ), rec(
211        fp:= [ 79074, 94728 ],
212        next:= [ 2535, 2520 ] ), rec(
213        fp:= [ 27093, 35753 ],
214        next:= [ 2519, 2534 ] ), rec(
215        fp:= [ 67551, 93546 ],
216        next:= [ 2526, 2537 ] ), rec(
217        fp:= [ 21055, 64849, 71316, 92197 ],
218        next:= [ 2517, 2521, 2518, 2522 ] ) ] ), rec(
219      fp:= [ 26807, 98511 ],
220      next:= [ 3285, 3286 ] ) ] ), rec(
221    fp:= [ 47520, 79556 ],
222    next:= [ rec(
223      fp:= [ 1374, 16875, 26743, 42244, 48389, 70031, 74710, 95402 ],
224      next:= [ rec(
225        fp:= [ 19168, 29867 ],
226        next:= [ rec(
227          desc:= [ 106003 ],
228          fp:= [ 2, 12 ],
229          next:= [ 314, 315 ] ), rec(
230          desc:= [ 105003 ],
231          fp:= [ 2, 12 ],
232          next:= [ 1646, 1647 ] ) ] ), rec(
233        desc:= [ 106003 ],
234        fp:= [ 4, 212 ],
235        next:= [ 1329, 1328 ] ), rec(
236        fp:= [ 41007, 76124 ],
237        next:= [ 1649, 319 ] ), 1327, 2198, rec(
238        fp:= [ 54422, 55654 ],
239        next:= [ 434, 1709 ] ), 1326, 2209 ] ), rec(
240      fp:= [ 19985, 22274, 71296, 81269, 94837, 96739 ],
241      next:= [ rec(
242        fp:= [ 53717, 86173 ],
243        next:= [ 1609, 245 ] ), 2208, rec(
244        fp:= [ 24158, 24889 ],
245        next:= [ 1641, 310 ] ), 1263, 1262, 2196 ] ) ] ), rec(
246    fp:= [ 14472, 37861, 39234, 62623, 63996, 87385, 88758 ],
247    level:= 4,
248    next:= [ rec(
249      fp:= [ 27395, 68982 ],
250      next:= [ 730, 736 ] ), 734, rec(
251      fp:= [ 25866, 29315 ],
252      next:= [ 737, 728 ] ), rec(
253      fp:= [ 20846, 40138 ],
254      next:= [ 735, 744 ] ), 738, 733, 729 ] ), rec(
255    fp:= [ 38627, 49874 ],
256    level:= 4,
257    next:= [ 61, 62 ] ), rec(
258    fp:= [ 6392, 45426 ],
259    level:= 4,
260    next:= [ 57, 58 ] ), rec(
261    fp:= [ 85319, 85399, 97248 ],
262    next:= [ rec(
263      fp:= [ 17449, 33358, 59325, 75234 ],
264      next:= [ 591, 592, 593, 590 ] ), rec(
265      fp:= [ 18083, 55826, 78096, 86962 ],
266      next:= [ 1532, 1563, 1522, 1551 ] ), rec(
267      fp:= [ 33145, 50360, 54130, 68609, 72483, 94836, 99081 ],
268      next:= [ rec(
269        fp:= [ 32669, 95311 ],
270        next:= [ 2833, 1518 ] ), 3298, 3294, rec(
271        fp:= [ 44586, 47021 ],
272        next:= [ 2838, 1549 ] ), 2711, 3558, 2710 ] ) ] ), rec(
273    fp:= [ 1314, 3574, 5626, 6900, 9106, 11886, 15687, 19563, 23667, 27563,
27430239, 39760, 41708, 45604, 48176, 59622, 60373, 68373, 80466, 81358, 82518,
27584362, 84882, 87514, 89566, 92778, 94770, 98458, 98819 ],
276    level:= 4,
277    next:= [ 3431, 3264, 3207, 3481, 3565, 3396, 3595, 3244, 3209, 3391,
2783416, 3434, 3206, 3394, 3567, 3568, 3246, 3524, 3263, 3428, 3205, 3413, 3208,
2793410, 3387, 3566, 3596, 3474, 3245 ] ), rec(
280    fp:= [ 3560, 10337, 81363 ],
281    level:= 5,
282    next:= [ 3008, 3009, 3013 ] ), rec(
283    fp:= [ 32162, 40949 ],
284    level:= 4,
285    next:= [ 3284, 3540 ] ), 23,, rec(
286    fp:= [ 4295, 96814 ],
287    next:= [ rec(
288      fp:= [ 70301, 98303 ],
289      next:= [ rec(
290        fp:= [ 61732, 89982 ],
291        next:= [ 2091, 3276 ] ), rec(
292        fp:= [ 18116, 44687 ],
293        next:= [ 3277, 2092 ] ) ] ), rec(
294      fp:= [ 4491, 68249, 86697, 90596 ],
295      next:= [ 2083, 2080, 2082, 2081 ] ) ] ), rec(
296    fp:= [ 12117, 15825, 20812, 26271, 59209, 78840 ],
297    level:= 4,
298    next:= [ rec(
299      fp:= [ 5176, 33380, 34593, 46039 ],
300      next:= [ 678, 2120, rec(
301        desc:= [ 112002 ],
302        fp:= [ 9, 613 ],
303        next:= [ 694, 2121 ] ), 2104 ] ), rec(
304      fp:= [ 15033, 18997, 29868, 74868 ],
305      next:= [ 2110, 2103, 2111, 2102 ] ), rec(
306      fp:= [ 122, 71134, 74932, 92088 ],
307      next:= [ 2108, 2098, 2109, 2099 ] ), 681, 679, rec(
308      fp:= [ 60885, 66484, 67186, 68682 ],
309      next:= [ 2105, 2122, 680, rec(
310        desc:= [ 113002 ],
311        fp:= [ 9, 613 ],
312        next:= [ 696, 2123 ] ) ] ) ] ), 631, rec(
313    fp:= [ 85319, 85399, 97248 ],
314    next:= [ rec(
315      fp:= [ 5174, 8056, 10938, 13820, 24450, 40991, 43726, 57385, 71044,
31682551, 84703, 99092 ],
317      next:= [ 628, 626, 627, 629, 619, 618, 610, 608, 609, 617, 611,
318620 ] ), rec(
319      fp:= [ 3882, 9540, 12327, 17871, 21337, 31887, 35326, 47924, 54234,
32065379, 69179, 86088, 89641, 91526 ],
321      next:= [ 1534, 1526, 1579, 1596, 1535, 1524, 1595, 1584, 1525, 1583,
3221592, 1536, 1580, 1591 ] ), rec(
323      fp:= [ 1618, 20034, 30525, 31997, 50930, 52872, 59999, 71231, 73277,
32475219, 78932, 88001, 91693, 99233 ],
325      next:= [ 2715, rec(
326        fp:= [ 58693, 69212 ],
327        next:= [ 1578, 2844 ] ), 2719, rec(
328        fp:= [ 40561, 59735 ],
329        next:= [ 1517, 2837 ] ), 2720, 2716, rec(
330        fp:= [ 131, 80471 ],
331        next:= [ 1520, 2835 ] ), rec(
332        fp:= [ 178, 99578 ],
333        next:= [ 2847, 1589 ] ), 2717, 2714, 2718, rec(
334        fp:= [ 79949, 94432 ],
335        next:= [ 1521, 2836 ] ), rec(
336        fp:= [ 50586, 80659 ],
337        next:= [ 2845, 1577 ] ), rec(
338        fp:= [ 73223, 77450 ],
339        next:= [ 1590, 2846 ] ) ] ) ] ), 51, rec(
340    fp:= [ 43595, 49769 ],
341    level:= 5,
342    next:= [ 690, 2112 ] ), rec(
343    fp:= [ 65058, 81096 ],
344    level:= 4,
345    next:= [ 3557, 3604 ] ), rec(
346    fp:= [ 21621, 31641 ],
347    next:= [ rec(
348      fp:= [ 183, 1988, 6261, 6373, 6704, 10310, 28185, 32946, 45150, 51243,
34951671, 59531, 61398, 69596, 73152, 74920, 80168, 82738, 86216, 87815 ],
350      next:= [ 3167, 3516, 3154, 3158, 3171, 3517, 3165, 3155, 3166, 3518,
3513170, 3152, 3172, 3160, 3164, 3515, 3519, 3514, 3153, 3159 ] ), rec(
352      fp:= [ 2004, 7609, 8461, 8809, 12596, 13448, 13796, 22687, 23082,
35323200, 23477, 28187, 30179, 35166, 38965, 43952, 44693, 49680, 52095, 52490,
35452885, 58240, 63227, 63532, 63927, 64197, 64322, 68214, 69184, 70033, 70428,
35570823, 71890, 76877, 80913, 80925, 81216, 82416, 84247, 84642, 85037, 85900,
35685912, 86203, 87403, 92940, 93335, 93730, 96678 ],
357      next:= [ 547, rec(
358        fp:= [ 33026, 82050 ],
359        next:= [ 167, 168 ] ), 532, rec(
360        fp:= [ 35978, 98136 ],
361        next:= [ 174, 170 ] ), rec(
362        fp:= [ 55812, 84304 ],
363        next:= [ 171, 172 ] ), 531, rec(
364        fp:= [ 23682, 79673 ],
365        next:= [ 177, 176 ] ), 465, 464, 550, 461, 549, rec(
366        fp:= [ 53914, 68834 ],
367        next:= [ 138, 134 ] ), rec(
368        fp:= [ 34900, 37815 ],
369        next:= [ 140, 141 ] ), 544, 543, 530, 529, 475, 474, 471, 133, rec(
370        desc:= [ 212005 ],
371        fp:= [ 2, 12 ],
372        next:= [ 139, 137 ] ), 480, 479, rec(
373        fp:= [ 26993, 72264 ],
374        next:= [ 131, 132 ] ), 476, 142, rec(
375        fp:= [ 31713, 63629 ],
376        next:= [ 136, 135 ] ), 151, rec(
377        desc:= [ 212005 ],
378        fp:= [ 2, 12 ],
379        next:= [ 157, 155 ] ), 160, 536, 535, 546, 534, rec(
380        fp:= [ 4662, 5238 ],
381        next:= [ 149, 150 ] ), rec(
382        fp:= [ 23909, 52361 ],
383        next:= [ 152, 156 ] ), 169, rec(
384        desc:= [ 214005 ],
385        fp:= [ 2, 12 ],
386        next:= [ 175, 173 ] ), 178, 545, 533, rec(
387        fp:= [ 9496, 67096 ],
388        next:= [ 153, 154 ] ), rec(
389        fp:= [ 47294, 70836 ],
390        next:= [ 158, 159 ] ), 470, 469, 466, 548 ] ) ] ), 20, rec(
391    fp:= [ 527, 2138, 6344, 12213, 27683, 28279, 29251, 29580, 40585, 50134,
39258040, 67542, 75368, 78962, 80028, 87915 ],
393    level:= 4,
394    next:= [ 1365, 1941, 2224, 1351, 1352, 1716, 1725, 1940, 2216, 1350,
3951366, 1454, 1349, 2967, 2897, 1449 ] ), 2084, rec(
396    fp:= [ 7401, 75052, 91057 ],
397    level:= 4,
398    next:= [ 27, 25, 26 ] ), 1867, rec(
399    fp:= [ 443, 41363, 74014, 79452 ],
400    level:= 4,
401    next:= [ 1781, 1780, 1828, 1829 ] ), rec(
402    fp:= [ 32952, 38609, 58666, 58914, 79899 ],
403    level:= 4,
404    next:= [ 1853, rec(
405      fp:= [ 24221, 46058 ],
406      next:= [ 3021, 1851 ] ), 1852, 3022, 2943 ] ), rec(
407    fp:= [ 85338, 97451 ],
408    level:= 5,
409    next:= [ 687, 686 ] ), rec(
410    fp:= [ 27674, 27684 ],
411    next:= [ rec(
412      fp:= [ 19011, 71098 ],
413      next:= [ 2883, 2882 ] ), 2885 ] ), rec(
414    fp:= [ 63684, 75551 ],
415    next:= [ rec(
416      fp:= [ 30732, 46167, 91359 ],
417      next:= [ 14, 19, rec(
418        desc:= [ 104003 ],
419        fp:= [ 2, 12 ],
420        next:= [ 12, 13 ] ) ] ), rec(
421      fp:= [ 68506, 78544 ],
422      next:= [ 6, 10 ] ) ] ), rec(
423    fp:= [ 9325, 14224, 20745, 22687, 22693, 23082, 23477, 24185, 36571,
42438965, 41150, 42226, 43092, 43155, 43952, 44674, 44693, 49680, 52982, 64573,
42569152, 75439, 77387, 80984, 89641, 95844, 97786, 97849, 99368 ],
426    level:= 4,
427    next:= [ 2753, rec(
428      fp:= [ 1533, 17706 ],
429      next:= [ 1297, 2741 ] ), rec(
430      fp:= [ 46491, 60724 ],
431      next:= [ 1295, 2738 ] ), 282, rec(
432      fp:= [ 60860, 83238 ],
433      next:= [ 1699, 2862 ] ), 281, 278, rec(
434      fp:= [ 45538, 56732 ],
435      next:= [ 2739, 1278 ] ), rec(
436      fp:= [ 49920, 50086 ],
437      next:= [ 1291, 2735 ] ), 424, rec(
438      fp:= [ 18900, 20425 ],
439      next:= [ 2740, 1279 ] ), rec(
440      fp:= [ 31189, 68244 ],
441      next:= [ 2736, 1294 ] ), rec(
442      fp:= [ 6804, 87463 ],
443      next:= [ 2733, 1289 ] ), rec(
444      fp:= [ 10783, 95270 ],
445      next:= [ 1685, 2860 ] ), 423, rec(
446      fp:= [ 994, 26144 ],
447      next:= [ 1616, 2851 ] ), 398, 397, 2755, rec(
448      fp:= [ 9843, 43497 ],
449      next:= [ 2732, 1288 ] ), rec(
450      fp:= [ 64658, 86944 ],
451      next:= [ 2734, 1281 ] ), rec(
452      fp:= [ 50100, 57179 ],
453      next:= [ 1298, 2742 ] ), rec(
454      fp:= [ 80505, 83804 ],
455      next:= [ 1698, 2863 ] ), 2754, rec(
456      fp:= [ 11785, 94216 ],
457      next:= [ 1617, 2852 ] ), rec(
458      fp:= [ 68857, 76598 ],
459      next:= [ 2743, 1283 ] ), rec(
460      fp:= [ 6598, 8088 ],
461      next:= [ 2737, 1292 ] ), rec(
462      fp:= [ 25385, 63955 ],
463      next:= [ 2861, 1684 ] ), rec(
464      fp:= [ 19347, 42108 ],
465      next:= [ 2853, 1613 ] ) ] ), rec(
466    fp:= [ 39234, 88758 ],
467    level:= 4,
468    next:= [ rec(
469      fp:= [ 4181, 10377, 61945, 74103 ],
470      next:= [ 773, rec(
471        desc:= [ 113002 ],
472        fp:= [ 3, 13 ],
473        next:= [ 774, 2185 ] ), 2186, 2184 ] ), 772 ] ), rec(
474    fp:= [ 44031, 44670, 51669, 58650, 98754, 99324 ],
475    level:= 4,
476    next:= [ 898, 1191, 896, 893, 1140, 824 ] ), rec(
477    fp:= [ 1890, 7626, 12599, 54641, 76285 ],
478    level:= 4,
479    next:= [ 880, 1136, 1189, 810, rec(
480      desc:= [ 214004 ],
481      fp:= [ 4, 14 ],
482      next:= [ 884, 879 ] ) ] ), rec(
483    fp:= [ 26439, 46778 ],
484    level:= 4,
485    next:= [ rec(
486      fp:= [ 47807, 97979 ],
487      next:= [ 672, 673 ] ), rec(
488      fp:= [ 20410, 75181 ],
489      next:= [ 668, 669 ] ) ] ), rec(
490    fp:= [ 33294, 40736, 48178 ],
491    level:= 4,
492    next:= [ 1219, 1228, 1210 ] ), rec(
493    fp:= [ 3467, 9050, 13142, 19767, 25418, 81634 ],
494    level:= 4,
495    next:= [ 1187, 1132, 873, 870, 797, 1856 ] ), rec(
496    fp:= [ 15896, 74658 ],
497    level:= 4,
498    next:= [ 3282, 3283 ] ), 1924,, 48, rec(
499    fp:= [ 26743, 42244, 53066, 70031, 74710, 95402 ],
500    level:= 4,
501    next:= [ rec(
502      fp:= [ 7937, 18457 ],
503      next:= [ 2604, 1007 ] ), 2303, 2250, rec(
504      fp:= [ 1383, 24917 ],
505      next:= [ 1107, 2656 ] ), 2300, 3025 ] ), 1921, rec(
506    fp:= [ 72919, 72929, 73009, 76318, 85319, 85399 ],
507    next:= [ rec(
508      fp:= [ 32374, 33294, 40736, 63378 ],
509      next:= [ 568, 578, 569, 577 ] ), rec(
510      fp:= [ 51686, 71389 ],
511      next:= [ 580, 571 ] ), rec(
512      fp:= [ 6051, 16873, 47877 ],
513      next:= [ 1548, 1598, rec(
514        desc:= [ 105003 ],
515        fp:= [ 2, 12 ],
516        next:= [ 1545, 1546 ] ) ] ), rec(
517      fp:= [ 17449, 59325 ],
518      next:= [ 595, 596 ] ), 598, rec(
519      fp:= [ 18083, 55826 ],
520      next:= [ 1513, 1540 ] ) ] ), rec(
521    fp:= [ 22803, 24482, 47150, 64330, 75449, 77640 ],
522    level:= 4,
523    next:= [ 2218, 1421, 1944, 1482, 1727, 1422 ] ), rec(
524    fp:= [ 7835, 87157 ],
525    level:= 4,
526    next:= [ rec(
527      fp:= [ 72658, 88454 ],
528      next:= [ 2096, 676 ] ), rec(
529      fp:= [ 40321, 41519 ],
530      next:= [ 2100, 677 ] ) ] ), rec(
531    fp:= [ 3387, 37321, 70706 ],
532    level:= 5,
533    next:= [ 2161, 2157, 2156 ] ), rec(
534    fp:= [ 7929, 42686, 44738, 67091, 84366 ],
535    level:= 4,
536    next:= [ 1825, 3548, rec(
537      fp:= [ 27862, 48150 ],
538      next:= [ 3546, 2919 ] ), rec(
539      fp:= [ 2093, 45959, 62862 ],
540      next:= [ 2997, 3588, 3003 ] ), rec(
541      fp:= [ 35509, 46588 ],
542      next:= [ 2924, 3547 ] ) ] ), rec(
543    fp:= [ 38422, 74125 ],
544    level:= 4,
545    next:= [ 1859, 1916 ] ), rec(
546    fp:= [ 4448, 35958, 45029 ],
547    next:= [ rec(
548      fp:= [ 639, 12710 ],
549      next:= [ 50, 49 ] ), 52, 636 ] ), rec(
550    fp:= [ 26597, 81654 ],
551    level:= 4,
552    next:= [ 1857, 1914 ] ), rec(
553    fp:= [ 10383, 11207 ],
554    level:= 4,
555    next:= [ 329, 263 ] ), rec(
556    fp:= [ 12034, 42684, 48082, 94913 ],
557    level:= 4,
558    next:= [ 688, rec(
559      fp:= [ 50121, 64573 ],
560      next:= [ 689, 2113 ] ), 2130, 699 ] ), rec(
561    fp:= [ 76318, 85319, 85399 ],
562    next:= [ rec(
563      fp:= [ 10938, 13820, 40991, 71044, 84703, 99092 ],
564      next:= [ 622, 623, 613, 604, 605, 614 ] ), rec(
565      fp:= [ 23451, 72007, 74556 ],
566      next:= [ 616, 607, 625 ] ), rec(
567      fp:= [ 3882, 17871, 21337, 35326, 47924, 65379, 86088 ],
568      next:= [ 1514, 1588, 1515, 1587, 1576, 1575, 1516 ] ) ] ),, rec(
569    fp:= [ 69247, 79566 ],
570    next:= [ 223, rec(
571      fp:= [ 12980, 27369, 33319, 42130, 47708, 62469, 82808 ],
572      next:= [ rec(
573        fp:= [ 14245, 59688 ],
574        next:= [ 382, 388 ] ), rec(
575        fp:= [ 14442, 63625 ],
576        next:= [ 414, 408 ] ), rec(
577        fp:= [ 8825, 29094 ],
578        next:= [ 387, 381 ] ), rec(
579        fp:= [ 5332, 5658 ],
580        next:= [ 242, 257 ] ), rec(
581        fp:= [ 51300, 97891 ],
582        next:= [ 413, 407 ] ), rec(
583        fp:= [ 2076, 33810 ],
584        next:= [ 256, 241 ] ), rec(
585        fp:= [ 13821, 31916 ],
586        next:= [ 238, 253 ] ) ] ) ] ), rec(
587    fp:= [ 15459, 19563, 35864, 35988, 38020, 39760, 56061, 56269, 58009,
58875202, 76466, 77254, 79990, 92769, 94819 ],
589    level:= 4,
590    next:= [ 3186, 3564, 3188, 1120, rec(
591      fp:= [ 5221, 80595 ],
592      next:= [ 2319, 3359 ] ), 3594, rec(
593      fp:= [ 26108, 59412 ],
594      next:= [ 3357, 2323 ] ), 3187, rec(
595      fp:= [ 49441, 98812 ],
596      next:= [ 2659, 3471 ] ), 3370, rec(
597      fp:= [ 53390, 57910 ],
598      next:= [ 3354, 2314 ] ), rec(
599      fp:= [ 12469, 81319 ],
600      next:= [ 2269, 3350 ] ), rec(
601      fp:= [ 18260, 54889 ],
602      next:= [ 2609, 3464 ] ), 1034, 3372 ] ), rec(
603    fp:= [ 23011, 33812, 41364 ],
604    level:= 4,
605    next:= [ 3178, 3132, 3133 ] ), rec(
606    fp:= [ 19774, 31641 ],
607    next:= [ rec(
608      fp:= [ 40651, 44031, 44670, 51669, 58650, 93227, 98754 ],
609      next:= [ rec(
610        desc:= [ 104003 ],
611        fp:= [ 2, 12 ],
612        next:= [ 496, 497 ] ), 197, 553, 196, 195, rec(
613        desc:= [ 105003 ],
614        fp:= [ 2, 12 ],
615        next:= [ rec(
616          desc:= [ 106003 ],
617          fp:= [ 2, 12 ],
618          next:= [ 193, 192 ] ), 194 ] ), 498 ] ), rec(
619      fp:= [ 7987, 13054, 20027, 66287, 88535 ],
620      next:= [ 116, 494, 458, 110, 111 ] ) ] ), rec(
621    fp:= [ 19764, 31631 ],
622    next:= [ rec(
623      fp:= [ 3467, 9050, 13142, 19767, 74124, 81634, 89967, 94059 ],
624      next:= [ 551, 486, 181, 180, 787, 790, rec(
625        desc:= [ 104003 ],
626        fp:= [ 2, 12 ],
627        next:= [ 484, 485 ] ), rec(
628        desc:= [ 105003 ],
629        fp:= [ 4, 212 ],
630        next:= [ 183, 182 ] ) ] ), rec(
631      fp:= [ 3439, 31821, 37864, 50033, 52218, 98532 ],
632      next:= [ 482, 789, 81, 80, 785, 448 ] ) ] ), rec(
633    fp:= [ 3855, 61546, 69977, 79899 ],
634    level:= 4,
635    next:= [ rec(
636      fp:= [ 19485, 28194 ],
637      next:= [ 3024, 3592 ] ), rec(
638      fp:= [ 19316, 63139 ],
639      next:= [ 3555, 2945 ] ), 1855, 3556 ] ), rec(
640    fp:= [ 29619, 44738, 48842, 67091, 67600, 72119, 84366 ],
641    level:= 4,
642    next:= [ rec(
643      fp:= [ 56525, 68969 ],
644      next:= [ 2940, 2928 ] ), 2926, rec(
645      fp:= [ 41598, 51197, 67472 ],
646      next:= [ 2938, 2931, 2933 ] ), rec(
647      fp:= [ 47847, 86998 ],
648      next:= [ 3005, 3007 ] ), 2936, 2937, 2934 ] ), rec(
649    fp:= [ 53647, 68907 ],
650    next:= [ rec(
651      fp:= [ 1374, 13407, 21001, 26743, 30693, 48389, 60981, 62349, 63764,
65268278, 70031, 71999, 73834, 81966, 94819, 95402, 97368 ],
653      next:= [ rec(
654        fp:= [ 1457, 30113 ],
655        next:= [ rec(
656          desc:= [ 105003 ],
657          fp:= [ 2, 12 ],
658          next:= [ 1676, 1677 ] ), rec(
659          desc:= [ 106003 ],
660          fp:= [ 2, 12 ],
661          next:= [ 362, 363 ] ) ] ), 1711, rec(
662        desc:= [ 107003 ],
663        fp:= [ 2, 12 ],
664        next:= [ 350, 351 ] ), rec(
665        fp:= [ 48421, 79986 ],
666        next:= [ 367, 1679 ] ), 355, 2206, rec(
667        desc:= [ 105003 ],
668        fp:= [ 2, 12 ],
669        next:= [ 1658, 1659 ] ), 2202, 444, 440, rec(
670        fp:= [ 62592, 80506 ],
671        next:= [ 1714, 442 ] ), rec(
672        desc:= [ 106003 ],
673        fp:= [ 2, 12 ],
674        next:= [ 374, 375 ] ), 1661, rec(
675        desc:= [ 104002, 113007, 113011, 213005 ],
676        fp:= [ 40, 3614 ],
677        next:= [ 1336, 1334 ] ), rec(
678        fp:= [ 7689, 44075 ],
679        next:= [ rec(
680          desc:= [ 213005 ],
681          fp:= [ 16, 422 ],
682          next:= [ 1339, 1341 ] ), 2212 ] ), 2215, 379 ] ), rec(
683      fp:= [ 19985, 22274, 33145, 34863, 37057, 50360, 54130, 68609, 71296,
68478801, 96739, 97662 ],
685      next:= [ rec(
686        fp:= [ 15250, 58042 ],
687        next:= [ 285, 1634 ] ), 2214, 1619, 275, 346, 2211, rec(
688        fp:= [ 6425, 97250 ],
689        next:= [ rec(
690          desc:= [ 214005 ],
691          fp:= [ 8, 216 ],
692          next:= [ 1276, 1287 ] ), 2200 ] ), 1653, rec(
693        fp:= [ 20549, 61536 ],
694        next:= [ 1671, 358 ] ), 295, 2204, 370 ] ) ] ), rec(
695    fp:= [ 53637, 68897 ],
696    next:= [ rec(
697      fp:= [ 5922, 7290, 19563, 35988, 38020, 39760, 56061, 58009, 63613,
69876466, 79990, 80814, 81966, 85966, 92769, 94819 ],
699      next:= [ rec(
700        fp:= [ 57004, 92435 ],
701        next:= [ rec(
702          desc:= [ 106003 ],
703          fp:= [ 2, 12 ],
704          next:= [ 1655, 1656 ] ), rec(
705          desc:= [ 105003 ],
706          fp:= [ 2, 12 ],
707          next:= [ 2857, 2858 ] ) ] ), 3304, 3100, 441, rec(
708        fp:= [ 34234, 42687 ],
709        next:= [ 1338, 2747 ] ), 3307, rec(
710        fp:= [ 26902, 86572 ],
711        next:= [ 2745, 1340 ] ), rec(
712        fp:= [ 28163, 63108 ],
713        next:= [ 2864, 1710 ] ), rec(
714        fp:= [ 60297, 63810 ],
715        next:= [ rec(
716          desc:= [ 117007 ],
717          fp:= [ 32, 2814 ],
718          next:= [ 1333, rec(
719            desc:= [ 108003 ],
720            fp:= [ 2, 12 ],
721            next:= [ 1332, 1335 ] ) ] ), rec(
722          desc:= [ 112007 ],
723          fp:= [ 52, 4814 ],
724          next:= [ rec(
725            desc:= [ 107003 ],
726            fp:= [ 2, 12 ],
727            next:= [ 2749, 2750 ] ), 2748 ] ) ] ), rec(
728        fp:= [ 32515, 49272 ],
729        next:= [ 1337, 2746 ] ), rec(
730        fp:= [ 85459, 96024 ],
731        next:= [ 1660, 2859 ] ), rec(
732        desc:= [ 106003 ],
733        fp:= [ 2, 12 ],
734        next:= [ 353, 354 ] ), 2758, 3101, 356, 2757 ] ), rec(
735      fp:= [ 13550, 25877, 27555, 35777, 37187, 40569, 54130, 55644, 62375,
73694962, 97614, 98732 ],
737      next:= [ rec(
738        fp:= [ 62659, 93621 ],
739        next:= [ 2855, 1651 ] ), 3104, 348, rec(
740        fp:= [ 15654, 86322 ],
741        next:= [ 2730, 1274 ] ), 3105, 280, 2752, rec(
742        fp:= [ 60028, 91046 ],
743        next:= [ 2731, 1275 ] ), rec(
744        fp:= [ 32353, 66635 ],
745        next:= [ 1286, 2729 ] ), 3306, rec(
746        fp:= [ 68276, 92193 ],
747        next:= [ 2850, 1615 ] ), 3302 ] ) ] ), 633, rec(
748    fp:= [ 394, 7836, 15892, 41261, 48703, 66630, 74686, 82128 ],
749    level:= 4,
750    next:= [ rec(
751      fp:= [ 20765, 46739 ],
752      next:= [ 1080, 1086 ] ), rec(
753      fp:= [ 59152, 76135 ],
754      next:= [ 1059, 1053 ] ), rec(
755      fp:= [ 58483, 80257 ],
756      next:= [ 1001, 1013 ] ), rec(
757      fp:= [ 59401, 63307 ],
758      next:= [ 1016, 1004 ] ), rec(
759      fp:= [ 19263, 71567 ],
760      next:= [ 1106, 1112 ] ), rec(
761      fp:= [ 50269, 65907 ],
762      next:= [ 1003, 1015 ] ), rec(
763      fp:= [ 14673, 45102 ],
764      next:= [ 1079, 1085 ] ), rec(
765      fp:= [ 65115, 84306 ],
766      next:= [ 1054, 1060 ] ) ] ), rec(
767    fp:= [ 56600, 59307, 64631, 74422, 75702, 77526, 79910 ],
768    level:= 4,
769    next:= [ rec(
770      fp:= [
771264610043361190987188466121084230057112903261795566263330326743614008800771568\
7726159,
773264610043361850589350836236947818713988259363384429769649427416829366362226396\
7745455 ],
775      func:= 11,
776      next:= [ 3522, 3521 ],
777      pos:= [ 7, 8 ] ), 3177, 3520, 3523, 3175, 3176, 3509 ] ), 3275, rec(
778    fp:= [ 5045, 29833, 30416, 48082, 74056, 94913 ],
779    level:= 4,
780    next:= [ rec(
781      fp:= [ 46772, 87168 ],
782      next:= [ 2187, 775 ] ), 2915, 2914, 2188, 776, 777 ] ), rec(
783    fp:= [ 58185, 58275, 59194, 68275 ],
784    next:= [ rec(
785      fp:= [ 19011, 32374, 63378, 71098 ],
786      next:= [ 1756, rec(
787        fp:= [ 1554, 89811 ],
788        next:= [ 1754, 1753 ] ), rec(
789        fp:= [ 21919, 99644 ],
790        next:= [ 1757, 1758 ] ), 1752 ] ), rec(
791      fp:= [ 31760, 71782, 79334 ],
792      next:= [ 2832, 2827, rec(
793        desc:= [ 105003 ],
794        fp:= [ 2, 12 ],
795        next:= [ 2825, 2826 ] ) ] ), rec(
796      fp:= [ 17449, 26639 ],
797      next:= [ rec(
798        fp:= [ 13770, 56276 ],
799        next:= [ 1766, 1765 ] ), 1764 ] ), rec(
800      fp:= [ 78096, 86962 ],
801      next:= [ 2818, 2823 ] ) ] ), rec(
802    fp:= [ 23011, 32888, 35864 ],
803    level:= 4,
804    next:= [ rec(
805      fp:= [ 35832, 53899 ],
806      next:= [ 1994, 1962 ] ), 1995, 1963 ] ), 59, 2689, rec(
807    fp:= [ 38670, 56125, 73580, 94166 ],
808    level:= 4,
809    next:= [ 1958, 1957, 1956, 2899 ] ), 2884, rec(
810    fp:= [ 5027, 56432, 67049, 84506 ],
811    level:= 4,
812    next:= [ 2523, 2533, 2536, 2516 ] ), rec(
813    fp:= [ 418, 1374, 5099, 11240, 11464, 16651, 16875, 26743, 32884, 36833,
81448387, 52112, 53066, 58477, 69299, 73756, 74710, 79391, 94668, 94892, 95400 ],
815    level:= 4,
816    next:= [ rec(
817      fp:= [ 78304, 91246 ],
818      next:= [ 2305, 2311 ] ), rec(
819      fp:= [ 19168, 29867 ],
820      next:= [ 1005, 2600 ] ), rec(
821      fp:= [ 15392, 80827 ],
822      next:= [ 1082, 2644 ] ), 2252, 2240, 2310, 2306, rec(
823      fp:= [ 19423, 93433 ],
824      next:= [ 1009, 2606 ] ), 2304, 2245, rec(
825      fp:= [ 12534, 98194 ],
826      next:= [ 2630, 1056 ] ), rec(
827      fp:= [ 14192, 21762 ],
828      next:= [ 1008, 2605 ] ), rec(
829      fp:= [ 61429, 84574 ],
830      next:= [ 2242, 2244 ] ), 2301, 2241, rec(
831      fp:= [ 54598, 59282 ],
832      next:= [ 1055, 2629 ] ), 2302, rec(
833      fp:= [ 74735, 97656 ],
834      next:= [ 2643, 1081 ] ), 2251, 2243, rec(
835      fp:= [ 49032, 89116 ],
836      next:= [ 2658, 1109 ] ) ] ), rec(
837    fp:= [ 22029, 50031, 66568, 93688 ],
838    level:= 4,
839    next:= [ 1959, 1960, 2900, 1961 ] ), rec(
840    fp:= [ 32460, 75411 ],
841    level:= 4,
842    next:= [ 967, 982 ] ), 60, rec(
843    fp:= [ 82145, 97356 ],
844    level:= 5,
845    next:= [ 2093, 2094 ] ), rec(
846    fp:= [ 4658, 17511, 23011, 35864, 67613, 96767 ],
847    level:= 4,
848    next:= [ 3139, 3137, 3145, 3144, rec(
849      desc:= [ 107003 ],
850      fp:= [ 2, 12 ],
851      next:= [ 3179, 3180 ] ), 3138 ] ), rec(
852    fp:= [ 15463, 95965 ],
853    level:= 4,
854    next:= [ 708, 712 ] ), rec(
855    fp:= [ 5262, 38608 ],
856    level:= 4,
857    next:= [ rec(
858      fp:= [ 34389, 77199 ],
859      next:= [ 1117, 1113 ] ), rec(
860      fp:= [ 65749, 87061 ],
861      next:= [ 1026, 1019 ] ) ] ), 2881, rec(
862    fp:= [ 62623, 74435, 92684 ],
863    level:= 4,
864    next:= [ 693, 3539, rec(
865      fp:= [ 9574, 54832, 70908 ],
866      next:= [ 3281, 2131, 2117 ] ) ] ), 33, 1, 769, rec(
867    fp:= [ 5922, 7290, 63613, 80814, 81966, 85966 ],
868    level:= 4,
869    next:= [ rec(
870      fp:= [ 40486, 89594 ],
871      next:= [ 1654, 2856 ] ), 3303, rec(
872      fp:= [ 12615, 77560 ],
873      next:= [ 1330, 2744 ] ), 352, 2756, 3099 ] ), rec(
874    fp:= [ 57729, 68424, 98154 ],
875    level:= 4,
876    next:= [ 1240, 648, 1937 ] ), rec(
877    fp:= [ 15494, 21337, 23636, 60721, 78715, 81614, 86857 ],
878    level:= 4,
879    next:= [ rec(
880      fp:= [ 65771, 96038 ],
881      next:= [ 394, 390 ] ), rec(
882      fp:= [ 29131, 62850 ],
883      next:= [ 271, 261 ] ), rec(
884      fp:= [ 41771, 86457 ],
885      next:= [ 420, 416 ] ), rec(
886      fp:= [ 8863, 46884 ],
887      next:= [ 262, 272 ] ), rec(
888      fp:= [ 18368, 69357 ],
889      next:= [ 393, 389 ] ), rec(
890      fp:= [ 75934, 78209 ],
891      next:= [ 268, 258 ] ), rec(
892      fp:= [ 3210, 56536 ],
893      next:= [ 415, 419 ] ) ] ), rec(
894    fp:= [ 40056, 46161, 95685 ],
895    level:= 4,
896    next:= [ 2895, 2894, 2893 ] ), rec(
897    fp:= [ 67111, 99147 ],
898    next:= [ rec(
899      fp:= [ 15199, 79656 ],
900      next:= [ 21, 22 ] ), 24 ] ), rec(
901    fp:= [ 5455, 39915 ],
902    level:= 4,
903    next:= [ rec(
904      fp:= [ 40641, 60065 ],
905      next:= [ 1508, 1528 ] ), rec(
906      fp:= [ 38112, 76914 ],
907      next:= [ 1561, 1537 ] ) ] ), rec(
908    fp:= [ 1890, 17056, 34174, 37748, 43226, 54641, 57286, 57569, 61368,
90962095, 63168, 69261, 76285, 86063, 88288, 89595, 92298, 94193, 94561, 96384 ],
910    level:= 4,
911    next:= [ 2486, 2368, 2408, 2367, 2411, 2461, 3028, 2002, 2970, 2004,
9122034, 2414, 2483, 2417, 2685, 2405, 2005, 2670, 2003, 2410 ] ), rec(
913    fp:= [ 40651, 93227 ],
914    level:= 4,
915    next:= [ 495, 191 ] ), rec(
916    fp:= [ 13849, 53349 ],
917    level:= 4,
918    next:= [ rec(
919      fp:= [ 65178, 96501 ],
920      next:= [ 667, 666 ] ), rec(
921      fp:= [ 47597, 64244 ],
922      next:= [ 665, 664 ] ) ] ), rec(
923    fp:= [ 3115, 12746, 41696 ],
924    level:= 4,
925    next:= [ 3493, 3490, 3492 ] ), rec(
926    fp:= [ 74124, 89967, 94059 ],
927    level:= 4,
928    next:= [ 786, 483, 179 ] ), 634, rec(
929    fp:= [ 62623, 74435, 92684 ],
930    level:= 4,
931    next:= [ 783, 3542, rec(
932      fp:= [ 65956, 85955 ],
933      next:= [ 2194, 3293 ] ) ] ), rec(
934    fp:= [ 26668, 78267 ],
935    level:= 4,
936    next:= [ 1782, 1833 ] ), rec(
937    fp:= [ 255, 9325, 12555, 18331, 19531, 20034, 20406, 20594, 26134, 30693,
93831997, 38670, 39870, 44754, 48384, 51032, 52982, 54424, 58080, 59999, 60152,
93968723, 71231, 71371, 71406, 71538, 80984, 88001, 91693, 91877, 99233 ],
940    level:= 4,
941    next:= [ 430, rec(
942      fp:= [ 45648, 74694 ],
943      next:= [ 1290, 1280 ] ), rec(
944      fp:= [ 42359, 74968 ],
945      next:= [ 1637, 283 ] ), rec(
946      fp:= [ 22954, 55641 ],
947      next:= [ 1706, 426 ] ), 404, 1686, 421, 429, 395, 297, 1622, rec(
948      fp:= [ 42395, 53582 ],
949      next:= [ 425, 1707 ] ), 403, 273, rec(
950      fp:= [ 73471, 82442 ],
951      next:= [ 1692, 400 ] ), 296, rec(
952      fp:= [ 32153, 69131 ],
953      next:= [ 1282, 1299 ] ), 422, 276, 1620, 396, rec(
954      fp:= [ 67135, 96024 ],
955      next:= [ 1693, 399 ] ), 1701, 293, 277, rec(
956      fp:= [ 91901, 99325 ],
957      next:= [ 1636, 287 ] ), rec(
958      fp:= [ 19639, 30006 ],
959      next:= [ 1277, rec(
960        desc:= [ 214005 ],
961        fp:= [ 8, 216 ],
962        next:= [ 1296, 1293 ] ) ] ), 1621, 1687, rec(
963      fp:= [ 40016, 65577 ],
964      next:= [ 286, 1635 ] ), 1700 ] ), rec(
965    fp:= [ 7929, 8837, 9302, 32271, 32691, 34064, 59439, 67600, 69240, 72119,
96676193, 82828, 84201 ],
967    level:= 4,
968    next:= [ rec(
969      fp:= [ 46189, 55629 ],
970      next:= [ 1842, 1837 ] ), 1788, 1840, 1786, 1835, 1831, rec(
971      fp:= [ 1052, 62857 ],
972      next:= [ 1838, 1832 ] ), 1783, 1784, 1787, 1790, 1836, rec(
973      fp:= [ 24170, 82272 ],
974      next:= [ 1830, 1839 ] ) ] ), 1204, rec(
975    fp:= [ 1851, 29619, 37827, 48842, 54998, 96678 ],
976    level:= 4,
977    next:= [ 3589, 3552, 3549, 3553, 3551, 3550 ] ), rec(
978    fp:= [ 1573, 36654, 71499, 71735, 74779, 78059, 81339 ],
979    level:= 4,
980    next:= [ 230, rec(
981      fp:= [ 70565, 70916 ],
982      next:= [ 237, 232 ] ), rec(
983      fp:= [ 66523, 92801 ],
984      next:= [ 226, 233 ] ), 231, rec(
985      fp:= [ 40688, 56488 ],
986      next:= [ 234, 227 ] ), 235, 228 ] ), 1201, rec(
987    fp:= [ 7835, 9271, 21475, 29610, 70301, 83605, 87157, 98303 ],
988    level:= 4,
989    next:= [ rec(
990      fp:= [ 34463, 66212 ],
991      next:= [ 671, 2097 ] ), 674, 695, 670, 2124, 697, rec(
992      fp:= [ 42796, 56543 ],
993      next:= [ 2101, 675 ] ), 2126 ] ), rec(
994    fp:= [ 8802, 45508, 57675, 87478 ],
995    level:= 4,
996    next:= [ rec(
997      fp:= [ 53656, 80739 ],
998      next:= [ 3040, 3037 ] ), 3038, 3041, rec(
999      fp:= [ 52774, 99495 ],
1000      next:= [ 3076, 2985 ] ) ] ), rec(
1001    fp:= [ 32315, 42048, 49889, 51781, 69355 ],
1002    level:= 4,
1003    next:= [ 3531, 3537, 3576, 3536, 3581 ] ), rec(
1004    fp:= [ 6112, 18177 ],
1005    level:= 4,
1006    next:= [ 3442, 3441 ] ), rec(
1007    fp:= [ 25831, 34987, 36937, 45522, 45917, 46312, 67925, 74188, 88809,
100892554 ],
1009    level:= 4,
1010    next:= [ 1969, 1966, 2903, 1979, 1978, 1980, 1967, 2901, 2906,
10111968 ] ), rec(
1012    fp:= [ 19985, 22274, 33145, 34863, 37057, 39777, 50360, 54130, 68609,
101371296, 78801, 96739, 97662 ],
1014    level:= 4,
1015    next:= [ rec(
1016      fp:= [ 30393, 47609 ],
1017      next:= [ 284, 1633 ] ), 2213, 1618, 274, 345, 2966, 2210, rec(
1018      fp:= [ 17238, 34713 ],
1019      next:= [ rec(
1020        desc:= [ 215005 ],
1021        fp:= [ 6, 16 ],
1022        next:= [ 1273, 1285 ] ), 2199 ] ), 1652, rec(
1023      fp:= [ 90837, 93178 ],
1024      next:= [ 1670, 357 ] ), 294, 2203, 369 ] ), rec(
1025    fp:= [ 1573, 57216, 74779 ],
1026    level:= 4,
1027    next:= [ rec(
1028      fp:= [ 15647, 78366 ],
1029      next:= [ 1505, 1500 ] ), rec(
1030      fp:= [ 28814, 81116 ],
1031      next:= [ 1506, 1501 ] ), rec(
1032      fp:= [ 1823, 25240, 58425, 88940 ],
1033      next:= [ 1499, 1498, 1502, 1503 ] ) ] ), rec(
1034    fp:= [ 96483, 96573 ],
1035    next:= [ rec(
1036      fp:= [ 906, 94703 ],
1037      next:= [ 3078, rec(
1038        fp:= [ 52116, 59816 ],
1039        next:= [ 3079, 3080 ] ) ] ), 3605 ] ), rec(
1040    fp:= [ 68417, 68427, 68507 ],
1041    next:= [ rec(
1042      fp:= [ 1370, 32374, 33294, 40736, 48178, 63378 ],
1043      next:= [ 1211, 1229, 1221, 1230, 1212, 1220 ] ), rec(
1044      fp:= [ 51686, 71389, 91092 ],
1045      next:= [ 1223, 1232, 1214 ] ), rec(
1046      fp:= [ 640, 6051, 11462, 42466, 47877, 63886, 69297, 74708 ],
1047      next:= [ 2578, 2546, 2566, 2577, 2540, 2545, 2565, 2590 ] ) ] ),
10483077, rec(
1049    fp:= [ 1151, 1495, 19400, 29569, 52810, 66557, 90229 ],
1050    level:= 4,
1051    next:= [ 1238, 39, 644, 35, 1239, rec(
1052      fp:= [ 78298, 86021 ],
1053      next:= [ 37, 647 ] ), 1936 ] ), rec(
1054    fp:= [ 11080, 47438 ],
1055    level:= 4,
1056    next:= [ 3049, 3042 ] ), rec(
1057    fp:= [ 5045, 30416 ],
1058    level:= 4,
1059    next:= [ rec(
1060      fp:= [ 42615, 98615 ],
1061      next:= [ 782, 2193 ] ), 2916 ] ), rec(
1062    fp:= [ 22571, 40604 ],
1063    level:= 4,
1064    next:= [ rec(
1065      fp:= [ 84260, 94100 ],
1066      next:= [ 3069, 1902 ] ), 3031 ] ), rec(
1067    fp:= [ 12587, 41020 ],
1068    level:= 5,
1069    next:= [ 1905, 1907 ] ), rec(
1070    fp:= [ 19011, 23524, 71098 ],
1071    level:= 4,
1072    next:= [ 3485, 3484, 3486 ] ), rec(
1073    fp:= [ 30222, 36274 ],
1074    level:= 5,
1075    next:= [ 1565, 1541 ] ), rec(
1076    fp:= [ 17581, 26117, 41082, 57675, 60075, 70240, 93741 ],
1077    level:= 4,
1078    next:= [ 1917, 1860, 1919, 1861, 1862, 1920, 1918 ] ), 630, rec(
1079    fp:= [ 2549, 5277 ],
1080    next:= [ rec(
1081      fp:= [ 5027, 6112, 67049 ],
1082      next:= [ rec(
1083        fp:= [ 34655, 41479, 47889, 81468 ],
1084        next:= [ 2514, 2510, 2511, 2515 ] ), rec(
1085        fp:= [ 11494, 49519 ],
1086        next:= [ 2513, 2532 ] ), rec(
1087        fp:= [ 5237, 51449 ],
1088        next:= [ 2512, 2531 ] ) ] ), 3287 ] ), rec(
1089    fp:= [ 23334, 41261 ],
1090    level:= 4,
1091    next:= [ rec(
1092      fp:= [ 34718, 97978 ],
1093      next:= [ 1111, 1105 ] ), rec(
1094      fp:= [ 42781, 46687 ],
1095      next:= [ 1014, 1002 ] ) ] ), rec(
1096    fp:= [ 22140, 62721 ],
1097    next:= [ rec(
1098      fp:= [ 12710, 77091 ],
1099      next:= [ rec(
1100        fp:= [ 8682, 93988 ],
1101        next:= [ 652, 653 ] ), 651 ] ), 1930 ] ), rec(
1102    fp:= [ 5329, 11426, 12766, 17092, 18293, 21137, 24529, 24872, 26803,
110332900, 37996, 38566, 40651, 46003, 47994, 52984, 57196, 59851, 63414, 66087,
110474458, 77850, 79554, 80124, 84066, 86221, 87561, 91887, 93227, 98754, 99324 ],
1105    level:= 4,
1106    next:= [ 894, 826, 817, 897, 1178, 821, 818, 901, 899, 825, 1163, 904,
11071139, 823, 900, 815, 1141, 1177, 1192, 814, 820, 816, 1164, 895, 903, 827,
1108819, 902, 892, 1142, 822 ] ), rec(
1109    fp:= [ 30732, 46167 ],
1110    level:= 4,
1111    next:= [ 64, 71 ] ), rec(
1112    fp:= [ 49, 3399, 9050, 14701, 19767, 22143, 25418, 27794, 38511, 50787,
111353192, 62229, 66285, 66321, 71936, 78561, 89967, 91654, 94059, 95618, 97305 ],
1114    level:= 4,
1115    next:= [ 794, 1160, 1134, 1174, 872, 1159, rec(
1116      fp:= [ 51665, 67131 ],
1117      next:= [ 795, 793 ] ), 1133, rec(
1118      fp:= [ 49709, 77256 ],
1119      next:= [ 875, 878 ] ), 799, 791, 1188, 871, 874, 796, 792, 1131, 877,
1120876, 1173, 798 ] ), rec(
1121    fp:= [ 6832, 6912, 96912 ],
1122    next:= [ rec(
1123      fp:= [ 26600, 31587, 63145, 94703 ],
1124      next:= [ 1929, 1928, 1926, 1927 ] ), rec(
1125      fp:= [ 61229, 76670 ],
1126      next:= [ 3065, 3067 ] ), rec(
1127      fp:= [ 42876, 82214 ],
1128      next:= [ rec(
1129        fp:= [ 33629, 45922 ],
1130        next:= [ 3606, 3064 ] ), 3597 ] ) ] ), 1934, 1759, rec(
1131    fp:= [ 36907, 36997 ],
1132    next:= [ rec(
1133      fp:= [ 1370, 19011, 23524, 32374, 63378, 71098 ],
1134      next:= [ rec(
1135        fp:= [ 15042, 92266 ],
1136        next:= [ 2696, 2695 ] ), 2698, 2694, rec(
1137        fp:= [ 83389, 93229 ],
1138        next:= [ 2703, 2704 ] ), rec(
1139        fp:= [ 21919, 99644 ],
1140        next:= [ 2699, 2700 ] ), 2702 ] ), rec(
1141      fp:= [ 24208, 44219, 51771, 64230, 71782, 79334, 91793, 99345 ],
1142      next:= [ 3452, 3447, 3448, 3445, 3446, 3443, 3450, 3449 ] ) ] ), rec(
1143    fp:= [ 19480, 19850, 38224, 39009 ],
1144    level:= 4,
1145    next:= [ 2138, 2133, 2139, 2132 ] ), rec(
1146    fp:= [ 183, 6704, 10310, 28185, 36937, 45150, 45522, 45917, 46312, 51243,
114751671, 61398, 73152, 74920 ],
1148    level:= 4,
1149    next:= [ 1974, 1983, 2904, 1972, 2905, 1971, 1989, 1988, 1990, 2907,
11501984, 1985, 1973, 2902 ] ), 1747, rec(
1151    fp:= [ 35375, 89866 ],
1152    level:= 5,
1153    next:= [ 1904, 1901 ] ), rec(
1154    fp:= [ 53889, 61318 ],
1155    level:= 4,
1156    next:= [ rec(
1157      fp:= [ 47225, 55738, 93851 ],
1158      next:= [ 2145, 2154, 2144 ] ), rec(
1159      fp:= [ 105, 23051, 77247 ],
1160      next:= [ 2148, 2149, 2155 ] ) ] ), rec(
1161    fp:= [ 72919, 72929, 73009 ],
1162    next:= [ rec(
1163      fp:= [ 33294, 63378 ],
1164      next:= [ 560, 559 ] ), 562, 1544 ] ), 1845, rec(
1165    fp:= [ 35069, 73852 ],
1166    level:= 4,
1167    next:= [ rec(
1168      fp:= [ 34967, 68942 ],
1169      next:= [ 754, 753 ] ), rec(
1170      fp:= [ 16235, 81921 ],
1171      next:= [ 757, 758 ] ) ] ), rec(
1172    fp:= [ 18195, 51133, 53448, 82725 ],
1173    level:= 4,
1174    next:= [ 3082, 3081, 3085, 3084 ] ), rec(
1175    fp:= [ 4715, 17433, 61058, 94817 ],
1176    level:= 4,
1177    next:= [ 1779, 659, 658, 657 ] ), rec(
1178    fp:= [ 1498, 9309, 26559, 27308, 35132, 52965, 54528, 56521, 57771,
117964141, 67917, 69586, 74409, 80779, 84490, 84538, 87469, 92349, 95293 ],
1180    level:= 4,
1181    next:= [ 460, 114, 527, 121, 117, 107, 541, 528, 118, 120, 456, 113, 122,
1182124, 542, 459, 123, 112, 119 ] ), rec(
1183    fp:= [ 5027, 67049 ],
1184    level:= 4,
1185    next:= [ 2509, 2530 ] ), rec(
1186    fp:= [ 28985, 78537 ],
1187    level:= 5,
1188    next:= [ 2990, 2989 ] ), rec(
1189    fp:= [ 4711, 13550, 18938, 25877, 35777, 37187, 38608, 55644, 62375,
119067542, 78962, 87915, 94962, 97614, 98732 ],
1191    level:= 4,
1192    next:= [ 2898, 1731, rec(
1193      fp:= [ 12995, 81990 ],
1194      next:= [ rec(
1195        desc:= [ 214004 ],
1196        fp:= [ 2, 12 ],
1197        next:= [ 1386, 1393 ] ), 1460 ] ), 1950, 1404, 1951, 2968, 1405,
11981403, 1476, 2969, 1471, 2227, 1720, rec(
1199      fp:= [ 70172, 77994, 82575 ],
1200      next:= [ 2220, 1465, 1385 ] ) ] ), rec(
1201    fp:= [ 3078, 6400, 7302, 34079, 51095 ],
1202    level:= 4,
1203    next:= [ 2910, 2908, 2982, 2974, 2976 ] ), 3586, rec(
1204    fp:= [ 491, 17036, 28977, 29214, 31330, 31409, 48373, 49316, 50568,
120558594, 70535, 74955, 87366, 90874 ],
1206    level:= 4,
1207    next:= [ 446, 450, 83, 538, 84, 524, 537, 86, 523, 449, 85, 82, 87,
120888 ] ), rec(
1209    fp:= [ 5618, 22029, 28122, 50031, 54930, 66568, 77277, 82932, 83370,
121093688 ],
1211    level:= 4,
1212    next:= [ 3140, 3147, 3513, 3146, 3143, 3512, 3142, 3141, 3511,
12133148 ] ), rec(
1214    fp:= [ 2236, 3788, 5063, 5922, 8011, 9089, 10063, 10851, 14191, 15459,
121516433, 16641, 17221, 18403, 19169, 23011, 24773, 28312, 30074, 30468, 32416,
121636444, 37626, 41150, 43996, 48717, 49691, 50873, 54397, 55087, 56269, 57243,
121758031, 62349, 62639, 63613, 66743, 67940, 68914, 69122, 70884, 71686, 75202,
121875492, 77254, 79990, 80814, 80955, 81966, 83624, 83641, 88055, 90501, 92769,
121993237, 94819, 95897, 96477, 96871 ],
1220    level:= 4,
1221    next:= [ 1070, 3197, 1035, rec(
1222      fp:= [ 57004, 92435 ],
1223      next:= [ 2607, 3463 ] ), rec(
1224      fp:= [ 14432, 30407 ],
1225      next:= [ 3376, 3374 ] ), rec(
1226      fp:= [ 2971, 36383 ],
1227      next:= [ 3190, 3193 ] ), rec(
1228      fp:= [ 12538, 90465 ],
1229      next:= [ 3364, 2329 ] ), rec(
1230      fp:= [ 32454, 49668 ],
1231      next:= [ 2271, 3351 ] ), 1069, 3200, rec(
1232      fp:= [ 6999, 88956 ],
1233      next:= [ 3356, 2317 ] ), 3204, rec(
1234      fp:= [ 73609, 89047 ],
1235      next:= [ 2264, 3344 ] ), rec(
1236      fp:= [ 33044, 80573 ],
1237      next:= [ 2261, 3349 ] ), rec(
1238      fp:= [ 28718, 32923 ],
1239      next:= [ 3468, 2632 ] ), 3196, rec(
1240      fp:= [ 27861, 87841 ],
1241      next:= [ 2258, 3346 ] ), 3192, rec(
1242      fp:= [ 8988, 65469 ],
1243      next:= [ 2274, 3353 ] ), rec(
1244      fp:= [ 30658, 51026 ],
1245      next:= [ 3362, 2328 ] ), rec(
1246      fp:= [ 6056, 87646 ],
1247      next:= [ 3472, 2661 ] ), rec(
1248      fp:= [ 39507, 86691 ],
1249      next:= [ 3348, 2263 ] ), rec(
1250      fp:= [ 65476, 92030 ],
1251      next:= [ 3342, 2256 ] ), rec(
1252      fp:= [ 45048, 80606 ],
1253      next:= [ 2646, 3470 ] ), rec(
1254      fp:= [ 37159, 95161 ],
1255      next:= [ 3340, 2253 ] ), 3191, rec(
1256      fp:= [ 35636, 92144 ],
1257      next:= [ 3365, 2330 ] ), rec(
1258      fp:= [ 7478, 84582 ],
1259      next:= [ 3361, 2321 ] ), rec(
1260      fp:= [ 7249, 17082 ],
1261      next:= [ 2610, 3465 ] ), 3202, 3201, rec(
1262      fp:= [ 5317, 49328 ],
1263      next:= [ 3355, 2315 ] ), rec(
1264      fp:= [ 8736, 45427 ],
1265      next:= [ 3345, 2268 ] ), 3367, 3195, rec(
1266      fp:= [ 60297, 63810 ],
1267      next:= [ 2312, 3363 ] ), rec(
1268      fp:= [ 28095, 42913 ],
1269      next:= [ 3469, 2645 ] ), 3189, rec(
1270      fp:= [ 30449, 42179 ],
1271      next:= [ 3360, 2326 ] ), 3194, rec(
1272      fp:= [ 78185, 91670 ],
1273      next:= [ 2272, 3352 ] ), 1095, rec(
1274      fp:= [ 27714, 36416 ],
1275      next:= [ 3368, 3369 ] ), rec(
1276      fp:= [ 75123, 95289 ],
1277      next:= [ 3199, 3203 ] ), rec(
1278      fp:= [ 45844, 86116 ],
1279      next:= [ 3347, 2267 ] ), rec(
1280      fp:= [ 28224, 49372 ],
1281      next:= [ 3466, 2611 ] ), 1030, 1122, 3375, rec(
1282      fp:= [ 6733, 34741 ],
1283      next:= [ 3343, 2262 ] ), 1096, 3371, rec(
1284      fp:= [ 39649, 78940 ],
1285      next:= [ 3366, 2332 ] ), 1036, rec(
1286      fp:= [ 28703, 84549 ],
1287      next:= [ 2631, 3467 ] ), 3373, 3198, rec(
1288      fp:= [ 42508, 77900 ],
1289      next:= [ 3341, 2255 ] ), rec(
1290      fp:= [ 76833, 79950 ],
1291      next:= [ 3358, 2325 ] ) ] ), 3483, rec(
1292    fp:= [ 16477, 45588 ],
1293    level:= 5,
1294    next:= [ 28, 31 ] ), rec(
1295    fp:= [ 23451, 72007, 74556 ],
1296    level:= 4,
1297    next:= [ 615, 606, 624 ] ), rec(
1298    fp:= [ 6305, 12554, 26907, 40067, 41435, 53156, 53747, 57156, 69468,
129971509, 75509 ],
1300    level:= 4,
1301    next:= [ 3496, 3120, 2811, 2872, 3310, 2777, 3317, 3113, 3127, 2795,
13023106 ] ), rec(
1303    fp:= [ 44889, 45211 ],
1304    level:= 4,
1305    next:= [ rec(
1306      fp:= [ 33418, 93023 ],
1307      next:= [ 2595, 2587 ] ), rec(
1308      fp:= [ 28992, 92173 ],
1309      next:= [ 2541, 2557 ] ) ] ), rec(
1310    fp:= [ 39634, 67230 ],
1311    level:= 4,
1312    next:= [ rec(
1313      fp:= [ 16995, 87835 ],
1314      next:= [ 748, 747 ] ), rec(
1315      fp:= [ 26294, 53675 ],
1316      next:= [ 746, 745 ] ) ] ), rec(
1317    fp:= [ 65951, 78735 ],
1318    level:= 4,
1319    next:= [ rec(
1320      fp:= [ 42078, 90718 ],
1321      next:= [ 327, 339 ] ), rec(
1322      fp:= [ 95654, 96059 ],
1323      next:= [ 269, 259 ] ) ] ), rec(
1324    fp:= [ 7343, 78514 ],
1325    level:= 4,
1326    next:= [ 3543, 3494 ] ), rec(
1327    fp:= [ 68249, 90596 ],
1328    level:= 4,
1329    next:= [ 3273, 3274 ] ), rec(
1330    fp:= [ 7302, 27185, 30878, 39140, 40495, 52450 ],
1331    level:= 4,
1332    next:= [ rec(
1333      desc:= [ 106003 ],
1334      fp:= [ 2, 12 ],
1335      next:= [ 1996, 1997 ] ), 1981, 1970, 1982, 1964, 1965 ] ), rec(
1336    fp:= [ 55270, 60708 ],
1337    level:= 4,
1338    next:= [ 702, 727 ] ), rec(
1339    fp:= [ 2468, 11161, 24697, 27555, 30413, 32914, 33271, 40569, 67542,
134069977, 81414, 87915, 93596, 96290 ],
1341    level:= 4,
1342    next:= [ rec(
1343      desc:= [ 214005 ],
1344      fp:= [ 2, 12 ],
1345      next:= [ 163, 161 ] ), 467, 511, 499, 505, 126, 517, 462, 144, 472,
1346477, rec(
1347      desc:= [ 212005 ],
1348      fp:= [ 2, 12 ],
1349      next:= [ 145, 143 ] ), 162, rec(
1350      desc:= [ 212005 ],
1351      fp:= [ 2, 12 ],
1352      next:= [ 127, 125 ] ) ] ), rec(
1353    fp:= [ 10938, 40991, 71044 ],
1354    level:= 4,
1355    next:= [ 1775, 1771, 1767 ] ), rec(
1356    fp:= [ 32248, 33621, 50707, 56794, 63427, 67600, 72119, 78714, 84423 ],
1357    level:= 4,
1358    next:= [ 2932, 2930, 2925, 2927, 3006, 2935, 2939, 2929, 3004 ] ), rec(
1359    fp:= [ 15322, 61325 ],
1360    level:= 5,
1361    next:= [ 1817, 1816 ] ), rec(
1362    fp:= [ 64330, 95332 ],
1363    level:= 4,
1364    next:= [ 184, 489 ] ), rec(
1365    fp:= [ 18757, 24738, 87246 ],
1366    next:= [ rec(
1367      fp:= [ 5027, 25942, 34304, 63581, 67049, 75411, 96326 ],
1368      next:= [ rec(
1369        fp:= [ 28635, 30824 ],
1370        next:= [ 955, 963 ] ), 960, 964, 956, 959, rec(
1371        fp:= [ 2519, 38603 ],
1372        next:= [ 957, 962 ] ), rec(
1373        fp:= [ 90591, 99211 ],
1374        next:= [ 961, 996 ] ) ] ), rec(
1375      fp:= [ 29833, 48082 ],
1376      next:= [ 3541, rec(
1377        fp:= [ 47468, 57168, 68753 ],
1378        next:= [ 3290, 2172, 2160 ] ) ] ), rec(
1379      fp:= [ 51548, 66435, 89187 ],
1380      next:= [ 2171, 2173, 2159 ] ) ] ), rec(
1381    fp:= [ 1606, 9404, 71353, 77384, 86310, 92444, 94005 ],
1382    level:= 4,
1383    next:= [ 4, 16, 8, 17, 7, 15, 18 ] ), rec(
1384    fp:= [ 59194, 68275 ],
1385    next:= [ rec(
1386      fp:= [ 17449, 26639 ],
1387      next:= [ rec(
1388        fp:= [ 85240, 94016 ],
1389        next:= [ 1762, 1761 ] ), 1760 ] ), rec(
1390      fp:= [ 78096, 86962 ],
1391      next:= [ 2817, 2822 ] ) ] ), rec(
1392    fp:= [ 11837, 73819 ],
1393    next:= [ rec(
1394      fp:= [ 60935, 80262 ],
1395      next:= [ rec(
1396        fp:= [ 6062, 64625 ],
1397        next:= [ 2991, 3587 ] ), 3545 ] ), rec(
1398      fp:= [ 47361, 58883 ],
1399      next:= [ 2988, 2987 ] ) ] ), rec(
1400    fp:= [ 5494, 40601, 57675, 85204, 94700 ],
1401    level:= 4,
1402    next:= [ 3075, 3035, 3039, 2984, 3036 ] ), rec(
1403    fp:= [ 24041, 64728 ],
1404    level:= 5,
1405    next:= [ 331, 341 ] ), rec(
1406    fp:= [ 21970, 70822 ],
1407    level:= 5,
1408    next:= [ 639, 635 ] ), rec(
1409    fp:= [ 7988, 15609, 19441, 21314, 29548, 29899, 34114, 39050, 39445,
141041782, 43695, 46444, 49546, 53843, 54177, 55043, 62854, 62872, 68552, 70033,
141170428, 70823, 71645, 74080, 76184, 77384, 77739, 80608, 81003, 81216, 82416,
141286203, 87115, 87403, 87711, 88002, 96271, 96421 ],
1413    level:= 4,
1414    next:= [ 1358, 1374, 1371, 1361, 1373, 1715, 1377, 1362, 1360, 1375,
14151738, 1719, 1363, 1372, 1378, 1380, 1737, 1357, 1742, 1452, 1451, 1453, 1381,
14161379, 1376, 1384, 1369, 1359, 1364, 1456, 1458, 1457, 1382, 1459, 1741, 1718,
14171370, 1383 ] ), rec(
1418    fp:= [ 5304, 41662, 57700, 65058, 68520, 81096, 95552 ],
1419    level:= 4,
1420    next:= [ rec(
1421      fp:= [ 27498, 41329, 49183, 74493, 82865 ],
1422      next:= [ 2950, 2948, 2946, 2951, 2947 ] ), rec(
1423      fp:= [ 14055, 28144, 77929, 96931 ],
1424      next:= [ 2958, 2962, 2959, 2957 ] ), rec(
1425      fp:= [ 3509, 25176, 30422, 81892 ],
1426      next:= [ 3058, 3057, 3053, 3054 ] ), rec(
1427      fp:= [ 69412, 73252, 73769 ],
1428      next:= [ 2960, 2964, 2963 ] ), rec(
1429      fp:= [ 44215, 58675 ],
1430      next:= [ 3060, 3055 ] ), rec(
1431      fp:= [ 46748, 77677 ],
1432      next:= [ 3056, 3061 ] ), rec(
1433      fp:= [ 24829, 33934, 37198, 96662 ],
1434      next:= [ 2953, 2955, 2961, 2954 ] ) ] ), rec(
1435    fp:= [ 33014, 44346 ],
1436    level:= 4,
1437    next:= [ 1022, 1114 ] ), rec(
1438    fp:= [ 72929, 85319 ],
1439    next:= [ rec(
1440      fp:= [ 51686, 71389 ],
1441      next:= [ 579, 570 ] ), 597 ] ), rec(
1442    fp:= [ 9764, 21631 ],
1443    next:= [ rec(
1444      fp:= [ 1314, 1890, 5922, 7290, 19563, 26907, 38020, 39760, 56061,
144558009, 63613, 64330, 76285, 76466, 79990, 85966 ],
1446      next:= [ rec(
1447        fp:= [ 10606, 96932 ],
1448        next:= [ rec(
1449          desc:= [ 214004 ],
1450          fp:= [ 4, 14 ],
1451          next:= [ 1440, 1441 ] ), 1490 ] ), 1496, rec(
1452        desc:= [ 106003 ],
1453        fp:= [ 2, 12 ],
1454        next:= [ 1734, 1735 ] ), 2223, 1948, rec(
1455        fp:= [ 43587, 85720 ],
1456        next:= [ rec(
1457          desc:= [ 302008 ],
1458          fp:= [ 1182, 2361 ],
1459          next:= [ rec(
1460            desc:= [ 115011, 215004 ],
1461            fp:= [ 4, 14 ],
1462            next:= [ 1438, 1437 ] ), 1436 ] ), rec(
1463          desc:= [ 106003 ],
1464          fp:= [ 2, 12 ],
1465          next:= [ 1488, 1489 ] ) ] ), 1445, rec(
1466        fp:= [ 8898, 21752, 35052 ],
1467        next:= [ 1491, 1439, 2229 ] ), 1443, 1746, rec(
1468        desc:= [ 115011 ],
1469        fp:= [ 32, 1626, 2814 ],
1470        next:= [ 1447, 1446, 1448 ] ), rec(
1471        desc:= [ 106003 ],
1472        fp:= [ 2, 12 ],
1473        next:= [ 1493, 1494 ] ), 1495, 1444, 1736, 1949 ] ), rec(
1474      fp:= [ 13550, 18938, 25877, 35777, 37187, 55644, 62375, 67542, 87915,
147594962, 97614, 98732 ],
1476      next:= [ 1732, rec(
1477        fp:= [ 29683, 32123 ],
1478        next:= [ rec(
1479          desc:= [ 214004 ],
1480          fp:= [ 2, 12 ],
1481          next:= [ 1388, 1394 ] ), 1461 ] ), 1952, 1407, 1953, 1408, 1406,
14821477, 1472, 2228, 1721, rec(
1483        fp:= [ 21519, 83663, 99260 ],
1484        next:= [ 1466, 2221, 1387 ] ) ] ) ] ), rec(
1485    fp:= [ 43622, 49550, 65909, 75825 ],
1486    level:= 4,
1487    next:= [ 781, 779, rec(
1488      fp:= [ 19664, 54076 ],
1489      next:= [ 3292, 2192 ] ), rec(
1490      fp:= [ 13393, 82770 ],
1491      next:= [ 3291, 2191 ] ) ] ), rec(
1492    fp:= [ 492, 61214 ],
1493    level:= 5,
1494    next:= [ 323, 305 ] ), rec(
1495    fp:= [ 530, 35310, 46914, 51348 ],
1496    level:= 4,
1497    next:= [ 1791, 1792, 1884, 1882 ] ), rec(
1498    fp:= [ 63348, 72929, 73009, 85319, 85399, 97248 ],
1499    next:= [ rec(
1500      fp:= [ 658, 13407, 13511, 60981, 62349, 73834, 92767, 94819 ],
1501      next:= [ rec(
1502        desc:= [ 106003 ],
1503        fp:= [ 4, 212 ],
1504        next:= [ 2725, 2724 ] ), rec(
1505        fp:= [ 54307, 87266 ],
1506        next:= [ 2848, 1599 ] ), 2723, rec(
1507        fp:= [ 28982, 39305 ],
1508        next:= [ rec(
1509          desc:= [ 105003 ],
1510          fp:= [ 2, 12 ],
1511          next:= [ 2841, 2842 ] ), rec(
1512          desc:= [ 107003 ],
1513          fp:= [ 2, 12 ],
1514          next:= [ 1554, 1555 ] ) ] ), 3297, rec(
1515        fp:= [ 29515, 95726 ],
1516        next:= [ 1559, 2843 ] ), 2722, 3300 ] ), rec(
1517      fp:= [ 15650, 23885, 24012, 32374, 33294, 40736, 63378, 93462 ],
1518      next:= [ 574, 583, 572, 573, 584, 575, 582, 581 ] ), rec(
1519      fp:= [ 6051, 16873, 31760, 47877, 71782, 79334 ],
1520      next:= [ 1572, 1602, 1600, rec(
1521        desc:= [ 107003 ],
1522        fp:= [ 2, 12 ],
1523        next:= [ 1569, 1570 ] ), 1560, rec(
1524        desc:= [ 107003 ],
1525        fp:= [ 2, 12 ],
1526        next:= [ 1557, 1558 ] ) ] ), rec(
1527      fp:= [ 17449, 33358, 59325, 75234 ],
1528      next:= [ 600, 601, 602, 599 ] ), rec(
1529      fp:= [ 18083, 55826, 78096, 86962 ],
1530      next:= [ 1533, 1564, 1523, 1552 ] ), rec(
1531      fp:= [ 33145, 50360, 54130, 68609, 72483, 99081 ],
1532      next:= [ rec(
1533        fp:= [ 21371, 21388 ],
1534        next:= [ 2834, 1519 ] ), 3299, 3295, rec(
1535        fp:= [ 26596, 41513 ],
1536        next:= [ 2839, 1550 ] ), 2713, 2712 ] ) ] ), 1906, rec(
1537    fp:= [ 32888, 95400 ],
1538    level:= 4,
1539    next:= [ 2979, 2972 ] ), rec(
1540    fp:= [ 36616, 41782, 67266, 72432 ],
1541    level:= 4,
1542    next:= [ 755, 759, rec(
1543      fp:= [ 31762, 31837, 42204, 81084 ],
1544      next:= [ 2174, 756, 2176, rec(
1545        desc:= [ 112002 ],
1546        fp:= [ 3, 13 ],
1547        next:= [ 761, 2175 ] ) ] ), rec(
1548      fp:= [ 30051, 53259, 78172, 92016 ],
1549      next:= [ 2179, 760, rec(
1550        desc:= [ 113002 ],
1551        fp:= [ 3, 13 ],
1552        next:= [ 762, 2178 ] ), 2177 ] ) ] ), rec(
1553    fp:= [ 53647, 68907 ],
1554    next:= [ rec(
1555      fp:= [ 7626, 12599, 50982, 57675, 59377, 66296, 67367, 69630, 78251,
155695332 ],
1557      next:= [ rec(
1558        fp:= [ 12944, 38397, 58473, 75859 ],
1559        next:= [ 1648, 368, 1678, rec(
1560          desc:= [ 113002 ],
1561          fp:= [ 9, 613 ],
1562          next:= [ 320, 1667 ] ) ] ), rec(
1563        fp:= [ 29186, 30983, 73863, 89192 ],
1564        next:= [ 443, 1708, 1713, rec(
1565          desc:= [ 111002 ],
1566          fp:= [ 9, 613 ],
1567          next:= [ 435, 1712 ] ) ] ), rec(
1568        fp:= [ 32128, 74456 ],
1569        next:= [ 1348, 1324 ] ), rec(
1570        fp:= [ 2068, 12104 ],
1571        next:= [ rec(
1572          desc:= [ 302017 ],
1573          fp:= [ 3801, 84981 ],
1574          next:= [ 1344, rec(
1575            desc:= [ 109003 ],
1576            fp:= [ 2, 12 ],
1577            next:= [ 1343, 1345 ] ) ] ), rec(
1578          desc:= [ 115007 ],
1579          fp:= [ 16, 1214 ],
1580          next:= [ rec(
1581            desc:= [ 106003 ],
1582            fp:= [ 2, 12 ],
1583            next:= [ 1320, 1321 ] ), 1319 ] ) ] ), 445, rec(
1584        desc:= [ 107003 ],
1585        fp:= [ 2, 12 ],
1586        next:= [ 377, 378 ] ), rec(
1587        fp:= [ 57005, 90070 ],
1588        next:= [ 1346, 1322 ] ), rec(
1589        fp:= [ 6256, 40570 ],
1590        next:= [ 1323, 1347 ] ), 380, rec(
1591        fp:= [ 2067, 20809, 25489, 41419 ],
1592        next:= [ rec(
1593          desc:= [ 106003 ],
1594          fp:= [ 2, 12 ],
1595          next:= [ 1673, 1674 ] ), rec(
1596          desc:= [ 106003 ],
1597          fp:= [ 2, 12 ],
1598          next:= [ 365, 366 ] ), rec(
1599          desc:= [ 107003 ],
1600          fp:= [ 4, 212 ],
1601          next:= [ rec(
1602            desc:= [ 111002 ],
1603            fp:= [ 9, 613 ],
1604            next:= [ 318, 1666 ] ), rec(
1605            desc:= [ 112002 ],
1606            fp:= [ 9, 613 ],
1607            next:= [ 317, 1665 ] ) ] ), rec(
1608          desc:= [ 105003 ],
1609          fp:= [ 2, 12 ],
1610          next:= [ 1643, 1644 ] ) ] ) ] ), rec(
1611      fp:= [ 11161, 19531, 24697, 30413, 56975, 69977, 97679 ],
1612      next:= [ rec(
1613        fp:= [ 6921, 16982, 83540, 87975 ],
1614        next:= [ rec(
1615          desc:= [ 115002 ],
1616          fp:= [ 9, 613 ],
1617          next:= [ 250, 1625 ] ), 1630, 1605, 290 ] ), rec(
1618        fp:= [ 1287, 49266 ],
1619        next:= [ 1251, 1309 ] ), 372, rec(
1620        fp:= [ 30988, 46924, 84180, 95294 ],
1621        next:= [ 1669, 1639, rec(
1622          desc:= [ 113002 ],
1623          fp:= [ 9, 613 ],
1624          next:= [ 312, 1663 ] ), 360 ] ), rec(
1625        fp:= [ 2323, 20076 ],
1626        next:= [ 1303, 1245 ] ), 300, rec(
1627        fp:= [ 38969, 94631 ],
1628        next:= [ 1302, 1244 ] ) ] ) ] ), 3440, rec(
1629    fp:= [ 6562, 9124, 17599, 23704, 39774, 40530, 73228, 88892 ],
1630    level:= 4,
1631    next:= [ 767, 764, 768, rec(
1632      fp:= [ 63593, 91709 ],
1633      next:= [ 2181, 765 ] ), rec(
1634      fp:= [ 60593, 77792 ],
1635      next:= [ 2180, 763 ] ), 2183, 766, 2182 ] ), 1815, rec(
1636    fp:= [ 57675, 66296, 95332 ],
1637    level:= 4,
1638    next:= [ rec(
1639      fp:= [ 4441, 56064 ],
1640      next:= [ 1318, 1342 ] ), 376, rec(
1641      fp:= [ 8535, 56381, 58632, 60768 ],
1642      next:= [ rec(
1643        desc:= [ 111002 ],
1644        fp:= [ 9, 613 ],
1645        next:= [ 316, 1664 ] ), 1642, 1672, 364 ] ) ] ), rec(
1646    fp:= [ 29092, 91074 ],
1647    next:= [ rec(
1648      fp:= [ 30013, 68596 ],
1649      level:= 5,
1650      next:= [ 3278, 2095 ] ), rec(
1651      fp:= [ 66435, 89187 ],
1652      next:= [ 2085, 2086 ] ) ] ), rec(
1653    fp:= [ 8802, 21962, 35051, 50772, 53404, 69125, 87478 ],
1654    level:= 4,
1655    next:= [ rec(
1656      fp:= [ 9083, 68275 ],
1657      next:= [ 3602, 3538 ] ), 3608, 3600, 3583, 3601, 3585, 3584 ] ), rec(
1658    fp:= [ 52003, 54731 ],
1659    next:= [ rec(
1660      fp:= [ 11080, 16944, 47438 ],
1661      next:= [ rec(
1662        fp:= [ 7803, 84127 ],
1663        next:= [ 3045, 3050 ] ), rec(
1664        fp:= [ 55375, 98261 ],
1665        next:= [ 3051, 3046 ] ), rec(
1666        fp:= [ 7561, 17858, 66223, 79042 ],
1667        next:= [ 3048, 3047, 3043, 3044 ] ) ] ), 3590 ] ), rec(
1668    fp:= [ 68417, 68427, 68507 ],
1669    next:= [ rec(
1670      fp:= [ 32374, 40736 ],
1671      next:= [ 1202, 1203 ] ), 1205, rec(
1672      fp:= [ 6051, 16873 ],
1673      next:= [ 2544, 2588 ] ) ] ), rec(
1674    fp:= [ 2725, 21763, 35663, 76457 ],
1675    level:= 4,
1676    next:= [ 683, rec(
1677      fp:= [ 832, 40603, 81618 ],
1678      next:= [ 3280, 2107, 2127 ] ), 682, rec(
1679      fp:= [ 37237, 72596, 81374 ],
1680      next:= [ 3279, 2106, 2125 ] ) ] ), rec(
1681    fp:= [ 19699, 95018 ],
1682    level:= 5,
1683    next:= [ 770, 771 ] ), 73, rec(
1684    fp:= [ 29019, 38049 ],
1685    level:= 4,
1686    next:= [ 3087, 3091 ] ), rec(
1687    fp:= [ 35958, 45029, 64002 ],
1688    next:= [ rec(
1689      fp:= [ 639, 12710, 24781, 36852 ],
1690      next:= [ 56, 54, 53, 55 ] ), rec(
1691      fp:= [ 37753, 51087 ],
1692      next:= [ 638, 640 ] ), rec(
1693      fp:= [ 1151, 19400, 45627 ],
1694      next:= [ 2706, rec(
1695        fp:= [ 59536, 78015 ],
1696        next:= [ 1931, 637 ] ), 3093 ] ) ] ), 588, rec(
1697    fp:= [ 5304, 41662, 57700, 68520, 95552 ],
1698    level:= 4,
1699    next:= [ 2949, 2956, 3052, 3059, 2952 ] ), rec(
1700    fp:= [ 9754, 19774, 31641 ],
1701    next:= [ rec(
1702      fp:= [ 2097, 12554, 13314, 16762, 25407, 42020, 50907, 57156, 67613,
170368269, 80466, 86310, 93862 ],
1704      next:= [ rec(
1705        desc:= [ 106003 ],
1706        fp:= [ 2, 12 ],
1707        next:= [ 3181, 3182 ] ), 3157, 3498, 3500, 3156, rec(
1708        fp:= [ 74268, 98278 ],
1709        next:= [ 3168, 3162 ] ), 3501, rec(
1710        desc:= [ 107003 ],
1711        fp:= [ 4, 212 ],
1712        next:= [ 3183, 3184 ] ), rec(
1713        fp:= [ 14857, 21173 ],
1714        next:= [ 3163, 3169 ] ), 3149, 3161, 3150, 3151 ] ), rec(
1715      fp:= [ 1890, 2647, 7626, 10189, 12599, 14990, 22144, 31955, 35988,
171658957, 59377, 64330, 66296, 76285, 78251, 80814, 86649, 88871, 90353, 92769,
171795332 ],
1718      next:= [ 207, rec(
1719        desc:= [ 214005 ],
1720        fp:= [ 4, 14 ],
1721        next:= [ 215, 213 ] ), 510, rec(
1722        desc:= [ 105003 ],
1723        fp:= [ 2, 12 ],
1724        next:= [ 520, 521 ] ), 555, 200, 522, rec(
1725        desc:= [ 212005 ],
1726        fp:= [ 4, 14 ],
1727        next:= [ 201, 199 ] ), 554, 214, 556, rec(
1728        desc:= [ 107003 ],
1729        fp:= [ 4, 212 ],
1730        next:= [ 210, rec(
1731          desc:= [ 115011, 215004 ],
1732          fp:= [ 4, 14 ],
1733          next:= [ 209, 211 ] ) ] ), rec(
1734        desc:= [ 106003 ],
1735        fp:= [ 2, 12 ],
1736        next:= [ 514, 515 ] ), rec(
1737        desc:= [ 212005 ],
1738        fp:= [ 4, 14 ],
1739        next:= [ 208, 206 ] ), 516, rec(
1740        desc:= [ 107003 ],
1741        fp:= [ 2, 12 ],
1742        next:= [ 502, 503 ] ), rec(
1743        desc:= [ 107003 ],
1744        fp:= [ 4, 212 ],
1745        next:= [ 203, rec(
1746          desc:= [ 114011, 214004 ],
1747          fp:= [ 4, 14 ],
1748          next:= [ 202, 204 ] ) ] ), 557, rec(
1749        desc:= [ 108003 ],
1750        fp:= [ 4, 212 ],
1751        next:= [ 217, rec(
1752          desc:= [ 116011, 216004 ],
1753          fp:= [ 4, 14 ],
1754          next:= [ 216, 218 ] ) ] ), 504, rec(
1755        desc:= [ 106003 ],
1756        fp:= [ 2, 12 ],
1757        next:= [ 508, 509 ] ) ] ), rec(
1758      fp:= [ 2468, 11161, 24697, 27555, 30413, 32914, 33271, 40569, 67542,
175969977, 81414, 87915, 93596, 96290 ],
1760      next:= [ rec(
1761        desc:= [ 214005 ],
1762        fp:= [ 2, 12 ],
1763        next:= [ 166, 164 ] ), 468, 512, 500, 506, 129, 518, 463, 147, 473,
1764478, rec(
1765        desc:= [ 212005 ],
1766        fp:= [ 2, 12 ],
1767        next:= [ 148, 146 ] ), 165, rec(
1768        desc:= [ 212005 ],
1769        fp:= [ 2, 12 ],
1770        next:= [ 130, 128 ] ) ] ) ] ), rec(
1771    fp:= [ 63091, 88821 ],
1772    level:= 5,
1773    next:= [ 684, 685 ] ), rec(
1774    fp:= [ 2725, 12117, 15825, 20812, 26271, 35663, 40958, 45945, 53089,
177558076, 59209, 78222, 78840, 83209 ],
1776    level:= 4,
1777    next:= [ rec(
1778      fp:= [ 64729, 96380 ],
1779      next:= [ 742, 720 ] ), 716, rec(
1780      fp:= [ 46670, 55126 ],
1781      next:= [ 709, 725 ] ), rec(
1782      fp:= [ 14079, 79579 ],
1783      next:= [ 705, 722 ] ), 717, rec(
1784      fp:= [ 33034, 48267 ],
1785      next:= [ 719, 740 ] ), 710, 706, rec(
1786      fp:= [ 45409, 83724 ],
1787      next:= [ 711, 724 ] ), rec(
1788      fp:= [ 14635, 94754 ],
1789      next:= [ 721, 707 ] ), 715, 726, 718, 723 ] ), 2892, rec(
1790    fp:= [ 32888, 37565, 79391 ],
1791    level:= 4,
1792    next:= [ 1993, 1954, 1955 ] ), 3487, rec(
1793    fp:= [ 58185, 59194 ],
1794    next:= [ rec(
1795      fp:= [ 32374, 63378 ],
1796      next:= [ 1751, 1755 ] ), 1763 ] ), rec(
1797    fp:= [ 16158, 38049, 70367, 98369 ],
1798    level:= 4,
1799    next:= [ 3092, 3090, 3089, 3088 ] ), 3488, rec(
1800    fp:= [ 1502, 67263, 69991 ],
1801    next:= [ rec(
1802      fp:= [ 43382, 52077 ],
1803      next:= [ 1866, 1864 ] ), rec(
1804      fp:= [ 11080, 42638, 47438 ],
1805      next:= [ 1880, rec(
1806        desc:= [ 107004 ],
1807        fp:= [ 6, 16 ],
1808        next:= [ 1868, 1869 ] ), 1873 ] ), rec(
1809      fp:= [ 29405, 92708 ],
1810      next:= [ 3010, 3014 ] ) ] ), rec(
1811    fp:= [ 67181, 99217 ],
1812    next:= [ rec(
1813      fp:= [ 24643, 33014, 44346 ],
1814      next:= [ rec(
1815        desc:= [ 105003 ],
1816        fp:= [ 2, 12 ],
1817        next:= [ 335, 336 ] ), 338, 438 ] ), rec(
1818      fp:= [ 10383, 11207 ],
1819      next:= [ 330, 264 ] ) ] ), rec(
1820    fp:= [ 2498, 3116, 4444, 5307, 10965, 12605, 15372, 16404, 20692, 27465,
182131264, 31992, 32446, 33591, 44015, 44769, 45506, 49305, 51698, 51810, 59138,
182265659, 67853, 71652, 72432, 76231, 78383, 84264, 85668, 87140, 88063, 94561,
182398360 ],
1824    level:= 4,
1825    next:= [ 2869, 2876, 2807, 2765, 2804, 2789, 2793, 2791, 2809, 2773,
18262776, 2769, 2805, 2790, 2877, 2878, 2771, 2775, 2768, 2788, 2810, 2806, 2766,
18272770, 2767, 2772, 2774, 2792, 2879, 2808, 2794, 2868, 2867 ] ), rec(
1828    fp:= [ 57675, 93741 ],
1829    level:= 4,
1830    next:= [ 1858, 1915 ] ), rec(
1831    fp:= [ 23011, 32888, 48717 ],
1832    level:= 4,
1833    next:= [ 2980, 2981, 2973 ] ), 585, 3, rec(
1834    fp:= [ 55187, 76367 ],
1835    level:= 5,
1836    next:= [ 1819, 1818 ] ), rec(
1837    fp:= [ 6403, 20865 ],
1838    level:= 4,
1839    next:= [ 950, 944 ] ), rec(
1840    fp:= [ 7987, 13054, 20027, 66287, 88535 ],
1841    level:= 4,
1842    next:= [ 115, 493, 457, 108, 109 ] ), rec(
1843    fp:= [ 51686, 71389, 91092 ],
1844    level:= 4,
1845    next:= [ 1222, 1231, 1213 ] ), rec(
1846    fp:= [ 3439, 31821, 37864, 50033, 52218, 67648, 98532 ],
1847    level:= 4,
1848    next:= [ 481, 788, 79, 78, 784, 1812, 447 ] ), rec(
1849    fp:= [ 4665, 25661, 73324 ],
1850    level:= 4,
1851    next:= [ 2142, 2136, 2913 ] ), rec(
1852    fp:= [ 1314, 1890, 19563, 38020, 39760, 54641, 56061, 58009, 60373,
185376285, 76466, 77254, 79990, 81358, 98819 ],
1854    level:= 4,
1855    next:= [ rec(
1856      fp:= [ 27921, 87589 ],
1857      next:= [ 2492, rec(
1858        desc:= [ 214004 ],
1859        fp:= [ 4, 14 ],
1860        next:= [ 2430, 2436 ] ) ] ), 2504, rec(
1861      fp:= [ 77735, 89614 ],
1862      next:= [ 2971, rec(
1863        desc:= [ 217006 ],
1864        fp:= [ 414, 612 ],
1865        next:= [ 2073, 2043 ] ) ] ), 2444, rec(
1866      fp:= [ 8699, 15367, 60438 ],
1867      next:= [ 2433, 2495, 3029 ] ), 2479, 2442, 2687, rec(
1868      desc:= [ 217005 ],
1869      fp:= [ 14, 212 ],
1870      next:= [ 2045, 2044 ] ), 2501, 2439, 2399, 2674, rec(
1871      fp:= [ 30431, 91929 ],
1872      next:= [ 2470, 2395 ] ), 2042 ] ), 3609, rec(
1873    fp:= [ 20067, 45753, 64002, 90229 ],
1874    level:= 4,
1875    next:= [ 36, 2707, rec(
1876      fp:= [ 57815, 98904 ],
1877      next:= [ 1932, 643 ] ), 3094 ] ), 731, rec(
1878    fp:= [ 62221, 82236 ],
1879    level:= 5,
1880    next:= [ 3066, 3062 ] ), rec(
1881    fp:= [ 1502, 7483, 69991 ],
1882    next:= [ rec(
1883      fp:= [ 11080, 15880, 20680, 42638, 47438, 52238, 57038 ],
1884      next:= [ 1874, rec(
1885        fp:= [ 72240, 76484 ],
1886        next:= [ 1881, 1876 ] ), 1875, rec(
1887        fp:= [ 35798, 60004 ],
1888        next:= [ 1872, 1877 ] ), rec(
1889        fp:= [ 40736, 51264 ],
1890        next:= [ 1878, 1870 ] ), 1879, 1871 ] ), rec(
1891      fp:= [ 58914, 98252 ],
1892      next:= [ rec(
1893        fp:= [ 10552, 15721, 67895 ],
1894        next:= [ 3016, 3591, 3012 ] ), 3554 ] ), rec(
1895      fp:= [ 29405, 77267, 92708 ],
1896      next:= [ 3011, 3017, 3015 ] ) ] ), rec(
1897    fp:= [ 4816, 5088, 55921, 56193, 80887, 81159, 81431 ],
1898    level:= 4,
1899    next:= [ 391, 392, 417, 418, 266, 265, 267 ] ), rec(
1900    fp:= [ 23826, 28817, 30732, 32647, 67851, 69766, 91359, 93274 ],
1901    level:= 4,
1902    next:= [ 72, 68, 66, 70, 67, 65, 63, 69 ] ), 650, 3603, rec(
1903    fp:= [ 64100, 96390 ],
1904    level:= 4,
1905    next:= [ 3086, 3083 ] ), 561, rec(
1906    fp:= [ 814, 1374, 5099, 6274, 6643, 8011, 14509, 21001, 23076, 26260,
190726743, 30693, 40385, 41364, 48387, 52112, 54217, 60572, 60981, 62349, 70264,
190871999, 73756, 73834, 75202, 79391, 80566, 81966, 86687, 88055, 88801, 89133,
190990783, 93451, 94819, 95400, 96280, 97368 ],
1910    level:= 4,
1911    next:= [ 1067, rec(
1912      fp:= [ 1457, 30113 ],
1913      next:= [ 2620, 1037 ] ), rec(
1914      fp:= [ 53629, 54935 ],
1915      next:= [ 1098, 2654 ] ), 1075, 2633, rec(
1916      fp:= [ 12554, 87905, 98891 ],
1917      next:= [ 2331, rec(
1918        desc:= [ 213005 ],
1919        fp:= [ 32, 2022 ],
1920        next:= [ 2322, 2327 ] ), 2333 ] ), 1102, 1029, 1048, 2662, rec(
1921      fp:= [ 64258, 85393 ],
1922      next:= [ 1041, 2626 ] ), 1033, 1032, 2647, rec(
1923      fp:= [ 50258, 71536 ],
1924      next:= [ 1072, 2640 ] ), rec(
1925      fp:= [ 49647, 62735 ],
1926      next:= [ 2625, 1040 ] ), 2648, 1093, 2608, rec(
1927      fp:= [ 3113, 9932 ],
1928      next:= [ 2265, 2254 ] ), 1094, 1045, rec(
1929      fp:= [ 15459, 38200 ],
1930      next:= [ 2639, 1071 ] ), 2614, rec(
1931      fp:= [ 31791, 66875, 87748 ],
1932      next:= [ 2257, 2260, rec(
1933        desc:= [ 216005 ],
1934        fp:= [ 6, 16 ],
1935        next:= [ 2259, 2266 ] ) ] ), rec(
1936      fp:= [ 5616, 92418 ],
1937      next:= [ 1097, 2653 ] ), 1076, 2313, 2613, rec(
1938      fp:= [ 10501, 12480 ],
1939      next:= [ 2275, 2273 ] ), 1101, 1129, 1068, 2634, rec(
1940      fp:= [ 57479, 80374 ],
1941      next:= [ 2318, 2316 ] ), rec(
1942      fp:= [ 43896, 89904 ],
1943      next:= [ 1125, 2668 ] ), 1121, 1049 ] ), rec(
1944    fp:= [ 63358, 97258 ],
1945    next:= [ rec(
1946      fp:= [ 35519, 44889, 45211 ],
1947      next:= [ rec(
1948        fp:= [ 75430, 96451 ],
1949        next:= [ rec(
1950          desc:= [ 105003 ],
1951          fp:= [ 2, 12 ],
1952          next:= [ 1542, 1543 ] ), rec(
1953          desc:= [ 106003 ],
1954          fp:= [ 2, 12 ],
1955          next:= [ 1566, 1567 ] ) ] ), rec(
1956        fp:= [ 93413, 97767 ],
1957        next:= [ 1601, 1597 ] ), rec(
1958        fp:= [ 87931, 90918 ],
1959        next:= [ 1571, 1547 ] ) ] ), rec(
1960      fp:= [ 5455, 39915 ],
1961      next:= [ rec(
1962        fp:= [ 2140, 71873 ],
1963        next:= [ 1529, 1509 ] ), rec(
1964        fp:= [ 5450, 9885 ],
1965        next:= [ 1538, 1562 ] ) ] ) ] ), rec(
1966    fp:= [ 22571, 42876, 63861, 69573, 80217 ],
1967    level:= 4,
1968    next:= [ rec(
1969      fp:= [ 95294, 95586 ],
1970      next:= [ 3074, 1910 ] ), 3071, 3033, 1912, 1908 ] ), 334, rec(
1971    fp:= [ 12125, 14671, 88963 ],
1972    level:= 4,
1973    next:= [ 660, 655, 656 ] ), rec(
1974    fp:= [ 9758, 68495, 88957 ],
1975    level:= 4,
1976    next:= [ 2886, 2888, 2887 ] ), rec(
1977    fp:= [ 17581, 24523, 45508, 63861, 87478 ],
1978    level:= 4,
1979    next:= [ 1909, 3582, rec(
1980      fp:= [ 38505, 78139 ],
1981      next:= [ 3032, 3598 ] ), 3599, rec(
1982      fp:= [ 35811, 39848 ],
1983      next:= [ 3070, 3607 ] ) ] ), rec(
1984    fp:= [ 68506, 78544 ],
1985    level:= 4,
1986    next:= [ 5, 9 ] ), rec(
1987    fp:= [ 36907, 36997 ],
1988    next:= [ rec(
1989      fp:= [ 32374, 71098 ],
1990      next:= [ rec(
1991        fp:= [ 20776, 39534 ],
1992        next:= [ 2691, 2692 ] ), 2690 ] ), rec(
1993      fp:= [ 31760, 71782 ],
1994      next:= [ 3451, 3444 ] ) ] ), rec(
1995    fp:= [ 18679, 33939, 55832 ],
1996    next:= [ rec(
1997      fp:= [ 5027, 32460, 56432, 67049, 75411, 84506 ],
1998      next:= [ 988, rec(
1999        desc:= [ 106004 ],
2000        fp:= [ 6, 16 ],
2001        next:= [ 968, 969 ] ), 997, 999, rec(
2002        desc:= [ 109004 ],
2003        fp:= [ 6, 16 ],
2004        next:= [ 983, 984 ] ), 973 ] ), rec(
2005      fp:= [ 6403, 20865, 48335, 51900 ],
2006      next:= [ 981, 949, 966, 947 ] ), rec(
2007      fp:= [ 35315, 48250, 63594, 72954 ],
2008      next:= [ 2162, 2164, 2150, 2146 ] ) ] ), rec(
2009    fp:= [ 1890, 2647, 7626, 12599, 14990, 19449, 22144, 31955, 35988, 46279,
201054641, 58957, 59377, 76285, 78251, 88871, 92769 ],
2011    level:= 4,
2012    next:= [ 920, rec(
2013      desc:= [ 214005 ],
2014      fp:= [ 4, 14 ],
2015      next:= [ 936, 931 ] ), 1148, 1195, 907, 866, 1156, rec(
2016      desc:= [ 212005 ],
2017      fp:= [ 4, 14 ],
2018      next:= [ 910, 905 ] ), 1193, 838, 852, 933, 1197, rec(
2019      desc:= [ 212005 ],
2020      fp:= [ 4, 14 ],
2021      next:= [ 923, 918 ] ), 1152, 1199, 1144 ] ), rec(
2022    fp:= [ 6822, 6832, 6912 ],
2023    next:= [ rec(
2024      fp:= [ 26600, 94703 ],
2025      next:= [ 1923, 1922 ] ), 1925, 3063 ] ), rec(
2026    fp:= [ 18757, 84518, 87246 ],
2027    next:= [ rec(
2028      fp:= [ 6403, 20865 ],
2029      next:= [ 951, 945 ] ), rec(
2030      fp:= [ 5027, 67049, 75411 ],
2031      next:= [ 958, 995, rec(
2032        desc:= [ 109004 ],
2033        fp:= [ 6, 16 ],
2034        next:= [ 953, 954 ] ) ] ), rec(
2035      fp:= [ 51548, 89187 ],
2036      next:= [ 2170, 2158 ] ) ] ), 3544, rec(
2037    fp:= [ 36660, 87800 ],
2038    level:= 5,
2039    next:= [ 1847, 1846 ] ), rec(
2040    fp:= [ 1370, 32374, 63378 ],
2041    level:= 4,
2042    next:= [ 2693, 2701, 2697 ] ),, rec(
2043    fp:= [ 12555, 18331, 38670, 48171, 48384, 63181, 65626, 68510, 68723,
204471538, 80636, 85965, 91877, 98091 ],
2045    level:= 4,
2046    next:= [ rec(
2047      fp:= [ 22939, 84429 ],
2048      next:= [ 243, 1612 ] ), rec(
2049      fp:= [ 60291, 82492 ],
2050      next:= [ 410, 1696 ] ), rec(
2051      fp:= [ 25448, 35761 ],
2052      next:= [ 409, 1697 ] ), 1268, rec(
2053      fp:= [ 60681, 87327 ],
2054      next:= [ 384, 1682 ] ), 1269, 1265, 1270, rec(
2055      fp:= [ 28150, 80359 ],
2056      next:= [ 383, 1683 ] ), rec(
2057      fp:= [ 28351, 69429 ],
2058      next:= [ 247, 1611 ] ), 1266, 1267, rec(
2059      fp:= [ 14920, 61444 ],
2060      next:= [ 1610, 246 ] ), 1264 ] ), rec(
2061    fp:= [ 15346, 23920, 28672, 41998, 62354, 89563, 96372 ],
2062    level:= 4,
2063    next:= [ rec(
2064      fp:= [ 72017, 93522 ],
2065      next:= [ 1507, 1527 ] ), rec(
2066      fp:= [ 39951, 64773 ],
2067      next:= [ 1574, 1582 ] ), rec(
2068      fp:= [ 1414, 41685 ],
2069      next:= [ 1510, 1530 ] ), rec(
2070      fp:= [ 14656, 30887 ],
2071      next:= [ 1531, 1511 ] ), rec(
2072      fp:= [ 23574, 42854 ],
2073      next:= [ 1585, 1593 ] ), rec(
2074      fp:= [ 65201, 84636 ],
2075      next:= [ 1581, 1573 ] ), rec(
2076      fp:= [ 16541, 51391 ],
2077      next:= [ 1594, 1586 ] ) ] ), rec(
2078    fp:= [ 76318, 85319, 85399 ],
2079    next:= [ rec(
2080      fp:= [ 17449, 59325 ],
2081      next:= [ 586, 587 ] ), 589, rec(
2082      fp:= [ 18083, 55826 ],
2083      next:= [ 1512, 1539 ] ) ] ), rec(
2084    fp:= [ 52810, 66557, 77794 ],
2085    level:= 4,
2086    next:= [ 1237, rec(
2087      fp:= [ 5935, 83181 ],
2088      next:= [ 29, 642 ] ), 1935 ] ), 3491, rec(
2089    fp:= [ 31365, 93680 ],
2090    level:= 5,
2091    next:= [ 750, 749 ] ), rec(
2092    fp:= [ 7626, 12599, 13257, 50982, 59377, 67367, 69630, 78251 ],
2093    level:= 4,
2094    next:= [ rec(
2095      fp:= [ 3185, 4926, 39502, 45419 ],
2096      next:= [ rec(
2097        desc:= [ 113002 ],
2098        fp:= [ 9, 613 ],
2099        next:= [ 1010, 2616 ] ), 1042, 2601, 2621 ] ), rec(
2100      fp:= [ 26768, 52814, 57037, 92327 ],
2101      next:= [ 2655, 1124, rec(
2102        desc:= [ 110002 ],
2103        fp:= [ 9, 613 ],
2104        next:= [ 1108, 2663 ] ), 2665 ] ), rec(
2105      fp:= [ 12959, 84248 ],
2106      next:= [ 2246, 2286 ] ), rec(
2107      fp:= [ 22713, 63477 ],
2108      next:= [ 2340, 2296 ] ), 1128, rec(
2109      fp:= [ 51055, 71482 ],
2110      next:= [ 2335, 2291 ] ), rec(
2111      fp:= [ 23669, 69639 ],
2112      next:= [ 2338, 2294 ] ), 1050 ] ), rec(
2113    fp:= [ 7684, 9959, 48717, 49691, 67613 ],
2114    level:= 4,
2115    next:= [ 3532, 3570, 3571, 3525, 3578 ] ), rec(
2116    fp:= [ 69247, 81114 ],
2117    next:= [ rec(
2118      fp:= [ 1573, 71499, 74779 ],
2119      next:= [ 236, rec(
2120        desc:= [ 106004 ],
2121        fp:= [ 6, 16 ],
2122        next:= [ 224, 225 ] ), 229 ] ), rec(
2123      fp:= [ 38363, 49126 ],
2124      next:= [ 222, 220 ] ) ] ), rec(
2125    fp:= [ 59577, 59849 ],
2126    level:= 4,
2127    next:= [ 662, 661 ] ), 43, rec(
2128    fp:= [ 6403, 20865, 48335, 51900 ],
2129    level:= 4,
2130    next:= [ 980, 948, 965, 946 ] ), rec(
2131    fp:= [ 13932, 13974, 71053 ],
2132    level:= 4,
2133    next:= [ 77, 41, 654 ] ), rec(
2134    fp:= [ 21763, 76457 ],
2135    level:= 4,
2136    next:= [ rec(
2137      fp:= [ 83258, 90397 ],
2138      next:= [ 2135, 2141 ] ), rec(
2139      fp:= [ 19990, 41823 ],
2140      next:= [ 2140, 2134 ] ) ] ), rec(
2141    fp:= [ 67600, 72119, 82828, 84201 ],
2142    level:= 4,
2143    next:= [ 1785, 1789, 1841, 1834 ] ), rec(
2144    fp:= [ 2601, 4683, 7626, 13257, 18668, 19581, 29324, 35977, 36197, 37636,
214539016, 41608, 47932, 48152, 52264, 53563, 57566, 57675, 61956, 64219, 66296,
214666981, 68156, 73911, 76391, 78023, 78251, 78936, 78984, 79322, 80111, 87159,
214788346, 89978, 90206, 92570, 95332, 95949, 96851 ],
2148    level:= 4,
2149    next:= [ rec(
2150      fp:= [ 41291, 55652 ],
2151      next:= [ 2307, 2344 ] ), 1130, rec(
2152      fp:= [ 7176, 23155, 24555, 48178 ],
2153      next:= [ 2603, 1044, rec(
2154        desc:= [ 115002 ],
2155        fp:= [ 9, 613 ],
2156        next:= [ 1012, 2618 ] ), 2623 ] ), rec(
2157      fp:= [ 1152, 67973 ],
2158      next:= [ 2284, 2238 ] ), rec(
2159      fp:= [ 35212, 42905 ],
2160      next:= [ 2292, 2336 ] ), rec(
2161      fp:= [ 45962, 56959, 58793, 89306 ],
2162      next:= [ 2602, 1043, 2622, rec(
2163        desc:= [ 112002 ],
2164        fp:= [ 9, 613 ],
2165        next:= [ 1011, 2617 ] ) ] ), rec(
2166      fp:= [ 44205, 80847 ],
2167      next:= [ 2233, 2279 ] ), rec(
2168      fp:= [ 29088, 34694, 84586, 85713 ],
2169      next:= [ 1074, 2638, rec(
2170        desc:= [ 117002 ],
2171        fp:= [ 9, 613 ],
2172        next:= [ 1058, 2636 ] ), 2628 ] ), rec(
2173      fp:= [ 18256, 68459 ],
2174      next:= [ 2282, 2236 ] ), rec(
2175      fp:= [ 38517, 45755 ],
2176      next:= [ 2345, 2308 ] ), rec(
2177      fp:= [ 15937, 42045 ],
2178      next:= [ 2232, 2278 ] ), rec(
2179      fp:= [ 47767, 95210 ],
2180      next:= [ 2337, 2293 ] ), rec(
2181      fp:= [ 517, 17543, 31835, 51934 ],
2182      next:= [ 2637, rec(
2183        desc:= [ 118002 ],
2184        fp:= [ 9, 613 ],
2185        next:= [ 1057, 2635 ] ), 1073, 2627 ] ), rec(
2186      fp:= [ 22211, 27629 ],
2187      next:= [ 2247, 2287 ] ), rec(
2188      fp:= [ 28330, 88456 ],
2189      next:= [ 2281, 2235 ] ), rec(
2190      fp:= [ 13617, 49150 ],
2191      next:= [ 2346, 2309 ] ), rec(
2192      fp:= [ 29856, 33802, 42348, 63164 ],
2193      next:= [ 2657, rec(
2194        desc:= [ 113002 ],
2195        fp:= [ 9, 613 ],
2196        next:= [ 1110, 2664 ] ), 1126, 2667 ] ), rec(
2197      fp:= [ 2068, 12104 ],
2198      next:= [ 2334, 2290 ] ), rec(
2199      fp:= [ 50647, 80932 ],
2200      next:= [ 2231, 2277 ] ), rec(
2201      fp:= [ 9629, 91025 ],
2202      next:= [ 2239, 2285 ] ), 1046, rec(
2203      fp:= [ 40623, 48863, 53971, 89614 ],
2204      next:= [ rec(
2205        desc:= [ 113002 ],
2206        fp:= [ 9, 613 ],
2207        next:= [ 1083, 2649 ] ), 1099, 2651, 2641 ] ), 1078, rec(
2208      fp:= [ 12842, 69609 ],
2209      next:= [ 2248, 2288 ] ), 1103, rec(
2210      fp:= [ 2029, 84633 ],
2211      next:= [ 2230, 2276 ] ), 1052, rec(
2212      fp:= [ 3472, 3675, 8580, 98659 ],
2213      next:= [ 1100, 2642, 2652, rec(
2214        desc:= [ 113002 ],
2215        fp:= [ 9, 613 ],
2216        next:= [ 1084, 2650 ] ) ] ), rec(
2217      fp:= [ 50332, 98431 ],
2218      next:= [ 2298, 2342 ] ), rec(
2219      fp:= [ 30056, 44359 ],
2220      next:= [ 2295, 2339 ] ), 1077, rec(
2221      fp:= [ 37020, 63798 ],
2222      next:= [ 2237, 2283 ] ), 1104, rec(
2223      fp:= [ 10477, 77138 ],
2224      next:= [ 2280, 2234 ] ), 1051, rec(
2225      fp:= [ 5717, 36798 ],
2226      next:= [ 2297, 2341 ] ), rec(
2227      fp:= [ 2067, 20809, 25489, 41419 ],
2228      next:= [ 2619, 1038, rec(
2229        desc:= [ 111002 ],
2230        fp:= [ 9, 613 ],
2231        next:= [ 1006, 2615 ] ), 2599 ] ), rec(
2232      fp:= [ 74559, 95179 ],
2233      next:= [ 2343, 2299 ] ), rec(
2234      fp:= [ 4231, 83022 ],
2235      next:= [ 2249, 2289 ] ) ] ), rec(
2236    fp:= [ 8461, 13448, 70033, 70428, 70823, 80913, 81216, 82416, 85900,
223786203, 87403, 92940, 93335, 93730 ],
2238    level:= 4,
2239    next:= [ 526, 525, 97, rec(
2240      desc:= [ 214004 ],
2241      fp:= [ 2, 12 ],
2242      next:= [ 103, 101 ] ), 106, 540, rec(
2243      fp:= [ 94195, 97252 ],
2244      next:= [ 95, 96 ] ), rec(
2245      fp:= [ 14509, 21226 ],
2246      next:= [ 99, 102 ] ), 539, rec(
2247      fp:= [ 75161, 81878 ],
2248      next:= [ 98, 100 ] ), rec(
2249      fp:= [ 63425, 89352 ],
2250      next:= [ 105, 104 ] ), 455, 454, 451 ] ), rec(
2251    fp:= [ 505, 34585, 42063, 64547 ],
2252    level:= 4,
2253    next:= [ 704, 700, 703, 701 ] ), rec(
2254    fp:= [ 13407, 26743, 30693, 63764, 68278, 70031, 73834, 75202, 94819,
225595402, 97368 ],
2256    level:= 4,
2257    next:= [ 2660, rec(
2258      fp:= [ 34414, 94577 ],
2259      next:= [ 1039, 2624 ] ), 1031, 1127, 1119, rec(
2260      fp:= [ 207, 53325 ],
2261      next:= [ 1123, 2666 ] ), 2612, 2270, rec(
2262      fp:= [ 40789, 67993 ],
2263      next:= [ rec(
2264        desc:= [ 214005 ],
2265        fp:= [ 12, 22 ],
2266        next:= [ 2320, 2324 ] ), 3026 ] ), 3027, 1047 ] ), rec(
2267    fp:= [ 9754, 21621 ],
2268    next:= [ rec(
2269      fp:= [ 1314, 6900, 9106, 11886, 12554, 15687, 26907, 27563, 30239,
227039760, 40067, 41435, 45604, 48176, 53156, 53747, 57156, 59622, 69468, 71509,
227175509, 84362, 92778, 94770, 98458 ],
2272      next:= [ 2812, 2880, 3107, 2780, 3122, 3314, rec(
2273        desc:= [ 105003 ],
2274        fp:= [ 2, 12 ],
2275        next:= [ 2814, 2815 ] ), 2779, 2797, 2813, rec(
2276        desc:= [ 104003 ],
2277        fp:= [ 2, 12 ],
2278        next:= [ 2873, 2874 ] ), 3311, 2778, 3121, rec(
2279        desc:= [ 105003 ],
2280        fp:= [ 2, 12 ],
2281        next:= [ rec(
2282          desc:= [ 106003 ],
2283          fp:= [ 2, 12 ],
2284          next:= [ 2782, 2783 ] ), 2781 ] ), 3318, 3115, 3128, 3129, rec(
2285        desc:= [ 105003 ],
2286        fp:= [ 4, 212 ],
2287        next:= [ 2799, 2798 ] ), 3108, 2796, 3114, 3321, 2875 ] ), rec(
2288      fp:= [ 5127, 7487, 15420, 18938, 23480, 26730, 28319, 33908, 41417,
228943673, 45187, 45322, 49168, 51918, 52089, 54109, 84045, 86019, 91699, 98732 ],
2290      next:= [ 2764, 3125, 3111, 2802, 2787, 3112, 3131, 3316, 3126, 2786,
22912763, 2871, 3320, 2762, 3118, 3313, 3309, 3119, 2866, 2803 ] ) ] ), 558, rec(
2292    fp:= [ 9754, 21621 ],
2293    next:= [ rec(
2294      fp:= [ 61364, 69355, 79925, 84674, 92778 ],
2295      next:= [ 3499, 3185, 3174, 3497, 3173 ] ), 3508 ] ), rec(
2296    fp:= [ 63657, 78917 ],
2297    next:= [ rec(
2298      fp:= [ 5262, 38608, 73185 ],
2299      next:= [ rec(
2300        fp:= [ 48504, 70596 ],
2301        next:= [ 439, 437 ] ), rec(
2302        fp:= [ 60703, 60867 ],
2303        next:= [ 344, 337 ] ), rec(
2304        fp:= [ 49977, 74644 ],
2305        next:= [ rec(
2306          desc:= [ 105003 ],
2307          fp:= [ 2, 12 ],
2308          next:= [ 342, 343 ] ), rec(
2309          desc:= [ 105003 ],
2310          fp:= [ 2, 12 ],
2311          next:= [ 332, 333 ] ) ] ) ] ), rec(
2312      fp:= [ 65951, 78735 ],
2313      next:= [ rec(
2314        fp:= [ 74693, 80836 ],
2315        next:= [ 328, 340 ] ), rec(
2316        fp:= [ 18218, 55237 ],
2317        next:= [ 270, 260 ] ) ] ) ] ), rec(
2318    fp:= [ 59194, 68275 ],
2319    next:= [ rec(
2320      fp:= [ 9758, 10938, 40991, 68495, 71044, 88957 ],
2321      next:= [ 1768, rec(
2322        fp:= [ 15171, 16238 ],
2323        next:= [ 1778, 1777 ] ), rec(
2324        fp:= [ 67459, 92786 ],
2325        next:= [ 1774, 1773 ] ), 1776, rec(
2326        fp:= [ 10575, 92481 ],
2327        next:= [ 1770, 1769 ] ), 1772 ] ), rec(
2328      fp:= [ 9540, 12327, 31887, 54234, 69179, 89641, 91526 ],
2329      next:= [ 2821, 2828, 2819, 2820, 2831, 2829, 2830 ] ) ] ), rec(
2330    fp:= [ 7626, 19581, 35977, 35979, 42686, 46857, 47932, 47934, 54641,
233157566, 61348, 64330, 66596, 66981, 73303, 76285, 78936, 82992, 88240, 94947,
233295332 ],
2333    level:= 4,
2334    next:= [ 1138, 1137, 1162, rec(
2335      fp:= [ 6469, 32396 ],
2336      next:= [ 803, 804 ] ), 800, rec(
2337      fp:= [ 1402, 88457 ],
2338      next:= [ rec(
2339        desc:= [ 215005 ],
2340        fp:= [ 4, 14 ],
2341        next:= [ 887, 885 ] ), 890 ] ), 1161, rec(
2342      fp:= [ 14380, 21097 ],
2343      next:= [ 808, 805 ] ), rec(
2344      fp:= [ 33362, 55981 ],
2345      next:= [ 809, rec(
2346        desc:= [ 217005 ],
2347        fp:= [ 2, 12 ],
2348        next:= [ 806, 807 ] ) ] ), 1190, rec(
2349      fp:= [ 77768, 84485 ],
2350      next:= [ 801, 802 ] ), 888, 812, 1175, rec(
2351      fp:= [ 85537, 88594 ],
2352      next:= [ 811, 813 ] ), 882, 1176, rec(
2353      fp:= [ 51556, 71260 ],
2354      next:= [ 883, 881 ] ), 886, rec(
2355      fp:= [ 44500, 64204 ],
2356      next:= [ 891, 889 ] ), 1135 ] ), 632, rec(
2357    fp:= [ 33939, 35279, 55832 ],
2358    next:= [ rec(
2359      fp:= [ 5027, 25942, 32460, 34304, 36891, 56432, 63581, 67049, 70905,
236075411, 84506, 85378, 88937, 96326 ],
2361      next:= [ rec(
2362        fp:= [ 56179, 83518 ],
2363        next:= [ 993, 985 ] ), 990, rec(
2364        fp:= [ 16034, 35278 ],
2365        next:= [ 972, 977 ] ), 994, 979, 974, 986, 989, rec(
2366        fp:= [ 55768, 90411 ],
2367        next:= [ 998, 976 ] ), rec(
2368        fp:= [ 3663, 89262 ],
2369        next:= [ 987, 992 ] ), rec(
2370        fp:= [ 10936, 37777 ],
2371        next:= [ 978, 970 ] ), 975, 971, rec(
2372        fp:= [ 6164, 61344 ],
2373        next:= [ 1000, 991 ] ) ] ), rec(
2374      fp:= [ 40530, 88892 ],
2375      next:= [ rec(
2376        fp:= [ 16536, 20950, 65627 ],
2377        next:= [ 2168, 2153, 3289 ] ), rec(
2378        fp:= [ 7868, 36966, 50060 ],
2379        next:= [ 2166, 2152, 3288 ] ) ] ), rec(
2380      fp:= [ 26807, 35315, 48250, 63594, 72954, 98511 ],
2381      next:= [ 2167, 2163, 2165, 2151, 2147, 2169 ] ) ] ), 2896, 2705, rec(
2382    fp:= [ 17113, 62023 ],
2383    level:= 4,
2384    next:= [ 752, 751 ] ), rec(
2385    fp:= [ 7684, 16427, 51095, 54873, 67613, 94605 ],
2386    level:= 4,
2387    next:= [ 2911, 2977, 2978, 2975, 2983, 2909 ] ), rec(
2388    fp:= [ 24863, 34555, 35519, 45211, 54903, 55867, 65559, 72891 ],
2389    level:= 4,
2390    next:= [ rec(
2391      fp:= [ 51880, 92652 ],
2392      next:= [ 2564, 2572 ] ), rec(
2393      fp:= [ 12639, 94930 ],
2394      next:= [ 2563, 2571 ] ), rec(
2395      fp:= [ 75430, 96451 ],
2396      next:= [ 2539, 2555 ] ), rec(
2397      fp:= [ 39394, 93785 ],
2398      next:= [ 2543, 2559 ] ), rec(
2399      fp:= [ 78730, 81199 ],
2400      next:= [ 2558, 2542 ] ), rec(
2401      fp:= [ 46271, 46464 ],
2402      next:= [ 2583, 2575 ] ), rec(
2403      fp:= [ 761, 18375 ],
2404      next:= [ 2584, 2576 ] ), rec(
2405      fp:= [ 8879, 78168 ],
2406      next:= [ 2589, 2597 ] ) ] ), rec(
2407    fp:= [ 43382, 52077 ],
2408    level:= 4,
2409    next:= [ 1865, 1863 ] ), rec(
2410    fp:= [ 58846, 68427, 68507 ],
2411    next:= [ rec(
2412      fp:= [ 658, 5959, 6643, 13117, 20669, 25970, 26260, 33522, 41364,
241345587, 53139, 54217, 60981, 65598, 73150, 73834, 80702, 85215, 86687, 92767,
241493451 ],
2415      next:= [ 3337, rec(
2416        fp:= [ 49236, 97749 ],
2417        next:= [ 3336, 3339 ] ), rec(
2418        fp:= [ 6050, 42940 ],
2419        next:= [ 3457, 2567 ] ), 3323, 3322, 3329, rec(
2420        fp:= [ 32538, 61091 ],
2421        next:= [ 2593, 3462 ] ), 3327, rec(
2422        fp:= [ 12775, 29079 ],
2423        next:= [ 2579, 3459 ] ), 3338, 3332, rec(
2424        fp:= [ 57161, 72418 ],
2425        next:= [ 3460, 2580 ] ), rec(
2426        fp:= [ 28982, 39305 ],
2427        next:= [ 3453, 2547 ] ), 3330, rec(
2428        fp:= [ 15745, 52406 ],
2429        next:= [ 3324, 3326 ] ), rec(
2430        fp:= [ 24585, 43696 ],
2431        next:= [ 3456, 2551 ] ), 3325, 3335, rec(
2432        fp:= [ 9505, 28940 ],
2433        next:= [ 2550, 3455 ] ), 3333, rec(
2434        fp:= [ 27735, 64487 ],
2435        next:= [ 3458, 2568 ] ) ] ), rec(
2436      fp:= [ 1370, 7415, 15650, 23885, 24012, 32374, 33294, 40736, 48178,
243754223, 63378, 93462 ],
2438      next:= [ 1216, 1217, 1235, 1226, 1233, 1234, 1227, 1236, 1218, 1215,
24391225, 1224 ] ), rec(
2440      fp:= [ 640, 6051, 11462, 24208, 42466, 44219, 47877, 51771, 63886,
244164230, 69297, 71782, 74708, 79334, 91793, 99345 ],
2442      next:= [ 2586, 2562, 2574, 2594, 2585, 2569, 2556, 2570, 2561, 2553,
24432573, 2554, 2598, 2548, 2582, 2581 ] ) ] ), rec(
2444    fp:= [ 13678, 51619 ],
2445    level:= 5,
2446    next:= [ 32, 34 ] ), rec(
2447    fp:= [ 4491, 86697 ],
2448    level:= 4,
2449    next:= [ 2079, 2078 ] ), rec(
2450    fp:= [ 5922, 7290, 26907, 63613, 64330, 85966 ],
2451    level:= 4,
2452    next:= [ 1733, 2222, rec(
2453      fp:= [ 68028, 68285 ],
2454      next:= [ 1487, 1435 ] ), 1442, 1492, 1947 ] ), rec(
2455    fp:= [ 13820, 84703, 99092 ],
2456    level:= 4,
2457    next:= [ 621, 603, 612 ] ), rec(
2458    fp:= [ 18977, 24643, 27348, 33014, 38680, 41385, 47051, 52717 ],
2459    level:= 4,
2460    next:= [ 1089, 1018, 1090, 1024, 1064, 1023, 1063, 1116 ] ), rec(
2461    fp:= [ 29390, 52857, 99267 ],
2462    level:= 4,
2463    next:= [ 2891, 2890, 2889 ] ), rec(
2464    fp:= [ 68053, 88965 ],
2465    level:= 4,
2466    next:= [ rec(
2467      fp:= [ 72919, 87251 ],
2468      next:= [ 1822, 2992 ] ), 2918 ] ), rec(
2469    fp:= [ 72919, 76318 ],
2470    next:= [ rec(
2471      fp:= [ 33294, 40736 ],
2472      next:= [ 576, 567 ] ), 594 ] ), rec(
2473    fp:= [ 19764, 31631 ],
2474    next:= [ rec(
2475      fp:= [ 1890, 7626, 12599, 64330, 76285, 95332 ],
2476      next:= [ 186, 492, 552, rec(
2477        desc:= [ 108003 ],
2478        fp:= [ 4, 212 ],
2479        next:= [ 189, rec(
2480          desc:= [ 117011, 217003 ],
2481          fp:= [ 4, 14 ],
2482          next:= [ 188, 190 ] ) ] ), rec(
2483        desc:= [ 214004 ],
2484        fp:= [ 4, 14 ],
2485        next:= [ 187, 185 ] ), rec(
2486        desc:= [ 106003 ],
2487        fp:= [ 2, 12 ],
2488        next:= [ 490, 491 ] ) ] ), rec(
2489      fp:= [ 11161, 30413, 67542, 87915 ],
2490      next:= [ 453, 488, 93, rec(
2491        desc:= [ 214004 ],
2492        fp:= [ 2, 12 ],
2493        next:= [ 94, 92 ] ) ] ) ] ), rec(
2494    fp:= [ 32691, 62898, 74915, 82828, 84201 ],
2495    level:= 4,
2496    next:= [ 1824, rec(
2497      fp:= [ 89694, 98874 ],
2498      next:= [ 2922, 2921 ] ), rec(
2499      fp:= [ 28174, 32698 ],
2500      next:= [ 2917, 2920 ] ), rec(
2501      fp:= [ 40346, 43712, 67404, 86883 ],
2502      next:= [ 2996, rec(
2503        desc:= [ 113002 ],
2504        fp:= [ 9, 613 ],
2505        next:= [ 1826, 3001 ] ), 3000, 1823 ] ), rec(
2506      fp:= [ 1186, 26829, 79535, 91273 ],
2507      next:= [ 2998, 2995, 2994, 2999 ] ) ] ), rec(
2508    fp:= [ 45753, 47083, 64002, 98154 ],
2509    level:= 4,
2510    next:= [ 1241, 1938, 649, 1939 ] ), rec(
2511    fp:= [ 15199, 50403, 79656 ],
2512    level:= 4,
2513    next:= [ 76, 74, 75 ] ), rec(
2514    fp:= [ 19985, 22274, 71296, 72228, 81269, 94837, 96739 ],
2515    level:= 4,
2516    next:= [ rec(
2517      fp:= [ 34393, 34665 ],
2518      next:= [ 244, 1608 ] ), 2207, rec(
2519      fp:= [ 8468, 79636 ],
2520      next:= [ 309, 1640 ] ), 2965, 1261, 1260, 2195 ] ), rec(
2521    fp:= [ 58846, 68427, 68507 ],
2522    next:= [ rec(
2523      fp:= [ 13407, 13511, 73150, 73834, 92767, 94819 ],
2524      next:= [ rec(
2525        fp:= [ 1050, 77211 ],
2526        next:= [ 2591, 3461 ] ), 3334, 3328, rec(
2527        fp:= [ 14080, 29185 ],
2528        next:= [ 3454, 2549 ] ), 3331, 3593 ] ), rec(
2529      fp:= [ 15650, 24012, 32374, 40736 ],
2530      next:= [ 1208, 1206, 1207, 1209 ] ), rec(
2531      fp:= [ 6051, 16873, 31760, 71782 ],
2532      next:= [ 2560, 2596, 2592, 2552 ] ) ] ), rec(
2533    fp:= [ 13550, 15168, 25877, 27555, 35777, 37187, 39777, 40569, 54130,
253455644, 62375, 94962, 97614, 98732 ],
2535    level:= 4,
2536    next:= [ rec(
2537      fp:= [ 16267, 74120 ],
2538      next:= [ 2854, 1650 ] ), 3502, 3102, 347, rec(
2539      fp:= [ 26328, 86287 ],
2540      next:= [ 1271, 2727 ] ), 3103, 3559, 279, 2751, rec(
2541      fp:= [ 22701, 67056 ],
2542      next:= [ 2728, 1272 ] ), rec(
2543      fp:= [ 93278, 93335 ],
2544      next:= [ 1284, 2726 ] ), 3305, rec(
2545      fp:= [ 35940, 79754 ],
2546      next:= [ 1614, 2849 ] ), 3301 ] ), 11, rec(
2547    fp:= [ 4444, 10965, 14224, 20692, 20745, 22693, 24185, 32446, 36571,
254841150, 42226, 43092, 43155, 44674, 59138, 64573, 65659, 69152, 70033, 70428,
254970823, 75439, 77387, 81216, 82416, 86203, 87140, 87403, 89641, 95844, 97786,
255097849, 99368 ],
2551    level:= 4,
2552    next:= [ rec(
2553      fp:= [ 24638, 84170, 86464 ],
2554      next:= [ 1397, 1469, 1390 ] ), rec(
2555      fp:= [ 7646, 22262 ],
2556      next:= [ 1396, 1463 ] ), 1418, rec(
2557      fp:= [ 12596, 15116 ],
2558      next:= [ 1464, 1402 ] ), 1415, 1743, 1416, rec(
2559      fp:= [ 43915, 78418, 79493 ],
2560      next:= [ 1395, 1391, 1467 ] ), 1412, 1417, 1413, 1410, 1739, 1722, rec(
2561      fp:= [ 8392, 10234, 12010 ],
2562      next:= [ 1401, 1470, 1392 ] ), 1409, rec(
2563      fp:= [ 72563, 92307 ],
2564      next:= [ 1462, rec(
2565        desc:= [ 214004 ],
2566        fp:= [ 2, 12 ],
2567        next:= [ 1400, 1398 ] ) ] ), 1411, 1474, 1473, 1475, 1419, 1744,
25681478, 1480, 1479, rec(
2569      fp:= [ 35272, 64454, 73107 ],
2570      next:= [ 1389, 1468, 1399 ] ), 1481, 1723, 1420, 1414, 1740,
25711724 ] ), rec(
2572    fp:= [ 4711, 5127, 7487, 15420, 18938, 23480, 26730, 28319, 30545, 33908,
257338608, 41417, 43673, 45187, 45322, 49168, 50475, 51918, 52089, 54109, 57584,
257475147, 84045, 86019, 89874, 91699, 94082, 98732 ],
2575    level:= 4,
2576    next:= [ 3503, 2761, 3123, 3109, 2800, 2785, 3110, 3130, 3505, 3315,
25773560, 3124, 2784, 2760, 2870, 3319, 3507, 2759, 3116, 3312, rec(
2578      fp:= [ 2, 3 ],
2579      func:= 14,
2580      next:= [ 3562, 3561 ] ), 3504, 3308, 3117, 3563, 2865, 3506, 2801 ] ),
2581952, rec(
2582    fp:= [ 74435, 92684 ],
2583    level:= 4,
2584    next:= [ 2912, rec(
2585      fp:= [ 25704, 69237 ],
2586      next:= [ 2143, 2137 ] ) ] ), rec(
2587    fp:= [ 58185, 58275 ],
2588    next:= [ rec(
2589      fp:= [ 19011, 63378 ],
2590      next:= [ 1748, rec(
2591        fp:= [ 17154, 35120 ],
2592        next:= [ 1750, 1749 ] ) ] ), 2824 ] ), rec(
2593    fp:= [ 38363, 49126 ],
2594    level:= 4,
2595    next:= [ 221, 219 ] ), rec(
2596    fp:= [ 12125, 55574 ],
2597    level:= 4,
2598    next:= [ 1814, 1813 ] ), rec(
2599    fp:= [ 10189, 64330, 66296, 80814, 86649, 90353, 95332 ],
2600    level:= 4,
2601    next:= [ 519, 205, 513, 501, 198, 212, 507 ] ), rec(
2602    fp:= [ 1374, 21001, 48389, 60981, 62349, 71999, 81966 ],
2603    level:= 4,
2604    next:= [ rec(
2605      fp:= [ 4553, 5678 ],
2606      next:= [ 361, 1675 ] ), 349, 2205, 1657, 2201, 373, 1331 ] ), rec(
2607    fp:= [ 59237, 71104 ],
2608    next:= [ rec(
2609      fp:= [ 7129, 41662, 57700, 68520, 90752, 95552 ],
2610      next:= [ rec(
2611        desc:= [ 105004 ],
2612        fp:= [ 6, 16 ],
2613        next:= [ 1887, 1888 ] ), 1797, 1892, 1899, rec(
2614        desc:= [ 107004 ],
2615        fp:= [ 12, 616 ],
2616        next:= [ 1799, 1798 ] ), 1796 ] ), rec(
2617      fp:= [ 530, 35310, 46914, 51348 ],
2618      next:= [ 1793, 1794, 1885, 1883 ] ) ] ), rec(
2619    fp:= [ 12117, 15825, 20812, 78840 ],
2620    level:= 4,
2621    next:= [ 739, 714, 713, 741 ] ), rec(
2622    fp:= [ 7129, 8610, 38382, 41662, 46462, 47606, 48839, 57700, 58063,
262359181, 68520, 90752, 92233, 95552, 97033 ],
2624    level:= 4,
2625    next:= [ rec(
2626      fp:= [ 4846, 46909 ],
2627      next:= [ 1891, 1896 ] ), 1898, 1808, rec(
2628      fp:= [ 25516, 61640 ],
2629      next:= [ 1806, 1807 ] ), rec(
2630      fp:= [ 23468, 70332 ],
2631      next:= [ 1801, 1802 ] ), 1894, 1800, rec(
2632      fp:= [ 18696, 76728 ],
2633      next:= [ 1897, 1889 ] ), rec(
2634      fp:= [ 33452, 94611 ],
2635      next:= [ 1900, 1895 ] ), 1890, 1893, rec(
2636      fp:= [ 12444, 44222 ],
2637      next:= [ 1810, 1811 ] ), 1803, rec(
2638      fp:= [ 12754, 44452 ],
2639      next:= [ 1804, 1805 ] ), 1809 ] ), rec(
2640    fp:= [ 49294, 90501 ],
2641    level:= 4,
2642    next:= [ rec(
2643      fp:= [ 24566, 57636, 61398, 79027 ],
2644      next:= [ 641, 38, rec(
2645        desc:= [ 111002 ],
2646        fp:= [ 9, 613 ],
2647        next:= [ 30, 645 ] ), 646 ] ), 40 ] ), rec(
2648    fp:= [ 41082, 66212, 93741 ],
2649    level:= 4,
2650    next:= [ 1913, rec(
2651      fp:= [ 22813, 79070 ],
2652      next:= [ 3030, 3034 ] ), rec(
2653      fp:= [ 20515, 40020, 83772, 91753 ],
2654      next:= [ 1911, rec(
2655        desc:= [ 111002 ],
2656        fp:= [ 9, 613 ],
2657        next:= [ 1903, 3072 ] ), 3068, 3073 ] ) ] ), rec(
2658    fp:= [ 38609, 56642 ],
2659    level:= 4,
2660    next:= [ rec(
2661      fp:= [ 42555, 46483 ],
2662      next:= [ 3023, 1854 ] ), 2944 ] ), 2816, rec(
2663    fp:= [ 1374, 16875, 48389 ],
2664    level:= 4,
2665    next:= [ rec(
2666      fp:= [ 63006, 75135 ],
2667      next:= [ 313, 1645 ] ), 1325, 2197 ] ), rec(
2668    fp:= [ 23704, 39774 ],
2669    level:= 4,
2670    next:= [ rec(
2671      fp:= [ 20412, 21196 ],
2672      next:= [ 2190, 780 ] ), rec(
2673      fp:= [ 43691, 55610 ],
2674      next:= [ 2189, 778 ] ) ] ), rec(
2675    fp:= [ 9764, 21631 ],
2676    next:= [ rec(
2677      fp:= [ 1890, 22803, 24482, 34174, 43226, 47150, 57286, 61368, 64330,
267869261, 75449, 76285, 77640, 86063, 88288, 89595, 94193, 96384 ],
2679      next:= [ 1486, 2219, rec(
2680        desc:= [ 111011 ],
2681        fp:= [ 20, 426, 1614 ],
2682        next:= [ 1424, 1423, 1428 ] ), 1429, 1431, 1945, 2226, 1946, rec(
2683        desc:= [ 105003 ],
2684        fp:= [ 2, 12 ],
2685        next:= [ 1483, 1484 ] ), 1434, rec(
2686        desc:= [ 104003 ],
2687        fp:= [ 2, 12 ],
2688        next:= [ 1728, 1729 ] ), 1485, rec(
2689        desc:= [ 105003 ],
2690        fp:= [ 2, 12 ],
2691        next:= [ rec(
2692          desc:= [ 106003 ],
2693          fp:= [ 2, 12 ],
2694          next:= [ 1425, 1426 ] ), 1427 ] ), 1433, 1745, 1430, 1730,
26951432 ] ), rec(
2696      fp:= [ 527, 2138, 6344, 12213, 27683, 28279, 29251, 29580, 40585,
269750134, 58040, 67542, 75368, 87915 ],
2698      next:= [ 1367, 1943, 2225, 1355, 1356, 1717, 1726, 1942, 2217, 1354,
26991368, 1455, 1353, 1450 ] ) ] ), 2986, rec(
2700    fp:= [ 20067, 49294, 78521, 90501 ],
2701    level:= 4,
2702    next:= [ 44, 45, 47, 46 ] ), rec(
2703    fp:= [ 4031, 4830, 11468, 31171, 38608, 46045, 65748, 73185 ],
2704    level:= 4,
2705    next:= [ rec(
2706      fp:= [ 22169, 76495 ],
2707      next:= [ 1020, 1027 ] ), rec(
2708      fp:= [ 91228, 98719 ],
2709      next:= [ 1118, 1115 ] ), rec(
2710      fp:= [ 50232, 54200 ],
2711      next:= [ 1088, 1092 ] ), rec(
2712      fp:= [ 34962, 80505 ],
2713      next:= [ 1061, 1065 ] ), rec(
2714      fp:= [ 81949, 92299 ],
2715      next:= [ 1028, 1021 ] ), rec(
2716      fp:= [ 39454, 74339 ],
2717      next:= [ 1091, 1087 ] ), rec(
2718      fp:= [ 4543, 22438 ],
2719      next:= [ 1062, 1066 ] ), rec(
2720      fp:= [ 49977, 74644 ],
2721      next:= [ 1025, 1017 ] ) ] ), rec(
2722    fp:= [ 14661, 35144, 47083, 53797, 62584, 66059, 94099 ],
2723    level:= 4,
2724    next:= [ rec(
2725      fp:= [ 2, 3 ],
2726      func:= 14,
2727      next:= [ 3098, 3097 ] ), 3096, 3095, 1933, 2708, 3495, 2709 ] ), rec(
2728    fp:= [ 58113, 90238 ],
2729    level:= 4,
2730    next:= [ rec(
2731      fp:= [ 29109, 62798 ],
2732      next:= [ 321, 303 ] ), rec(
2733      fp:= [ 26546, 62195 ],
2734      next:= [ 239, 254 ] ) ] ), rec(
2735    fp:= [ 11161, 19531, 24697, 30413, 56975, 69977, 97679 ],
2736    level:= 4,
2737    next:= [ rec(
2738      fp:= [ 13129, 28212, 50306, 87701 ],
2739      next:= [ 1629, 289, 1604, rec(
2740        desc:= [ 115002 ],
2741        fp:= [ 9, 613 ],
2742        next:= [ 249, 1624 ] ) ] ), rec(
2743      fp:= [ 32109, 66067 ],
2744      next:= [ 1250, 1308 ] ), 371, rec(
2745      fp:= [ 7137, 54784, 75990, 93949 ],
2746      next:= [ 359, rec(
2747        desc:= [ 111002 ],
2748        fp:= [ 9, 613 ],
2749        next:= [ 311, 1662 ] ), 1638, 1668 ] ), rec(
2750      fp:= [ 24587, 68698 ],
2751      next:= [ 1301, 1243 ] ), 299, rec(
2752      fp:= [ 28972, 45563 ],
2753      next:= [ 1242, 1300 ] ) ] ) ] );
2754