File: id256.lab

package info (click to toggle)
gap-smallgrp 1.4.1-2
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 81,368 kB
  • sloc: ansic: 25,174; fortran: 12,352; ada: 6,355; xml: 5,443; asm: 4,896; cpp: 2,318; lisp: 902; cs: 501; ruby: 464; yacc: 282; tcl: 165; javascript: 154; makefile: 124; sh: 1
file content (868 lines) | stat: -rw-r--r-- 31,003 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
#############################################################################
##
#W  id256.lab              GAP library of id's             Hans Ulrich Besche
##

ID_GROUP_TREE.next[256].next[12].next[1].next[2]:=
rec(
  fp:= [ 13103, 14297, 31349, 32543, 40427, 58986, 69984, 72263 ],
  next:= [,, rec(
    desc:= [ 302005 ],
    fp:= [ 5724, 8504, 28684, 67122, 85363, 86724, 87082, 88616, 95325, 
98935 ],
    next:= [ rec(
      desc:= [ 108003 ],
      fp:= [ 34, 826, 1222, 1618 ],
      next:= [ 9242, 9353, rec(
        desc:= [ 208003 ],
        fp:= [ 616, 1012 ],
        next:= [ 9287, 9288 ] ), rec(
        desc:= [ 302007, 209005, 40207009 ],
        fp:= [ 7, 5622 ],
        next:= [ 10047, 10045 ] ) ] ), 9293, rec(
      desc:= [ 108003 ],
      fp:= [ 430, 826, 1222, 1618, 2014 ],
      next:= [ rec(
        desc:= [ 208003 ],
        fp:= [ 4, 14 ],
        next:= [ 9309, 9306 ] ), rec(
        desc:= [ 107003 ],
        fp:= [ 8, 414 ],
        next:= [ 9331, rec(
          desc:= [ 209003, 40206009 ],
          fp:= [ 6, 3061 ],
          next:= [ 9250, 9589 ] ) ] ), rec(
        desc:= [ 208003 ],
        fp:= [ 220, 418, 616, 814 ],
        next:= [ 9352, 9469, rec(
          desc:= [ 303007, 210003 ],
          fp:= [ 16, 214 ],
          next:= [ 9390, 9391 ] ), 9461 ] ), rec(
        desc:= [ 208003 ],
        fp:= [ 422, 818, 1016 ],
        next:= [ 9819, rec(
          desc:= [ 107003 ],
          fp:= [ 8, 414 ],
          next:= [ rec(
            desc:= [ 208004 ],
            fp:= [ 414, 612 ],
            next:= [ 9818, 9696 ] ), rec(
            desc:= [ 303007, 211003, 210005, 40210013 ],
            fp:= [ 2962, 5522, 82000 ],
            next:= [ 9382, 9803, 9381 ] ) ] ), 9880 ] ), rec(
        desc:= [ 107003, 302007, 210004, 210005, 40208010 ],
        fp:= [ 5, 2961 ],
        next:= [ 9686, 9687 ] ) ] ), rec(
      desc:= [ 107003 ],
      fp:= [ 1222, 1618, 2014 ],
      next:= [ rec(
        desc:= [ 304007 ],
        fp:= [ 162, 421, 16421 ],
        next:= [ 9294, 9663, rec(
          desc:= [ 208003, 208004, 40206008 ],
          fp:= [ 5, 2961 ],
          next:= [ 9295, 9882 ] ) ] ), rec(
        desc:= [ 207003 ],
        fp:= [ 422, 620 ],
        next:= [ rec(
          desc:= [ 303006, 209003, 303010, 212003, 40208012 ],
          fp:= [ 5, 2862, 2961, 5521 ],
          next:= [ 9685, 9423, 9404, 9403 ] ), rec(
          desc:= [ 303006, 303009 ],
          fp:= [ 365, 464 ],
          next:= [ rec(
            desc:= [ 40208010 ],
            fp:= [ 5422, 51476 ],
            next:= [ 9405, 9402 ] ), 9417 ] ) ] ), rec(
        desc:= [ 302006 ],
        fp:= [ 5, 721 ],
        next:= [ 9993, rec(
          desc:= [ 208004 ],
          fp:= [ 624, 822 ],
          next:= [ rec(
            desc:= [ 305008, 209005, 40208009 ],
            fp:= [ 2762, 2861 ],
            next:= [ 9708, 9705 ] ), rec(
            desc:= [ 40207008 ],
            fp:= [ 5322, 81899 ],
            next:= [ 9707, 9706 ] ) ] ) ] ) ] ), rec(
      desc:= [ 109003, 209003 ],
      fp:= [ 8, 612 ],
      next:= [ 9509, 9508 ] ), rec(
      desc:= [ 107003 ],
      fp:= [ 24, 826, 1222, 1618 ],
      next:= [ 10046, rec(
        desc:= [ 207003 ],
        fp:= [ 8, 414, 612 ],
        next:= [ rec(
          desc:= [ 304007, 209005, 40207010 ],
          fp:= [ 3062, 5721 ],
          next:= [ 9975, 9327 ] ), 9346, rec(
          desc:= [ 304006, 208004 ],
          fp:= [ 16, 214 ],
          next:= [ 9312, 9310 ] ) ] ), rec(
        desc:= [ 304007 ],
        fp:= [ 16522, 26422, 26521 ],
        next:= [ rec(
          desc:= [ 208004, 40206008 ],
          fp:= [ 7, 2338 ],
          next:= [ 9458, 9393 ] ), 9549, rec(
          desc:= [ 303008, 210003 ],
          fp:= [ 814, 1012 ],
          next:= [ 9450, 9392 ] ) ] ), rec(
        desc:= [ 304007 ],
        fp:= [ 164, 324, 423, 522, 16522, 16621, 26521 ],
        next:= [ 9892, rec(
          desc:= [ 302006, 40206008 ],
          fp:= [ 51477, 54136 ],
          next:= [ 9695, 9891 ] ), 9694, 9354, 9890, 9384, 9820 ] ) ] ), rec(
      desc:= [ 107003 ],
      fp:= [ 430, 1222 ],
      next:= [ 9594, 9974 ] ), rec(
      desc:= [ 107003 ],
      fp:= [ 8, 18, 414 ],
      next:= [ rec(
        desc:= [ 108003, 208004 ],
        fp:= [ 8, 18, 414 ],
        next:= [ 9812, 9811, 9813 ] ), 9292, rec(
        desc:= [ 109003, 209003 ],
        fp:= [ 12, 814 ],
        next:= [ 9289, 9290 ] ) ] ), rec(
      desc:= [ 108003 ],
      fp:= [ 826, 1222, 1618 ],
      next:= [ 9252, rec(
        desc:= [ 304008 ],
        fp:= [ 262, 422, 16521 ],
        next:= [ 9655, 9654, 9656 ] ), rec(
        desc:= [ 208004 ],
        fp:= [ 620, 818, 1016 ],
        next:= [ 9557, rec(
          desc:= [ 208003 ],
          fp:= [ 414, 612 ],
          next:= [ 9387, 9388 ] ), 9556 ] ) ] ), 9291 ] ), rec(
    desc:= [ 302005 ],
    fp:= [ 769, 6962, 7480, 8854, 87021, 92005, 96822, 97081 ],
    next:= [ rec(
      desc:= [ 302005 ],
      fp:= [ 6, 562, 821, 46521, 56581 ],
      next:= [ 9012, 8993, 8978, rec(
        desc:= [ 207003, 207004, 40307008 ],
        fp:= [ 2, 2661 ],
        next:= [ 9146, 9137 ] ), 8994 ] ), rec(
      desc:= [ 302006 ],
      fp:= [ 763, 862, 961, 66621, 76521, 76681, 86421, 86581 ],
      next:= [ rec(
        desc:= [ 107003 ],
        fp:= [ 1218, 1614 ],
        next:= [ 8527, rec(
          desc:= [ 109003 ],
          fp:= [ 820, 1216 ],
          next:= [ 8503, 8668 ] ) ] ), rec(
        desc:= [ 107003 ],
        fp:= [ 20, 1218, 1614 ],
        next:= [ 8718, rec(
          desc:= [ 305007 ],
          fp:= [ 262, 361, 521, 681 ],
          next:= [ 8294, rec(
            desc:= [ 110003 ],
            fp:= [ 424, 820, 1216 ],
            next:= [ 8267, 8660, 8667 ] ), 8366, 8394 ] ), 8578 ] ), 
8424, rec(
        desc:= [ 208003, 40207009 ],
        fp:= [ 2763, 2862 ],
        next:= [ 9149, 8470 ] ), rec(
        desc:= [ 108003 ],
        fp:= [ 20, 1614 ],
        next:= [ 8575, rec(
          desc:= [ 110003, 208003, 208004, 212005, 306008, 213006 ],
          fp:= [ 216, 414 ],
          next:= [ rec(
            desc:= [ 40208009 ],
            fp:= [ 6, 3061 ],
            next:= [ 8529, 8776 ] ), rec(
            desc:= [ 305015, 40509010 ],
            fp:= [ 1, 2561 ],
            next:= [ 8477, 8981 ] ) ] ) ] ), 8504, 8421, rec(
        desc:= [ 108003, 110003, 208003, 208004, 306008, 213006 ],
        fp:= [ 216, 414 ],
        next:= [ 8947, 8945 ] ) ] ), rec(
      desc:= [ 303006 ],
      fp:= [ 561, 881, 46421 ],
      next:= [ 8418, 8454, 8463 ] ), rec(
      desc:= [ 302007 ],
      fp:= [ 862, 961, 76521, 86421, 86581 ],
      next:= [ rec(
        desc:= [ 304008 ],
        fp:= [ 4, 461, 621, 781, 36421 ],
        next:= [ rec(
          desc:= [ 108003 ],
          fp:= [ 426, 1218 ],
          next:= [ 8253, 8659 ] ), rec(
          desc:= [ 109003 ],
          fp:= [ 822, 1218, 1614 ],
          next:= [ 8380, 8501, 8581 ] ), rec(
          desc:= [ 110003, 210004 ],
          fp:= [ 8, 612 ],
          next:= [ 8280, 8282 ] ), 8409, rec(
          desc:= [ 110003 ],
          fp:= [ 1218, 1614 ],
          next:= [ 8419, 8543 ] ) ] ), 8757, rec(
        desc:= [ 110003 ],
        fp:= [ 820, 1216 ],
        next:= [ 8758, 8478 ] ), 8479, 8500 ] ), rec(
      desc:= [ 302006 ],
      fp:= [ 563, 662, 761, 921, 1081, 46621, 56521, 56681, 66421, 66581 ],
      next:= [ rec(
        desc:= [ 108003 ],
        fp:= [ 1216, 1612 ],
        next:= [ rec(
          desc:= [ 208004 ],
          fp:= [ 220, 418 ],
          next:= [ 8516, 8710 ] ), 8532 ] ), rec(
        desc:= [ 107003 ],
        fp:= [ 20, 1614 ],
        next:= [ 8274, 8359 ] ), rec(
        desc:= [ 108003 ],
        fp:= [ 424, 820, 1216 ],
        next:= [ 8961, rec(
          desc:= [ 208004 ],
          fp:= [ 18, 216, 414 ],
          next:= [ rec(
            desc:= [ 304007 ],
            fp:= [ 56521, 66581 ],
            next:= [ rec(
              desc:= [ 210004 ],
              fp:= [ 216, 414 ],
              next:= [ 8985, 8705 ] ), rec(
              desc:= [ 210004 ],
              fp:= [ 216, 414 ],
              next:= [ 8963, rec(
                desc:= [ 109003, 209003, 40308009 ],
                fp:= [ 1, 2561 ],
                next:= [ 8386, 8960 ] ) ] ) ] ), rec(
            desc:= [ 107003 ],
            fp:= [ 20, 1614 ],
            next:= [ 8276, 8327 ] ), 9027 ] ), rec(
          desc:= [ 208004 ],
          fp:= [ 220, 418 ],
          next:= [ 8329, rec(
            desc:= [ 304007, 211004 ],
            fp:= [ 216, 414, 612 ],
            next:= [ 8784, 9032, rec(
              desc:= [ 109003, 209003, 209005, 40308010 ],
              fp:= [ 1, 2561 ],
              next:= [ 8903, 9003 ] ) ] ) ] ) ] ), rec(
        desc:= [ 108003, 208004 ],
        fp:= [ 220, 418 ],
        next:= [ 8381, 8374 ] ), rec(
        desc:= [ 108003 ],
        fp:= [ 820, 1216 ],
        next:= [ 8941, rec(
          desc:= [ 107003, 207003, 304007, 211004 ],
          fp:= [ 418, 616 ],
          next:= [ 8948, 8944 ] ) ] ), rec(
        desc:= [ 109003, 208003, 210005, 305011, 40509010 ],
        fp:= [ 1, 2561 ],
        next:= [ 9113, 9112 ] ), rec(
        desc:= [ 208003, 208004, 40407008 ],
        fp:= [ 1, 2561 ],
        next:= [ 9005, 8904 ] ), rec(
        desc:= [ 109003, 209005 ],
        fp:= [ 220, 418 ],
        next:= [ 8517, 8567 ] ), rec(
        desc:= [ 109003 ],
        fp:= [ 1216, 1612 ],
        next:= [ rec(
          desc:= [ 209005 ],
          fp:= [ 220, 418 ],
          next:= [ rec(
            desc:= [ 208003, 208004, 305008, 213005 ],
            fp:= [ 218, 416 ],
            next:= [ rec(
              desc:= [ 40208014 ],
              fp:= [ 5, 5521, 91899 ],
              next:= [ 8534, 8471, 8977 ] ), rec(
              desc:= [ 40308009 ],
              fp:= [ 1, 2561 ],
              next:= [ 8539, 8528 ] ) ] ), rec(
            desc:= [ 208003, 208004, 305008, 213005 ],
            fp:= [ 18, 414 ],
            next:= [ 8976, rec(
              desc:= [ 305014, 40510013 ],
              fp:= [ 3, 2761, 5321 ],
              next:= [ 9009, 8545, 9106 ] ) ] ) ] ), rec(
          desc:= [ 209005 ],
          fp:= [ 224, 422 ],
          next:= [ rec(
            desc:= [ 108003, 208003, 208004, 305008, 40508009 ],
            fp:= [ 5, 2961 ],
            next:= [ 8979, 8480 ] ), 9064 ] ) ] ), 8943 ] ), rec(
      desc:= [ 304007 ],
      fp:= [ 2, 261, 421, 581, 16421 ],
      next:= [ rec(
        desc:= [ 107003 ],
        fp:= [ 20, 1218 ],
        next:= [ 8556, 8610 ] ), rec(
        desc:= [ 108003 ],
        fp:= [ 822, 1614 ],
        next:= [ 8602, 8476 ] ), 8533, 8264, 8293 ] ), rec(
      desc:= [ 302006 ],
      fp:= [ 762, 861, 1021, 66521, 76421, 76581 ],
      next:= [ rec(
        desc:= [ 107003 ],
        fp:= [ 20, 1218, 1614 ],
        next:= [ rec(
          desc:= [ 108003 ],
          fp:= [ 424, 820 ],
          next:= [ 8347, 8502 ] ), rec(
          desc:= [ 207004 ],
          fp:= [ 12, 814 ],
          next:= [ 8658, 8453 ] ), rec(
          desc:= [ 304007 ],
          fp:= [ 462, 561, 721, 881, 46421 ],
          next:= [ 8465, rec(
            desc:= [ 110003, 210004 ],
            fp:= [ 414, 612 ],
            next:= [ 8286, rec(
              desc:= [ 208003, 208005, 40207009 ],
              fp:= [ 6, 3061 ],
              next:= [ 8345, 8428 ] ) ] ), rec(
            desc:= [ 110003, 304009, 211004, 211005, 211006, 40408011 ],
            fp:= [ 3, 2761 ],
            next:= [ 8458, 8373 ] ), 8450, rec(
            desc:= [ 111003, 211004 ],
            fp:= [ 616, 814, 1012 ],
            next:= [ 8917, rec(
              desc:= [ 211005 ],
              fp:= [ 8, 612 ],
              next:= [ 9008, 8582 ] ), 9045 ] ) ] ) ] ), rec(
        desc:= [ 304007 ],
        fp:= [ 561, 881, 46421 ],
        next:= [ 8342, rec(
          desc:= [ 108003, 208003 ],
          fp:= [ 12, 814 ],
          next:= [ 8984, 8973 ] ), rec(
          desc:= [ 109003 ],
          fp:= [ 1218, 1614 ],
          next:= [ rec(
            desc:= [ 111003, 211004 ],
            fp:= [ 616, 814 ],
            next:= [ 8278, 8284 ] ), rec(
            desc:= [ 209005 ],
            fp:= [ 16, 1214 ],
            next:= [ 8811, rec(
              desc:= [ 209006 ],
              fp:= [ 418, 814 ],
              next:= [ 8812, rec(
                desc:= [ 113003, 213004 ],
                fp:= [ 8, 612 ],
                next:= [ 8774, 8344 ] ) ] ) ] ) ] ) ] ), 8899, rec(
        desc:= [ 109003 ],
        fp:= [ 1216, 1612 ],
        next:= [ rec(
          desc:= [ 209005 ],
          fp:= [ 418, 616, 814 ],
          next:= [ 8910, rec(
            desc:= [ 208003, 208004, 305008, 213005, 305014, 40511012 ],
            fp:= [ 2, 2562, 2661 ],
            next:= [ 9105, 8469, 8975 ] ), rec(
            desc:= [ 208003, 40207009 ],
            fp:= [ 2862, 2961 ],
            next:= [ 9121, 8472 ] ) ] ), rec(
          desc:= [ 209005 ],
          fp:= [ 620, 818 ],
          next:= [ rec(
            desc:= [ 108003, 208003, 208004, 305008, 40508009 ],
            fp:= [ 4, 2861 ],
            next:= [ 8475, 8982 ] ), 8785 ] ) ] ), rec(
        desc:= [ 108003 ],
        fp:= [ 20, 1614 ],
        next:= [ rec(
          desc:= [ 109003, 209005 ],
          fp:= [ 414, 612 ],
          next:= [ 8815, 8816 ] ), rec(
          desc:= [ 110003, 208003, 208004, 208005, 305009, 214005 ],
          fp:= [ 616, 814 ],
          next:= [ rec(
            desc:= [ 40208009 ],
            fp:= [ 6, 3061 ],
            next:= [ 8474, 8983 ] ), 8980 ] ) ] ), rec(
        desc:= [ 108003 ],
        fp:= [ 20, 1614 ],
        next:= [ rec(
          desc:= [ 109003, 208003, 208004, 305008, 212005, 40208013 ],
          fp:= [ 6, 2962, 3061 ],
          next:= [ 8548, 8986, 9016 ] ), 8513 ] ) ] ), rec(
      desc:= [ 303006 ],
      fp:= [ 6, 562, 661, 821, 46521, 56421, 56581 ],
      next:= [ 8918, rec(
        desc:= [ 107003 ],
        fp:= [ 20, 1614 ],
        next:= [ 8574, rec(
          desc:= [ 109003, 209004 ],
          fp:= [ 814, 1012 ],
          next:= [ 8473, 9059 ] ) ] ), 8420, 8457, rec(
        desc:= [ 108003 ],
        fp:= [ 1218, 1614 ],
        next:= [ rec(
          desc:= [ 208002 ],
          fp:= [ 12, 814 ],
          next:= [ 8775, 8460 ] ), rec(
          desc:= [ 208004 ],
          fp:= [ 818, 1214 ],
          next:= [ 8466, 8573 ] ) ] ), 8414, 8429 ] ) ] ), rec(
    desc:= [ 106003 ],
    fp:= [ 16, 26, 422, 818, 1214 ],
    next:= [ rec(
      desc:= [ 302006 ],
      fp:= [ 1424, 53180 ],
      next:= [ 8221, rec(
        desc:= [ 107003, 302006, 208002, 302009, 302011, 40208011 ],
        fp:= [ 7, 5721 ],
        next:= [ 8138, 8183 ] ) ] ), 8166, rec(
      desc:= [ 302007 ],
      fp:= [ 1523, 17060, 26861, 88685 ],
      next:= [ 8167, rec(
        desc:= [ 207002 ],
        fp:= [ 426, 822, 1218 ],
        next:= [ 7957, 7740, 7741 ] ), rec(
        desc:= [ 107003, 207002 ],
        fp:= [ 422, 818 ],
        next:= [ 7989, 7904 ] ), 7751 ] ), rec(
      desc:= [ 302006 ],
      fp:= [ 1264, 1622, 2041, 36860 ],
      next:= [ rec(
        desc:= [ 302006 ],
        fp:= [ 864, 963, 1062, 1222, 1321, 6760 ],
        next:= [ rec(
          desc:= [ 209002 ],
          fp:= [ 8, 414, 612 ],
          next:= [ rec(
            desc:= [ 107003, 303006, 208003 ],
            fp:= [ 422, 818 ],
            next:= [ 7763, 7966 ] ), rec(
            desc:= [ 303006 ],
            fp:= [ 4, 461 ],
            next:= [ rec(
              desc:= [ 207003, 303010, 305007, 211005, 40309012 ],
              fp:= [ 2, 2661, 7781 ],
              next:= [ 7913, 7953, 7798 ] ), rec(
              desc:= [ 302011, 209004, 209005, 306009, 213006, 40209013 ],
              fp:= [ 5, 2961 ],
              next:= [ 7979, 7734 ] ) ] ), 7785 ] ), rec(
          desc:= [ 302009 ],
          fp:= [ 663, 762, 861, 1021, 76421 ],
          next:= [ rec(
            desc:= [ 304007 ],
            fp:= [ 3, 361 ],
            next:= [ rec(
              desc:= [ 208004, 305007, 209005, 40207010 ],
              fp:= [ 5, 2961 ],
              next:= [ 7791, 8193 ] ), 7728 ] ), 8234, rec(
            desc:= [ 304007 ],
            fp:= [ 3, 361 ],
            next:= [ rec(
              desc:= [ 108003, 208004 ],
              fp:= [ 422, 818 ],
              next:= [ 7985, 7911 ] ), 7756 ] ), 7757, 7807 ] ), 7762, rec(
          desc:= [ 209002, 302010, 305007, 210005, 40208010 ],
          fp:= [ 6, 3061 ],
          next:= [ 8102, 7894 ] ), 7880, 7879 ] ), rec(
        desc:= [ 302006 ],
        fp:= [ 965, 1064, 1163 ],
        next:= [ rec(
          desc:= [ 303009 ],
          fp:= [ 622, 721, 1041 ],
          next:= [ 8204, rec(
            desc:= [ 108003 ],
            fp:= [ 20, 1218 ],
            next:= [ 8224, 8170 ] ), 8113 ] ), rec(
          desc:= [ 107003 ],
          fp:= [ 20, 1218 ],
          next:= [ 8208, 8119 ] ), 8211 ] ), 8123, rec(
        desc:= [ 302007 ],
        fp:= [ 964, 1063, 1322, 6761, 16760 ],
        next:= [ rec(
          desc:= [ 302010 ],
          fp:= [ 8, 762, 861, 1021 ],
          next:= [ rec(
            desc:= [ 108003 ],
            fp:= [ 822, 1218 ],
            next:= [ 7758, rec(
              desc:= [ 208003 ],
              fp:= [ 22, 418 ],
              next:= [ 8153, 8149 ] ) ] ), rec(
            desc:= [ 209005 ],
            fp:= [ 20, 1614 ],
            next:= [ 7730, 7732 ] ), 7760, 8192 ] ), rec(
          desc:= [ 108003 ],
          fp:= [ 822, 1614 ],
          next:= [ 7759, 7761 ] ), 7895, 7875, 7881 ] ) ] ), rec(
      desc:= [ 302006 ],
      fp:= [ 1066, 1523, 17060, 26861, 88685 ],
      next:= [ rec(
        desc:= [ 206002 ],
        fp:= [ 426, 822 ],
        next:= [ rec(
          desc:= [ 302005, 208002, 302009, 212002, 302013, 306009, 213006, 
40310014 ],
          fp:= [ 1, 5121, 10241 ],
          next:= [ 7816, 7822, 8042 ] ), rec(
          desc:= [ 303006, 209003, 40310009 ],
          fp:= [ 2762, 2861, 5421, 81899 ],
          next:= [ 8006, 7817, 8031, 7823 ] ) ] ), rec(
        desc:= [ 302005, 207002, 302008, 302011, 209005, 40207009 ],
        fp:= [ 7, 3161 ],
        next:= [ 8120, 8171 ] ), rec(
        desc:= [ 207002 ],
        fp:= [ 30, 426, 822 ],
        next:= [ 8038, rec(
          desc:= [ 302006 ],
          fp:= [ 10, 1061 ],
          next:= [ 7825, rec(
            desc:= [ 211002 ],
            fp:= [ 14, 212 ],
            next:= [ 8033, rec(
              desc:= [ 209002, 302010, 40207009 ],
              fp:= [ 6, 3061 ],
              next:= [ 7821, 7819 ] ) ] ) ] ), rec(
          desc:= [ 108003, 302006, 209002, 302010, 302012, 215002, 302016, 
40209011 ],
          fp:= [ 6, 5621 ],
          next:= [ 7818, 7820 ] ) ] ), rec(
        desc:= [ 303006 ],
        fp:= [ 2, 261 ],
        next:= [ rec(
          desc:= [ 107003, 302006, 208002 ],
          fp:= [ 422, 818 ],
          next:= [ rec(
            desc:= [ 302009, 302013, 40208010 ],
            fp:= [ 5, 2961 ],
            next:= [ 8049, 8051 ] ), rec(
            desc:= [ 302009, 302011, 302014, 211006, 40209011 ],
            fp:= [ 5, 2961 ],
            next:= [ 8004, 8005 ] ) ] ), 7829 ] ), 7828 ] ) ] ), rec(
    desc:= [ 302004 ],
    fp:= [ 2175, 8884, 12109, 12494, 18944, 41904, 57641, 66924, 67282, 
67701, 95127 ],
    next:= [ rec(
      desc:= [ 107003, 304007 ],
      fp:= [ 2, 162, 261, 421, 16421 ],
      next:= [ 10117, rec(
        desc:= [ 207003 ],
        fp:= [ 814, 1012 ],
        next:= [ 10112, 10141 ] ), rec(
        desc:= [ 208003 ],
        fp:= [ 814, 1012 ],
        next:= [ rec(
          desc:= [ 303009, 209006, 307009, 210007, 40309010 ],
          fp:= [ 2, 2661 ],
          next:= [ 10104, 10099 ] ), 10196 ] ), 10164, 10195 ] ), rec(
      desc:= [ 107003, 304007 ],
      fp:= [ 3, 163, 262, 323, 422, 16422, 16521, 26421 ],
      next:= [ 10201, rec(
        desc:= [ 207003 ],
        fp:= [ 818, 1214 ],
        next:= [ 10183, rec(
          desc:= [ 207004, 40206007 ],
          fp:= [ 6, 3061 ],
          next:= [ 10151, 10155 ] ) ] ), rec(
        desc:= [ 208003 ],
        fp:= [ 818, 1016 ],
        next:= [ rec(
          desc:= [ 208005, 40208009 ],
          fp:= [ 2238, 3061, 5621 ],
          next:= [ 10160, 10182, 10202 ] ), 10162 ] ), 10189, rec(
        desc:= [ 208003 ],
        fp:= [ 1016, 1214 ],
        next:= [ 10154, 10258 ] ), rec(
        desc:= [ 208003 ],
        fp:= [ 1214, 1412 ],
        next:= [ 10171, 10291 ] ), rec(
        desc:= [ 208003 ],
        fp:= [ 818, 1016, 1214, 1412 ],
        next:= [ rec(
          desc:= [ 303009, 209005, 40408009 ],
          fp:= [ 4, 2861 ],
          next:= [ 10130, 10140 ] ), rec(
          desc:= [ 208004, 208005, 40207008 ],
          fp:= [ 6, 3061 ],
          next:= [ 10158, 10161 ] ), rec(
          desc:= [ 208004, 208005, 40207008 ],
          fp:= [ 2962, 3061 ],
          next:= [ 10148, 10170 ] ), rec(
          desc:= [ 208004, 208005, 40207009 ],
          fp:= [ 6, 2962, 3061 ],
          next:= [ 10146, 10262, 10284 ] ) ] ), rec(
        desc:= [ 209003 ],
        fp:= [ 1016, 1214 ],
        next:= [ rec(
          desc:= [ 209005, 209006, 40209010 ],
          fp:= [ 2863, 2962, 3061 ],
          next:= [ 10178, 10187, 10176 ] ), rec(
          desc:= [ 209005, 209006, 40208009 ],
          fp:= [ 6, 2863, 2962 ],
          next:= [ 10177, 10281, 10168 ] ) ] ) ] ), rec(
      desc:= [ 108003, 208003 ],
      fp:= [ 8, 414 ],
      next:= [ 10107, 10088 ] ), 10092, rec(
      desc:= [ 107003, 207005 ],
      fp:= [ 12, 418, 616, 814, 1012 ],
      next:= [ 10110, 10149, rec(
        desc:= [ 207003 ],
        fp:= [ 214, 412 ],
        next:= [ rec(
          desc:= [ 40206007 ],
          fp:= [ 6, 3061 ],
          next:= [ 10098, 10175 ] ), 10096 ] ), 10118, rec(
        desc:= [ 207003 ],
        fp:= [ 218, 416 ],
        next:= [ 10085, rec(
          desc:= [ 40206007 ],
          fp:= [ 6, 2962 ],
          next:= [ 10115, 10205 ] ) ] ) ] ), rec(
      desc:= [ 107003, 207003 ],
      fp:= [ 822, 1020 ],
      next:= [ rec(
        desc:= [ 207004 ],
        fp:= [ 414, 612 ],
        next:= [ 10230, rec(
          desc:= [ 40207009 ],
          fp:= [ 5223, 5322, 41476, 74559 ],
          next:= [ 10271, 10237, 10229, 10278 ] ) ] ), 10242 ] ), rec(
      desc:= [ 106003, 206003 ],
      fp:= [ 224, 818 ],
      next:= [ 10211, rec(
        desc:= [ 40205006 ],
        fp:= [ 4, 2861 ],
        next:= [ 10217, 10214 ] ) ] ), rec(
      desc:= [ 106003, 304006 ],
      fp:= [ 423, 16423, 16522, 16621, 26422 ],
      next:= [ 10270, rec(
        desc:= [ 207003, 303008, 208005, 40407008 ],
        fp:= [ 3, 2662, 2761, 71899 ],
        next:= [ 10248, 10238, 10250, 10236 ] ), rec(
        desc:= [ 207003, 207004, 40207007 ],
        fp:= [ 2664, 5521, 8081, 25379, 74659 ],
        next:= [ 10265, 10228, 10226, 10227, 10249 ] ), 10247, 10279 ] ), rec(
      desc:= [ 106003, 206003 ],
      fp:= [ 26, 818 ],
      next:= [ 10186, rec(
        desc:= [ 40205006 ],
        fp:= [ 5, 2862 ],
        next:= [ 10156, 10153 ] ) ] ), 10094, 10121 ] ), rec(
    desc:= [ 105003 ],
    fp:= [ 24, 826, 1222, 1618, 2014 ],
    next:= [ rec(
      desc:= [ 106003 ],
      fp:= [ 420, 816, 1212 ],
      next:= [ rec(
        desc:= [ 302004, 302007 ],
        fp:= [ 1362, 1461 ],
        next:= [ rec(
          desc:= [ 207002 ],
          fp:= [ 430, 826 ],
          next:= [ 7968, rec(
            desc:= [ 302010 ],
            fp:= [ 865, 964 ],
            next:= [ rec(
              desc:= [ 209002, 302010, 40207009 ],
              fp:= [ 2962, 3061 ],
              next:= [ 7948, 7951 ] ), 7983 ] ) ] ), rec(
          desc:= [ 207002 ],
          fp:= [ 34, 430 ],
          next:= [ 7976, 7958 ] ) ] ), rec(
        desc:= [ 302004, 302007 ],
        fp:= [ 1164, 1263 ],
        next:= [ rec(
          desc:= [ 207002 ],
          fp:= [ 34, 430, 826 ],
          next:= [ rec(
            desc:= [ 302007, 303010, 209003, 40307009 ],
            fp:= [ 3, 2563 ],
            next:= [ 8159, 7887 ] ), rec(
            desc:= [ 302008, 211002, 302012, 304012, 211004, 40208011 ],
            fp:= [ 4, 2861 ],
            next:= [ 7971, 7977 ] ), rec(
            desc:= [ 302010 ],
            fp:= [ 863, 962 ],
            next:= [ rec(
              desc:= [ 209002, 302010, 305009, 213005, 40312014 ],
              fp:= [ 3, 2761, 5222, 5321, 71899 ],
              next:= [ 8157, 7884, 7967, 8103, 7986 ] ), rec(
              desc:= [ 302009, 305009, 212005, 40208013 ],
              fp:= [ 4, 2861 ],
              next:= [ 7942, 7940 ] ) ] ) ] ), rec(
          desc:= [ 207002 ],
          fp:= [ 430, 826 ],
          next:= [ 8235, rec(
            desc:= [ 302008, 304008, 211004, 211005, 40307011 ],
            fp:= [ 4, 2861 ],
            next:= [ 7939, 7941 ] ) ] ) ] ), rec(
        desc:= [ 302004, 302006, 208002, 302009, 40306010 ],
        fp:= [ 2862, 2961 ],
        next:= [ 8029, 8028 ] ) ] ), rec(
      desc:= [ 302005 ],
      fp:= [ 1462, 1721 ],
      next:= [ 7858, 7865 ] ), rec(
      desc:= [ 107003 ],
      fp:= [ 816, 1212 ],
      next:= [ rec(
        desc:= [ 302008 ],
        fp:= [ 1363, 1881, 46760 ],
        next:= [ rec(
          desc:= [ 302005, 302007, 210002 ],
          fp:= [ 18, 216 ],
          next:= [ 8164, 7863 ] ), 7898, 8053 ] ), rec(
        desc:= [ 302005 ],
        fp:= [ 1363, 1881 ],
        next:= [ 8008, 7870 ] ) ] ), rec(
      desc:= [ 107003 ],
      fp:= [ 420, 816, 1212 ],
      next:= [ rec(
        desc:= [ 302005, 209002 ],
        fp:= [ 14, 212 ],
        next:= [ 7777, 7776 ] ), rec(
        desc:= [ 302005 ],
        fp:= [ 1622, 36860 ],
        next:= [ rec(
          desc:= [ 302008 ],
          fp:= [ 1064, 1163, 16860 ],
          next:= [ 8069, 8091, rec(
            desc:= [ 207002 ],
            fp:= [ 8, 18 ],
            next:= [ 7796, 7854 ] ) ] ), rec(
          desc:= [ 302010 ],
          fp:= [ 1063, 1162, 16760 ],
          next:= [ rec(
            desc:= [ 302007, 210002, 302011, 40208009 ],
            fp:= [ 7, 3161 ],
            next:= [ 8062, 8081 ] ), 7852, 7793 ] ) ] ), rec(
        desc:= [ 302005, 302009, 302008, 210006, 40208010 ],
        fp:= [ 6, 3061 ],
        next:= [ 7841, 7842 ] ) ] ), rec(
      desc:= [ 107003 ],
      fp:= [ 420, 816, 1212 ],
      next:= [ rec(
        desc:= [ 302008 ],
        fp:= [ 1165, 26960, 36761 ],
        next:= [ rec(
          desc:= [ 206002 ],
          fp:= [ 20, 822, 1218, 1614 ],
          next:= [ 7780, 8067, 7781, 8060 ] ), rec(
          desc:= [ 207002 ],
          fp:= [ 822, 1218 ],
          next:= [ rec(
            desc:= [ 206002 ],
            fp:= [ 8, 18 ],
            next:= [ 7919, 7944 ] ), 7947 ] ), 7921 ] ), rec(
        desc:= [ 302005 ],
        fp:= [ 1165, 36761 ],
        next:= [ rec(
          desc:= [ 302009 ],
          fp:= [ 962, 1061, 1221, 96421 ],
          next:= [ rec(
            desc:= [ 209003 ],
            fp:= [ 414, 612 ],
            next:= [ 8105, rec(
              desc:= [ 302006, 302009, 211002, 302012, 40208009 ],
              fp:= [ 5, 2961 ],
              next:= [ 7954, 8047 ] ) ] ), 7994, 7997, rec(
            desc:= [ 210005 ],
            fp:= [ 8, 414, 612 ],
            next:= [ rec(
              desc:= [ 209002 ],
              fp:= [ 4, 14 ],
              next:= [ 7890, 7960 ] ), rec(
              desc:= [ 302007, 211002 ],
              fp:= [ 14, 212 ],
              next:= [ 8035, 7882 ] ), rec(
              desc:= [ 207002 ],
              fp:= [ 8, 18 ],
              next:= [ 7981, 7992 ] ) ] ) ] ), rec(
          desc:= [ 209002 ],
          fp:= [ 18, 216, 414 ],
          next:= [ rec(
            desc:= [ 210003 ],
            fp:= [ 6, 412 ],
            next:= [ 8162, 8240 ] ), rec(
            desc:= [ 302011 ],
            fp:= [ 1063, 1162 ],
            next:= [ rec(
              desc:= [ 302007 ],
              fp:= [ 9, 961 ],
              next:= [ rec(
                desc:= [ 302009, 302012, 210006, 307013, 211007, 40209011 ],
                fp:= [ 5, 2961 ],
                next:= [ 7773, 7771 ] ), rec(
                desc:= [ 212002 ],
                fp:= [ 16, 214 ],
                next:= [ 8163, rec(
                  desc:= [ 302010, 302014, 211007, 308014, 212008, 40210012 ],
                  fp:= [ 5, 2961 ],
                  next:= [ 7770, 7772 ] ) ] ) ] ), rec(
              desc:= [ 210004 ],
              fp:= [ 2, 12 ],
              next:= [ 8065, 8066 ] ) ] ), rec(
            desc:= [ 302006, 302009, 302012, 302014, 211007, 214007, 308014, 
212008, 40210012 ],
            fp:= [ 2862, 2961 ],
            next:= [ 8088, 8083 ] ) ] ) ] ), rec(
        desc:= [ 302007 ],
        fp:= [ 1066, 17060, 26861 ],
        next:= [ rec(
          desc:= [ 302005 ],
          fp:= [ 9, 961 ],
          next:= [ rec(
            desc:= [ 302006, 302009, 302012, 210005, 40208010 ],
            fp:= [ 2762, 2861 ],
            next:= [ 8098, 8097 ] ), rec(
            desc:= [ 207002, 302008, 302010, 302013, 40208010 ],
            fp:= [ 4, 2861 ],
            next:= [ 7844, 7847 ] ) ] ), rec(
          desc:= [ 302006, 208002, 302009, 305009, 213005, 305015, 215005, 
40311016 ],
          fp:= [ 4, 2861, 5421 ],
          next:= [ 8023, 8026, 8011 ] ), 8013 ] ) ] ) ] ), rec(
    desc:= [ 104003 ],
    fp:= [ 24, 34, 1222, 1618, 2014 ],
    next:= [ rec(
      desc:= [ 105003 ],
      fp:= [ 16, 422, 818, 1214 ],
      next:= [ 7815, 7943, 7726, rec(
        desc:= [ 302004, 206002, 302007, 302009, 40206008 ],
        fp:= [ 5, 2961 ],
        next:= [ 7907, 8014 ] ) ] ), 7862, rec(
      desc:= [ 106003 ],
      fp:= [ 16, 26, 422, 818, 1214 ],
      next:= [ 7810, 7708, 7746, rec(
        desc:= [ 302006 ],
        fp:= [ 1264, 1622 ],
        next:= [ 7716, 7809 ] ), 7754 ] ), rec(
      desc:= [ 106003 ],
      fp:= [ 422, 1214 ],
      next:= [ rec(
        desc:= [ 302004, 207002 ],
        fp:= [ 14, 212 ],
        next:= [ 7774, 8080 ] ), rec(
        desc:= [ 302004, 302006, 208002, 302009, 302011, 40207010 ],
        fp:= [ 6, 3061 ],
        next:= [ 8061, 7831 ] ) ] ), rec(
      desc:= [ 106003 ],
      fp:= [ 16, 26, 422, 818, 1214 ],
      next:= [ rec(
        desc:= [ 302004, 302008, 210003, 40207010 ],
        fp:= [ 6, 10741 ],
        next:= [ 8007, 8003 ] ), 7902, 7724, rec(
        desc:= [ 302006 ],
        fp:= [ 1264, 1622 ],
        next:= [ rec(
          desc:= [ 205002 ],
          fp:= [ 30, 426, 1218 ],
          next:= [ 7922, 7923, 7908 ] ), rec(
          desc:= [ 302005, 302010, 208004, 208005, 306008, 213006, 40208013 ],
          fp:= [ 7, 5721 ],
          next:= [ 7924, 8002 ] ) ] ), rec(
        desc:= [ 302006 ],
        fp:= [ 1066, 26861 ],
        next:= [ 7755, 7814 ] ) ] ) ] ) ] );