1#############################################################################
2##
3#W  id8.abe                GAP library of id's             Hans Ulrich Besche
4##
5
6ID_GROUP_TREE.next[8].next[1].next[57]:=
7rec(
8  fp:= [ 956, 4256, 6956, 7256, 7556, 8156, 8456, 8756, 9056, 9356, 9656,
99956, 10256, 10856, 12056, 12956, 13856, 14156, 14456, 15056, 15356, 15656,
1016256, 17756, 18956, 19856, 20456, 21056, 22556, 23456, 24956, 25556, 27656,
1128856, 29156, 29456, 29756, 30056, 31256, 31856, 33056, 33356, 33656, 33956,
1234256, 34556, 34856, 35156, 35456, 35756, 36356, 36656, 36956, 37556, 37856,
1338456, 39356, 39656, 40256, 40556, 40856, 41156, 41456, 42056, 42356, 42656,
1442956, 43256, 43556, 43856, 44156, 44456, 44756, 45056, 45356, 45656, 46256,
1546556, 46856, 47156, 47456, 47756, 48056, 48356, 48656, 48956, 49256, 49556,
1649856, 50156, 50456, 51056, 51356, 51656, 51956, 52256, 52556, 52856, 53456,
1755856 ],
18  next:= [ rec(
19    fp:= [ 1652 ],
20    next:= [ rec(
21      desc:= [ 112011 ],
22      fp:= [ 12, 814 ],
23      next:= [ 59397, 59396 ] ) ] ), rec(
24    fp:= [ 466 ],
25    next:= [ rec(
26      desc:= [ 302004, 302006, 302008, 302010, 40209010 ],
27      fp:= [ 15863, 16061 ],
28      next:= [ 77833, 77830 ] ) ] ), rec(
29    fp:= [ 165 ],
30    next:= [ rec(
31      fp:= [ 3450, 33365, 66724 ],
32      level:= 5,
33      next:= [ 92347, 92351, 92348 ] ) ] ), rec(
34    fp:= [ 166, 171, 1021 ],
35    next:= [ rec(
36      desc:= [ 106003 ],
37      fp:= [ 8, 414 ],
38      next:= [ 96041, 96045 ] ), rec(
39      desc:= [ 302005 ],
40      fp:= [ 1363, 46760 ],
41      next:= [ 96040, rec(
42        desc:= [ 211002 ],
43        fp:= [ 18, 216 ],
44        next:= [ 96036, 96044 ] ) ] ), rec(
45      desc:= [ 106003 ],
46      fp:= [ 8, 414 ],
47      next:= [ 96039, 96043 ] ) ] ), rec(
48    fp:= [ 168, 169, 171, 172 ],
49    next:= [ rec(
50      desc:= [ 302005 ],
51      fp:= [ 1165, 26960 ],
52      next:= [ 99585, rec(
53        desc:= [ 112011 ],
54        fp:= [ 24, 1618 ],
55        next:= [ 99579, 99581 ] ) ] ), rec(
56      desc:= [ 109003 ],
57      fp:= [ 214, 412 ],
58      next:= [ rec(
59        desc:= [ 302006, 210002 ],
60        fp:= [ 2, 12 ],
61        next:= [ 99582, 99576 ] ), rec(
62        desc:= [ 302008 ],
63        fp:= [ 1584, 69500 ],
64        next:= [ 99584, 99578 ] ) ] ), rec(
65      desc:= [ 107003 ],
66      fp:= [ 214, 412 ],
67      next:= [ 99586, 99574 ] ), rec(
68      desc:= [ 107003 ],
69      fp:= [ 214, 412 ],
70      next:= [ 99580, 99588 ] ) ] ), rec(
71    fp:= [ 167, 168, 173, 174 ],
72    next:= [ rec(
73      desc:= [ 106003, 109003, 112005, 112007, 302004, 302006, 302008,
74211002, 302012, 214002, 303014, 305013, 212005, 307021, 212007, 40314012 ],
75      fp:= [ 2, 2661 ],
76      next:= [ 106494, 106502 ] ), rec(
77      desc:= [ 106003, 302004, 302006, 208002 ],
78      fp:= [ 14, 212 ],
79      next:= [ rec(
80        desc:= [ 110003, 302008, 211002 ],
81        fp:= [ 18, 414 ],
82        next:= [ 106492, 106498 ] ), rec(
83        desc:= [ 111003, 302009, 212002 ],
84        fp:= [ 18, 414 ],
85        next:= [ 106490, 106500 ] ) ] ), rec(
86      desc:= [ 106003 ],
87      fp:= [ 216, 612 ],
88      next:= [ 106499, 106491 ] ), rec(
89      desc:= [ 106003 ],
90      fp:= [ 216, 612 ],
91      next:= [ 106495, rec(
92        desc:= [ 302009, 206002 ],
93        fp:= [ 22, 418 ],
94        next:= [ 106503, 106501 ] ) ] ) ] ), rec(
95    fp:= [ 169, 170, 172, 175, 1117 ],
96    next:= [ rec(
97      fp:= [ 28396, 44978 ],
98      level:= 5,
99      next:= [ 110250, 110241 ] ), rec(
100      desc:= [ 302008, 302011, 111003, 302010, 302012, 214002, 302015,
10140210013 ],
102      fp:= [ 5, 2961 ],
103      next:= [ 110249, 110245 ] ), rec(
104      desc:= [ 302009, 109003, 302008, 302010, 213002, 302014, 305014,
105212005, 40209013 ],
106      fp:= [ 5, 2961 ],
107      next:= [ 110246, 110252 ] ), rec(
108      desc:= [ 302009, 109003, 302008, 302010, 212002, 302013, 215002,
109305015, 212005, 40309013 ],
110      fp:= [ 1, 7681 ],
111      next:= [ 110242, 110244 ] ), rec(
112      fp:= [ 55476, 93513 ],
113      level:= 5,
114      next:= [ 110240, 110253 ] ) ] ), rec(
115    fp:= [ 168, 169, 171, 174 ],
116    next:= [ rec(
117      desc:= [ 105003 ],
118      fp:= [ 818, 1214 ],
119      next:= [ 114552, 114557 ] ), rec(
120      desc:= [ 302008, 207002 ],
121      fp:= [ 422, 818 ],
122      next:= [ 114560, 114559 ] ), rec(
123      desc:= [ 302006 ],
124      fp:= [ 1264, 36860 ],
125      next:= [ 114558, 114561 ] ), rec(
126      desc:= [ 105003 ],
127      fp:= [ 8, 414 ],
128      next:= [ 114551, 114562 ] ) ] ), rec(
129    fp:= [ 168, 175, 177, 178 ],
130    next:= [ rec(
131      desc:= [ 302004 ],
132      fp:= [ 1264, 36860 ],
133      next:= [ 118742, rec(
134        desc:= [ 106003 ],
135        fp:= [ 16, 1214 ],
136        next:= [ 118743, 118733 ] ) ] ), rec(
137      desc:= [ 105003 ],
138      fp:= [ 218, 614 ],
139      next:= [ 118746, rec(
140        desc:= [ 302007 ],
141        fp:= [ 1584, 69500 ],
142        next:= [ 118738, 118744 ] ) ] ), rec(
143      desc:= [ 104003 ],
144      fp:= [ 8, 414 ],
145      next:= [ 118737, 118732 ] ), rec(
146      desc:= [ 302006 ],
147      fp:= [ 1584, 69500 ],
148      next:= [ 118741, 118734 ] ) ] ), rec(
149    fp:= [ 165, 172, 1117 ],
150    next:= [ rec(
151      desc:= [ 107003 ],
152      fp:= [ 414, 612 ],
153      next:= [ 122813, 122821 ] ), rec(
154      fp:= [ 53724, 68030 ],
155      level:= 5,
156      next:= [ rec(
157        desc:= [ 302009 ],
158        fp:= [ 49700, 59501 ],
159        next:= [ 122824, rec(
160          desc:= [ 109003, 302008, 302010, 212002, 302013, 40208011 ],
161          fp:= [ 6, 3061 ],
162          next:= [ 122816, 122820 ] ) ] ), 122817 ] ), rec(
163      fp:= [ 53724, 68030 ],
164      level:= 5,
165      next:= [ 122812, 122825 ] ) ] ), rec(
166    fp:= [ 171, 173 ],
167    next:= [ rec(
168      desc:= [ 105003 ],
169      fp:= [ 418, 814 ],
170      next:= [ 126965, 126960 ] ), rec(
171      desc:= [ 106003 ],
172      fp:= [ 418, 814 ],
173      next:= [ 126962, 126961 ] ) ] ), rec(
174    fp:= [ 168, 173, 174, 177 ],
175    next:= [ rec(
176      desc:= [ 105003 ],
177      fp:= [ 216, 414 ],
178      next:= [ 131031, 131029 ] ), rec(
179      desc:= [ 105003 ],
180      fp:= [ 418, 616, 814 ],
181      next:= [ 131032, 131022, 131028 ] ), rec(
182      desc:= [ 302007 ],
183      fp:= [ 1386, 49700, 59501 ],
184      next:= [ 131025, rec(
185        desc:= [ 107003 ],
186        fp:= [ 616, 814 ],
187        next:= [ 131027, 131024 ] ), 131026 ] ), rec(
188      desc:= [ 302007 ],
189      fp:= [ 49700, 59501 ],
190      next:= [ rec(
191        desc:= [ 107003 ],
192        fp:= [ 418, 616 ],
193        next:= [ 131033, 131034 ] ), 131035 ] ) ] ), rec(
194    fp:= [ 173, 174, 175 ],
195    next:= [ rec(
196      desc:= [ 104003 ],
197      fp:= [ 816, 1014 ],
198      next:= [ 134662, rec(
199        desc:= [ 302004, 208002 ],
200        fp:= [ 224, 422 ],
201        next:= [ 134666, 134661 ] ) ] ), rec(
202      desc:= [ 302005 ],
203      fp:= [ 1188, 29900, 39701, 40280 ],
204      next:= [ 134660, rec(
205        desc:= [ 206002 ],
206        fp:= [ 420, 618 ],
207        next:= [ 134664, 134672 ] ), 134670, 134659 ] ), rec(
208      desc:= [ 302005 ],
209      fp:= [ 29900, 39701, 40280 ],
210      next:= [ rec(
211        desc:= [ 106003, 206002 ],
212        fp:= [ 418, 616 ],
213        next:= [ 134668, 134663 ] ), rec(
214        desc:= [ 106003, 206002 ],
215        fp:= [ 218, 416 ],
216        next:= [ 134658, 134667 ] ), 134671 ] ) ] ), rec(
217    fp:= [ 208 ],
218    next:= [ rec(
219      fp:= [ 69651, 82905 ],
220      level:= 5,
221      next:= [ 139145, 139136 ] ) ] ), rec(
222    fp:= [ 388 ],
223    next:= [ rec(
224      desc:= [ 117003 ],
225      fp:= [ 2, 12 ],
226      next:= [ 151511, 151507 ] ) ] ), rec(
227    fp:= [ 307 ],
228    next:= [ rec(
229      fp:= [ 29726, 79967 ],
230      level:= 5,
231      next:= [ 161925, 161926 ] ) ] ), rec(
232    fp:= [ 1622 ],
233    next:= [ rec(
234      desc:= [ 107003 ],
235      fp:= [ 4, 14 ],
236      next:= [ 170479, 170483 ] ) ] ), rec(
237    fp:= [ 466 ],
238    next:= [ rec(
239      desc:= [ 111003 ],
240      fp:= [ 8, 18 ],
241      next:= [ 173025, 173021 ] ) ] ), rec(
242    fp:= [ 598, 608 ],
243    next:= [ rec(
244      fp:= [ 3176, 75099 ],
245      level:= 5,
246      next:= [ 175424, 175428 ] ), rec(
247      fp:= [ 8939, 38535 ],
248      level:= 5,
249      next:= [ 175436, 175432 ] ) ] ), rec(
250    fp:= [ 583 ],
251    next:= [ rec(
252      fp:= [ 37295, 43083 ],
253      level:= 5,
254      next:= [ 181058, 181057 ] ) ] ), rec(
255    fp:= [ 648, 656 ],
256    next:= [ rec(
257      fp:= [ 57710, 73361 ],
258      level:= 5,
259      next:= [ 184476, 184483 ] ), rec(
260      fp:= [ 63946, 79781 ],
261      level:= 5,
262      next:= [ rec(
263        desc:= [ 306012 ],
264        fp:= [ 286, 48362 ],
265        next:= [ 184482, 184470 ] ), 184484 ] ) ] ), rec(
266    fp:= [ 587 ],
267    next:= [ rec(
268      fp:= [ 89224, 96653 ],
269      level:= 5,
270      next:= [ 187825, 187828 ] ) ] ), rec(
271    fp:= [ 478, 503, 648, 649 ],
272    next:= [ rec(
273      desc:= [ 302008, 217003 ],
274      fp:= [ 8, 18 ],
275      next:= [ 195142, 195138 ] ), rec(
276      fp:= [ 6367, 11196 ],
277      level:= 5,
278      next:= [ 195136, rec(
279        desc:= [ 302007 ],
280        fp:= [ 544, 982 ],
281        next:= [ 195144, 195147 ] ) ] ), rec(
282      fp:= [ 6367, 11196 ],
283      level:= 5,
284      next:= [ rec(
285        desc:= [ 302005 ],
286        fp:= [ 384, 662 ],
287        next:= [ 195139, 195148 ] ), 195145 ] ), rec(
288      fp:= [ 50723, 97215 ],
289      level:= 5,
290      next:= [ rec(
291        desc:= [ 304009 ],
292        fp:= [ 286, 48362 ],
293        next:= [ 195137, 195149 ] ), rec(
294        desc:= [ 107003 ],
295        fp:= [ 8, 612 ],
296        next:= [ 195141, rec(
297          desc:= [ 302007 ],
298          fp:= [ 643, 74581 ],
299          next:= [ 195140, 195135 ] ) ] ) ] ) ] ), rec(
300    fp:= [ 787 ],
301    next:= [ rec(
302      desc:= [ 115003 ],
303      fp:= [ 4, 14 ],
304      next:= [ 211634, 211626 ] ) ] ), rec(
305    fp:= [ 797 ],
306    next:= [ rec(
307      desc:= [ 107003 ],
308      fp:= [ 2, 12 ],
309      next:= [ 226896, 226890 ] ) ] ), rec(
310    fp:= [ 651, 791 ],
311    next:= [ rec(
312      desc:= [ 107003 ],
313      fp:= [ 15, 213 ],
314      next:= [ 239826, 239818 ] ), rec(
315      desc:= [ 107003 ],
316      fp:= [ 17, 215 ],
317      next:= [ 239814, 239812 ] ) ] ), rec(
318    fp:= [ 586, 651 ],
319    next:= [ rec(
320      desc:= [ 302011 ],
321      fp:= [ 54583, 80757 ],
322      next:= [ 248794, 248792 ] ), rec(
323      fp:= [ 26007, 63010 ],
324      level:= 5,
325      next:= [ 248799, 248797 ] ) ] ), rec(
326    fp:= [ 666 ],
327    next:= [ rec(
328      fp:= [ 23608, 32977 ],
329      level:= 5,
330      next:= [ 256517, 256521 ] ) ] ), rec(
331    fp:= [ 609 ],
332    next:= [ rec(
333      desc:= [ 114003 ],
334      fp:= [ 4, 14 ],
335      next:= [ 274547, 274539 ] ) ] ), rec(
336    fp:= [ 732, 1728 ],
337    next:= [ rec(
338      fp:= [ 9074, 98729 ],
339      level:= 5,
340      next:= [ 284468, 284480 ] ), rec(
341      fp:= [ 59104, 80701 ],
342      level:= 5,
343      next:= [ 284471, 284475 ] ) ] ), rec(
344    fp:= [ 665, 800 ],
345    next:= [ rec(
346      desc:= [ 302009 ],
347      fp:= [ 883, 99061 ],
348      next:= [ 306104, 306102 ] ), rec(
349      fp:= [ 10849, 60010 ],
350      level:= 5,
351      next:= [ rec(
352        desc:= [ 106003 ],
353        fp:= [ 4, 14 ],
354        next:= [ 306100, 306106 ] ), 306113 ] ) ] ), rec(
355    fp:= [ 596 ],
356    next:= [ rec(
357      desc:= [ 114003 ],
358      fp:= [ 4, 14 ],
359      next:= [ 314699, 314703 ] ) ] ), rec(
360    fp:= [ 1019, 1122 ],
361    next:= [ rec(
362      fp:= [ 74026, 80343, 86301, 86730 ],
363      level:= 5,
364      next:= [ 337305, 337304, 337313, 337310 ] ), rec(
365      fp:= [ 4237, 99245 ],
366      level:= 5,
367      next:= [ 337307, 337299 ] ) ] ), rec(
368    fp:= [ 1082, 1083, 1238 ],
369    next:= [ rec(
370      desc:= [ 302007 ],
371      fp:= [ 18316, 39764, 83738 ],
372      next:= [ 360106, 360118, rec(
373        desc:= [ 208002 ],
374        fp:= [ 616, 814 ],
375        next:= [ 360114, 360108 ] ) ] ), rec(
376      desc:= [ 105003 ],
377      fp:= [ 22, 1012 ],
378      next:= [ 360110, 360116 ] ), rec(
379      desc:= [ 105003 ],
380      fp:= [ 818, 1016 ],
381      next:= [ 360115, 360117 ] ) ] ), rec(
382    fp:= [ 1242 ],
383    next:= [ rec(
384      desc:= [ 110003 ],
385      fp:= [ 14, 1212 ],
386      next:= [ 366275, 366274 ] ) ] ), rec(
387    fp:= [ 1269 ],
388    next:= [ rec(
389      fp:= [ 2347, 76682 ],
390      level:= 5,
391      next:= [ 372932, 372941 ] ) ] ), rec(
392    fp:= [ 1067, 1362 ],
393    next:= [ rec(
394      desc:= [ 302015, 213002 ],
395      fp:= [ 8, 414 ],
396      next:= [ 377643, 377659 ] ), rec(
397      desc:= [ 302010, 115005, 302009, 212002, 212003, 212004, 304013,
398308020, 40508009 ],
399      fp:= [ 1, 641 ],
400      next:= [ 377651, 377667 ] ) ] ), rec(
401    fp:= [ 1440, 1502 ],
402    next:= [ rec(
403      desc:= [ 106003 ],
404      fp:= [ 214, 412 ],
405      next:= [ 386036, 386032 ] ), rec(
406      fp:= [ 9896, 39675 ],
407      level:= 5,
408      next:= [ 386044, 386046 ] ) ] ), rec(
409    fp:= [ 1150, 1212 ],
410    next:= [ rec(
411      fp:= [ 35589, 53045 ],
412      level:= 5,
413      next:= [ 414135, 414124 ] ), rec(
414      fp:= [ 14469, 77987 ],
415      level:= 5,
416      next:= [ 414151, 414140 ] ) ] ), rec(
417    fp:= [ 1065, 1286, 1380, 1408 ],
418    next:= [ rec(
419      desc:= [ 302011 ],
420      fp:= [ 54781, 98821 ],
421      next:= [ 431832, 431840 ] ), rec(
422      fp:= [ 6243, 64182 ],
423      level:= 5,
424      next:= [ 431836, 431839 ] ), rec(
425      desc:= [ 302012 ],
426      fp:= [ 44683, 54922 ],
427      next:= [ 431848, 431856 ] ), rec(
428      desc:= [ 302007 ],
429      fp:= [ 38362, 42613 ],
430      next:= [ 431838, 431858 ] ) ] ), rec(
431    fp:= [ 1032, 1139 ],
432    next:= [ rec(
433      fp:= [ 40712, 95268 ],
434      level:= 5,
435      next:= [ 459787, 459791 ] ), rec(
436      fp:= [ 41829, 93891 ],
437      level:= 5,
438      next:= [ 459797, 459781 ] ) ] ), rec(
439    fp:= [ 1242 ],
440    next:= [ rec(
441      desc:= [ 302009 ],
442      fp:= [ 285, 38461 ],
443      next:= [ 468200, 468193 ] ) ] ), rec(
444    fp:= [ 1242, 1301 ],
445    next:= [ rec(
446      desc:= [ 302009 ],
447      fp:= [ 54823, 83738 ],
448      next:= [ 476905, rec(
449        desc:= [ 209002 ],
450        fp:= [ 8, 612 ],
451        next:= [ 476921, 476909 ] ) ] ), rec(
452      desc:= [ 302009 ],
453      fp:= [ 34783, 83837 ],
454      next:= [ rec(
455        desc:= [ 208002 ],
456        fp:= [ 414, 612 ],
457        next:= [ 476917, 476913 ] ), 476897 ] ) ] ), rec(
458    fp:= [ 1310 ],
459    next:= [ rec(
460      desc:= [ 302008 ],
461      fp:= [ 483, 58261 ],
462      next:= [ 486173, 486169 ] ) ] ), rec(
463    fp:= [ 1435 ],
464    next:= [ rec(
465      fp:= [ 6347, 8832 ],
466      level:= 5,
467      next:= [ 495370, 495350 ] ) ] ), rec(
468    fp:= [ 1198, 1260 ],
469    next:= [ rec(
470      desc:= [ 302007 ],
471      fp:= [ 483, 58261 ],
472      next:= [ 504109, 504121 ] ), rec(
473      fp:= [ 36229, 88263 ],
474      level:= 5,
475      next:= [ 504115, 504116 ] ) ] ), rec(
476    fp:= [ 1382 ],
477    next:= [ rec(
478      fp:= [ 66148, 70309 ],
479      level:= 5,
480      next:= [ 513283, 513284 ] ) ] ), rec(
481    fp:= [ 1433 ],
482    next:= [ rec(
483      desc:= [ 107003 ],
484      fp:= [ 214, 412 ],
485      next:= [ 521862, 521850 ] ) ] ), rec(
486    fp:= [ 1152 ],
487    next:= [ rec(
488      fp:= [ 30399, 97148 ],
489      level:= 5,
490      next:= [ 529994, 529982 ] ) ] ), rec(
491    fp:= [ 1222, 1244 ],
492    next:= [ rec(
493      desc:= [ 107003 ],
494      fp:= [ 8, 216 ],
495      next:= [ 536652, 536649 ] ), rec(
496      fp:= [ 32405, 53433 ],
497      level:= 5,
498      next:= [ 536640, 536636 ] ) ] ), rec(
499    fp:= [ 1070, 1416 ],
500    next:= [ rec(
501      fp:= [ 11608, 63135 ],
502      level:= 5,
503      next:= [ 552457, 552435 ] ), rec(
504      fp:= [ 10405, 49074 ],
505      level:= 5,
506      next:= [ 552442, 552450 ] ) ] ), rec(
507    fp:= [ 1070, 1212, 1263 ],
508    next:= [ rec(
509      desc:= [ 108003 ],
510      fp:= [ 816, 1014 ],
511      next:= [ 561265, 561259 ] ), rec(
512      fp:= [ 39975, 57049 ],
513      level:= 5,
514      next:= [ 561261, 561254 ] ), rec(
515      desc:= [ 116011 ],
516      fp:= [ 8, 414 ],
517      next:= [ 561244, 561262 ] ) ] ), rec(
518    fp:= [ 1085, 1189, 1435, 1488 ],
519    next:= [ rec(
520      desc:= [ 108003 ],
521      fp:= [ 1214, 1412 ],
522      next:= [ 570193, 570187 ] ), rec(
523      fp:= [ 3873, 36577, 56347 ],
524      level:= 5,
525      next:= [ 570196, 570181, 570173 ] ), rec(
526      desc:= [ 107003 ],
527      fp:= [ 614, 812 ],
528      next:= [ 570176, 570174 ] ), rec(
529      desc:= [ 107003 ],
530      fp:= [ 814, 1012 ],
531      next:= [ 570198, 570184 ] ) ] ), rec(
532    fp:= [ 1263, 1510 ],
533    next:= [ rec(
534      fp:= [ 5866, 62979 ],
535      level:= 5,
536      next:= [ 588508, 588507 ] ), rec(
537      desc:= [ 302010, 210002 ],
538      fp:= [ 416, 614 ],
539      next:= [ 588490, 588496 ] ) ] ), rec(
540    fp:= [ 1140, 1160 ],
541    next:= [ rec(
542      fp:= [ 24090, 95145 ],
543      level:= 5,
544      next:= [ 597462, 597444 ] ), rec(
545      fp:= [ 753, 45590 ],
546      level:= 5,
547      next:= [ 597446, 597449 ] ) ] ), rec(
548    fp:= [ 1208, 1410 ],
549    next:= [ rec(
550      desc:= [ 302009 ],
551      fp:= [ 483, 58261 ],
552      next:= [ 610380, 610366 ] ), rec(
553      desc:= [ 302011, 218002 ],
554      fp:= [ 10, 812 ],
555      next:= [ 610357, 610365 ] ) ] ), rec(
556    fp:= [ 1139, 1160, 1196, 1403, 1443 ],
557    next:= [ rec(
558      fp:= [ 11794, 24952, 40114 ],
559      level:= 5,
560      next:= [ 633447, 633444, 633440 ] ), rec(
561      desc:= [ 115011 ],
562      fp:= [ 8, 414 ],
563      next:= [ 633441, 633466 ] ), rec(
564      fp:= [ 58789, 78996 ],
565      level:= 5,
566      next:= [ 633442, 633462 ] ), rec(
567      desc:= [ 108003 ],
568      fp:= [ 16, 214 ],
569      next:= [ 633458, 633446 ] ), rec(
570      fp:= [ 17348, 51177 ],
571      level:= 5,
572      next:= [ 633468, 633445 ] ) ] ), rec(
573    fp:= [ 1205, 1319 ],
574    next:= [ rec(
575      desc:= [ 302006 ],
576      fp:= [ 38362, 42613 ],
577      next:= [ 642289, 642303 ] ), rec(
578      desc:= [ 106003 ],
579      fp:= [ 418, 616 ],
580      next:= [ 642295, 642304 ] ) ] ), rec(
581    fp:= [ 1260, 1262, 1499, 1508, 1534 ],
582    next:= [ rec(
583      desc:= [ 110011 ],
584      fp:= [ 8, 414 ],
585      next:= [ 659700, 659724 ] ), rec(
586      desc:= [ 105003 ],
587      fp:= [ 814, 1012 ],
588      next:= [ 659712, 659707 ] ), rec(
589      desc:= [ 302006 ],
590      fp:= [ 18364, 52543 ],
591      next:= [ 659714, 659727 ] ), rec(
592      desc:= [ 302005 ],
593      fp:= [ 285, 48262 ],
594      next:= [ 659716, 659708 ] ), rec(
595      desc:= [ 105003 ],
596      fp:= [ 416, 614 ],
597      next:= [ 659703, 659711 ] ) ] ), rec(
598    fp:= [ 1342 ],
599    next:= [ rec(
600      desc:= [ 107003 ],
601      fp:= [ 418, 814 ],
602      next:= [ 668788, 668797 ] ) ] ), rec(
603    fp:= [ 1148 ],
604    next:= [ rec(
605      fp:= [ 16109, 83159 ],
606      level:= 5,
607      next:= [ 677181, 677187 ] ) ] ), rec(
608    fp:= [ 1160, 1188, 1275, 1405, 1488 ],
609    next:= [ rec(
610      desc:= [ 107003 ],
611      fp:= [ 416, 614 ],
612      next:= [ 686313, 686295 ] ), rec(
613      fp:= [ 28670, 79171 ],
614      level:= 5,
615      next:= [ 686297, 686294 ] ), rec(
616      fp:= [ 28319, 60930 ],
617      level:= 5,
618      next:= [ 686308, 686289 ] ), rec(
619      desc:= [ 302010 ],
620      fp:= [ 54583, 87127 ],
621      next:= [ 686309, rec(
622        desc:= [ 214002 ],
623        fp:= [ 215, 314, 512 ],
624        next:= [ 686318, 686292, 686317 ] ) ] ), rec(
625      desc:= [ 107003 ],
626      fp:= [ 614, 812 ],
627      next:= [ 686288, 686306 ] ) ] ), rec(
628    fp:= [ 1488 ],
629    next:= [ rec(
630      desc:= [ 107003 ],
631      fp:= [ 414, 612 ],
632      next:= [ 695553, 695570 ] ) ] ), rec(
633    fp:= [ 1485 ],
634    next:= [ rec(
635      desc:= [ 302008 ],
636      fp:= [ 34882, 87367, 93737 ],
637      next:= [ 713840, 713820, 713829 ] ) ] ), rec(
638    fp:= [ 1151, 1225, 1237, 1247, 1322, 1387 ],
639    next:= [ rec(
640      desc:= [ 302005 ],
641      fp:= [ 48441, 66341 ],
642      next:= [ 723098, 723094 ] ), rec(
643      desc:= [ 302007 ],
644      fp:= [ 18562, 28363 ],
645      next:= [ 723109, 723101 ] ), rec(
646      desc:= [ 302006 ],
647      fp:= [ 28561, 38362 ],
648      next:= [ 723100, 723112 ] ), rec(
649      desc:= [ 302006 ],
650      fp:= [ 28561, 38362 ],
651      next:= [ 723117, 723104 ] ), rec(
652      desc:= [ 302006 ],
653      fp:= [ 18562, 28363 ],
654      next:= [ 723102, 723115 ] ), rec(
655      desc:= [ 105003 ],
656      fp:= [ 614, 812 ],
657      next:= [ 723119, 723103 ] ) ] ), rec(
658    fp:= [ 1143 ],
659    next:= [ rec(
660      desc:= [ 107003 ],
661      fp:= [ 216, 612 ],
662      next:= [ 732157, 732142 ] ) ] ), rec(
663    fp:= [ 1250, 1285, 1441 ],
664    next:= [ rec(
665      fp:= [ 26229, 28862 ],
666      level:= 5,
667      next:= [ 741388, 741393 ] ), rec(
668      desc:= [ 107003 ],
669      fp:= [ 814, 1012 ],
670      next:= [ 741377, 741391 ] ), rec(
671      desc:= [ 302008 ],
672      fp:= [ 18661, 28462 ],
673      next:= [ 741394, 741389 ] ) ] ), rec(
674    fp:= [ 1261, 1337, 1490, 1499 ],
675    next:= [ rec(
676      desc:= [ 105003 ],
677      fp:= [ 816, 1014 ],
678      next:= [ 750433, 750432 ] ), rec(
679      desc:= [ 105003 ],
680      fp:= [ 816, 1014 ],
681      next:= [ 750436, 750417 ] ), rec(
682      desc:= [ 105003 ],
683      fp:= [ 416, 614, 812 ],
684      next:= [ 750446, 750437, 750440 ] ), rec(
685      desc:= [ 302005 ],
686      fp:= [ 285, 48262 ],
687      next:= [ 750416, 750434 ] ) ] ), rec(
688    fp:= [ 1246, 1317, 1322, 1326, 1387 ],
689    next:= [ rec(
690      desc:= [ 105003 ],
691      fp:= [ 1014, 1212 ],
692      next:= [ 759693, 759669 ] ), rec(
693      desc:= [ 105003 ],
694      fp:= [ 816, 1014 ],
695      next:= [ 759674, 759677 ] ), rec(
696      desc:= [ 105003 ],
697      fp:= [ 618, 816 ],
698      next:= [ 759682, 759685 ] ), rec(
699      desc:= [ 105003 ],
700      fp:= [ 816, 1014 ],
701      next:= [ 759670, 759680 ] ), rec(
702      desc:= [ 110011 ],
703      fp:= [ 4, 14 ],
704      next:= [ 759679, 759695 ] ) ] ), rec(
705    fp:= [ 1220, 1221, 1432 ],
706    next:= [ rec(
707      desc:= [ 302008 ],
708      fp:= [ 28561, 38362 ],
709      next:= [ 768578, 768592 ] ), rec(
710      desc:= [ 302007 ],
711      fp:= [ 18661, 28462 ],
712      next:= [ 768580, 768582 ] ), rec(
713      desc:= [ 302008 ],
714      fp:= [ 384, 48361 ],
715      next:= [ 768585, 768576 ] ) ] ), rec(
716    fp:= [ 1343, 1426, 1450 ],
717    next:= [ rec(
718      desc:= [ 107003 ],
719      fp:= [ 618, 816 ],
720      next:= [ 777322, 777318 ] ), rec(
721      desc:= [ 302009 ],
722      fp:= [ 34882, 35221 ],
723      next:= [ 777337, 777332 ] ), rec(
724      desc:= [ 107003 ],
725      fp:= [ 216, 414 ],
726      next:= [ 777330, 777326 ] ) ] ), rec(
727    fp:= [ 1180, 1190, 1263, 1327 ],
728    next:= [ rec(
729      desc:= [ 302006 ],
730      fp:= [ 38263, 56441 ],
731      next:= [ 786271, 786249 ] ), rec(
732      desc:= [ 302006 ],
733      fp:= [ 28462, 49223 ],
734      next:= [ 786265, 786255 ] ), rec(
735      desc:= [ 113011 ],
736      fp:= [ 8, 18, 414 ],
737      next:= [ 786254, 786273, 786257 ] ), rec(
738      desc:= [ 113011 ],
739      fp:= [ 8, 414 ],
740      next:= [ 786268, 786260 ] ) ] ), rec(
741    fp:= [ 1196, 1202, 1440 ],
742    next:= [ rec(
743      fp:= [ 79818, 87072 ],
744      level:= 5,
745      next:= [ 795176, 795172 ] ), rec(
746      fp:= [ 21811, 93506 ],
747      level:= 5,
748      next:= [ 795161, 795177 ] ), rec(
749      fp:= [ 47815, 65735 ],
750      level:= 5,
751      next:= [ 795181, 795184 ] ) ] ), rec(
752    fp:= [ 1265, 1328, 1499, 1515 ],
753    next:= [ rec(
754      desc:= [ 105003 ],
755      fp:= [ 1014, 1212 ],
756      next:= [ 803733, 803746 ] ), rec(
757      desc:= [ 111011 ],
758      fp:= [ 8, 414 ],
759      next:= [ 803749, 803734 ] ), rec(
760      desc:= [ 105003 ],
761      fp:= [ 614, 812 ],
762      next:= [ 803732, 803760 ] ), rec(
763      desc:= [ 105003 ],
764      fp:= [ 614, 812 ],
765      next:= [ 803756, 803737 ] ) ] ), rec(
766    fp:= [ 1170, 1212, 1225, 1358, 1563, 1568, 1570 ],
767    next:= [ rec(
768      desc:= [ 106003 ],
769      fp:= [ 4, 212 ],
770      next:= [ 809593, 809621 ] ), rec(
771      desc:= [ 113011 ],
772      fp:= [ 4, 14 ],
773      next:= [ 809595, 809611 ] ), rec(
774      desc:= [ 106003 ],
775      fp:= [ 4, 212 ],
776      next:= [ 809609, 809605 ] ), rec(
777      desc:= [ 302008, 110003, 210003 ],
778      fp:= [ 214, 412 ],
779      next:= [ 809599, 809615 ] ), rec(
780      desc:= [ 302010 ],
781      fp:= [ 78823, 90687 ],
782      next:= [ 809610, 809616 ] ), rec(
783      desc:= [ 302010 ],
784      fp:= [ 73838, 84317 ],
785      next:= [ 809594, 809604 ] ), rec(
786      desc:= [ 302008 ],
787      fp:= [ 42803, 49333, 59313 ],
788      next:= [ 809600, 809620, 809606 ] ) ] ), rec(
789    fp:= [ 1559, 1568 ],
790    next:= [ rec(
791      desc:= [ 302011 ],
792      fp:= [ 78823, 84317 ],
793      next:= [ 818486, rec(
794        desc:= [ 212002 ],
795        fp:= [ 914, 1112 ],
796        next:= [ 818498, 818502 ] ) ] ), rec(
797      desc:= [ 302009, 304011, 40408009 ],
798      fp:= [ 1, 1921 ],
799      next:= [ 818492, 818508 ] ) ] ), rec(
800    fp:= [ 1443, 1464, 1482 ],
801    next:= [ rec(
802      fp:= [ 27976, 94863 ],
803      level:= 5,
804      next:= [ 833835, 833845 ] ), rec(
805      desc:= [ 302008, 214002 ],
806      fp:= [ 614, 812 ],
807      next:= [ 833861, 833852 ] ), rec(
808      fp:= [ 23115, 76404 ],
809      level:= 5,
810      next:= [ 833842, 833856 ] ) ] ), rec(
811    fp:= [ 1160, 1175, 1403, 1423 ],
812    next:= [ rec(
813      fp:= [ 1136, 8390 ],
814      level:= 5,
815      next:= [ 842307, 842305 ] ), rec(
816      fp:= [ 8606, 74618 ],
817      level:= 5,
818      next:= [ 842312, 842306 ] ), rec(
819      fp:= [ 55924, 96280 ],
820      level:= 5,
821      next:= [ 842302, rec(
822        desc:= [ 108003 ],
823        fp:= [ 14, 212 ],
824        next:= [ 842325, 842322 ] ) ] ), rec(
825      fp:= [ 42196, 89123 ],
826      level:= 5,
827      next:= [ 842308, 842309 ] ) ] ), rec(
828    fp:= [ 1286, 1417 ],
829    next:= [ rec(
830      desc:= [ 302007 ],
831      fp:= [ 38263, 49223 ],
832      next:= [ 851417, 851407 ] ), rec(
833      desc:= [ 302007 ],
834      fp:= [ 18562, 39323, 55833 ],
835      next:= [ 851423, 851398, 851420 ] ) ] ), rec(
836    fp:= [ 1427 ],
837    next:= [ rec(
838      fp:= [ 23115, 76404 ],
839      level:= 5,
840      next:= [ 860528, 860527 ] ) ] ), rec(
841    fp:= [ 1385, 1536, 1556 ],
842    next:= [ rec(
843      fp:= [ 68675, 71308 ],
844      level:= 5,
845      next:= [ 869796, 869793 ] ), rec(
846      desc:= [ 107003 ],
847      fp:= [ 4, 212 ],
848      next:= [ 869784, 869797 ] ), rec(
849      fp:= [ 7965, 29595 ],
850      level:= 5,
851      next:= [ 869798, 869790 ] ) ] ), rec(
852    fp:= [ 1489, 1491 ],
853    next:= [ rec(
854      fp:= [ 33472, 66246 ],
855      level:= 5,
856      next:= [ 879051, 879047 ] ), rec(
857      desc:= [ 302009 ],
858      fp:= [ 643, 74581 ],
859      next:= [ 879049, 879025 ] ) ] ), rec(
860    fp:= [ 1452 ],
861    next:= [ rec(
862      fp:= [ 44544, 54525 ],
863      level:= 5,
864      next:= [ 888224, 888205 ] ) ] ), rec(
865    fp:= [ 1505 ],
866    next:= [ rec(
867      desc:= [ 106003 ],
868      fp:= [ 214, 412 ],
869      next:= [ 897480, 897487 ] ) ] ), rec(
870    fp:= [ 1387, 1479, 1490, 1494, 1525, 1563 ],
871    next:= [ rec(
872      desc:= [ 302005 ],
873      fp:= [ 483, 58261 ],
874      next:= [ 906640, 906656 ] ), rec(
875      desc:= [ 302005 ],
876      fp:= [ 483, 58261 ],
877      next:= [ 906649, 906665 ] ), rec(
878      desc:= [ 105003 ],
879      fp:= [ 6, 412 ],
880      next:= [ 906648, 906660 ] ), rec(
881      desc:= [ 302006 ],
882      fp:= [ 42544, 62249 ],
883      next:= [ 906644, 906639 ] ), rec(
884      desc:= [ 105003 ],
885      fp:= [ 6, 412 ],
886      next:= [ 906642, 906662 ] ), rec(
887      desc:= [ 302007 ],
888      fp:= [ 44881, 54682 ],
889      next:= [ 906658, 906650 ] ) ] ), rec(
890    fp:= [ 1225, 1399, 1508, 1571 ],
891    next:= [ rec(
892      desc:= [ 302006 ],
893      fp:= [ 384, 48361 ],
894      next:= [ 915891, 915899 ] ), rec(
895      desc:= [ 302008 ],
896      fp:= [ 544, 64681 ],
897      next:= [ 915897, 915884 ] ), rec(
898      desc:= [ 302008 ],
899      fp:= [ 643, 74581 ],
900      next:= [ 915911, 915904 ] ), rec(
901      desc:= [ 302007 ],
902      fp:= [ 32545, 58959 ],
903      next:= [ 915894, 915902 ] ) ] ), rec(
904    fp:= [ 1420, 1493 ],
905    next:= [ rec(
906      desc:= [ 302007 ],
907      fp:= [ 582, 761 ],
908      next:= [ 925173, 925152 ] ), rec(
909      desc:= [ 302010 ],
910      fp:= [ 73937, 83738 ],
911      next:= [ 925170, 925167 ] ) ] ), rec(
912    fp:= [ 1566 ],
913    next:= [ rec(
914      desc:= [ 302008 ],
915      fp:= [ 35701, 84077 ],
916      next:= [ 934169, 934175 ] ) ] ), rec(
917    fp:= [ 1398, 1451, 1504, 1523, 1568 ],
918    next:= [ rec(
919      desc:= [ 110011 ],
920      fp:= [ 4, 14 ],
921      next:= [ 943271, 943258 ] ), rec(
922      desc:= [ 105003 ],
923      fp:= [ 16, 412 ],
924      next:= [ 943278, 943259 ] ), rec(
925      desc:= [ 302006 ],
926      fp:= [ 35934, 42643 ],
927      next:= [ 943275, 943262 ] ), rec(
928      desc:= [ 302006 ],
929      fp:= [ 36193, 52703, 62249 ],
930      next:= [ 943260, 943277, 943282 ] ), rec(
931      desc:= [ 302007 ],
932      fp:= [ 44881, 55021 ],
933      next:= [ 943268, 943276 ] ) ] ), rec(
934    fp:= [ 1419, 1432, 1469, 1546 ],
935    next:= [ rec(
936      fp:= [ 23115, 76404 ],
937      level:= 5,
938      next:= [ 952422, 952419 ] ), rec(
939      fp:= [ 24922, 77716 ],
940      level:= 5,
941      next:= [ 952441, 952440 ] ), rec(
942      fp:= [ 24922, 77716 ],
943      level:= 5,
944      next:= [ 952435, 952438 ] ), rec(
945      fp:= [ 26541, 78345 ],
946      level:= 5,
947      next:= [ 952428, 952446 ] ) ] ), rec(
948    fp:= [ 1428 ],
949    next:= [ rec(
950      fp:= [ 36027, 76323 ],
951      level:= 5,
952      next:= [ 961672, 961651 ] ) ] ), rec(
953    fp:= [ 1483, 1562 ],
954    next:= [ rec(
955      desc:= [ 106003 ],
956      fp:= [ 6, 412 ],
957      next:= [ 979990, 979986 ] ), rec(
958      desc:= [ 106003 ],
959      fp:= [ 2, 12 ],
960      next:= [ 979984, 979976 ] ) ] ), rec(
961    fp:= [ 1191, 1204, 1432, 1535 ],
962    next:= [ rec(
963      fp:= [ 3610, 46770 ],
964      level:= 5,
965      next:= [ 989008, 989011 ] ), rec(
966      desc:= [ 107003 ],
967      fp:= [ 414, 612 ],
968      next:= [ 989001, 988999 ] ), rec(
969      fp:= [ 13749, 66543 ],
970      level:= 5,
971      next:= [ 989004, 989015 ] ), rec(
972      desc:= [ 107003 ],
973      fp:= [ 6, 412 ],
974      next:= [ 989013, 989005 ] ) ] ), rec(
975    fp:= [ 1252, 1260, 1387, 1494, 1499, 1506, 1523, 1526, 1565 ],
976    next:= [ rec(
977      desc:= [ 104003 ],
978      fp:= [ 416, 614 ],
979      next:= [ 998011, 998005 ] ), rec(
980      desc:= [ 104003 ],
981      fp:= [ 416, 614, 812 ],
982      next:= [ 997998, 998007, 998021 ] ), rec(
983      desc:= [ 104003 ],
984      fp:= [ 6, 412 ],
985      next:= [ 998013, 998000 ] ), rec(
986      desc:= [ 104003 ],
987      fp:= [ 6, 214 ],
988      next:= [ 998014, 998004 ] ), rec(
989      desc:= [ 302004 ],
990      fp:= [ 483, 58261 ],
991      next:= [ 998009, 998022 ] ), rec(
992      desc:= [ 104003 ],
993      fp:= [ 214, 412 ],
994      next:= [ 998008, 998017 ] ), rec(
995      desc:= [ 104003 ],
996      fp:= [ 214, 412 ],
997      next:= [ 998001, 998024 ] ), rec(
998      desc:= [ 104003 ],
999      fp:= [ 6, 214, 412 ],
1000      next:= [ 998027, 998025, 997999 ] ), rec(
1001      desc:= [ 104003 ],
1002      fp:= [ 2, 12 ],
1003      next:= [ 998028, 998018 ] ) ] ), rec(
1004    fp:= [ 1406 ],
1005    next:= [ rec(
1006      desc:= [ 302007 ],
1007      fp:= [ 49463, 55993 ],
1008      next:= [ 1006670, 1006677 ] ) ] ), rec(
1009    fp:= [ 1074, 1169, 1212, 1213, 1237 ],
1010    next:= [ rec(
1011      fp:= [ 16994, 40586 ],
1012      level:= 5,
1013      next:= [ 1013541, 1013548 ] ), rec(
1014      fp:= [ 71308, 92615 ],
1015      level:= 5,
1016      next:= [ 1013542, 1013565 ] ), rec(
1017      fp:= [ 62453, 72372 ],
1018      level:= 5,
1019      next:= [ 1013556, 1013566 ] ), rec(
1020      fp:= [ 13896, 69877 ],
1021      level:= 5,
1022      next:= [ 1013553, 1013567 ] ), rec(
1023      fp:= [ 1361, 80653 ],
1024      level:= 5,
1025      next:= [ 1013540, 1013558 ] ) ] ), rec(
1026    fp:= [ 1032, 1159 ],
1027    next:= [ rec(
1028      fp:= [ 18879, 85765 ],
1029      level:= 5,
1030      next:= [ 1020951, 1020947 ] ), rec(
1031      fp:= [ 776, 1035 ],
1032      level:= 5,
1033      next:= [ 1020957, 1020955 ] ) ] ), rec(
1034    fp:= [ 1034, 1092, 1174, 1185, 1237, 1241 ],
1035    next:= [ rec(
1036      desc:= [ 106003 ],
1037      fp:= [ 422, 1214 ],
1038      next:= [ 1028441, 1028429 ] ), rec(
1039      desc:= [ 106003 ],
1040      fp:= [ 424, 820 ],
1041      next:= [ 1028427, 1028443 ] ), rec(
1042      desc:= [ 106003 ],
1043      fp:= [ 416, 812 ],
1044      next:= [ 1028439, 1028431 ] ), rec(
1045      fp:= [ 1122, 50304 ],
1046      level:= 5,
1047      next:= [ 1028432, 1028434 ] ), rec(
1048      desc:= [ 112011 ],
1049      fp:= [ 4, 14 ],
1050      next:= [ 1028437, 1028425 ] ), rec(
1051      fp:= [ 1122, 50304 ],
1052      level:= 5,
1053      next:= [ 1028436, 1028422 ] ) ] ), rec(
1054    fp:= [ 2311 ],
1055    next:= [ rec(
1056      fp:= [ 55047, 77217 ],
1057      level:= 5,
1058      next:= [ 1036978, 1036979 ] ) ] ), rec(
1059    fp:= [ 2224, 2265, 2267, 2273, 2291, 2292, 2296, 2298 ],
1060    next:= [ rec(
1061      desc:= [ 302008, 115005, 115007, 210002, 210003, 310017, 40207010 ],
1062      fp:= [ 5761, 9601 ],
1063      next:= [ 1078897, 1078921 ] ), rec(
1064      fp:= [ 44453, 55919 ],
1065      level:= 5,
1066      next:= [ 1078902, rec(
1067        desc:= [ 40104008 ],
1068        fp:= [ 3841, 5761 ],
1069        next:= [ 1078912, 1078906 ] ) ] ), rec(
1070      fp:= [ 19882, 93599 ],
1071      level:= 5,
1072      next:= [ 1078898, 1078919 ] ), rec(
1073      fp:= [ 23301, 97018 ],
1074      level:= 5,
1075      next:= [ 1078915, 1078899 ] ), rec(
1076      fp:= [ 23301, 97018 ],
1077      level:= 5,
1078      next:= [ 1078920, 1078903 ] ), rec(
1079      fp:= [ 44453, 55919 ],
1080      level:= 5,
1081      next:= [ 1078900, 1078910 ] ), rec(
1082      fp:= [ 2149, 38456 ],
1083      level:= 5,
1084      next:= [ 1078924, 1078926 ] ), rec(
1085      desc:= [ 302010, 215003 ],
1086      fp:= [ 6, 214, 412 ],
1087      next:= [ 1078913, 1078922, 1078896 ] ) ] ) ] );
1088