U-tiling: UQC6045

<10.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,3 8 5 7 11 16 13 15 19 24 21 23 27 32 29 31 35 40 37 39 43 48 45 47 51 56 53 55 59 64 61 63 67 72 69 71 75 80 77 79 83 88 85 87 91 96 93 95 99 104 101 103 107 112 109 111 115 120 117 119 123 128 125 127 131 136 133 135 139 144 141 143 147 152 149 151 155 160 157 159 163 168 165 167 171 176 173 175 179 184 181 183 187 192 189 191 195 200 197 199 203 208 205 207 211 216 213 215 219 224 221 223 227 232 229 231 235 240 237 239 243 248 245 247 251 256 253 255 259 264 261 263 267 272 269 271 275 280 277 279 283 288 285 287 291 296 293 295 299 304 301 303 307 312 309 311 315 320 317 319 323 328 325 327 331 336 333 335 339 344 341 343 347 352 349 351 355 360 357 359 363 368 365 367 371 376 373 375 379 384 381 383 387 392 389 391 395 400 397 399 403 408 405 407 411 416 413 415 419 424 421 423 427 432 429 431 435 440 437 439 443 448 445 447 451 456 453 455 459 464 461 463 467 472 469 471 475 480 477 479 483 488 485 487 491 496 493 495 499 504 501 503 507 512 509 511 515 520 517 519 523 528 525 527 531 536 533 535 539 544 541 543 547 552 549 551 555 560 557 559 563 568 565 567 571 576 573 575 579 584 581 583 587 592 589 591 595 600 597 599 603 608 605 607 611 616 613 615 619 624 621 623 627 632 629 631 635 640 637 639 643 648 645 647 651 656 653 655 659 664 661 663 667 672 669 671 675 680 677 679 683 688 685 687 691 696 693 695 699 704 701 703 707 712 709 711 715 720 717 719 723 728 725 727 731 736 733 735 739 744 741 743 747 752 749 751 755 760 757 759 763 768 765 767,17 18 35 36 85 86 9 10 91 92 77 78 31 32 51 52 117 118 25 26 123 124 109 110 49 50 149 150 41 42 155 156 141 142 63 64 245 246 57 58 251 252 237 238 177 178 195 196 165 166 73 74 171 172 191 192 209 210 147 148 89 90 173 174 223 224 273 274 291 292 261 262 105 106 267 268 287 288 305 306 243 244 121 122 269 270 319 320 337 338 355 356 325 326 137 138 331 332 351 352 369 370 153 154 333 334 383 384 385 386 403 404 169 170 399 400 419 420 341 342 185 186 347 348 285 286 417 418 405 406 201 202 411 412 317 318 431 432 371 372 693 694 217 218 699 700 301 302 449 450 467 468 437 438 233 234 443 444 463 464 481 482 249 250 445 446 495 496 497 498 515 516 265 266 511 512 531 532 453 454 281 282 459 460 529 530 517 518 297 298 523 524 543 544 483 484 725 726 313 314 731 732 545 546 563 564 329 330 559 560 579 580 345 346 461 462 577 578 565 566 361 362 571 572 493 494 591 592 741 742 377 378 747 748 477 478 595 596 549 550 393 394 555 556 541 542 593 594 409 410 733 734 607 608 581 582 425 426 587 588 509 510 609 610 627 628 441 442 623 624 643 644 457 458 641 642 629 630 473 474 635 636 655 656 757 758 489 490 763 764 659 660 613 614 505 506 619 620 657 658 521 522 701 702 671 672 645 646 537 538 651 652 675 676 553 554 653 654 673 674 569 570 765 766 687 688 585 586 621 622 677 678 601 602 683 684 669 670 707 708 617 618 705 706 633 634 749 750 719 720 649 650 709 710 665 666 715 716 681 682 717 718 721 722 739 740 697 698 735 736 713 714 755 756 729 730 753 754 745 746 767 768 761 762: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,4 4 4 4 4 6 4 4 4 4 4 4 6 4 4 4 4 4 4 4 4 6 4 4 4 4 4 4 6 4 4 4 4 4 6 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 6 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 6 4 4 4 4 4 4 4 4 4 4 4 4 6 4 4 4 4 4 4 4> {(2, 702): 'tau1^-1', (2, 703): 'tau1^-1', (2, 698): 't3^-1', (2, 699): 't3^-1', (2, 692): 't3^-1', (2, 693): 't3^-1', (2, 688): 'tau1^-1', (2, 689): 'tau1^-1', (2, 690): 't3^-1', (2, 691): 't3^-1', (2, 684): 't3^-1*tau1', (2, 685): 't3^-1*tau1', (2, 174): 't3', (2, 175): 't3', (2, 682): 't3^-1', (2, 683): 't3^-1', (2, 676): 't3^-1', (2, 677): 't3^-1', (2, 160): 't3', (2, 161): 't3', (2, 668): 'tau1^-1', (2, 669): 'tau1^-1', (2, 142): 't1^-1', (2, 143): 't1^-1', (2, 128): 't1^-1', (2, 129): 't1^-1', (2, 130): 't1^-1', (2, 131): 't1^-1', (2, 764): 't2^-1*tau3*t1', (2, 766): 'tau1*t3^-1', (2, 767): 'tau1*t3^-1', (2, 762): 't2^-1', (2, 763): 't2^-1', (2, 756): 't2^-1', (2, 757): 't2^-1', (2, 752): 'tau1*t3^-1', (2, 753): 'tau1*t3^-1', (2, 748): 'tau2^-1', (2, 237): 't1', (2, 234): 't1', (2, 235): 't1', (2, 228): 't1', (2, 229): 't1', (2, 220): 't3', (2, 221): 't3', (2, 686): 'tau2', (2, 718): 't2*tau3^-1*t1^-1', (2, 719): 't2*tau3^-1*t1^-1', (2, 704): 't2*tau3^-1*t1^-1', (2, 705): 't2*tau3^-1*t1^-1', (2, 706): 't2', (2, 707): 't2', (2, 60): 't1^-1', (2, 573): 't1^-1*tau3^-1*t2', (2, 575): 'tau2^-1', (2, 570): 't1^-1', (2, 571): 't1^-1', (2, 564): 't1^-1', (2, 565): 't1^-1', (2, 560): 'tau2^-1', (2, 558): 'tau2', (2, 559): 'tau2', (2, 544): 'tau2', (2, 545): 'tau2', (2, 673): 'tau2', (2, 637): 'tau2', (2, 126): 't2', (2, 127): 't2', (2, 112): 't2', (2, 113): 't2', (2, 626): 't1', (2, 627): 't1', (2, 622): 'tau3^-1', (2, 623): 'tau3^-1', (2, 618): 't2^-1', (2, 619): 't2^-1', (2, 612): 't2^-1', (2, 613): 't2^-1', (2, 608): 'tau3^-1', (2, 609): 'tau3^-1', (2, 594): 't3', (2, 595): 't3', (2, 428): 't2^-1', (2, 429): 't2^-1', (2, 492): 'tau3', (2, 493): 'tau3', (2, 482): 't2', (2, 483): 't2', (2, 476): 'tau2', (2, 477): 'tau2'}