U-tiling: UQC5891

<70.1:448:2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 42 44 46 48 50 52 54 56 58 60 62 64 66 68 70 72 74 76 78 80 82 84 86 88 90 92 94 96 98 100 102 104 106 108 110 112 114 116 118 120 122 124 126 128 130 132 134 136 138 140 142 144 146 148 150 152 154 156 158 160 162 164 166 168 170 172 174 176 178 180 182 184 186 188 190 192 194 196 198 200 202 204 206 208 210 212 214 216 218 220 222 224 226 228 230 232 234 236 238 240 242 244 246 248 250 252 254 256 258 260 262 264 266 268 270 272 274 276 278 280 282 284 286 288 290 292 294 296 298 300 302 304 306 308 310 312 314 316 318 320 322 324 326 328 330 332 334 336 338 340 342 344 346 348 350 352 354 356 358 360 362 364 366 368 370 372 374 376 378 380 382 384 386 388 390 392 394 396 398 400 402 404 406 408 410 412 414 416 418 420 422 424 426 428 430 432 434 436 438 440 442 444 446 448,155 3 5 160 9 14 11 13 183 17 19 188 23 28 25 27 197 31 33 202 37 42 39 41 239 45 47 244 51 56 53 55 211 59 61 216 65 70 67 69 253 73 75 258 79 84 81 83 281 87 89 286 93 98 95 97 267 101 103 272 107 112 109 111 337 115 117 342 121 126 123 125 225 129 131 230 135 140 137 139 351 143 145 356 149 154 151 153 157 159 163 168 165 167 295 171 173 300 177 182 179 181 185 187 191 196 193 195 199 201 205 210 207 209 213 215 219 224 221 223 227 229 233 238 235 237 241 243 247 252 249 251 255 257 261 266 263 265 269 271 275 280 277 279 283 285 289 294 291 293 297 299 303 308 305 307 379 311 313 384 317 322 319 321 365 325 327 370 331 336 333 335 339 341 345 350 347 349 353 355 359 364 361 363 367 369 373 378 375 377 381 383 387 392 389 391 435 395 397 440 401 406 403 405 421 409 411 426 415 420 417 419 423 425 429 434 431 433 437 439 443 448 445 447,57 58 31 32 7 8 37 38 25 26 167 168 71 72 45 46 21 22 51 52 195 196 85 86 35 36 53 54 209 210 113 114 49 50 251 252 87 88 63 64 93 94 109 110 223 224 115 116 77 78 121 122 137 138 265 266 91 92 151 152 293 294 323 324 143 144 105 106 149 150 279 280 119 120 179 180 349 350 379 380 171 172 133 134 177 178 237 238 407 408 147 148 363 364 225 226 199 200 161 162 205 206 193 194 435 436 175 176 307 308 267 268 241 242 189 190 247 248 295 296 203 204 249 250 309 310 283 284 217 218 289 290 277 278 297 298 231 232 303 304 263 264 351 352 245 246 365 366 339 340 259 260 345 346 353 354 273 274 359 360 393 394 287 288 361 362 301 302 347 348 395 396 315 316 401 402 375 376 391 392 409 410 329 330 415 416 389 390 377 378 421 422 343 344 357 358 423 424 371 372 429 430 437 438 385 386 443 444 399 400 431 432 447 448 413 414 445 446 433 434 427 428 441 442:6 4 6 4 6 4 6 4 6 4 6 4 6 4 6 4 6 4 6 4 6 4 4 6 4 4 4 4 4 4 4 4 4 4 6 4 6 4 4 4 4 4 6 4 6 4 4 4,4 4 4 3 4 4 4 4 4 3 4 3 4 4 3 4 3 4 4 4 3 4 4 3 4 4 4 3 3 4 4 4 3 3 4 4 4 3 4 4 4 4 4 4 4 4 4 4 4 3 4 4 4 3 4 4 4 3 4 3> {(2, 444): 'tau1*t3^-1', (2, 445): 'tau1*t3^-1', (2, 446): 't2^-1*tau3*t1*tau2^-1', (2, 319): 'tau1', (1, 47): 't1^-1', (2, 180): 'tau3', (2, 181): 'tau3', (1, 117): 'tau3', (2, 177): 't2', (2, 401): 't3^-1', (2, 395): 't3^-1', (2, 430): 'tau1^-1*t3', (2, 431): 'tau1^-1*t3', (2, 168): 't2', (2, 169): 't2', (2, 170): 't2', (2, 171): 't2', (2, 420): 't2', (2, 421): 't2', (2, 109): 't3^-1', (1, 89): 'tau2^-1', (2, 414): 't3', (2, 415): 't3', (2, 152): 'tau2^-1', (2, 153): 'tau2^-1', (2, 148): 't3', (2, 149): 't3', (2, 400): 't3^-1', (1, 84): 'tau2^-1', (2, 261): 't2', (2, 142): 't3', (2, 143): 't3', (2, 136): 't2^-1', (2, 137): 't2^-1', (2, 394): 't3^-1', (1, 112): 'tau3', (2, 388): 'tau1', (2, 389): 'tau1', (2, 134): 't2^-1', (2, 124): 'tau3', (2, 125): 'tau3', (2, 254): 't2', (2, 255): 't2', (2, 250): 't1', (2, 251): 't1', (2, 432): 't2*tau3^-1*t1^-1*tau2', (1, 434): 't2^-1*tau3*t1*tau2^-1', (1, 439): 't2^-1*tau3*t1*tau2^-1', (2, 433): 't2*tau3^-1*t1^-1*tau2', (2, 108): 't3^-1', (1, 168): 'tau3', (1, 42): 't1^-1', (1, 173): 'tau3', (2, 234): 't2^-1', (2, 235): 't2^-1', (1, 33): 't1^-1', (2, 408): 't3', (2, 96): 'tau2^-1', (2, 97): 'tau2^-1', (2, 318): 'tau1', (2, 409): 't3', (2, 220): 't3', (2, 221): 't3', (2, 260): 't2', (1, 28): 't1^-1', (2, 218): 't3', (2, 219): 't3', (2, 212): 't3', (2, 213): 't3', (2, 208): 't1', (2, 209): 't1', (1, 406): 'tau2^-1*t1*tau3*t2^-1', (1, 145): 'tau2^-1', (1, 425): 't2*tau3^-1*t1^-1*tau2', (1, 140): 'tau2^-1', (2, 405): 'tau2*t1^-1*tau3^-1*t2'}