1#############################################################################
2##
3#W  id8.afo                GAP library of id's             Hans Ulrich Besche
4##
5
6ID_GROUP_TREE.next[8].next[1].next[171]:=
7rec(
8  fp:= [ 770, 1070, 6770, 7070, 7370, 7970, 8270, 8570, 8870, 9170, 9470,
99770, 10070, 10670, 14570, 15470, 15770, 16070, 16370, 17870, 18470, 19370,
1019670, 20870, 22070, 22370, 22970, 23570, 23870, 24470, 24770, 25070, 25370,
1126270, 26870, 27470, 27770, 28370, 28670, 29270, 29570, 29870, 30170, 30470,
1230770, 31670, 32270, 32570, 32870, 33170, 33470, 33770, 34070, 34670, 34970,
1335270, 35570, 36170, 36470, 37070, 37370, 37970, 38270, 38570, 39170, 39470,
1439770, 40070, 40370, 40670, 40970, 41570, 41870, 42470, 42770, 43070, 43370,
1543670, 43970, 44570, 45170, 45470, 45770, 46370, 46670, 47270, 47570, 47870,
1648470, 49070, 49370, 49670, 49970, 50270, 50570, 50870, 51170, 51470, 51770,
1752070, 52370, 52670, 52970, 54770, 55070, 55670 ],
18  next:= [ rec(
19    fp:= [ 4 ],
20    next:= [ rec(
21      desc:= [ 111007 ],
22      fp:= [ 8, 414 ],
23      next:= [ 58565, 58567 ] ) ] ), rec(
24    fp:= [ 1652 ],
25    next:= [ rec(
26      desc:= [ 210005 ],
27      fp:= [ 8, 18 ],
28      next:= [ 59820, 59819 ] ) ] ), rec(
29    fp:= [ 1000 ],
30    next:= [ rec(
31      desc:= [ 106003 ],
32      fp:= [ 16, 818 ],
33      next:= [ 90847, 90853 ] ) ] ), rec(
34    fp:= [ 169 ],
35    next:= [ rec(
36      fp:= [ 22905, 38496 ],
37      level:= 5,
38      next:= [ rec(
39        desc:= [ 109003 ],
40        fp:= [ 2, 12 ],
41        next:= [ 93806, 93807 ] ), 93815 ] ) ] ), rec(
42    fp:= [ 168, 173 ],
43    next:= [ rec(
44      desc:= [ 106003 ],
45      fp:= [ 4, 212 ],
46      next:= [ 97210, 97208 ] ), rec(
47      desc:= [ 105003 ],
48      fp:= [ 12, 418 ],
49      next:= [ 97206, 97212 ] ) ] ), rec(
50    fp:= [ 170, 177 ],
51    next:= [ rec(
52      desc:= [ 302009, 208002 ],
53      fp:= [ 8, 18 ],
54      next:= [ 104327, 104322 ] ), rec(
55      desc:= [ 302007, 208002 ],
56      fp:= [ 8, 18 ],
57      next:= [ 104321, 104328 ] ) ] ), rec(
58    fp:= [ 171, 172, 1009, 1021 ],
59    next:= [ rec(
60      desc:= [ 302009 ],
61      fp:= [ 1584, 69500 ],
62      next:= [ rec(
63        desc:= [ 302008 ],
64        fp:= [ 864, 86621 ],
65        next:= [ rec(
66          desc:= [ 109003 ],
67          fp:= [ 614, 812 ],
68          next:= [ 107561, 107568 ] ), rec(
69          desc:= [ 110003 ],
70          fp:= [ 614, 812 ],
71          next:= [ rec(
72            desc:= [ 209002 ],
73            fp:= [ 4, 14 ],
74            next:= [ 107559, 107569 ] ), 107564 ] ) ] ), 107557 ] ), rec(
75      desc:= [ 107003 ],
76      fp:= [ 10, 416 ],
77      next:= [ 107567, 107560 ] ), rec(
78      desc:= [ 302008 ],
79      fp:= [ 1386, 49700 ],
80      next:= [ rec(
81        desc:= [ 206002 ],
82        fp:= [ 4, 14 ],
83        next:= [ 107562, 107558 ] ), 107566 ] ), rec(
84      desc:= [ 107003 ],
85      fp:= [ 214, 412 ],
86      next:= [ 107563, 107556 ] ) ] ), rec(
87    fp:= [ 168, 173, 174, 175 ],
88    next:= [ rec(
89      desc:= [ 302004 ],
90      fp:= [ 1264, 36860 ],
91      next:= [ rec(
92        desc:= [ 106003 ],
93        fp:= [ 6, 412 ],
94        next:= [ 111897, 111894 ] ), 111887 ] ), rec(
95      desc:= [ 302005 ],
96      fp:= [ 1165, 26960 ],
97      next:= [ 111892, rec(
98        desc:= [ 302008 ],
99        fp:= [ 1184, 29500 ],
100        next:= [ 111899, 111890 ] ) ] ), rec(
101      desc:= [ 105003 ],
102      fp:= [ 614, 812 ],
103      next:= [ 111898, 111895 ] ), rec(
104      desc:= [ 105003 ],
105      fp:= [ 614, 812 ],
106      next:= [ rec(
107        desc:= [ 302007 ],
108        fp:= [ 1584, 69500 ],
109        next:= [ 111891, 111900 ] ), 111888 ] ) ] ), rec(
110    fp:= [ 168, 171, 1118 ],
111    next:= [ rec(
112      desc:= [ 105003 ],
113      fp:= [ 818, 1214 ],
114      next:= [ 116168, 116175 ] ), rec(
115      desc:= [ 108003 ],
116      fp:= [ 818, 1214 ],
117      next:= [ rec(
118        desc:= [ 302013, 211003 ],
119        fp:= [ 8, 414 ],
120        next:= [ 116171, 116173 ] ), 116172 ] ), rec(
121      desc:= [ 105003 ],
122      fp:= [ 18, 414 ],
123      next:= [ 116176, 116167 ] ) ] ), rec(
124    fp:= [ 166, 168, 173, 174 ],
125    next:= [ rec(
126      desc:= [ 105003 ],
127      fp:= [ 6, 214, 412 ],
128      next:= [ 120340, 120342, 120346 ] ), rec(
129      desc:= [ 302004 ],
130      fp:= [ 1264, 36860 ],
131      next:= [ 120349, rec(
132        desc:= [ 209002 ],
133        fp:= [ 22, 220 ],
134        next:= [ 120350, 120347 ] ) ] ), rec(
135      desc:= [ 302005 ],
136      fp:= [ 26960, 36761 ],
137      next:= [ rec(
138        desc:= [ 107003 ],
139        fp:= [ 218, 416 ],
140        next:= [ 120348, 120343 ] ), rec(
141        desc:= [ 208002 ],
142        fp:= [ 26, 422 ],
143        next:= [ 120341, 120351 ] ) ] ), rec(
144      desc:= [ 105003 ],
145      fp:= [ 416, 614 ],
146      next:= [ rec(
147        desc:= [ 302007 ],
148        fp:= [ 1584, 69500 ],
149        next:= [ 120352, 120344 ] ), rec(
150        desc:= [ 302008, 207002 ],
151        fp:= [ 214, 412 ],
152        next:= [ 120345, 120339 ] ) ] ) ] ), rec(
153    fp:= [ 173, 176 ],
154    next:= [ rec(
155      desc:= [ 302007 ],
156      fp:= [ 1386, 49700, 59501, 60080 ],
157      next:= [ 124466, rec(
158        desc:= [ 303007 ],
159        fp:= [ 522, 621, 36421 ],
160        next:= [ 124473, 124472, rec(
161          desc:= [ 109003 ],
162          fp:= [ 418, 616 ],
163          next:= [ 124465, 124463 ] ) ] ), 124462, 124470 ] ), rec(
164      desc:= [ 104003 ],
165      fp:= [ 4, 14 ],
166      next:= [ 124471, 124468 ] ) ] ), rec(
167    fp:= [ 171, 173, 174 ],
168    next:= [ rec(
169      desc:= [ 106003 ],
170      fp:= [ 218, 416, 614, 812 ],
171      next:= [ 128531, 128534, 128522, rec(
172        desc:= [ 302006, 111003, 302007, 213002 ],
173        fp:= [ 216, 414 ],
174        next:= [ 128528, 128525 ] ) ] ), rec(
175      desc:= [ 106003 ],
176      fp:= [ 616, 814 ],
177      next:= [ 128523, 128533 ] ), rec(
178      desc:= [ 106003 ],
179      fp:= [ 418, 616 ],
180      next:= [ 128520, 128530 ] ) ] ), rec(
181    fp:= [ 170 ],
182    next:= [ rec(
183      desc:= [ 302007, 108003, 302008, 302010, 40207010 ],
184      fp:= [ 5, 2862 ],
185      next:= [ 132284, 132283 ] ) ] ), rec(
186    fp:= [ 261 ],
187    next:= [ rec(
188      fp:= [ 83698, 97318 ],
189      level:= 5,
190      next:= [ 137754, 137750 ] ) ] ), rec(
191    fp:= [ 494, 508 ],
192    next:= [ rec(
193      desc:= [ 302010, 113003, 213002 ],
194      fp:= [ 2, 12 ],
195      next:= [ 176793, 176791 ] ), rec(
196      desc:= [ 302010, 302018, 113003, 213004 ],
197      fp:= [ 2, 12 ],
198      next:= [ 176801, 176799 ] ) ] ), rec(
199    fp:= [ 632 ],
200    next:= [ rec(
201      fp:= [ 2674, 23586 ],
202      level:= 5,
203      next:= [ 185753, 185750 ] ) ] ), rec(
204    fp:= [ 538 ],
205    next:= [ rec(
206      fp:= [ 19392, 40472 ],
207      level:= 5,
208      next:= [ 189021, 189012 ] ) ] ), rec(
209    fp:= [ 654, 661 ],
210    next:= [ rec(
211      fp:= [ 52627, 82196 ],
212      level:= 5,
213      next:= [ 192938, 192942 ] ), rec(
214      fp:= [ 52133, 78637 ],
215      level:= 5,
216      next:= [ 192952, 192948 ] ) ] ), rec(
217    fp:= [ 583, 649, 656, 672 ],
218    next:= [ rec(
219      fp:= [ 23110, 79401 ],
220      level:= 5,
221      next:= [ rec(
222        desc:= [ 302008 ],
223        fp:= [ 346, 54682 ],
224        next:= [ 196334, 196341 ] ), 196343 ] ), rec(
225      fp:= [ 49987, 63067 ],
226      level:= 5,
227      next:= [ 196339, 196346 ] ), rec(
228      desc:= [ 302008 ],
229      fp:= [ 346, 54682 ],
230      next:= [ 196342, 196333 ] ), rec(
231      fp:= [ 49987, 63067 ],
232      level:= 5,
233      next:= [ 196347, 196345 ] ) ] ), rec(
234    fp:= [ 766 ],
235    next:= [ rec(
236      desc:= [ 117007 ],
237      fp:= [ 4, 14 ],
238      next:= [ 213136, 213138 ] ) ] ), rec(
239    fp:= [ 799 ],
240    next:= [ rec(
241      fp:= [ 8661, 18452 ],
242      level:= 5,
243      next:= [ 221576, 221568 ] ) ] ), rec(
244    fp:= [ 596, 611 ],
245    next:= [ rec(
246      fp:= [ 72604, 89776 ],
247      level:= 5,
248      next:= [ 232727, 232731 ] ), rec(
249      desc:= [ 107003 ],
250      fp:= [ 2, 12 ],
251      next:= [ 232733, 232735 ] ) ] ), rec(
252    fp:= [ 610 ],
253    next:= [ rec(
254      fp:= [ 68716, 76155 ],
255      level:= 5,
256      next:= [ 237033, 237034 ] ) ] ), rec(
257    fp:= [ 725 ],
258    next:= [ rec(
259      desc:= [ 114003 ],
260      fp:= [ 4, 14 ],
261      next:= [ 254296, 254300 ] ) ] ), rec(
262    fp:= [ 665 ],
263    next:= [ rec(
264      desc:= [ 302009 ],
265      fp:= [ 54682, 80517 ],
266      next:= [ 268732, 268730 ] ) ] ), rec(
267    fp:= [ 610 ],
268    next:= [ rec(
269      desc:= [ 107003 ],
270      fp:= [ 216, 414 ],
271      next:= [ 271997, 271998 ] ) ] ), rec(
272    fp:= [ 755 ],
273    next:= [ rec(
274      desc:= [ 115003 ],
275      fp:= [ 4, 14 ],
276      next:= [ 278730, 278732 ] ) ] ), rec(
277    fp:= [ 768 ],
278    next:= [ rec(
279      fp:= [ 33511, 60031 ],
280      level:= 5,
281      next:= [ 286052, 286059 ] ) ] ), rec(
282    fp:= [ 744 ],
283    next:= [ rec(
284      fp:= [ 47419, 72189 ],
285      level:= 5,
286      next:= [ 290446, 290458 ] ) ] ), rec(
287    fp:= [ 805 ],
288    next:= [ rec(
289      fp:= [ 3411, 13785 ],
290      level:= 5,
291      next:= [ 298954, 298966 ] ) ] ), rec(
292    fp:= [ 768 ],
293    next:= [ rec(
294      fp:= [ 29738, 99341 ],
295      level:= 5,
296      next:= [ 303324, 303319 ] ) ] ), rec(
297    fp:= [ 597, 775 ],
298    next:= [ rec(
299      desc:= [ 106003 ],
300      fp:= [ 215, 413 ],
301      next:= [ 307770, 307772 ] ), rec(
302      fp:= [ 10849, 60010 ],
303      level:= 5,
304      next:= [ 307762, rec(
305        desc:= [ 302009 ],
306        fp:= [ 54583, 88921 ],
307        next:= [ rec(
308          desc:= [ 108003 ],
309          fp:= [ 13, 211 ],
310          next:= [ 307774, 307776 ] ), 307771 ] ) ] ) ] ), rec(
311    fp:= [ 652, 817 ],
312    next:= [ rec(
313      desc:= [ 105003 ],
314      fp:= [ 2, 12 ],
315      next:= [ 312174, 312177 ] ), rec(
316      fp:= [ 10849, 60010 ],
317      level:= 5,
318      next:= [ 312172, 312178 ] ) ] ), rec(
319    fp:= [ 691, 724 ],
320    next:= [ rec(
321      desc:= [ 302009, 209002 ],
322      fp:= [ 18, 414 ],
323      next:= [ 321957, 321956 ] ), rec(
324      desc:= [ 302009, 209002 ],
325      fp:= [ 18, 414 ],
326      next:= [ 321962, 321963 ] ) ] ), rec(
327    fp:= [ 921 ],
328    next:= [ rec(
329      fp:= [ 11090, 13102 ],
330      level:= 5,
331      next:= [ 326678, 326667 ] ) ] ), rec(
332    fp:= [ 1055, 1078 ],
333    next:= [ rec(
334      desc:= [ 302009 ],
335      fp:= [ 8656, 66411 ],
336      next:= [ 334730, 334724 ] ), rec(
337      desc:= [ 106003 ],
338      fp:= [ 8, 414 ],
339      next:= [ 334713, 334726 ] ) ] ), rec(
340    fp:= [ 1001, 1020, 1021 ],
341    next:= [ rec(
342      desc:= [ 302006 ],
343      fp:= [ 26960, 36761 ],
344      next:= [ 338982, 338978 ] ), rec(
345      desc:= [ 106003 ],
346      fp:= [ 16, 818 ],
347      next:= [ 338984, 338989 ] ), rec(
348      fp:= [ 48680, 95547 ],
349      level:= 5,
350      next:= [ rec(
351        desc:= [ 302009 ],
352        fp:= [ 1485, 59600, 69401 ],
353        next:= [ 338976, rec(
354          desc:= [ 115011 ],
355          fp:= [ 24, 1618 ],
356          next:= [ 338985, 338981 ] ), 338988 ] ), 338986 ] ) ] ), rec(
357    fp:= [ 1054, 1151 ],
358    next:= [ rec(
359      fp:= [ 7388, 47462 ],
360      level:= 5,
361      next:= [ 349420, 349424 ] ), rec(
362      fp:= [ 28294, 53121 ],
363      level:= 5,
364      next:= [ 349406, 349413 ] ) ] ), rec(
365    fp:= [ 1120 ],
366    next:= [ rec(
367      fp:= [ 32131, 57971 ],
368      level:= 5,
369      next:= [ 355669, 355670 ] ) ] ), rec(
370    fp:= [ 1075, 1100, 1170, 1320, 1322, 1344 ],
371    next:= [ rec(
372      desc:= [ 302009, 109003, 209003 ],
373      fp:= [ 2, 12 ],
374      next:= [ 368790, 368774 ] ), rec(
375      desc:= [ 113011 ],
376      fp:= [ 20, 1614 ],
377      next:= [ 368794, 368782 ] ), rec(
378      desc:= [ 302006, 109003, 209003 ],
379      fp:= [ 6, 412 ],
380      next:= [ 368800, 368784 ] ), rec(
381      desc:= [ 302006 ],
382      fp:= [ 28462, 28641 ],
383      next:= [ 368795, 368773 ] ), rec(
384      desc:= [ 302006 ],
385      fp:= [ 28462, 28641 ],
386      next:= [ 368789, 368779 ] ), rec(
387      desc:= [ 302006, 303011, 110003, 210004 ],
388      fp:= [ 6, 412 ],
389      next:= [ 368787, 368771 ] ) ] ), rec(
390    fp:= [ 1033, 1586 ],
391    next:= [ rec(
392      desc:= [ 107003 ],
393      fp:= [ 12, 814 ],
394      next:= [ 375003, 375005 ] ), rec(
395      desc:= [ 107003 ],
396      fp:= [ 12, 814 ],
397      next:= [ 375012, 375014 ] ) ] ), rec(
398    fp:= [ 1410, 1586 ],
399    next:= [ rec(
400      fp:= [ 1673, 56943 ],
401      level:= 5,
402      next:= [ rec(
403        desc:= [ 107003 ],
404        fp:= [ 214, 412 ],
405        next:= [ 380934, 380940 ] ), 380954 ] ), rec(
406      desc:= [ 302012, 211002 ],
407      fp:= [ 4, 14 ],
408      next:= [ 380941, 380957 ] ) ] ), rec(
409    fp:= [ 1057, 1420, 1478, 1510, 1519 ],
410    next:= [ rec(
411      desc:= [ 302012, 120005, 120007, 220002 ],
412      fp:= [ 8, 414 ],
413      next:= [ 389017, 389033 ] ), rec(
414      fp:= [ 41219, 96489 ],
415      level:= 5,
416      next:= [ 389018, 389044 ] ), rec(
417      fp:= [ 35136, 62500 ],
418      level:= 5,
419      next:= [ 389024, 389028 ] ), rec(
420      fp:= [ 32773, 93940 ],
421      level:= 5,
422      next:= [ 389016, 389036 ] ), rec(
423      fp:= [ 12580, 40004 ],
424      level:= 5,
425      next:= [ 389038, 389026 ] ) ] ), rec(
426    fp:= [ 1375, 1559 ],
427    next:= [ rec(
428      desc:= [ 302013, 213002, 302014, 40206008 ],
429      fp:= [ 2, 741 ],
430      next:= [ 395120, 395107 ] ), rec(
431      desc:= [ 302010, 215002, 215003, 304011, 216004, 304017, 40510011 ],
432      fp:= [ 1, 1921 ],
433      next:= [ 395114, 395118 ] ) ] ), rec(
434    fp:= [ 1160 ],
435    next:= [ rec(
436      fp:= [ 72767, 84096 ],
437      level:= 5,
438      next:= [ 401463, 401450 ] ) ] ), rec(
439    fp:= [ 1265 ],
440    next:= [ rec(
441      desc:= [ 106003 ],
442      fp:= [ 814, 1012 ],
443      next:= [ 426459, 426454 ] ) ] ), rec(
444    fp:= [ 1160 ],
445    next:= [ rec(
446      fp:= [ 80865, 81077 ],
447      level:= 5,
448      next:= [ 441710, 441713 ] ) ] ), rec(
449    fp:= [ 1032, 1459 ],
450    next:= [ rec(
451      desc:= [ 108003 ],
452      fp:= [ 620, 1016 ],
453      next:= [ 448415, 448409 ] ), rec(
454      desc:= [ 107003 ],
455      fp:= [ 420, 816 ],
456      next:= [ 448408, 448420 ] ) ] ), rec(
457    fp:= [ 1158 ],
458    next:= [ rec(
459      desc:= [ 302008 ],
460      fp:= [ 38461, 48441 ],
461      next:= [ 455007, 455012 ] ) ] ), rec(
462    fp:= [ 1226, 1322, 1519 ],
463    next:= [ rec(
464      fp:= [ 24990, 55675 ],
465      level:= 5,
466      next:= [ 462691, 462674 ] ), rec(
467      fp:= [ 21291, 89248 ],
468      level:= 5,
469      next:= [ 462699, 462701 ] ), rec(
470      fp:= [ 1723, 44564 ],
471      level:= 5,
472      next:= [ 462680, 462696 ] ) ] ), rec(
473    fp:= [ 1034, 1194, 1302 ],
474    next:= [ rec(
475      desc:= [ 302007 ],
476      fp:= [ 38442, 56521 ],
477      next:= [ 471733, 471725 ] ), rec(
478      desc:= [ 302009 ],
479      fp:= [ 18562, 18741 ],
480      next:= [ 471742, 471739 ] ), rec(
481      desc:= [ 302007 ],
482      fp:= [ 38362, 38541 ],
483      next:= [ 471735, 471727 ] ) ] ), rec(
484    fp:= [ 1175, 1182, 1205 ],
485    next:= [ rec(
486      fp:= [ 47475, 47953 ],
487      level:= 5,
488      next:= [ 480437, rec(
489        desc:= [ 108003 ],
490        fp:= [ 16, 214 ],
491        next:= [ 480451, 480455 ] ) ] ), rec(
492      fp:= [ 71812, 86238 ],
493      level:= 5,
494      next:= [ 480439, 480453 ] ), rec(
495      fp:= [ 13334, 60296 ],
496      level:= 5,
497      next:= [ 480430, 480427 ] ) ] ), rec(
498    fp:= [ 1309 ],
499    next:= [ rec(
500      fp:= [ 6584, 66171 ],
501      level:= 5,
502      next:= [ 489651, 489659 ] ) ] ), rec(
503    fp:= [ 1102, 1256, 1302, 1386, 1396, 1509, 1534 ],
504    next:= [ rec(
505      desc:= [ 106003 ],
506      fp:= [ 818, 1016 ],
507      next:= [ 507545, 507561 ] ), rec(
508      fp:= [ 13092, 60719 ],
509      level:= 5,
510      next:= [ 507546, 507553 ] ), rec(
511      fp:= [ 13092, 60719 ],
512      level:= 5,
513      next:= [ 507554, 507571 ] ), rec(
514      desc:= [ 105003 ],
515      fp:= [ 614, 812 ],
516      next:= [ 507542, 507558 ] ), rec(
517      desc:= [ 105003 ],
518      fp:= [ 218, 416 ],
519      next:= [ 507550, 507566 ] ), rec(
520      desc:= [ 302005 ],
521      fp:= [ 38461, 48441 ],
522      next:= [ 507544, 507552 ] ), rec(
523      desc:= [ 302005 ],
524      fp:= [ 38461, 48441 ],
525      next:= [ 507564, 507572 ] ) ] ), rec(
526    fp:= [ 1175, 1350, 1362 ],
527    next:= [ rec(
528      desc:= [ 117011 ],
529      fp:= [ 4, 14 ],
530      next:= [ 516479, 516487 ] ), rec(
531      fp:= [ 39751, 79795 ],
532      level:= 5,
533      next:= [ 516486, 516501 ] ), rec(
534      fp:= [ 2046, 20418 ],
535      level:= 5,
536      next:= [ 516478, 516502 ] ) ] ), rec(
537    fp:= [ 1261 ],
538    next:= [ rec(
539      desc:= [ 106003 ],
540      fp:= [ 414, 612 ],
541      next:= [ 525167, 525163 ] ) ] ), rec(
542    fp:= [ 1184, 1245 ],
543    next:= [ rec(
544      desc:= [ 106003 ],
545      fp:= [ 18, 216 ],
546      next:= [ 532512, 532510 ] ), rec(
547      desc:= [ 106003 ],
548      fp:= [ 414, 612 ],
549      next:= [ 532491, 532511 ] ) ] ), rec(
550    fp:= [ 1085 ],
551    next:= [ rec(
552      fp:= [ 39152, 43308 ],
553      level:= 5,
554      next:= [ 546835, 546829 ] ) ] ), rec(
555    fp:= [ 1253 ],
556    next:= [ rec(
557      fp:= [ 15885, 43042 ],
558      level:= 5,
559      next:= [ 555812, 555810 ] ) ] ), rec(
560    fp:= [ 1175 ],
561    next:= [ rec(
562      fp:= [ 61787, 70452 ],
563      level:= 5,
564      next:= [ 573690, 573701 ] ) ] ), rec(
565    fp:= [ 1193, 1333, 1437, 1439 ],
566    next:= [ rec(
567      fp:= [ 63087, 80673 ],
568      level:= 5,
569      next:= [ 582858, 582871 ] ), rec(
570      fp:= [ 26968, 95724 ],
571      level:= 5,
572      next:= [ 582867, 582859 ] ), rec(
573      fp:= [ 10611, 22770 ],
574      level:= 5,
575      next:= [ rec(
576        desc:= [ 108003 ],
577        fp:= [ 418, 616 ],
578        next:= [ 582888, 582874 ] ), 582866 ] ), rec(
579      desc:= [ 108003 ],
580      fp:= [ 418, 616 ],
581      next:= [ 582868, 582878 ] ) ] ), rec(
582    fp:= [ 1062, 1316 ],
583    next:= [ rec(
584      desc:= [ 105003 ],
585      fp:= [ 26, 818 ],
586      next:= [ 599943, 599947 ] ), rec(
587      fp:= [ 1746, 7108 ],
588      level:= 5,
589      next:= [ 599945, 599939 ] ) ] ), rec(
590    fp:= [ 1052, 1072, 1094 ],
591    next:= [ rec(
592      desc:= [ 302013, 213002 ],
593      fp:= [ 7, 512 ],
594      next:= [ 606546, 606538 ] ), rec(
595      desc:= [ 107003 ],
596      fp:= [ 820, 1018 ],
597      next:= [ 606548, 606547 ] ), rec(
598      desc:= [ 107003 ],
599      fp:= [ 1416, 1614 ],
600      next:= [ 606551, 606534 ] ) ] ), rec(
601    fp:= [ 1251, 1426, 1437 ],
602    next:= [ rec(
603      desc:= [ 114011 ],
604      fp:= [ 8, 414 ],
605      next:= [ 613370, 613354 ] ), rec(
606      fp:= [ 10986, 61635 ],
607      level:= 5,
608      next:= [ 613352, 613363 ] ), rec(
609      fp:= [ 10665, 47268 ],
610      level:= 5,
611      next:= [ 613376, 613355 ] ) ] ), rec(
612    fp:= [ 1477 ],
613    next:= [ rec(
614      fp:= [ 8007, 50848 ],
615      level:= 5,
616      next:= [ 629080, 629102 ] ) ] ), rec(
617    fp:= [ 1150, 1156, 1440 ],
618    next:= [ rec(
619      fp:= [ 11434, 51172 ],
620      level:= 5,
621      next:= [ 636555, 636573 ] ), rec(
622      fp:= [ 992, 72880 ],
623      level:= 5,
624      next:= [ 636571, rec(
625        desc:= [ 107003 ],
626        fp:= [ 16, 412 ],
627        next:= [ 636549, 636557 ] ) ] ), rec(
628      fp:= [ 54562, 90241 ],
629      level:= 5,
630      next:= [ 636558, 636578 ] ) ] ), rec(
631    fp:= [ 1259, 1483, 1489 ],
632    next:= [ rec(
633      desc:= [ 113011 ],
634      fp:= [ 18, 414 ],
635      next:= [ 645788, 645798 ] ), rec(
636      desc:= [ 302008, 212002 ],
637      fp:= [ 1214, 1412 ],
638      next:= [ 645792, 645789 ] ), rec(
639      fp:= [ 13136, 45910 ],
640      level:= 5,
641      next:= [ 645805, 645794 ] ) ] ), rec(
642    fp:= [ 1139, 1156 ],
643    next:= [ rec(
644      desc:= [ 302008 ],
645      fp:= [ 48441, 58421 ],
646      next:= [ 654348, 654342 ] ), rec(
647      desc:= [ 107003 ],
648      fp:= [ 216, 414 ],
649      next:= [ 654341, 654366 ] ) ] ), rec(
650    fp:= [ 1259 ],
651    next:= [ rec(
652      fp:= [ 14813, 29365 ],
653      level:= 5,
654      next:= [ 663243, 663254 ] ) ] ), rec(
655    fp:= [ 1157, 1404 ],
656    next:= [ rec(
657      fp:= [ 11886, 77898 ],
658      level:= 5,
659      next:= [ 672163, 672150 ] ), rec(
660      fp:= [ 24543, 77277 ],
661      level:= 5,
662      next:= [ 672151, rec(
663        desc:= [ 107003 ],
664        fp:= [ 16, 214 ],
665        next:= [ 672162, 672164 ] ) ] ) ] ), rec(
666    fp:= [ 1161, 1197, 1281, 1436 ],
667    next:= [ rec(
668      desc:= [ 106003 ],
669      fp:= [ 22, 220 ],
670      next:= [ 680571, 680580 ] ), rec(
671      desc:= [ 112011 ],
672      fp:= [ 18, 414 ],
673      next:= [ 680584, 680586 ] ), rec(
674      desc:= [ 302006 ],
675      fp:= [ 28561, 38362, 38541 ],
676      next:= [ 680590, 680593, 680587 ] ), rec(
677      desc:= [ 302009 ],
678      fp:= [ 80997, 87367 ],
679      next:= [ 680574, 680596 ] ) ] ), rec(
680    fp:= [ 1258 ],
681    next:= [ rec(
682      fp:= [ 73614, 79188 ],
683      level:= 5,
684      next:= [ 699084, 699090 ] ) ] ), rec(
685    fp:= [ 1259 ],
686    next:= [ rec(
687      fp:= [ 57636, 59126 ],
688      level:= 5,
689      next:= [ 708147, 708138 ] ) ] ), rec(
690    fp:= [ 1257, 1460 ],
691    next:= [ rec(
692      desc:= [ 302006 ],
693      fp:= [ 28462, 28641, 38263 ],
694      next:= [ 726635, 726651, 726633 ] ), rec(
695      desc:= [ 302006 ],
696      fp:= [ 1001, 58421 ],
697      next:= [ 726648, 726644 ] ) ] ), rec(
698    fp:= [ 1493 ],
699    next:= [ rec(
700      fp:= [ 1963, 48830 ],
701      level:= 5,
702      next:= [ 735618, 735638 ] ) ] ), rec(
703    fp:= [ 1486 ],
704    next:= [ rec(
705      desc:= [ 302008 ],
706      fp:= [ 28542, 45933 ],
707      next:= [ 744926, 744930 ] ) ] ), rec(
708    fp:= [ 1504 ],
709    next:= [ rec(
710      desc:= [ 106003 ],
711      fp:= [ 614, 812 ],
712      next:= [ 753932, 753926 ] ) ] ), rec(
713    fp:= [ 1157, 1444 ],
714    next:= [ rec(
715      fp:= [ 23058, 56707 ],
716      level:= 5,
717      next:= [ 763052, 763063 ] ), rec(
718      desc:= [ 302009 ],
719      fp:= [ 28363, 55833 ],
720      next:= [ 763068, 763075 ] ) ] ), rec(
721    fp:= [ 1490 ],
722    next:= [ rec(
723      desc:= [ 105003 ],
724      fp:= [ 416, 812 ],
725      next:= [ 771876, 771854 ] ) ] ), rec(
726    fp:= [ 1433 ],
727    next:= [ rec(
728      desc:= [ 302008 ],
729      fp:= [ 483, 841, 58261 ],
730      next:= [ 789648, 789645, 789629 ] ) ] ), rec(
731    fp:= [ 1018, 1019, 1021 ],
732    next:= [ rec(
733      desc:= [ 106003 ],
734      fp:= [ 16, 1214 ],
735      next:= [ 805584, 805582 ] ), rec(
736      desc:= [ 105003 ],
737      fp:= [ 12, 814 ],
738      next:= [ 805585, 805591 ] ), rec(
739      desc:= [ 302006 ],
740      fp:= [ 1264, 36860 ],
741      next:= [ 805588, 805581 ] ) ] ), rec(
742    fp:= [ 1150, 1193, 1561 ],
743    next:= [ rec(
744      desc:= [ 302009 ],
745      fp:= [ 18463, 62443 ],
746      next:= [ 812907, 812903 ] ), rec(
747      fp:= [ 11178, 13565 ],
748      level:= 5,
749      next:= [ 812887, 812911 ] ), rec(
750      desc:= [ 107003 ],
751      fp:= [ 2, 12 ],
752      next:= [ 812910, 812900 ] ) ] ), rec(
753    fp:= [ 1208, 1558, 1569 ],
754    next:= [ rec(
755      desc:= [ 302008 ],
756      fp:= [ 45933, 62443 ],
757      next:= [ 821691, 821699 ] ), rec(
758      desc:= [ 302009 ],
759      fp:= [ 643, 74581 ],
760      next:= [ 821684, 821696 ] ), rec(
761      desc:= [ 302010 ],
762      fp:= [ 35122, 73937 ],
763      next:= [ 821712, 821690 ] ) ] ), rec(
764    fp:= [ 1491, 1595 ],
765    next:= [ rec(
766      desc:= [ 106003 ],
767      fp:= [ 6, 214, 412 ],
768      next:= [ 836827, 836842, 836847 ] ), rec(
769      desc:= [ 302007, 111007, 211002 ],
770      fp:= [ 1618, 2014 ],
771      next:= [ 836841, 836833 ] ) ] ), rec(
772    fp:= [ 1204 ],
773    next:= [ rec(
774      desc:= [ 107003 ],
775      fp:= [ 214, 412 ],
776      next:= [ 845779, 845781 ] ) ] ), rec(
777    fp:= [ 1462 ],
778    next:= [ rec(
779      fp:= [ 27976, 94863 ],
780      level:= 5,
781      next:= [ 864046, 864049 ] ) ] ), rec(
782    fp:= [ 1256, 1309, 1497, 1504, 1559 ],
783    next:= [ rec(
784      desc:= [ 105003 ],
785      fp:= [ 10, 812 ],
786      next:= [ 873295, 873297 ] ), rec(
787      desc:= [ 106003 ],
788      fp:= [ 10, 812 ],
789      next:= [ 873293, 873288 ] ), rec(
790      desc:= [ 106003 ],
791      fp:= [ 6, 412 ],
792      next:= [ 873307, 873298 ] ), rec(
793      desc:= [ 302009 ],
794      fp:= [ 3137, 24926, 80547 ],
795      next:= [ 873315, 873309, 873317 ] ), rec(
796      desc:= [ 302007 ],
797      fp:= [ 346, 44881 ],
798      next:= [ 873308, 873300 ] ) ] ), rec(
799    fp:= [ 1404, 1433, 1437 ],
800    next:= [ rec(
801      fp:= [ 36027, 76323 ],
802      level:= 5,
803      next:= [ 882463, 882482 ] ), rec(
804      fp:= [ 36027, 76323 ],
805      level:= 5,
806      next:= [ 882471, 882487 ] ), rec(
807      fp:= [ 39446, 79742 ],
808      level:= 5,
809      next:= [ 882470, 882486 ] ) ] ), rec(
810    fp:= [ 1515 ],
811    next:= [ rec(
812      desc:= [ 106003 ],
813      fp:= [ 6, 214 ],
814      next:= [ 901001, 900999 ] ) ] ), rec(
815    fp:= [ 1451, 1524 ],
816    next:= [ rec(
817      desc:= [ 105003 ],
818      fp:= [ 214, 412 ],
819      next:= [ 919398, 919413 ] ), rec(
820      desc:= [ 302006 ],
821      fp:= [ 70603, 98956 ],
822      next:= [ 919411, 919417 ] ) ] ), rec(
823    fp:= [ 1450, 1514, 1559 ],
824    next:= [ rec(
825      desc:= [ 302011 ],
826      fp:= [ 3137, 90687 ],
827      next:= [ 928566, 928567 ] ), rec(
828      fp:= [ 35528, 52110 ],
829      level:= 5,
830      next:= [ 928560, 928557 ] ), rec(
831      fp:= [ 25042, 78899 ],
832      level:= 5,
833      next:= [ 928568, 928558 ] ) ] ), rec(
834    fp:= [ 1571 ],
835    next:= [ rec(
836      desc:= [ 106003 ],
837      fp:= [ 2, 12 ],
838      next:= [ 937526, 937534 ] ) ] ), rec(
839    fp:= [ 1261, 1564 ],
840    next:= [ rec(
841      desc:= [ 302006 ],
842      fp:= [ 285, 38461 ],
843      next:= [ 946771, 946779 ] ), rec(
844      desc:= [ 302008 ],
845      fp:= [ 44881, 55021 ],
846      next:= [ 946778, 946796 ] ) ] ), rec(
847    fp:= [ 1185, 1387, 1445, 1451, 1458, 1534 ],
848    next:= [ rec(
849      desc:= [ 302006 ],
850      fp:= [ 742, 1081 ],
851      next:= [ 955947, 955945 ] ), rec(
852      desc:= [ 302007 ],
853      fp:= [ 9747, 74417 ],
854      next:= [ 955940, 955953 ] ), rec(
855      desc:= [ 302005 ],
856      fp:= [ 52703, 62249 ],
857      next:= [ 955944, rec(
858        desc:= [ 303011 ],
859        fp:= [ 822, 58821 ],
860        next:= [ 955963, rec(
861          desc:= [ 210004, 40310011 ],
862          fp:= [ 1, 641 ],
863          next:= [ 955965, 955957 ] ) ] ) ] ), rec(
864      desc:= [ 302007 ],
865      fp:= [ 8416, 9747, 66171 ],
866      next:= [ 955939, 955941, 955949 ] ), rec(
867      desc:= [ 302005 ],
868      fp:= [ 45914, 60095 ],
869      next:= [ 955967, 955948 ] ), rec(
870      desc:= [ 302005 ],
871      fp:= [ 5825, 62249 ],
872      next:= [ 955954, 955962 ] ) ] ), rec(
873    fp:= [ 1264, 1432, 1462, 1473 ],
874    next:= [ rec(
875      desc:= [ 302007 ],
876      fp:= [ 28542, 45933 ],
877      next:= [ 965167, 965175 ] ), rec(
878      desc:= [ 302007 ],
879      fp:= [ 35842, 63913 ],
880      next:= [ 965169, 965183 ] ), rec(
881      desc:= [ 302008 ],
882      fp:= [ 544, 64681 ],
883      next:= [ 965161, 965186 ] ), rec(
884      desc:= [ 302009, 210002 ],
885      fp:= [ 214, 412 ],
886      next:= [ 965182, 965159 ] ) ] ), rec(
887    fp:= [ 1559 ],
888    next:= [ rec(
889      fp:= [ 26541, 78345 ],
890      level:= 5,
891      next:= [ 974338, 974348 ] ) ] ), rec(
892    fp:= [ 1505, 1539 ],
893    next:= [ rec(
894      desc:= [ 106003 ],
895      fp:= [ 214, 412 ],
896      next:= [ 983457, 983475 ] ), rec(
897      desc:= [ 106003 ],
898      fp:= [ 214, 412 ],
899      next:= [ 983476, 983470 ] ) ] ), rec(
900    fp:= [ 1265, 1337, 1377, 1490, 1491, 1537 ],
901    next:= [ rec(
902      desc:= [ 105003 ],
903      fp:= [ 10, 812 ],
904      next:= [ 992371, 992369 ] ), rec(
905      desc:= [ 105003 ],
906      fp:= [ 614, 812 ],
907      next:= [ 992381, 992372 ] ), rec(
908      desc:= [ 302006 ],
909      fp:= [ 42544, 49253 ],
910      next:= [ 992366, 992382 ] ), rec(
911      desc:= [ 105003 ],
912      fp:= [ 6, 412 ],
913      next:= [ 992365, 992388 ] ), rec(
914      desc:= [ 302005 ],
915      fp:= [ 483, 58261 ],
916      next:= [ 992367, 992393 ] ), rec(
917      desc:= [ 302006 ],
918      fp:= [ 5825, 62249 ],
919      next:= [ 992385, 992391 ] ) ] ), rec(
920    fp:= [ 1451, 1505 ],
921    next:= [ rec(
922      desc:= [ 105003 ],
923      fp:= [ 214, 412 ],
924      next:= [ 1001386, 1001391 ] ), rec(
925      desc:= [ 302006 ],
926      fp:= [ 35934, 98876 ],
927      next:= [ 1001381, 1001392 ] ) ] ), rec(
928    fp:= [ 1034, 1099 ],
929    next:= [ rec(
930      desc:= [ 113011 ],
931      fp:= [ 8, 18 ],
932      next:= [ 1009199, 1009195 ] ), rec(
933      fp:= [ 31743, 54413 ],
934      level:= 5,
935      next:= [ 1009188, 1009202 ] ) ] ), rec(
936    fp:= [ 1032, 1070, 1186 ],
937    next:= [ rec(
938      desc:= [ 302010 ],
939      fp:= [ 34882, 54922 ],
940      next:= [ 1016381, 1016369 ] ), rec(
941      desc:= [ 107003 ],
942      fp:= [ 8, 612 ],
943      next:= [ 1016367, 1016363 ] ), rec(
944      desc:= [ 107003 ],
945      fp:= [ 6, 412 ],
946      next:= [ 1016382, 1016375 ] ) ] ), rec(
947    fp:= [ 1277 ],
948    next:= [ rec(
949      fp:= [ 20737, 36237 ],
950      level:= 5,
951      next:= [ rec(
952        desc:= [ 106003 ],
953        fp:= [ 218, 614 ],
954        next:= [ 1023748, 1023743 ] ), 1023747 ] ) ] ), rec(
955    fp:= [ 1104, 1261, 1263 ],
956    next:= [ rec(
957      fp:= [ 31743, 54413 ],
958      level:= 5,
959      next:= [ 1031243, 1031258 ] ), rec(
960      fp:= [ 39399, 54899 ],
961      level:= 5,
962      next:= [ 1031259, 1031253 ] ), rec(
963      fp:= [ 42389, 58190 ],
964      level:= 5,
965      next:= [ 1031236, 1031251 ] ) ] ), rec(
966    fp:= [ 2058 ],
967    next:= [ rec(
968      desc:= [ 302012 ],
969      fp:= [ 25161, 35301 ],
970      next:= [ 1058749, 1058763 ] ) ] ), rec(
971    fp:= [ 2002 ],
972    next:= [ rec(
973      desc:= [ 302011, 305016, 40305006 ],
974      fp:= [ 1, 161 ],
975      next:= [ 1064813, 1064799 ] ) ] ), rec(
976    fp:= [ 2171 ],
977    next:= [ rec(
978      fp:= [ 40984, 91044 ],
979      level:= 5,
980      next:= [ 1076391, 1076389 ] ) ] ) ] );
981