U-tiling: UQC5838

<6.1:1344: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 1154 1156 1158 1160 1162 1164 1166 1168 1170 1172 1174 1176 1178 1180 1182 1184 1186 1188 1190 1192 1194 1196 1198 1200 1202 1204 1206 1208 1210 1212 1214 1216 1218 1220 1222 1224 1226 1228 1230 1232 1234 1236 1238 1240 1242 1244 1246 1248 1250 1252 1254 1256 1258 1260 1262 1264 1266 1268 1270 1272 1274 1276 1278 1280 1282 1284 1286 1288 1290 1292 1294 1296 1298 1300 1302 1304 1306 1308 1310 1312 1314 1316 1318 1320 1322 1324 1326 1328 1330 1332 1334 1336 1338 1340 1342 1344,3 6 5 9 14 11 13 17 20 19 23 28 25 27 31 34 33 37 42 39 41 45 48 47 51 56 53 55 59 62 61 65 70 67 69 73 76 75 79 84 81 83 87 90 89 93 98 95 97 101 104 103 107 112 109 111 115 118 117 121 126 123 125 129 132 131 135 140 137 139 143 146 145 149 154 151 153 157 160 159 163 168 165 167 171 174 173 177 182 179 181 185 188 187 191 196 193 195 199 202 201 205 210 207 209 213 216 215 219 224 221 223 227 230 229 233 238 235 237 241 244 243 247 252 249 251 255 258 257 261 266 263 265 269 272 271 275 280 277 279 283 286 285 289 294 291 293 297 300 299 303 308 305 307 311 314 313 317 322 319 321 325 328 327 331 336 333 335 339 342 341 345 350 347 349 353 356 355 359 364 361 363 367 370 369 373 378 375 377 381 384 383 387 392 389 391 395 398 397 401 406 403 405 409 412 411 415 420 417 419 423 426 425 429 434 431 433 437 440 439 443 448 445 447 451 454 453 457 462 459 461 465 468 467 471 476 473 475 479 482 481 485 490 487 489 493 496 495 499 504 501 503 507 510 509 513 518 515 517 521 524 523 527 532 529 531 535 538 537 541 546 543 545 549 552 551 555 560 557 559 563 566 565 569 574 571 573 577 580 579 583 588 585 587 591 594 593 597 602 599 601 605 608 607 611 616 613 615 619 622 621 625 630 627 629 633 636 635 639 644 641 643 647 650 649 653 658 655 657 661 664 663 667 672 669 671 675 678 677 681 686 683 685 689 692 691 695 700 697 699 703 706 705 709 714 711 713 717 720 719 723 728 725 727 731 734 733 737 742 739 741 745 748 747 751 756 753 755 759 762 761 765 770 767 769 773 776 775 779 784 781 783 787 790 789 793 798 795 797 801 804 803 807 812 809 811 815 818 817 821 826 823 825 829 832 831 835 840 837 839 843 846 845 849 854 851 853 857 860 859 863 868 865 867 871 874 873 877 882 879 881 885 888 887 891 896 893 895 899 902 901 905 910 907 909 913 916 915 919 924 921 923 927 930 929 933 938 935 937 941 944 943 947 952 949 951 955 958 957 961 966 963 965 969 972 971 975 980 977 979 983 986 985 989 994 991 993 997 1000 999 1003 1008 1005 1007 1011 1014 1013 1017 1022 1019 1021 1025 1028 1027 1031 1036 1033 1035 1039 1042 1041 1045 1050 1047 1049 1053 1056 1055 1059 1064 1061 1063 1067 1070 1069 1073 1078 1075 1077 1081 1084 1083 1087 1092 1089 1091 1095 1098 1097 1101 1106 1103 1105 1109 1112 1111 1115 1120 1117 1119 1123 1126 1125 1129 1134 1131 1133 1137 1140 1139 1143 1148 1145 1147 1151 1154 1153 1157 1162 1159 1161 1165 1168 1167 1171 1176 1173 1175 1179 1182 1181 1185 1190 1187 1189 1193 1196 1195 1199 1204 1201 1203 1207 1210 1209 1213 1218 1215 1217 1221 1224 1223 1227 1232 1229 1231 1235 1238 1237 1241 1246 1243 1245 1249 1252 1251 1255 1260 1257 1259 1263 1266 1265 1269 1274 1271 1273 1277 1280 1279 1283 1288 1285 1287 1291 1294 1293 1297 1302 1299 1301 1305 1308 1307 1311 1316 1313 1315 1319 1322 1321 1325 1330 1327 1329 1333 1336 1335 1339 1344 1341 1343,43 44 17 18 7 8 23 24 39 40 55 56 71 72 21 22 67 68 83 84 85 86 59 60 35 36 65 66 97 98 101 102 49 50 107 108 123 124 127 128 63 64 139 140 143 144 77 78 149 150 165 166 171 172 91 92 177 178 193 194 211 212 105 106 207 208 223 224 225 226 199 200 119 120 205 206 237 238 241 242 133 134 247 248 263 264 281 282 147 148 277 278 293 294 295 296 269 270 161 162 275 276 307 308 323 324 175 176 319 320 335 336 337 338 311 312 189 190 317 318 349 350 351 352 203 204 363 364 367 368 217 218 373 374 389 390 395 396 231 232 401 402 347 348 421 422 245 246 417 418 433 434 435 436 409 410 259 260 415 416 447 448 449 450 273 274 461 462 465 466 287 288 471 472 487 488 493 494 301 302 499 500 445 446 505 506 315 316 517 518 521 522 329 330 527 528 543 544 549 550 343 344 555 556 563 564 357 358 569 570 585 586 603 604 371 372 599 600 615 616 617 618 591 592 385 386 597 598 629 630 631 632 399 400 557 558 643 644 645 646 413 414 657 658 661 662 427 428 667 668 683 684 689 690 441 442 695 696 703 704 455 456 709 710 725 726 743 744 469 470 739 740 755 756 757 758 731 732 483 484 737 738 769 770 771 772 497 498 697 698 783 784 787 788 511 512 793 794 809 810 827 828 525 526 823 824 839 840 841 842 815 816 539 540 821 822 853 854 855 856 553 554 867 868 883 884 567 568 879 880 895 896 897 898 871 872 581 582 877 878 909 910 911 912 595 596 923 924 745 746 609 610 751 752 837 838 773 774 623 624 779 780 907 908 759 760 637 638 765 766 935 936 941 942 651 652 947 948 963 964 981 982 665 666 977 978 993 994 995 996 969 970 679 680 975 976 1007 1008 1009 1010 693 694 1021 1022 1037 1038 707 708 1033 1034 1049 1050 1051 1052 1025 1026 721 722 1031 1032 1063 1064 1065 1066 735 736 1077 1078 749 750 991 992 763 764 1061 1062 777 778 1089 1090 1107 1108 791 792 1103 1104 1119 1120 1121 1122 1095 1096 805 806 1101 1102 1133 1134 1135 1136 819 820 1147 1148 983 984 833 834 989 990 1011 1012 847 848 1017 1018 1131 1132 997 998 861 862 1003 1004 1159 1160 1163 1164 875 876 1175 1176 1067 1068 889 890 1073 1074 1117 1118 1081 1082 903 904 1087 1088 1039 1040 917 918 1045 1046 1145 1146 1177 1178 1053 1054 931 932 1059 1060 1189 1190 1205 1206 945 946 1201 1202 1217 1218 1219 1220 1193 1194 959 960 1199 1200 1231 1232 1233 1234 973 974 1245 1246 987 988 1001 1002 1229 1230 1015 1016 1257 1258 1261 1262 1029 1030 1273 1274 1043 1044 1215 1216 1057 1058 1071 1072 1243 1244 1275 1276 1085 1086 1287 1288 1289 1290 1099 1100 1301 1302 1235 1236 1113 1114 1241 1242 1249 1250 1127 1128 1255 1256 1207 1208 1141 1142 1213 1214 1303 1304 1221 1222 1155 1156 1227 1228 1315 1316 1263 1264 1169 1170 1269 1270 1299 1300 1277 1278 1183 1184 1283 1284 1313 1314 1317 1318 1197 1198 1329 1330 1211 1212 1225 1226 1239 1240 1331 1332 1253 1254 1343 1344 1267 1268 1327 1328 1281 1282 1341 1342 1319 1320 1295 1296 1325 1326 1333 1334 1309 1310 1339 1340 1323 1324 1337 1338:3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4,12 4 4 4 8 4 8 12 4 4 4 4 4 4 4 4 4 4 8 12 4 4 4 4 4 8 12 4 4 4 8 12 4 4 4 4 4 4 4 4 8 12 4 4 4 4 4 4 4 4 4 4 4 4 4 4 8 4 4 4 8 4 4 4 4 4 4 4 8 4 4 4 8 4 4 4 4 4 4 4 8 12 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 8 4 4 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 4 4 4 4 4 4 4 4 4 4 4 4 4 4> {(2, 700): 't2', (2, 701): 't2', (2, 1002): 'tau2', (2, 180): 't1^-1', (2, 181): 't1^-1', (2, 491): 't2', (2, 1202): 't2^-1', (2, 1203): 't2^-1', (2, 1198): 'tau3^-1', (2, 1199): 'tau3^-1', (2, 168): 't1^-1', (2, 169): 't1^-1', (2, 1190): 't2^-1', (2, 1191): 't2^-1', (2, 1184): 'tau1^-1', (2, 1185): 'tau1^-1', (2, 1178): 'tau1^-1', (2, 1179): 'tau1^-1', (2, 1170): 'tau1', (2, 1171): 'tau1', (2, 1164): 'tau1', (2, 1165): 'tau1', (2, 1160): 't3', (2, 1161): 't3', (2, 1156): 'tau2^-1', (2, 1157): 'tau2^-1', (2, 646): 'tau3', (2, 647): 'tau3', (2, 642): 't3^-1', (2, 643): 't3^-1', (2, 250): 't1^-1', (2, 251): 't1^-1', (2, 239): 't1^-1', (2, 1258): 't2', (2, 1259): 't2', (2, 1254): 'tau3', (2, 1255): 'tau3', (2, 1248): 'tau3', (2, 1249): 'tau3', (2, 1246): 't2', (2, 1247): 't2', (2, 1230): 't1', (2, 1231): 't1', (2, 712): 't2', (2, 713): 't2', (2, 1220): 'tau2', (2, 1221): 'tau2', (2, 1218): 't1', (2, 1219): 't1', (2, 572): 't3', (2, 573): 't3', (2, 560): 't3', (2, 561): 't3', (2, 512): 'tau2^-1', (2, 513): 'tau2^-1', (2, 1148): 't3', (2, 1149): 't3', (2, 630): 't3^-1', (2, 631): 't3^-1', (2, 1132): 't1', (2, 1133): 't1', (2, 1120): 't1', (2, 1121): 't1', (2, 1104): 't3^-1', (2, 1105): 't3^-1', (2, 1100): 'tau2', (2, 1101): 'tau2', (2, 1092): 't3^-1', (2, 1093): 't3^-1', (2, 1094): 'tau2', (2, 1095): 'tau2', (2, 954): 'tau3', (2, 955): 'tau3', (2, 946): 'tau3^-1', (2, 947): 'tau3^-1', (2, 420): 't1', (2, 1016): 'tau3', (2, 506): 'tau2^-1', (2, 507): 'tau2^-1', (2, 502): 't2', (2, 1010): 'tau3', (2, 1011): 'tau3', (2, 490): 't2', (2, 1003): 'tau2', (2, 996): 'tau2', (2, 997): 'tau2', (2, 1338): 'tau1', (2, 1339): 'tau1', (2, 1332): 'tau1', (2, 1333): 'tau1', (2, 1325): 'tau1^-1', (2, 1318): 'tau1^-1', (2, 1319): 'tau1^-1', (2, 1296): 'tau1', (2, 783): 't2^-1', (2, 849): 'tau3^-1'}