U-tiling: UQC4224

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