U-tiling: UQC5236

<56.1:960: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,11 3 14 35 7 9 40 13 55 17 19 60 41 23 44 65 27 29 70 71 33 74 37 39 43 95 47 49 100 101 53 104 57 59 121 63 124 67 69 73 155 77 79 160 141 83 144 165 87 89 170 171 93 174 97 99 103 205 107 109 210 191 113 194 215 117 119 220 123 235 127 129 240 221 133 224 245 137 139 250 143 255 147 149 260 261 153 264 157 159 281 163 284 167 169 173 305 177 179 310 291 183 294 315 187 189 320 193 325 197 199 330 331 203 334 207 209 351 213 354 217 219 223 365 227 229 370 371 233 374 237 239 391 243 394 247 249 401 253 404 257 259 263 435 267 269 440 421 273 424 445 277 279 450 283 455 287 289 460 293 465 297 299 470 471 303 474 307 309 491 313 494 317 319 501 323 504 327 329 333 535 337 339 540 521 343 524 545 347 349 550 353 555 357 359 560 561 363 564 367 369 373 595 377 379 600 581 383 584 605 387 389 610 393 615 397 399 620 403 635 407 409 640 621 413 624 645 417 419 650 423 655 427 429 660 531 433 534 437 439 551 443 554 447 449 541 453 544 457 459 671 463 674 467 469 473 705 477 479 710 691 483 694 715 487 489 720 493 725 497 499 730 503 745 507 509 750 731 513 734 755 517 519 760 523 765 527 529 770 533 537 539 543 547 549 553 557 559 563 795 567 569 800 781 573 784 805 577 579 810 583 815 587 589 820 701 593 704 597 599 721 603 724 607 609 711 613 714 617 619 623 835 627 629 840 761 633 764 637 639 771 643 774 647 649 741 653 744 657 659 751 663 754 845 667 669 850 673 865 677 679 870 851 683 854 875 687 689 880 693 885 697 699 890 703 707 709 713 717 719 723 727 729 733 905 737 739 910 743 747 749 753 757 759 763 767 769 773 915 777 779 920 783 925 787 789 930 881 793 884 797 799 891 803 894 807 809 861 813 864 817 819 871 823 874 935 827 829 940 901 833 904 837 839 911 843 914 847 849 853 945 857 859 950 863 867 869 873 877 879 883 887 889 893 955 897 899 960 903 907 909 913 917 919 941 923 944 927 929 951 933 954 937 939 943 947 949 953 957 959,31 32 5 6 17 18 29 30 51 52 15 16 49 50 61 62 25 26 47 48 35 36 77 78 89 90 91 92 45 46 55 56 107 108 119 120 65 66 127 128 139 140 151 152 75 76 149 150 161 162 85 86 147 148 95 96 177 178 189 190 201 202 105 106 199 200 211 212 115 116 197 198 231 232 125 126 229 230 241 242 135 136 227 228 251 252 145 146 155 156 267 268 279 280 165 166 287 288 249 250 301 302 175 176 299 300 311 312 185 186 297 298 321 322 195 196 205 206 337 338 349 350 215 216 357 358 319 320 361 362 225 226 235 236 377 378 389 390 245 246 397 398 255 256 407 408 419 420 431 432 265 266 429 430 441 442 275 276 427 428 451 452 285 286 399 400 461 462 295 296 305 306 477 478 489 490 315 316 497 498 325 326 507 508 519 520 531 532 335 336 529 530 541 542 345 346 527 528 551 552 355 356 499 500 365 366 567 568 579 580 591 592 375 376 589 590 601 602 385 386 587 588 611 612 395 396 631 632 405 406 629 630 641 642 415 416 627 628 651 652 425 426 435 436 537 538 599 600 445 446 557 558 649 650 455 456 547 548 669 670 465 466 677 678 689 690 701 702 475 476 699 700 711 712 485 486 697 698 721 722 495 496 741 742 505 506 739 740 751 752 515 516 737 738 761 762 525 526 535 536 709 710 545 546 759 760 555 556 779 780 791 792 565 566 789 790 801 802 575 576 787 788 811 812 585 586 595 596 707 708 605 606 727 728 809 810 615 616 717 718 829 830 831 832 625 626 635 636 767 768 799 800 645 646 777 778 655 656 747 748 819 820 841 842 665 666 757 758 861 862 675 676 859 860 871 872 685 686 857 858 881 882 695 696 705 706 715 716 879 880 725 726 899 900 901 902 735 736 745 746 869 870 755 756 765 766 889 890 911 912 775 776 921 922 785 786 795 796 887 888 805 806 897 898 815 816 867 868 931 932 825 826 877 878 835 836 907 908 929 930 845 846 917 918 939 940 941 942 855 856 865 866 875 876 885 886 951 952 895 896 905 906 949 950 915 916 959 960 925 926 947 948 935 936 957 958 945 946 955 956:4 6 6 4 6 4 6 4 4 6 4 6 4 6 4 6 6 4 6 6 4 4 6 4 6 6 4 4 6 4 4 4 6 4 6 6 6 4 4 4 6 4 6 6 4 6 4 6 6 6 4 6 6 4 4 4 4 6 4 6 6 6 4 6 6 6 4 6 6 4 4 4 6 4 4 4 4 6 6 4 6 6 6 6 6 4 4 4 4 6 4 4 6 6 4 4,6 3 3 4 4 3 4 6 3 3 3 4 3 3 4 3 4 3 4 6 3 3 3 4 3 4 6 3 3 3 4 6 3 3 3 3 4 3 4 3 4 6 3 3 3 3 4 3 4 3 3 4 3 3 4 3 4 3 3 3 4 3 3 4 3 3 4 3 4 3 3 3 4 3 4 3 3 3 3 3 4 6 3 3 3 3 4 3 4 3 4 3 4 3 3 3 3 3 4 3 3 3 3 6 3 3 3 3 3 4 3 4 3 3 4 3 3 4 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 4 3 4 3 3 3 3> {(1, 634): 't3^-1', (1, 124): 't1^-1', (1, 639): 't3^-1', (2, 686): 'tau3', (2, 687): 'tau3', (2, 680): 't1^-1', (2, 681): 't1^-1', (2, 170): 't1^-1', (2, 171): 't1^-1', (2, 676): 'tau3^-1', (2, 677): 'tau3^-1', (1, 610): 'tau2^-1', (1, 613): 'tau2^-1', (1, 600): 'tau3^-1', (1, 603): 'tau3^-1', (1, 579): 't1^-1', (1, 570): 'tau2^-1', (1, 573): 'tau2^-1', (1, 574): 't1^-1', (1, 560): 'tau2', (1, 563): 'tau2', (1, 554): 't2^-1', (1, 559): 't2^-1', (2, 740): 't2^-1', (2, 741): 't2^-1', (2, 230): 't1', (2, 231): 't1', (1, 873): 'tau2', (2, 726): 'tau3', (2, 727): 'tau3', (2, 716): 'tau2', (2, 717): 'tau2', (2, 570): 't1^-1', (2, 571): 't1^-1', (2, 566): 'tau2', (2, 567): 'tau2', (1, 744): 't2^-1', (1, 749): 't2^-1', (1, 239): 't1', (2, 550): 't2^-1', (2, 551): 't2^-1', (1, 870): 'tau2', (1, 179): 't1^-1', (1, 689): 't1^-1', (2, 630): 't3^-1', (2, 631): 't3^-1', (1, 859): 't2^-1', (1, 680): 'tau3', (1, 683): 'tau3', (1, 684): 't1^-1', (1, 174): 't1^-1', (1, 673): 'tau3^-1', (1, 670): 'tau3^-1', (2, 576): 'tau2^-1', (2, 577): 'tau2^-1', (2, 956): 'tau1', (2, 957): 'tau1', (1, 890): 'tau3', (1, 893): 'tau3', (1, 894): 't2', (2, 950): 't2^-1', (2, 951): 't2^-1', (2, 947): 'tau1^-1', (2, 940): 't2', (2, 941): 't2', (2, 930): 't3^-1', (2, 931): 't3^-1', (2, 926): 'tau1', (2, 920): 't3', (2, 921): 't3', (2, 916): 'tau1', (2, 917): 'tau1', (1, 854): 't2^-1', (1, 840): 'tau1^-1', (1, 843): 'tau1^-1', (2, 906): 'tau1^-1', (2, 907): 'tau1^-1', (1, 833): 'tau1', (2, 896): 'tau3', (2, 897): 'tau3', (1, 824): 't3', (1, 829): 't3', (1, 830): 'tau1', (1, 289): 't3', (1, 284): 't3', (1, 789): 't3^-1', (2, 450): 't3^-1', (2, 451): 't3^-1', (2, 826): 'tau2^-1', (2, 827): 'tau2^-1', (1, 953): 'tau1', (1, 959): 't2^-1', (1, 940): 'tau1^-1', (1, 943): 'tau1^-1', (1, 930): 'tau1^-1', (1, 924): 't3'}