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