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