U-tiling: UQC4716

<18.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 17 18 39 40 41 42 15 16 59 60 25 26 47 48 69 70 81 82 35 36 77 78 45 46 99 100 111 112 55 56 107 108 131 132 65 66 127 128 141 142 75 76 159 160 85 86 147 148 169 170 181 182 95 96 177 178 191 192 105 106 209 210 115 116 197 198 219 220 221 222 125 126 239 240 135 136 227 228 249 250 145 146 259 260 271 272 155 156 267 268 241 242 165 166 287 288 291 292 175 176 309 310 185 186 297 298 319 320 195 196 329 330 341 342 205 206 337 338 311 312 215 216 357 358 225 226 369 370 381 382 235 236 377 378 245 246 397 398 411 412 255 256 407 408 421 422 265 266 439 440 275 276 427 428 449 450 391 392 285 286 459 460 295 296 469 470 481 482 305 306 477 478 315 316 497 498 511 512 325 326 507 508 521 522 335 336 539 540 345 346 527 528 549 550 491 492 355 356 559 560 571 572 365 366 567 568 581 582 375 376 599 600 385 386 587 588 609 610 395 396 619 620 621 622 405 406 639 640 415 416 627 628 649 650 425 426 659 660 591 592 435 436 537 538 641 642 445 446 557 558 661 662 455 456 547 548 681 682 465 466 677 678 691 692 475 476 709 710 485 486 697 698 719 720 495 496 729 730 731 732 505 506 749 750 515 516 737 738 759 760 525 526 769 770 701 702 535 536 751 752 545 546 771 772 555 556 781 782 565 566 799 800 575 576 787 788 809 810 585 586 819 820 595 596 707 708 801 802 605 606 727 728 821 822 615 616 717 718 625 626 839 840 791 792 635 636 767 768 645 646 777 778 811 812 655 656 747 748 665 666 757 758 849 850 851 852 675 676 869 870 685 686 857 858 879 880 695 696 889 890 705 706 871 872 715 716 891 892 725 726 735 736 909 910 861 862 745 746 755 756 881 882 765 766 775 776 919 920 785 786 929 930 795 796 887 888 805 806 897 898 815 816 867 868 825 826 877 878 939 940 921 922 835 836 907 908 931 932 845 846 917 918 855 856 949 950 865 866 875 876 885 886 895 896 959 960 941 942 905 906 951 952 915 916 925 926 947 948 935 936 957 958 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 8 3 12 4 3 3 12 8 3 8 8 4 3 3 12 8 4 3 3 12 4 3 3 12 3 8 8 4 3 3 12 3 8 8 3 8 8 4 3 3 4 3 3 8 8 4 3 3 4 3 8 3 3 3 4 3 3 12 3 8 8 8 8 3 3 3 4 3 3 3 3 3 12 3 8 8 3 8 8 3 3 3 3 3 3 3 3 8 8 3 3> {(1, 633): 't3^-1', (1, 120): 't1^-1', (1, 123): 't1^-1', (1, 890): 't2', (1, 893): 't2', (2, 826): 'tau2^-1', (2, 957): 'tau1', (2, 948): 't2', (2, 949): 't2', (2, 566): 'tau2', (2, 567): 'tau2', (2, 688): 't1^-1', (2, 689): 't1^-1', (2, 178): 't1^-1', (2, 179): 't1^-1', (1, 353): 't2', (2, 686): 'tau3', (2, 687): 'tau3', (2, 938): 't3^-1', (2, 939): 't3^-1', (2, 676): 'tau3^-1', (2, 677): 'tau3^-1', (2, 928): 't3', (1, 740): 't2^-1', (1, 743): 't2^-1', (2, 916): 'tau1', (2, 947): 'tau1^-1', (1, 850): 't2^-1', (2, 956): 'tau1', (2, 929): 't3', (2, 906): 'tau1^-1', (2, 907): 'tau1^-1', (2, 128): 't1^-1', (2, 129): 't1^-1', (2, 899): 't2', (2, 638): 't3^-1', (1, 570): 't1^-1', (1, 573): 't1^-1', (2, 458): 't3^-1', (1, 853): 't2^-1', (2, 958): 't2^-1', (2, 459): 't3^-1', (1, 820): 't3', (1, 823): 't3', (2, 748): 't2^-1', (2, 749): 't2^-1', (1, 683): 't1^-1', (1, 170): 't1^-1', (1, 173): 't1^-1', (2, 946): 'tau1^-1', (1, 630): 't3^-1', (1, 550): 't2^-1', (1, 920): 't3', (1, 283): 't3', (2, 827): 'tau2^-1', (2, 639): 't3^-1', (1, 680): 't1^-1', (2, 896): 'tau3', (2, 726): 'tau3', (2, 727): 'tau3', (2, 558): 't2^-1', (2, 897): 'tau3', (2, 716): 'tau2', (2, 717): 'tau2', (2, 559): 't2^-1', (1, 280): 't3', (1, 783): 't3^-1', (2, 917): 'tau1', (2, 576): 'tau2^-1', (2, 577): 'tau2^-1', (2, 578): 't1^-1', (2, 579): 't1^-1'}