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
|
#############################################################################
##
#W id864.gl GAP library of id's Hans Ulrich Besche
##
Revision.id864_gl :=
"@(#)$Id: id864.gl,v 1.1 2000/01/23 13:48:24 gap Exp $";
ID_GROUP_TREE.next[864].next[194]:=
rec(
fp:= [ 117, 178, 450, 821, 1240, 1480, 1532, 2209, 2993, 3700, 4100, 5693,
6995, 7190, 7469, 8508, 12766, 13076, 13470, 13838, 14542, 15635, 16325,
18554, 19839, 20118, 20716, 20721, 22691, 25354, 25971, 26426, 27161, 27519,
28179, 28223, 30046, 30395, 30820, 31220, 31620, 34437, 34592, 34871, 35561,
35910, 38267, 38667, 39067, 39910, 39952, 40821, 41240, 41487, 41944, 45714,
46114, 46143, 46514, 46543, 46822, 47002, 47190, 47525, 47894, 48212, 49282,
52517, 52766, 53470, 53590, 53828, 53990, 54068, 54542, 55581, 59778, 59839,
60118, 63398, 64356, 64756, 65354, 66426, 66714, 67130, 67789, 68223, 68913,
70453, 71803, 72203, 72427, 73304, 73499, 73733, 74359, 74592, 75252, 75296,
77701, 77870, 78101, 79779, 80767, 81944, 82634, 82983, 85148, 85548, 85903,
86822, 87025, 87180, 87894, 93470, 93548, 93828, 94075, 94532, 95914, 95974,
96314, 96355, 99590 ],
level:= 4,
next:= [ 1149, 793, 860, 1140, 1179, 841, 1799, 770, 1764, 1174, 1173, 797,
837, 1145, 1151, 1763, rec(
fp:= [ 21829, 34261 ],
next:= [ 788, 780 ] ), 1820, 786, 1153, 1143, 1185, 764, 847, 789, 787,
834, 1834, 859, 781, 854, 1141, 796, 1188, 1757, 1177, 763, 1770, 851, 852,
861, 833, 1184, 1190, 771, 1772, 857, 856, 862, 1819, 839, 1152, 1192, 1734,
1182, 855, 858, 1137, 864, 1138, 791, rec(
fp:= [ 9484, 67089 ],
next:= [ 1738, 1740 ] ), 1150, 1798, 1144, 848, 772, 1739, 795, rec(
fp:= [ 28726, 85164 ],
next:= [ 784, 790 ] ), 1131, 1180, 1132, 838, 1147, rec(
fp:= [ 21539, 56378 ],
next:= [ 1762, 1765 ] ), 1146, 794, 798, 762, 1176, 1175, 782, 1154,
1833, 1139, 836, 1189, 779, 849, 1170, 1169, 783, 840, 1142, 853, 1800, 1187,
1758, 1181, 1133, 863, 1134, 785, 1756, 1186, rec(
fp:= [ 18401, 87516 ],
next:= [ 769, 777 ] ), 1771, 1135, 1136, 1818, 792, 835, 1183, 1148, 799,
1835, 1191, 1751, 1178, 1172, 850, 1171, 778, 1750 ] );
|
