U-tiling: UQC2988

<5.1:1344:43 44 31 32 7 8 37 38 25 26 55 56 71 72 59 60 21 22 65 66 83 84 85 86 35 36 67 68 97 98 115 116 49 50 121 122 109 110 127 128 63 64 139 140 157 158 77 78 163 164 151 152 185 186 91 92 191 192 179 180 211 212 199 200 105 106 205 206 223 224 225 226 119 120 207 208 237 238 255 256 133 134 261 262 249 250 281 282 269 270 147 148 275 276 293 294 295 296 161 162 277 278 307 308 323 324 311 312 175 176 317 318 335 336 337 338 189 190 319 320 349 350 351 352 203 204 363 364 381 382 217 218 387 388 375 376 339 340 231 232 345 346 403 404 421 422 409 410 245 246 415 416 433 434 435 436 259 260 417 418 447 448 449 450 273 274 461 462 479 480 287 288 485 486 473 474 437 438 301 302 443 444 501 502 505 506 315 316 517 518 535 536 329 330 541 542 529 530 343 344 557 558 577 578 357 358 583 584 571 572 603 604 591 592 371 372 597 598 615 616 617 618 385 386 599 600 629 630 631 632 549 550 399 400 555 556 643 644 645 646 413 414 657 658 675 676 427 428 681 682 669 670 441 442 697 698 717 718 455 456 723 724 711 712 743 744 731 732 469 470 737 738 755 756 757 758 483 484 739 740 769 770 771 772 689 690 497 498 695 696 783 784 801 802 511 512 807 808 795 796 827 828 815 816 525 526 821 822 839 840 841 842 539 540 823 824 853 854 855 856 553 554 867 868 883 884 871 872 567 568 877 878 895 896 897 898 581 582 879 880 909 910 911 912 595 596 923 924 829 830 609 610 835 836 753 754 899 900 623 624 905 906 781 782 927 928 637 638 933 934 767 768 955 956 651 652 961 962 949 950 981 982 969 970 665 666 975 976 993 994 995 996 679 680 977 978 1007 1008 1009 1010 693 694 1021 1022 1037 1038 1025 1026 707 708 1031 1032 1049 1050 1051 1052 721 722 1033 1034 1063 1064 1065 1066 735 736 1077 1078 983 984 749 750 989 990 1053 1054 763 764 1059 1060 1081 1082 777 778 1087 1088 1107 1108 1095 1096 791 792 1101 1102 1119 1120 1121 1122 805 806 1103 1104 1133 1134 1135 1136 819 820 1147 1148 833 834 991 992 1123 1124 847 848 1129 1130 1019 1020 1151 1152 861 862 1157 1158 1005 1006 1163 1164 875 876 1175 1176 1109 1110 889 890 1115 1116 1075 1076 903 904 1089 1090 1137 1138 917 918 1143 1144 1047 1048 1177 1178 931 932 1061 1062 1189 1190 1205 1206 1193 1194 945 946 1199 1200 1217 1218 1219 1220 959 960 1201 1202 1231 1232 1233 1234 973 974 1245 1246 987 988 1221 1222 1001 1002 1227 1228 1249 1250 1015 1016 1255 1256 1261 1262 1029 1030 1273 1274 1207 1208 1043 1044 1213 1214 1057 1058 1235 1236 1071 1072 1241 1242 1275 1276 1085 1086 1287 1288 1289 1290 1099 1100 1301 1302 1113 1114 1243 1244 1127 1128 1257 1258 1141 1142 1215 1216 1303 1304 1155 1156 1229 1230 1315 1316 1291 1292 1169 1170 1297 1298 1271 1272 1305 1306 1183 1184 1311 1312 1285 1286 1317 1318 1197 1198 1329 1330 1211 1212 1225 1226 1239 1240 1331 1332 1253 1254 1343 1344 1319 1320 1267 1268 1325 1326 1333 1334 1281 1282 1339 1340 1295 1296 1327 1328 1309 1310 1341 1342 1323 1324 1337 1338,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,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:8 4 4 4 12 8 4 4 4 12 4 4 4 4 4 4 4 8 4 4 4 12 4 4 8 4 4 4 12 8 4 4 4 12 4 4 4 4 4 8 4 4 4 12 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 4 8 4 4 4 12 4 4 4 4 4 4 4 4 4 4 4 4 4 8 4 4 4 4 4 4 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,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> {(0, 1104): 't3^-1', (0, 1246): 't2', (0, 1203): 't2^-1', (0, 1148): 't3', (0, 169): 't1^-1', (0, 1247): 't2', (0, 1160): 't3', (0, 491): 't2', (0, 1218): 't1', (0, 1120): 't1', (0, 1219): 't1', (0, 1186): 'tau1^-1', (0, 239): 't1^-1', (0, 1102): 'tau2', (0, 1230): 't1', (0, 1105): 't3^-1', (0, 572): 't3', (0, 1200): 'tau3^-1', (0, 1149): 't3', (0, 1190): 't2^-1', (0, 1161): 't3', (0, 251): 't1^-1', (0, 180): 't1^-1', (0, 1121): 't1', (0, 1340): 'tau1', (0, 502): 't2', (0, 1187): 'tau1^-1', (0, 1132): 't1', (0, 514): 'tau2^-1', (0, 1103): 'tau2', (0, 1326): 'tau1^-1', (0, 1092): 't3^-1', (0, 1201): 'tau3^-1', (0, 1018): 'tau3', (0, 1191): 't2^-1', (0, 1158): 'tau2^-1', (0, 700): 't2', (0, 1257): 'tau3', (0, 560): 't3', (0, 1259): 't2', (0, 181): 't1^-1', (0, 642): 't3^-1', (0, 573): 't3', (0, 712): 't2', (0, 1172): 'tau1', (0, 503): 't2', (0, 1231): 't1', (0, 1133): 't1', (0, 643): 't3^-1', (0, 1341): 'tau1', (0, 1327): 'tau1^-1', (0, 1093): 't3^-1', (0, 654): 'tau3', (0, 1019): 'tau3', (0, 1004): 'tau2', (0, 238): 't1^-1', (0, 1159): 'tau2^-1', (0, 631): 't3^-1', (0, 701): 't2', (0, 630): 't3^-1', (0, 713): 't2', (0, 1202): 't2^-1', (0, 168): 't1^-1', (0, 1173): 'tau1', (0, 1258): 't2', (0, 1005): 'tau2', (0, 490): 't2', (0, 561): 't3', (0, 1256): 'tau3', (0, 655): 'tau3', (0, 515): 'tau2^-1', (0, 250): 't1^-1', }