U-tiling: UQC1387

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