U-tiling: UQC2380

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