U-tiling: UQC4227

<43.1:768: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,25 3 28 13 7 24 41 11 44 15 40 49 19 52 37 23 27 61 31 72 73 35 76 39 43 85 47 96 51 101 55 112 121 59 124 63 120 129 67 132 117 71 75 141 79 152 161 83 164 87 160 169 91 172 157 95 185 99 188 103 184 193 107 196 181 111 201 115 204 119 123 213 127 224 131 229 135 200 241 139 244 143 240 249 147 252 237 151 257 155 260 159 163 269 167 280 171 285 175 256 289 179 292 183 187 301 191 312 195 317 199 203 325 207 336 345 211 348 215 344 353 219 356 341 223 361 227 364 231 320 369 235 372 239 243 381 247 392 251 397 255 259 405 263 416 425 267 428 271 424 433 275 436 421 279 441 283 444 287 400 291 453 295 464 473 299 476 303 472 481 307 484 469 311 489 315 492 319 505 323 508 327 504 513 331 516 501 335 521 339 524 343 347 429 351 480 355 445 359 520 363 437 367 536 371 541 375 552 561 379 564 383 560 569 387 572 557 391 577 395 580 399 593 403 596 407 592 601 411 604 589 415 609 419 612 423 427 431 568 435 439 608 443 447 624 633 451 636 455 632 641 459 644 629 463 649 467 652 471 475 565 479 483 581 487 648 491 573 495 664 665 499 668 503 507 613 511 640 515 621 519 523 597 527 656 673 531 676 605 535 689 539 692 543 688 697 547 700 685 551 705 555 708 559 563 567 571 575 704 579 583 720 721 587 724 591 595 599 696 603 607 611 615 712 729 619 732 623 737 627 740 631 635 709 639 643 717 647 651 693 655 745 659 748 701 663 667 725 671 744 675 733 679 752 753 683 756 687 691 695 699 703 707 711 761 715 764 719 723 727 760 731 735 768 739 757 743 747 765 751 755 759 763 767,9 10 5 6 31 32 13 14 47 48 33 34 21 22 55 56 57 58 29 30 37 38 79 80 81 82 45 46 97 98 53 54 61 62 127 128 113 114 69 70 135 136 137 138 77 78 85 86 167 168 153 154 93 94 175 176 101 102 191 192 177 178 109 110 199 200 117 118 207 208 209 210 125 126 225 226 133 134 141 142 247 248 233 234 149 150 255 256 157 158 263 264 265 266 165 166 281 282 173 174 181 182 295 296 297 298 189 190 313 314 197 198 321 322 205 206 213 214 351 352 337 338 221 222 359 360 229 230 367 368 237 238 375 376 377 378 245 246 393 394 253 254 401 402 261 262 269 270 431 432 417 418 277 278 439 440 285 286 447 448 449 450 293 294 301 302 479 480 465 466 309 310 487 488 317 318 495 496 325 326 511 512 497 498 333 334 519 520 341 342 527 528 425 426 349 350 441 442 357 358 433 434 365 366 537 538 373 374 381 382 567 568 553 554 389 390 575 576 397 398 583 584 405 406 599 600 585 586 413 414 607 608 421 422 615 616 429 430 437 438 445 446 453 454 639 640 625 626 461 462 647 648 469 470 655 656 561 562 477 478 577 578 485 486 569 570 493 494 501 502 671 672 609 610 509 510 617 618 517 518 593 594 525 526 601 602 533 534 679 680 541 542 695 696 681 682 549 550 703 704 557 558 711 712 565 566 573 574 581 582 589 590 727 728 597 598 605 606 613 614 621 622 735 736 629 630 743 744 705 706 637 638 713 714 645 646 689 690 653 654 697 698 661 662 751 752 721 722 669 670 729 730 677 678 685 686 759 760 693 694 701 702 709 710 717 718 767 768 725 726 733 734 753 754 741 742 761 762 749 750 757 758 765 766:4 8 4 4 8 4 8 8 4 4 8 4 4 4 4 4 8 8 4 4 4 8 8 4 8 8 4 4 4 4 8 8 4 4 4 8 4 4 4 4 4 4 8 8 8 8 4 4 4 4 4 4 4 4 4 8 8 4 8 8 4 4 4 4 4 4 4 4 8 8 4 4,6 3 3 4 3 4 6 3 3 3 3 3 3 3 4 6 3 3 3 3 4 6 3 3 3 4 6 3 3 3 3 3 3 4 6 3 3 3 3 3 3 3 3 3 3 4 3 3 3 4 3 3 3 3 3 4 3 3 3 4 3 3 3 3 3 3 4 6 3 3 3 3 3 3 3 3 3 3 3 3 4 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 3> {(2, 568): 'tau2', (1, 760): 't2^-1', (2, 702): 't1', (2, 703): 't1', (2, 696): 'tau2', (2, 697): 'tau2', (1, 624): 't3^-1', (1, 627): 't3^-1', (2, 190): 't1', (1, 323): 't3', (1, 744): 't3^-1', (2, 686): 't2^-1', (2, 687): 't2^-1', (2, 680): 'tau3^-1', (2, 681): 'tau3^-1', (2, 446): 't2^-1', (1, 96): 't1^-1', (1, 99): 't1^-1', (1, 363): 't3^-1', (2, 672): 'tau1^-1', (1, 547): 't1^-1', (1, 764): 'tau1', (1, 756): 'tau1^-1', (2, 743): 't3', (2, 664): 'tau1', (2, 665): 'tau1', (1, 136): 't1^-1', (1, 592): 't2^-1', (2, 662): 't3', (2, 663): 't3', (1, 724): 'tau1^-1', (1, 580): 'tau3', (2, 142): 't1^-1', (2, 143): 't1^-1', (1, 716): 'tau3', (1, 752): 't2', (2, 569): 'tau2', (2, 646): 't1', (2, 647): 't1', (2, 640): 'tau3^-1', (2, 641): 'tau3^-1', (2, 766): 't2^-1', (2, 767): 't2^-1', (2, 760): 'tau1', (1, 572): 'tau2', (1, 755): 't2', (2, 449): 'tau2', (2, 624): 'tau2', (2, 510): 't3^-1', (2, 752): 'tau1^-1', (2, 753): 'tau1^-1', (2, 369): 'tau3', (1, 628): 'tau2', (2, 230): 't3', (2, 745): 'tau1^-1', (1, 763): 't2^-1', (1, 320): 't3', (1, 544): 't1^-1', (2, 742): 't3', (2, 231): 't3', (1, 700): 'tau2', (1, 292): 'tau2^-1', (1, 540): 'tau3^-1', (1, 280): 't2', (1, 283): 't2', (2, 729): 'tau1', (1, 360): 't3^-1', (2, 536): 'tau3^-1', (2, 448): 'tau2', (2, 598): 't2^-1', (2, 599): 't2^-1', (1, 747): 't3^-1', (2, 577): 'tau3', (1, 732): 'tau1', (1, 139): 't1^-1', (2, 625): 'tau2', (2, 103): 't1^-1', (2, 447): 't2^-1', (1, 640): 't1', (1, 643): 't1', (2, 511): 't3^-1', (2, 576): 'tau3', (1, 595): 't2^-1', (1, 684): 'tau3^-1'}