U-tiling: UQC5205

<1.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,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,13 14 27 28 7 8 45 46 23 24 51 52 19 20 69 70 49 50 31 32 81 82 59 60 85 86 99 100 43 44 95 96 55 56 117 118 121 122 135 136 67 68 131 132 145 146 159 160 79 80 155 156 171 172 91 92 189 190 169 170 103 104 201 202 179 180 205 206 219 220 115 116 215 216 231 232 127 128 249 250 229 230 139 140 261 262 239 240 267 268 151 152 285 286 265 266 163 164 297 298 275 276 175 176 309 310 313 314 327 328 187 188 323 324 337 338 291 292 199 200 347 348 351 352 211 212 369 370 349 350 223 224 381 382 359 360 235 236 393 394 397 398 411 412 247 248 407 408 421 422 375 376 259 260 431 432 271 272 441 442 445 446 459 460 283 284 455 456 469 470 295 296 479 480 481 482 495 496 307 308 491 492 507 508 319 320 525 526 505 506 331 332 537 538 515 516 471 472 343 344 549 550 355 356 561 562 565 566 579 580 367 368 575 576 589 590 379 380 599 600 601 602 615 616 391 392 611 612 627 628 403 404 645 646 625 626 415 416 657 658 635 636 591 592 427 428 669 670 673 674 687 688 439 440 683 684 699 700 451 452 717 718 697 698 463 464 729 730 707 708 475 476 741 742 747 748 487 488 765 766 745 746 499 500 777 778 755 756 511 512 789 790 637 638 711 712 523 524 647 648 661 662 771 772 535 536 671 672 649 650 795 796 547 548 659 660 805 806 819 820 559 560 815 816 831 832 571 572 849 850 829 830 583 584 861 862 839 840 595 596 873 874 879 880 607 608 897 898 877 878 619 620 909 910 887 888 631 632 921 922 843 844 643 644 903 904 655 656 927 928 667 668 939 940 679 680 957 958 937 938 691 692 969 970 947 948 703 704 981 982 841 842 715 716 851 852 865 866 963 964 727 728 875 876 853 854 987 988 739 740 863 864 751 752 1005 1006 913 914 951 952 763 764 923 924 925 926 775 776 935 936 889 890 975 976 787 788 899 900 901 902 799 800 1017 1018 911 912 1023 1024 811 812 1041 1042 1021 1022 823 824 1053 1054 1031 1032 835 836 1065 1066 847 848 1047 1048 859 860 1071 1072 871 872 883 884 1089 1090 1035 1036 895 896 907 908 1059 1060 919 920 931 932 1101 1102 943 944 1113 1114 1057 1058 955 956 1067 1068 1069 1070 967 968 1079 1080 1033 1034 979 980 1043 1044 1045 1046 991 992 1125 1126 1055 1056 1081 1082 1107 1108 1003 1004 1091 1092 1093 1094 1119 1120 1015 1016 1103 1104 1027 1028 1137 1138 1039 1040 1051 1052 1063 1064 1075 1076 1149 1150 1131 1132 1087 1088 1143 1144 1099 1100 1129 1130 1111 1112 1139 1140 1141 1142 1123 1124 1151 1152 1135 1136 1147 1148: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,4 4 16 12 16 4 12 4 4 4 4 4 4 16 4 12 4 4 16 4 12 16 4 12 4 4 4 4 16 4 12 4 4 4 4 4 4 4 4 4 16 4 16 4 4 4 4 4 16 4 16 4 4 4 16 4 12 4 4 4 4 4 4 4 4 4 16 4 4 12 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4> {(2, 1020): 'tau3^-1', (2, 1080): 'tau1^-1', (2, 1081): 'tau1^-1', (2, 1021): 'tau3^-1', (2, 692): 't1^-1', (2, 693): 't1^-1', (2, 694): 'tau2^-1', (2, 695): 'tau2^-1', (2, 944): 't3^-1', (2, 945): 't3^-1', (2, 562): 'tau3', (2, 563): 'tau3', (2, 684): 'tau2^-1', (2, 685): 'tau2^-1', (2, 1151): 'tau1', (2, 552): 'tau3', (2, 553): 'tau3', (2, 682): 'tau2', (2, 683): 'tau2', (2, 548): 't3^-1', (2, 549): 't3^-1', (2, 1068): 'tau3', (2, 672): 'tau2', (2, 673): 'tau2', (2, 668): 't2^-1', (2, 669): 't2^-1', (2, 1054): 'tau2', (2, 1055): 'tau2', (2, 152): 't1^-1', (2, 153): 't1^-1', (2, 1044): 'tau2', (2, 1045): 'tau2', (2, 1076): 't2', (2, 1077): 't2', (2, 1069): 'tau3', (2, 1029): 't2^-1', (2, 1030): 'tau3^-1', (2, 1031): 'tau3^-1', (2, 1078): 'tau3', (2, 764): 't3^-1', (2, 765): 't3^-1', (2, 1150): 'tau1', (2, 1079): 'tau3', (2, 1053): 't1', (2, 1140): 'tau1', (2, 1141): 'tau1', (2, 1138): 'tau1^-1', (2, 1139): 'tau1^-1', (2, 1028): 't2^-1', (2, 1128): 'tau1^-1', (2, 1129): 'tau1^-1', (2, 1124): 't3^-1', (2, 1125): 't3^-1', (2, 742): 'tau2^-1', (2, 743): 'tau2^-1', (2, 608): 't2', (2, 609): 't2', (2, 732): 'tau2^-1', (2, 733): 'tau2^-1', (2, 730): 'tau3^-1', (2, 731): 'tau3^-1', (2, 212): 't1^-1', (2, 213): 't1^-1', (2, 720): 'tau3^-1', (2, 721): 'tau3^-1', (2, 1102): 'tau1', (2, 1103): 'tau1', (2, 1092): 'tau1', (2, 1093): 'tau1', (2, 1052): 't1', (2, 1090): 'tau1^-1', (2, 1091): 'tau1^-1'}