U-tiling: UQC5417

<35.1:1152: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 962 964 966 968 970 972 974 976 978 980 982 984 986 988 990 992 994 996 998 1000 1002 1004 1006 1008 1010 1012 1014 1016 1018 1020 1022 1024 1026 1028 1030 1032 1034 1036 1038 1040 1042 1044 1046 1048 1050 1052 1054 1056 1058 1060 1062 1064 1066 1068 1070 1072 1074 1076 1078 1080 1082 1084 1086 1088 1090 1092 1094 1096 1098 1100 1102 1104 1106 1108 1110 1112 1114 1116 1118 1120 1122 1124 1126 1128 1130 1132 1134 1136 1138 1140 1142 1144 1146 1148 1150 1152,25 3 28 7 12 9 11 49 15 52 19 24 21 23 27 31 36 33 35 97 39 100 43 48 45 47 51 55 60 57 59 133 63 136 67 72 69 71 157 75 160 79 84 81 83 169 87 172 91 96 93 95 99 103 108 105 107 217 111 220 115 120 117 119 229 123 232 127 132 129 131 135 139 144 141 143 265 147 268 151 156 153 155 159 163 168 165 167 171 175 180 177 179 325 183 328 187 192 189 191 289 195 292 199 204 201 203 349 207 352 211 216 213 215 219 223 228 225 227 231 235 240 237 239 409 243 412 247 252 249 251 373 255 376 259 264 261 263 267 271 276 273 275 457 279 460 283 288 285 287 291 295 300 297 299 493 303 496 307 312 309 311 505 315 508 319 324 321 323 327 331 336 333 335 469 339 472 343 348 345 347 351 355 360 357 359 577 363 580 367 372 369 371 375 379 384 381 383 613 387 616 391 396 393 395 625 399 628 403 408 405 407 411 415 420 417 419 589 423 592 427 432 429 431 685 435 688 439 444 441 443 697 447 700 451 456 453 455 459 463 468 465 467 471 475 480 477 479 745 483 748 487 492 489 491 495 499 504 501 503 507 511 516 513 515 709 519 712 523 528 525 527 769 531 772 535 540 537 539 793 543 796 547 552 549 551 817 555 820 559 564 561 563 829 567 832 571 576 573 575 579 583 588 585 587 591 595 600 597 599 877 603 880 607 612 609 611 615 619 624 621 623 627 631 636 633 635 841 639 844 643 648 645 647 901 651 904 655 660 657 659 925 663 928 667 672 669 671 937 675 940 679 684 681 683 687 691 696 693 695 699 703 708 705 707 711 715 720 717 719 961 723 964 727 732 729 731 985 735 988 739 744 741 743 747 751 756 753 755 949 759 952 763 768 765 767 771 775 780 777 779 973 783 976 787 792 789 791 795 799 804 801 803 1021 807 1024 811 816 813 815 819 823 828 825 827 831 835 840 837 839 843 847 852 849 851 1045 855 1048 859 864 861 863 1069 867 1072 871 876 873 875 879 883 888 885 887 1033 891 1036 895 900 897 899 903 907 912 909 911 1057 915 1060 919 924 921 923 927 931 936 933 935 939 943 948 945 947 951 955 960 957 959 963 967 972 969 971 975 979 984 981 983 987 991 996 993 995 1105 999 1108 1003 1008 1005 1007 1117 1011 1120 1015 1020 1017 1019 1023 1027 1032 1029 1031 1035 1039 1044 1041 1043 1047 1051 1056 1053 1055 1059 1063 1068 1065 1067 1071 1075 1080 1077 1079 1129 1083 1132 1087 1092 1089 1091 1141 1095 1144 1099 1104 1101 1103 1107 1111 1116 1113 1115 1119 1123 1128 1125 1127 1131 1135 1140 1137 1139 1143 1147 1152 1149 1151,37 38 5 6 43 44 21 22 35 36 61 62 17 18 67 68 59 60 73 74 29 30 79 80 57 58 41 42 93 94 107 108 109 110 53 54 115 116 65 66 129 130 143 144 77 78 153 154 167 168 181 182 89 90 187 188 179 180 193 194 101 102 199 200 177 178 113 114 213 214 227 228 241 242 125 126 247 248 239 240 253 254 137 138 259 260 237 238 277 278 149 150 283 284 275 276 289 290 161 162 295 296 273 274 301 302 173 174 307 308 185 186 321 322 335 336 197 198 345 346 299 300 361 362 209 210 367 368 359 360 373 374 221 222 379 380 357 358 385 386 233 234 391 392 245 246 405 406 419 420 257 258 429 430 383 384 433 434 269 270 439 440 281 282 453 454 467 468 293 294 477 478 305 306 489 490 503 504 517 518 317 318 523 524 515 516 529 530 329 330 535 536 513 514 541 542 341 342 547 548 479 480 553 554 353 354 559 560 365 366 573 574 587 588 377 378 597 598 389 390 609 610 623 624 637 638 401 402 643 644 635 636 649 650 413 414 655 656 633 634 661 662 425 426 667 668 599 600 437 438 681 682 695 696 709 710 449 450 715 716 707 708 721 722 461 462 727 728 705 706 733 734 473 474 739 740 757 758 485 486 763 764 755 756 769 770 497 498 775 776 753 754 781 782 509 510 787 788 521 522 645 646 719 720 533 534 669 670 779 780 545 546 657 658 803 804 557 558 813 814 827 828 841 842 569 570 847 848 839 840 853 854 581 582 859 860 837 838 865 866 593 594 871 872 889 890 605 606 895 896 887 888 901 902 617 618 907 908 885 886 913 914 629 630 919 920 641 642 851 852 653 654 911 912 665 666 935 936 949 950 677 678 955 956 947 948 961 962 689 690 967 968 945 946 973 974 701 702 979 980 713 714 849 850 725 726 873 874 971 972 737 738 861 862 995 996 997 998 749 750 1003 1004 761 762 921 922 959 960 773 774 933 934 785 786 897 898 983 984 1009 1010 797 798 1015 1016 909 910 1033 1034 809 810 1039 1040 1031 1032 1045 1046 821 822 1051 1052 1029 1030 1057 1058 833 834 1063 1064 845 846 857 858 1055 1056 869 870 1079 1080 1081 1082 881 882 1087 1088 893 894 1043 1044 905 906 917 918 1067 1068 1093 1094 929 930 1099 1100 1105 1106 941 942 1111 1112 953 954 1065 1066 965 966 1077 1078 977 978 1041 1042 1117 1118 989 990 1123 1124 1053 1054 1001 1002 1089 1090 1115 1116 1013 1014 1101 1102 1127 1128 1129 1130 1025 1026 1135 1136 1037 1038 1049 1050 1061 1062 1141 1142 1073 1074 1147 1148 1085 1086 1139 1140 1097 1098 1151 1152 1109 1110 1137 1138 1121 1122 1149 1150 1133 1134 1145 1146: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 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 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 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 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 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4,4 4 3 12 4 4 4 3 4 12 3 4 4 3 4 3 4 4 4 3 4 12 3 4 4 4 3 4 12 4 4 3 4 12 4 3 4 3 4 4 4 3 4 12 4 3 4 3 4 4 3 4 3 4 4 4 3 4 4 4 3 4 3 4 3 4 4 4 3 4 4 4 3 3 4 4 3 4 4 4 4 3 4 12 4 3 4 3 4 3 4 3 4 4 3 4 4 4 4 3 4 4 3 3 3 4 3 4 12 4 3 4 3 4 4 3 4 3 4 4 4 3 4 4 3 3 4 3 3 4 4 4 3 4 3 4 4 4 3 3> {(2, 1111): 't3', (2, 692): 'tau2^-1', (2, 693): 'tau2^-1', (2, 560): 'tau3', (2, 561): 'tau3', (2, 690): 't1^-1', (2, 691): 't1^-1', (2, 684): 't1^-1', (2, 685): 't1^-1', (2, 680): 'tau2', (2, 681): 'tau2', (2, 1117): 't3^-1', (2, 541): 't3^-1', (2, 546): 't3^-1', (2, 547): 't3^-1', (2, 1052): 'tau2', (2, 1053): 'tau2', (2, 666): 't2^-1', (2, 667): 't2^-1', (2, 660): 't2^-1', (2, 661): 't2^-1', (2, 150): 't1^-1', (2, 151): 't1^-1', (2, 144): 't1^-1', (2, 145): 't1^-1', (2, 1050): 't1', (2, 1076): 'tau3', (2, 1077): 'tau3', (2, 1028): 'tau3^-1', (2, 1029): 'tau3^-1', (2, 1026): 't2^-1', (2, 1027): 't2^-1', (2, 1148): 'tau1', (2, 1149): 'tau1', (2, 600): 't2', (2, 762): 't3^-1', (2, 763): 't3^-1', (2, 756): 't3^-1', (2, 540): 't3^-1', (2, 1136): 'tau1^-1', (2, 1137): 'tau1^-1', (2, 1128): 't2', (2, 1074): 't2', (2, 740): 'tau2^-1', (2, 741): 'tau2^-1', (2, 1075): 't2', (2, 481): 't3', (2, 1122): 't3^-1', (2, 1123): 't3^-1', (2, 1116): 't3^-1', (2, 1068): 't2', (2, 606): 't2', (2, 607): 't2', (2, 728): 'tau3^-1', (2, 729): 'tau3^-1', (2, 1069): 't2', (2, 1100): 'tau1', (2, 1088): 'tau1^-1', (2, 1110): 't3', (2, 1051): 't1', (2, 1104): 't3', (2, 1105): 't3', (2, 210): 't1^-1', (2, 211): 't1^-1', (2, 204): 't1^-1', (2, 205): 't1^-1', (2, 1045): 't1', (2, 601): 't2', (2, 1101): 'tau1', (2, 1044): 't1', (2, 1089): 'tau1^-1', (2, 1129): 't2'}