gap-small-groups 4r7p3-1 / usr / share / gap / small / gap3cat.g

#############################################################################
##
#W  gap3cat.g              GAP library of groups           Hans Ulrich Besche
##                                               Bettina Eick, Eamonn O'Brien
##

GAP3_CATALOGUE_ID_GROUP := [
,,, [ 2, 1 ],, [ 2, 1 ],, [ 3, 2, 4, 5, 1 ], [ 2, 1 ], [ 2, 1 ],, [ 4, 2, 5,
3, 1 ],, [ 2, 1 ],, [ 5, 4, 9, 10, 3, 11, 12, 13, 14, 2, 6, 7, 8, 1 ],, [ 3,
2, 4, 5, 1 ],, [ 4, 2, 5, 3, 1 ], [ 2, 1 ], [ 2, 1 ],, [ 9, 3, 14, 13, 7, 12,
8, 11, 2, 4, 5, 15, 10, 6, 1 ], [ 2, 1 ], [ 2, 1 ], [ 3, 2, 4, 5, 1 ], [ 4, 2
, 3, 1 ],, [ 3, 2, 4, 1 ],, [ 7, 18, 6, 19, 20, 46, 47, 48, 27, 28, 31, 21,
30, 29, 32, 5, 22, 49, 50, 51, 4, 11, 12, 16, 14, 15, 33, 36, 37, 38, 39, 40,
41, 34, 35, 3, 13, 17, 23, 24, 25, 26, 44, 45, 2, 8, 9, 10, 42, 43, 1 ],, [ 2
, 1 ],, [ 12, 4, 8, 11, 2, 6, 10, 3, 14, 13, 7, 5, 9, 1 ],, [ 2, 1 ], [ 2, 1
], [ 9, 3, 11, 14, 7, 13, 8, 12, 2, 4, 5, 10, 6, 1 ],, [ 5, 3, 4, 2, 6, 1 ],,
[ 4, 2, 3, 1 ], [ 2, 1 ], [ 2, 1 ],, [ 21, 5, 52, 19, 33, 43, 42, 44, 20, 32,
18, 29, 30, 28, 45, 46, 47, 48, 27, 4, 9, 10, 3, 11, 12, 13, 14, 50, 49, 37,
23, 34, 35, 26, 16, 25, 31, 38, 40, 39, 41, 17, 24, 2, 6, 7, 8, 36, 22, 51,
15, 1 ], [ 2, 1 ], [ 3, 2, 4, 5, 1 ],, [ 4, 2, 5, 3, 1 ],, [ 15, 3, 9, 7, 11,
12, 14, 10, 2, 4, 5, 6, 8, 13, 1 ], [ 2, 1 ], [ 9, 3, 12, 7, 11, 8, 10, 2, 4,
5, 13, 6, 1 ], [ 2, 1 ], [ 2, 1 ],, [ 4, 7, 10, 2, 13, 8, 12, 11, 5, 6, 3, 9,
1 ],, [ 2, 1 ], [ 4, 2, 3, 1 ], [ 11, 10, 38, 131, 132, 62, 63, 237, 238, 239
, 240, 234, 235, 236, 65, 64, 37, 180, 181, 60, 59, 61, 128, 129, 130, 9, 39,
182, 40, 133, 66, 250, 251, 252, 253, 254, 255, 138, 139, 142, 248, 247, 249,
41, 67, 246, 140, 141, 143, 7, 42, 265, 266, 267, 8, 22, 30, 28, 29, 81, 83,
89, 90, 93, 82, 86, 84, 92, 91, 88, 85, 87, 144, 147, 146, 145, 150, 151, 149
, 148, 152, 153, 6, 23, 31, 32, 24, 94, 96, 123, 126, 124, 125, 127, 47, 48,
53, 114, 113, 115, 51, 120, 25, 95, 97, 50, 49, 54, 116, 52, 121, 33, 98, 102
, 34, 99, 100, 55, 56, 57, 118, 119, 117, 58, 122, 35, 101, 201, 203, 217,
202, 204, 218, 261, 263, 262, 264, 259, 260, 205, 206, 208, 211, 219, 220,
196, 195, 197, 229, 228, 230, 257, 256, 258, 207, 210, 209, 212, 221, 222,
213, 214, 223, 215, 216, 224, 193, 194, 200, 232, 231, 233, 189, 188, 192,
198, 225, 226, 191, 199, 190, 227, 5, 26, 36, 134, 135, 136, 137, 244, 245, 4
, 15, 16, 20, 18, 19, 27, 106, 108, 107, 68, 71, 72, 73, 77, 74, 75, 76, 80,
69, 70, 78, 79, 169, 170, 172, 171, 175, 177, 176, 179, 178, 173, 174, 154,
157, 160, 159, 155, 158, 163, 167, 164, 161, 166, 168, 162, 156, 165, 184,
183, 185, 186, 187, 3, 17, 21, 109, 43, 44, 45, 46, 110, 111, 112, 241, 242,
243, 2, 12, 13, 14, 103, 104, 105, 1 ],, [ 3, 2, 4, 1 ],, [ 4, 2, 5, 3, 1 ],,
[ 3, 2, 4, 1 ],, [ 24, 6, 29, 41, 23, 40, 22, 39, 4, 9, 10, 14, 20, 5, 50, 16
, 21, 2, 35, 32, 33, 42, 43, 44, 28, 27, 13, 26, 12, 25, 38, 19, 37, 18, 36,
3, 7, 8, 45, 47, 48, 30, 49, 46, 34, 31, 15, 11, 17, 1 ],, [ 2, 1 ], [ 2, 3,
1 ], [ 4, 2, 3, 1 ],, [ 5, 3, 4, 2, 6, 1 ],, [ 21, 5, 26, 19, 36, 50, 49, 51,
20, 35, 18, 32, 33, 31, 45, 46, 47, 48, 30, 4, 9, 10, 3, 11, 12, 13, 14, 25,
44, 23, 42, 24, 43, 41, 29, 16, 28, 34, 37, 39, 38, 40, 17, 27, 2, 6, 7, 8,
52, 22, 15, 1 ], [ 5, 4, 8, 9, 3, 11, 12, 14, 13, 15, 2, 6, 7, 10, 1 ], [ 2,
1 ],, [ 11, 9, 4, 7, 13, 2, 10, 14, 8, 5, 15, 6, 3, 12, 1 ],, [ 2, 1 ],, [ 9,
3, 12, 7, 11, 8, 10, 2, 4, 5, 6, 1 ],, [ 5, 7, 10, 2, 6, 3, 8, 4, 9, 1 ],, [
4, 2, 3, 1 ], [ 2, 1 ], [ 2, 1 ],, [ 24, 7, 77, 22, 88, 205, 208, 212, 21, 80
, 85, 126, 196, 119, 122, 112, 116, 23, 89, 20, 86, 79, 114, 121, 118, 128,
82, 110, 129, 199, 202, 124, 206, 209, 210, 213, 83, 76, 111, 200, 197, 115,
203, 125, 75, 6, 78, 81, 195, 198, 201, 109, 113, 123, 84, 120, 117, 127, 5,
87, 204, 207, 211, 222, 224, 216, 219, 16, 64, 134, 173, 138, 19, 74, 61, 231
, 166, 14, 67, 56, 137, 162, 170, 68, 152, 172, 44, 59, 132, 156, 146, 164,
159, 63, 141, 168, 167, 48, 69, 58, 157, 145, 153, 151, 171, 17, 51, 71, 95,
91, 105, 101, 52, 72, 184, 190, 92, 185, 104, 96, 186, 191, 107, 100, 192,
106, 18, 53, 15, 49, 149, 47, 66, 43, 55, 155, 143, 93, 187, 97, 57, 158, 161
, 131, 144, 147, 136, 98, 194, 102, 140, 62, 150, 163, 73, 188, 108, 193, 45,
133, 4, 42, 46, 65, 54, 60, 130, 142, 148, 154, 160, 165, 169, 135, 139, 3,
50, 70, 90, 94, 99, 103, 183, 189, 226, 223, 225, 215, 214, 217, 221, 218,
220, 228, 229, 13, 29, 34, 33, 41, 177, 182, 35, 178, 31, 11, 26, 37, 27, 39,
176, 32, 40, 181, 38, 175, 180, 12, 28, 2, 25, 30, 36, 174, 179, 227, 230, 9,
10, 8, 1 ],, [ 3, 2, 4, 5, 1 ], [ 2, 1 ], [ 11, 4, 16, 10, 2, 6, 9, 3, 7, 15,
13, 14, 12, 5, 8, 1 ] ];