1#############################################################################
2##
3#W  id8.aec                GAP library of id's             Hans Ulrich Besche
4##
5
6ID_GROUP_TREE.next[8].next[1].next[133]:=
7rec(
8  fp:= [ 3432, 4332, 4632, 5232, 7032, 7632, 7932, 8232, 8532, 8832, 9132,
99432, 9732, 10032, 11532, 12732, 13032, 15132, 15432, 15732, 16332, 19632,
1020232, 20532, 20832, 22632, 22932, 24132, 24432, 25032, 25332, 27132, 27432,
1127732, 29232, 29532, 29832, 30132, 30432, 30732, 32232, 32532, 32832, 33132,
1233432, 34032, 34632, 35232, 35532, 35832, 36132, 36432, 36732, 37032, 37332,
1337632, 37932, 38532, 38832, 39132, 39432, 40332, 40632, 40932, 41232, 41532,
1441832, 42132, 42432, 42732, 43032, 43332, 43632, 43932, 44232, 44532, 44832,
1545132, 45432, 45732, 46332, 46632, 46932, 47232, 47532, 47832, 48132, 48432,
1648732, 49032, 49632, 49932, 50232, 50532, 50832, 51132, 51432, 52032, 52332,
1752632, 53832, 54732, 55332, 55932 ],
18  next:= [ rec(
19    fp:= [ 278 ],
20    next:= [ rec(
21      desc:= [ 112007 ],
22      fp:= [ 4, 14 ],
23      next:= [ 73160, 73161 ] ) ] ), rec(
24    fp:= [ 471 ],
25    next:= [ rec(
26      desc:= [ 105003 ],
27      fp:= [ 22, 814 ],
28      next:= [ 78289, 78288 ] ) ] ), rec(
29    fp:= [ 895 ],
30    next:= [ rec(
31      desc:= [ 118005 ],
32      fp:= [ 8, 18 ],
33      next:= [ 79540, 79538 ] ) ] ), rec(
34    fp:= [ 76, 340 ],
35    next:= [ rec(
36      desc:= [ 206002 ],
37      fp:= [ 14, 212 ],
38      next:= [ 82549, 82551 ] ), rec(
39      desc:= [ 206002 ],
40      fp:= [ 14, 212 ],
41      next:= [ 82545, 82547 ] ) ] ), rec(
42    fp:= [ 165, 1018 ],
43    next:= [ rec(
44      desc:= [ 107003 ],
45      fp:= [ 4, 14 ],
46      next:= [ 93279, 93281 ] ), rec(
47      fp:= [ 35521, 83002 ],
48      level:= 5,
49      next:= [ 93284, rec(
50        desc:= [ 107003 ],
51        fp:= [ 4, 14 ],
52        next:= [ 93286, 93285 ] ) ] ) ] ), rec(
53    fp:= [ 168, 173, 174, 175, 177 ],
54    next:= [ rec(
55      desc:= [ 302006, 206002 ],
56      fp:= [ 418, 814 ],
57      next:= [ 100445, rec(
58        desc:= [ 108003, 208002 ],
59        fp:= [ 14, 212 ],
60        next:= [ 100447, 100449 ] ) ] ), rec(
61      desc:= [ 302005 ],
62      fp:= [ 17060, 26861 ],
63      next:= [ rec(
64        desc:= [ 107003 ],
65        fp:= [ 616, 814 ],
66        next:= [ 100444, 100455 ] ), 100450 ] ), rec(
67      desc:= [ 302005 ],
68      fp:= [ 1066, 17060 ],
69      next:= [ 100446, 100454 ] ), rec(
70      desc:= [ 105003 ],
71      fp:= [ 616, 814 ],
72      next:= [ rec(
73        desc:= [ 302008, 206002 ],
74        fp:= [ 4, 14 ],
75        next:= [ 100448, 100456 ] ), 100453 ] ), rec(
76      desc:= [ 302007 ],
77      fp:= [ 1386, 49700, 59501 ],
78      next:= [ 100452, 100457, 100458 ] ) ] ), rec(
79    fp:= [ 168, 173, 177 ],
80    next:= [ rec(
81      desc:= [ 105003 ],
82      fp:= [ 8, 414 ],
83      next:= [ 103808, 103802 ] ), rec(
84      desc:= [ 110011 ],
85      fp:= [ 28, 2018, 2414 ],
86      next:= [ 103803, 103801, 103797 ] ), rec(
87      desc:= [ 106003 ],
88      fp:= [ 414, 612 ],
89      next:= [ 103809, 103799 ] ) ] ), rec(
90    fp:= [ 1024 ],
91    next:= [ rec(
92      desc:= [ 106003 ],
93      fp:= [ 8, 18 ],
94      next:= [ 107128, 107126 ] ) ] ), rec(
95    fp:= [ 165, 172, 174, 175, 177 ],
96    next:= [ rec(
97      desc:= [ 302005, 109003, 111003, 302008, 302010, 302012, 214002,
98302015, 302017, 212008, 40313012 ],
99      fp:= [ 1, 2561 ],
100      next:= [ 111351, 111343 ] ), rec(
101      desc:= [ 302007, 110003, 302007, 209002, 302010, 213002, 302014,
102302016, 305015, 214005, 40312015 ],
103      fp:= [ 1, 5121 ],
104      next:= [ 111344, 111352 ] ), rec(
105      desc:= [ 105003 ],
106      fp:= [ 8, 414 ],
107      next:= [ 111354, 111349 ] ), rec(
108      desc:= [ 106003, 108003, 302005, 302007, 302009, 211002, 302012,
109302014, 216002, 302017, 217007, 307018, 213007, 309016, 213009, 40313016 ],
110      fp:= [ 2, 2661 ],
111      next:= [ 111345, 111353 ] ), rec(
112      desc:= [ 105003 ],
113      fp:= [ 8, 414 ],
114      next:= [ 111346, 111342 ] ) ] ), rec(
115    fp:= [ 168, 171, 172, 175 ],
116    next:= [ rec(
117      desc:= [ 302005 ],
118      fp:= [ 1264, 36860 ],
119      next:= [ rec(
120        desc:= [ 107003 ],
121        fp:= [ 214, 412 ],
122        next:= [ 115632, rec(
123          desc:= [ 110003, 207002, 302008, 302010, 212002, 302013, 215002,
124306010, 306016, 221006 ],
125          fp:= [ 826, 1618 ],
126          next:= [ 115631, 115624 ] ) ] ), 115622 ] ), rec(
127      desc:= [ 106003 ],
128      fp:= [ 414, 612 ],
129      next:= [ 115635, 115634 ] ), rec(
130      desc:= [ 106003 ],
131      fp:= [ 216, 414 ],
132      next:= [ 115627, 115626 ] ), rec(
133      desc:= [ 106003 ],
134      fp:= [ 416, 614 ],
135      next:= [ 115633, 115625 ] ) ] ), rec(
136    fp:= [ 166, 168, 173, 174, 177 ],
137    next:= [ rec(
138      desc:= [ 302007 ],
139      fp:= [ 1386, 49700, 59501 ],
140      next:= [ 119800, rec(
141        desc:= [ 107003 ],
142        fp:= [ 214, 412 ],
143        next:= [ 119803, 119801 ] ), 119796 ] ), rec(
144      desc:= [ 302007, 107003, 110003, 206002, 302007, 302011, 305008,
145305012, 215006, 40310016 ],
146      fp:= [ 2, 7781 ],
147      next:= [ 119804, 119794 ] ), rec(
148      desc:= [ 302005 ],
149      fp:= [ 26960, 36761 ],
150      next:= [ rec(
151        desc:= [ 107003 ],
152        fp:= [ 218, 416 ],
153        next:= [ 119802, 119799 ] ), rec(
154        desc:= [ 107003 ],
155        fp:= [ 218, 416 ],
156        next:= [ 119805, 119806 ] ) ] ), rec(
157      desc:= [ 105003 ],
158      fp:= [ 416, 614 ],
159      next:= [ rec(
160        desc:= [ 302008, 302012, 211002, 302012, 40209009 ],
161        fp:= [ 2862, 2961 ],
162        next:= [ 119807, 119793 ] ), 119795 ] ), rec(
163      desc:= [ 105003 ],
164      fp:= [ 614, 812 ],
165      next:= [ 119797, 119798 ] ) ] ), rec(
166    fp:= [ 173, 174, 175, 177 ],
167    next:= [ rec(
168      desc:= [ 302007 ],
169      fp:= [ 1386, 49700, 60080 ],
170      next:= [ 123926, rec(
171        desc:= [ 106003 ],
172        fp:= [ 4, 14 ],
173        next:= [ 123925, 123924 ] ), 123922 ] ), rec(
174      desc:= [ 105003 ],
175      fp:= [ 616, 814 ],
176      next:= [ 123918, 123919 ] ), rec(
177      desc:= [ 105003 ],
178      fp:= [ 418, 814 ],
179      next:= [ 123928, 123920 ] ), rec(
180      desc:= [ 105003 ],
181      fp:= [ 418, 616 ],
182      next:= [ 123927, 123917 ] ) ] ), rec(
183    fp:= [ 168, 173, 174, 175, 177 ],
184    next:= [ rec(
185      desc:= [ 105003 ],
186      fp:= [ 414, 612 ],
187      next:= [ 127957, 127959 ] ), rec(
188      desc:= [ 105003 ],
189      fp:= [ 616, 814 ],
190      next:= [ 127963, 127960 ] ), rec(
191      desc:= [ 105003 ],
192      fp:= [ 616, 814 ],
193      next:= [ rec(
194        desc:= [ 302008, 208002 ],
195        fp:= [ 16, 214 ],
196        next:= [ 127962, 127950 ] ), 127961 ] ), rec(
197      desc:= [ 105003 ],
198      fp:= [ 12, 814, 1012 ],
199      next:= [ 127956, 127964, rec(
200        desc:= [ 302008 ],
201        fp:= [ 1386, 49700 ],
202        next:= [ 127958, 127955 ] ) ] ), rec(
203      desc:= [ 302005 ],
204      fp:= [ 1066, 17060 ],
205      next:= [ 127953, rec(
206        desc:= [ 107003 ],
207        fp:= [ 616, 814 ],
208        next:= [ 127954, 127952 ] ) ] ) ] ), rec(
209    fp:= [ 173, 174, 175, 176, 1020 ],
210    next:= [ rec(
211      desc:= [ 302005, 107003, 110003, 209002, 302010, 302012, 214002,
212302015, 306009, 211006, 211007, 40310011 ],
213      fp:= [ 3, 2761 ],
214      next:= [ 131958, 131961 ] ), rec(
215      desc:= [ 302005 ],
216      fp:= [ 1066, 17060 ],
217      next:= [ rec(
218        desc:= [ 106003, 111005, 111007, 111011, 303005, 303007, 209003,
219215003, 303016, 40408010 ],
220        fp:= [ 2, 2661 ],
221        next:= [ 131956, 131959 ] ), 131970 ] ), rec(
222      desc:= [ 302007 ],
223      fp:= [ 1386, 49700 ],
224      next:= [ rec(
225        desc:= [ 106003, 206002 ],
226        fp:= [ 18, 414 ],
227        next:= [ 131962, 131960 ] ), rec(
228        desc:= [ 107003, 207002, 302008, 302010, 40308009 ],
229        fp:= [ 2, 2661 ],
230        next:= [ 131964, 131969 ] ) ] ), rec(
231      desc:= [ 302005, 107003, 110003, 209002, 302010, 212002, 302013,
232302015, 210006, 306011, 213006, 40310013 ],
233      fp:= [ 2, 2661 ],
234      next:= [ 131966, 131967 ] ), rec(
235      desc:= [ 105003, 107003, 302004, 206002, 302007, 209002, 302010,
236212002, 305008, 208005, 40308014 ],
237      fp:= [ 1, 7681 ],
238      next:= [ 131963, 131965 ] ) ] ), rec(
239    fp:= [ 221 ],
240    next:= [ rec(
241      fp:= [ 38633, 87679 ],
242      level:= 5,
243      next:= [ 145816, 145817 ] ) ] ), rec(
244    fp:= [ 455 ],
245    next:= [ rec(
246      desc:= [ 302008, 213003 ],
247      fp:= [ 4, 14 ],
248      next:= [ 158801, 158805 ] ) ] ), rec(
249    fp:= [ 317 ],
250    next:= [ rec(
251      fp:= [ 61307, 68699 ],
252      level:= 5,
253      next:= [ 162853, 162850 ] ) ] ), rec(
254    fp:= [ 686 ],
255    next:= [ rec(
256      desc:= [ 108003 ],
257      fp:= [ 214, 412 ],
258      next:= [ 182051, 182046 ] ) ] ), rec(
259    fp:= [ 609, 610 ],
260    next:= [ rec(
261      fp:= [ 72371, 83241 ],
262      level:= 5,
263      next:= [ 185369, 185361 ] ), rec(
264      fp:= [ 506, 91578 ],
265      level:= 5,
266      next:= [ 185366, 185358 ] ) ] ), rec(
267    fp:= [ 681 ],
268    next:= [ rec(
269      fp:= [ 12084, 33469 ],
270      level:= 5,
271      next:= [ 188555, 188556 ] ) ] ), rec(
272    fp:= [ 649, 656 ],
273    next:= [ rec(
274      desc:= [ 302007 ],
275      fp:= [ 384, 662 ],
276      next:= [ 196018, 196017 ] ), rec(
277      desc:= [ 305012, 110003, 118005, 118007, 302005, 302010, 303012,
278221003 ],
279      fp:= [ 16, 214 ],
280      next:= [ 196013, 196020 ] ) ] ), rec(
281    fp:= [ 732 ],
282    next:= [ rec(
283      fp:= [ 48181, 90345 ],
284      level:= 5,
285      next:= [ 236460, 236452 ] ) ] ), rec(
286    fp:= [ 612 ],
287    next:= [ rec(
288      fp:= [ 38258, 85969 ],
289      level:= 5,
290      next:= [ 245440, 245437 ] ) ] ), rec(
291    fp:= [ 520 ],
292    next:= [ rec(
293      desc:= [ 115003 ],
294      fp:= [ 4, 212 ],
295      next:= [ 249934, 249932 ] ) ] ), rec(
296    fp:= [ 541 ],
297    next:= [ rec(
298      desc:= [ 302010 ],
299      fp:= [ 65161, 75301 ],
300      next:= [ 253805, 253813 ] ) ] ), rec(
301    fp:= [ 755 ],
302    next:= [ rec(
303      desc:= [ 116003 ],
304      fp:= [ 4, 14 ],
305      next:= [ 275344, 275352 ] ) ] ), rec(
306    fp:= [ 832 ],
307    next:= [ rec(
308      desc:= [ 114003 ],
309      fp:= [ 4, 14 ],
310      next:= [ 278324, 278322 ] ) ] ), rec(
311    fp:= [ 768 ],
312    next:= [ rec(
313      desc:= [ 113003 ],
314      fp:= [ 4, 14 ],
315      next:= [ 294193, 294197 ] ) ] ), rec(
316    fp:= [ 807 ],
317    next:= [ rec(
318      desc:= [ 113003 ],
319      fp:= [ 4, 14 ],
320      next:= [ 298397, 298393 ] ) ] ), rec(
321    fp:= [ 605, 626, 767, 768, 775 ],
322    next:= [ rec(
323      desc:= [ 115003 ],
324      fp:= [ 4, 212 ],
325      next:= [ 307199, 307203 ] ), rec(
326      desc:= [ 302010 ],
327      fp:= [ 64582, 98821 ],
328      next:= [ 307196, 307194 ] ), rec(
329      fp:= [ 67119, 85956 ],
330      level:= 5,
331      next:= [ 307192, 307201 ] ), rec(
332      fp:= [ 67119, 85956 ],
333      level:= 5,
334      next:= [ 307198, 307205 ] ), rec(
335      desc:= [ 113003 ],
336      fp:= [ 4, 212 ],
337      next:= [ 307206, 307204 ] ) ] ), rec(
338    fp:= [ 596, 790 ],
339    next:= [ rec(
340      desc:= [ 107003 ],
341      fp:= [ 213, 411 ],
342      next:= [ 311604, 311606 ] ), rec(
343      desc:= [ 107003 ],
344      fp:= [ 13, 211 ],
345      next:= [ 311608, 311610 ] ) ] ), rec(
346    fp:= [ 1001, 1020, 1023 ],
347    next:= [ rec(
348      desc:= [ 110011 ],
349      fp:= [ 48, 2434, 3226, 4018 ],
350      next:= [ 329214, rec(
351        desc:= [ 302007 ],
352        fp:= [ 2742, 59501 ],
353        next:= [ 329212, 329218 ] ), 329216, 329217 ] ), rec(
354      desc:= [ 105003 ],
355      fp:= [ 822, 1218 ],
356      next:= [ 329213, 329211 ] ), rec(
357      desc:= [ 302007 ],
358      fp:= [ 1584, 69500, 79880 ],
359      next:= [ 329219, 329215, 329221 ] ) ] ), rec(
360    fp:= [ 1066, 1067, 1106 ],
361    next:= [ rec(
362      desc:= [ 302009 ],
363      fp:= [ 9747, 80787 ],
364      next:= [ rec(
365        desc:= [ 210002 ],
366        fp:= [ 4, 14 ],
367        next:= [ 333733, 333721 ] ), 333726 ] ), rec(
368      desc:= [ 302009 ],
369      fp:= [ 15026, 29544 ],
370      next:= [ 333741, rec(
371        desc:= [ 302016, 113003, 213004 ],
372        fp:= [ 14, 816 ],
373        next:= [ 333729, 333737 ] ) ] ), rec(
374      desc:= [ 107003 ],
375      fp:= [ 1220, 1418 ],
376      next:= [ 333715, 333720 ] ) ] ), rec(
377    fp:= [ 1029 ],
378    next:= [ rec(
379      fp:= [ 35242, 57444, 98448 ],
380      level:= 5,
381      next:= [ 338470, 338472, 338466 ] ) ] ), rec(
382    fp:= [ 1090, 1176, 1242 ],
383    next:= [ rec(
384      fp:= [ 22157, 31329 ],
385      level:= 5,
386      next:= [ 367908, 367920 ] ), rec(
387      fp:= [ 19876, 70235 ],
388      level:= 5,
389      next:= [ 367919, 367909 ] ), rec(
390      desc:= [ 302010 ],
391      fp:= [ 18661, 28462 ],
392      next:= [ 367918, 367925 ] ) ] ), rec(
393    fp:= [ 1032 ],
394    next:= [ rec(
395      desc:= [ 106003 ],
396      fp:= [ 418, 814 ],
397      next:= [ 374473, 374469 ] ) ] ), rec(
398    fp:= [ 1405 ],
399    next:= [ rec(
400      desc:= [ 302009 ],
401      fp:= [ 18661, 28641 ],
402      next:= [ 379780, 379784 ] ) ] ), rec(
403    fp:= [ 1066, 1369, 1509, 1534 ],
404    next:= [ rec(
405      desc:= [ 302010, 112003, 212002 ],
406      fp:= [ 214, 412 ],
407      next:= [ 388079, 388095 ] ), rec(
408      desc:= [ 302008, 112003, 212002 ],
409      fp:= [ 618, 816 ],
410      next:= [ 388087, 388103 ] ), rec(
411      desc:= [ 302006 ],
412      fp:= [ 38461, 48441 ],
413      next:= [ 388100, 388082 ] ), rec(
414      desc:= [ 302005 ],
415      fp:= [ 38461, 48441 ],
416      next:= [ 388104, 388102 ] ) ] ), rec(
417    fp:= [ 2167 ],
418    next:= [ rec(
419      desc:= [ 115011 ],
420      fp:= [ 8, 18 ],
421      next:= [ 394411, 394403 ] ) ] ), rec(
422    fp:= [ 1156 ],
423    next:= [ rec(
424      fp:= [ 8738, 58649 ],
425      level:= 5,
426      next:= [ 400608, 400612 ] ) ] ), rec(
427    fp:= [ 1141 ],
428    next:= [ rec(
429      fp:= [ 70586, 93611 ],
430      level:= 5,
431      next:= [ 440740, 440742 ] ) ] ), rec(
432    fp:= [ 1360 ],
433    next:= [ rec(
434      fp:= [ 1025, 70001 ],
435      level:= 5,
436      next:= [ 447490, 447494 ] ) ] ), rec(
437    fp:= [ 1400 ],
438    next:= [ rec(
439      fp:= [ 6924, 61761 ],
440      level:= 5,
441      next:= [ 453990, 454006 ] ) ] ), rec(
442    fp:= [ 1152 ],
443    next:= [ rec(
444      desc:= [ 302010 ],
445      fp:= [ 1222, 54682 ],
446      next:= [ 461737, 461721 ] ) ] ), rec(
447    fp:= [ 1093, 1192, 1205, 1307 ],
448    next:= [ rec(
449      fp:= [ 35573, 57100 ],
450      level:= 5,
451      next:= [ 470543, 470559 ] ), rec(
452      fp:= [ 39506, 76906 ],
453      level:= 5,
454      next:= [ 470561, 470551 ] ), rec(
455      desc:= [ 108003 ],
456      fp:= [ 416, 614 ],
457      next:= [ 470553, 470556 ] ), rec(
458      fp:= [ 32816, 56309 ],
459      level:= 5,
460      next:= [ 470557, 470569 ] ) ] ), rec(
461    fp:= [ 1188 ],
462    next:= [ rec(
463      fp:= [ 33653, 65086 ],
464      level:= 5,
465      next:= [ 488479, 488453 ] ) ] ), rec(
466    fp:= [ 1189, 1290, 1393, 1485, 1511 ],
467    next:= [ rec(
468      fp:= [ 40806, 86527 ],
469      level:= 5,
470      next:= [ 506424, 506421 ] ), rec(
471      desc:= [ 302008 ],
472      fp:= [ 384, 48361 ],
473      next:= [ 506429, 506433 ] ), rec(
474      fp:= [ 41705, 96753 ],
475      level:= 5,
476      next:= [ 506428, 506435 ] ), rec(
477      fp:= [ 57321, 65806 ],
478      level:= 5,
479      next:= [ 506414, 506422 ] ), rec(
480      fp:= [ 17115, 66127 ],
481      level:= 5,
482      next:= [ 506434, 506442 ] ) ] ), rec(
483    fp:= [ 1197, 1293, 1305, 1382, 1397, 1477 ],
484    next:= [ rec(
485      desc:= [ 302009 ],
486      fp:= [ 45834, 63913 ],
487      next:= [ 524041, 524031 ] ), rec(
488      fp:= [ 20064, 37520 ],
489      level:= 5,
490      next:= [ 524045, 524032 ] ), rec(
491      fp:= [ 18513, 55749 ],
492      level:= 5,
493      next:= [ 524024, 524033 ] ), rec(
494      fp:= [ 16459, 20620 ],
495      level:= 5,
496      next:= [ 524043, 524036 ] ), rec(
497      desc:= [ 107003 ],
498      fp:= [ 414, 612 ],
499      next:= [ 524044, 524020 ] ), rec(
500      desc:= [ 107003 ],
501      fp:= [ 8, 612 ],
502      next:= [ 524022, 524050 ] ) ] ), rec(
503    fp:= [ 1276 ],
504    next:= [ rec(
505      fp:= [ 12117, 50012 ],
506      level:= 5,
507      next:= [ 531638, 531617 ] ) ] ), rec(
508    fp:= [ 1161 ],
509    next:= [ rec(
510      desc:= [ 107003 ],
511      fp:= [ 214, 412 ],
512      next:= [ 538280, 538281 ] ) ] ), rec(
513    fp:= [ 1141, 1182, 1480 ],
514    next:= [ rec(
515      desc:= [ 302006 ],
516      fp:= [ 48601, 58581 ],
517      next:= [ 545678, 545660 ] ), rec(
518      desc:= [ 114011 ],
519      fp:= [ 4, 14 ],
520      next:= [ 545682, 545656 ] ), rec(
521      desc:= [ 302009 ],
522      fp:= [ 87367, 89161 ],
523      next:= [ 545674, 545672 ] ) ] ), rec(
524    fp:= [ 1091, 1208, 1232, 1286, 1414, 1535 ],
525    next:= [ rec(
526      desc:= [ 108003 ],
527      fp:= [ 820, 1018 ],
528      next:= [ 554697, 554699 ] ), rec(
529      fp:= [ 34848, 86060 ],
530      level:= 5,
531      next:= [ 554680, 554706 ] ), rec(
532      fp:= [ 9615, 55682 ],
533      level:= 5,
534      next:= [ 554694, 554701 ] ), rec(
535      fp:= [ 9615, 55682 ],
536      level:= 5,
537      next:= [ 554708, 554681 ] ), rec(
538      fp:= [ 14077, 46119 ],
539      level:= 5,
540      next:= [ 554696, 554690 ] ), rec(
541      desc:= [ 302010 ],
542      fp:= [ 77227, 93737 ],
543      next:= [ 554700, 554686 ] ) ] ), rec(
544    fp:= [ 1068, 1102, 1103, 1238, 1265, 1317, 1322, 1451, 1508, 1526 ],
545    next:= [ rec(
546      desc:= [ 110011 ],
547      fp:= [ 12, 814 ],
548      next:= [ 563567, 563575 ] ), rec(
549      desc:= [ 105003 ],
550      fp:= [ 624, 1020 ],
551      next:= [ 563585, 563579 ] ), rec(
552      desc:= [ 110011 ],
553      fp:= [ 1618, 2014 ],
554      next:= [ 563563, 563577 ] ), rec(
555      desc:= [ 302006 ],
556      fp:= [ 39323, 49303, 55833 ],
557      next:= [ 563573, 563589, 563569 ] ), rec(
558      fp:= [ 1746, 7108 ],
559      level:= 5,
560      next:= [ 563581, 563564 ] ), rec(
561      fp:= [ 1746, 7108 ],
562      level:= 5,
563      next:= [ 563561, rec(
564        desc:= [ 104003 ],
565        fp:= [ 424, 820, 1018 ],
566        next:= [ 563586, 563562, 563584 ] ) ] ), rec(
567      fp:= [ 1746, 7108 ],
568      level:= 5,
569      next:= [ 563571, 563588 ] ), rec(
570      desc:= [ 104003 ],
571      fp:= [ 420, 618 ],
572      next:= [ 563568, 563578 ] ), rec(
573      desc:= [ 302004 ],
574      fp:= [ 28462, 28641 ],
575      next:= [ 563572, 563576 ] ), rec(
576      desc:= [ 104003 ],
577      fp:= [ 816, 1014 ],
578      next:= [ 563590, 563570 ] ) ] ), rec(
579    fp:= [ 1143 ],
580    next:= [ rec(
581      fp:= [ 17130, 40560 ],
582      level:= 5,
583      next:= [ 572528, 572529 ] ) ] ), rec(
584    fp:= [ 1106, 1253, 1438 ],
585    next:= [ rec(
586      desc:= [ 108003 ],
587      fp:= [ 820, 1216 ],
588      next:= [ 581721, 581729 ] ), rec(
589      desc:= [ 302007 ],
590      fp:= [ 18463, 62443 ],
591      next:= [ 581732, 581718 ] ), rec(
592      desc:= [ 302007 ],
593      fp:= [ 28561, 38362 ],
594      next:= [ 581716, 581734 ] ) ] ), rec(
595    fp:= [ 1091, 1176, 1225, 1290, 1308 ],
596    next:= [ rec(
597      desc:= [ 116011 ],
598      fp:= [ 20, 1614 ],
599      next:= [ 590861, 590853 ] ), rec(
600      desc:= [ 302009 ],
601      fp:= [ 285, 38461 ],
602      next:= [ 590836, 590840 ] ), rec(
603      desc:= [ 114011 ],
604      fp:= [ 4, 14 ],
605      next:= [ 590858, 590862 ] ), rec(
606      fp:= [ 3484, 19299 ],
607      level:= 5,
608      next:= [ 590847, 590850 ] ), rec(
609      fp:= [ 1829, 22198 ],
610      level:= 5,
611      next:= [ 590838, 590865 ] ) ] ), rec(
612    fp:= [ 1186, 1512 ],
613    next:= [ rec(
614      fp:= [ 12627, 33655 ],
615      level:= 5,
616      next:= [ rec(
617        desc:= [ 107003 ],
618        fp:= [ 8, 414 ],
619        next:= [ 599108, 599112 ] ), 599107 ] ), rec(
620      desc:= [ 302006 ],
621      fp:= [ 38461, 48262 ],
622      next:= [ 599119, 599115 ] ) ] ), rec(
623    fp:= [ 1196, 1435 ],
624    next:= [ rec(
625      fp:= [ 53691, 54108 ],
626      level:= 5,
627      next:= [ 612205, 612197 ] ), rec(
628      fp:= [ 8961, 53352 ],
629      level:= 5,
630      next:= [ 612201, 612212 ] ) ] ), rec(
631    fp:= [ 1109, 1480, 1559 ],
632    next:= [ rec(
633      desc:= [ 302011, 110003, 303011, 40407008 ],
634      fp:= [ 1, 641 ],
635      next:= [ 620323, 620307 ] ), rec(
636      fp:= [ 73753, 98791 ],
637      level:= 5,
638      next:= [ 620309, 620328 ] ), rec(
639      desc:= [ 302010, 114003, 215002, 303015, 40408009 ],
640      fp:= [ 1, 1921 ],
641      next:= [ 620315, 620331 ] ) ] ), rec(
642    fp:= [ 1499 ],
643    next:= [ rec(
644      desc:= [ 105003 ],
645      fp:= [ 614, 812 ],
646      next:= [ 628184, 628182 ] ) ] ), rec(
647    fp:= [ 1183, 1320, 1461, 1538 ],
648    next:= [ rec(
649      desc:= [ 105003 ],
650      fp:= [ 222, 420 ],
651      next:= [ 635498, 635502 ] ), rec(
652      desc:= [ 105003 ],
653      fp:= [ 222, 420 ],
654      next:= [ 635510, 635515 ] ), rec(
655      desc:= [ 105003 ],
656      fp:= [ 18, 216 ],
657      next:= [ 635504, 635516 ] ), rec(
658      desc:= [ 302005 ],
659      fp:= [ 38461, 48441 ],
660      next:= [ 635511, 635518 ] ) ] ), rec(
661    fp:= [ 1263, 1406, 1513 ],
662    next:= [ rec(
663      fp:= [ 86574, 89207 ],
664      level:= 5,
665      next:= [ 662061, 662065 ] ), rec(
666      fp:= [ 4586, 57380 ],
667      level:= 5,
668      next:= [ 662074, 662070 ] ), rec(
669      fp:= [ 4586, 57380 ],
670      level:= 5,
671      next:= [ rec(
672        desc:= [ 107003 ],
673        fp:= [ 614, 812 ],
674        next:= [ 662082, 662067 ] ), 662078 ] ) ] ), rec(
675    fp:= [ 1211, 1285 ],
676    next:= [ rec(
677      desc:= [ 107003 ],
678      fp:= [ 220, 814 ],
679      next:= [ 671092, 671102 ] ), rec(
680      fp:= [ 27417, 74284 ],
681      level:= 5,
682      next:= [ 671097, 671111 ] ) ] ), rec(
683    fp:= [ 1156, 1401, 1405 ],
684    next:= [ rec(
685      desc:= [ 302009 ],
686      fp:= [ 285, 38461 ],
687      next:= [ 679424, 679432 ] ), rec(
688      desc:= [ 302009 ],
689      fp:= [ 186, 28561 ],
690      next:= [ 679420, 679444 ] ), rec(
691      fp:= [ 23908, 57737 ],
692      level:= 5,
693      next:= [ 679446, rec(
694        desc:= [ 302008 ],
695        fp:= [ 662, 58341 ],
696        next:= [ 679445, 679437 ] ) ] ) ] ), rec(
697    fp:= [ 1198, 1291, 1368, 1404, 1459 ],
698    next:= [ rec(
699      desc:= [ 108003 ],
700      fp:= [ 418, 814 ],
701      next:= [ 688616, 688628 ] ), rec(
702      fp:= [ 3193, 11826 ],
703      level:= 5,
704      next:= [ 688625, 688609 ] ), rec(
705      fp:= [ 44575, 53208 ],
706      level:= 5,
707      next:= [ 688635, 688619 ] ), rec(
708      fp:= [ 24543, 77277 ],
709      level:= 5,
710      next:= [ 688637, 688621 ] ), rec(
711      desc:= [ 107003 ],
712      fp:= [ 416, 614 ],
713      next:= [ 688626, 688612 ] ) ] ), rec(
714    fp:= [ 1427 ],
715    next:= [ rec(
716      desc:= [ 105003 ],
717      fp:= [ 16, 214 ],
718      next:= [ 697920, 697924 ] ) ] ), rec(
719    fp:= [ 1182, 1237, 1296, 1424, 1516 ],
720    next:= [ rec(
721      desc:= [ 302006 ],
722      fp:= [ 48262, 48441 ],
723      next:= [ 706953, 706946 ] ), rec(
724      desc:= [ 106003 ],
725      fp:= [ 418, 814 ],
726      next:= [ 706964, 706952 ] ), rec(
727      desc:= [ 113011 ],
728      fp:= [ 4, 14 ],
729      next:= [ 706950, 706961 ] ), rec(
730      desc:= [ 302008 ],
731      fp:= [ 54583, 87127 ],
732      next:= [ 706973, 706966 ] ), rec(
733      desc:= [ 302008 ],
734      fp:= [ 54583, 87127 ],
735      next:= [ 706949, 706962 ] ) ] ), rec(
736    fp:= [ 1247, 1418, 1494 ],
737    next:= [ rec(
738      fp:= [ 14813, 29365 ],
739      level:= 5,
740      next:= [ 716158, 716160 ] ), rec(
741      desc:= [ 302007 ],
742      fp:= [ 45933, 62443 ],
743      next:= [ 716148, 716152 ] ), rec(
744      desc:= [ 302007 ],
745      fp:= [ 36033, 52543 ],
746      next:= [ 716174, 716178 ] ) ] ), rec(
747    fp:= [ 1229, 1305 ],
748    next:= [ rec(
749      fp:= [ 47953, 67127 ],
750      level:= 5,
751      next:= [ 725462, 725473 ] ), rec(
752      desc:= [ 107003 ],
753      fp:= [ 618, 1014 ],
754      next:= [ 725464, 725449 ] ) ] ), rec(
755    fp:= [ 1257 ],
756    next:= [ rec(
757      desc:= [ 107003 ],
758      fp:= [ 816, 1014 ],
759      next:= [ 734468, 734474 ] ) ] ), rec(
760    fp:= [ 1290, 1414, 1435 ],
761    next:= [ rec(
762      fp:= [ 73614, 79188 ],
763      level:= 5,
764      next:= [ 743734, 743725 ] ), rec(
765      desc:= [ 302007 ],
766      fp:= [ 483, 58261 ],
767      next:= [ 743746, 743742 ] ), rec(
768      desc:= [ 302007 ],
769      fp:= [ 384, 48361 ],
770      next:= [ 743750, 743737 ] ) ] ), rec(
771    fp:= [ 1176, 1423 ],
772    next:= [ rec(
773      fp:= [ 66726, 94499 ],
774      level:= 5,
775      next:= [ 752732, 752738 ] ), rec(
776      fp:= [ 19153, 33033 ],
777      level:= 5,
778      next:= [ 752737, 752746 ] ) ] ), rec(
779    fp:= [ 1160, 1213, 1267, 1368, 1405, 1408 ],
780    next:= [ rec(
781      desc:= [ 302007 ],
782      fp:= [ 48441, 66341 ],
783      next:= [ 762022, 762013 ] ), rec(
784      desc:= [ 302008 ],
785      fp:= [ 42613, 48521 ],
786      next:= [ 762037, 762024 ] ), rec(
787      fp:= [ 49869, 90225 ],
788      level:= 5,
789      next:= [ 762019, 762035 ] ), rec(
790      fp:= [ 32179, 37753 ],
791      level:= 5,
792      next:= [ 762023, 762039 ] ), rec(
793      desc:= [ 302010 ],
794      fp:= [ 23400, 65401, 88921 ],
795      next:= [ 762036, 762016, rec(
796        desc:= [ 210003 ],
797        fp:= [ 216, 414 ],
798        next:= [ 762038, 762025 ] ) ] ), rec(
799      fp:= [ 23946, 83251 ],
800      level:= 5,
801      next:= [ 762017, 762012 ] ) ] ), rec(
802    fp:= [ 1212, 1329 ],
803    next:= [ rec(
804      desc:= [ 107003 ],
805      fp:= [ 10, 812 ],
806      next:= [ 770686, 770685 ] ), rec(
807      desc:= [ 108003 ],
808      fp:= [ 814, 1012 ],
809      next:= [ 770693, 770690 ] ) ] ), rec(
810    fp:= [ 1384, 1493 ],
811    next:= [ rec(
812      desc:= [ 113011 ],
813      fp:= [ 4, 14 ],
814      next:= [ 779451, 779435 ] ), rec(
815      fp:= [ 4586, 57380 ],
816      level:= 5,
817      next:= [ 779429, 779442 ] ) ] ), rec(
818    fp:= [ 1343, 1445, 1451 ],
819    next:= [ rec(
820      desc:= [ 105003 ],
821      fp:= [ 22, 418 ],
822      next:= [ 788521, 788531 ] ), rec(
823      desc:= [ 302006 ],
824      fp:= [ 46013, 62523 ],
825      next:= [ 788526, 788530 ] ), rec(
826      desc:= [ 105003 ],
827      fp:= [ 20, 218 ],
828      next:= [ 788518, 788519 ] ) ] ), rec(
829    fp:= [ 1256, 1257, 1490 ],
830    next:= [ rec(
831      desc:= [ 302005 ],
832      fp:= [ 18661, 28462 ],
833      next:= [ 797426, 797432 ] ), rec(
834      desc:= [ 105003 ],
835      fp:= [ 816, 1014 ],
836      next:= [ 797436, 797437 ] ), rec(
837      desc:= [ 302006 ],
838      fp:= [ 52543, 69053 ],
839      next:= [ 797450, 797420 ] ) ] ), rec(
840    fp:= [ 1020, 1021, 1123, 1125 ],
841    next:= [ rec(
842      desc:= [ 302007 ],
843      fp:= [ 1584, 69500 ],
844      next:= [ 804994, rec(
845        desc:= [ 107003 ],
846        fp:= [ 30, 1218 ],
847        next:= [ 804988, 804991 ] ) ] ), rec(
848      desc:= [ 105003 ],
849      fp:= [ 822, 1218 ],
850      next:= [ 804987, 804993 ] ), rec(
851      desc:= [ 105003 ],
852      fp:= [ 418, 814 ],
853      next:= [ 804995, 804989 ] ), rec(
854      desc:= [ 302007 ],
855      fp:= [ 59501, 60080 ],
856      next:= [ 804992, 804997 ] ) ] ), rec(
857    fp:= [ 1321, 1563, 1571 ],
858    next:= [ rec(
859      desc:= [ 302008 ],
860      fp:= [ 28443, 46343 ],
861      next:= [ 811753, 811747 ] ), rec(
862      desc:= [ 302009 ],
863      fp:= [ 643, 74581 ],
864      next:= [ 811738, 811764 ] ), rec(
865      desc:= [ 105003 ],
866      fp:= [ 2, 12 ],
867      next:= [ 811748, 811744 ] ) ] ), rec(
868    fp:= [ 1570 ],
869    next:= [ rec(
870      desc:= [ 302008 ],
871      fp:= [ 42803, 49333 ],
872      next:= [ 820664, 820670 ] ) ] ), rec(
873    fp:= [ 1592 ],
874    next:= [ rec(
875      desc:= [ 302008, 113007, 213002 ],
876      fp:= [ 1618, 2014 ],
877      next:= [ 835975, 835985 ] ) ] ), rec(
878    fp:= [ 1292, 1432, 1486, 1564 ],
879    next:= [ rec(
880      desc:= [ 106003 ],
881      fp:= [ 416, 614 ],
882      next:= [ 844627, 844618 ] ), rec(
883      desc:= [ 302007 ],
884      fp:= [ 52543, 62523 ],
885      next:= [ 844619, 844634 ] ), rec(
886      desc:= [ 106003 ],
887      fp:= [ 214, 412 ],
888      next:= [ 844637, 844644 ] ), rec(
889      desc:= [ 106003 ],
890      fp:= [ 2, 12 ],
891      next:= [ 844638, 844630 ] ) ] ), rec(
892    fp:= [ 1410, 1417, 1535 ],
893    next:= [ rec(
894      fp:= [ 14235, 48020 ],
895      level:= 5,
896      next:= [ rec(
897        desc:= [ 107003 ],
898        fp:= [ 2, 12 ],
899        next:= [ 853679, 853681 ] ), 853657 ] ), rec(
900      desc:= [ 302009 ],
901      fp:= [ 45933, 62443 ],
902      next:= [ 853680, 853665 ] ), rec(
903      desc:= [ 107003 ],
904      fp:= [ 214, 412 ],
905      next:= [ 853676, 853670 ] ) ] ), rec(
906    fp:= [ 1470, 1476, 1571 ],
907    next:= [ rec(
908      desc:= [ 106003 ],
909      fp:= [ 4, 212 ],
910      next:= [ 862867, 862862 ] ), rec(
911      desc:= [ 106003 ],
912      fp:= [ 4, 212 ],
913      next:= [ 862868, 862872 ] ), rec(
914      desc:= [ 302008 ],
915      fp:= [ 73937, 84077, 90447 ],
916      next:= [ 862866, 862858, 862876 ] ) ] ), rec(
917    fp:= [ 1563 ],
918    next:= [ rec(
919      desc:= [ 105003 ],
920      fp:= [ 2, 12 ],
921      next:= [ 872134, 872142 ] ) ] ), rec(
922    fp:= [ 1400, 1401, 1405, 1431 ],
923    next:= [ rec(
924      fp:= [ 35727, 51014 ],
925      level:= 5,
926      next:= [ 881391, 881393 ] ), rec(
927      fp:= [ 20209, 47423 ],
928      level:= 5,
929      next:= [ 881367, 881377 ] ), rec(
930      desc:= [ 108003 ],
931      fp:= [ 14, 212 ],
932      next:= [ 881382, 881390 ] ), rec(
933      fp:= [ 33109, 98941 ],
934      level:= 5,
935      next:= [ 881387, 881394 ] ) ] ), rec(
936    fp:= [ 1409, 1535 ],
937    next:= [ rec(
938      desc:= [ 302009 ],
939      fp:= [ 686, 77467 ],
940      next:= [ 890559, 890584 ] ), rec(
941      desc:= [ 106003 ],
942      fp:= [ 16, 214 ],
943      next:= [ 890583, 890585 ] ) ] ), rec(
944    fp:= [ 1488 ],
945    next:= [ rec(
946      desc:= [ 107003 ],
947      fp:= [ 14, 212 ],
948      next:= [ 899812, 899826 ] ) ] ), rec(
949    fp:= [ 1367 ],
950    next:= [ rec(
951      desc:= [ 114011 ],
952      fp:= [ 4, 14 ],
953      next:= [ 909000, 908984 ] ) ] ), rec(
954    fp:= [ 1433 ],
955    next:= [ rec(
956      desc:= [ 107003 ],
957      fp:= [ 14, 212 ],
958      next:= [ 918248, 918230 ] ) ] ), rec(
959    fp:= [ 1211, 1437, 1454, 1500 ],
960    next:= [ rec(
961      desc:= [ 302007 ],
962      fp:= [ 18741, 55833 ],
963      next:= [ 936421, 936413 ] ), rec(
964      desc:= [ 302008 ],
965      fp:= [ 544, 64681 ],
966      next:= [ 936427, 936436 ] ), rec(
967      desc:= [ 106003 ],
968      fp:= [ 214, 412 ],
969      next:= [ 936435, 936433 ] ), rec(
970      desc:= [ 302006 ],
971      fp:= [ 483, 58261 ],
972      next:= [ 936430, 936437 ] ) ] ), rec(
973    fp:= [ 1472, 1559 ],
974    next:= [ rec(
975      fp:= [ 24922, 77716 ],
976      level:= 5,
977      next:= [ 945603, 945621 ] ), rec(
978      fp:= [ 26541, 78345 ],
979      level:= 5,
980      next:= [ 945620, 945630 ] ) ] ), rec(
981    fp:= [ 1440, 1512, 1570 ],
982    next:= [ rec(
983      fp:= [ 29511, 49582 ],
984      level:= 5,
985      next:= [ 954764, 954763 ] ), rec(
986      desc:= [ 302009 ],
987      fp:= [ 28443, 35934 ],
988      next:= [ 954787, 954781 ] ), rec(
989      desc:= [ 302010, 216002 ],
990      fp:= [ 6, 412 ],
991      next:= [ 954790, 954780 ] ) ] ), rec(
992    fp:= [ 1414, 1443, 1529 ],
993    next:= [ rec(
994      fp:= [ 42001, 75726 ],
995      level:= 5,
996      next:= [ 963998, 964013 ] ), rec(
997      desc:= [ 302007 ],
998      fp:= [ 483, 58261 ],
999      next:= [ 964020, 964019 ] ), rec(
1000      fp:= [ 28273, 68569 ],
1001      level:= 5,
1002      next:= [ 963996, 964011 ] ) ] ), rec(
1003    fp:= [ 1326, 1508 ],
1004    next:= [ rec(
1005      desc:= [ 105003 ],
1006      fp:= [ 614, 812 ],
1007      next:= [ 973157, 973148 ] ), rec(
1008      desc:= [ 105003 ],
1009      fp:= [ 6, 412 ],
1010      next:= [ 973159, 973165 ] ) ] ), rec(
1011    fp:= [ 1203, 1424, 1438 ],
1012    next:= [ rec(
1013      desc:= [ 107003 ],
1014      fp:= [ 414, 612 ],
1015      next:= [ 982316, 982315 ] ), rec(
1016      desc:= [ 302008 ],
1017      fp:= [ 28622, 63993 ],
1018      next:= [ 982327, 982334 ] ), rec(
1019      fp:= [ 24557, 91444 ],
1020      level:= 5,
1021      next:= [ 982309, 982314 ] ) ] ), rec(
1022    fp:= [ 1433, 1443, 1559 ],
1023    next:= [ rec(
1024      fp:= [ 36027, 76323 ],
1025      level:= 5,
1026      next:= [ 991219, 991246 ] ), rec(
1027      fp:= [ 39446, 79742 ],
1028      level:= 5,
1029      next:= [ 991242, 991221 ] ), rec(
1030      desc:= [ 302009 ],
1031      fp:= [ 54781, 64582 ],
1032      next:= [ 991238, 991230 ] ) ] ), rec(
1033    fp:= [ 1032 ],
1034    next:= [ rec(
1035      fp:= [ 18879, 85765 ],
1036      level:= 5,
1037      next:= [ 1008391, 1008387 ] ) ] ), rec(
1038    fp:= [ 1105, 1260 ],
1039    next:= [ rec(
1040      desc:= [ 114011 ],
1041      fp:= [ 24, 2014 ],
1042      next:= [ 1015400, 1015381 ] ), rec(
1043      fp:= [ 54261, 54416 ],
1044      level:= 5,
1045      next:= [ 1015397, 1015394 ] ) ] ), rec(
1046    fp:= [ 1035 ],
1047    next:= [ rec(
1048      fp:= [ 55056, 62671 ],
1049      level:= 5,
1050      next:= [ 1022959, 1022955 ] ) ] ), rec(
1051    fp:= [ 1861, 2175 ],
1052    next:= [ rec(
1053      desc:= [ 111003 ],
1054      fp:= [ 8, 18 ],
1055      next:= [ 1041633, 1041631 ] ), rec(
1056      desc:= [ 302005, 113003, 209003, 304009, 215004 ],
1057      fp:= [ 8, 18 ],
1058      next:= [ 1041632, 1041636 ] ) ] ), rec(
1059    fp:= [ 2075 ],
1060    next:= [ rec(
1061      desc:= [ 40104007 ],
1062      fp:= [ 1, 1921 ],
1063      next:= [ 1057787, 1057779 ] ) ] ), rec(
1064    fp:= [ 1900 ],
1065    next:= [ rec(
1066      desc:= [ 122005, 122007 ],
1067      fp:= [ 12, 814 ],
1068      next:= [ 1070700, 1070692 ] ) ] ), rec(
1069    fp:= [ 2251, 2268 ],
1070    next:= [ rec(
1071      fp:= [ 65363, 93597 ],
1072      level:= 5,
1073      next:= [ 1080719, 1080725 ] ), rec(
1074      fp:= [ 62321, 73148 ],
1075      level:= 5,
1076      next:= [ 1080718, 1080724 ] ) ] ) ] );
1077