U-tiling: UQC6022

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