U-tiling: UQC5901

<71.1:672: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 578 580 582 584 586 588 590 592 594 596 598 600 602 604 606 608 610 612 614 616 618 620 622 624 626 628 630 632 634 636 638 640 642 644 646 648 650 652 654 656 658 660 662 664 666 668 670 672,15 3 5 7 22 11 14 13 17 19 21 25 28 27 43 31 33 35 50 39 42 41 45 47 49 53 56 55 155 59 61 63 162 67 70 69 183 73 75 77 190 81 84 83 239 87 89 91 246 95 98 97 267 101 103 105 274 109 112 111 295 115 117 119 302 123 126 125 323 129 131 133 330 137 140 139 337 143 145 147 344 151 154 153 157 159 161 165 168 167 365 171 173 175 372 179 182 181 185 187 189 193 196 195 393 199 201 203 400 207 210 209 421 213 215 217 428 221 224 223 435 227 229 231 442 235 238 237 241 243 245 249 252 251 463 255 257 259 470 263 266 265 269 271 273 277 280 279 477 283 285 287 484 291 294 293 297 299 301 305 308 307 505 311 313 315 512 319 322 321 325 327 329 333 336 335 339 341 343 347 350 349 519 353 355 357 526 361 364 363 367 369 371 375 378 377 533 381 383 385 540 389 392 391 395 397 399 403 406 405 561 409 411 413 568 417 420 419 423 425 427 431 434 433 437 439 441 445 448 447 575 451 453 455 582 459 462 461 465 467 469 473 476 475 479 481 483 487 490 489 589 493 495 497 596 501 504 503 507 509 511 515 518 517 521 523 525 529 532 531 535 537 539 543 546 545 617 549 551 553 624 557 560 559 563 565 567 571 574 573 577 579 581 585 588 587 591 593 595 599 602 601 631 605 607 609 638 613 616 615 619 621 623 627 630 629 633 635 637 641 644 643 659 647 649 651 666 655 658 657 661 663 665 669 672 671,57 58 73 74 33 34 9 10 39 40 27 28 85 86 101 102 47 48 23 24 53 54 113 114 129 130 37 38 55 56 197 198 213 214 51 52 143 144 173 174 65 66 179 180 167 168 141 142 131 132 79 80 137 138 195 196 227 228 257 258 93 94 263 264 251 252 225 226 215 216 107 108 221 222 279 280 283 284 313 314 121 122 319 320 307 308 281 282 135 136 335 336 355 356 149 150 361 362 349 350 239 240 297 298 369 370 163 164 375 376 267 268 353 354 177 178 377 378 253 254 605 606 327 328 191 192 333 334 381 382 411 412 205 206 417 418 405 406 379 380 219 220 433 434 453 454 233 234 459 460 447 448 395 396 467 468 247 248 473 474 451 452 261 262 475 476 633 634 425 426 275 276 431 432 495 496 289 290 501 502 489 490 393 394 509 510 303 304 515 516 421 422 493 494 317 318 517 518 407 408 647 648 331 332 463 464 479 480 523 524 345 346 529 530 631 632 359 360 531 532 435 436 507 508 373 374 551 552 387 388 557 558 545 546 565 566 401 402 571 572 549 550 415 416 573 574 661 662 429 430 535 536 579 580 443 444 585 586 603 604 457 458 587 588 563 564 471 472 561 562 593 594 485 486 599 600 659 660 499 500 601 602 533 534 513 514 575 576 591 592 527 528 621 622 541 542 627 628 645 646 555 556 629 630 569 570 619 620 583 584 617 618 597 598 649 650 611 612 655 656 643 644 625 626 663 664 639 640 669 670 653 654 671 672 667 668:8 3 3 8 3 3 8 3 8 3 8 3 8 3 8 3 8 3 8 3 3 8 3 3 8 3 8 3 8 3 3 8 3 3 8 3 3 8 3 3 3 8 3 3 8 3 3 8 3 3 3 8 3 3 3 8 3 3 3 3 8 3 3 3 3 8 3 3 3 8 3 3,3 4 4 4 3 4 4 4 4 3 4 3 4 4 4 3 4 3 4 3 4 4 4 3 4 3 4 3 4 4 4 3 4 3 3 4 3 4 4 4 4 4 3 4 4 4 4 4 3 4 3 3 4 3 4 4 4 3 4 4 4 3 4 4 4 3 4 4 4 4 3 3 4 4 3 4 4 3 4 4 3 4 3 3 4 4 3 4 3 4 4 3> {(2, 184): 't3', (2, 185): 't3', (1, 112): 't1^-1', (2, 182): 't3', (2, 183): 't3', (1, 119): 't1^-1', (1, 630): 'tau1', (1, 105): 't2', (1, 616): 't2*tau3^-1*t1^-1', (1, 623): 't2*tau3^-1*t1^-1', (1, 609): 'tau1^-1', (1, 98): 't2', (2, 670): 'tau1*t3^-1', (2, 152): 't3', (2, 153): 't3', (2, 660): 't2^-1', (2, 661): 't2^-1', (1, 595): 'tau2', (2, 657): 't3*tau1^-1', (2, 658): 't2^-1*tau3*t1', (2, 659): 't2^-1*tau3*t1', (2, 654): 't3', (2, 655): 't3', (2, 648): 't3', (2, 649): 't3', (2, 644): 'tau2^-1', (2, 645): 'tau2^-1', (2, 642): 'tau1', (2, 643): 'tau1', (1, 539): 'tau3^-1', (1, 532): 'tau3^-1', (2, 196): 't1', (2, 197): 't1', (2, 198): 't1', (2, 199): 't1', (2, 574): 'tau1^-1', (2, 575): 'tau1^-1', (2, 556): 't1', (2, 557): 't1', (2, 558): 't1*tau3*t2^-1', (2, 559): 't1*tau3*t2^-1', (2, 550): 't1', (2, 551): 't1', (2, 544): 'tau3^-1', (2, 545): 'tau3^-1', (2, 542): 't2^-1', (2, 543): 't2^-1', (2, 536): 't2^-1', (2, 537): 't2^-1', (2, 534): 't2^-1', (2, 535): 't2^-1', (2, 528): 't3', (2, 529): 't3', (2, 520): 't3', (2, 521): 't3', (2, 522): 't3', (2, 523): 't3', (2, 124): 't1^-1', (2, 125): 't1^-1', (2, 122): 't1^-1', (2, 123): 't1^-1', (2, 116): 't1^-1', (2, 117): 't1^-1', (2, 110): 't2', (2, 616): 'tau1^-1*t3', (2, 617): 'tau1^-1*t3', (1, 665): 'tau1*t3^-1', (2, 600): 'tau2', (2, 601): 'tau2', (1, 147): 't3', (1, 658): 'tau1*t3^-1', (1, 140): 't3', (2, 434): 't2', (2, 435): 't2', (2, 430): 't2', (2, 431): 't2', (2, 424): 't2', (2, 425): 't2', (2, 420): 'tau3', (2, 421): 'tau3', (2, 406): 'tau2', (2, 407): 'tau2', (1, 588): 'tau2', (2, 492): 't1^-1', (2, 493): 't1^-1', (2, 489): 'tau2', (1, 280): 'tau2^-1', (1, 287): 'tau2^-1', (2, 292): 'tau2^-1', (2, 279): 't2^-1'}