U-tiling: UQC5477

<40.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,13 14 27 28 7 8 33 34 47 48 51 52 19 20 57 58 71 72 49 50 31 32 83 84 85 86 99 100 43 44 105 106 55 56 119 120 121 122 135 136 67 68 141 142 145 146 159 160 79 80 165 166 171 172 91 92 177 178 191 192 169 170 103 104 203 204 205 206 219 220 115 116 225 226 231 232 127 128 237 238 251 252 229 230 139 140 263 264 267 268 151 152 273 274 287 288 265 266 163 164 299 300 175 176 311 312 313 314 327 328 187 188 333 334 337 338 291 292 199 200 297 298 351 352 211 212 357 358 371 372 349 350 223 224 383 384 235 236 395 396 397 398 411 412 247 248 417 418 421 422 375 376 259 260 381 382 271 272 443 444 445 446 459 460 283 284 465 466 469 470 295 296 481 482 495 496 307 308 501 502 507 508 319 320 513 514 527 528 505 506 331 332 539 540 471 472 343 344 477 478 551 552 355 356 563 564 565 566 579 580 367 368 585 586 589 590 379 380 601 602 615 616 391 392 621 622 627 628 403 404 633 634 647 648 625 626 415 416 659 660 591 592 427 428 597 598 671 672 673 674 687 688 439 440 693 694 699 700 451 452 705 706 719 720 697 698 463 464 731 732 475 476 743 744 747 748 487 488 753 754 767 768 745 746 499 500 779 780 511 512 791 792 637 638 711 712 523 524 717 718 661 662 771 772 535 536 777 778 649 650 795 796 547 548 801 802 805 806 819 820 559 560 825 826 831 832 571 572 837 838 851 852 829 830 583 584 863 864 595 596 875 876 879 880 607 608 885 886 899 900 877 878 619 620 911 912 631 632 923 924 843 844 643 644 849 850 903 904 655 656 909 910 927 928 667 668 933 934 939 940 679 680 945 946 959 960 937 938 691 692 971 972 703 704 983 984 841 842 715 716 865 866 963 964 727 728 969 970 853 854 987 988 739 740 993 994 751 752 1007 1008 913 914 951 952 763 764 957 958 925 926 775 776 889 890 975 976 787 788 981 982 901 902 799 800 1019 1020 1023 1024 811 812 1029 1030 1043 1044 1021 1022 823 824 1055 1056 835 836 1067 1068 847 848 1047 1048 859 860 1053 1054 1071 1072 871 872 1077 1078 883 884 1091 1092 1035 1036 895 896 1041 1042 907 908 1059 1060 919 920 1065 1066 931 932 1103 1104 943 944 1115 1116 1057 1058 955 956 1069 1070 967 968 1033 1034 979 980 1045 1046 991 992 1127 1128 1081 1082 1107 1108 1003 1004 1113 1114 1093 1094 1119 1120 1015 1016 1125 1126 1027 1028 1139 1140 1039 1040 1051 1052 1063 1064 1075 1076 1151 1152 1131 1132 1087 1088 1137 1138 1143 1144 1099 1100 1149 1150 1129 1130 1111 1112 1141 1142 1123 1124 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,6 4 4 3 8 4 3 8 6 3 4 4 3 4 4 4 4 4 3 8 6 3 4 4 4 3 8 6 3 4 3 8 6 3 3 4 4 4 4 4 3 8 6 3 3 4 4 4 4 3 4 4 4 4 4 3 8 3 4 3 8 3 4 4 4 4 4 3 8 3 4 3 8 4 4 4 3 3 3 4 3 8 6 3 3 4 4 4 4 4 4 4 4 4 3 3 3 4 3 8 3 3 4 4 4 4 3 6 3 3 4 4 4 4 3 4 4 4 4 3 4 3 3 3 4 4 3 4 4 3 3 3 4 4 4 4 3 3 4 4> {(1, 1145): 't2^-1', (1, 761): 't3^-1', (2, 1080): 'tau1^-1', (2, 1081): 'tau1^-1', (2, 1021): 'tau3^-1', (2, 694): 't1^-1', (2, 695): 't1^-1', (1, 1140): 't2^-1', (2, 721): 'tau3^-1', (2, 684): 'tau2^-1', (2, 685): 'tau2^-1', (1, 1133): 't2', (2, 553): 'tau3', (2, 550): 't3^-1', (1, 1121): 't3^-1', (2, 1068): 'tau3', (2, 551): 't3^-1', (2, 672): 'tau2', (2, 673): 'tau2', (2, 1115): 't3', (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, 1079): 't2', (2, 1140): 'tau1', (1, 204): 't1^-1', (2, 1069): 'tau3', (2, 1030): 't2^-1', (2, 1031): 't2^-1', (2, 1078): 't2', (2, 1020): 'tau3^-1', (1, 1049): 't1', (2, 766): 't3^-1', (2, 767): 't3^-1', (1, 689): 't1^-1', (2, 1141): 'tau1', (2, 1054): 't1', (1, 756): 't3^-1', (1, 281): 't1', (2, 1055): 't1', (2, 1128): 'tau1^-1', (2, 1129): 'tau1^-1', (2, 1093): 'tau1', (1, 545): 't3^-1', (2, 1126): 't3^-1', (2, 1127): 't3^-1', (1, 665): 't2^-1', (2, 610): 't2', (2, 611): 't2', (2, 732): 'tau2^-1', (2, 733): 'tau2^-1', (2, 552): 'tau3', (1, 660): 't2^-1', (2, 984): 'tau2^-1', (1, 540): 't3^-1', (2, 1114): 't3', (1, 1128): 't2', (1, 144): 't1^-1', (2, 214): 't1^-1', (2, 215): 't1^-1', (2, 720): 'tau3^-1', (1, 1044): 't1', (2, 1045): 'tau2', (2, 1092): 'tau1', (1, 365): 't1', (1, 684): 't1^-1'}