U-tiling: UQC5457

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