-
Notifications
You must be signed in to change notification settings - Fork 3
/
Bsize134.g
85 lines (85 loc) · 4.04 KB
/
Bsize134.g
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
BRACES[134]:=[rec(
gadd:=
[(1,81,27,107,53,133,12,92,38,118,64,77,23,103,49,129,8,
88,34,114,60,73,19,99,45,125,4,84,30,110,56,69,15,
95,41,121,67,80,26,106,52,132,11,91,37,117,63,76,22,
102,48,128,7,87,33,113,59,72,18,98,44,124,3,83,29,
109,55,68,14,94,40,120,66,79,25,105,51,131,10,90,36,
116,62,75,21,101,47,127,6,86,32,112,58,71,17,97,43,
123,2,82,28,108,54,134,13,93,39,119,65,78,24,104,50,
130,9,89,35,115,61,74,20,100,46,126,5,85,31,111,57,
70,16,96,42,122)],
gmul:=
[(1,81,27,107,53,133,12,92,38,118,64,77,23,103,49,129,8,
88,34,114,60,73,19,99,45,125,4,84,30,110,56,69,15,
95,41,121,67,80,26,106,52,132,11,91,37,117,63,76,22,
102,48,128,7,87,33,113,59,72,18,98,44,124,3,83,29,
109,55,68,14,94,40,120,66,79,25,105,51,131,10,90,36,
116,62,75,21,101,47,127,6,86,32,112,58,71,17,97,43,
123,2,82,28,108,54,134,13,93,39,119,65,78,24,104,50,
130,9,89,35,115,61,74,20,100,46,126,5,85,31,111,57,
70,16,96,42,122)],
p:=(2,68,91,77,42,88,43,21,86,26,100,47,55,73,8,34,
37,54,6,118,63,57,56,23,36,87,110,62,107,45,38,20,50,
89,127,14,84,9,102,11,52,106,95,111,129,31,3,18,134,15)
(4,51,22,117,113,79,92,10,101,128,98,13,119,130,115,96,49,
5,85,93,94,27,53,133,65,7,35,121,80,59,123,114,29,120,
32,66,74,116,46,122,82,76,109,112,12,17,69,41)
(16,67,24,33,104,28)(25,103,78,126,81)(30,83,75)
(39,71,58,90,60,40,70,108,44,105,61)(48,72,125,131)
(64,124)(97,99),
q:=(2,68,112,57,13,84,60,29,83,128,105,8,35,82,127,55,
130,88,26,103,125,72,78,77,27,16)(3,51,47,14,119,73,61,
30,120,37,15,67,45,31,66,129,38,49,64,79,111,74,87,93,
109,91,126,122,121,123,89,76,94,42,115,107,24,36,116,23,33,
99,106,108,25,100,22,86,43,48,131,21,117,90,9,101,75,39,
132,71,11,17,134,54,63,12,52,97,104,41,65,62,96,20,19,
50,114,40,133,4,18,69,28,53,70,95,92,59,80,10,102,58,
113,124,5,118,6,85,110,7,34,32)(44,98,56,46,81)),rec(
gadd:=
[(1,81,27,107,53,133,12,92,38,118,64,77,23,103,49,129,8,
88,34,114,60,73,19,99,45,125,4,84,30,110,56,69,15,
95,41,121,67,80,26,106,52,132,11,91,37,117,63,76,22,
102,48,128,7,87,33,113,59,72,18,98,44,124,3,83,29,
109,55,68,14,94,40,120,66,79,25,105,51,131,10,90,36,
116,62,75,21,101,47,127,6,86,32,112,58,71,17,97,43,
123,2,82,28,108,54,134,13,93,39,119,65,78,24,104,50,
130,9,89,35,115,61,74,20,100,46,126,5,85,31,111,57,
70,16,96,42,122)],
gmul:=
[(1,130)(2,129)(3,128)(4,127)(5,126)(6,125)(7,124)
(8,123)(9,122)(10,121)(11,120)(12,119)(13,118)(14,117)
(15,116)(16,115)(17,114)(18,113)(19,112)(20,111)(21,110)
(22,109)(23,108)(24,107)(25,106)(26,105)(27,104)(28,103)
(29,102)(30,101)(31,100)(32,99)(33,98)(34,97)(35,96)
(36,95)(37,94)(38,93)(39,92)(40,91)(41,90)(42,89)
(43,88)(44,87)(45,86)(46,85)(47,84)(48,83)(49,82)
(50,81)(51,80)(52,79)(53,78)(54,77)(55,76)(56,75)
(57,74)(58,73)(59,72)(60,71)(61,70)(62,69)(63,68)
(64,134)(65,133)(66,132)(67,131),
(1,133)(2,132)(3,131)(4,130)(5,129)(6,128)(7,127)
(8,126)(9,125)(10,124)(11,123)(12,122)(13,121)(14,120)
(15,119)(16,118)(17,117)(18,116)(19,115)(20,114)(21,113)
(22,112)(23,111)(24,110)(25,109)(26,108)(27,107)(28,106)
(29,105)(30,104)(31,103)(32,102)(33,101)(34,100)(35,99)
(36,98)(37,97)(38,96)(39,95)(40,94)(41,93)(42,92)
(43,91)(44,90)(45,89)(46,88)(47,87)(48,86)(49,85)
(50,84)(51,83)(52,82)(53,81)(54,80)(55,79)(56,78)
(57,77)(58,76)(59,75)(60,74)(61,73)(62,72)(63,71)
(64,70)(65,69)(66,68)(67,134)],
p:=(2,68,124,77,45,105,60,107,26,103,93,97,92,75,74,21,
117,7,35,32,66,90,61,99,27,53,133,128,94,44,70,63,132,
111,110,57,82,28,16,67,4,51,89,114,129,78,123,24,33,15)
(3,18,69,116,126,42,88,125,95,80,91,22,86,11,52,30,120,
59,54,106,79,38,71,115,9,101,43,31)(5,118,127,41,87)
(6,85,131,58,29,83,55,20,50,47,122,109,76,98)
(8,34,121,56,13,84,108,23,36,65,37,104,113,10,102,40,48,
64,12,17,134)(14,119,112,130,25,100,96,39,49,72,62,46),
q:=(2,68,124,77,24,36,4,18,69,116,126,27,16)
(3,51,89,114,129,78,123,45,105,9,101,26,103,93,97,92,75,
74,48,5,118,127,28,53,133,128,94,25,100,96,30,120,10,102,
29,83,14,119,112,130,44,70,6,85,131,11,17,134,61,99,42,
88,125,95,80,91,47,122,109,76,98,63,132,111,110,12,52,39,
20,19,50,22,86,58,40,21,117,62,23,33,54,106,79,31,66,
90,8,35,37,104,113,59,15,67,65,32)(7,34,121,13,84,108,
46,55,49,72)(38,71,115,60,107,43)(41,87,64,57,82))];