U-tiling: UQC4405

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