U-tiling: UQC4267

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