1#############################################################################
2##
3#W  id8.ao                 GAP library of id's             Hans Ulrich Besche
4##
5
6ID_GROUP_TREE.next[8].next[1].next[15]:=
7rec(
8  fp:= [ 3614, 4214, 6914, 7214, 7514, 7814, 8114, 8414, 8714, 9014, 9314,
99614, 9914, 11714, 13214, 14114, 15014, 15314, 15614, 17114, 17714, 19814,
1020114, 21014, 21314, 21614, 22514, 23714, 24314, 24914, 25214, 27014, 27314,
1128814, 29714, 30914, 31214, 31514, 31814, 32114, 32414, 33014, 33314, 33614,
1233914, 34514, 35114, 35414, 35714, 36014, 36314, 36614, 36914, 37214, 37514,
1337814, 38114, 38414, 38714, 39014, 39614, 39914, 40514, 40814, 41114, 41414,
1441714, 42014, 42314, 42614, 42914, 43214, 43514, 43814, 44114, 44414, 44714,
1545014, 45314, 45614, 46214, 46514, 46814, 47114, 47414, 47714, 48014, 48314,
1648614, 49214, 49814, 50114, 50414, 50714, 51014, 51314, 51614, 51914, 52214,
1752514, 52814, 54014, 54614 ],
18  next:= [ rec(
19    fp:= [ 28, 535 ],
20    next:= [ rec(
21      desc:= [ 107003, 302004, 303009, 206003, 214003, 306014, 306018,
2240612011 ],
23      fp:= [ 2, 7781 ],
24      next:= [ 74335, 74334 ] ), rec(
25      desc:= [ 302014, 108003, 206002, 302007, 217003, 307015, 307018,
2640712014 ],
27      fp:= [ 2, 2661 ],
28      next:= [ 74333, 74332 ] ) ] ), rec(
29    fp:= [ 464 ],
30    next:= [ rec(
31      desc:= [ 108003 ],
32      fp:= [ 4, 14 ],
33      next:= [ 77589, 77590 ] ) ] ), rec(
34    fp:= [ 167 ],
35    next:= [ rec(
36      desc:= [ 105003 ],
37      fp:= [ 16, 1214 ],
38      next:= [ 91982, 91980 ] ) ] ), rec(
39    fp:= [ 168, 1023 ],
40    next:= [ rec(
41      desc:= [ 105003 ],
42      fp:= [ 818, 1214 ],
43      next:= [ 95600, rec(
44        desc:= [ 112011 ],
45        fp:= [ 24, 1618 ],
46        next:= [ 95594, 95599 ] ) ] ), rec(
47      fp:= [ 51684, 89199 ],
48      level:= 5,
49      next:= [ 95593, 95597 ] ) ] ), rec(
50    fp:= [ 168, 1018 ],
51    next:= [ rec(
52      desc:= [ 111011 ],
53      fp:= [ 16, 818, 1214 ],
54      next:= [ 98996, 99002, 99004 ] ), rec(
55      desc:= [ 105003 ],
56      fp:= [ 16, 1214 ],
57      next:= [ 98997, 99005 ] ) ] ), rec(
58    fp:= [ 165, 174 ],
59    next:= [ rec(
60      desc:= [ 106003 ],
61      fp:= [ 8, 414 ],
62      next:= [ 102375, 102381 ] ), rec(
63      desc:= [ 105003 ],
64      fp:= [ 12, 814 ],
65      next:= [ 102376, 102380 ] ) ] ), rec(
66    fp:= [ 1024 ],
67    next:= [ rec(
68      desc:= [ 108003 ],
69      fp:= [ 4, 14 ],
70      next:= [ 106128, 106130 ] ) ] ), rec(
71    fp:= [ 173 ],
72    next:= [ rec(
73      desc:= [ 106003 ],
74      fp:= [ 416, 614, 812 ],
75      next:= [ 109665, 109657, 109662 ] ) ] ), rec(
76    fp:= [ 168, 171, 172, 173 ],
77    next:= [ rec(
78      desc:= [ 106003 ],
79      fp:= [ 6, 412 ],
80      next:= [ 113963, 113960 ] ), rec(
81      desc:= [ 302006 ],
82      fp:= [ 1264, 36860 ],
83      next:= [ rec(
84        desc:= [ 106003 ],
85        fp:= [ 8, 414 ],
86        next:= [ 113957, 113965 ] ), 113956 ] ), rec(
87      desc:= [ 106003 ],
88      fp:= [ 8, 612 ],
89      next:= [ 113954, 113964 ] ), rec(
90      desc:= [ 105003 ],
91      fp:= [ 8, 414 ],
92      next:= [ 113966, 113958 ] ) ] ), rec(
93    fp:= [ 166, 168, 173, 174, 1020 ],
94    next:= [ rec(
95      desc:= [ 105003 ],
96      fp:= [ 214, 412 ],
97      next:= [ 118122, 118115 ] ), rec(
98      desc:= [ 105003 ],
99      fp:= [ 16, 214 ],
100      next:= [ 118123, 118113 ] ), rec(
101      desc:= [ 302005 ],
102      fp:= [ 1165, 26960, 36761 ],
103      next:= [ 118117, rec(
104        desc:= [ 208002 ],
105        fp:= [ 26, 422, 1214 ],
106        next:= [ 118124, 118114, 118126 ] ), 118125 ] ), rec(
107      desc:= [ 302005 ],
108      fp:= [ 1165, 26960 ],
109      next:= [ 118116, 118112 ] ), rec(
110      desc:= [ 302004 ],
111      fp:= [ 1264, 36860 ],
112      next:= [ 118120, 118119 ] ) ] ), rec(
113    fp:= [ 171, 173, 176 ],
114    next:= [ rec(
115      desc:= [ 302008 ],
116      fp:= [ 49700, 59501 ],
117      next:= [ rec(
118        desc:= [ 109003 ],
119        fp:= [ 8, 414 ],
120        next:= [ 122263, rec(
121          desc:= [ 303007 ],
122          fp:= [ 4, 461 ],
123          next:= [ 122262, rec(
124            desc:= [ 109003, 209002 ],
125            fp:= [ 4, 212 ],
126            next:= [ 122264, 122252 ] ) ] ) ] ), 122261 ] ), rec(
127      desc:= [ 302006, 110003, 210002 ],
128      fp:= [ 2, 12 ],
129      next:= [ 122256, 122260 ] ), rec(
130      desc:= [ 105003 ],
131      fp:= [ 4, 14 ],
132      next:= [ 122254, 122255 ] ) ] ), rec(
133    fp:= [ 168, 173, 174, 176 ],
134    next:= [ rec(
135      desc:= [ 105003 ],
136      fp:= [ 216, 414 ],
137      next:= [ 126407, 126415 ] ), rec(
138      desc:= [ 105003 ],
139      fp:= [ 220, 418, 616 ],
140      next:= [ rec(
141        desc:= [ 302006, 206002 ],
142        fp:= [ 4, 14 ],
143        next:= [ 126410, 126419 ] ), 126412, 126408 ] ), rec(
144      desc:= [ 302005 ],
145      fp:= [ 1066, 17060 ],
146      next:= [ 126420, rec(
147        desc:= [ 208002 ],
148        fp:= [ 18, 414 ],
149        next:= [ 126414, 126409 ] ) ] ), rec(
150      desc:= [ 302005, 107003, 207003 ],
151      fp:= [ 4, 212 ],
152      next:= [ 126416, 126418 ] ) ] ), rec(
153    fp:= [ 168, 171, 172, 175 ],
154    next:= [ rec(
155      desc:= [ 106003 ],
156      fp:= [ 414, 612 ],
157      next:= [ 130447, 130449 ] ), rec(
158      desc:= [ 106003 ],
159      fp:= [ 614, 812 ],
160      next:= [ rec(
161        desc:= [ 302012, 210002 ],
162        fp:= [ 18, 414 ],
163        next:= [ 130451, 130450 ] ), 130446 ] ), rec(
164      desc:= [ 302008 ],
165      fp:= [ 1386, 49700 ],
166      next:= [ 130448, rec(
167        desc:= [ 108003 ],
168        fp:= [ 614, 812 ],
169        next:= [ 130444, 130453 ] ) ] ), rec(
170      desc:= [ 106003 ],
171      fp:= [ 12, 814, 1012 ],
172      next:= [ 130454, 130440, 130442 ] ) ] ), rec(
173    fp:= [ 215, 1979 ],
174    next:= [ rec(
175      desc:= [ 116003, 302016, 213002 ],
176      fp:= [ 215, 611 ],
177      next:= [ 147816, 147818 ] ), rec(
178      desc:= [ 117003, 302017, 214002 ],
179      fp:= [ 215, 611 ],
180      next:= [ 147808, 147810 ] ) ] ), rec(
181    fp:= [ 429 ],
182    next:= [ rec(
183      fp:= [ 20974, 25327 ],
184      level:= 5,
185      next:= [ 165489, 165491 ] ) ] ), rec(
186    fp:= [ 492, 611 ],
187    next:= [ rec(
188      fp:= [ 14548, 34312 ],
189      level:= 5,
190      next:= [ 172665, 172655 ] ), rec(
191      desc:= [ 302010, 212003 ],
192      fp:= [ 2, 12 ],
193      next:= [ 172656, 172660 ] ) ] ), rec(
194    fp:= [ 648, 649 ],
195    next:= [ rec(
196      desc:= [ 302005 ],
197      fp:= [ 384, 662 ],
198      next:= [ 180520, 180522 ] ), rec(
199      desc:= [ 302005 ],
200      fp:= [ 384, 662 ],
201      next:= [ 180528, 180530 ] ) ] ), rec(
202    fp:= [ 649, 656 ],
203    next:= [ rec(
204      fp:= [ 49987, 63067 ],
205      level:= 5,
206      next:= [ 183908, 183910 ] ), rec(
207      desc:= [ 305012 ],
208      fp:= [ 286, 48362 ],
209      next:= [ 183906, 183913 ] ) ] ), rec(
210    fp:= [ 671 ],
211    next:= [ rec(
212      fp:= [ 44048, 78600 ],
213      level:= 5,
214      next:= [ 187371, 187365 ] ) ] ), rec(
215    fp:= [ 732 ],
216    next:= [ rec(
217      fp:= [ 22743, 38575 ],
218      level:= 5,
219      next:= [ 203572, 203580 ] ) ] ), rec(
220    fp:= [ 1761 ],
221    next:= [ rec(
222      fp:= [ 33311, 45471 ],
223      level:= 5,
224      next:= [ 211100, 211096 ] ) ] ), rec(
225    fp:= [ 668 ],
226    next:= [ rec(
227      desc:= [ 108003 ],
228      fp:= [ 14, 212 ],
229      next:= [ 239187, 239193 ] ) ] ), rec(
230    fp:= [ 650, 657 ],
231    next:= [ rec(
232      fp:= [ 1748, 27493 ],
233      level:= 5,
234      next:= [ 243669, 243662 ] ), rec(
235      fp:= [ 7838, 34882 ],
236      level:= 5,
237      next:= [ 243667, rec(
238        desc:= [ 108003 ],
239        fp:= [ 213, 411 ],
240        next:= [ 243670, 243664 ] ) ] ) ] ), rec(
241    fp:= [ 705 ],
242    next:= [ rec(
243      fp:= [ 61380, 68284 ],
244      level:= 5,
245      next:= [ 255893, 255891 ] ) ] ), rec(
246    fp:= [ 1733 ],
247    next:= [ rec(
248      desc:= [ 115003 ],
249      fp:= [ 4, 14 ],
250      next:= [ 259386, 259378 ] ) ] ), rec(
251    fp:= [ 787 ],
252    next:= [ rec(
253      fp:= [ 1255, 43968 ],
254      level:= 5,
255      next:= [ 262939, 262931 ] ) ] ), rec(
256    fp:= [ 660 ],
257    next:= [ rec(
258      desc:= [ 112007 ],
259      fp:= [ 4, 14 ],
260      next:= [ 274000, 273990 ] ) ] ), rec(
261    fp:= [ 733 ],
262    next:= [ rec(
263      fp:= [ 67119, 85956 ],
264      level:= 5,
265      next:= [ 288212, rec(
266        desc:= [ 115003 ],
267        fp:= [ 4, 212 ],
268        next:= [ 288215, 288219 ] ) ] ) ] ), rec(
269    fp:= [ 767 ],
270    next:= [ rec(
271      fp:= [ 34166, 70700 ],
272      level:= 5,
273      next:= [ 296623, 296620 ] ) ] ), rec(
274    fp:= [ 787, 797 ],
275    next:= [ rec(
276      fp:= [ 56997, 66257 ],
277      level:= 5,
278      next:= [ 305470, 305483 ] ), rec(
279      fp:= [ 57669, 66257 ],
280      level:= 5,
281      next:= [ 305476, 305482 ] ) ] ), rec(
282    fp:= [ 650, 755 ],
283    next:= [ rec(
284      desc:= [ 107003 ],
285      fp:= [ 215, 413 ],
286      next:= [ 309882, 309885 ] ), rec(
287      fp:= [ 62168, 90418 ],
288      level:= 5,
289      next:= [ 309883, 309874 ] ) ] ), rec(
290    fp:= [ 1002 ],
291    next:= [ rec(
292      fp:= [ 10495, 30885 ],
293      level:= 5,
294      next:= [ 327974, 327970 ] ) ] ), rec(
295    fp:= [ 1087, 1099, 1105 ],
296    next:= [ rec(
297      desc:= [ 106003 ],
298      fp:= [ 1220, 1418 ],
299      next:= [ 331930, 331948 ] ), rec(
300      desc:= [ 106003 ],
301      fp:= [ 1018, 1216 ],
302      next:= [ 331934, 331946 ] ), rec(
303      desc:= [ 107003 ],
304      fp:= [ 1020, 1218 ],
305      next:= [ 331942, 331936 ] ) ] ), rec(
306    fp:= [ 1128 ],
307    next:= [ rec(
308      desc:= [ 107003 ],
309      fp:= [ 820, 1216 ],
310      next:= [ 359113, 359111 ] ) ] ), rec(
311    fp:= [ 1053, 1581 ],
312    next:= [ rec(
313      desc:= [ 302008, 303016, 40307008 ],
314      fp:= [ 1, 1921 ],
315      next:= [ 376701, 376685 ] ), rec(
316      desc:= [ 108003, 302008, 302012, 40207010 ],
317      fp:= [ 4, 842 ],
318      next:= [ 376689, 376705 ] ) ] ), rec(
319    fp:= [ 1253, 1285 ],
320    next:= [ rec(
321      desc:= [ 108003 ],
322      fp:= [ 614, 812 ],
323      next:= [ 405122, 405131 ] ), rec(
324      desc:= [ 108003 ],
325      fp:= [ 614, 812 ],
326      next:= [ 405130, 405147 ] ) ] ), rec(
327    fp:= [ 1177 ],
328    next:= [ rec(
329      fp:= [ 56071, 81572 ],
330      level:= 5,
331      next:= [ 413062, 413073 ] ) ] ), rec(
332    fp:= [ 1285 ],
333    next:= [ rec(
334      fp:= [ 47271, 94226 ],
335      level:= 5,
336      next:= [ 421618, 421635 ] ) ] ), rec(
337    fp:= [ 1193, 1196, 1263, 1446 ],
338    next:= [ rec(
339      fp:= [ 66326, 86969 ],
340      level:= 5,
341      next:= [ 430585, 430590 ] ), rec(
342      fp:= [ 57485, 77369 ],
343      level:= 5,
344      next:= [ 430582, 430601 ] ), rec(
345      fp:= [ 16792, 25668 ],
346      level:= 5,
347      next:= [ 430599, 430579 ] ), rec(
348      fp:= [ 22573, 90192 ],
349      level:= 5,
350      next:= [ 430580, 430600 ] ) ] ), rec(
351    fp:= [ 1269 ],
352    next:= [ rec(
353      fp:= [ 93891, 99099 ],
354      level:= 5,
355      next:= [ 438174, 438183 ] ) ] ), rec(
356    fp:= [ 1223 ],
357    next:= [ rec(
358      fp:= [ 67774, 89542 ],
359      level:= 5,
360      next:= [ 444983, 444995 ] ) ] ), rec(
361    fp:= [ 1099, 1276 ],
362    next:= [ rec(
363      desc:= [ 302007, 110003, 210003 ],
364      fp:= [ 10, 812 ],
365      next:= [ 458689, 458701 ] ), rec(
366      fp:= [ 19717, 86847 ],
367      level:= 5,
368      next:= [ 458706, rec(
369        desc:= [ 302009, 111003, 211003 ],
370        fp:= [ 2, 12 ],
371        next:= [ 458695, 458707 ] ) ] ) ] ), rec(
372    fp:= [ 1321, 1329 ],
373    next:= [ rec(
374      fp:= [ 4584, 55111 ],
375      level:= 5,
376      next:= [ 466895, 466909 ] ), rec(
377      desc:= [ 302008 ],
378      fp:= [ 285, 38461 ],
379      next:= [ 466903, 466911 ] ) ] ), rec(
380    fp:= [ 1074, 1171, 1254, 1358, 1399, 1500 ],
381    next:= [ rec(
382      desc:= [ 302006, 303011, 110003, 307016, 40307011 ],
383      fp:= [ 1, 641 ],
384      next:= [ 475777, 475761 ] ), rec(
385      fp:= [ 54462, 91698 ],
386      level:= 5,
387      next:= [ 475770, 475769 ] ), rec(
388      desc:= [ 107003 ],
389      fp:= [ 214, 412 ],
390      next:= [ 475771, 475775 ] ), rec(
391      desc:= [ 302007, 302010, 109003, 307016, 40307010 ],
392      fp:= [ 1, 1281 ],
393      next:= [ 475774, 475758 ] ), rec(
394      fp:= [ 53915, 99473 ],
395      level:= 5,
396      next:= [ 475781, 475766 ] ), rec(
397      desc:= [ 302008 ],
398      fp:= [ 35842, 38343 ],
399      next:= [ 475776, rec(
400        desc:= [ 108003, 116005, 116007, 302009, 303011, 306010, 219006,
401307019, 212007, 40309012 ],
402        fp:= [ 1, 641 ],
403        next:= [ 475780, 475788 ] ) ] ) ] ), rec(
404    fp:= [ 1286, 1362 ],
405    next:= [ rec(
406      fp:= [ 6065, 74821 ],
407      level:= 5,
408      next:= [ 484905, 484883 ] ), rec(
409      fp:= [ 64381, 82128 ],
410      level:= 5,
411      next:= [ 484894, 484886 ] ) ] ), rec(
412    fp:= [ 1381, 1471, 1472 ],
413    next:= [ rec(
414      fp:= [ 13060, 95265 ],
415      level:= 5,
416      next:= [ 502810, 502825 ] ), rec(
417      fp:= [ 27494, 90999 ],
418      level:= 5,
419      next:= [ 502832, 502824 ] ), rec(
420      fp:= [ 55506, 92109 ],
421      level:= 5,
422      next:= [ 502828, 502820 ] ) ] ), rec(
423    fp:= [ 1207, 1387, 1461 ],
424    next:= [ rec(
425      fp:= [ 6584, 66171 ],
426      level:= 5,
427      next:= [ 520721, 520719 ] ), rec(
428      fp:= [ 61479, 62434 ],
429      level:= 5,
430      next:= [ 520710, 520733 ] ), rec(
431      fp:= [ 8007, 50848 ],
432      level:= 5,
433      next:= [ 520724, 520720 ] ) ] ), rec(
434    fp:= [ 1167 ],
435    next:= [ rec(
436      fp:= [ 22164, 50770 ],
437      level:= 5,
438      next:= [ 529046, 529052 ] ) ] ), rec(
439    fp:= [ 1149, 1473 ],
440    next:= [ rec(
441      desc:= [ 302009 ],
442      fp:= [ 39224, 39403 ],
443      next:= [ 535683, 535667 ] ), rec(
444      desc:= [ 302009 ],
445      fp:= [ 18463, 62443 ],
446      next:= [ 535680, 535672 ] ) ] ), rec(
447    fp:= [ 1266 ],
448    next:= [ rec(
449      fp:= [ 40526, 60420 ],
450      level:= 5,
451      next:= [ 542171, 542146 ] ) ] ), rec(
452    fp:= [ 1091, 1177, 1202, 1250, 1290, 1329, 1439 ],
453    next:= [ rec(
454      desc:= [ 115011 ],
455      fp:= [ 20, 1614 ],
456      next:= [ 551183, 551169 ] ), rec(
457      fp:= [ 24414, 68094 ],
458      level:= 5,
459      next:= [ 551166, 551175 ] ), rec(
460      fp:= [ 14790, 94082 ],
461      level:= 5,
462      next:= [ 551193, 551188 ] ), rec(
463      fp:= [ 55594, 75787 ],
464      level:= 5,
465      next:= [ 551171, 551194 ] ), rec(
466      fp:= [ 19806, 55594 ],
467      level:= 5,
468      next:= [ 551179, 551195 ] ), rec(
469      fp:= [ 57976, 75787 ],
470      level:= 5,
471      next:= [ 551168, 551190 ] ), rec(
472      fp:= [ 7517, 58166 ],
473      level:= 5,
474      next:= [ 551184, 551174 ] ) ] ), rec(
475    fp:= [ 1100, 1220, 1242, 1246, 1326, 1491, 1521 ],
476    next:= [ rec(
477      desc:= [ 106003 ],
478      fp:= [ 1218, 1614 ],
479      next:= [ 559965, 559987 ] ), rec(
480      desc:= [ 302006 ],
481      fp:= [ 186, 38362 ],
482      next:= [ 559991, 559973 ] ), rec(
483      desc:= [ 302006 ],
484      fp:= [ 28561, 38362 ],
485      next:= [ 559975, 559989 ] ), rec(
486      desc:= [ 302006 ],
487      fp:= [ 18463, 62443 ],
488      next:= [ rec(
489        desc:= [ 113011 ],
490        fp:= [ 8, 414 ],
491        next:= [ 559976, 559990 ] ), 559962 ] ), rec(
492      desc:= [ 112011 ],
493      fp:= [ 8, 414 ],
494      next:= [ 559988, 559986 ] ), rec(
495      desc:= [ 302006 ],
496      fp:= [ 18661, 28462 ],
497      next:= [ 559970, 559972 ] ), rec(
498      desc:= [ 302006 ],
499      fp:= [ 28462, 49223 ],
500      next:= [ 559978, 559992 ] ) ] ), rec(
501    fp:= [ 1410 ],
502    next:= [ rec(
503      fp:= [ 24452, 97382 ],
504      level:= 5,
505      next:= [ 568968, 568982 ] ) ] ), rec(
506    fp:= [ 1157, 1196, 1212, 1333 ],
507    next:= [ rec(
508      desc:= [ 117011 ],
509      fp:= [ 4, 14 ],
510      next:= [ 578132, 578144 ] ), rec(
511      desc:= [ 302008 ],
512      fp:= [ 48361, 58341 ],
513      next:= [ 578131, 578123 ] ), rec(
514      fp:= [ 27529, 43803 ],
515      level:= 5,
516      next:= [ 578140, 578129 ] ), rec(
517      desc:= [ 302009 ],
518      fp:= [ 38461, 48262 ],
519      next:= [ 578127, 578119 ] ) ] ), rec(
520    fp:= [ 1229, 1326, 1471 ],
521    next:= [ rec(
522      fp:= [ 24143, 45835 ],
523      level:= 5,
524      next:= [ 587180, 587207 ] ), rec(
525      desc:= [ 107003 ],
526      fp:= [ 814, 1012 ],
527      next:= [ 587183, 587189 ] ), rec(
528      fp:= [ 36874, 79715 ],
529      level:= 5,
530      next:= [ 587194, 587186 ] ) ] ), rec(
531    fp:= [ 1055 ],
532    next:= [ rec(
533      fp:= [ 24649, 77764 ],
534      level:= 5,
535      next:= [ 596301, 596293 ] ) ] ), rec(
536    fp:= [ 1043, 1217 ],
537    next:= [ rec(
538      desc:= [ 302010 ],
539      fp:= [ 34882, 54922 ],
540      next:= [ 603190, 603182 ] ), rec(
541      fp:= [ 16620, 22198 ],
542      level:= 5,
543      next:= [ 603193, 603196 ] ) ] ), rec(
544    fp:= [ 1087, 1102, 1238, 1487 ],
545    next:= [ rec(
546      desc:= [ 302008, 213003 ],
547      fp:= [ 1618, 2014 ],
548      next:= [ 609446, 609450 ] ), rec(
549      desc:= [ 105003 ],
550      fp:= [ 426, 822 ],
551      next:= [ 609447, 609433 ] ), rec(
552      fp:= [ 1746, 7108 ],
553      level:= 5,
554      next:= [ 609452, 609434 ] ), rec(
555      desc:= [ 104003 ],
556      fp:= [ 420, 618 ],
557      next:= [ 609442, 609440 ] ) ] ), rec(
558    fp:= [ 1109, 1204, 1403, 1408 ],
559    next:= [ rec(
560      desc:= [ 302012, 112003, 304013, 40407009 ],
561      fp:= [ 641, 1281 ],
562      next:= [ 616985, 617001 ] ), rec(
563      fp:= [ 22515, 86557 ],
564      level:= 5,
565      next:= [ 617012, 616986 ] ), rec(
566      fp:= [ 15038, 21406 ],
567      level:= 5,
568      next:= [ 616990, 616984 ] ), rec(
569      fp:= [ 18457, 24825 ],
570      level:= 5,
571      next:= [ 616992, 616982 ] ) ] ), rec(
572    fp:= [ 1203, 1420 ],
573    next:= [ rec(
574      desc:= [ 302009 ],
575      fp:= [ 483, 58261 ],
576      next:= [ 625054, 625072 ] ), rec(
577      fp:= [ 58069, 60554 ],
578      level:= 5,
579      next:= [ 625060, 625066 ] ) ] ), rec(
580    fp:= [ 1242, 1416 ],
581    next:= [ rec(
582      desc:= [ 108003 ],
583      fp:= [ 12, 1012 ],
584      next:= [ 640998, 641001 ] ), rec(
585      desc:= [ 107003 ],
586      fp:= [ 6, 412 ],
587      next:= [ 641000, 640996 ] ) ] ), rec(
588    fp:= [ 1066, 1227, 1256, 1498 ],
589    next:= [ rec(
590      desc:= [ 112011 ],
591      fp:= [ 12, 814 ],
592      next:= [ 649933, 649929 ] ), rec(
593      fp:= [ 57636, 59126 ],
594      level:= 5,
595      next:= [ 649928, 649914 ] ), rec(
596      desc:= [ 106003 ],
597      fp:= [ 1014, 1212 ],
598      next:= [ 649925, 649923 ] ), rec(
599      desc:= [ 302008 ],
600      fp:= [ 44782, 45121, 87127 ],
601      next:= [ 649942, 649938, 649927 ] ) ] ), rec(
602    fp:= [ 1257, 1326 ],
603    next:= [ rec(
604      desc:= [ 302009 ],
605      fp:= [ 44584, 45022, 83837 ],
606      next:= [ 667632, 667646, 667636 ] ), rec(
607      desc:= [ 106003 ],
608      fp:= [ 1014, 1212 ],
609      next:= [ 667638, 667633 ] ) ] ), rec(
610    fp:= [ 1150, 1438 ],
611    next:= [ rec(
612      fp:= [ 21115, 48966 ],
613      level:= 5,
614      next:= [ rec(
615        desc:= [ 302008 ],
616        fp:= [ 662, 48361 ],
617        next:= [ 676022, 676030 ] ), 676019 ] ), rec(
618      desc:= [ 302008 ],
619      fp:= [ 483, 58261 ],
620      next:= [ 676040, 676023 ] ) ] ), rec(
621    fp:= [ 1137, 1154, 1212, 1310, 1417, 1450 ],
622    next:= [ rec(
623      desc:= [ 302008 ],
624      fp:= [ 18661, 28641 ],
625      next:= [ 685000, 685006 ] ), rec(
626      desc:= [ 302008 ],
627      fp:= [ 48262, 48441 ],
628      next:= [ 685005, 685014 ] ), rec(
629      fp:= [ 26317, 65268 ],
630      level:= 5,
631      next:= [ rec(
632        desc:= [ 302008 ],
633        fp:= [ 18562, 28363 ],
634        next:= [ 685004, 685010 ] ), 685023 ] ), rec(
635      desc:= [ 302009 ],
636      fp:= [ 982, 64681 ],
637      next:= [ 685008, 685021 ] ), rec(
638      fp:= [ 75383, 95888 ],
639      level:= 5,
640      next:= [ 685011, 685016 ] ), rec(
641      desc:= [ 302009 ],
642      fp:= [ 45933, 62443 ],
643      next:= [ 685002, 685019 ] ) ] ), rec(
644    fp:= [ 1443, 1475 ],
645    next:= [ rec(
646      fp:= [ 27962, 64478 ],
647      level:= 5,
648      next:= [ 694259, 694268 ] ), rec(
649      desc:= [ 302008 ],
650      fp:= [ 384, 48361 ],
651      next:= [ 694260, 694256 ] ) ] ), rec(
652    fp:= [ 1197 ],
653    next:= [ rec(
654      fp:= [ 57636, 59126 ],
655      level:= 5,
656      next:= [ 703548, rec(
657        desc:= [ 106003 ],
658        fp:= [ 220, 418 ],
659        next:= [ 703552, 703545 ] ) ] ) ] ), rec(
660    fp:= [ 1260, 1262, 1265, 1384, 1430, 1534 ],
661    next:= [ rec(
662      desc:= [ 105003 ],
663      fp:= [ 1014, 1212 ],
664      next:= [ 712554, 712546 ] ), rec(
665      desc:= [ 105003 ],
666      fp:= [ 814, 1012 ],
667      next:= [ 712563, 712547 ] ), rec(
668      desc:= [ 105003 ],
669      fp:= [ 816, 1014 ],
670      next:= [ 712552, 712540 ] ), rec(
671      desc:= [ 105003 ],
672      fp:= [ 8, 612 ],
673      next:= [ 712565, 712549 ] ), rec(
674      desc:= [ 105003 ],
675      fp:= [ 216, 414 ],
676      next:= [ 712559, 712543 ] ), rec(
677      desc:= [ 302005 ],
678      fp:= [ 38461, 48262 ],
679      next:= [ 712568, 712560 ] ) ] ), rec(
680    fp:= [ 1308 ],
681    next:= [ rec(
682      desc:= [ 113011 ],
683      fp:= [ 8, 414 ],
684      next:= [ 721800, 721804 ] ) ] ), rec(
685    fp:= [ 1469 ],
686    next:= [ rec(
687      fp:= [ 27801, 61630 ],
688      level:= 5,
689      next:= [ 730891, 730884 ] ) ] ), rec(
690    fp:= [ 1287 ],
691    next:= [ rec(
692      desc:= [ 114011 ],
693      fp:= [ 8, 414 ],
694      next:= [ 740089, 740078 ] ) ] ), rec(
695    fp:= [ 1211 ],
696    next:= [ rec(
697      fp:= [ 35845, 47258 ],
698      level:= 5,
699      next:= [ 749147, 749154 ] ) ] ), rec(
700    fp:= [ 1308, 1440 ],
701    next:= [ rec(
702      fp:= [ 49262, 87717 ],
703      level:= 5,
704      next:= [ 758367, 758389 ] ), rec(
705      fp:= [ 32661, 79754 ],
706      level:= 5,
707      next:= [ 758388, 758371 ] ) ] ), rec(
708    fp:= [ 1226, 1251, 1306, 1439 ],
709    next:= [ rec(
710      desc:= [ 106003 ],
711      fp:= [ 1014, 1212 ],
712      next:= [ 767314, 767317 ] ), rec(
713      desc:= [ 106003 ],
714      fp:= [ 420, 1014 ],
715      next:= [ 767296, 767295 ] ), rec(
716      desc:= [ 106003 ],
717      fp:= [ 816, 1014 ],
718      next:= [ 767308, 767319 ] ), rec(
719      desc:= [ 106003 ],
720      fp:= [ 416, 614 ],
721      next:= [ 767312, 767298 ] ) ] ), rec(
722    fp:= [ 1481 ],
723    next:= [ rec(
724      fp:= [ 24543, 77277 ],
725      level:= 5,
726      next:= [ 776030, 776024 ] ) ] ), rec(
727    fp:= [ 1292, 1434, 1448 ],
728    next:= [ rec(
729      desc:= [ 302006 ],
730      fp:= [ 28641, 38263, 49223 ],
731      next:= [ 784960, 784978, 784966 ] ), rec(
732      desc:= [ 106003 ],
733      fp:= [ 218, 416 ],
734      next:= [ 784982, 784962 ] ), rec(
735      desc:= [ 106003 ],
736      fp:= [ 218, 416 ],
737      next:= [ 784984, 784979 ] ) ] ), rec(
738    fp:= [ 1466 ],
739    next:= [ rec(
740      desc:= [ 302005 ],
741      fp:= [ 46621, 62523 ],
742      next:= [ 793986, 793979 ] ) ] ), rec(
743    fp:= [ 1201 ],
744    next:= [ rec(
745      desc:= [ 302006 ],
746      fp:= [ 28462, 38263, 42693 ],
747      next:= [ 802573, 802572, 802574 ] ) ] ), rec(
748    fp:= [ 1561 ],
749    next:= [ rec(
750      desc:= [ 302008, 314017, 214002, 303009, 213003, 303014, 217003 ],
751      fp:= [ 1, 11 ],
752      next:= [ 808322, 808338 ] ) ] ), rec(
753    fp:= [ 1569 ],
754    next:= [ rec(
755      desc:= [ 302010 ],
756      fp:= [ 926, 83738 ],
757      next:= [ 817256, 817260 ] ) ] ), rec(
758    fp:= [ 1519, 1523 ],
759    next:= [ rec(
760      fp:= [ 44544, 54525 ],
761      level:= 5,
762      next:= [ 832594, 832572 ] ), rec(
763      desc:= [ 106003 ],
764      fp:= [ 16, 412 ],
765      next:= [ 832598, 832586 ] ) ] ), rec(
766    fp:= [ 1223, 1403, 1484 ],
767    next:= [ rec(
768      desc:= [ 107003 ],
769      fp:= [ 414, 612 ],
770      next:= [ 841029, 841020 ] ), rec(
771      desc:= [ 107003 ],
772      fp:= [ 14, 212 ],
773      next:= [ 841031, 841026 ] ), rec(
774      desc:= [ 107003 ],
775      fp:= [ 214, 412 ],
776      next:= [ 841048, 841042 ] ) ] ), rec(
777    fp:= [ 1439, 1570 ],
778    next:= [ rec(
779      desc:= [ 302007 ],
780      fp:= [ 45834, 46013 ],
781      next:= [ 850168, 850166 ] ), rec(
782      desc:= [ 302008 ],
783      fp:= [ 346, 44881 ],
784      next:= [ 850152, 850160 ] ) ] ), rec(
785    fp:= [ 1528 ],
786    next:= [ rec(
787      fp:= [ 33472, 66246 ],
788      level:= 5,
789      next:= [ 859219, 859210 ] ) ] ), rec(
790    fp:= [ 1432, 1478 ],
791    next:= [ rec(
792      desc:= [ 107003 ],
793      fp:= [ 4, 212 ],
794      next:= [ 868477, 868500 ] ), rec(
795      desc:= [ 107003 ],
796      fp:= [ 4, 212 ],
797      next:= [ 868492, 868486 ] ) ] ), rec(
798    fp:= [ 1457, 1489, 1512 ],
799    next:= [ rec(
800      desc:= [ 107003 ],
801      fp:= [ 214, 412 ],
802      next:= [ 877736, 877730 ] ), rec(
803      fp:= [ 24922, 77716 ],
804      level:= 5,
805      next:= [ 877724, 877746 ] ), rec(
806      desc:= [ 107003 ],
807      fp:= [ 4, 212 ],
808      next:= [ 877747, 877745 ] ) ] ), rec(
809    fp:= [ 1385, 1444 ],
810    next:= [ rec(
811      desc:= [ 106003 ],
812      fp:= [ 6, 214 ],
813      next:= [ 886930, 886927 ] ), rec(
814      desc:= [ 302008 ],
815      fp:= [ 64681, 74821 ],
816      next:= [ rec(
817        desc:= [ 208003 ],
818        fp:= [ 214, 412 ],
819        next:= [ 886928, 886934 ] ), 886918 ] ) ] ), rec(
820    fp:= [ 1398, 1421, 1496 ],
821    next:= [ rec(
822      desc:= [ 106003 ],
823      fp:= [ 16, 214 ],
824      next:= [ 896174, 896171 ] ), rec(
825      fp:= [ 44544, 54525 ],
826      level:= 5,
827      next:= [ 896175, 896167 ] ), rec(
828      fp:= [ 44544, 54525 ],
829      level:= 5,
830      next:= [ 896185, 896160 ] ) ] ), rec(
831    fp:= [ 1150, 1417, 1459 ],
832    next:= [ rec(
833      desc:= [ 114011 ],
834      fp:= [ 4, 14 ],
835      next:= [ 905343, 905359 ] ), rec(
836      desc:= [ 302008 ],
837      fp:= [ 18463, 62443 ],
838      next:= [ 905347, 905363 ] ), rec(
839      desc:= [ 302009 ],
840      fp:= [ 643, 74581 ],
841      next:= [ 905340, 905342 ] ) ] ), rec(
842    fp:= [ 1237, 1387, 1498, 1499, 1501, 1502, 1508, 1534 ],
843    next:= [ rec(
844      desc:= [ 111011 ],
845      fp:= [ 4, 14 ],
846      next:= [ 923844, 923857 ] ), rec(
847      desc:= [ 105003 ],
848      fp:= [ 6, 412 ],
849      next:= [ 923846, 923859 ] ), rec(
850      desc:= [ 105003 ],
851      fp:= [ 6, 412 ],
852      next:= [ 923847, 923868 ] ), rec(
853      desc:= [ 105003 ],
854      fp:= [ 6, 412 ],
855      next:= [ 923854, 923860 ] ), rec(
856      desc:= [ 105003 ],
857      fp:= [ 6, 412 ],
858      next:= [ 923845, 923866 ] ), rec(
859      desc:= [ 302006 ],
860      fp:= [ 42723, 49253 ],
861      next:= [ 923870, 923872 ] ), rec(
862      desc:= [ 302008 ],
863      fp:= [ 31536, 80787 ],
864      next:= [ 923848, 923855 ] ), rec(
865      desc:= [ 302005 ],
866      fp:= [ 483, 58261 ],
867      next:= [ 923873, 923865 ] ) ] ), rec(
868    fp:= [ 1387, 1487, 1494, 1498, 1499, 1526, 1565 ],
869    next:= [ rec(
870      desc:= [ 104003 ],
871      fp:= [ 6, 214 ],
872      next:= [ 941968, 941981 ] ), rec(
873      desc:= [ 302005 ],
874      fp:= [ 5825, 54013 ],
875      next:= [ 941987, 941993 ] ), rec(
876      desc:= [ 302005 ],
877      fp:= [ 8365, 49253 ],
878      next:= [ 941992, 941994 ] ), rec(
879      desc:= [ 104003 ],
880      fp:= [ 6, 412 ],
881      next:= [ 941970, 941967 ] ), rec(
882      desc:= [ 302005 ],
883      fp:= [ 32743, 42544 ],
884      next:= [ 941990, 941988 ] ), rec(
885      desc:= [ 302006 ],
886      fp:= [ 544, 64681 ],
887      next:= [ 941977, 941969 ] ), rec(
888      desc:= [ 104003 ],
889      fp:= [ 2, 12 ],
890      next:= [ 941978, 941996 ] ) ] ), rec(
891    fp:= [ 1406 ],
892    next:= [ rec(
893      desc:= [ 106003 ],
894      fp:= [ 16, 214 ],
895      next:= [ 951222, 951223 ] ) ] ), rec(
896    fp:= [ 1446 ],
897    next:= [ rec(
898      desc:= [ 107003 ],
899      fp:= [ 214, 412 ],
900      next:= [ 960361, 960384 ] ) ] ), rec(
901    fp:= [ 1519 ],
902    next:= [ rec(
903      fp:= [ 17288, 50981 ],
904      level:= 5,
905      next:= [ 969516, 969535 ] ) ] ), rec(
906    fp:= [ 1482, 1571 ],
907    next:= [ rec(
908      fp:= [ 55654, 80953 ],
909      level:= 5,
910      next:= [ 978677, 978701 ] ), rec(
911      desc:= [ 106003 ],
912      fp:= [ 2, 12 ],
913      next:= [ 978694, 978704 ] ) ] ), rec(
914    fp:= [ 1470, 1534 ],
915    next:= [ rec(
916      desc:= [ 106003 ],
917      fp:= [ 4, 212 ],
918      next:= [ 987755, 987758 ] ), rec(
919      desc:= [ 302006 ],
920      fp:= [ 483, 58261 ],
921      next:= [ 987776, 987771 ] ) ] ), rec(
922    fp:= [ 1398 ],
923    next:= [ rec(
924      desc:= [ 302007 ],
925      fp:= [ 54013, 98956 ],
926      next:= [ 996738, 996735 ] ) ] ), rec(
927    fp:= [ 1141, 1409 ],
928    next:= [ rec(
929      fp:= [ 39953, 89232 ],
930      level:= 5,
931      next:= [ 1005551, 1005559 ] ), rec(
932      fp:= [ 55224, 86970 ],
933      level:= 5,
934      next:= [ 1005569, 1005571 ] ) ] ), rec(
935    fp:= [ 1074, 1264 ],
936    next:= [ rec(
937      desc:= [ 117011 ],
938      fp:= [ 818, 1214 ],
939      next:= [ 1012649, 1012653 ] ), rec(
940      fp:= [ 4233, 28981 ],
941      level:= 5,
942      next:= [ 1012650, 1012664 ] ) ] ), rec(
943    fp:= [ 1032, 1156, 1285, 1332 ],
944    next:= [ rec(
945      fp:= [ 47505, 95784 ],
946      level:= 5,
947      next:= [ 1019813, 1019797 ] ), rec(
948      desc:= [ 302009 ],
949      fp:= [ 742, 1081 ],
950      next:= [ 1019792, 1019801 ] ), rec(
951      fp:= [ 24891, 25150 ],
952      level:= 5,
953      next:= [ 1019811, 1019809 ] ), rec(
954      fp:= [ 34947, 38313 ],
955      level:= 5,
956      next:= [ 1019806, 1019790 ] ) ] ), rec(
957    fp:= [ 1032, 1080, 1148, 1176 ],
958    next:= [ rec(
959      fp:= [ 47724, 86829 ],
960      level:= 5,
961      next:= [ 1027503, 1027515 ] ), rec(
962      desc:= [ 109003 ],
963      fp:= [ 818, 1214 ],
964      next:= [ 1027501, 1027517 ] ), rec(
965      fp:= [ 52298, 83619 ],
966      level:= 5,
967      next:= [ 1027506, rec(
968        desc:= [ 109003 ],
969        fp:= [ 18, 414 ],
970        next:= [ 1027513, 1027505 ] ) ] ), rec(
971      desc:= [ 118011 ],
972      fp:= [ 4, 14 ],
973      next:= [ 1027511, 1027499 ] ) ] ), rec(
974    fp:= [ 1732 ],
975    next:= [ rec(
976      fp:= [ 56009, 95171 ],
977      level:= 5,
978      next:= [ 1044574, 1044585 ] ) ] ), rec(
979    fp:= [ 1745 ],
980    next:= [ rec(
981      desc:= [ 118003 ],
982      fp:= [ 2, 12 ],
983      next:= [ 1055534, 1055550 ] ) ] ) ] );
984