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
|
#############################################################################
##
#W id1680.ag GAP library of id's Hans Ulrich Besche
##
Revision.id1680_ag :=
"@(#)$Id: id1680.ag,v 1.1 2000/01/23 21:55:20 gap Exp $";
ID_GROUP_TREE.next[1680].next[33]:=
rec(
fp:= [ 539, 934, 1293, 2731, 3903, 4358, 7322, 7826, 8030, 8271, 8326,
9286, 9637, 10201, 11833, 11959, 12198, 12350, 12405, 12483, 12676, 12814,
13062, 13258, 16300, 16469, 16497, 17124, 17298, 17353, 17491, 18406, 18542,
19367, 19535, 21643, 21703, 21766, 23376, 23429, 23446, 26436, 27194, 27253,
29104, 29544, 30243, 30379, 30834, 30878, 31474, 31584, 31705, 32289, 32632,
32668, 32859, 33466, 33548, 33603, 33992, 35582, 37121, 38039, 38367, 39092,
39493, 39658, 39952, 40100, 40120, 40212, 40234, 40298, 40682, 41549, 41663,
42921, 43004, 43710, 44651, 45949, 45971, 47632, 49735, 50023, 50050, 50078,
50395, 50851, 51137, 53166, 54235, 55204, 55296, 55481, 55951, 56257, 56316,
56750, 57424, 57910, 58608, 58668, 58978, 59199, 59551, 60130, 60185, 61288,
61577, 63389, 64142, 65169, 65650, 67965, 68469, 68494, 68864, 71029, 72708,
73375, 74600, 74686, 75034, 75701, 76217, 76943, 78110, 78836, 79163, 81328,
81355, 83786, 84072, 85407, 85462, 86454, 87723, 91792, 93442, 94439, 94499,
94869, 95205, 95275, 95691, 96284, 96328, 96695, 97120, 97626, 97830, 97874,
98112, 99010 ],
level:= 4,
next:= [ 822, 913, 540, 514, 917, 810, 705, 794, 527, 523, 525, 559, 711,
509, 717, 815, 731, 551, 558, 806, 524, 532, 792, 507, 760, 804, 816, 809,
798, 766, 828, 764, 533, 538, 519, 515, 541, 535, 552, 786, 528, 537, 782,
831, 554, 725, 819, 727, 511, 836, 779, 824, 730, 808, 530, 777, 526, 726,
560, 550, 783, 791, 513, 761, 713, 768, 545, 522, 910, 834, 517, 518, 811,
516, 709, 802, 813, 916, 826, 557, 542, 793, 520, 833, 839, 562, 543, 548,
775, 706, 547, 712, 829, 772, 812, 710, 801, 770, 787, 825, 762, 521, 914,
774, 837, 838, 534, 553, 555, 817, 912, 807, 785, 835, 707, 714, 797, 919,
556, 781, 821, 728, 789, 508, 818, 729, 549, 771, 759, 799, 765, 561, 544,
510, 795, 531, 529, 820, 536, 723, 720, 788, 708, 512, 784, 767, 780, 539,
763, 718, 790, 915, 546, 814, 721, 716 ] );
|
