U-tiling: UQC4307

<47.1:864:10 3 5 7 9 12 14 16 18 37 21 23 25 27 64 30 32 34 36 39 41 43 45 91 48 50 52 54 109 57 59 61 63 66 68 70 72 127 75 77 79 81 154 84 86 88 90 93 95 97 99 172 102 104 106 108 111 113 115 117 199 120 122 124 126 129 131 133 135 235 138 140 142 144 253 147 149 151 153 156 158 160 162 262 165 167 169 171 174 176 178 180 298 183 185 187 189 316 192 194 196 198 201 203 205 207 334 210 212 214 216 352 219 221 223 225 361 228 230 232 234 237 239 241 243 379 246 248 250 252 255 257 259 261 264 266 268 270 424 273 275 277 279 442 282 284 286 288 451 291 293 295 297 300 302 304 306 469 309 311 313 315 318 320 322 324 505 327 329 331 333 336 338 340 342 523 345 347 349 351 354 356 358 360 363 365 367 369 559 372 374 376 378 381 383 385 387 478 390 392 394 396 496 399 401 403 405 487 408 410 412 414 604 417 419 421 423 426 428 430 432 622 435 437 439 441 444 446 448 450 453 455 457 459 658 462 464 466 468 471 473 475 477 480 482 484 486 489 491 493 495 498 500 502 504 507 509 511 513 703 516 518 520 522 525 527 529 531 631 534 536 538 540 649 543 545 547 549 640 552 554 556 558 561 563 565 567 685 570 572 574 576 694 579 581 583 585 667 588 590 592 594 676 597 599 601 603 606 608 610 612 766 615 617 619 621 624 626 628 630 633 635 637 639 642 644 646 648 651 653 655 657 660 662 664 666 669 671 673 675 678 680 682 684 687 689 691 693 696 698 700 702 705 707 709 711 793 714 716 718 720 802 723 725 727 729 775 732 734 736 738 784 741 743 745 747 811 750 752 754 756 820 759 761 763 765 768 770 772 774 777 779 781 783 786 788 790 792 795 797 799 801 804 806 808 810 813 815 817 819 822 824 826 828 847 831 833 835 837 856 840 842 844 846 849 851 853 855 858 860 862 864,2 12 6 8 34 36 11 15 17 52 54 20 39 24 26 61 63 29 66 33 35 38 42 44 88 90 47 93 51 53 56 111 60 62 65 69 71 142 144 74 129 78 80 151 153 83 156 87 89 92 96 98 187 189 101 174 105 107 196 198 110 114 116 214 216 119 201 123 125 223 225 128 132 134 232 234 137 237 141 143 146 255 150 152 155 159 161 277 279 164 264 168 170 286 288 173 177 179 295 297 182 300 186 188 191 318 195 197 200 204 206 331 333 209 336 213 215 218 354 222 224 227 363 231 233 236 240 242 394 396 245 381 249 251 403 405 254 258 260 412 414 263 267 269 421 423 272 426 276 278 281 444 285 287 290 453 294 296 299 303 305 484 486 308 471 312 314 493 495 317 321 323 502 504 326 507 330 332 335 339 341 538 540 344 525 348 350 547 549 353 357 359 556 558 362 366 368 574 576 371 561 375 377 583 585 380 384 386 592 594 389 480 393 395 398 498 402 404 407 489 411 413 416 606 420 422 425 429 431 637 639 434 624 438 440 646 648 443 447 449 655 657 452 456 458 673 675 461 660 465 467 682 684 470 474 476 691 693 479 483 485 488 492 494 497 501 503 506 510 512 718 720 515 705 519 521 727 729 524 528 530 736 738 533 633 537 539 542 651 546 548 551 642 555 557 560 564 566 754 756 569 687 573 575 578 696 582 584 587 669 591 593 596 678 600 602 763 765 605 609 611 781 783 614 768 618 620 790 792 623 627 629 799 801 632 636 638 641 645 647 650 654 656 659 663 665 817 819 668 672 674 677 681 683 686 690 692 695 699 701 826 828 704 708 710 835 837 713 795 717 719 722 804 726 728 731 777 735 737 740 786 744 746 844 846 749 813 753 755 758 822 762 764 767 771 773 853 855 776 780 782 785 789 791 794 798 800 803 807 809 862 864 812 816 818 821 825 827 830 849 834 836 839 858 843 845 848 852 854 857 861 863,19 4 5 24 25 17 18 37 13 14 42 43 22 23 44 45 73 31 32 78 79 71 72 40 41 100 49 50 105 106 98 99 118 58 59 123 124 116 117 127 67 68 132 133 76 77 134 135 163 85 86 168 169 161 162 172 94 95 177 178 103 104 179 180 199 112 113 204 205 121 122 206 207 130 131 244 139 140 249 250 242 243 217 148 149 222 223 260 261 262 157 158 267 268 166 167 269 270 175 176 307 184 185 312 313 305 306 280 193 194 285 286 323 324 202 203 343 211 212 348 349 341 342 220 221 359 360 370 229 230 375 376 368 369 379 238 239 384 385 247 248 386 387 352 256 257 357 358 265 266 433 274 275 438 439 431 432 283 284 449 450 460 292 293 465 466 458 459 469 301 302 474 475 310 311 476 477 442 319 320 447 448 514 328 329 519 520 512 513 523 337 338 528 529 346 347 530 531 355 356 559 364 365 564 565 373 374 566 567 382 383 532 391 392 537 538 485 486 577 400 401 582 583 503 504 595 409 410 600 601 494 495 613 418 419 618 619 611 612 622 427 428 627 628 436 437 629 630 445 446 658 454 455 663 664 463 464 665 666 472 473 631 481 482 636 637 676 490 491 681 682 694 499 500 699 700 703 508 509 708 709 517 518 710 711 526 527 535 536 638 639 721 544 545 726 727 656 657 739 553 554 744 745 647 648 562 563 712 571 572 717 718 692 693 580 581 701 702 730 589 590 735 736 674 675 598 599 683 684 766 607 608 771 772 616 617 773 774 625 626 634 635 784 643 644 789 790 802 652 653 807 808 661 662 775 670 671 780 781 679 680 793 688 689 798 799 697 698 706 707 715 716 800 801 724 725 809 810 733 734 782 783 742 743 791 792 829 751 752 834 835 818 819 838 760 761 843 844 827 828 769 770 778 779 787 788 796 797 805 806 847 814 815 852 853 856 823 824 861 862 832 833 854 855 841 842 863 864 850 851 859 860:3 6 6 3 6 3 6 3 3 6 3 6 3 6 3 6 6 3 6 6 3 3 6 3 6 6 3 3 6 3 3 3 6 3 6 6 6 3 3 3 6 3 6 6 3 6 3 6 6 6 3 6 6 3 3 3 3 6 3 6 6 6 3 6 6 6 3 6 6 3 3 3 6 3 3 3 3 6 6 3 6 6 6 6 6 3 3 3 3 6 3 3 6 6 3 3,4 3 4 6 4 4 3 6 4 3 4 3 4 3 4 4 3 6 4 3 4 4 3 6 4 4 3 6 4 3 4 3 4 4 3 6 4 3 4 3 4 3 3 4 3 4 4 3 4 4 4 3 3 4 3 4 4 3 4 4 4 3 4 3 4 4 3 6 4 3 4 3 4 3 4 3 4 3 4 4 3 4 4 4 4 3 6 3 4 3 4 3 4 3 3 4 3 3 4 3 4 4 4 4 3 3 3 3 4 3 4 3 4 4 3 3> {(2, 854): 'tau1^-1', (0, 702): 'tau2', (1, 767): 'tau3^-1', (0, 819): 'tau1', (1, 114): 't1^-1', (1, 116): 't1^-1', (1, 758): 'tau1^-1', (2, 610): 'tau3^-1', (1, 161): 't1^-1', (1, 618): 't1^-1', (1, 749): 'tau1', (1, 620): 't1^-1', (1, 740): 'tau2^-1', (0, 549): 'tau2^-1', (1, 857): 'tau1', (1, 605): 'tau3^-1', (0, 828): 'tau1', (0, 540): 'tau3^-1', (1, 848): 'tau1^-1', (1, 722): 'tau3^-1', (2, 656): 'tau3', (1, 852): 't2', (1, 854): 't2', (1, 843): 't3^-1', (2, 655): 'tau3', (0, 612): 'tau3', (1, 321): 't2', (1, 704): 'tau2', (2, 646): 'tau2', (2, 647): 'tau2', (2, 512): 'tau2', (1, 708): 't3^-1', (1, 710): 't3^-1', (2, 764): 'tau1^-1', (2, 511): 'tau2', (1, 573): 't3^-1', (1, 575): 't3^-1', (2, 763): 'tau1^-1', (2, 862): 'tau1', (2, 754): 'tau1', (2, 755): 'tau1', (2, 620): 'tau3', (0, 747): 'tau1', (2, 745): 'tau2^-1', (2, 746): 'tau2^-1', (2, 619): 'tau3', (0, 738): 'tau2^-1', (1, 672): 't2^-1', (1, 674): 't2^-1', (1, 323): 't2', (1, 551): 'tau2^-1', (2, 611): 'tau3^-1', (0, 603): 'tau3^-1', (1, 411): 't3^-1', (2, 863): 'tau1', (2, 728): 'tau3^-1', (1, 863): 't2^-1', (1, 159): 't1^-1', (1, 542): 'tau3^-1', (2, 853): 'tau1^-1', (0, 720): 'tau3^-1', (2, 727): 'tau3^-1', (0, 855): 'tau1', (1, 521): 't1^-1', (1, 746): 't3', (0, 324): 'tau2^-1', (2, 709): 'tau2', (2, 710): 'tau2', (1, 326): 'tau2^-1', (1, 861): 't2^-1', (1, 260): 't3', (1, 519): 't1^-1'}