U-tiling: UQC5432

<36.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 40 7 12 9 11 61 15 64 19 24 21 23 73 27 76 31 36 33 35 39 43 48 45 47 109 51 112 55 60 57 59 63 67 72 69 71 75 79 84 81 83 181 87 184 91 96 93 95 193 99 196 103 108 105 107 111 115 120 117 119 241 123 244 127 132 129 131 253 135 256 139 144 141 143 277 147 280 151 156 153 155 289 159 292 163 168 165 167 301 171 304 175 180 177 179 183 187 192 189 191 195 199 204 201 203 361 207 364 211 216 213 215 373 219 376 223 228 225 227 385 231 388 235 240 237 239 243 247 252 249 251 255 259 264 261 263 433 267 436 271 276 273 275 279 283 288 285 287 291 295 300 297 299 303 307 312 309 311 517 315 520 319 324 321 323 529 327 532 331 336 333 335 541 339 544 343 348 345 347 553 351 556 355 360 357 359 363 367 372 369 371 375 379 384 381 383 387 391 396 393 395 637 399 640 403 408 405 407 649 411 652 415 420 417 419 661 423 664 427 432 429 431 435 439 444 441 443 709 447 712 451 456 453 455 721 459 724 463 468 465 467 733 471 736 475 480 477 479 757 483 760 487 492 489 491 769 495 772 499 504 501 503 781 507 784 511 516 513 515 519 523 528 525 527 531 535 540 537 539 543 547 552 549 551 555 559 564 561 563 841 567 844 571 576 573 575 853 579 856 583 588 585 587 865 591 868 595 600 597 599 889 603 892 607 612 609 611 901 615 904 619 624 621 623 913 627 916 631 636 633 635 639 643 648 645 647 651 655 660 657 659 663 667 672 669 671 949 675 952 679 684 681 683 961 687 964 691 696 693 695 973 699 976 703 708 705 707 711 715 720 717 719 723 727 732 729 731 735 739 744 741 743 997 747 1000 751 756 753 755 759 763 768 765 767 771 775 780 777 779 783 787 792 789 791 1009 795 1012 799 804 801 803 1033 807 1036 811 816 813 815 1045 819 1048 823 828 825 827 1057 831 1060 835 840 837 839 843 847 852 849 851 855 859 864 861 863 867 871 876 873 875 1081 879 1084 883 888 885 887 891 895 900 897 899 903 907 912 909 911 915 919 924 921 923 1093 927 1096 931 936 933 935 1105 939 1108 943 948 945 947 951 955 960 957 959 963 967 972 969 971 975 979 984 981 983 1117 987 1120 991 996 993 995 999 1003 1008 1005 1007 1011 1015 1020 1017 1019 1129 1023 1132 1027 1032 1029 1031 1035 1039 1044 1041 1043 1047 1051 1056 1053 1055 1059 1063 1068 1065 1067 1141 1071 1144 1075 1080 1077 1079 1083 1087 1092 1089 1091 1095 1099 1104 1101 1103 1107 1111 1116 1113 1115 1119 1123 1128 1125 1127 1131 1135 1140 1137 1139 1143 1147 1152 1149 1151,13 14 5 6 19 20 33 34 47 48 17 18 57 58 71 72 49 50 29 30 55 56 83 84 85 86 41 42 91 92 105 106 53 54 119 120 121 122 65 66 127 128 141 142 145 146 77 78 151 152 165 166 89 90 177 178 191 192 169 170 101 102 175 176 203 204 205 206 113 114 211 212 225 226 125 126 237 238 251 252 229 230 137 138 235 236 263 264 149 150 273 274 287 288 265 266 161 162 271 272 299 300 173 174 311 312 313 314 185 186 319 320 333 334 337 338 197 198 343 344 297 298 209 210 357 358 371 372 349 350 221 222 355 356 383 384 233 234 395 396 397 398 245 246 403 404 417 418 421 422 257 258 427 428 381 382 269 270 443 444 445 446 281 282 451 452 465 466 469 470 293 294 475 476 481 482 305 306 487 488 501 502 317 318 513 514 527 528 505 506 329 330 511 512 539 540 341 342 477 478 551 552 353 354 563 564 565 566 365 366 571 572 585 586 589 590 377 378 595 596 601 602 389 390 607 608 621 622 401 402 633 634 647 648 625 626 413 414 631 632 659 660 425 426 597 598 671 672 673 674 437 438 679 680 693 694 449 450 705 706 719 720 697 698 461 462 703 704 731 732 473 474 743 744 485 486 753 754 767 768 745 746 497 498 751 752 779 780 509 510 791 792 637 638 521 522 643 644 717 718 661 662 533 534 667 668 777 778 649 650 545 546 655 656 801 802 805 806 557 558 811 812 825 826 569 570 837 838 851 852 829 830 581 582 835 836 863 864 593 594 875 876 605 606 885 886 899 900 877 878 617 618 883 884 911 912 629 630 923 924 641 642 849 850 653 654 909 910 665 666 933 934 677 678 945 946 959 960 937 938 689 690 943 944 971 972 701 702 983 984 841 842 713 714 847 848 865 866 725 726 871 872 969 970 853 854 737 738 859 860 993 994 749 750 1007 1008 913 914 761 762 919 920 957 958 925 926 773 774 931 932 889 890 785 786 895 896 981 982 901 902 797 798 907 908 1019 1020 809 810 1029 1030 1043 1044 1021 1022 821 822 1027 1028 1055 1056 833 834 1067 1068 845 846 857 858 1053 1054 869 870 1077 1078 881 882 1091 1092 893 894 1041 1042 905 906 917 918 1065 1066 929 930 1103 1104 941 942 1115 1116 1057 1058 953 954 1063 1064 1069 1070 965 966 1075 1076 1033 1034 977 978 1039 1040 1045 1046 989 990 1051 1052 1127 1128 1081 1082 1001 1002 1087 1088 1113 1114 1093 1094 1013 1014 1099 1100 1125 1126 1025 1026 1139 1140 1037 1038 1049 1050 1061 1062 1073 1074 1151 1152 1085 1086 1137 1138 1097 1098 1149 1150 1129 1130 1109 1110 1135 1136 1141 1142 1121 1122 1147 1148 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,6 4 3 4 8 3 8 6 4 3 4 4 3 4 4 4 4 3 8 6 4 3 4 4 3 8 6 4 3 3 8 6 4 3 3 4 4 4 4 3 8 6 4 3 3 4 4 4 4 3 4 4 4 4 4 3 8 4 3 3 8 3 4 4 4 4 4 3 8 4 3 3 8 4 4 3 4 3 3 3 8 6 4 3 3 4 4 4 4 4 4 4 4 3 4 3 3 3 8 4 3 3 3 6 4 3 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> {(2, 694): 't1^-1', (2, 695): 't1^-1', (1, 1140): 't2^-1', (2, 690): 'tau2^-1', (2, 691): 'tau2^-1', (2, 684): 'tau2^-1', (2, 685): 'tau2^-1', (1, 1131): 't2', (2, 678): 'tau2', (2, 679): 'tau2', (2, 672): 'tau2', (2, 673): 'tau2', (1, 600): 't2', (2, 670): 't2^-1', (2, 671): 't2^-1', (1, 1116): 't3^-1', (2, 154): 't1^-1', (2, 155): 't1^-1', (1, 1104): 't3', (1, 1107): 't3', (2, 766): 't3^-1', (2, 767): 't3^-1', (1, 1143): 't2^-1', (2, 738): 'tau2^-1', (2, 739): 'tau2^-1', (2, 732): 'tau2^-1', (2, 733): 'tau2^-1', (1, 540): 't3^-1', (1, 543): 't3^-1', (1, 1128): 't2', (2, 726): 'tau3^-1', (2, 727): 'tau3^-1', (2, 720): 'tau3^-1', (2, 721): 'tau3^-1', (1, 1047): 't1', (2, 214): 't1^-1', (2, 215): 't1^-1', (2, 1080): 'tau1^-1', (2, 1081): 'tau1^-1', (2, 1078): 't2', (2, 1079): 't2', (1, 756): 't3^-1', (2, 1074): 'tau3', (2, 1075): 'tau3', (2, 1068): 'tau3', (2, 1069): 'tau3', (2, 558): 'tau3', (2, 559): 'tau3', (2, 552): 'tau3', (2, 553): 'tau3', (2, 551): 't3^-1', (2, 1054): 't1', (2, 1055): 't1', (2, 1050): 'tau2', (2, 1051): 'tau2', (2, 1044): 'tau2', (2, 1045): 'tau2', (1, 204): 't1^-1', (2, 1030): 't2^-1', (2, 1031): 't2^-1', (2, 1026): 'tau3^-1', (2, 1027): 'tau3^-1', (2, 1146): 'tau1', (2, 1147): 'tau1', (2, 1140): 'tau1', (2, 1141): 'tau1', (1, 603): 't2', (2, 1134): 'tau1^-1', (2, 1135): 'tau1^-1', (2, 1128): 'tau1^-1', (1, 684): 't1^-1', (1, 687): 't1^-1', (2, 1126): 't3^-1', (2, 1127): 't3^-1', (2, 610): 't2', (2, 611): 't2', (1, 1119): 't3^-1', (2, 1114): 't3', (2, 1115): 't3', (1, 144): 't1^-1', (2, 1105): 'tau1', (1, 663): 't2^-1', (2, 1098): 'tau1', (2, 1099): 'tau1', (2, 1092): 'tau1', (2, 1093): 'tau1', (1, 363): 't1', (2, 1087): 'tau1^-1', (2, 1020): 'tau3^-1', (2, 1021): 'tau3^-1', (1, 816): 't1^-1', (1, 759): 't3^-1', (2, 1002): 'tau1', (1, 279): 't1', (1, 420): 't2', (2, 346): 't3'}