U-tiling: UQC4715

<17.1:960: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 674 676 678 680 682 684 686 688 690 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 722 724 726 728 730 732 734 736 738 740 742 744 746 748 750 752 754 756 758 760 762 764 766 768 770 772 774 776 778 780 782 784 786 788 790 792 794 796 798 800 802 804 806 808 810 812 814 816 818 820 822 824 826 828 830 832 834 836 838 840 842 844 846 848 850 852 854 856 858 860 862 864 866 868 870 872 874 876 878 880 882 884 886 888 890 892 894 896 898 900 902 904 906 908 910 912 914 916 918 920 922 924 926 928 930 932 934 936 938 940 942 944 946 948 950 952 954 956 958 960,31 3 34 7 10 9 51 13 54 17 20 19 61 23 64 27 30 29 33 37 40 39 91 43 94 47 50 49 53 57 60 59 63 67 70 69 151 73 154 77 80 79 161 83 164 87 90 89 93 97 100 99 201 103 204 107 110 109 211 113 214 117 120 119 231 123 234 127 130 129 241 133 244 137 140 139 251 143 254 147 150 149 153 157 160 159 163 167 170 169 301 173 304 177 180 179 311 183 314 187 190 189 321 193 324 197 200 199 203 207 210 209 213 217 220 219 361 223 364 227 230 229 233 237 240 239 243 247 250 249 253 257 260 259 431 263 434 267 270 269 441 273 444 277 280 279 451 283 454 287 290 289 461 293 464 297 300 299 303 307 310 309 313 317 320 319 323 327 330 329 531 333 534 337 340 339 541 343 544 347 350 349 551 353 554 357 360 359 363 367 370 369 591 373 594 377 380 379 601 383 604 387 390 389 611 393 614 397 400 399 631 403 634 407 410 409 641 413 644 417 420 419 651 423 654 427 430 429 433 437 440 439 443 447 450 449 453 457 460 459 463 467 470 469 701 473 704 477 480 479 711 483 714 487 490 489 721 493 724 497 500 499 741 503 744 507 510 509 751 513 754 517 520 519 761 523 764 527 530 529 533 537 540 539 543 547 550 549 553 557 560 559 791 563 794 567 570 569 801 573 804 577 580 579 811 583 814 587 590 589 593 597 600 599 603 607 610 609 613 617 620 619 831 623 834 627 630 629 633 637 640 639 643 647 650 649 653 657 660 659 841 663 844 667 670 669 861 673 864 677 680 679 871 683 874 687 690 689 881 693 884 697 700 699 703 707 710 709 713 717 720 719 723 727 730 729 901 733 904 737 740 739 743 747 750 749 753 757 760 759 763 767 770 769 911 773 914 777 780 779 921 783 924 787 790 789 793 797 800 799 803 807 810 809 813 817 820 819 931 823 934 827 830 829 833 837 840 839 843 847 850 849 941 853 944 857 860 859 863 867 870 869 873 877 880 879 883 887 890 889 951 893 954 897 900 899 903 907 910 909 913 917 920 919 923 927 930 929 933 937 940 939 943 947 950 949 953 957 960 959,21 22 5 6 27 28 19 20 41 42 15 16 47 48 25 26 49 50 81 82 35 36 87 88 79 80 45 46 111 112 55 56 117 118 109 110 131 132 65 66 137 138 129 130 141 142 75 76 147 148 85 86 149 150 181 182 95 96 187 188 179 180 191 192 105 106 197 198 115 116 199 200 221 222 125 126 227 228 135 136 229 230 145 146 271 272 155 156 277 278 269 270 241 242 165 166 247 248 289 290 291 292 175 176 297 298 185 186 299 300 195 196 341 342 205 206 347 348 339 340 311 312 215 216 317 318 359 360 225 226 381 382 235 236 387 388 379 380 245 246 399 400 411 412 255 256 417 418 409 410 421 422 265 266 427 428 275 276 429 430 391 392 285 286 397 398 295 296 481 482 305 306 487 488 479 480 315 316 499 500 511 512 325 326 517 518 509 510 521 522 335 336 527 528 345 346 529 530 491 492 355 356 497 498 571 572 365 366 577 578 569 570 581 582 375 376 587 588 385 386 589 590 395 396 621 622 405 406 627 628 415 416 629 630 425 426 591 592 435 436 597 598 539 540 641 642 445 446 647 648 559 560 661 662 455 456 667 668 549 550 681 682 465 466 687 688 679 680 691 692 475 476 697 698 485 486 699 700 495 496 731 732 505 506 737 738 515 516 739 740 525 526 701 702 535 536 707 708 751 752 545 546 757 758 771 772 555 556 777 778 781 782 565 566 787 788 575 576 789 790 585 586 595 596 709 710 801 802 605 606 807 808 729 730 821 822 615 616 827 828 719 720 625 626 791 792 635 636 797 798 769 770 645 646 779 780 811 812 655 656 817 818 749 750 665 666 759 760 851 852 675 676 857 858 685 686 859 860 695 696 705 706 871 872 715 716 877 878 891 892 725 726 897 898 735 736 861 862 745 746 867 868 755 756 881 882 765 766 887 888 775 776 785 786 795 796 889 890 805 806 899 900 815 816 869 870 825 826 879 880 921 922 835 836 927 928 909 910 931 932 845 846 937 938 919 920 855 856 865 866 875 876 885 886 895 896 941 942 905 906 947 948 951 952 915 916 957 958 925 926 949 950 935 936 959 960 945 946 955 956:4 3 4 3 4 3 3 4 3 3 3 4 3 4 3 3 4 3 4 3 4 3 4 3 4 3 3 3 4 3 4 3 4 3 3 3 4 3 3 3 3 4 3 4 3 4 3 4 3 3 3 3 4 3 4 3 4 3 3 4 3 4 3 4 3 4 3 4 3 4 3 3 3 3 3 4 3 4 3 4 3 4 3 4 3 4 3 3 3 3 4 3 4 3 4 3 3 3 3 4 3 3 3 3 4 3 4 3 4 3 4 3 3 3 3 4 3 3 3 3 4 3 4 3 3 3 3 4 3 3 3 4 3 3 3 3 4 3 3 3 3 3 3 3,4 4 18 4 4 4 18 4 4 4 4 4 4 4 4 18 4 4 4 4 18 4 4 18 4 4 4 4 4 4 18 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 18 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 18 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4> {(1, 633): 't3^-1', (1, 120): 't1^-1', (1, 123): 't1^-1', (2, 959): 'tau1', (2, 568): 'tau2', (2, 569): 'tau2', (2, 829): 'tau2^-1', (2, 948): 'tau1^-1', (2, 949): 'tau1^-1', (2, 688): 'tau3', (2, 689): 'tau3', (1, 630): 't3^-1', (2, 828): 'tau2^-1', (1, 890): 't2', (2, 919): 'tau1', (1, 893): 't2', (2, 678): 'tau3^-1', (2, 679): 'tau3^-1', (1, 740): 't2^-1', (1, 743): 't2^-1', (2, 918): 'tau1', (1, 850): 't2^-1', (1, 853): 't2^-1', (2, 908): 'tau1^-1', (2, 909): 'tau1^-1', (2, 898): 'tau3', (2, 899): 'tau3', (1, 570): 't1^-1', (1, 573): 't1^-1', (2, 958): 'tau1', (1, 820): 't3', (1, 823): 't3', (1, 553): 't2^-1', (1, 680): 't1^-1', (1, 683): 't1^-1', (1, 170): 't1^-1', (1, 173): 't1^-1', (1, 550): 't2^-1', (1, 280): 't3', (1, 283): 't3', (2, 728): 'tau3', (2, 729): 'tau3', (2, 718): 'tau2', (2, 719): 'tau2', (1, 780): 't3^-1', (1, 783): 't3^-1', (2, 578): 'tau2^-1', (2, 579): 'tau2^-1'}