1#############################################################################
2##
3#W  id960.z                GAP library of id's             Hans Ulrich Besche
4##
5
6ID_GROUP_TREE.next[960]:=
7rec(
8  fp:= [ 345, 468, 846, 960, 1036, 1828, 2327, 2463, 2633, 7148, 8531, 8862,
99881, 10019, 10300, 10930, 11055, 11201, 11399, 11499, 11511, 11589, 11820,
1012403, 12666, 13015, 13361, 14379, 14686, 15100, 17460, 17542, 18122, 18166,
1118350, 20938, 20991, 21091, 21320, 21347, 21520, 21969, 22613, 23155, 24476,
1224490, 24600, 25120, 26046, 26830, 27834, 28595, 28642, 28816, 28871, 29492,
1329722, 29822, 29898, 29934, 30081, 30307, 30505, 30785, 31161, 31278, 31653,
1432110, 32300, 32673, 32820, 33240, 33258, 33274, 33674, 34074, 34844, 34884,
1535267, 35730, 36685, 37370, 38001, 39004, 39364, 41127, 42633, 43129, 43231,
1645083, 45323, 45883, 48027, 48399, 48596, 48737, 49668, 49933, 50130, 50278,
1750585, 52192, 52197, 54662, 55155, 55613, 55669, 56043, 56339, 56630, 57206,
1858313, 58340, 59106, 60227, 60772, 60983, 61117, 61118, 61333, 61384, 61484,
1962338, 62537, 62776, 63101, 63391, 63411, 63551, 63650, 66719, 66883, 67322,
2068212, 68441, 69491, 69712, 70086, 70299, 70969, 71007, 71236, 71589, 71721,
2172152, 72557, 72597, 72972, 73037, 73203, 73248, 73769, 73875, 74036, 74154,
2274469, 74915, 76127, 76266, 76739, 76751, 77959, 78113, 78461, 79631, 79704,
2380763, 80992, 81027, 81485, 81612, 81667, 81703, 81843, 82585, 83132, 83222,
2483447, 83842, 83965, 84256, 84741, 84785, 85451, 85553, 85666, 85812, 86121,
2586598, 88017, 88795, 89129, 89212, 89587, 92663, 92665, 93013, 93188, 93337,
2693467, 94712, 95609, 96200, 96220, 96423, 96639, 96813, 97881, 97975, 98367,
2798733, 99104 ],
28  next:= [ rec(
29    fp:= [ 21, 41, 42 ],
30    next:= [ rec(
31      fp:= [ 13520, 30879, 45395, 98665 ],
32      next:= [ 10871, 10875, 10876, 10874 ] ), rec(
33      fp:= [ 72030, 85741 ],
34      next:= [ 10864, 10890 ] ), rec(
35      fp:= [ 17955, 45247, 53866, 57514, 86546 ],
36      next:= [ 10888, 10882, 10886, 10866, 10865 ] ) ] ),, 5572, rec(
37    fp:= [ 8449, 98909 ],
38    level:= 4,
39    next:= [ 11358, 11357 ] ), rec(
40    fp:= [ 10045, 26234, 71533 ],
41    level:= 4,
42    next:= [ rec(
43      fp:= [ 45153, 97581 ],
44      next:= [ 9645, 9643 ] ), rec(
45      fp:= [ 57800, 88587 ],
46      next:= [ 9659, 9660 ] ), rec(
47      fp:= [ 11826, 48037 ],
48      next:= [ 9646, 9644 ] ) ] ), rec(
49    fp:= [ 7032, 49249, 64509 ],
50    next:= [ rec(
51      fp:= [ 3588, 4233, 29818, 33010, 60397, 67389, 67643, 98222 ],
52      next:= [ 906, 247, rec(
53        fp:= [ 24951, 38704 ],
54        next:= [ 311, 244 ] ), 308, rec(
55        fp:= [ 30548, 55619 ],
56        next:= [ 837, 888 ] ), 248, 243, 836 ] ), rec(
57      fp:= [ 3962, 9177, 14626, 21408, 62250 ],
58      next:= [ 10928, rec(
59        desc:= [ 105003 ],
60        fp:= [ 2, 12 ],
61        next:= [ 6379, 6380 ] ), 10939, 6400, 6381 ] ), rec(
62      fp:= [ 25850, 75155, 77090, 85474 ],
63      next:= [ 10938, 10926, 6377, 6367 ] ) ] ), rec(
64    fp:= [ 42649, 68264, 93879, 99420 ],
65    level:= 4,
66    next:= [ 5763, 6311, 5762, 6299 ] ), rec(
67    fp:= [ 1867, 5114, 6575, 8607, 15592, 21961, 27690, 30352, 45530, 49466,
6849940, 53258, 60708, 70427, 80763 ],
69    level:= 4,
70    next:= [ 6387, 6398, 6389, 6354, 6397, 6395, rec(
71      desc:= [ 106003 ],
72      fp:= [ 4, 14, 212 ],
73      next:= [ 6355, 6350, 6353 ] ), 6375, 6373, 6393, 6399, 6357, 6374,
746396, 6359 ] ), rec(
75    fp:= [ 2502, 9981, 31190, 32336, 48199, 48788, 56557, 73320, 75596 ],
76    level:= 4,
77    next:= [ 7, 462, 907, 9, 675, 514, 8, 942, 676 ] ), rec(
78    fp:= [ 15972, 27839 ],
79    next:= [ rec(
80      fp:= [ 518, 12047, 12933, 15732, 17262, 30372, 39252, 44130, 78339,
8184451, 97840 ],
82      next:= [ 10907, 10913, rec(
83        desc:= [ 105003 ],
84        fp:= [ 2, 12 ],
85        next:= [ rec(
86          desc:= [ 106003 ],
87          fp:= [ 4, 14 ],
88          next:= [ 5829, 5830 ] ), 5831 ] ), 5833, rec(
89        desc:= [ 105003 ],
90        fp:= [ 2, 12 ],
91        next:= [ 6325, 6326 ] ), 6346, 5834, 10924, 5832, 10908,
926327 ] ), rec(
93      fp:= [ 4918, 12190, 15379, 23599, 28143, 31380, 34970, 54985, 62143 ],
94      next:= [ 6314, 10905, 5767, 6323, 10911, 10904, 10923, 5773,
955766 ] ) ] ), rec(
96    fp:= [ 18663, 19118, 35042, 52342, 68721, 84645, 85100 ],
97    level:= 4,
98    next:= [ rec(
99      desc:= [ 106003 ],
100      fp:= [ 2, 12 ],
101      next:= [ 628, 625 ] ), 624, 623, 631, 622, rec(
102      desc:= [ 105003 ],
103      fp:= [ 4, 212 ],
104      next:= [ rec(
105        desc:= [ 113007 ],
106        fp:= [ 8, 18 ],
107        next:= [ 629, 630 ] ), 621 ] ), 620 ] ), rec(
108    fp:= [ 1704, 16941, 43150, 46692 ],
109    level:= 4,
110    next:= [ 3991, 4188, 6441, 6470 ] ), 786, rec(
111    fp:= [ 53750, 97650 ],
112    next:= [ rec(
113      fp:= [ 8499, 27912, 47325, 49346, 53729, 58112, 81403, 85786, 88747,
11490169 ],
115      next:= [ rec(
116        fp:= [ 45891, 45935 ],
117        next:= [ 4619, 4617 ] ), 4704, 4900, rec(
118        fp:= [ 21881, 29612 ],
119        next:= [ 4524, 4372 ] ), rec(
120        fp:= [ 3083, 41380, 84674 ],
121        next:= [ 4526, 4379, 4527 ] ), rec(
122        fp:= [ 25995, 98368 ],
123        next:= [ 4528, 4380 ] ), rec(
124        fp:= [ 32472, 96565 ],
125        next:= [ 4793, 4412 ] ), rec(
126        fp:= [ 79626, 84046 ],
127        next:= [ 4803, 4419 ] ), 4717, rec(
128        fp:= [ 13567, 26629 ],
129        next:= [ 4802, 4418 ] ) ] ), rec(
130      fp:= [ 29051, 83551 ],
131      next:= [ rec(
132        fp:= [ 2698, 34095, 35343, 38128 ],
133        next:= [ 4594, 4595, 4601, 4600 ] ), rec(
134        fp:= [ 39606, 81765 ],
135        next:= [ 4791, 4834 ] ) ] ) ] ), 9667, rec(
136    fp:= [ 46807, 78441 ],
137    level:= 4,
138    next:= [ 4022, 6413 ] ), 5544, rec(
139    fp:= [ 12120, 33123, 41740, 48146, 63702, 96216 ],
140    level:= 4,
141    next:= [ 4190, 4012, 6444, 3776, 6403, 6474 ] ), rec(
142    fp:= [ 44437, 44447, 58756 ],
143    next:= [ rec(
144      fp:= [ 24932, 89046 ],
145      next:= [ 587, 586 ] ), 612, 9657 ] ), rec(
146    fp:= [ 7663, 31725, 33281, 41137, 49250, 58165 ],
147    level:= 4,
148    next:= [ 5835, 11375, 11373, 6310, 11364, 11381 ] ), rec(
149    fp:= [ 12381, 16347, 63450 ],
150    level:= 4,
151    next:= [ 11367, 11390, 11366 ] ), rec(
152    fp:= [ 6634, 15490, 41599, 61328, 67708, 89042 ],
153    level:= 4,
154    next:= [ 11113, 11110, 11112, 11111, 11109, 11114 ] ), rec(
155    fp:= [ 34437, 44447 ],
156    next:= [ rec(
157      fp:= [ 9825, 40039 ],
158      next:= [ rec(
159        fp:= [ 36297, 80636 ],
160        next:= [ 601, 604 ] ), rec(
161        fp:= [ 49333, 57448, 86154 ],
162        next:= [ 600, 602, 603 ] ) ] ), 610 ] ), rec(
163    fp:= [ 183, 1028, 10835, 16676, 20998, 21888, 24667, 28147, 31417, 44832,
16448962, 50102, 63717, 65647, 68843, 73741, 79720, 89658, 95755 ],
165    level:= 4,
166    next:= [ 5768, 5776, 6330, 6329, 5770, 6315, 5774, 5771, 6328, 5777,
1675769, 5780, 6312, 5775, 5781, 5778, 6316, 5779, 6331 ] ), rec(
168    fp:= [ 21851, 56225 ],
169    level:= 4,
170    next:= [ 3733, 3737 ] ), rec(
171    fp:= [ 3030, 12601 ],
172    next:= [ 11388, rec(
173      fp:= [ 9502, 10649, 11796, 34704, 35851, 59906, 61053, 83961, 85108,
17486255 ],
175      next:= [ rec(
176        fp:= [ 12082, 21433, 71527, 98713 ],
177        next:= [ rec(
178          desc:= [ 104003 ],
179          fp:= [ 22, 814 ],
180          next:= [ 10815, 10811 ] ), 10825, 10817, 10828 ] ), rec(
181        fp:= [ 26442, 49431, 64224, 72215, 86925, 86928 ],
182        next:= [ 10808, 10824, 10816, 10809, 10810, rec(
183          desc:= [ 106003 ],
184          fp:= [ 4, 14 ],
185          next:= [ 10822, 10821 ] ) ] ), rec(
186        fp:= [ 63202, 79096 ],
187        next:= [ 10814, 10805 ] ), rec(
188        fp:= [ 12758, 29104, 47581, 91193 ],
189        next:= [ 10836, rec(
190          desc:= [ 105003 ],
191          fp:= [ 18, 414 ],
192          next:= [ 10833, 10838 ] ), 10840, 10847 ] ), rec(
193        fp:= [ 11987, 75579, 96420 ],
194        next:= [ rec(
195          desc:= [ 40103003 ],
196          fp:= [ 1921, 2881 ],
197          next:= [ 10844, 10845 ] ), 10834, 10830 ] ), rec(
198        fp:= [ 35432, 50662, 54449, 60233, 72926, 88980 ],
199        next:= [ 10826, 10813, 10807, rec(
200          desc:= [ 106003 ],
201          fp:= [ 4, 14 ],
202          next:= [ 10823, 10820 ] ), 10812, 10827 ] ), rec(
203        fp:= [ 13962, 21859, 53137 ],
204        next:= [ 10819, 10818, 10806 ] ), rec(
205        fp:= [ 2333, 42106 ],
206        next:= [ 10848, rec(
207          desc:= [ 104003 ],
208          fp:= [ 22, 418 ],
209          next:= [ 10842, 10841 ] ) ] ), rec(
210        fp:= [ 39453, 51590, 54589, 61580 ],
211        next:= [ rec(
212          desc:= [ 106003 ],
213          fp:= [ 416, 812 ],
214          next:= [ 10832, 10837 ] ), 10846, rec(
215          desc:= [ 106003 ],
216          fp:= [ 8, 414 ],
217          next:= [ 10835, 10831 ] ), rec(
218          desc:= [ 302005 ],
219          fp:= [ 222, 4361 ],
220          next:= [ 10839, 10843 ] ) ] ), 10829 ] ) ] ), rec(
221    fp:= [ 35482, 91243 ],
222    next:= [ rec(
223      fp:= [ 1704, 16941, 43150, 46692 ],
224      next:= [ rec(
225        fp:= [ 20788, 69591, 88101, 98250 ],
226        next:= [ 3993, 3999, 3998, 3992 ] ), rec(
227        fp:= [ 37050, 67457 ],
228        next:= [ 4189, 4232 ] ), rec(
229        fp:= [ 64491, 69158, 71978 ],
230        next:= [ 6442, 6443, 6453 ] ), rec(
231        fp:= [ 79432, 83249 ],
232        next:= [ 6471, 6519 ] ) ] ), rec(
233      fp:= [ 12120, 16568, 31527, 32784, 33123, 34380, 34719, 36315, 48146,
23448625, 52529, 63702, 65298, 79724, 80203, 94620, 96216, 97812 ],
235      next:= [ rec(
236        fp:= [ 62531, 99369 ],
237        next:= [ 4191, 3810 ] ), rec(
238        fp:= [ 13965, 51885 ],
239        next:= [ 3778, 3926 ] ), 4115, 6430, rec(
240        fp:= [ 78829, 79400 ],
241        next:= [ 4015, 4017 ] ), rec(
242        fp:= [ 81689, 99626 ],
243        next:= [ 6479, 6481 ] ), 4102, 4298, rec(
244        fp:= [ 32973, 34753, 62316 ],
245        next:= [ 3925, 3924, 3777 ] ), rec(
246        fp:= [ 14380, 49144 ],
247        next:= [ 3816, 4200 ] ), 6525, rec(
248        fp:= [ 36690, 52480 ],
249        next:= [ 6407, rec(
250          desc:= [ 106003 ],
251          fp:= [ 4, 212 ],
252          next:= [ 6406, 6408 ] ) ] ), 6420, rec(
253        fp:= [ 27703, 99027 ],
254        next:= [ 3770, 3922 ] ), rec(
255        fp:= [ 1069, 57330 ],
256        next:= [ 3817, 4201 ] ), rec(
257        desc:= [ 104003 ],
258        fp:= [ 16, 412 ],
259        next:= [ 6514, 6431 ] ), rec(
260        fp:= [ 77217, 78971 ],
261        next:= [ rec(
262          desc:= [ 104003 ],
263          fp:= [ 4, 14 ],
264          next:= [ 6480, 6475 ] ), rec(
265          desc:= [ 106003 ],
266          fp:= [ 2, 12 ],
267          next:= [ 6482, 6476 ] ) ] ), 6500 ] ) ] ), rec(
268    fp:= [ 28557, 53068 ],
269    level:= 4,
270    next:= [ 11374, 11360 ] ), rec(
271    fp:= [ 5286, 6433, 11975, 18664, 30081, 42312, 43459, 49001, 52580,
27255690, 62379, 67921, 69068, 81299, 92716, 99405 ],
273    level:= 4,
274    next:= [ 11317, 11314, 11325, 11319, 11308, 11315, 11313, 11324,
27511327, rec(
276      fp:= [ 23297, 49349, 85291 ],
277      next:= [ 11318, 11321, 11311 ] ), 11322, 11316, 11312, 11310, 11320,
27811323 ] ), 4624, rec(
279    fp:= [ 24655, 26979, 36027, 52002, 53278, 79349, 83936 ],
280    level:= 4,
281    next:= [ 9671, 6402, 9672, 9668, 5748, 9669, 9670 ] ), rec(
282    fp:= [ 6109, 6913, 9783, 17096, 17858, 23923, 28123, 40285, 42864, 53155,
28356003, 57594, 58925, 60665, 64416, 64822, 75086, 79157, 80777, 82131, 82613,
28485759, 88629 ],
285    level:= 4,
286    next:= [ 191, 193, 194, 491, 772, 190, 487, 930, rec(
287      fp:= [ 2494, 19792 ],
288      next:= [ 488, 555 ] ), 552, 774, 189, 492, 192, 775, rec(
289      fp:= [ 33769, 79511 ],
290      next:= [ 982, 931 ] ), rec(
291      fp:= [ 15207, 93251 ],
292      next:= [ 779, 776 ] ), rec(
293      fp:= [ 62001, 79969 ],
294      next:= [ 777, 778 ] ), 773, rec(
295      fp:= [ 1579, 46686 ],
296      next:= [ 195, 197 ] ), 1000, rec(
297      fp:= [ 21983, 91802 ],
298      next:= [ 196, 199 ] ), rec(
299      fp:= [ 71007, 74954 ],
300      next:= [ 198, 200 ] ) ] ), rec(
301    fp:= [ 652, 5196, 7386, 29327, 29599, 36058, 52488, 68120, 73197, 80108,
30296646 ],
303    level:= 4,
304    next:= [ 10734, 11173, 8316, 11059, 11054, 11009, 8311, 8321, 8139,
30511191, 10690 ] ), rec(
306    fp:= [ 6112, 18591, 20094, 21200, 27357, 34076, 36123, 48058, 52965,
30758920, 68643, 80929, 86884, 91791 ],
308    level:= 4,
309    next:= [ 6293, 6269, 6261, 6285, 6272, 6291, 6273, rec(
310      desc:= [ 110003 ],
311      fp:= [ 4, 14, 212 ],
312      next:= [ rec(
313        desc:= [ 302004, 302006, 209002 ],
314        fp:= [ 2, 12 ],
315        next:= [ 6256, 6257 ] ), 6252, 6255 ] ), 6295, 6297, 6287, 6294,
3166296, 6259 ] ), rec(
317    fp:= [ 24856, 34437 ],
318    next:= [ 9640, rec(
319      fp:= [ 24932, 59906 ],
320      next:= [ rec(
321        fp:= [ 52662, 84637 ],
322        next:= [ 606, 607 ] ), 605 ] ) ] ), rec(
323    fp:= [ 8499, 30081, 81403 ],
324    level:= 4,
325    next:= [ rec(
326      fp:= [ 21052, 26878 ],
327      next:= [ 424, 427 ] ), rec(
328      desc:= [ 205002 ],
329      fp:= [ 4, 14 ],
330      next:= [ 421, 420 ] ), rec(
331      fp:= [ 4246, 44478 ],
332      next:= [ 448, rec(
333        desc:= [ 211005 ],
334        fp:= [ 4, 14 ],
335        next:= [ 453, 450 ] ) ] ) ] ), rec(
336    fp:= [ 3962, 9177, 40474, 50298, 63870, 67979, 75155, 77090, 78877,
33785474 ],
338    level:= 4,
339    next:= [ rec(
340      fp:= [ 21894, 71069 ],
341      next:= [ 10936, 10935 ] ), rec(
342      fp:= [ 54460, 95479 ],
343      next:= [ 6392, 6394 ] ), rec(
344      fp:= [ 14709, 63979 ],
345      next:= [ 6358, 6356 ] ), rec(
346      fp:= [ 53006, 69550 ],
347      next:= [ 6388, 6386 ] ), rec(
348      fp:= [ 54084, 85331 ],
349      next:= [ 10932, 10931 ] ), rec(
350      fp:= [ 46275, 56590 ],
351      next:= [ 6351, 6352 ] ), rec(
352      fp:= [ 6056, 19197 ],
353      next:= [ 10934, 10933 ] ), rec(
354      fp:= [ 57574, 96059 ],
355      next:= [ 6390, 6391 ] ), rec(
356      fp:= [ 4368, 93576 ],
357      next:= [ 10930, 10929 ] ), rec(
358      fp:= [ 32997, 48375 ],
359      next:= [ 6372, 6371 ] ) ] ), rec(
360    fp:= [ 44437, 44447 ],
361    next:= [ rec(
362      fp:= [ 56989, 77429, 92536 ],
363      next:= [ 588, rec(
364        desc:= [ 108003 ],
365        fp:= [ 8, 414 ],
366        next:= [ 598, 597 ] ), 589 ] ), rec(
367      fp:= [ 19760, 44789 ],
368      next:= [ 627, 613 ] ) ] ), rec(
369    fp:= [ 8499, 53729, 81403 ],
370    level:= 4,
371    next:= [ 4614, 4378, 4792 ] ), rec(
372    fp:= [ 13960, 39088 ],
373    level:= 4,
374    next:= [ 5, 2 ] ), rec(
375    fp:= [ 25025, 37054 ],
376    level:= 4,
377    next:= [ rec(
378      fp:= [ 7591, 51068 ],
379      next:= [ 812, 11148 ] ), rec(
380      fp:= [ 58508, 69296 ],
381      next:= [ 5761, 11371 ] ) ] ), 6276, rec(
382    fp:= [ 248, 1021, 3820, 41137, 65465, 68264, 96621, 99420 ],
383    level:= 4,
384    next:= [ 11118, 10998, 10999, 11120, 11119, 11121, 11116, 11117 ] ), rec(
385    fp:= [ 49717, 56711, 84999, 96398, 97102 ],
386    level:= 4,
387    next:= [ 232, 272, 815, 829, 857 ] ), rec(
388    fp:= [ 19527, 52002, 56553 ],
389    level:= 4,
390    next:= [ 3727, rec(
391      fp:= [ 24114, 62273 ],
392      next:= [ 3722, rec(
393        desc:= [ 206002 ],
394        fp:= [ 4, 212 ],
395        next:= [ 3730, 3731 ] ) ] ), rec(
396      fp:= [ 39682, 56822 ],
397      next:= [ 3732, 3723 ] ) ] ), rec(
398    fp:= [ 24562, 36417, 64022, 91072 ],
399    level:= 4,
400    next:= [ 5760, 5759, 807, 805 ] ), rec(
401    fp:= [ 34437, 44437, 44447 ],
402    next:= [ 599, 585, 609 ] ), rec(
403    fp:= [ 27218, 35937, 54892, 86526 ],
404    level:= 4,
405    next:= [ 6025, 2829, 5226, 6539 ] ), rec(
406    fp:= [ 518, 12047, 12933, 17262 ],
407    level:= 4,
408    next:= [ 10906, 10912, 5828, 6324 ] ), rec(
409    fp:= [ 7032, 62793 ],
410    next:= [ rec(
411      fp:= [ 49717, 56711, 84999, 96398, 97102 ],
412      next:= [ 238, 284, rec(
413        desc:= [ 130013 ],
414        fp:= [ 8, 18 ],
415        next:= [ 818, 817 ] ), 832, 862 ] ), rec(
416      fp:= [ 18528, 28222, 35332, 58801, 64952, 88569 ],
417      next:= [ rec(
418        fp:= [ 28887, 45698, 83499 ],
419        next:= [ 873, 868, 869 ] ), rec(
420        fp:= [ 25745, 62043, 67980, 89093 ],
421        next:= [ 301, 304, 295, 303 ] ), rec(
422        fp:= [ 7433, 58804, 76780 ],
423        next:= [ 327, 323, 329 ] ), rec(
424        fp:= [ 10495, 60876, 88693, 97016 ],
425        next:= [ 847, 834, 835, 846 ] ), rec(
426        fp:= [ 31307, 34731, 82907 ],
427        next:= [ 872, 865, 867 ] ), rec(
428        fp:= [ 22138, 80339, 98441 ],
429        next:= [ 324, 330, 332 ] ) ] ) ] ),,, rec(
430    fp:= [ 29051, 83551 ],
431    level:= 4,
432    next:= [ 4593, 4790 ] ), rec(
433    fp:= [ 27980, 59800, 86041, 86231 ],
434    level:= 4,
435    next:= [ 270, 848, 218, 813 ] ), rec(
436    fp:= [ 44447, 88357 ],
437    next:= [ rec(
438      fp:= [ 19760, 44789 ],
439      next:= [ 626, 611 ] ), 633 ] ), rec(
440    fp:= [ 7416, 14538, 24655, 57082, 96969 ],
441    level:= 4,
442    next:= [ 11389, 11365, 9656, 11384, 9647 ] ), rec(
443    fp:= [ 41497, 75397 ],
444    next:= [, rec(
445      fp:= [ 652, 5196, 7386, 10617, 15205, 22610, 29327, 29599, 36058,
44648517, 52488, 56911, 61499, 68120, 73197, 80108, 82352, 87443, 89425, 96646 ],
447      next:= [ rec(
448        fp:= [ 44677, 62045, 89033 ],
449        next:= [ 10773, 10735, 10772 ] ), rec(
450        fp:= [ 5892, 29381, 60070, 93040 ],
451        next:= [ 11188, 11175, 11187, 11174 ] ), rec(
452        fp:= [ 20149, 22996, 24115, 31322, 37485, 41871, 78186 ],
453        next:= [ 8319, 8317, 9492, 9493, 8327, 8320, 8318 ] ), rec(
454        fp:= [ 12958, 57157, 59944 ],
455        next:= [ 11021, 11022, 11019 ] ), rec(
456        fp:= [ 4414, 88487 ],
457        next:= [ 11034, 11036 ] ), rec(
458        fp:= [ 11661, 33438 ],
459        next:= [ 11179, 11180 ] ), rec(
460        fp:= [ 6, 57614 ],
461        next:= [ 11062, 11060 ] ), rec(
462        fp:= [ 21900, 47871 ],
463        next:= [ 11061, 11056 ] ), rec(
464        fp:= [ 9190, 27507, 33760, 62483, 81390, 81945, 82496, 94889 ],
465        next:= [ 11016, 11013, 11014, 11020, 11018, 11015, 11011,
46611023 ] ), rec(
467        fp:= [ 5863, 14498, 51538 ],
468        next:= [ 11058, 11055, 11057 ] ), rec(
469        fp:= [ 742, 7524, 9375, 52478, 58842, 79391, 82407 ],
470        next:= [ 8326, 8312, 9491, 8314, 9490, 8313, 8315 ] ), rec(
471        fp:= [ 943, 29113 ],
472        next:= [ 11046, 11043 ] ), rec(
473        fp:= [ 18982, 78283, 89703 ],
474        next:= [ 11010, 11017, 11012 ] ), rec(
475        fp:= [ 7460, 33638, 40162, 43101, 44696, 47886, 75347 ],
476        next:= [ 8328, 9494, 9495, 8322, 8323, 8325, 8324 ] ), rec(
477        fp:= [ 15053, 17494, 18553, 19653, 24341, 26265, 33842, 38593, 39961,
47840624, 45559, 51462, 63300, 66260, 68876, 80478, 86106, 89585, 90342, 92556,
47999067 ],
480        next:= [ 8212, 8144, 8140, 8211, 8148, 8142, 8210, 8209, 8188, 8147,
4818207, 8236, 8190, 8141, 8208, 8189, 8145, 8143, 8146, 8213, 8191 ] ),
48211192, rec(
483        fp:= [ 74878, 80832 ],
484        next:= [ 11044, 11045 ] ), rec(
485        fp:= [ 35929, 79889 ],
486        next:= [ 11184, 11183 ] ), rec(
487        fp:= [ 21477, 68671 ],
488        next:= [ 11037, 11035 ] ), rec(
489        fp:= [ 14926, 27175, 63218, 81991, 83640, 91407, 97716 ],
490        next:= [ 10698, 10704, 10703, 10699, 10691, 10697,
49110692 ] ) ] ) ] ),, rec(
492    fp:= [ 47726, 88227 ],
493    next:= [ rec(
494      fp:= [ 18997, 36733 ],
495      next:= [ 393, 341 ] ), rec(
496      fp:= [ 29051, 34483, 34818, 83551 ],
497      next:= [ 401, 356, 395, 443 ] ) ] ), rec(
498    fp:= [ 13130, 15169, 42516, 83405, 85444 ],
499    level:= 4,
500    next:= [ 6362, 6365, rec(
501      fp:= [ 60938, 62797, 71793 ],
502      next:= [ 6363, 6348, 6349 ] ), 6347, 6364 ] ),, rec(
503    fp:= [ 7032, 96693 ],
504    next:= [ rec(
505      fp:= [ 16568, 17537, 22752, 31527, 32784, 34719, 43500, 48715, 66794,
50672009, 79724, 94620, 97812 ],
507      next:= [ 249, 894, 317, 320, 828, 314, 825, 246, rec(
508        fp:= [ 43475, 82116 ],
509        next:= [ 826, 900 ] ), rec(
510        fp:= [ 20896, 91697 ],
511        next:= [ 313, 245 ] ), 250, rec(
512        fp:= [ 22556, 41497 ],
513        next:= [ 901, 827 ] ), 895 ] ), rec(
514      fp:= [ 16568, 28222, 31414, 31527, 32784, 34719, 35332, 35976, 37911,
51553073, 58801, 61993, 66047, 71837, 79724, 94620, 96626, 97812 ],
516      next:= [ 236, rec(
517        fp:= [ 40740, 40802 ],
518        next:= [ 224, 310 ] ), 309, rec(
519        desc:= [ 115011 ],
520        fp:= [ 22, 814 ],
521        next:= [ rec(
522          desc:= [ 302004, 207002 ],
523          fp:= [ 2, 12 ],
524          next:= [ 319, 318 ] ), 315 ] ), 899, 312, 239, 897, 316, 257, rec(
525        desc:= [ 121011 ],
526        fp:= [ 16, 412 ],
527        next:= [ 898, 841 ] ), 892, 223, 242, rec(
528        desc:= [ 117019 ],
529        fp:= [ 18, 414 ],
530        next:= [ rec(
531          desc:= [ 302004, 207002 ],
532          fp:= [ 2, 12 ],
533          next:= [ rec(
534            desc:= [ 303007, 211003 ],
535            fp:= [ 4, 14 ],
536            next:= [ 254, 258 ] ), 253 ] ), 237 ] ), rec(
537        desc:= [ 302017 ],
538        fp:= [ 681, 26421 ],
539        next:= [ 903, rec(
540          desc:= [ 108003 ],
541          fp:= [ 4, 14 ],
542          next:= [ 842, 845 ] ) ] ), 840, 893 ] ) ] ), rec(
543    fp:= [ 39598, 71872, 83711 ],
544    level:= 4,
545    next:= [ 10893, 10997, 11362 ] ), rec(
546    fp:= [ 7032, 64509, 96693 ],
547    next:= [ rec(
548      fp:= [ 1704, 16941, 43150, 46692 ],
549      next:= [ 286, 325, 863, 884 ] ), rec(
550      fp:= [ 25850, 75155, 77090, 85474 ],
551      next:= [ 10937, 10925, 6376, 6366 ] ), rec(
552      fp:= [ 12120, 33123, 34380, 36315, 48625, 52529, 96216 ],
553      next:= [ 241, 300, 887, 297, 240, 905, rec(
554        desc:= [ 105003 ],
555        fp:= [ 2, 12 ],
556        next:= [ 886, 885 ] ) ] ) ] ),, 3736, 11378, rec(
557    fp:= [ 44327, 88227 ],
558    next:= [ rec(
559      fp:= [ 12595, 50550, 92414 ],
560      next:= [ rec(
561        fp:= [ 32212, 34558, 93611 ],
562        next:= [ 449, 451, 445 ] ), rec(
563        fp:= [ 7171, 40242, 41877 ],
564        next:= [ 452, 454, 446 ] ), rec(
565        fp:= [ 3931, 15476, 74063, 86423 ],
566        next:= [ 425, 426, 417, 423 ] ) ] ), rec(
567      fp:= [ 34483, 34818 ],
568      next:= [ 360, 406 ] ) ] ), 217,, rec(
569    fp:= [ 39579, 57349 ],
570    level:= 5,
571    next:= [ 3721, rec(
572      desc:= [ 106003 ],
573      fp:= [ 4, 14 ],
574      next:= [ 3725, 3726 ] ) ] ), rec(
575    fp:= [ 7032, 66192 ],
576    next:= [ rec(
577      fp:= [ 1704, 16941, 43150, 46692, 49717, 56711, 96398, 97102 ],
578      next:= [ 279, 321, 859, 883, 234, 273, 830, 860 ] ), rec(
579      fp:= [ 27980, 59800, 86041, 86231 ],
580      next:= [ 271, 849, 219, 814 ] ) ] ),, rec(
581    fp:= [ 34483, 34818 ],
582    level:= 4,
583    next:= [ 354, 394 ] ), rec(
584    fp:= [ 12166, 44652, 50992, 53418, 83863 ],
585    level:= 4,
586    next:= [ rec(
587      fp:= [ 15514, 41351 ],
588      next:= [ 366, 433 ] ), 370, 430, 369, 365 ] ), rec(
589    fp:= [ 15490, 67708 ],
590    level:= 4,
591    next:= [ 781, 780 ] ), rec(
592    fp:= [ 82, 85, 170 ],
593    next:= [ 10863, 10881, 10884 ] ), rec(
594    fp:= [ 21, 41, 42, 82, 85, 170, 174 ],
595    next:= [ rec(
596      fp:= [ 34877, 36450, 83480, 85053 ],
597      next:= [ 10877, 10873, 10878, 10872 ] ), rec(
598      fp:= [ 59965, 85741 ],
599      next:= [ 10870, 10891 ] ), rec(
600      fp:= [ 2630, 8907, 11362, 42471, 69191 ],
601      next:= [ 10887, 10868, 10869, 10883, 10889 ] ), 10867, rec(
602      fp:= [ 20035, 33536 ],
603      next:= [ 10879, 10880 ] ), 10885, 10892 ] ), rec(
604    fp:= [ 6112, 16425, 21200, 34076, 38983, 44938, 66947, 68643, 72902,
60577809 ],
606    level:= 4,
607    next:= [ rec(
608      fp:= [ 1379, 91817 ],
609      next:= [ 11079, 11081 ] ), 11074, 11073, 11078, 11083, 11084, 11082,
61011075, 11085, 11080 ] ), rec(
611    fp:= [ 25447, 33183 ],
612    level:= 4,
613    next:= [ 11372, 11379 ] ), 4, rec(
614    fp:= [ 8054, 16903, 18428, 19321, 19953, 24365, 27440, 29409, 65261,
61567023, 71912, 76795, 76956, 78950, 80475, 82000, 84647, 88329, 96181 ],
616    level:= 4,
617    next:= [ rec(
618      desc:= [ 106003 ],
619      fp:= [ 2, 12 ],
620      next:= [ 407, 411 ] ), 457, 461, 389, rec(
621      desc:= [ 106003 ],
622      fp:= [ 2, 12 ],
623      next:= [ 381, 459 ] ), 391, 400, rec(
624      desc:= [ 106003 ],
625      fp:= [ 2, 12 ],
626      next:= [ 388, 390 ] ), 403, 387, 385, 412, 382, 456, 460, rec(
627      desc:= [ 105003 ],
628      fp:= [ 2, 12 ],
629      next:= [ rec(
630        desc:= [ 106003 ],
631        fp:= [ 2, 12 ],
632        next:= [ rec(
633          desc:= [ 114007 ],
634          fp:= [ 8, 18 ],
635          next:= [ 383, 384 ] ), 386 ] ), 458 ] ), 410, rec(
636      desc:= [ 105003 ],
637      fp:= [ 4, 212 ],
638      next:= [ rec(
639        desc:= [ 112007 ],
640        fp:= [ 8, 18 ],
641        next:= [ 398, 399 ] ), 397 ] ), 404 ] ), rec(
642    fp:= [ 1319, 23893, 26705, 35014, 35093, 39100, 39844, 42447, 61362,
64364037, 87253 ],
644    level:= 4,
645    next:= [ 6596, 5836, 1725, 1717, 5392, 6567, 1721, 5195, 5934, 1001,
6465930 ] ), 11376, rec(
647    fp:= [ 420, 5635, 7378, 14663, 19793, 29733, 35350, 38814, 44068, 67075,
64868434, 79501, 83089, 90022 ],
649    level:= 4,
650    next:= [ rec(
651      fp:= [ 6453, 78077 ],
652      next:= [ 983, 932 ] ), rec(
653      desc:= [ 205002 ],
654      fp:= [ 4, 14 ],
655      next:= [ 543, 542 ] ), rec(
656      fp:= [ 28964, 91972 ],
657      next:= [ 768, rec(
658        desc:= [ 208004 ],
659        fp:= [ 4, 14 ],
660        next:= [ 767, 766 ] ) ] ), rec(
661      fp:= [ 16288, 33724 ],
662      next:= [ rec(
663        desc:= [ 211005 ],
664        fp:= [ 4, 14 ],
665        next:= [ 188, 187 ] ), 180 ] ), rec(
666      desc:= [ 302005 ],
667      fp:= [ 3, 342 ],
668      next:= [ rec(
669        desc:= [ 206002 ],
670        fp:= [ 4, 14 ],
671        next:= [ 215, 214 ] ), 213 ] ), rec(
672      fp:= [ 30272, 36672 ],
673      next:= [ 933, 985 ] ), rec(
674      fp:= [ 53067, 79831 ],
675      next:= [ rec(
676        desc:= [ 211005 ],
677        fp:= [ 4, 14 ],
678        next:= [ 184, 183 ] ), 181 ] ), rec(
679      fp:= [ 21709, 93309 ],
680      next:= [ 570, rec(
681        desc:= [ 211005 ],
682        fp:= [ 4, 14 ],
683        next:= [ 575, 572 ] ) ] ), rec(
684      fp:= [ 16654, 18434 ],
685      next:= [ 769, rec(
686        desc:= [ 212005 ],
687        fp:= [ 4, 14 ],
688        next:= [ 771, 770 ] ) ] ), rec(
689      fp:= [ 37905, 39166, 63915 ],
690      next:= [ 732, 733, 729 ] ), rec(
691      fp:= [ 46273, 74692, 89535 ],
692      next:= [ 965, 960, 968 ] ), rec(
693      fp:= [ 4600, 81897 ],
694      next:= [ rec(
695        desc:= [ 211005 ],
696        fp:= [ 4, 14 ],
697        next:= [ 186, 185 ] ), 182 ] ), rec(
698      fp:= [ 32784, 46655, 68535 ],
699      next:= [ 731, 734, 730 ] ), rec(
700      fp:= [ 74254, 75005 ],
701      next:= [ 549, 546 ] ) ] ), 1, rec(
702    fp:= [ 3373, 7748, 14867, 22643, 42366, 59931, 67624, 67889, 74746,
70375274, 83423, 88966 ],
704    level:= 4,
705    next:= [ 909, 951, 643, 476, 66, 736, 923, 67, 516, 735, 644, 65 ] ), rec(
706    fp:= [ 22858, 25657, 42516 ],
707    level:= 4,
708    next:= [ rec(
709      fp:= [ 34284, 84027 ],
710      next:= [ 797, 798 ] ), 796, rec(
711      fp:= [ 4196, 90550 ],
712      next:= [ 801, rec(
713        desc:= [ 106003 ],
714        fp:= [ 2, 12 ],
715        next:= [ 799, 800 ] ) ] ) ] ), rec(
716    fp:= [ 2221, 3211, 3468, 10464, 12655, 13821, 15552, 20898, 23795, 28676,
71729141, 31098, 39341, 42109, 44573, 52719, 53878, 60119, 64231, 65207, 73450,
71874584, 78682, 78796, 81007, 81104, 89347, 92776, 93639, 94228 ],
719    level:= 4,
720    next:= [ 260, rec(
721      desc:= [ 118007 ],
722      fp:= [ 4, 14 ],
723      next:= [ 821, 822 ] ), 282, rec(
724      desc:= [ 105003 ],
725      fp:= [ 2, 12 ],
726      next:= [ rec(
727        desc:= [ 106003 ],
728        fp:= [ 2, 12 ],
729        next:= [ rec(
730          desc:= [ 115007 ],
731          fp:= [ 8, 18 ],
732          next:= [ 261, 262 ] ), 264 ] ), 336 ] ), 267, rec(
733      desc:= [ 106003 ],
734      fp:= [ 2, 12 ],
735      next:= [ 285, 289 ] ), 876, 269, 875, 335, rec(
736      desc:= [ 106003 ],
737      fp:= [ 2, 12 ],
738      next:= [ 266, 268 ] ), 881, 882, rec(
739      desc:= [ 130003 ],
740      fp:= [ 8, 18 ],
741      next:= [ 819, 820 ] ), 338, 278, 281, rec(
742      desc:= [ 106003 ],
743      fp:= [ 2, 12 ],
744      next:= [ 259, 337 ] ), 290, 878, 877, rec(
745      desc:= [ 105003 ],
746      fp:= [ 4, 212 ],
747      next:= [ rec(
748        desc:= [ 113007 ],
749        fp:= [ 8, 18 ],
750        next:= [ 276, 277 ] ), 275 ] ), 334, 265, rec(
751      desc:= [ 117007 ],
752      fp:= [ 4, 14 ],
753      next:= [ 823, 824 ] ), 879, 880, 288, 263, 339 ] ), rec(
754    fp:= [ 60897, 70468, 70478 ],
755    next:= [ rec(
756      fp:= [ 71533, 72680, 73827 ],
757      next:= [ 11277, 11279, 11275 ] ), rec(
758      fp:= [ 9502, 10649, 59906, 61053 ],
759      next:= [ rec(
760        desc:= [ 104003 ],
761        fp:= [ 14, 222, 618, 1014 ],
762        next:= [ 5571, 5565, 5568, 5570 ] ), 5564, rec(
763        desc:= [ 302005 ],
764        fp:= [ 563, 28561, 38541 ],
765        next:= [ 5566, 5567, rec(
766          desc:= [ 107003, 207003 ],
767          fp:= [ 6, 16 ],
768          next:= [ 5569, 5563 ] ) ] ), 5562 ] ), rec(
769      fp:= [ 35851, 85108 ],
770      next:= [ 5627, 5628 ] ) ] ), rec(
771    fp:= [ 543, 1440, 5889, 6113, 6385, 7543, 12227, 13526, 15284, 15974,
77220630, 21126, 23123, 24400, 27199, 27706, 29998, 31554, 32984, 43938, 46789,
77352369, 60948, 69379, 72115, 76564, 77810, 79924, 81911, 86389, 91305, 94820,
77495754, 96652, 97147, 99007 ],
775    level:= 4,
776    next:= [ 11104, 10956, 10958, 10971, rec(
777      fp:= [ 31801, 69871 ],
778      next:= [ 11100, 11102 ] ), 10980, 11106, 10965, 11103, 10979, 10955,
77911099, 10972, 11094, 11096, 10964, 11095, 10968, 10981, 10977, 10962, 10970,
78010974, rec(
781      fp:= [ 52830, 53985 ],
782      next:= [ 10978, 10975 ] ), 10960, 10967, 10969, 10963, 10957,
78310973, rec(
784      fp:= [ 16805, 25397 ],
785      next:= [ 10961, 11101 ] ), 10976, 10966, 10954, 11105, 10959 ] ),
78611348, 11394, rec(
787    fp:= [ 19527, 24655, 38040, 52002, 55152, 56553, 82827, 96969 ],
788    level:= 4,
789    next:= [ rec(
790      fp:= [ 74898, 99143 ],
791      next:= [ 11285, 11287 ] ), 3734, 3735, rec(
792      fp:= [ 24114, 62273 ],
793      next:= [ 11284, 3728 ] ), 11150, 3729, 11151, 11286 ] ), rec(
794    fp:= [ 18997, 36733 ],
795    level:= 4,
796    next:= [ 392, 340 ] ), rec(
797    fp:= [ 85, 174 ],
798    next:= [ 11355, 11356 ] ), rec(
799    fp:= [ 34611, 49871 ],
800    next:= [ rec(
801      fp:= [ 4682, 41708, 76574 ],
802      next:= [ 6279, rec(
803        desc:= [ 105003 ],
804        fp:= [ 2, 12 ],
805        next:= [ 6277, 6278 ] ), 6298 ] ), rec(
806      fp:= [ 22974, 49822 ],
807      next:= [ 6266, 6275 ] ) ] ), rec(
808    fp:= [ 24856, 44447, 58756 ],
809    next:= [ rec(
810      fp:= [ 71533, 72680 ],
811      next:= [ 9642, 9641 ] ), rec(
812      fp:= [ 36549, 72096 ],
813      next:= [ 614, 615 ] ), 9658 ] ), rec(
814    fp:= [ 96621, 99420 ],
815    level:= 4,
816    next:= [ 788, 789 ] ), 632, rec(
817    fp:= [ 14635, 30996 ],
818    level:= 4,
819    next:= [ 794, 5751 ] ), rec(
820    fp:= [ 2358, 4239, 5187, 7147, 8294, 9968, 12933, 17262, 18086, 24270,
82129051, 41265, 46046, 50827, 63041, 67822, 78757, 80141, 81138, 81608, 82124,
82282180, 83492, 84219, 86905, 87725, 87853, 88872, 96866, 97840, 99220 ],
823    level:= 4,
824    next:= [ 10994, 10953, 10949, 11097, 11093, 10942, 10982, 11088, 10988,
82510944, 10940, 10946, 10947, 10941, 10952, 10951, 11090, 10991, 10986, 11108,
82610945, 10992, 10993, 10990, 10948, 11098, 10943, 11092, 10984, 11091,
82710989 ] ), rec(
828    fp:= [ 11192, 34507, 72680, 94595 ],
829    level:= 4,
830    next:= [ 11281, 11280, rec(
831      fp:= [ 58, 92733 ],
832      next:= [ 11278, 11282 ] ), 11276 ] ), rec(
833    fp:= [ 7130, 15169, 22858, 25657, 42516, 55561, 85444 ],
834    level:= 4,
835    next:= [ 11146, 811, 808, 11144, rec(
836      fp:= [ 4196, 90550 ],
837      next:= [ 11145, 809 ] ), 810, 11147 ] ), rec(
838    fp:= [ 50106, 56512 ],
839    level:= 4,
840    next:= [ 850, 225 ] ), 347, rec(
841    fp:= [ 78227, 88227 ],
842    next:= [ rec(
843      fp:= [ 18493, 27912, 49346, 58112, 88747 ],
844      next:= [ rec(
845        fp:= [ 5531, 70735 ],
846        next:= [ rec(
847          desc:= [ 109003 ],
848          fp:= [ 8, 414 ],
849          next:= [ 373, 374 ] ), rec(
850          desc:= [ 108003 ],
851          fp:= [ 8, 414 ],
852          next:= [ 352, 351 ] ) ] ), 428, rec(
853        fp:= [ 1743, 57943 ],
854        next:= [ 378, 350 ] ), rec(
855        fp:= [ 50102, 76131 ],
856        next:= [ 377, 353 ] ), 429 ] ), rec(
857      fp:= [ 29051, 34483, 34818, 83551 ],
858      next:= [ rec(
859        fp:= [ 24403, 68164 ],
860        next:= [ 409, 402 ] ), 357, 405, 455 ] ) ] ),, rec(
861    fp:= [ 44327, 78227, 88227 ],
862    next:= [ rec(
863      fp:= [ 8499, 81403 ],
864      next:= [ 418, 444 ] ), rec(
865      desc:= [ 107005 ],
866      fp:= [ 8, 18 ],
867      next:= [ 348, 349 ] ), rec(
868      fp:= [ 34483, 34818 ],
869      next:= [ 355, 396 ] ) ] ), rec(
870    fp:= [ 7032, 62793, 96693 ],
871    next:= [ rec(
872      fp:= [ 49717, 56711, 84999, 96398, 97102 ],
873      next:= [ 233, 274, 816, 831, 858 ] ), rec(
874      fp:= [ 12120, 33123, 41740, 96216 ],
875      next:= [ 322, 296, 864, 890 ] ), rec(
876      fp:= [ 50106, 56512 ],
877      next:= [ rec(
878        desc:= [ 108005 ],
879        fp:= [ 4, 14 ],
880        next:= [ 852, 851 ] ), rec(
881        desc:= [ 107005 ],
882        fp:= [ 8, 18 ],
883        next:= [ 226, 227 ] ) ] ) ] ), rec(
884    fp:= [ 78227, 88227 ],
885    next:= [ rec(
886      fp:= [ 8499, 47325, 81403, 90169 ],
887      next:= [ 422, 419, 363, 362 ] ), rec(
888      fp:= [ 29051, 83551 ],
889      next:= [ 408, 447 ] ) ] ), rec(
890    fp:= [ 35042, 35497, 84645, 85100, 85555 ],
891    level:= 4,
892    next:= [ 5680, 5679, 5677, rec(
893      fp:= [ 12526, 75089 ],
894      next:= [ 5678, 5676 ] ), 5675 ] ), rec(
895    fp:= [ 731, 6738, 12319, 14663, 19772, 29733, 35350, 35673, 38814, 39898,
89644068, 60534, 63993, 67075, 67373, 68434, 75859, 79501, 80958, 83089, 89463,
89790022 ],
898    level:= 4,
899    next:= [ 1777, 6059, 6529, 2510, 1171, 6600, 2516, 4980, 5394, 1769,
9006180, 1175, 1167, 5886, 5842, 6570, 1773, 2517, 6066, 5887, 5952,
9015216 ] ), rec(
902    fp:= [ 15798, 32495 ],
903    level:= 4,
904    next:= [ 10995, 10996 ] ), rec(
905    fp:= [ 38637, 45419, 50623 ],
906    level:= 4,
907    next:= [ 11385, 11306, 11289 ] ), rec(
908    fp:= [ 1622, 15772, 27563, 31850, 66068, 79537, 80218 ],
909    level:= 4,
910    next:= [ 413, 415, 342, 344, 414, 343, 416 ] ), rec(
911    fp:= [ 34380, 36315, 48625, 52529 ],
912    level:= 4,
913    next:= [ 11152, 9986, 9942, 11170 ] ), rec(
914    fp:= [ 4492, 33059, 40039, 68606, 97173 ],
915    level:= 4,
916    next:= [ rec(
917      fp:= [ 20960, 88311 ],
918      next:= [ 10862, 10858 ] ), rec(
919      fp:= [ 58391, 83026 ],
920      next:= [ 10860, 10857 ] ), 10855, rec(
921      fp:= [ 2022, 35906, 65981, 89506 ],
922      next:= [ 10856, 10854, 10859, 10861 ] ), 10853 ] ), 608, rec(
923    fp:= [ 44938, 49444, 58210, 66947, 66976, 72902, 94911 ],
924    level:= 4,
925    next:= [ 6281, 6264, 6267, 6283, 6268, 6280, 6282 ] ), rec(
926    fp:= [ 32880, 36424 ],
927    next:= [ 11382 ] ), rec(
928    fp:= [ 86, 249, 1639, 1781, 4259, 5635, 7102, 8470, 10948, 11180, 12480,
92912643, 13818, 14245, 15159, 15336, 16726, 16854, 17873, 19169, 19346, 19793,
93020864, 22025, 26035, 27553, 28891, 28964, 32901, 32960, 34242, 34419, 35809,
93136956, 37112, 38252, 39122, 41108, 41122, 41921, 42226, 42463, 42640, 44720,
93247974, 48047, 49329, 49506, 51984, 52043, 52185, 56195, 60205, 60406, 62884,
93363061, 63959, 64416, 67130, 69750, 69927, 71268, 71282, 74138, 75278, 76176,
93477971, 78148, 79489, 82217, 83499, 84837, 86213, 86355, 87998, 90365, 91526,
93593044, 93221, 95536, 97054, 97231, 97304, 98449, 98451, 98572 ],
936    level:= 4,
937    next:= [ 11208, 11230, 11344, 11233, 11256, 11328, 11267, 11258, 11226,
93811270, 11244, 11194, 11209, 11271, 11228, 11255, 11337, 11203, 11334, 11215,
93911243, 11269, 11235, 11225, 11249, 11251, 11227, 11330, 11214, 11342, 11221,
94011250, 11335, 11333, 11216, 11205, 11262, 11231, 11239, 11273, 11266, 11200,
94111240, 11272, 11220, 11339, 11259, 11241, 11195, 11343, 11222, rec(
942      fp:= [ 17300, 38263, 43813, 44361, 58157, 72599, 75851 ],
943      next:= [ 11213, 11211, 11253, 11217, 11204, 11212, 11246 ] ), 11238,
94411202, 11224, 11257, 11347, 11236, rec(
945      fp:= [ 58911, 88788, 97843 ],
946      next:= [ 11338, 11331, 11341 ] ), 11223, 11196, 11218, 11245, 11206,
94711198, 11261, 11247, 11237, 11201, 11345, 11234, 11248, 11340, 11252, 11264,
94811242, 11219, 11229, 11197, 11210, 11254, 11232, 11336, 11268, 11332,
94911199 ] ), 584, rec(
950    fp:= [ 41, 42 ],
951    next:= [ rec(
952      fp:= [ 5143, 65027, 74791 ],
953      next:= [ 5686, 5737, 5691 ] ), rec(
954      fp:= [ 1251, 17955, 57514, 72030, 85741 ],
955      next:= [ 5721, 5731, rec(
956        desc:= [ 105003 ],
957        fp:= [ 2, 12 ],
958        next:= [ 5703, 5697 ] ), 5702, 5728 ] ) ] ), rec(
959    fp:= [ 61328, 67708 ],
960    level:= 4,
961    next:= [ 785, 782 ] ), rec(
962    fp:= [ 7032, 96693 ],
963    next:= [ rec(
964      fp:= [ 1704, 16941, 43150, 46692, 49717, 56711, 96398, 97102 ],
965      next:= [ rec(
966        fp:= [ 85831, 92634 ],
967        next:= [ 287, 280 ] ), 333, 870, 904, 235, 283, 833, 861 ] ), rec(
968      fp:= [ 16568, 31527, 32784, 34719, 50106, 56512, 79724, 94620, 97812 ],
969      next:= [ rec(
970        fp:= [ 27768, 91941 ],
971        next:= [ 231, 255 ] ), 307, 843, 306, rec(
972        desc:= [ 109003 ],
973        fp:= [ 4, 14 ],
974        next:= [ rec(
975          desc:= [ 305011 ],
976          fp:= [ 84, 362 ],
977          next:= [ 855, rec(
978            desc:= [ 110007 ],
979            fp:= [ 4, 14 ],
980            next:= [ 856, 854 ] ) ] ), 853 ] ), rec(
981        fp:= [ 11396, 31715 ],
982        next:= [ rec(
983          desc:= [ 108003 ],
984          fp:= [ 8, 414 ],
985          next:= [ 230, 229 ] ), rec(
986          desc:= [ 109003 ],
987          fp:= [ 8, 414 ],
988          next:= [ 251, 252 ] ) ] ), rec(
989        fp:= [ 48461, 74405 ],
990        next:= [ 256, 228 ] ), rec(
991        desc:= [ 105003 ],
992        fp:= [ 2, 12 ],
993        next:= [ 844, 902 ] ), 896 ] ) ] ), rec(
994    fp:= [ 81, 82, 165 ],
995    next:= [ 5681, 5692, 5735 ] ), rec(
996    fp:= [ 41, 42, 81, 82, 85, 162, 165, 170 ],
997    next:= [ rec(
998      fp:= [ 5143, 15921, 65027 ],
999      next:= [ 5687, 5694, 5738 ] ), rec(
1000      fp:= [ 8907, 17955, 20035, 34505, 38293, 89351 ],
1001      next:= [ 5711, 5734, 5725, 5729, 5705, 5704 ] ), 5685, rec(
1002      fp:= [ 8907, 15921, 38293, 89351 ],
1003      next:= [ 5710, 5693, 5695, 5696 ] ), 5724, 5727, 5736, 5745 ] ), rec(
1004    fp:= [ 82, 162 ],
1005    next:= [ 5701, 5726 ] ), rec(
1006    fp:= [ 12297, 18703, 30466, 99470 ],
1007    level:= 4,
1008    next:= [ 944, 469, 25, 679 ] ), rec(
1009    fp:= [ 49249, 62793 ],
1010    next:= [ rec(
1011      fp:= [ 3962, 9177 ],
1012      next:= [ 10927, 6378 ] ), rec(
1013      fp:= [ 12120, 33123, 41740, 91996, 96216, 97211 ],
1014      next:= [ rec(
1015        fp:= [ 28417, 38364 ],
1016        next:= [ rec(
1017          desc:= [ 211005 ],
1018          fp:= [ 4, 14 ],
1019          next:= [ 331, 328 ] ), 326 ] ), rec(
1020        fp:= [ 6658, 65800 ],
1021        next:= [ 302, 305 ] ), rec(
1022        fp:= [ 28788, 54753, 77275 ],
1023        next:= [ 874, 871, 866 ] ), rec(
1024        fp:= [ 49844, 74246 ],
1025        next:= [ 889, 838 ] ), rec(
1026        fp:= [ 30113, 39058 ],
1027        next:= [ 891, 839 ] ), rec(
1028        desc:= [ 205002 ],
1029        fp:= [ 4, 14 ],
1030        next:= [ 299, 298 ] ) ] ) ] ), rec(
1031    fp:= [ 248, 81705, 93613, 96621 ],
1032    level:= 4,
1033    next:= [ 793, 5750, 5749, 790 ] ), rec(
1034    fp:= [ 23513, 91996, 97211 ],
1035    level:= 4,
1036    next:= [ 9677, 11155, 9988 ] ), rec(
1037    fp:= [ 4492, 7982, 9825, 36549, 40039, 56989, 68606, 72096 ],
1038    level:= 4,
1039    next:= [ rec(
1040      fp:= [ 61576, 70609, 88311, 97278 ],
1041      next:= [ 5591, 5590, 5587, 5586 ] ), rec(
1042      fp:= [ 18916, 35845 ],
1043      next:= [ 5609, 5611 ] ), rec(
1044      fp:= [ 36297, 80636 ],
1045      next:= [ 5600, 5599 ] ), rec(
1046      fp:= [ 1094, 15102 ],
1047      next:= [ 5607, 5612 ] ), rec(
1048      fp:= [ 51887, 68744, 86154 ],
1049      next:= [ 5597, rec(
1050        desc:= [ 106003 ],
1051        fp:= [ 8, 414 ],
1052        next:= [ 5598, 5589 ] ), rec(
1053        desc:= [ 105003 ],
1054        fp:= [ 8, 414 ],
1055        next:= [ rec(
1056          desc:= [ 108003 ],
1057          fp:= [ 8, 18 ],
1058          next:= [ 5596, 5595 ] ), 5585 ] ) ] ), rec(
1059      fp:= [ 71655, 94012 ],
1060      next:= [ 5614, 5613 ] ), rec(
1061      fp:= [ 35838, 35906 ],
1062      next:= [ 5588, 5584 ] ), rec(
1063      fp:= [ 2632, 46563 ],
1064      next:= [ 5610, 5608 ] ) ] ), rec(
1065    fp:= [ 30081, 42312 ],
1066    level:= 4,
1067    next:= [ 10362, 10051 ] ), rec(
1068    fp:= [ 10204, 44104 ],
1069    next:= [ rec(
1070      fp:= [ 5013, 5790, 6757, 12297, 16394, 18703, 20720, 30466, 33075,
107133754, 35046, 41535, 45337, 49881, 64589, 74418, 84709, 92417, 94911, 99470 ],
1072      next:= [ rec(
1073        fp:= [ 32568, 44110 ],
1074        next:= [ 34, 33 ] ), rec(
1075        fp:= [ 80710, 99050 ],
1076        next:= [ 32, 31 ] ), rec(
1077        fp:= [ 16935, 61261 ],
1078        next:= [ 500, 472 ] ), rec(
1079        desc:= [ 109003 ],
1080        fp:= [ 4, 14 ],
1081        next:= [ rec(
1082          desc:= [ 305011 ],
1083          fp:= [ 244, 682 ],
1084          next:= [ 949, rec(
1085            desc:= [ 110007 ],
1086            fp:= [ 4, 14 ],
1087            next:= [ 950, 948 ] ) ] ), 947 ] ), rec(
1088        fp:= [ 1992, 13534 ],
1089        next:= [ 40, 39 ] ), rec(
1090        fp:= [ 4113, 44602 ],
1091        next:= [ rec(
1092          desc:= [ 109003 ],
1093          fp:= [ 8, 414 ],
1094          next:= [ 495, 496 ] ), rec(
1095          desc:= [ 108003 ],
1096          fp:= [ 8, 414 ],
1097          next:= [ 474, 473 ] ) ] ), rec(
1098        fp:= [ 21580, 73367 ],
1099        next:= [ rec(
1100          desc:= [ 107003 ],
1101          fp:= [ 2, 12 ],
1102          next:= [ 690, 688 ] ), rec(
1103          desc:= [ 107003 ],
1104          fp:= [ 2, 12 ],
1105          next:= [ 689, 687 ] ) ] ), rec(
1106        fp:= [ 38334, 49841, 72729 ],
1107        next:= [ rec(
1108          desc:= [ 110003 ],
1109          fp:= [ 8, 414 ],
1110          next:= [ 63, 60 ] ), rec(
1111          desc:= [ 108003 ],
1112          fp:= [ 8, 414 ],
1113          next:= [ 62, 59 ] ), rec(
1114          desc:= [ 108003 ],
1115          fp:= [ 8, 414 ],
1116          next:= [ 64, 61 ] ) ] ), rec(
1117        fp:= [ 14983, 95918 ],
1118        next:= [ 30, 29 ] ), rec(
1119        fp:= [ 67992, 98359 ],
1120        next:= [ 38, 37 ] ), 551, rec(
1121        fp:= [ 15213, 34633 ],
1122        next:= [ 686, 685 ] ), 550, 937, rec(
1123        fp:= [ 22135, 91837 ],
1124        next:= [ 499, 475 ] ), rec(
1125        desc:= [ 105003 ],
1126        fp:= [ 2, 12 ],
1127        next:= [ 938, 996 ] ), 990, rec(
1128        fp:= [ 4127, 11222 ],
1129        next:= [ 683, 684 ] ), rec(
1130        fp:= [ 16341, 70994 ],
1131        next:= [ 35, 36 ] ), rec(
1132        desc:= [ 109003 ],
1133        fp:= [ 4, 14 ],
1134        next:= [ rec(
1135          desc:= [ 109007 ],
1136          fp:= [ 4, 14 ],
1137          next:= [ rec(
1138            desc:= [ 111003 ],
1139            fp:= [ 4, 14 ],
1140            next:= [ 710, 708 ] ), 709 ] ), 707 ] ) ] ), rec(
1141      fp:= [ 1319, 7748, 22643, 26705, 35014, 35093, 39100, 39844, 42366,
114242447, 59931, 61362, 67624, 67889, 74746, 75274, 87253, 88966 ],
1143      next:= [ 998, 955, 479, rec(
1144        fp:= [ 93639, 97308 ],
1145        next:= [ 85, 84 ] ), rec(
1146        fp:= [ 8303, 42194 ],
1147        next:= [ 80, 81 ] ), 577, 964, rec(
1148        fp:= [ 29070, 65294 ],
1149        next:= [ 83, 82 ] ), 127, rec(
1150        fp:= [ 51374, 73019 ],
1151        next:= [ 524, 531 ] ), 759, rec(
1152        fp:= [ 46873, 65024 ],
1153        next:= [ 748, 747 ] ), 927, 126, 527, 760, rec(
1154        fp:= [ 85424, 87559 ],
1155        next:= [ 745, 746 ] ), 125 ] ) ] ),, rec(
1156    fp:= [ 5470, 44104 ],
1157    next:= [ rec(
1158      fp:= [ 2502, 9981, 31190, 32336, 48199, 48788, 56557, 73320, 75596 ],
1159      next:= [ 10, 463, 908, 12, 677, 515, 11, 943, 678 ] ), rec(
1160      fp:= [ 1319, 7748, 22643, 26705, 35014, 35093, 39100, 39844, 42366,
116142447, 59931, 61362, 67624, 67889, 74746, 75274, 87253, 88966 ],
1162      next:= [ 977, 954, 478, 76, 74, 565, 953, 75, 124, 523, 758, 742, 924,
1163123, 517, 757, 741, 122 ] ) ] ),, rec(
1164    fp:= [ 19527, 45145, 82827 ],
1165    level:= 4,
1166    next:= [ rec(
1167      fp:= [ 53520, 76513 ],
1168      next:= [ 3724, 11283 ] ), 10909, 11149 ] ), rec(
1169    fp:= [ 55690, 62307 ],
1170    level:= 4,
1171    next:= [ 11309, 11326 ] ), rec(
1172    fp:= [ 12601, 12611 ],
1173    next:= [ rec(
1174      fp:= [ 9502, 10649, 59906, 61053 ],
1175      next:= [ rec(
1176        fp:= [ 59997, 65223 ],
1177        next:= [ 10803, 10800 ] ), rec(
1178        fp:= [ 1246, 88365 ],
1179        next:= [ 10802, 10799 ] ), rec(
1180        fp:= [ 11226, 60367, 65074, 80452 ],
1181        next:= [ 10797, 10798, 10801, 10804 ] ), 10796 ] ), rec(
1182      fp:= [ 21732, 44072, 44257 ],
1183      level:= 5,
1184      next:= [ 10851, 10852, 10850 ] ) ] ), rec(
1185    fp:= [ 710, 6385, 17572, 20630, 21126, 21525, 24400, 24441, 27199, 29655,
118630333, 33834, 35822, 39451, 41714, 44396, 45536, 46789, 54192, 54687, 57744,
118759137, 63090, 66351, 69428, 72407, 72485, 75663, 77831, 79924, 81911, 91666,
118896652, 99007 ],
1189    level:= 4,
1190    next:= [ rec(
1191      fp:= [ 26105, 74888 ],
1192      next:= [ 5823, 5822 ] ), 6341, 5824, 5794, 6339, 5821, 6333, 5816,
11936335, 6307, 5815, 6320, 5814, 5799, 5817, 6309, rec(
1194      fp:= [ 8832, 91150 ],
1195      next:= [ 5827, 5826 ] ), 5808, rec(
1196      desc:= [ 105003 ],
1197      fp:= [ 2, 12 ],
1198      next:= [ rec(
1199        desc:= [ 111003 ],
1200        fp:= [ 2, 12 ],
1201        next:= [ 5787, 5790 ] ), rec(
1202        desc:= [ 111003 ],
1203        fp:= [ 2, 12 ],
1204        next:= [ rec(
1205          desc:= [ 117011 ],
1206          fp:= [ 4, 14 ],
1207          next:= [ 5793, 5792 ] ), 5803 ] ) ] ), 6345, 6343, rec(
1208      desc:= [ 110003 ],
1209      fp:= [ 4, 14, 212 ],
1210      next:= [ rec(
1211        desc:= [ 302004, 302006, 209002 ],
1212        fp:= [ 2, 12 ],
1213        next:= [ 6304, 6305 ] ), 6300, 6303 ] ), 5806, 5825, 6344, 5820,
12146342, 6317, 5796, 5809, 5797, 6321, rec(
1215      desc:= [ 111003 ],
1216      fp:= [ 2, 12 ],
1217      next:= [ 5785, 5788 ] ), rec(
1218      desc:= [ 117011 ],
1219      fp:= [ 4, 14 ],
1220      next:= [ 5802, 5801 ] ) ] ), rec(
1221    fp:= [ 70468, 70478 ],
1222    next:= [ rec(
1223      fp:= [ 9502, 59906 ],
1224      next:= [ rec(
1225        desc:= [ 105003 ],
1226        fp:= [ 24, 2014 ],
1227        next:= [ 5546, 5548 ] ), rec(
1228        fp:= [ 11226, 60367 ],
1229        next:= [ 5545, 5547 ] ) ] ), rec(
1230      fp:= [ 26486, 29312, 74229 ],
1231      level:= 5,
1232      next:= [ 5575, 5574, 5573 ] ) ] ), rec(
1233    fp:= [ 29411, 34745, 53097, 56916, 57805, 62250, 67584, 85109, 89755,
123495089 ],
1235    level:= 4,
1236    next:= [ 11139, 11136, 11129, 11138, 11131, rec(
1237      fp:= [ 24381, 34102 ],
1238      next:= [ 11135, 11137 ] ), 11140, 11130, 11134, 11141 ] ), rec(
1239    fp:= [ 16097, 35175, 39395, 51618, 56092, 58264, 72789, 74398, 80237,
124097487 ],
1241    level:= 4,
1242    next:= [ 5741, 5714, 5684, 5743, 5683, 5713, 5682, 5718, 5739,
12435717 ] ), rec(
1244    fp:= [ 21, 42 ],
1245    next:= [ rec(
1246      fp:= [ 7034, 16097, 25967, 32535, 46396, 49056, 63093, 79790, 83606,
124799320 ],
1248      next:= [ 5716, 5742, 5720, 5744, 5690, 5719, 5688, 5689, 5715,
12495740 ] ), rec(
1250      fp:= [ 8907, 20035, 38293, 40748, 42471, 43573, 59965, 60123, 76673,
125189351, 91998 ],
1252      next:= [ 5708, 5722, rec(
1253        desc:= [ 110003 ],
1254        fp:= [ 4, 14, 212 ],
1255        next:= [ rec(
1256          desc:= [ 302012, 207002 ],
1257          fp:= [ 2, 12 ],
1258          next:= [ 5698, 5712 ] ), 5700, 5707 ] ), 5699, 5723, 5732, 5709,
12595730, 5746, 5706, rec(
1260        desc:= [ 104003 ],
1261        fp:= [ 16, 412 ],
1262        next:= [ 5747, 5733 ] ) ] ) ] ), rec(
1263    fp:= [ 6348, 16796, 27244, 37751, 51901, 73309, 87459 ],
1264    level:= 4,
1265    next:= [ 220, 221, 222, 292, 294, 291, 293 ] ), rec(
1266    fp:= [ 24562, 64022 ],
1267    level:= 4,
1268    next:= [ 5758, 806 ] ), rec(
1269    fp:= [ 22858, 70124 ],
1270    level:= 4,
1271    next:= [ rec(
1272      fp:= [ 65987, 68294 ],
1273      next:= [ rec(
1274        desc:= [ 105003 ],
1275        fp:= [ 4, 14 ],
1276        next:= [ 803, 802 ] ), 804 ] ), rec(
1277      fp:= [ 19635, 63919 ],
1278      next:= [ rec(
1279        desc:= [ 106003 ],
1280        fp:= [ 2, 12 ],
1281        next:= [ 5756, 5755 ] ), 5757 ] ) ] ), rec(
1282    fp:= [ 78227, 88227 ],
1283    next:= [ rec(
1284      fp:= [ 12595, 21361, 27912, 31579, 49346, 58112, 64450, 66738, 66878,
128588747, 92414 ],
1286      next:= [ 361, 364, 434, 431, rec(
1287        desc:= [ 113011 ],
1288        fp:= [ 14, 212 ],
1289        next:= [ rec(
1290          desc:= [ 302004, 207002 ],
1291          fp:= [ 2, 12 ],
1292          next:= [ rec(
1293            desc:= [ 303007, 211003 ],
1294            fp:= [ 4, 14 ],
1295            next:= [ 376, 380 ] ), 375 ] ), 359 ] ), 358, 345, 438, 379, rec(
1296        desc:= [ 111007 ],
1297        fp:= [ 16, 412 ],
1298        next:= [ rec(
1299          desc:= [ 302004, 207002 ],
1300          fp:= [ 2, 12 ],
1301          next:= [ 441, 440 ] ), 437 ] ), rec(
1302        fp:= [ 20263, 93513 ],
1303        next:= [ 346, 432 ] ) ] ), rec(
1304      fp:= [ 4879, 27912, 49346, 55283, 58112, 67514, 88747 ],
1305      next:= [ rec(
1306        fp:= [ 2897, 32921 ],
1307        next:= [ 367, 435 ] ), 436, 372, 439, 371, 368, 442 ] ) ] ), rec(
1308    fp:= [ 1215, 2405, 12051, 22872, 36231, 36430, 36892, 47609, 55672,
130959188, 60665, 66508, 72561, 75262, 81484, 82946, 86203, 90887, 97543 ],
1310    level:= 4,
1311    next:= [ 21, 18, 19, 537, 536, 15, 464, 14, 24, 465, 17, 23, 535, 22,
1312466, 13, 538, 20, 16 ] ), rec(
1313    fp:= [ 14635, 30996, 38875, 61610 ],
1314    level:= 4,
1315    next:= [ 795, 5753, 5752, 791 ] ), rec(
1316    fp:= [ 4682, 76574 ],
1317    level:= 4,
1318    next:= [ 11068, 11086 ] ), rec(
1319    fp:= [ 10204, 44104, 94605 ],
1320    next:= [ rec(
1321      fp:= [ 12297, 18703, 30466, 99470 ],
1322      next:= [ rec(
1323        desc:= [ 108005 ],
1324        fp:= [ 4, 14 ],
1325        next:= [ 946, 945 ] ), rec(
1326        desc:= [ 107005 ],
1327        fp:= [ 8, 18 ],
1328        next:= [ 470, 471 ] ), rec(
1329        desc:= [ 107005 ],
1330        fp:= [ 8, 18 ],
1331        next:= [ rec(
1332          desc:= [ 108005 ],
1333          fp:= [ 8, 18 ],
1334          next:= [ 28, 26 ] ), 27 ] ), rec(
1335        desc:= [ 110005 ],
1336        fp:= [ 12, 418, 814 ],
1337        next:= [ 681, 682, 680 ] ) ] ), rec(
1338      fp:= [ 3373, 7748, 14867, 22643, 42366, 59931, 67624, 67889, 74746,
133975274, 83423, 88966 ],
1340      next:= [ 910, 952, 645, 477, 69, 738, 925, 70, 518, 737, 646,
134168 ] ), rec(
1342      fp:= [ 14663, 29733, 35350, 38814, 44068, 67075, 68434, 79501, 83089,
134390022 ],
1344      next:= [ 161, 984, 162, 566, 765, 711, 958, 163, 712, 540 ] ) ] ), rec(
1345    fp:= [ 53364, 87264 ],
1346    next:= [ ] ), rec(
1347    fp:= [ 44104, 94605 ],
1348    next:= [ rec(
1349      fp:= [ 3373, 7748, 14867, 22643, 42366, 59931, 67624, 67889, 74746,
135075274, 83423, 88966 ],
1351      next:= [ rec(
1352        desc:= [ 129013 ],
1353        fp:= [ 8, 18 ],
1354        next:= [ 911, 912 ] ), 956, rec(
1355        desc:= [ 127013 ],
1356        fp:= [ 8, 18 ],
1357        next:= [ 648, 647 ] ), 482, 72, 740, 926, 73, 528, 739, rec(
1358        desc:= [ 128013 ],
1359        fp:= [ 8, 18 ],
1360        next:= [ 650, 649 ] ), 71 ] ), rec(
1361      fp:= [ 9846, 19097, 26868, 27155, 41485, 50760, 56488, 66346, 79310,
136280380, 87033, 87549, 93573, 97161 ],
1363      next:= [ rec(
1364        fp:= [ 52555, 56373, 62551, 84086 ],
1365        next:= [ 929, 928, 940, 941 ] ), rec(
1366        fp:= [ 18521, 44327, 53531, 64020 ],
1367        next:= [ 722, 717, 714, 724 ] ), rec(
1368        fp:= [ 19847, 33938, 95117 ],
1369        next:= [ 573, 571, 567 ] ), rec(
1370        fp:= [ 7849, 22935, 29523, 91888 ],
1371        next:= [ 172, 164, 169, 174 ] ), rec(
1372        fp:= [ 14271, 64125, 66262, 75351 ],
1373        next:= [ 715, 719, 725, 720 ] ), rec(
1374        fp:= [ 7780, 34050, 60570 ],
1375        next:= [ 576, 574, 568 ] ), rec(
1376        fp:= [ 8221, 41823, 57151 ],
1377        next:= [ 966, 959, 961 ] ), rec(
1378        fp:= [ 2466, 44380, 82345, 95662 ],
1379        next:= [ 168, 175, 165, 173 ] ), rec(
1380        fp:= [ 21933, 40437, 64194, 77082 ],
1381        next:= [ 713, 723, 718, 721 ] ), rec(
1382        fp:= [ 67793, 93964, 98405 ],
1383        next:= [ 967, 963, 962 ] ), rec(
1384        fp:= [ 46838, 47163, 66620, 73689 ],
1385        next:= [ 166, 171, 170, 176 ] ), rec(
1386        fp:= [ 8391, 31367, 72997, 88270 ],
1387        next:= [ 548, 539, 545, 547 ] ), rec(
1388        fp:= [ 13740, 38207, 58568, 65661 ],
1389        next:= [ 167, 179, 178, 177 ] ), rec(
1390        fp:= [ 75215, 79306, 85779, 93562 ],
1391        next:= [ 728, 727, 716, 726 ] ) ] ) ] ), rec(
1392    fp:= [ 2092, 4211, 7403, 8681, 10595, 17475, 17954, 18433, 18912, 19391,
139328222, 31414, 34606, 35332, 36725, 39917, 45186, 46042, 53980, 54459, 54938,
139466047, 69239, 71837, 72431, 81589, 81691, 82068, 82547, 90485, 98561 ],
1395    level:= 4,
1396    next:= [ 10042, 10013, 10026, rec(
1397      fp:= [ 24085, 31729, 65919, 75181 ],
1398      next:= [ 9947, 9954, 9945, 9957 ] ), 9998, 9969, rec(
1399      fp:= [ 18048, 90625 ],
1400      next:= [ 9985, 9982 ] ), rec(
1401      fp:= [ 6841, 10323, 38231, 62234, 78909, 98217 ],
1402      next:= [ 9976, 9973, 9964, 9974, 9967, 9968 ] ), rec(
1403      fp:= [ 7356, 66613 ],
1404      next:= [ 9980, 9978 ] ), 9960, 10015, 10029, 10000, 9948, 10043,
140510041, rec(
1406      fp:= [ 35567, 41910 ],
1407      next:= [ 9958, 9952 ] ), 9962, rec(
1408      fp:= [ 89477, 92980 ],
1409      next:= [ 9972, 9970 ] ), rec(
1410      fp:= [ 53777, 60068 ],
1411      next:= [ 9983, 9984 ] ), rec(
1412      fp:= [ 3005, 32757 ],
1413      next:= [ 9975, 9965 ] ), 10014, rec(
1414      fp:= [ 7258, 61522 ],
1415      next:= [ 10028, 10027 ] ), rec(
1416      fp:= [ 9330, 15134 ],
1417      next:= [ 9953, 9959 ] ), 9999, rec(
1418      fp:= [ 13845, 71998 ],
1419      next:= [ 9966, 9977 ] ), 9946, rec(
1420      fp:= [ 21885, 64997 ],
1421      next:= [ 9979, 9981 ] ), rec(
1422      fp:= [ 40152, 46799 ],
1423      next:= [ 9961, 9963 ] ), 9971, 10044 ] ), rec(
1424    fp:= [ 36424, 46424 ],
1425    next:= [ rec(
1426      fp:= [ 219, 5890, 9958, 23513, 37068, 38637, 45419, 46807, 47954,
142750623, 60362, 73917, 78441, 86325, 91996, 97211 ],
1428      next:= [ rec(
1429        fp:= [ 27755, 43499, 91758 ],
1430        next:= [ 9679, 9727, 9709 ] ), rec(
1431        fp:= [ 41651, 94779 ],
1432        next:= [ 11161, 11160 ] ), rec(
1433        fp:= [ 27401, 34780 ],
1434        next:= [ 9777, 9778 ] ), rec(
1435        fp:= [ 28261, 42671, 57789, 79110, 82242, 90614, 90879, 93447 ],
1436        next:= [ 9726, 9680, 9708, 9728, 9707, 9710, 9729, 9678 ] ), rec(
1437        fp:= [ 49367, 56208 ],
1438        next:= [ 9750, 9751 ] ), 11172, 10045, rec(
1439        fp:= [ 21704, 28035, 42666, 85039 ],
1440        next:= [ rec(
1441          desc:= [ 104003 ],
1442          fp:= [ 22, 814 ],
1443          next:= [ 10017, 9702 ] ), 10018, 9722, 9673 ] ), rec(
1444        fp:= [ 47730, 65046 ],
1445        next:= [ 10004, 10001 ] ), rec(
1446        fp:= [ 66793, 75723 ],
1447        next:= [ 9690, 9993 ] ), rec(
1448        fp:= [ 3927, 94742 ],
1449        next:= [ 9752, 9742 ] ), rec(
1450        fp:= [ 30531, 39299, 46486 ],
1451        next:= [ 9691, 9692, 9994 ] ), rec(
1452        fp:= [ 10488, 87117 ],
1453        next:= [ 11164, 11165 ] ), rec(
1454        fp:= [ 489, 901 ],
1455        next:= [ 9779, 9780 ] ), rec(
1456        fp:= [ 27513, 56886, 94265, 98361 ],
1457        next:= [ 11157, 11169, 11156, 11168 ] ), rec(
1458        fp:= [ 13349, 38202, 44879, 49487, 98197 ],
1459        next:= [ rec(
1460          desc:= [ 104003 ],
1461          fp:= [ 8, 18 ],
1462          next:= [ 9989, 9991 ] ), 10033, 10032, 9686, 9992 ] ) ] ), rec(
1463      fp:= [ 1866, 34380, 36315, 48625, 52529, 66894 ],
1464      next:= [ rec(
1465        fp:= [ 43211, 58371 ],
1466        next:= [ 11163, 11162 ] ), rec(
1467        fp:= [ 36523, 49936, 81689, 99626 ],
1468        next:= [ 11167, 11166, 11153, 11154 ] ), rec(
1469        fp:= [ 21540, 24945, 33646 ],
1470        next:= [ 10025, 10024, 9987 ] ), rec(
1471        fp:= [ 14380, 20921, 28722, 36929, 49144, 79577, 92851 ],
1472        next:= [ 9949, 9944, 9950, 9956, 9943, 9955, 9951 ] ), 11171, rec(
1473        fp:= [ 9389, 26794 ],
1474        next:= [ 11159, 11158 ] ) ] ) ] ), rec(
1475    fp:= [ 33981, 41599 ],
1476    level:= 4,
1477    next:= [ 11115, 784 ] ), rec(
1478    fp:= [ 81243, 91243 ],
1479    next:= [ rec(
1480      fp:= [ 23513, 46807, 78441, 91996, 97211 ],
1481      next:= [ rec(
1482        fp:= [ 57789, 82242, 93447 ],
1483        next:= [ 3758, 3755, 4030 ] ), rec(
1484        fp:= [ 21704, 85039 ],
1485        next:= [ rec(
1486          desc:= [ 302004 ],
1487          fp:= [ 483, 58261 ],
1488          next:= [ rec(
1489            desc:= [ 107003 ],
1490            fp:= [ 12, 814 ],
1491            next:= [ 3740, 3741 ] ), 4067 ] ), rec(
1492          desc:= [ 106003 ],
1493          fp:= [ 16, 1214 ],
1494          next:= [ rec(
1495            desc:= [ 105003 ],
1496            fp:= [ 8, 414 ],
1497            next:= [ 4024, 4026 ] ), 4023 ] ) ] ), rec(
1498        fp:= [ 10488, 44378 ],
1499        next:= [ 6438, rec(
1500          desc:= [ 106003 ],
1501          fp:= [ 4, 212 ],
1502          next:= [ 6414, 6415 ] ) ] ), rec(
1503        fp:= [ 27513, 62064, 94265 ],
1504        next:= [ 6491, 6426, 6490 ] ), rec(
1505        fp:= [ 13349, 49487, 98197 ],
1506        next:= [ 4300, 4033, 4301 ] ) ] ), rec(
1507      fp:= [ 12120, 33123, 41740, 48146, 63702, 96216 ],
1508      next:= [ rec(
1509        fp:= [ 23275, 62531, 81004, 99369 ],
1510        next:= [ 4214, 4192, 4193, 4209 ] ), rec(
1511        fp:= [ 40132, 78829, 79400 ],
1512        next:= [ 4089, 4013, 4014 ] ), rec(
1513        fp:= [ 1782, 6628, 66054, 79511 ],
1514        next:= [ 6456, 6445, 6446, 6454 ] ), rec(
1515        fp:= [ 32973, 34753, 46725, 62316, 66178 ],
1516        next:= [ 3799, 3796, 3781, 3779, 3800 ] ), rec(
1517        fp:= [ 33817, 36690, 52480 ],
1518        next:= [ 6429, 6404, 6405 ] ), rec(
1519        fp:= [ 77217, 78971, 91919 ],
1520        next:= [ 6477, 6478, 6419 ] ) ] ) ] ), rec(
1521    fp:= [ 18879, 44986, 45530, 51370, 68997, 72181, 75381 ],
1522    level:= 4,
1523    next:= [ 6369, 6384, 6368, 6382, 6385, 6370, 6383 ] ), rec(
1524    fp:= [ 15732, 30372, 39252, 44130, 46046, 78339, 84451, 97840 ],
1525    level:= 4,
1526    next:= [ 10985, 11107, 10987, 11368, 10950, 10983, 11361, 11089 ] ), rec(
1527    fp:= [ 420, 5635, 7378, 12643, 16854, 19793, 20864, 35809, 48994, 98572 ],
1528    level:= 4,
1529    next:= [ 11176, 10736, 11050, 8474, 8490, 9553, 6915, 10425, 11024,
15308484 ] ), rec(
1531    fp:= [ 30971, 63804 ],
1532    level:= 4,
1533    next:= [ 787, 783 ] ), rec(
1534    fp:= [ 15169, 45946, 85444, 85745 ],
1535    level:= 4,
1536    next:= [ 6361, 6401, 6360, 11383 ] ), rec(
1537    fp:= [ 47325, 90169 ],
1538    level:= 4,
1539    next:= [ 10360, 10316 ] ), rec(
1540    fp:= [ 70478, 80488 ],
1541    next:= [ rec(
1542      fp:= [ 24932, 56989, 89046, 92536 ],
1543      next:= [ rec(
1544        fp:= [ 29312, 74229 ],
1545        next:= [ 5601, 5592 ] ), 5604, 5576, 5615 ] ), rec(
1546      fp:= [ 5186, 38370 ],
1547      level:= 5,
1548      next:= [ 5673, 5674 ] ) ] ), rec(
1549    fp:= [ 16671, 24985, 25391, 56195, 61148, 67130, 74906, 93593 ],
1550    level:= 4,
1551    next:= [ 11263, 11260, 11265, 11207, 11346, 11329, 11386, 11377 ] ),
1552216, rec(
1553    fp:= [ 4918, 12190, 15379, 23599, 28143, 31380, 34970, 54985, 62143 ],
1554    level:= 4,
1555    next:= [ 6313, 10903, 5765, 6322, 10910, 10902, 10922, 5772, 5764 ] ),
155611391,,, rec(
1557    fp:= [ 39474, 49474 ],
1558    next:= [ rec(
1559      fp:= [ 5286, 30081, 35623, 42312, 49001, 55690, 62307, 79338, 80485,
156086027, 92716, 98258 ],
1561      next:= [ rec(
1562        fp:= [ 40135, 50511, 59653 ],
1563        next:= [ 10101, 10083, 10053 ] ), rec(
1564        fp:= [ 19708, 31394, 35828, 45226, 50363 ],
1565        next:= [ 10406, 10060, rec(
1566          desc:= [ 104003 ],
1567          fp:= [ 8, 18 ],
1568          next:= [ 10363, 10365 ] ), 10366, 10407 ] ), rec(
1569        fp:= [ 61343, 74267 ],
1570        next:= [ 10152, 10151 ] ), rec(
1571        fp:= [ 9634, 18776, 43250, 52289, 53719, 57050, 78178, 86650 ],
1572        next:= [ 10082, 10052, 10081, 10084, 10054, 10103, 10100,
157310102 ] ), rec(
1574        fp:= [ 907, 20273 ],
1575        next:= [ 10124, 10125 ] ), rec(
1576        fp:= [ 55595, 80927 ],
1577        next:= [ 10064, 10367 ] ), 10419, rec(
1578        fp:= [ 16865, 65929, 85640, 97012 ],
1579        next:= [ 10392, 10047, 10096, rec(
1580          desc:= [ 104003 ],
1581          fp:= [ 22, 814 ],
1582          next:= [ 10391, 10076 ] ) ] ), rec(
1583        fp:= [ 25644, 84542 ],
1584        next:= [ 10375, 10378 ] ), rec(
1585        fp:= [ 37188, 72738 ],
1586        next:= [ 10126, 10116 ] ), rec(
1587        fp:= [ 2629, 2764, 70503 ],
1588        next:= [ 10065, 10368, 10066 ] ), rec(
1589        fp:= [ 47576, 50135 ],
1590        next:= [ 10154, 10153 ] ) ] ), rec(
1591      fp:= [ 47325, 90169 ],
1592      next:= [ rec(
1593        fp:= [ 36056, 74031, 82622 ],
1594        next:= [ 10398, 10399, 10361 ] ), rec(
1595        fp:= [ 13567, 26629, 44828, 45472, 47917, 53572, 54991 ],
1596        next:= [ 10317, 10323, 10325, 10330, 10329, 10324,
159710318 ] ) ] ) ] ), rec(
1598    fp:= [ 20094, 21200, 22974, 34076, 48058 ],
1599    level:= 4,
1600    next:= [ rec(
1601      fp:= [ 41201, 77562 ],
1602      next:= [ 6258, 6260 ] ), rec(
1603      fp:= [ 42070, 81592 ],
1604      next:= [ 6284, 6286 ] ), rec(
1605      fp:= [ 45594, 81267 ],
1606      next:= [ 6270, 6271 ] ), rec(
1607      fp:= [ 28615, 29469, 65255, 65830 ],
1608      next:= [ 6289, 6290, 6288, 6292 ] ), rec(
1609      fp:= [ 11741, 57532 ],
1610      next:= [ 6254, 6253 ] ) ] ),, 11392, rec(
1611    fp:= [ 13293, 46170 ],
1612    level:= 4,
1613    next:= [ 6, 3 ] ), rec(
1614    fp:= [ 60897, 70468, 70478 ],
1615    next:= [ 11274, rec(
1616      fp:= [ 9502, 10649, 59906, 61053 ],
1617      next:= [ rec(
1618        desc:= [ 104003 ],
1619        fp:= [ 12, 22, 814 ],
1620        next:= [ rec(
1621          desc:= [ 105003 ],
1622          fp:= [ 8, 414 ],
1623          next:= [ 5553, 5557 ] ), 5554, rec(
1624          desc:= [ 106003 ],
1625          fp:= [ 8, 414 ],
1626          next:= [ 5552, rec(
1627            desc:= [ 302004, 207002 ],
1628            fp:= [ 4, 14 ],
1629            next:= [ 5559, 5561 ] ) ] ) ] ), rec(
1630        fp:= [ 26442, 86925 ],
1631        next:= [ 5556, 5560 ] ), rec(
1632        fp:= [ 54449, 72926 ],
1633        next:= [ rec(
1634          desc:= [ 105003 ],
1635          fp:= [ 8, 414 ],
1636          next:= [ rec(
1637            desc:= [ 106003 ],
1638            fp:= [ 8, 414 ],
1639            next:= [ 5551, 5555 ] ), 5550 ] ), 5558 ] ), 5549 ] ), rec(
1640      fp:= [ 10649, 24932, 53499, 56989, 59906, 89046, 92536 ],
1641      next:= [ 5579, rec(
1642        fp:= [ 25519, 52662, 59731, 90553 ],
1643        next:= [ 5603, 5582, 5594, rec(
1644          desc:= [ 106003 ],
1645          fp:= [ 416, 812 ],
1646          next:= [ 5593, 5602 ] ) ] ), 5581, rec(
1647        fp:= [ 29862, 38551 ],
1648        next:= [ 5606, 5605 ] ), 5580, rec(
1649        fp:= [ 12877, 15832, 68475 ],
1650        next:= [ 5583, 5577, 5578 ] ), 5616 ] ) ] ), rec(
1651    fp:= [ 1002, 4492, 7982, 24932, 33059, 36549, 40039, 53499, 65116, 68606,
165272096, 89046 ],
1653    level:= 4,
1654    next:= [ rec(
1655      fp:= [ 6040, 66770, 94464 ],
1656      next:= [ 5666, 5623, 5629 ] ), rec(
1657      fp:= [ 6362, 7201, 18957, 32763, 53726 ],
1658      next:= [ rec(
1659        desc:= [ 302007 ],
1660        fp:= [ 401, 14261 ],
1661        next:= [ 5618, rec(
1662          desc:= [ 115003 ],
1663          fp:= [ 4, 14 ],
1664          next:= [ 5650, 5651 ] ) ] ), 5635, 5652, 5622, 5638 ] ), rec(
1665      fp:= [ 30844, 42546, 44703 ],
1666      next:= [ rec(
1667        desc:= [ 109003 ],
1668        fp:= [ 4, 14, 212 ],
1669        next:= [ rec(
1670          desc:= [ 302005, 208003 ],
1671          fp:= [ 2, 12 ],
1672          next:= [ 5647, 5632 ] ), 5645, 5649 ] ), rec(
1673        desc:= [ 109003 ],
1674        fp:= [ 4, 14 ],
1675        next:= [ 5661, 5671 ] ), rec(
1676        desc:= [ 108003 ],
1677        fp:= [ 8, 18, 414 ],
1678        next:= [ rec(
1679          desc:= [ 302005 ],
1680          fp:= [ 262, 521 ],
1681          next:= [ 5657, rec(
1682            desc:= [ 209002 ],
1683            fp:= [ 8, 18 ],
1684            next:= [ 5664, 5670 ] ) ] ), 5668, 5669 ] ) ] ), 5643, 5617, rec(
1685      fp:= [ 18024, 30650, 37226, 39885, 78605, 95633 ],
1686      next:= [ 5625, 5624, 5630, 5633, 5660, rec(
1687        desc:= [ 110003 ],
1688        fp:= [ 8, 18, 414 ],
1689        next:= [ 5656, 5662, 5665 ] ) ] ), rec(
1690      fp:= [ 3172, 64001, 72129, 80650 ],
1691      next:= [ 5640, rec(
1692        desc:= [ 302006 ],
1693        fp:= [ 401, 14261 ],
1694        next:= [ 5621, rec(
1695          desc:= [ 113003 ],
1696          fp:= [ 4, 14 ],
1697          next:= [ 5654, 5653 ] ) ] ), 5655, 5637 ] ), 5642, 5663, rec(
1698      fp:= [ 6098, 30795, 48177, 60813 ],
1699      next:= [ 5639, 5636, 5620, 5619 ] ), rec(
1700      fp:= [ 20805, 51509, 52446, 89398, 98329 ],
1701      next:= [ 5634, rec(
1702        desc:= [ 111003 ],
1703        fp:= [ 4, 14 ],
1704        next:= [ 5659, 5667 ] ), rec(
1705        desc:= [ 111003 ],
1706        fp:= [ 4, 14, 212 ],
1707        next:= [ 5644, rec(
1708          desc:= [ 302006, 209002 ],
1709          fp:= [ 2, 12 ],
1710          next:= [ 5646, 5631 ] ), 5648 ] ), 5658, 5626 ] ), 5641 ] ), rec(
1711    fp:= [ 44437, 44447 ],
1712    next:= [ rec(
1713      fp:= [ 4492, 21442, 40039, 56989, 92536 ],
1714      next:= [ 590, 594, 591, 592, rec(
1715        desc:= [ 302006 ],
1716        fp:= [ 182, 361 ],
1717        next:= [ 593, rec(
1718          desc:= [ 205002 ],
1719          fp:= [ 14, 212 ],
1720          next:= [ 596, 595 ] ) ] ) ] ), rec(
1721      fp:= [ 34704, 56989, 85108, 92536 ],
1722      next:= [ 617, 618, 616, 619 ] ) ] ), rec(
1723    fp:= [ 10204, 44104 ],
1724    next:= [ rec(
1725      fp:= [ 652, 5196, 7386, 14663, 29327, 29599, 29733, 35350, 38814,
172644068, 52488, 68120, 79501, 80108, 90022, 96646 ],
1727      next:= [ 541, 981, 144, 146, 762, 761, rec(
1728        desc:= [ 105003 ],
1729        fp:= [ 2, 12 ],
1730        next:= [ 980, 979 ] ), 147, 485, rec(
1731        desc:= [ 106003 ],
1732        fp:= [ 2, 12 ],
1733        next:= [ 764, 763 ] ), 143, 145, 148, 999, 544, 484 ] ), rec(
1734      fp:= [ 1319, 26705, 35014, 35093, 39100, 39844, 42447, 61362, 87253 ],
1735      next:= [ 978, 79, 77, 569, 957, 78, 530, 744, 743 ] ) ] ), rec(
1736    fp:= [ 1232, 5926, 12166, 12595, 13488, 21361, 30127, 30749, 31579,
173736486, 36779, 41162, 45037, 45545, 49928, 50550, 58112, 64450, 65985, 70405,
173872326, 73001, 76709, 77913, 80199, 81092, 83863, 85475, 85786, 88965, 89858,
173992414, 97731 ],
1740    level:= 4,
1741    next:= [ rec(
1742      fp:= [ 8503, 90381 ],
1743      next:= [ 4846, 4843 ] ), rec(
1744      fp:= [ 4427, 5667 ],
1745      next:= [ 4890, 4891 ] ), rec(
1746      fp:= [ 64480, 77804 ],
1747      next:= [ 4712, 4711 ] ), rec(
1748      fp:= [ 34143, 57748, 93611 ],
1749      next:= [ 4800, rec(
1750        desc:= [ 106003 ],
1751        fp:= [ 8, 414 ],
1752        next:= [ 4815, 4814 ] ), rec(
1753        desc:= [ 105003 ],
1754        fp:= [ 8, 414 ],
1755        next:= [ rec(
1756          desc:= [ 108003 ],
1757          fp:= [ 8, 18 ],
1758          next:= [ 4799, 4798 ] ), 4797 ] ) ] ), rec(
1759      fp:= [ 21011, 21450 ],
1760      next:= [ 4514, 4515 ] ), rec(
1761      fp:= [ 2950, 13847, 30144, 65794 ],
1762      next:= [ 4827, 4807, 4833, 4832 ] ), rec(
1763      fp:= [ 38843, 73696 ],
1764      next:= [ 4825, 4806 ] ), rec(
1765      fp:= [ 68855, 83342 ],
1766      next:= [ 4586, 4587 ] ), rec(
1767      fp:= [ 9863, 54360, 91133, 96381 ],
1768      next:= [ 4926, 4929, 4930, 4927 ] ), rec(
1769      fp:= [ 4499, 22980 ],
1770      next:= [ 4659, 4695 ] ), rec(
1771      fp:= [ 29413, 57765 ],
1772      next:= [ rec(
1773        desc:= [ 106003 ],
1774        fp:= [ 2, 12 ],
1775        next:= [ 4451, 4858 ] ), rec(
1776        desc:= [ 107003 ],
1777        fp:= [ 2, 12 ],
1778        next:= [ 4452, 4855 ] ) ] ), rec(
1779      fp:= [ 42248, 91569 ],
1780      next:= [ 4466, 4465 ] ), rec(
1781      fp:= [ 41115, 45207 ],
1782      next:= [ 4719, 4720 ] ), rec(
1783      fp:= [ 5739, 90840 ],
1784      next:= [ 4450, 4479 ] ), rec(
1785      fp:= [ 3247, 19617 ],
1786      next:= [ 4464, 4463 ] ), rec(
1787      fp:= [ 7171, 40242, 41877 ],
1788      next:= [ 4817, rec(
1789        desc:= [ 110003 ],
1790        fp:= [ 4, 14 ],
1791        next:= [ 4818, 4819 ] ), 4801 ] ), rec(
1792      fp:= [ 37734, 43962 ],
1793      next:= [ 4394, 4411 ] ), rec(
1794      fp:= [ 28887, 40793, 46041, 71467 ],
1795      next:= [ 4660, 4699, 4696, 4621 ] ), rec(
1796      fp:= [ 55920, 86026 ],
1797      next:= [ 4589, 4588 ] ), rec(
1798      fp:= [ 54649, 69644 ],
1799      next:= [ 4909, 4908 ] ), rec(
1800      fp:= [ 39246, 86627 ],
1801      next:= [ rec(
1802        desc:= [ 106003 ],
1803        fp:= [ 4, 14, 212 ],
1804        next:= [ 4567, 4875, 4484 ] ), rec(
1805        desc:= [ 105003 ],
1806        fp:= [ 4, 14, 212 ],
1807        next:= [ 4547, 4878, 4483 ] ) ] ), rec(
1808      fp:= [ 10478, 82549 ],
1809      next:= [ 4724, 4723 ] ), rec(
1810      fp:= [ 41106, 57216, 67945 ],
1811      next:= [ rec(
1812        desc:= [ 106003 ],
1813        fp:= [ 4, 212 ],
1814        next:= [ rec(
1815          desc:= [ 122007 ],
1816          fp:= [ 4, 14 ],
1817          next:= [ 4555, 4575 ] ), 4496 ] ), rec(
1818        desc:= [ 106003 ],
1819        fp:= [ 4, 212 ],
1820        next:= [ rec(
1821          desc:= [ 111003 ],
1822          fp:= [ 4, 14 ],
1823          next:= [ 4573, 4553 ] ), 4495 ] ), rec(
1824        desc:= [ 111003 ],
1825        fp:= [ 4, 14 ],
1826        next:= [ 4574, 4554 ] ) ] ), rec(
1827      fp:= [ 78730, 79128 ],
1828      next:= [ 4518, 4517 ] ), rec(
1829      fp:= [ 26057, 95351 ],
1830      next:= [ 4392, 4410 ] ), rec(
1831      fp:= [ 10888, 77005 ],
1832      next:= [ rec(
1833        desc:= [ 107003 ],
1834        fp:= [ 4, 212 ],
1835        next:= [ 4546, 4482 ] ), rec(
1836        desc:= [ 106003 ],
1837        fp:= [ 4, 212 ],
1838        next:= [ 4583, 4511 ] ) ] ), rec(
1839      fp:= [ 19552, 45189 ],
1840      next:= [ 4708, 4707 ] ), rec(
1841      fp:= [ 10946, 98532 ],
1842      next:= [ 4497, 4498 ] ), rec(
1843      fp:= [ 48418, 87908 ],
1844      next:= [ 4838, 4839 ] ), rec(
1845      fp:= [ 62706, 83981 ],
1846      next:= [ 4404, 4385 ] ), rec(
1847      fp:= [ 25336, 41321 ],
1848      next:= [ 4566, 4563 ] ), rec(
1849      fp:= [ 6473, 13459, 24771, 86423 ],
1850      next:= [ rec(
1851        desc:= [ 107003 ],
1852        fp:= [ 4, 14 ],
1853        next:= [ 4689, 4698 ] ), rec(
1854        desc:= [ 106003 ],
1855        fp:= [ 4, 14 ],
1856        next:= [ 4658, 4919 ] ), 4692, rec(
1857        desc:= [ 302011 ],
1858        fp:= [ 1081, 66421 ],
1859        next:= [ 4918, rec(
1860          desc:= [ 108003 ],
1861          fp:= [ 4, 14 ],
1862          next:= [ rec(
1863            desc:= [ 111003 ],
1864            fp:= [ 8, 18 ],
1865            next:= [ 4656, 4657 ] ), 4663 ] ) ] ) ] ), rec(
1866      fp:= [ 43202, 74481 ],
1867      next:= [ 4386, 4405 ] ) ] ), 10849, rec(
1868    fp:= [ 22974, 49822 ],
1869    level:= 4,
1870    next:= [ 6265, 6274 ] ), rec(
1871    fp:= [ 42901, 84963 ],
1872    level:= 4,
1873    next:= [ 11001, 11002 ] ), rec(
1874    fp:= [ 43750, 53750 ],
1875    next:= [ rec(
1876      fp:= [ 30081, 42312, 79338 ],
1877      next:= [ rec(
1878        fp:= [ 31394, 35828, 45226 ],
1879        next:= [ 4635, 4902, 4903 ] ), rec(
1880        fp:= [ 9634, 18776, 43250 ],
1881        next:= [ 4360, 4632, 4357 ] ), rec(
1882        fp:= [ 65929, 97012 ],
1883        next:= [ rec(
1884          desc:= [ 106003 ],
1885          fp:= [ 16, 1214 ],
1886          next:= [ rec(
1887            desc:= [ 105003 ],
1888            fp:= [ 8, 414 ],
1889            next:= [ 4626, 4628 ] ), 4625 ] ), rec(
1890          desc:= [ 302004 ],
1891          fp:= [ 483, 58261 ],
1892          next:= [ rec(
1893            desc:= [ 107003 ],
1894            fp:= [ 12, 814 ],
1895            next:= [ 4342, 4343 ] ), 4668 ] ) ] ) ] ), rec(
1896      fp:= [ 8499, 53729, 81403 ],
1897      next:= [ rec(
1898        fp:= [ 45891, 45935, 86176 ],
1899        next:= [ 4616, 4615, 4691 ] ), rec(
1900        fp:= [ 3083, 19693, 41380, 65856, 84674 ],
1901        next:= [ 4398, 4383, 4381, 4402, 4401 ] ), rec(
1902        fp:= [ 1070, 32472, 88932, 96565 ],
1903        next:= [ 4795, 4794, 4816, 4811 ] ) ] ) ] ), 11003, rec(
1904    fp:= [ 3615, 5615, 9046, 12595, 13488, 14381, 14477, 21361, 22254, 23147,
190530127, 31579, 36486, 37010, 38893, 41162, 42441, 47659, 49928, 58694, 64450,
190669881, 70405, 75312, 76709, 77602, 85475, 86368, 92414, 94241, 97845 ],
1907    level:= 4,
1908    next:= [ rec(
1909      fp:= [ 66442, 79126 ],
1910      next:= [ 10402, 10401 ] ), 10336, 10415, 10322, rec(
1911      fp:= [ 50276, 52161 ],
1912      next:= [ 10359, 10356 ] ), rec(
1913      fp:= [ 70560, 72685 ],
1914      next:= [ 10337, 10335 ] ), 10372, rec(
1915      fp:= [ 2950, 98356 ],
1916      next:= [ 10327, 10333 ] ), rec(
1917      fp:= [ 24951, 80803 ],
1918      next:= [ 10357, 10358 ] ), 10334, rec(
1919      fp:= [ 30742, 61472, 70988, 73696 ],
1920      next:= [ 10328, 10321, 10331, 10319 ] ), 10403, 10387, 10416, rec(
1921      fp:= [ 43620, 74736 ],
1922      next:= [ 10332, 10326 ] ), rec(
1923      fp:= [ 9612, 91569 ],
1924      next:= [ 10351, 10340 ] ), 10373, 10320, rec(
1925      fp:= [ 17403, 19617, 25807, 32612, 44511, 51250 ],
1926      next:= [ 10342, 10338, 10350, 10348, 10347, 10341 ] ), rec(
1927      fp:= [ 40909, 83973 ],
1928      next:= [ 10349, 10339 ] ), 10388, 10417, 10374, 10400, 10343, rec(
1929      fp:= [ 31451, 98298 ],
1930      next:= [ 10353, 10355 ] ), rec(
1931      fp:= [ 10946, 37561 ],
1932      next:= [ 10344, 10346 ] ), rec(
1933      fp:= [ 29164, 43185 ],
1934      next:= [ 10354, 10352 ] ), 10389, 10345, 10418 ] ), rec(
1935    fp:= [ 6929, 13728, 33092, 54161, 65465, 80150, 88827 ],
1936    level:= 4,
1937    next:= [ 11122, 5754, 11369, 11359, 792, 11000, 11363 ] ),, rec(
1938    fp:= [ 24655, 52002, 96969 ],
1939    level:= 4,
1940    next:= [ 9655, rec(
1941      fp:= [ 4760, 15981 ],
1942      next:= [ 9639, 9648 ] ), 9649 ] ), 5672, rec(
1943    fp:= [ 5794, 34361, 76888 ],
1944    level:= 4,
1945    next:= [ 9662, 9661, 9663 ] ),, rec(
1946    fp:= [ 2221, 8469, 10464, 28087, 33172, 36330, 37366, 37821, 43525,
194744573, 47719, 48174, 53878, 58072, 58527, 62196, 64231, 70439, 74584, 78682,
194887424, 93639, 97777 ],
1949    level:= 4,
1950    next:= [ 4271, 4007, 4272, 4285, 3994, 4286, 4011, 4002, 4000, 4287,
19514010, 4003, rec(
1952      fp:= [ 9733, 31072 ],
1953      next:= [ 3995, 3996 ] ), 4009, 4004, 4238, 4001, 4239, 3997, 4240,
19544006, 4270, rec(
1955      fp:= [ 30946, 43957 ],
1956      next:= [ 4005, 4008 ] ) ] ), rec(
1957    fp:= [ 4918, 20873, 21126, 23123, 24400, 25322, 25670, 26038, 38768,
195839451, 44396, 47768, 54192, 59137, 72163, 73209, 77831, 85854, 96652, 99007 ],
1959    level:= 4,
1960    next:= [ rec(
1961      fp:= [ 47239, 96722 ],
1962      next:= [ 6318, 6319 ] ), rec(
1963      fp:= [ 27789, 51483 ],
1964      next:= [ 10898, 10899 ] ), rec(
1965      fp:= [ 12959, 15688, 42112, 60074 ],
1966      next:= [ 6336, 6337, 6338, 6340 ] ), rec(
1967      fp:= [ 9380, 79424 ],
1968      next:= [ 5818, 5819 ] ), rec(
1969      fp:= [ 28142, 30316 ],
1970      next:= [ 6332, 6334 ] ), rec(
1971      fp:= [ 11771, 54912 ],
1972      next:= [ 10900, 10901 ] ), rec(
1973      fp:= [ 3915, 28055, 43907, 64622 ],
1974      next:= [ 10919, 10920, 10921, 10918 ] ), rec(
1975      fp:= [ 56435, 64862 ],
1976      next:= [ 10917, 10916 ] ), rec(
1977      fp:= [ 24217, 41724 ],
1978      next:= [ 5812, 5810 ] ), rec(
1979      fp:= [ 30349, 61010 ],
1980      next:= [ 5798, 5805 ] ), rec(
1981      fp:= [ 10062, 68045 ],
1982      next:= [ 6306, 6308 ] ), rec(
1983      fp:= [ 59470, 94944 ],
1984      next:= [ 10897, 10895 ] ), rec(
1985      fp:= [ 60427, 77328 ],
1986      next:= [ rec(
1987        desc:= [ 106003 ],
1988        fp:= [ 2, 12 ],
1989        next:= [ 5784, 5783 ] ), rec(
1990        desc:= [ 106003 ],
1991        fp:= [ 2, 12 ],
1992        next:= [ 5786, 5789 ] ) ] ), rec(
1993      fp:= [ 37570, 95553 ],
1994      next:= [ 6301, 6302 ] ), rec(
1995      fp:= [ 13483, 57058 ],
1996      next:= [ 10915, 10914 ] ), rec(
1997      fp:= [ 49690, 59770 ],
1998      next:= [ 10896, 10894 ] ), rec(
1999      fp:= [ 19907, 50568 ],
2000      next:= [ 5795, 5804 ] ), rec(
2001      fp:= [ 14576, 38816 ],
2002      next:= [ 5811, 5813 ] ), rec(
2003      fp:= [ 45298, 75959 ],
2004      next:= [ 5791, 5782 ] ), rec(
2005      fp:= [ 16379, 49720 ],
2006      next:= [ 5807, 5800 ] ) ] ), rec(
2007    fp:= [ 10649, 11796, 59906, 61053, 62200 ],
2008    level:= 4,
2009    next:= [ 11353, 11352, 11350, rec(
2010      fp:= [ 16702, 35296 ],
2011      next:= [ 11351, 11354 ] ), 11349 ] ), rec(
2012    fp:= [ 9319, 36434 ],
2013    level:= 4,
2014    next:= [ 11393, 11387 ] ), rec(
2015    fp:= [ 4682, 21880, 35426, 36573, 41708, 67317, 72452, 73599 ],
2016    level:= 4,
2017    next:= [ 11070, 11087, 11077, 11071, 11067, 11069, 11076, 11072 ] ), rec(
2018    fp:= [ 5794, 25595, 29705, 53020, 85654, 90046, 91193 ],
2019    level:= 4,
2020    next:= [ 9665, 9666, 9651, 9652, 9664, rec(
2021      desc:= [ 104003 ],
2022      fp:= [ 16, 412 ],
2023      next:= [ 9654, 9653 ] ), 9650 ] ), rec(
2024    fp:= [ 81, 82, 161, 165 ],
2025    next:= [ 638, 639, 641, 642 ] ), rec(
2026    fp:= [ 81, 161 ],
2027    next:= [ 637, 640 ] ), 10795, rec(
2028    fp:= [ 77699, 81243, 91243 ],
2029    next:= [ rec(
2030      fp:= [ 9177, 15662, 34439, 35140, 36287, 62250, 88213, 89360 ],
2031      next:= [ 11123, 11125, 11143, 11132, 11128, 11126, 11133,
203211127 ] ), rec(
2033      fp:= [ 219, 23513, 24660, 46807, 47954, 50623, 73917, 76586, 97211 ],
2034      next:= [ rec(
2035        desc:= [ 105003 ],
2036        fp:= [ 214, 412 ],
2037        next:= [ 4083, 3764 ] ), rec(
2038        desc:= [ 105003 ],
2039        fp:= [ 6, 16, 214, 412 ],
2040        next:= [ rec(
2041          desc:= [ 106003 ],
2042          fp:= [ 16, 412 ],
2043          next:= [ 3768, 3767 ] ), rec(
2044          desc:= [ 114011 ],
2045          fp:= [ 24, 34 ],
2046          next:= [ 3769, 4323 ] ), 4086, rec(
2047          desc:= [ 302007 ],
2048          fp:= [ 803, 90901 ],
2049          next:= [ rec(
2050            desc:= [ 108003 ],
2051            fp:= [ 6, 214 ],
2052            next:= [ 4085, 4084 ] ), rec(
2053            desc:= [ 109003 ],
2054            fp:= [ 6, 214 ],
2055            next:= [ 3766, 3765 ] ) ] ) ] ), 4315, rec(
2056        desc:= [ 105003 ],
2057        fp:= [ 8, 18, 216, 414, 612 ],
2058        next:= [ rec(
2059          desc:= [ 104003 ],
2060          fp:= [ 6, 214 ],
2061          next:= [ 3754, 4078 ] ), 4071, rec(
2062          desc:= [ 302011 ],
2063          fp:= [ 1104, 22140, 32840 ],
2064          next:= [ rec(
2065            desc:= [ 105003 ],
2066            fp:= [ 16, 412 ],
2067            next:= [ 4321, 4072 ] ), 3749, 3748 ] ), rec(
2068          desc:= [ 302004 ],
2069          fp:= [ 483, 58261 ],
2070          next:= [ 3750, rec(
2071            desc:= [ 207002 ],
2072            fp:= [ 4, 212 ],
2073            next:= [ 4075, 4076 ] ) ] ), rec(
2074          desc:= [ 302011 ],
2075          fp:= [ 1104, 22140, 32840 ],
2076          next:= [ 4074, rec(
2077            desc:= [ 207003 ],
2078            fp:= [ 214, 412 ],
2079            next:= [ 3752, 3751 ] ), 3753 ] ) ] ), 4314, 4052, rec(
2080        desc:= [ 106003 ],
2081        fp:= [ 4, 212 ],
2082        next:= [ 4051, 4053 ] ), 3763, rec(
2083        desc:= [ 106003 ],
2084        fp:= [ 8, 414, 612 ],
2085        next:= [ 4045, rec(
2086          desc:= [ 302006 ],
2087          fp:= [ 902, 1401 ],
2088          next:= [ rec(
2089            desc:= [ 206002 ],
2090            fp:= [ 14, 212 ],
2091            next:= [ 4039, 4040 ] ), 4041 ] ), 4044 ] ) ] ), rec(
2092      fp:= [ 22752, 25421, 48715, 99119 ],
2093      next:= [ 4335, 3833, rec(
2094        fp:= [ 93237, 98436 ],
2095        next:= [ 3834, 4145 ] ), rec(
2096        fp:= [ 2629, 63233 ],
2097        next:= [ 4336, 4124 ] ) ] ) ] ), rec(
2098    fp:= [ 5947, 17481, 29015, 42193, 53727, 55550, 56005, 65261, 67084,
209967539, 68862, 70387, 71912, 73906, 75431, 76795, 76956, 78618, 78950, 79073,
210080475, 82000, 88329 ],
2101    level:= 4,
2102    next:= [ 4608, rec(
2103      fp:= [ 20926, 62363 ],
2104      next:= [ 4610, 4607 ] ), 4609, 4596, 4602, 4613, 4604, rec(
2105      fp:= [ 51063, 85183 ],
2106      next:= [ 4597, 4598 ] ), 4612, 4605, 4840, 4887, 4872, 4841, 4888,
21074603, 4873, 4611, 4842, 4606, 4889, 4874, 4599 ] ), rec(
2108    fp:= [ 15490, 89042 ],
2109    level:= 4,
2110    next:= [ 6251, 6263 ] ), rec(
2111    fp:= [ 43750, 53750 ],
2112    next:= [ rec(
2113      fp:= [ 5286, 30081, 42312, 43459, 55690, 67921, 79338, 80485, 92716 ],
2114      next:= [ rec(
2115        desc:= [ 105003 ],
2116        fp:= [ 214, 412 ],
2117        next:= [ 4685, 4366 ] ), rec(
2118        desc:= [ 106003 ],
2119        fp:= [ 8, 414, 612 ],
2120        next:= [ 4647, rec(
2121          desc:= [ 302006 ],
2122          fp:= [ 742, 1081 ],
2123          next:= [ rec(
2124            desc:= [ 206002 ],
2125            fp:= [ 14, 212 ],
2126            next:= [ 4641, 4642 ] ), 4643 ] ), 4646 ] ), rec(
2127        desc:= [ 105003 ],
2128        fp:= [ 6, 16, 214, 412 ],
2129        next:= [ rec(
2130          desc:= [ 106003 ],
2131          fp:= [ 16, 412 ],
2132          next:= [ 4370, 4369 ] ), rec(
2133          desc:= [ 111007 ],
2134          fp:= [ 12, 22 ],
2135          next:= [ 4371, 4925 ] ), 4688, rec(
2136          desc:= [ 302007 ],
2137          fp:= [ 643, 74581 ],
2138          next:= [ rec(
2139            desc:= [ 108003 ],
2140            fp:= [ 6, 214 ],
2141            next:= [ 4686, 4687 ] ), rec(
2142            desc:= [ 109003 ],
2143            fp:= [ 6, 214 ],
2144            next:= [ 4368, 4367 ] ) ] ) ] ), 4917, 4654, 4365, rec(
2145        desc:= [ 105003 ],
2146        fp:= [ 8, 18, 216, 414, 612 ],
2147        next:= [ rec(
2148          desc:= [ 104003 ],
2149          fp:= [ 6, 214 ],
2150          next:= [ 4356, 4680 ] ), 4673, rec(
2151          desc:= [ 302013 ],
2152          fp:= [ 1264, 38460, 49320 ],
2153          next:= [ rec(
2154            desc:= [ 105003 ],
2155            fp:= [ 16, 412 ],
2156            next:= [ 4924, 4677 ] ), 4351, 4350 ] ), rec(
2157          desc:= [ 302004 ],
2158          fp:= [ 483, 58261 ],
2159          next:= [ 4352, rec(
2160            desc:= [ 207002 ],
2161            fp:= [ 4, 212 ],
2162            next:= [ 4675, 4676 ] ) ] ), rec(
2163          desc:= [ 302013 ],
2164          fp:= [ 1264, 38460, 49320 ],
2165          next:= [ 4679, rec(
2166            desc:= [ 207003 ],
2167            fp:= [ 214, 412 ],
2168            next:= [ 4354, 4353 ] ), 4355 ] ) ] ), 4916, rec(
2169        desc:= [ 106003 ],
2170        fp:= [ 4, 212 ],
2171        next:= [ 4653, 4655 ] ) ] ), rec(
2172      fp:= [ 18257, 30488, 55283, 67514 ],
2173      next:= [ rec(
2174        fp:= [ 5899, 19275 ],
2175        next:= [ 4726, 4938 ] ), 4435, 4937, rec(
2176        fp:= [ 67613, 99577 ],
2177        next:= [ 4747, 4436 ] ) ] ) ] ), rec(
2178    fp:= [ 219, 1366, 4035, 13774, 23513, 24660, 27329, 37068, 50623, 58450,
217964178, 73917, 76586, 77733, 87472, 97211 ],
2180    level:= 4,
2181    next:= [ 11297, 11294, 11290, 11305, 11295, 11293, 11299, 11304, rec(
2182      fp:= [ 22444, 27817, 70473 ],
2183      next:= [ 11291, 11301, 11298 ] ), 11307, 11302, 11300, 11296, 11292,
218411303, 11288 ] ), rec(
2185    fp:= [ 9806, 28426, 47046 ],
2186    level:= 4,
2187    next:= [ 636, 635, 634 ] ), rec(
2188    fp:= [ 6634, 78948 ],
2189    level:= 4,
2190    next:= [ 6262, 11380 ] ) ] );
2191