U-tiling: UQC1122

<12.1:864:19 4 5 24 25 35 36 37 13 14 42 43 53 54 22 23 62 63 73 31 32 78 79 40 41 89 90 100 49 50 105 106 118 58 59 123 124 127 67 68 132 133 143 144 76 77 152 153 163 85 86 168 169 172 94 95 177 178 188 189 103 104 197 198 199 112 113 204 205 215 216 121 122 224 225 130 131 233 234 244 139 140 249 250 217 148 149 222 223 262 157 158 267 268 278 279 166 167 287 288 175 176 296 297 307 184 185 312 313 280 193 194 285 286 202 203 332 333 343 211 212 348 349 220 221 370 229 230 375 376 379 238 239 384 385 395 396 247 248 404 405 352 256 257 357 358 413 414 265 266 422 423 433 274 275 438 439 283 284 460 292 293 465 466 469 301 302 474 475 485 486 310 311 494 495 442 319 320 447 448 503 504 514 328 329 519 520 523 337 338 528 529 539 540 346 347 548 549 355 356 557 558 559 364 365 564 565 575 576 373 374 584 585 382 383 593 594 532 391 392 537 538 577 400 401 582 583 595 409 410 600 601 613 418 419 618 619 622 427 428 627 628 638 639 436 437 647 648 445 446 656 657 658 454 455 663 664 674 675 463 464 683 684 472 473 692 693 631 481 482 636 637 676 490 491 681 682 694 499 500 699 700 703 508 509 708 709 719 720 517 518 728 729 526 527 737 738 535 536 721 544 545 726 727 739 553 554 744 745 562 563 755 756 712 571 572 717 718 580 581 730 589 590 735 736 598 599 764 765 766 607 608 771 772 782 783 616 617 791 792 625 626 800 801 634 635 784 643 644 789 790 802 652 653 807 808 661 662 818 819 775 670 671 780 781 679 680 793 688 689 798 799 697 698 827 828 706 707 836 837 715 716 724 725 733 734 742 743 845 846 829 751 752 834 835 838 760 761 843 844 769 770 854 855 778 779 787 788 796 797 805 806 863 864 847 814 815 852 853 856 823 824 861 862 832 833 841 842 850 851 859 860,2 30 6 9 8 11 48 15 18 17 20 57 24 27 26 29 33 36 35 38 84 42 45 44 47 51 54 53 56 60 63 62 65 138 69 72 71 74 147 78 81 80 83 87 90 89 92 183 96 99 98 101 192 105 108 107 110 210 114 117 116 119 219 123 126 125 128 228 132 135 134 137 141 144 143 146 150 153 152 155 273 159 162 161 164 282 168 171 170 173 291 177 180 179 182 186 189 188 191 195 198 197 200 327 204 207 206 209 213 216 215 218 222 225 224 227 231 234 233 236 390 240 243 242 245 399 249 252 251 254 408 258 261 260 263 417 267 270 269 272 276 279 278 281 285 288 287 290 294 297 296 299 480 303 306 305 308 489 312 315 314 317 498 321 324 323 326 330 333 332 335 534 339 342 341 344 543 348 351 350 353 552 357 360 359 362 570 366 369 368 371 579 375 378 377 380 588 384 387 386 389 393 396 395 398 402 405 404 407 411 414 413 416 420 423 422 425 633 429 432 431 434 642 438 441 440 443 651 447 450 449 452 669 456 459 458 461 678 465 468 467 470 687 474 477 476 479 483 486 485 488 492 495 494 497 501 504 503 506 714 510 513 512 515 723 519 522 521 524 732 528 531 530 533 537 540 539 542 546 549 548 551 555 558 557 560 750 564 567 566 569 573 576 575 578 582 585 584 587 591 594 593 596 759 600 603 602 605 777 609 612 611 614 786 618 621 620 623 795 627 630 629 632 636 639 638 641 645 648 647 650 654 657 656 659 813 663 666 665 668 672 675 674 677 681 684 683 686 690 693 692 695 822 699 702 701 704 831 708 711 710 713 717 720 719 722 726 729 728 731 735 738 737 740 840 744 747 746 749 753 756 755 758 762 765 764 767 849 771 774 773 776 780 783 782 785 789 792 791 794 798 801 800 803 858 807 810 809 812 816 819 818 821 825 828 827 830 834 837 836 839 843 846 845 848 852 855 854 857 861 864 863,10 3 5 7 9 12 14 16 18 37 21 23 25 27 64 30 32 34 36 39 41 43 45 91 48 50 52 54 109 57 59 61 63 66 68 70 72 127 75 77 79 81 154 84 86 88 90 93 95 97 99 172 102 104 106 108 111 113 115 117 199 120 122 124 126 129 131 133 135 235 138 140 142 144 253 147 149 151 153 156 158 160 162 262 165 167 169 171 174 176 178 180 298 183 185 187 189 316 192 194 196 198 201 203 205 207 334 210 212 214 216 352 219 221 223 225 361 228 230 232 234 237 239 241 243 379 246 248 250 252 255 257 259 261 264 266 268 270 424 273 275 277 279 442 282 284 286 288 451 291 293 295 297 300 302 304 306 469 309 311 313 315 318 320 322 324 505 327 329 331 333 336 338 340 342 523 345 347 349 351 354 356 358 360 363 365 367 369 559 372 374 376 378 381 383 385 387 478 390 392 394 396 496 399 401 403 405 487 408 410 412 414 604 417 419 421 423 426 428 430 432 622 435 437 439 441 444 446 448 450 453 455 457 459 658 462 464 466 468 471 473 475 477 480 482 484 486 489 491 493 495 498 500 502 504 507 509 511 513 703 516 518 520 522 525 527 529 531 631 534 536 538 540 649 543 545 547 549 640 552 554 556 558 561 563 565 567 685 570 572 574 576 694 579 581 583 585 667 588 590 592 594 676 597 599 601 603 606 608 610 612 766 615 617 619 621 624 626 628 630 633 635 637 639 642 644 646 648 651 653 655 657 660 662 664 666 669 671 673 675 678 680 682 684 687 689 691 693 696 698 700 702 705 707 709 711 793 714 716 718 720 802 723 725 727 729 775 732 734 736 738 784 741 743 745 747 811 750 752 754 756 820 759 761 763 765 768 770 772 774 777 779 781 783 786 788 790 792 795 797 799 801 804 806 808 810 813 815 817 819 822 824 826 828 847 831 833 835 837 856 840 842 844 846 849 851 853 855 858 860 862 864:4 3 8 4 3 8 3 4 3 4 4 4 3 8 3 4 4 3 8 3 4 3 8 3 3 4 4 4 3 8 3 3 4 4 3 4 4 4 3 8 3 4 3 8 3 4 4 4 3 8 3 4 3 8 4 4 3 3 3 4 3 8 3 3 4 4 4 4 4 3 3 3 4 3 8 3 3 4 4 4 4 3 3 3 4 4 3 4 4 3 4 3 3 3 4 4 3 4 4 3 3 3 4 4 3 3 4 4,18 3 3 18 3 3 3 3 3 3 18 3 3 3 18 3 3 18 3 3 3 3 3 18 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 18 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 18 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3> {(0, 809): 't2', (0, 520): 't1^-1', (2, 639): 'tau2', (0, 728): 't1', (0, 773): 't2^-1', (1, 254): 't3', (2, 540): 'tau3^-1', (0, 575): 't3^-1', (1, 722): 't1', (0, 161): 't1^-1', (2, 603): 'tau3^-1', (0, 745): 't3', (0, 503): 't2^-1', (2, 747): 'tau1', (0, 214): 't1', (2, 612): 'tau3', (0, 709): 't3^-1', (2, 513): 'tau2^-1', (1, 857): 't2^-1', (0, 808): 't2', (1, 155): 't1^-1', (0, 673): 't2^-1', (0, 746): 't3', (0, 260): 't3', (2, 828): 'tau1', (0, 710): 't3^-1', (1, 569): 't3^-1', (0, 574): 't3^-1', (0, 619): 't1^-1', (1, 740): 't3', (0, 674): 't2^-1', (1, 704): 't3^-1', (2, 738): 'tau2^-1', (2, 855): 'tau1', (2, 756): 'tau1^-1', (0, 502): 't2^-1', (1, 614): 't1^-1', (0, 620): 't1^-1', (1, 668): 't2^-1', (1, 110): 't1^-1', (0, 160): 't1^-1', (2, 720): 'tau3^-1', (0, 412): 't3^-1', (0, 772): 't2^-1', (0, 215): 't1', (2, 324): 'tau2^-1', (1, 317): 't2', (1, 767): 't2^-1', }