1#############################################################################
2##
3#W  id8.aiv                GAP library of id's             Hans Ulrich Besche
4##
5
6ID_GROUP_TREE.next[8].next[1].next[256]:=
7rec(
8  fp:= [ 1155, 6855, 7455, 7755, 8055, 8355, 8655, 8955, 9255, 9555, 9855,
910155, 10755, 12855, 14355, 14655, 15255, 16155, 16755, 19155, 19755, 20055,
1020355, 20955, 21555, 22155, 23055, 24255, 24555, 24855, 25155, 27255, 27555,
1127855, 28455, 28755, 29055, 29655, 30555, 30855, 31155, 31755, 32055, 32355,
1232655, 32955, 33255, 33555, 33855, 34155, 34455, 34755, 35055, 35355, 35655,
1336255, 36555, 36855, 37155, 37755, 38055, 38355, 38655, 39255, 39555, 39855,
1440155, 40455, 40755, 41055, 41355, 41655, 41955, 42255, 42555, 42855, 43755,
1544055, 44355, 44655, 44955, 45255, 45855, 46155, 46455, 46755, 47055, 47655,
1647955, 48255, 48555, 48855, 49155, 49455, 49755, 50055, 50355, 50655, 50955,
1751555, 51855, 52155, 52455, 52755, 54855, 55155, 55455, 55755, 56055 ],
18  next:= [ rec(
19    fp:= [ 15 ],
20    next:= [ rec(
21      desc:= [ 110005 ],
22      fp:= [ 8, 18 ],
23      next:= [ 60154, 60152 ] ) ] ), rec(
24    fp:= [ 1009 ],
25    next:= [ rec(
26      fp:= [ 14262, 79139 ],
27      level:= 5,
28      next:= [ 91439, 91435 ] ) ] ), rec(
29    fp:= [ 1026 ],
30    next:= [ rec(
31      desc:= [ 104003 ],
32      fp:= [ 30, 822 ],
33      next:= [ 98294, 98291 ] ) ] ), rec(
34    fp:= [ 165, 174, 175 ],
35    next:= [ rec(
36      desc:= [ 106003 ],
37      fp:= [ 8, 414 ],
38      next:= [ rec(
39        desc:= [ 105003 ],
40        fp:= [ 8, 414 ],
41        next:= [ rec(
42          desc:= [ 107003, 302007, 208002 ],
43          fp:= [ 18, 216 ],
44          next:= [ 101597, 101599 ] ), 101595 ] ), 101591 ] ), rec(
45      desc:= [ 302006 ],
46      fp:= [ 1264, 36860 ],
47      next:= [ 101590, rec(
48        desc:= [ 302010, 109003, 111003, 209002, 302010, 302012, 214007,
4940211015 ],
50        fp:= [ 3062, 3161 ],
51        next:= [ 101588, 101594 ] ) ] ), rec(
52      desc:= [ 106003, 108003, 110003, 302005, 302007, 302009, 213002,
53302014, 214004, 305017, 211005, 307014, 211007, 308018, 212008, 40212016 ],
54      fp:= [ 3062, 3161 ],
55      next:= [ 101592, 101598 ] ) ] ), rec(
56    fp:= [ 167 ],
57    next:= [ rec(
58      desc:= [ 106003 ],
59      fp:= [ 414, 612 ],
60      next:= [ 105471, 105464 ] ) ] ), rec(
61    fp:= [ 168, 173, 174, 176, 1023 ],
62    next:= [ rec(
63      desc:= [ 109011 ],
64      fp:= [ 826, 1618 ],
65      next:= [ 108802, 108805 ] ), rec(
66      desc:= [ 302005 ],
67      fp:= [ 26960, 36761 ],
68      next:= [ rec(
69        desc:= [ 106003 ],
70        fp:= [ 18, 414 ],
71        next:= [ 108807, 108806 ] ), 108800 ] ), rec(
72      desc:= [ 104003 ],
73      fp:= [ 8, 414 ],
74      next:= [ 108796, 108803 ] ), rec(
75      desc:= [ 104003 ],
76      fp:= [ 18, 414 ],
77      next:= [ 108799, 108798 ] ), rec(
78      desc:= [ 104003 ],
79      fp:= [ 422, 1214 ],
80      next:= [ 108795, 108801 ] ) ] ), rec(
81    fp:= [ 165, 170, 171 ],
82    next:= [ rec(
83      desc:= [ 302009 ],
84      fp:= [ 1485, 59600 ],
85      next:= [ 113100, 113108 ] ), rec(
86      desc:= [ 302009 ],
87      fp:= [ 1584, 69500 ],
88      next:= [ 113110, 113102 ] ), rec(
89      desc:= [ 106003 ],
90      fp:= [ 8, 414 ],
91      next:= [ 113101, 113099 ] ) ] ), rec(
92    fp:= [ 170, 171, 172, 177, 1021 ],
93    next:= [ rec(
94      desc:= [ 107003 ],
95      fp:= [ 216, 612 ],
96      next:= [ 117317, 117313 ] ), rec(
97      desc:= [ 302006 ],
98      fp:= [ 1462, 1721 ],
99      next:= [ 117310, 117306 ] ), rec(
100      fp:= [ 55476, 93513 ],
101      level:= 5,
102      next:= [ 117316, 117309 ] ), rec(
103      desc:= [ 302006 ],
104      fp:= [ 1462, 1721 ],
105      next:= [ 117308, 117304 ] ), rec(
106      fp:= [ 28396, 44978 ],
107      level:= 5,
108      next:= [ 117312, 117305 ] ) ] ), rec(
109    fp:= [ 171, 172, 173 ],
110    next:= [ rec(
111      fp:= [ 53724, 68030 ],
112      level:= 5,
113      next:= [ rec(
114        desc:= [ 107003 ],
115        fp:= [ 416, 614 ],
116        next:= [ 121426, 121430 ] ), 121431 ] ), rec(
117      fp:= [ 53724, 68030 ],
118      level:= 5,
119      next:= [ 121422, 121423 ] ), rec(
120      desc:= [ 107003 ],
121      fp:= [ 418, 616 ],
122      next:= [ 121424, 121420 ] ) ] ), rec(
123    fp:= [ 173 ],
124    next:= [ rec(
125      desc:= [ 109011 ],
126      fp:= [ 1226, 1622, 2018, 2414 ],
127      next:= [ 125598, 125591, 125592, 125599 ] ) ] ), rec(
128    fp:= [ 171, 174, 175 ],
129    next:= [ rec(
130      desc:= [ 111011 ],
131      fp:= [ 24, 1222, 1618, 2014 ],
132      next:= [ 129657, 129661, 129669, 129665 ] ), rec(
133      desc:= [ 105003 ],
134      fp:= [ 4, 14 ],
135      next:= [ 129670, 129671 ] ), rec(
136      desc:= [ 106003 ],
137      fp:= [ 814, 1012 ],
138      next:= [ 129667, 129659 ] ) ] ), rec(
139    fp:= [ 171, 173, 177 ],
140    next:= [ rec(
141      desc:= [ 302006 ],
142      fp:= [ 29900, 39701, 40280 ],
143      next:= [ rec(
144        desc:= [ 207002 ],
145        fp:= [ 616, 814 ],
146        next:= [ 133352, 133358 ] ), rec(
147        desc:= [ 207002 ],
148        fp:= [ 418, 616 ],
149        next:= [ 133350, 133360 ] ), 133362 ] ), rec(
150      desc:= [ 105003 ],
151      fp:= [ 816, 1014 ],
152      next:= [ 133361, 133363 ] ), rec(
153      desc:= [ 105003 ],
154      fp:= [ 816, 1014 ],
155      next:= [ 133351, 133359 ] ) ] ), rec(
156    fp:= [ 284, 286, 291 ],
157    next:= [ rec(
158      fp:= [ 21167, 39874 ],
159      level:= 5,
160      next:= [ 138372, 138375 ] ), rec(
161      fp:= [ 4173, 85127 ],
162      level:= 5,
163      next:= [ 138371, 138370 ] ), rec(
164      desc:= [ 302011 ],
165      fp:= [ 582, 1161 ],
166      next:= [ 138368, 138378 ] ) ] ), rec(
167    fp:= [ 353 ],
168    next:= [ rec(
169      fp:= [ 47998, 51765 ],
170      level:= 5,
171      next:= [ 160593, 160588 ] ) ] ), rec(
172    fp:= [ 508, 586, 681 ],
173    next:= [ rec(
174      desc:= [ 302008, 209002 ],
175      fp:= [ 4, 14 ],
176      next:= [ 174473, 174477 ] ), rec(
177      desc:= [ 113003 ],
178      fp:= [ 4, 14 ],
179      next:= [ 174480, 174472 ] ), rec(
180      desc:= [ 112003 ],
181      fp:= [ 4, 14 ],
182      next:= [ 174470, 174474 ] ) ] ), rec(
183    fp:= [ 485, 649, 656 ],
184    next:= [ rec(
185      fp:= [ 26143, 32631 ],
186      level:= 5,
187      next:= [ rec(
188        desc:= [ 305016 ],
189        fp:= [ 446, 64682 ],
190        next:= [ 177812, 177808 ] ), 177810 ] ), rec(
191      desc:= [ 302006 ],
192      fp:= [ 384, 662 ],
193      next:= [ 177809, 177813 ] ), rec(
194      desc:= [ 305013 ],
195      fp:= [ 286, 48362 ],
196      next:= [ 177821, 177817 ] ) ] ), rec(
197    fp:= [ 601, 602 ],
198    next:= [ rec(
199      fp:= [ 15235, 72623 ],
200      level:= 5,
201      next:= [ 183334, 183329 ] ), rec(
202      fp:= [ 57968, 73936 ],
203      level:= 5,
204      next:= [ 183336, 183331 ] ) ] ), rec(
205    fp:= [ 508, 651 ],
206    next:= [ rec(
207      desc:= [ 105003 ],
208      fp:= [ 12, 814 ],
209      next:= [ 194001, 193992 ] ), rec(
210      fp:= [ 12084, 33469 ],
211      level:= 5,
212      next:= [ 193991, 194003 ] ) ] ), rec(
213    fp:= [ 765 ],
214    next:= [ rec(
215      desc:= [ 112007 ],
216      fp:= [ 4, 14 ],
217      next:= [ 199718, 199722 ] ) ] ), rec(
218    fp:= [ 597, 610 ],
219    next:= [ rec(
220      fp:= [ 11314, 49574 ],
221      level:= 5,
222      next:= [ 229684, 229679 ] ), rec(
223      fp:= [ 11314, 98245 ],
224      level:= 5,
225      next:= [ rec(
226        desc:= [ 107003 ],
227        fp:= [ 15, 213 ],
228        next:= [ 229678, 229686 ] ), 229682 ] ) ] ), rec(
229    fp:= [ 774 ],
230    next:= [ rec(
231      desc:= [ 108003 ],
232      fp:= [ 15, 213 ],
233      next:= [ 238299, 238297 ] ) ] ), rec(
234    fp:= [ 610, 659 ],
235    next:= [ rec(
236      fp:= [ 11314, 98245 ],
237      level:= 5,
238      next:= [ 242785, 242782 ] ), rec(
239      fp:= [ 11314, 49574 ],
240      level:= 5,
241      next:= [ 242779, 242784 ] ) ] ), rec(
242    fp:= [ 596 ],
243    next:= [ rec(
244      desc:= [ 108003 ],
245      fp:= [ 13, 211 ],
246      next:= [ 247279, 247277 ] ) ] ), rec(
247    fp:= [ 568, 724 ],
248    next:= [ rec(
249      desc:= [ 302018, 302007, 302009, 40207014 ],
250      fp:= [ 1, 7681 ],
251      next:= [ 255197, 255203 ] ), rec(
252      desc:= [ 302018, 302007, 302014, 40307014 ],
253      fp:= [ 1, 7681 ],
254      next:= [ 255199, 255202 ] ) ] ), rec(
255    fp:= [ 627, 666 ],
256    next:= [ rec(
257      desc:= [ 302009, 114003, 214002 ],
258      fp:= [ 2, 12 ],
259      next:= [ 262226, 262228 ] ), rec(
260      desc:= [ 302013, 112003, 212002 ],
261      fp:= [ 2, 12 ],
262      next:= [ 262236, 262234 ] ) ] ), rec(
263    fp:= [ 541, 627 ],
264    next:= [ rec(
265      desc:= [ 302010, 302022 ],
266      fp:= [ 622, 1041 ],
267      next:= [ 269670, 269672 ] ), rec(
268      desc:= [ 302010, 213003 ],
269      fp:= [ 2, 111 ],
270      next:= [ 269678, 269680 ] ) ] ), rec(
271    fp:= [ 775 ],
272    next:= [ rec(
273      desc:= [ 113003 ],
274      fp:= [ 4, 14 ],
275      next:= [ 279798, 279795 ] ) ] ), rec(
276    fp:= [ 519, 624, 758 ],
277    next:= [ rec(
278      desc:= [ 115003 ],
279      fp:= [ 2, 12 ],
280      next:= [ 295800, 295796 ] ), rec(
281      desc:= [ 302011, 213002 ],
282      fp:= [ 2, 12 ],
283      next:= [ 295793, 295791 ] ), rec(
284      desc:= [ 114003 ],
285      fp:= [ 2, 12 ],
286      next:= [ 295801, 295803 ] ) ] ), rec(
287    fp:= [ 833 ],
288    next:= [ rec(
289      desc:= [ 302010, 209002 ],
290      fp:= [ 2, 12 ],
291      next:= [ 300205, 300202 ] ) ] ), rec(
292    fp:= [ 799 ],
293    next:= [ rec(
294      fp:= [ 8661, 11351 ],
295      level:= 5,
296      next:= [ 304585, 304597 ] ) ] ), rec(
297    fp:= [ 744 ],
298    next:= [ rec(
299      desc:= [ 107003 ],
300      fp:= [ 13, 211 ],
301      next:= [ 308998, 309003 ] ) ] ), rec(
302    fp:= [ 1093 ],
303    next:= [ rec(
304      fp:= [ 30115, 30503 ],
305      level:= 5,
306      next:= [ 330743, 330741 ] ) ] ), rec(
307    fp:= [ 1018, 1020, 1122, 1126 ],
308    next:= [ rec(
309      desc:= [ 108003, 302005, 208002, 302009, 211002 ],
310      fp:= [ 418, 814 ],
311      next:= [ 336051, 336043 ] ), rec(
312      desc:= [ 108003 ],
313      fp:= [ 12, 814 ],
314      next:= [ 336053, rec(
315        desc:= [ 302005, 302007, 209002, 302010, 212002 ],
316        fp:= [ 8, 414 ],
317        next:= [ 336049, 336041 ] ) ] ), rec(
318      desc:= [ 108003 ],
319      fp:= [ 12, 814 ],
320      next:= [ 336052, rec(
321        desc:= [ 302013, 210002 ],
322        fp:= [ 8, 414 ],
323        next:= [ 336040, 336048 ] ) ] ), rec(
324      desc:= [ 108003 ],
325      fp:= [ 8, 414 ],
326      next:= [ 336050, rec(
327        desc:= [ 302012, 210002 ],
328        fp:= [ 4, 14 ],
329        next:= [ 336054, 336046 ] ) ] ) ] ), rec(
330    fp:= [ 1027, 1036 ],
331    next:= [ rec(
332      desc:= [ 108003 ],
333      fp:= [ 620, 1016 ],
334      next:= [ 340382, 340388 ] ), rec(
335      fp:= [ 63747, 66795, 89740 ],
336      level:= 5,
337      next:= [ 340392, 340390, 340396 ] ) ] ), rec(
338    fp:= [ 1144 ],
339    next:= [ rec(
340      desc:= [ 302011 ],
341      fp:= [ 784, 89161 ],
342      next:= [ 351446, 351456 ] ) ] ), rec(
343    fp:= [ 1192, 1262, 1310 ],
344    next:= [ rec(
345      desc:= [ 302007 ],
346      fp:= [ 28561, 38362 ],
347      next:= [ 357579, 357594 ] ), rec(
348      desc:= [ 114011 ],
349      fp:= [ 8, 414 ],
350      next:= [ 357582, 357599 ] ), rec(
351      desc:= [ 114011 ],
352      fp:= [ 8, 414 ],
353      next:= [ 357598, 357600 ] ) ] ), rec(
354    fp:= [ 1071 ],
355    next:= [ rec(
356      fp:= [ 31556, 91143 ],
357      level:= 5,
358      next:= [ 364425, 364428 ] ) ] ), rec(
359    fp:= [ 1121, 1122, 1123, 1126 ],
360    next:= [ rec(
361      desc:= [ 105003 ],
362      fp:= [ 4, 14 ],
363      next:= [ 375920, 375931 ] ), rec(
364      desc:= [ 302006, 210002 ],
365      fp:= [ 814, 1012 ],
366      next:= [ rec(
367        desc:= [ 209002 ],
368        fp:= [ 8, 414 ],
369        next:= [ 375932, 375928 ] ), 375924 ] ), rec(
370      desc:= [ 105003 ],
371      fp:= [ 4, 14 ],
372      next:= [ 375922, 375925 ] ), rec(
373      desc:= [ 302006 ],
374      fp:= [ 17060, 26861 ],
375      next:= [ 375930, rec(
376        desc:= [ 209002 ],
377        fp:= [ 8, 414 ],
378        next:= [ 375926, 375934 ] ) ] ) ] ), rec(
379    fp:= [ 1015 ],
380    next:= [ rec(
381      desc:= [ 111011 ],
382      fp:= [ 8, 18 ],
383      next:= [ 396775, 396776 ] ) ] ), rec(
384    fp:= [ 1230 ],
385    next:= [ rec(
386      fp:= [ 8027, 71545 ],
387      level:= 5,
388      next:= [ 403699, 403689 ] ) ] ), rec(
389    fp:= [ 1182, 1237, 1242, 1494 ],
390    next:= [ rec(
391      desc:= [ 106003 ],
392      fp:= [ 418, 616 ],
393      next:= [ 411386, 411390 ] ), rec(
394      desc:= [ 106003 ],
395      fp:= [ 616, 1012 ],
396      next:= [ 411406, 411382 ] ), rec(
397      fp:= [ 52786, 88929 ],
398      level:= 5,
399      next:= [ 411398, 411404 ] ), rec(
400      desc:= [ 106003 ],
401      fp:= [ 816, 1014 ],
402      next:= [ 411379, 411383 ] ) ] ), rec(
403    fp:= [ 1190 ],
404    next:= [ rec(
405      fp:= [ 90187, 96839 ],
406      level:= 5,
407      next:= [ 429057, 429044 ] ) ] ), rec(
408    fp:= [ 1178, 1320 ],
409    next:= [ rec(
410      fp:= [ 18529, 50079 ],
411      level:= 5,
412      next:= [ 436586, 436573 ] ), rec(
413      desc:= [ 302006 ],
414      fp:= [ 28561, 38362 ],
415      next:= [ 436570, 436566 ] ) ] ), rec(
416    fp:= [ 1184 ],
417    next:= [ rec(
418      desc:= [ 108003 ],
419      fp:= [ 18, 216 ],
420      next:= [ 443762, 443766 ] ) ] ), rec(
421    fp:= [ 1034, 1155, 1239, 1314 ],
422    next:= [ rec(
423      desc:= [ 106003 ],
424      fp:= [ 620, 1016 ],
425      next:= [ 450092, 450096 ] ), rec(
426      desc:= [ 106003 ],
427      fp:= [ 218, 614 ],
428      next:= [ 450098, 450105 ] ), rec(
429      fp:= [ 18529, 50079 ],
430      level:= 5,
431      next:= [ 450094, 450095 ] ), rec(
432      desc:= [ 106003 ],
433      fp:= [ 220, 616 ],
434      next:= [ 450102, 450107 ] ) ] ), rec(
435    fp:= [ 1461, 1500 ],
436    next:= [ rec(
437      desc:= [ 106003 ],
438      fp:= [ 220, 418 ],
439      next:= [ 457171, 457175 ] ), rec(
440      desc:= [ 106003 ],
441      fp:= [ 418, 616 ],
442      next:= [ 457191, 457187 ] ) ] ), rec(
443    fp:= [ 1532 ],
444    next:= [ rec(
445      desc:= [ 302006 ],
446      fp:= [ 18661, 28462 ],
447      next:= [ 465059, 465067 ] ) ] ), rec(
448    fp:= [ 1293 ],
449    next:= [ rec(
450      desc:= [ 107003 ],
451      fp:= [ 6, 214 ],
452      next:= [ 474158, 474156 ] ) ] ), rec(
453    fp:= [ 1169, 1212, 1237, 1486, 1563 ],
454    next:= [ rec(
455      desc:= [ 107003 ],
456      fp:= [ 16, 214 ],
457      next:= [ 483074, 483070 ] ), rec(
458      desc:= [ 302008 ],
459      fp:= [ 18463, 28264, 62443 ],
460      next:= [ 483072, 483062, 483066 ] ), rec(
461      desc:= [ 107003 ],
462      fp:= [ 8, 612 ],
463      next:= [ 483082, 483088 ] ), rec(
464      desc:= [ 107003 ],
465      fp:= [ 614, 812 ],
466      next:= [ 483091, 483079 ] ), rec(
467      desc:= [ 302009 ],
468      fp:= [ 346, 54682 ],
469      next:= [ 483081, 483089 ] ) ] ), rec(
470    fp:= [ 1408 ],
471    next:= [ rec(
472      fp:= [ 8961, 53352 ],
473      level:= 5,
474      next:= [ 492263, 492259 ] ) ] ), rec(
475    fp:= [ 1262, 1384 ],
476    next:= [ rec(
477      desc:= [ 108003 ],
478      fp:= [ 8, 612 ],
479      next:= [ 500982, 500984 ] ), rec(
480      fp:= [ 29426, 97122 ],
481      level:= 5,
482      next:= [ 500989, 500996 ] ) ] ), rec(
483    fp:= [ 1248, 1395 ],
484    next:= [ rec(
485      fp:= [ 24043, 95974 ],
486      level:= 5,
487      next:= [ 510181, 510188 ] ), rec(
488      fp:= [ 37695, 72962 ],
489      level:= 5,
490      next:= [ 510200, 510193 ] ) ] ), rec(
491    fp:= [ 1189, 1327 ],
492    next:= [ rec(
493      fp:= [ 34801, 88357 ],
494      level:= 5,
495      next:= [ 518928, 518944 ] ), rec(
496      fp:= [ 36443, 67348 ],
497      level:= 5,
498      next:= [ 518938, 518942 ] ) ] ), rec(
499    fp:= [ 1364, 1520 ],
500    next:= [ rec(
501      fp:= [ 39142, 43303 ],
502      level:= 5,
503      next:= [ 527540, 527517 ] ), rec(
504      desc:= [ 106003 ],
505      fp:= [ 416, 614 ],
506      next:= [ 527527, 527531 ] ) ] ), rec(
507    fp:= [ 1227, 1302 ],
508    next:= [ rec(
509      desc:= [ 302007 ],
510      fp:= [ 39224, 45933 ],
511      next:= [ 534405, 534398 ] ), rec(
512      desc:= [ 106003 ],
513      fp:= [ 216, 612 ],
514      next:= [ 534406, 534407 ] ) ] ), rec(
515    fp:= [ 1070, 1212 ],
516    next:= [ rec(
517      desc:= [ 108003 ],
518      fp:= [ 816, 1014 ],
519      next:= [ 549400, 549422 ] ), rec(
520      fp:= [ 39975, 57049 ],
521      level:= 5,
522      next:= [ 549402, 549423 ] ) ] ), rec(
523    fp:= [ 1306, 1424 ],
524    next:= [ rec(
525      desc:= [ 107003 ],
526      fp:= [ 416, 614 ],
527      next:= [ 558170, 558190 ] ), rec(
528      desc:= [ 302008 ],
529      fp:= [ 38442, 39323, 49303 ],
530      next:= [ 558185, 558187, 558199 ] ) ] ), rec(
531    fp:= [ 1105 ],
532    next:= [ rec(
533      fp:= [ 23330, 56814 ],
534      level:= 5,
535      next:= [ 567280, 567294 ] ) ] ), rec(
536    fp:= [ 1105, 1197, 1320, 1461 ],
537    next:= [ rec(
538      desc:= [ 106003 ],
539      fp:= [ 226, 622 ],
540      next:= [ 576306, 576314 ] ), rec(
541      desc:= [ 302006 ],
542      fp:= [ 38461, 48441 ],
543      next:= [ 576302, 576316 ] ), rec(
544      fp:= [ 41049, 46411 ],
545      level:= 5,
546      next:= [ 576318, 576313 ] ), rec(
547      desc:= [ 105003 ],
548      fp:= [ 220, 418 ],
549      next:= [ 576309, 576307 ] ) ] ), rec(
550    fp:= [ 1333 ],
551    next:= [ rec(
552      desc:= [ 302008 ],
553      fp:= [ 38461, 48262 ],
554      next:= [ 594556, 594540 ] ) ] ), rec(
555    fp:= [ 1226 ],
556    next:= [ rec(
557      fp:= [ 32728, 94494 ],
558      level:= 5,
559      next:= [ 601860, 601869 ] ) ] ), rec(
560    fp:= [ 1177 ],
561    next:= [ rec(
562      fp:= [ 9632, 71398 ],
563      level:= 5,
564      next:= [ 608293, 608272 ] ) ] ), rec(
565    fp:= [ 1141, 1221 ],
566    next:= [ rec(
567      desc:= [ 107003 ],
568      fp:= [ 4, 212 ],
569      next:= [ 615582, 615577 ] ), rec(
570      desc:= [ 107003 ],
571      fp:= [ 6, 412 ],
572      next:= [ 615570, 615573 ] ) ] ), rec(
573    fp:= [ 1448, 1523, 1597 ],
574    next:= [ rec(
575      desc:= [ 106003 ],
576      fp:= [ 20, 614 ],
577      next:= [ 631217, 631206 ] ), rec(
578      desc:= [ 105003 ],
579      fp:= [ 416, 614 ],
580      next:= [ 631225, 631211 ] ), rec(
581      desc:= [ 107003, 110003, 302006, 302008, 302013, 304013, 211004,
58240207012 ],
583      fp:= [ 2, 741 ],
584      next:= [ 631208, 631224 ] ) ] ), rec(
585    fp:= [ 1429 ],
586    next:= [ rec(
587      fp:= [ 28312, 48383 ],
588      level:= 5,
589      next:= [ 639177, 639180 ] ) ] ), rec(
590    fp:= [ 1471, 1490 ],
591    next:= [ rec(
592      desc:= [ 107003 ],
593      fp:= [ 8, 612 ],
594      next:= [ 648115, 648133 ] ), rec(
595      desc:= [ 302006 ],
596      fp:= [ 285, 38461 ],
597      next:= [ 648122, 648137 ] ) ] ), rec(
598    fp:= [ 1204, 1212 ],
599    next:= [ rec(
600      fp:= [ 11232, 63570 ],
601      level:= 5,
602      next:= [ 656912, 656910 ] ), rec(
603      fp:= [ 26317, 65268 ],
604      level:= 5,
605      next:= [ 656914, 656905 ] ) ] ), rec(
606    fp:= [ 1170, 1252, 1322, 1476, 1499 ],
607    next:= [ rec(
608      desc:= [ 105003 ],
609      fp:= [ 220, 418 ],
610      next:= [ 665812, 665817 ] ), rec(
611      desc:= [ 302008 ],
612      fp:= [ 73937, 83738, 90447 ],
613      next:= [ 665807, 665806, 665803 ] ), rec(
614      desc:= [ 105003 ],
615      fp:= [ 618, 816 ],
616      next:= [ 665818, 665804 ] ), rec(
617      desc:= [ 302005 ],
618      fp:= [ 384, 48361 ],
619      next:= [ 665815, rec(
620        desc:= [ 209002 ],
621        fp:= [ 422, 620 ],
622        next:= [ 665811, 665801 ] ) ] ), rec(
623      desc:= [ 105003 ],
624      fp:= [ 614, 812 ],
625      next:= [ 665808, 665805 ] ) ] ), rec(
626    fp:= [ 1194, 1201, 1452, 1453, 2185 ],
627    next:= [ rec(
628      desc:= [ 105003 ],
629      fp:= [ 420, 618 ],
630      next:= [ 674655, 674631 ] ), rec(
631      desc:= [ 106003 ],
632      fp:= [ 420, 618 ],
633      next:= [ 674641, 674643 ] ), rec(
634      desc:= [ 106003 ],
635      fp:= [ 20, 218 ],
636      next:= [ 674659, 674635 ] ), rec(
637      desc:= [ 302009 ],
638      fp:= [ 44782, 45121, 87127 ],
639      next:= [ 674657, 674634, 674642 ] ), rec(
640      desc:= [ 106003 ],
641      fp:= [ 226, 424 ],
642      next:= [ 674632, 674648 ] ) ] ), rec(
643    fp:= [ 1308, 1441, 1513 ],
644    next:= [ rec(
645      fp:= [ 53255, 87084 ],
646      level:= 5,
647      next:= [ 683213, 683216 ] ), rec(
648      desc:= [ 302008 ],
649      fp:= [ 18661, 28462 ],
650      next:= [ 683217, 683219 ] ), rec(
651      fp:= [ 17386, 83218 ],
652      level:= 5,
653      next:= [ 683211, 683215 ] ) ] ), rec(
654    fp:= [ 1500, 1534 ],
655    next:= [ rec(
656      desc:= [ 106003 ],
657      fp:= [ 414, 612 ],
658      next:= [ 692427, 692435 ] ), rec(
659      desc:= [ 105003 ],
660      fp:= [ 416, 614 ],
661      next:= [ 692437, 692438 ] ) ] ), rec(
662    fp:= [ 1135, 1142, 1410, 1417, 1510 ],
663    next:= [ rec(
664      fp:= [ 64878, 92379 ],
665      level:= 5,
666      next:= [ 701711, 701715 ] ), rec(
667      fp:= [ 39323, 42287 ],
668      level:= 5,
669      next:= [ 701717, rec(
670        desc:= [ 302011 ],
671        fp:= [ 24982, 34783 ],
672        next:= [ 701729, 701726 ] ) ] ), rec(
673      fp:= [ 68214, 84726 ],
674      level:= 5,
675      next:= [ 701738, 701713 ] ), rec(
676      desc:= [ 302009 ],
677      fp:= [ 28264, 62443 ],
678      next:= [ 701730, 701722 ] ), rec(
679      desc:= [ 302009 ],
680      fp:= [ 8662, 18463, 62443 ],
681      next:= [ 701739, 701733, 701714 ] ) ] ), rec(
682    fp:= [ 1519 ],
683    next:= [ rec(
684      desc:= [ 302007 ],
685      fp:= [ 662, 48361 ],
686      next:= [ 710761, 710751 ] ) ] ), rec(
687    fp:= [ 1461 ],
688    next:= [ rec(
689      fp:= [ 26859, 92827 ],
690      level:= 5,
691      next:= [ 719989, 719982 ] ) ] ), rec(
692    fp:= [ 1208, 1290 ],
693    next:= [ rec(
694      desc:= [ 302007, 212002 ],
695      fp:= [ 9, 712 ],
696      next:= [ 729146, 729154 ] ), rec(
697      desc:= [ 107003 ],
698      fp:= [ 420, 618 ],
699      next:= [ 729139, 729149 ] ) ] ), rec(
700    fp:= [ 1258 ],
701    next:= [ rec(
702      fp:= [ 86574, 89207 ],
703      level:= 5,
704      next:= [ 738246, 738262 ] ) ] ), rec(
705    fp:= [ 1305, 1520 ],
706    next:= [ rec(
707      desc:= [ 107003 ],
708      fp:= [ 1014, 1212 ],
709      next:= [ 765467, 765482 ] ), rec(
710      desc:= [ 302007 ],
711      fp:= [ 38461, 48262 ],
712      next:= [ 765487, 765483 ] ) ] ), rec(
713    fp:= [ 1188, 1272, 1408 ],
714    next:= [ rec(
715      desc:= [ 107003 ],
716      fp:= [ 20, 218 ],
717      next:= [ 774376, 774379 ] ), rec(
718      fp:= [ 12570, 63071 ],
719      level:= 5,
720      next:= [ 774380, 774385 ] ), rec(
721      desc:= [ 302008 ],
722      fp:= [ 48361, 58341 ],
723      next:= [ 774384, 774373 ] ) ] ), rec(
724    fp:= [ 1240 ],
725    next:= [ rec(
726      desc:= [ 302006 ],
727      fp:= [ 18661, 28641 ],
728      next:= [ 783170, 783159 ] ) ] ), rec(
729    fp:= [ 1141, 1531 ],
730    next:= [ rec(
731      fp:= [ 48852, 99234 ],
732      level:= 5,
733      next:= [ 792196, 792212 ] ), rec(
734      desc:= [ 106003 ],
735      fp:= [ 218, 416 ],
736      next:= [ 792216, 792215 ] ) ] ), rec(
737    fp:= [ 1405 ],
738    next:= [ rec(
739      desc:= [ 302008 ],
740      fp:= [ 18661, 28641 ],
741      next:= [ 801028, 801044 ] ) ] ), rec(
742    fp:= [ 1128 ],
743    next:= [ rec(
744      desc:= [ 107003 ],
745      fp:= [ 218, 614 ],
746      next:= [ 807070, 807056 ] ) ] ), rec(
747    fp:= [ 1259, 1564, 1570 ],
748    next:= [ rec(
749      desc:= [ 302008 ],
750      fp:= [ 42643, 59153 ],
751      next:= [ 824322, 824302 ] ), rec(
752      desc:= [ 302008 ],
753      fp:= [ 42723, 62249 ],
754      next:= [ 824311, rec(
755        desc:= [ 213002 ],
756        fp:= [ 6, 412 ],
757        next:= [ 824317, 824305 ] ) ] ), rec(
758      desc:= [ 302008 ],
759      fp:= [ 42803, 49333 ],
760      next:= [ 824307, 824321 ] ) ] ), rec(
761    fp:= [ 1403, 1408, 1410, 1579 ],
762    next:= [ rec(
763      desc:= [ 108003 ],
764      fp:= [ 14, 212 ],
765      next:= [ 831021, 831006 ] ), rec(
766      desc:= [ 302011 ],
767      fp:= [ 1806, 80547, 84317 ],
768      next:= [ 831002, 831014, 831005 ] ), rec(
769      desc:= [ 302007, 313016, 313019, 118005, 304015, 308019, 40508010 ],
770      fp:= [ 1, 1921 ],
771      next:= [ 831027, 831011 ] ), rec(
772      desc:= [ 302009, 109003, 211002, 302012, 40207010 ],
773      fp:= [ 1, 1281 ],
774      next:= [ 831016, 831008 ] ) ] ), rec(
775    fp:= [ 1177 ],
776    next:= [ rec(
777      desc:= [ 107003 ],
778      fp:= [ 216, 414 ],
779      next:= [ 839314, 839318 ] ) ] ), rec(
780    fp:= [ 1282, 1317, 1387, 1445, 1451, 1506, 1508, 1565 ],
781    next:= [ rec(
782      desc:= [ 109011 ],
783      fp:= [ 8, 414 ],
784      next:= [ 848366, 848368 ] ), rec(
785      desc:= [ 302004 ],
786      fp:= [ 285, 38461 ],
787      next:= [ 848364, 848376 ] ), rec(
788      desc:= [ 104003 ],
789      fp:= [ 16, 214 ],
790      next:= [ 848361, 848374 ] ), rec(
791      desc:= [ 302005 ],
792      fp:= [ 36193, 98956 ],
793      next:= [ 848363, 848365 ] ), rec(
794      desc:= [ 302004 ],
795      fp:= [ 483, 58261 ],
796      next:= [ 848369, 848362 ] ), rec(
797      desc:= [ 302006 ],
798      fp:= [ 544, 64681 ],
799      next:= [ 848387, 848375 ] ), rec(
800      desc:= [ 104003 ],
801      fp:= [ 16, 214, 412 ],
802      next:= [ 848384, 848386, 848383 ] ), rec(
803      desc:= [ 104003 ],
804      fp:= [ 2, 12 ],
805      next:= [ 848389, 848371 ] ) ] ), rec(
806    fp:= [ 1432 ],
807    next:= [ rec(
808      fp:= [ 24922, 77716 ],
809      level:= 5,
810      next:= [ 857381, 857399 ] ) ] ), rec(
811    fp:= [ 1307, 1445 ],
812    next:= [ rec(
813      desc:= [ 106003 ],
814      fp:= [ 416, 614 ],
815      next:= [ 875923, 875946 ] ), rec(
816      desc:= [ 302006 ],
817      fp:= [ 36193, 98956 ],
818      next:= [ 875951, 875944 ] ) ] ), rec(
819    fp:= [ 1404, 1414, 1443 ],
820    next:= [ rec(
821      desc:= [ 106003 ],
822      fp:= [ 16, 214 ],
823      next:= [ 885087, 885110 ] ), rec(
824      desc:= [ 106003 ],
825      fp:= [ 16, 214 ],
826      next:= [ 885104, 885111 ] ), rec(
827      desc:= [ 106003 ],
828      fp:= [ 214, 412 ],
829      next:= [ 885099, 885108 ] ) ] ), rec(
830    fp:= [ 1450 ],
831    next:= [ rec(
832      fp:= [ 22299, 69166 ],
833      level:= 5,
834      next:= [ 894340, 894366 ] ) ] ), rec(
835    fp:= [ 1453, 1457, 1555 ],
836    next:= [ rec(
837      desc:= [ 302008 ],
838      fp:= [ 544, 64681 ],
839      next:= [ 903606, 903624 ] ), rec(
840      desc:= [ 302007 ],
841      fp:= [ 35934, 46343, 60015 ],
842      next:= [ 903604, 903609, 903619 ] ), rec(
843      desc:= [ 302008 ],
844      fp:= [ 44881, 54682 ],
845      next:= [ 903615, 903633 ] ) ] ), rec(
846    fp:= [ 1421 ],
847    next:= [ rec(
848      fp:= [ 6115, 51680 ],
849      level:= 5,
850      next:= [ 912779, 912792 ] ) ] ), rec(
851    fp:= [ 1457, 1512 ],
852    next:= [ rec(
853      desc:= [ 107003 ],
854      fp:= [ 16, 214 ],
855      next:= [ 922037, 922019 ] ), rec(
856      desc:= [ 107003 ],
857      fp:= [ 14, 212 ],
858      next:= [ 922043, 922042 ] ) ] ), rec(
859    fp:= [ 1452, 1505, 1530 ],
860    next:= [ rec(
861      desc:= [ 302006 ],
862      fp:= [ 483, 58261 ],
863      next:= [ 931116, 931124 ] ), rec(
864      desc:= [ 106003 ],
865      fp:= [ 6, 214 ],
866      next:= [ 931137, 931119 ] ), rec(
867      desc:= [ 302007, 304011, 113003, 213005 ],
868      fp:= [ 6, 412 ],
869      next:= [ 931132, 931140 ] ) ] ), rec(
870    fp:= [ 1164, 1404, 1452, 1569 ],
871    next:= [ rec(
872      desc:= [ 107003 ],
873      fp:= [ 216, 414 ],
874      next:= [ 940154, 940146 ] ), rec(
875      desc:= [ 107003 ],
876      fp:= [ 14, 212 ],
877      next:= [ 940158, 940148 ] ), rec(
878      desc:= [ 302008, 213002 ],
879      fp:= [ 6, 412 ],
880      next:= [ 940163, 940161 ] ), rec(
881      desc:= [ 107003 ],
882      fp:= [ 2, 12 ],
883      next:= [ 940149, 940157 ] ) ] ), rec(
884    fp:= [ 1201, 1477 ],
885    next:= [ rec(
886      desc:= [ 106003 ],
887      fp:= [ 614, 812 ],
888      next:= [ 949397, 949398 ] ), rec(
889      desc:= [ 302007 ],
890      fp:= [ 59153, 69133 ],
891      next:= [ 949392, 949418 ] ) ] ), rec(
892    fp:= [ 1410 ],
893    next:= [ rec(
894      fp:= [ 52310, 79464 ],
895      level:= 5,
896      next:= [ rec(
897        desc:= [ 302007 ],
898        fp:= [ 582, 761 ],
899        next:= [ 958571, 958567 ] ), rec(
900        desc:= [ 302010 ],
901        fp:= [ 73838, 97057 ],
902        next:= [ 958582, 958577 ] ) ] ) ] ), rec(
903    fp:= [ 1175, 1350, 1400, 1429, 1435 ],
904    next:= [ rec(
905      fp:= [ 19778, 53427 ],
906      level:= 5,
907      next:= [ 967709, 967726 ] ), rec(
908      desc:= [ 108003 ],
909      fp:= [ 14, 212 ],
910      next:= [ 967724, 967727 ] ), rec(
911      fp:= [ 42815, 58102 ],
912      level:= 5,
913      next:= [ 967736, 967738 ] ), rec(
914      fp:= [ 83802, 95103 ],
915      level:= 5,
916      next:= [ 967735, 967713 ] ), rec(
917      desc:= [ 107003 ],
918      fp:= [ 2, 12 ],
919      next:= [ 967712, 967730 ] ) ] ), rec(
920    fp:= [ 1556 ],
921    next:= [ rec(
922      fp:= [ 29178, 81361 ],
923      level:= 5,
924      next:= [ 976869, 976887 ] ) ] ), rec(
925    fp:= [ 1490, 1501, 1508 ],
926    next:= [ rec(
927      desc:= [ 302006 ],
928      fp:= [ 42544, 42723, 49253 ],
929      next:= [ 994994, 994976, 994981 ] ), rec(
930      desc:= [ 105003 ],
931      fp:= [ 6, 412 ],
932      next:= [ 994986, 994999 ] ), rec(
933      desc:= [ 105003 ],
934      fp:= [ 6, 412 ],
935      next:= [ 994991, 994978 ] ) ] ), rec(
936    fp:= [ 1453 ],
937    next:= [ rec(
938      desc:= [ 106003 ],
939      fp:= [ 214, 412 ],
940      next:= [ 1003850, 1003832 ] ) ] ), rec(
941    fp:= [ 1090, 1156, 1213, 1291 ],
942    next:= [ rec(
943      fp:= [ 27809, 43631 ],
944      level:= 5,
945      next:= [ 1011239, 1011236 ] ), rec(
946      fp:= [ 6980, 14708, 23772 ],
947      level:= 5,
948      next:= [ 1011237, 1011244, 1011231 ] ), rec(
949      fp:= [ 5687, 73230 ],
950      level:= 5,
951      next:= [ 1011247, 1011258 ] ), rec(
952      fp:= [ 55106, 57990 ],
953      level:= 5,
954      next:= [ 1011242, 1011233 ] ) ] ), rec(
955    fp:= [ 1037, 1097, 1185, 1284 ],
956    next:= [ rec(
957      desc:= [ 302005 ],
958      fp:= [ 38442, 55833 ],
959      next:= [ 1018238, 1018242 ] ), rec(
960      desc:= [ 105003 ],
961      fp:= [ 28, 820 ],
962      next:= [ 1018236, 1018247 ] ), rec(
963      fp:= [ 68130, 68285 ],
964      level:= 5,
965      next:= [ 1018243, 1018234 ] ), rec(
966      fp:= [ 68130, 68285 ],
967      level:= 5,
968      next:= [ rec(
969        desc:= [ 302007 ],
970        fp:= [ 56521, 66581 ],
971        next:= [ 1018245, 1018240 ] ), 1018241 ] ) ] ), rec(
972    fp:= [ 1223 ],
973    next:= [ rec(
974      fp:= [ 9732, 54308 ],
975      level:= 5,
976      next:= [ 1026052, 1026054 ] ) ] ), rec(
977    fp:= [ 1834, 1964, 2113, 2120 ],
978    next:= [ rec(
979      desc:= [ 107003, 116003, 308016, 40803004 ],
980      fp:= [ 1, 321 ],
981      next:= [ 1060331, 1060347 ] ), rec(
982      desc:= [ 108003, 117003, 309017, 40904005 ],
983      fp:= [ 1, 961 ],
984      next:= [ 1060351, 1060335 ] ), rec(
985      fp:= [ 24941, 67118 ],
986      level:= 5,
987      next:= [ 1060340, 1060354 ] ), rec(
988      fp:= [ 20380, 77864 ],
989      level:= 5,
990      next:= [ 1060336, 1060342 ] ) ] ), rec(
991    fp:= [ 2052 ],
992    next:= [ rec(
993      fp:= [ 22901, 88368 ],
994      level:= 5,
995      next:= [ 1066582, 1066570 ] ) ] ), rec(
996    fp:= [ 2007 ],
997    next:= [ rec(
998      fp:= [ 53909, 98719 ],
999      level:= 5,
1000      next:= [ 1073019, 1073017 ] ) ] ), rec(
1001    fp:= [ 2203 ],
1002    next:= [ rec(
1003      desc:= [ 108003 ],
1004      fp:= [ 12, 814 ],
1005      next:= [ 1077493, 1077486 ] ) ] ), rec(
1006    fp:= [ 2295 ],
1007    next:= [ rec(
1008      fp:= [ 70256, 79877 ],
1009      level:= 5,
1010      next:= [ 1083294, 1083295 ] ) ] ) ] );
1011