U-tiling: UQC5042

<30.1:1056:12 3 5 7 9 11 14 16 18 20 22 45 25 27 29 31 33 78 36 38 40 42 44 47 49 51 53 55 111 58 60 62 64 66 133 69 71 73 75 77 80 82 84 86 88 155 91 93 95 97 99 188 102 104 106 108 110 113 115 117 119 121 210 124 126 128 130 132 135 137 139 141 143 243 146 148 150 152 154 157 159 161 163 165 287 168 170 172 174 176 309 179 181 183 185 187 190 192 194 196 198 320 201 203 205 207 209 212 214 216 218 220 364 223 225 227 229 231 386 234 236 238 240 242 245 247 249 251 253 408 256 258 260 262 264 430 267 269 271 273 275 441 278 280 282 284 286 289 291 293 295 297 463 300 302 304 306 308 311 313 315 317 319 322 324 326 328 330 518 333 335 337 339 341 540 344 346 348 350 352 551 355 357 359 361 363 366 368 370 372 374 573 377 379 381 383 385 388 390 392 394 396 617 399 401 403 405 407 410 412 414 416 418 639 421 423 425 427 429 432 434 436 438 440 443 445 447 449 451 683 454 456 458 460 462 465 467 469 471 473 584 476 478 480 482 484 606 487 489 491 493 495 595 498 500 502 504 506 738 509 511 513 515 517 520 522 524 526 528 760 531 533 535 537 539 542 544 546 548 550 553 555 557 559 561 804 564 566 568 570 572 575 577 579 581 583 586 588 590 592 594 597 599 601 603 605 608 610 612 614 616 619 621 623 625 627 859 630 632 634 636 638 641 643 645 647 649 771 652 654 656 658 660 793 663 665 667 669 671 782 674 676 678 680 682 685 687 689 691 693 837 696 698 700 702 704 848 707 709 711 713 715 815 718 720 722 724 726 826 729 731 733 735 737 740 742 744 746 748 936 751 753 755 757 759 762 764 766 768 770 773 775 777 779 781 784 786 788 790 792 795 797 799 801 803 806 808 810 812 814 817 819 821 823 825 828 830 832 834 836 839 841 843 845 847 850 852 854 856 858 861 863 865 867 869 969 872 874 876 878 880 980 883 885 887 889 891 947 894 896 898 900 902 958 905 907 909 911 913 991 916 918 920 922 924 1002 927 929 931 933 935 938 940 942 944 946 949 951 953 955 957 960 962 964 966 968 971 973 975 977 979 982 984 986 988 990 993 995 997 999 1001 1004 1006 1008 1010 1012 1035 1015 1017 1019 1021 1023 1046 1026 1028 1030 1032 1034 1037 1039 1041 1043 1045 1048 1050 1052 1054 1056,2 4 16 8 11 10 13 15 19 22 21 24 26 49 30 33 32 35 37 82 41 44 43 46 48 52 55 54 57 59 115 63 66 65 68 70 137 74 77 76 79 81 85 88 87 90 92 159 96 99 98 101 103 192 107 110 109 112 114 118 121 120 123 125 214 129 132 131 134 136 140 143 142 145 147 247 151 154 153 156 158 162 165 164 167 169 291 173 176 175 178 180 313 184 187 186 189 191 195 198 197 200 202 324 206 209 208 211 213 217 220 219 222 224 368 228 231 230 233 235 390 239 242 241 244 246 250 253 252 255 257 412 261 264 263 266 268 434 272 275 274 277 279 445 283 286 285 288 290 294 297 296 299 301 467 305 308 307 310 312 316 319 318 321 323 327 330 329 332 334 522 338 341 340 343 345 544 349 352 351 354 356 555 360 363 362 365 367 371 374 373 376 378 577 382 385 384 387 389 393 396 395 398 400 621 404 407 406 409 411 415 418 417 420 422 643 426 429 428 431 433 437 440 439 442 444 448 451 450 453 455 687 459 462 461 464 466 470 473 472 475 477 588 481 484 483 486 488 610 492 495 494 497 499 599 503 506 505 508 510 742 514 517 516 519 521 525 528 527 530 532 764 536 539 538 541 543 547 550 549 552 554 558 561 560 563 565 808 569 572 571 574 576 580 583 582 585 587 591 594 593 596 598 602 605 604 607 609 613 616 615 618 620 624 627 626 629 631 863 635 638 637 640 642 646 649 648 651 653 775 657 660 659 662 664 797 668 671 670 673 675 786 679 682 681 684 686 690 693 692 695 697 841 701 704 703 706 708 852 712 715 714 717 719 819 723 726 725 728 730 830 734 737 736 739 741 745 748 747 750 752 940 756 759 758 761 763 767 770 769 772 774 778 781 780 783 785 789 792 791 794 796 800 803 802 805 807 811 814 813 816 818 822 825 824 827 829 833 836 835 838 840 844 847 846 849 851 855 858 857 860 862 866 869 868 871 873 973 877 880 879 882 884 984 888 891 890 893 895 951 899 902 901 904 906 962 910 913 912 915 917 995 921 924 923 926 928 1006 932 935 934 937 939 943 946 945 948 950 954 957 956 959 961 965 968 967 970 972 976 979 978 981 983 987 990 989 992 994 998 1001 1000 1003 1005 1009 1012 1011 1014 1016 1039 1020 1023 1022 1025 1027 1050 1031 1034 1033 1036 1038 1042 1045 1044 1047 1049 1053 1056 1055,23 35 36 6 7 41 42 21 22 45 57 58 17 18 63 64 68 69 28 29 74 75 54 55 89 39 40 87 88 101 102 50 51 107 108 122 61 62 120 121 144 72 73 142 143 155 167 168 83 84 173 174 178 179 94 95 184 185 164 165 199 105 106 197 198 210 222 223 116 117 228 229 233 234 127 128 239 240 219 220 243 255 256 138 139 261 262 266 267 149 150 272 273 252 253 277 278 160 161 283 284 298 171 172 296 297 265 182 183 318 319 320 332 333 193 194 338 339 343 344 204 205 349 350 329 330 354 355 215 216 360 361 375 226 227 373 374 342 237 238 395 396 398 399 248 249 404 405 419 259 260 417 418 270 271 439 440 452 281 282 450 451 463 475 476 292 293 481 482 486 487 303 304 492 493 472 473 430 497 498 314 315 503 504 508 509 325 326 514 515 529 336 337 527 528 347 348 549 550 562 358 359 560 561 573 585 586 369 370 591 592 596 597 380 381 602 603 582 583 540 607 608 391 392 613 614 628 402 403 626 627 639 651 652 413 414 657 658 662 663 424 425 668 669 648 649 673 674 435 436 679 680 683 695 696 446 447 701 702 706 707 457 458 712 713 692 693 717 718 468 469 723 724 650 479 480 593 594 705 490 491 615 616 727 501 502 604 605 749 512 513 747 748 760 772 773 523 524 778 779 783 784 534 535 789 790 769 770 794 795 545 546 800 801 804 816 817 556 557 822 823 827 828 567 568 833 834 813 814 838 839 578 579 844 845 771 589 590 826 600 601 848 611 612 859 871 872 622 623 877 878 882 883 633 634 888 889 868 869 893 894 644 645 899 900 655 656 780 781 881 666 667 802 803 903 677 678 791 792 915 916 688 689 921 922 870 699 700 846 847 710 711 857 858 892 721 722 824 825 926 927 732 733 932 933 835 836 936 948 949 743 744 954 955 959 960 754 755 965 966 945 946 970 971 765 766 976 977 776 777 958 787 788 980 798 799 992 993 809 810 998 999 947 820 821 831 832 969 842 843 1003 1004 853 854 1009 1010 1014 1015 864 865 1020 1021 875 876 978 979 886 887 989 990 897 898 956 957 1025 1026 908 909 1031 1032 967 968 1013 919 920 1000 1001 1024 930 931 1011 1012 1036 1037 941 942 1042 1043 952 953 963 964 974 975 1047 1048 985 986 1053 1054 1035 996 997 1046 1007 1008 1018 1019 1044 1045 1029 1030 1055 1056 1040 1041 1051 1052:5 3 3 5 3 5 3 3 5 3 5 3 3 5 3 5 3 3 5 3 3 5 3 3 5 3 5 3 3 5 3 3 5 3 5 3 3 5 3 5 3 5 3 3 5 3 3 3 5 3 5 3 5 3 3 5 3 3 5 3 3 5 3 3 3 5 3 3 5 3 5 3 5 3 5 3 3 5 3 3 3 5 3 3 3 3 3 3 5 3 3 5 3 5 3 5 3 3 5 3 5 3 5 3 5 3 3 5 3 3 3 3 3 3 3 3 3 3 3 5 3 5 3 5 3 5 3 5 3 5 3 3 3 3 3 3 3 3 5 3 5 3 3 3,8 4 3 12 8 4 4 3 12 3 4 3 3 8 4 4 3 12 3 8 4 4 3 12 8 4 4 3 12 4 3 3 8 4 4 3 12 4 3 3 4 3 3 3 8 4 4 3 8 4 4 3 3 3 8 4 4 3 8 4 3 4 4 3 4 8 4 4 3 12 4 3 3 3 3 4 4 3 4 8 4 4 3 4 4 4 3 12 4 3 3 3 4 3 3 3 4 3 4 4 3 4 4 4 4 3 3 3 4 3 3 3 4 4 3 3> {(2, 188): 't1^-1', (2, 189): 't1^-1', (2, 701): 't3^-1', (2, 694): 't3^-1', (2, 695): 't3^-1', (1, 631): 'tau2^-1', (2, 680): 'tau2^-1', (1, 620): 'tau2', (2, 669): 'tau3^-1', (2, 670): 'tau3^-1', (0, 1045): 'tau1', (2, 140): 't1^-1', (2, 139): 't1^-1', (2, 133): 't1^-1', (2, 134): 't1^-1', (0, 858): 'tau2', (2, 756): 't1^-1', (2, 757): 'tau3', (2, 758): 'tau3', (2, 755): 't1^-1', (2, 749): 't1^-1', (2, 750): 't1^-1', (2, 746): 'tau3^-1', (2, 747): 'tau3^-1', (1, 1049): 'tau1', (1, 1038): 'tau1^-1', (2, 194): 't1^-1', (2, 195): 't1^-1', (1, 752): 'tau3', (2, 557): 't2', (2, 558): 't2', (2, 552): 't2', (2, 551): 't2', (1, 741): 'tau3^-1', (2, 1052): 't2^-1', (2, 1053): 't2^-1', (2, 1054): 'tau1', (2, 1055): 'tau1', (0, 671): 'tau2^-1', (2, 1044): 'tau1^-1', (2, 1047): 't2^-1', (2, 1041): 't2', (0, 660): 'tau3^-1', (2, 1043): 'tau1^-1', (2, 1036): 't2', (2, 1035): 't2', (2, 1030): 't3^-1', (2, 1031): 't3^-1', (2, 1024): 't3^-1', (2, 1025): 't3^-1', (2, 636): 'tau2^-1', (2, 637): 'tau2^-1', (2, 634): 't1^-1', (2, 635): 't1^-1', (2, 628): 't1^-1', (2, 629): 't1^-1', (2, 625): 'tau2', (2, 626): 'tau2', (0, 748): 'tau3', (2, 612): 't2^-1', (2, 613): 't2^-1', (1, 675): 'tau2^-1', (0, 737): 'tau3^-1', (1, 664): 'tau3^-1', (2, 606): 't2^-1', (2, 607): 't2^-1', (2, 447): 't3', (1, 884): 'tau3^-1', (2, 943): 't2^-1', (2, 933): 'tau1^-1', (2, 934): 'tau1^-1', (2, 922): 'tau1', (2, 923): 'tau1', (2, 315): 't3', (2, 912): 'tau2^-1', (2, 911): 'tau2^-1', (2, 1020): 't3', (2, 1019): 't3', (2, 1013): 't3', (2, 1014): 't3', (2, 503): 't3^-1', (2, 988): 'tau3', (2, 989): 'tau3', (2, 980): 't2', (2, 681): 'tau2^-1', (0, 957): 'tau2', (2, 309): 't3', (2, 310): 't3', (1, 1005): 'tau1', (1, 994): 'tau1^-1', (0, 924): 'tau1^-1', (0, 913): 'tau1', (1, 961): 'tau2', (0, 880): 'tau3^-1', (0, 1012): 'tau1', (0, 616): 'tau2'}