U-tiling: UQC5467

<20.1:576: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 450 452 454 456 458 460 462 464 466 468 470 472 474 476 478 480 482 484 486 488 490 492 494 496 498 500 502 504 506 508 510 512 514 516 518 520 522 524 526 528 530 532 534 536 538 540 542 544 546 548 550 552 554 556 558 560 562 564 566 568 570 572 574 576,25 3 5 30 9 12 11 37 15 17 42 21 24 23 27 29 33 36 35 39 41 45 48 47 85 51 53 90 57 60 59 121 63 65 126 69 72 71 133 75 77 138 81 84 83 87 89 93 96 95 169 99 101 174 105 108 107 181 111 113 186 117 120 119 123 125 129 132 131 135 137 141 144 143 253 147 149 258 153 156 155 265 159 161 270 165 168 167 171 173 177 180 179 183 185 189 192 191 313 195 197 318 201 204 203 325 207 209 330 213 216 215 361 219 221 366 225 228 227 385 231 233 390 237 240 239 397 243 245 402 249 252 251 255 257 261 264 263 267 269 273 276 275 421 279 281 426 285 288 287 433 291 293 438 297 300 299 445 303 305 450 309 312 311 315 317 321 324 323 327 329 333 336 335 481 339 341 486 345 348 347 493 351 353 498 357 360 359 363 365 369 372 371 505 375 377 510 381 384 383 387 389 393 396 395 399 401 405 408 407 517 411 413 522 417 420 419 423 425 429 432 431 435 437 441 444 443 447 449 453 456 455 541 459 461 546 465 468 467 553 471 473 558 477 480 479 483 485 489 492 491 495 497 501 504 503 507 509 513 516 515 519 521 525 528 527 565 531 533 570 537 540 539 543 545 549 552 551 555 557 561 564 563 567 569 573 576 575,13 14 63 64 7 8 69 70 35 36 99 100 19 20 105 106 47 48 49 50 147 148 31 32 153 154 73 74 219 220 43 44 225 226 231 232 55 56 237 238 95 96 109 110 67 68 131 132 339 340 79 80 345 346 143 144 133 134 315 316 91 92 321 322 157 158 103 104 179 180 207 208 115 116 213 214 191 192 193 194 255 256 127 128 261 262 423 424 139 140 429 430 241 242 151 152 263 264 291 292 163 164 297 298 275 276 277 278 363 364 175 176 369 370 301 302 399 400 187 188 405 406 387 388 199 200 393 394 323 324 289 290 211 212 335 336 349 350 223 224 371 372 373 374 235 236 395 396 327 328 247 248 333 334 407 408 361 362 259 260 409 410 495 496 271 272 501 502 483 484 283 284 489 490 431 432 295 296 443 444 507 508 307 308 513 514 455 456 445 446 319 320 457 458 331 332 469 470 343 344 491 492 435 436 355 356 441 442 503 504 367 368 459 460 379 380 465 466 515 516 481 482 391 392 493 494 403 404 555 556 415 416 561 562 527 528 517 518 427 428 529 530 439 440 543 544 451 452 549 550 463 464 551 552 531 532 475 476 537 538 563 564 487 488 499 500 553 554 511 512 567 568 523 524 573 574 535 536 575 576 565 566 547 548 559 560 571 572:6 3 6 3 3 3 6 3 6 3 6 3 3 6 3 6 3 3 3 6 3 6 3 3 3 6 3 6 3 6 3 6 3 6 3 3 3 6 3 6 3 6 3 3 3 6 3 6 3 3 6 3 3 3 6 3 3 3 3 6 3 6 3 3 3 3 3 6 3 3 3 3,4 8 4 3 6 4 3 6 8 4 8 4 4 3 6 4 3 4 3 6 8 4 4 3 4 3 6 8 4 4 4 3 4 3 6 4 8 4 4 3 4 3 3 4 3 4 3 4 4 3 3 4 3 6 3 4 3 4 3 4 3 6 4 3 4 3 4 3> {(2, 188): 't2', (2, 189): 't2', (2, 574): 't2^-1', (2, 575): 't2^-1', (2, 440): 'tau3', (2, 441): 'tau3', (2, 573): 'tau1*t3^-1*tau2^-1', (2, 86): 't3', (2, 182): 't2', (2, 183): 't2', (2, 560): 't2', (2, 561): 't2', (2, 178): 't1', (2, 179): 't1', (1, 233): 't3', (2, 554): 't2', (2, 555): 't2', (2, 548): 'tau1', (1, 96): 't1^-1', (2, 166): 'tau3', (2, 167): 'tau3', (1, 101): 't1^-1', (1, 228): 't3', (2, 542): 'tau1', (2, 543): 'tau1', (2, 536): 'tau3*t1', (2, 87): 't3', (1, 209): 't2', (1, 336): 'tau2^-1', (1, 341): 'tau2^-1', (2, 530): 'tau3*t1', (2, 531): 'tau3*t1', (2, 140): 'tau2^-1', (2, 141): 'tau2^-1', (2, 526): 't1*tau3', (2, 527): 't1*tau3', (1, 204): 't2', (2, 134): 'tau2^-1', (2, 135): 'tau2^-1', (2, 566): 'tau1*t3^-1*tau2^-1', (2, 514): 'tau1^-1', (2, 515): 'tau1^-1', (1, 569): 't2^-1', (2, 434): 'tau3', (2, 567): 'tau1*t3^-1*tau2^-1', (2, 93): 't3', (2, 572): 'tau1*t3^-1*tau2^-1', (1, 564): 't2^-1', (1, 372): 'tau1', (1, 552): 'tau1^-1*t3*tau2', (2, 238): 't3', (2, 239): 't3', (1, 557): 'tau1^-1*t3*tau2', (2, 562): 'tau1^-1*t3*tau2', (2, 490): 'tau2', (2, 491): 'tau2', (1, 161): 'tau3', (2, 563): 'tau1^-1*t3*tau2', (2, 224): 't1', (2, 225): 't1', (2, 92): 't3', (2, 477): 't1^-1*tau3^-1', (1, 156): 'tau3', (2, 218): 't1', (2, 219): 't1', (2, 214): 't2', (2, 215): 't2', (1, 521): 't1*tau3', (2, 549): 'tau1', (2, 435): 'tau3', (1, 516): 't1*tau3', (1, 377): 'tau1'}