1Tr_4_O1 := PolycyclicGroup< g1, g2, g3, g4, g5, g6, g7, g8, g9, g10, g11, g12, g13, g14, g15, g16, g17, g18, g19, g20 |
2
3    g1^2,
4    g2^2,
5    g3^2,
6    g4^2,
7
8    g2^g1 = g2,
9    g3^g1 = g3,
10    g3^g2 = g3,
11    g4^g1 = g4,
12    g4^g2 = g4,
13    g4^g3 = g4,
14    g5^g1 = g5,
15    g5^g2 = g5,
16    g5^g3 = g5,
17    g5^g4 = g5,
18    g6^g1 = g6,
19    g6^g2 = g6,
20    g6^g3 = g6,
21    g6^g4 = g6,
22    g6^g5 = g6,
23    g6^g5^-1 = g6,
24    g7^g1 = g7,
25    g7^g2 = g7,
26    g7^g3 = g7,
27    g7^g4 = g7,
28    g7^g5 = g7,
29    g7^g5^-1 = g7,
30    g7^g6 = g7,
31    g7^g6^-1 = g7,
32    g8^g1 = g8,
33    g8^g2 = g8,
34    g8^g3 = g8,
35    g8^g4 = g8,
36    g8^g5 = g8,
37    g8^g5^-1 = g8,
38    g8^g6 = g8,
39    g8^g6^-1 = g8,
40    g8^g7 = g8,
41    g8^g7^-1 = g8,
42    g9^g1 = g9^-1,
43    g9^g2 = g9^-1,
44    g9^g3 = g9,
45    g9^g4 = g9,
46    g9^g5 = g9^2*g10,
47    g9^g5^-1 = g9^2*g10^-1,
48    g9^g6 = g9^2*g10^-1,
49    g9^g6^-1 = g9^2*g10,
50    g9^g7 = g9,
51    g9^g7^-1 = g9,
52    g9^g8 = g9,
53    g9^g8^-1 = g9,
54    g10^g1 = g10^-1,
55    g10^g2 = g10^-1,
56    g10^g3 = g10,
57    g10^g4 = g10,
58    g10^g5 = g9^3*g10^2,
59    g10^g5^-1 = g9^-3*g10^2,
60    g10^g6 = g9^-3*g10^2,
61    g10^g6^-1 = g9^3*g10^2,
62    g10^g7 = g10,
63    g10^g7^-1 = g10,
64    g10^g8 = g10,
65    g10^g8^-1 = g10,
66    g10^g9 = g10,
67    g10^g9^-1 = g10,
68    g11^g1 = g11,
69    g11^g2 = g11^-1,
70    g11^g3 = g11^-1,
71    g11^g4 = g11,
72    g11^g5 = g11,
73    g11^g5^-1 = g11,
74    g11^g6 = g11^2*g12,
75    g11^g6^-1 = g11^2*g12^-1,
76    g11^g7 = g11^2*g12^-1,
77    g11^g7^-1 = g11^2*g12,
78    g11^g8 = g11,
79    g11^g8^-1 = g11,
80    g11^g9 = g11*g15,
81    g11^g9^-1 = g11*g15^-1,
82    g11^g10 = g11*g16,
83    g11^g10^-1 = g11*g16^-1,
84    g12^g1 = g12,
85    g12^g2 = g12^-1,
86    g12^g3 = g12^-1,
87    g12^g4 = g12,
88    g12^g5 = g12,
89    g12^g5^-1 = g12,
90    g12^g6 = g11^3*g12^2,
91    g12^g6^-1 = g11^-3*g12^2,
92    g12^g7 = g11^-3*g12^2,
93    g12^g7^-1 = g11^3*g12^2,
94    g12^g8 = g12,
95    g12^g8^-1 = g12,
96    g12^g9 = g12*g16,
97    g12^g9^-1 = g12*g16^-1,
98    g12^g10 = g12*g15^3,
99    g12^g10^-1 = g12*g15^-3,
100    g12^g11 = g12,
101    g12^g11^-1 = g12,
102    g13^g1 = g13,
103    g13^g2 = g13,
104    g13^g3 = g13^-1,
105    g13^g4 = g13^-1,
106    g13^g5 = g13,
107    g13^g5^-1 = g13,
108    g13^g6 = g13,
109    g13^g6^-1 = g13,
110    g13^g7 = g13^2*g14,
111    g13^g7^-1 = g13^2*g14^-1,
112    g13^g8 = g13^2*g14^-1,
113    g13^g8^-1 = g13^2*g14,
114    g13^g9 = g13,
115    g13^g9^-1 = g13,
116    g13^g10 = g13,
117    g13^g10^-1 = g13,
118    g13^g11 = g13*g17,
119    g13^g11^-1 = g13*g17^-1,
120    g13^g12 = g13*g18,
121    g13^g12^-1 = g13*g18^-1,
122    g14^g1 = g14,
123    g14^g2 = g14,
124    g14^g3 = g14^-1,
125    g14^g4 = g14^-1,
126    g14^g5 = g14,
127    g14^g5^-1 = g14,
128    g14^g6 = g14,
129    g14^g6^-1 = g14,
130    g14^g7 = g13^3*g14^2,
131    g14^g7^-1 = g13^-3*g14^2,
132    g14^g8 = g13^-3*g14^2,
133    g14^g8^-1 = g13^3*g14^2,
134    g14^g9 = g14,
135    g14^g9^-1 = g14,
136    g14^g10 = g14,
137    g14^g10^-1 = g14,
138    g14^g11 = g14*g18,
139    g14^g11^-1 = g14*g18^-1,
140    g14^g12 = g14*g17^3,
141    g14^g12^-1 = g14*g17^-3,
142    g14^g13 = g14,
143    g14^g13^-1 = g14,
144    g15^g1 = g15^-1,
145    g15^g2 = g15,
146    g15^g3 = g15^-1,
147    g15^g4 = g15,
148    g15^g5 = g15^2*g16,
149    g15^g5^-1 = g15^2*g16^-1,
150    g15^g6 = g15,
151    g15^g6^-1 = g15,
152    g15^g7 = g15^2*g16^-1,
153    g15^g7^-1 = g15^2*g16,
154    g15^g8 = g15,
155    g15^g8^-1 = g15,
156    g15^g9 = g15,
157    g15^g9^-1 = g15,
158    g15^g10 = g15,
159    g15^g10^-1 = g15,
160    g15^g11 = g15,
161    g15^g11^-1 = g15,
162    g15^g12 = g15,
163    g15^g12^-1 = g15,
164    g15^g13 = g15*g19^-1,
165    g15^g13^-1 = g15*g19,
166    g15^g14 = g15*g20^-1,
167    g15^g14^-1 = g15*g20,
168    g16^g1 = g16^-1,
169    g16^g2 = g16,
170    g16^g3 = g16^-1,
171    g16^g4 = g16,
172    g16^g5 = g15^3*g16^2,
173    g16^g5^-1 = g15^-3*g16^2,
174    g16^g6 = g16,
175    g16^g6^-1 = g16,
176    g16^g7 = g15^-3*g16^2,
177    g16^g7^-1 = g15^3*g16^2,
178    g16^g8 = g16,
179    g16^g8^-1 = g16,
180    g16^g9 = g16,
181    g16^g9^-1 = g16,
182    g16^g10 = g16,
183    g16^g10^-1 = g16,
184    g16^g11 = g16,
185    g16^g11^-1 = g16,
186    g16^g12 = g16,
187    g16^g12^-1 = g16,
188    g16^g13 = g16*g20^-1,
189    g16^g13^-1 = g16*g20,
190    g16^g14 = g16*g19^-3,
191    g16^g14^-1 = g16*g19^3,
192    g16^g15 = g16,
193    g16^g15^-1 = g16,
194    g17^g1 = g17,
195    g17^g2 = g17^-1,
196    g17^g3 = g17,
197    g17^g4 = g17^-1,
198    g17^g5 = g17,
199    g17^g5^-1 = g17,
200    g17^g6 = g17^2*g18,
201    g17^g6^-1 = g17^2*g18^-1,
202    g17^g7 = g17,
203    g17^g7^-1 = g17,
204    g17^g8 = g17^2*g18^-1,
205    g17^g8^-1 = g17^2*g18,
206    g17^g9 = g17*g19,
207    g17^g9^-1 = g17*g19^-1,
208    g17^g10 = g17*g20,
209    g17^g10^-1 = g17*g20^-1,
210    g17^g11 = g17,
211    g17^g11^-1 = g17,
212    g17^g12 = g17,
213    g17^g12^-1 = g17,
214    g17^g13 = g17,
215    g17^g13^-1 = g17,
216    g17^g14 = g17,
217    g17^g14^-1 = g17,
218    g17^g15 = g17,
219    g17^g15^-1 = g17,
220    g17^g16 = g17,
221    g17^g16^-1 = g17,
222    g18^g1 = g18,
223    g18^g2 = g18^-1,
224    g18^g3 = g18,
225    g18^g4 = g18^-1,
226    g18^g5 = g18,
227    g18^g5^-1 = g18,
228    g18^g6 = g17^3*g18^2,
229    g18^g6^-1 = g17^-3*g18^2,
230    g18^g7 = g18,
231    g18^g7^-1 = g18,
232    g18^g8 = g17^-3*g18^2,
233    g18^g8^-1 = g17^3*g18^2,
234    g18^g9 = g18*g20,
235    g18^g9^-1 = g18*g20^-1,
236    g18^g10 = g18*g19^3,
237    g18^g10^-1 = g18*g19^-3,
238    g18^g11 = g18,
239    g18^g11^-1 = g18,
240    g18^g12 = g18,
241    g18^g12^-1 = g18,
242    g18^g13 = g18,
243    g18^g13^-1 = g18,
244    g18^g14 = g18,
245    g18^g14^-1 = g18,
246    g18^g15 = g18,
247    g18^g15^-1 = g18,
248    g18^g16 = g18,
249    g18^g16^-1 = g18,
250    g18^g17 = g18,
251    g18^g17^-1 = g18,
252    g19^g1 = g19^-1,
253    g19^g2 = g19,
254    g19^g3 = g19,
255    g19^g4 = g19^-1,
256    g19^g5 = g19^2*g20,
257    g19^g5^-1 = g19^2*g20^-1,
258    g19^g6 = g19,
259    g19^g6^-1 = g19,
260    g19^g7 = g19,
261    g19^g7^-1 = g19,
262    g19^g8 = g19^2*g20^-1,
263    g19^g8^-1 = g19^2*g20,
264    g19^g9 = g19,
265    g19^g9^-1 = g19,
266    g19^g10 = g19,
267    g19^g10^-1 = g19,
268    g19^g11 = g19,
269    g19^g11^-1 = g19,
270    g19^g12 = g19,
271    g19^g12^-1 = g19,
272    g19^g13 = g19,
273    g19^g13^-1 = g19,
274    g19^g14 = g19,
275    g19^g14^-1 = g19,
276    g19^g15 = g19,
277    g19^g15^-1 = g19,
278    g19^g16 = g19,
279    g19^g16^-1 = g19,
280    g19^g17 = g19,
281    g19^g17^-1 = g19,
282    g19^g18 = g19,
283    g19^g18^-1 = g19,
284    g20^g1 = g20^-1,
285    g20^g2 = g20,
286    g20^g3 = g20,
287    g20^g4 = g20^-1,
288    g20^g5 = g19^3*g20^2,
289    g20^g5^-1 = g19^-3*g20^2,
290    g20^g6 = g20,
291    g20^g6^-1 = g20,
292    g20^g7 = g20,
293    g20^g7^-1 = g20,
294    g20^g8 = g19^-3*g20^2,
295    g20^g8^-1 = g19^3*g20^2,
296    g20^g9 = g20,
297    g20^g9^-1 = g20,
298    g20^g10 = g20,
299    g20^g10^-1 = g20,
300    g20^g11 = g20,
301    g20^g11^-1 = g20,
302    g20^g12 = g20,
303    g20^g12^-1 = g20,
304    g20^g13 = g20,
305    g20^g13^-1 = g20,
306    g20^g14 = g20,
307    g20^g14^-1 = g20,
308    g20^g15 = g20,
309    g20^g15^-1 = g20,
310    g20^g16 = g20,
311    g20^g16^-1 = g20,
312    g20^g17 = g20,
313    g20^g17^-1 = g20,
314    g20^g18 = g20,
315    g20^g18^-1 = g20,
316    g20^g19 = g20,
317    g20^g19^-1 = g20
318>;
319