U-tiling: UQC3040

<69.1:672:57 58 5 6 63 64 79 80 39 40 27 28 85 86 19 20 91 92 107 108 53 54 113 114 33 34 119 120 135 136 55 56 197 198 47 48 203 204 219 220 61 62 149 150 179 180 167 168 141 142 75 76 147 148 137 138 195 196 89 90 233 234 263 264 251 252 225 226 103 104 231 232 221 222 279 280 117 118 289 290 319 320 307 308 281 282 131 132 287 288 335 336 145 146 361 362 349 350 239 240 159 160 245 246 303 304 375 376 267 268 173 174 273 274 359 360 377 378 253 254 187 188 259 260 611 612 333 334 201 202 387 388 417 418 405 406 379 380 215 216 385 386 433 434 229 230 459 460 447 448 243 244 401 402 473 474 257 258 457 458 475 476 271 272 639 640 431 432 285 286 501 502 489 490 393 394 299 300 399 400 515 516 421 422 313 314 427 428 499 500 517 518 407 408 327 328 413 414 653 654 463 464 341 342 469 470 485 486 529 530 631 632 355 356 637 638 531 532 435 436 369 370 441 442 513 514 383 384 557 558 545 546 397 398 571 572 411 412 555 556 573 574 425 426 667 668 439 440 541 542 585 586 603 604 453 454 609 610 587 588 467 468 569 570 561 562 481 482 567 568 599 600 659 660 495 496 665 666 601 602 533 534 509 510 539 540 575 576 523 524 581 582 597 598 537 538 627 628 645 646 551 552 651 652 629 630 565 566 579 580 625 626 617 618 593 594 623 624 607 608 655 656 643 644 621 622 635 636 669 670 649 650 671 672 663 664,15 3 18 7 14 9 11 13 17 21 28 23 25 27 43 31 46 35 42 37 39 41 45 49 56 51 53 55 155 59 158 63 70 65 67 69 183 73 186 77 84 79 81 83 239 87 242 91 98 93 95 97 267 101 270 105 112 107 109 111 295 115 298 119 126 121 123 125 323 129 326 133 140 135 137 139 337 143 340 147 154 149 151 153 157 161 168 163 165 167 365 171 368 175 182 177 179 181 185 189 196 191 193 195 393 199 396 203 210 205 207 209 421 213 424 217 224 219 221 223 435 227 438 231 238 233 235 237 241 245 252 247 249 251 463 255 466 259 266 261 263 265 269 273 280 275 277 279 477 283 480 287 294 289 291 293 297 301 308 303 305 307 505 311 508 315 322 317 319 321 325 329 336 331 333 335 339 343 350 345 347 349 519 353 522 357 364 359 361 363 367 371 378 373 375 377 533 381 536 385 392 387 389 391 395 399 406 401 403 405 561 409 564 413 420 415 417 419 423 427 434 429 431 433 437 441 448 443 445 447 575 451 578 455 462 457 459 461 465 469 476 471 473 475 479 483 490 485 487 489 589 493 592 497 504 499 501 503 507 511 518 513 515 517 521 525 532 527 529 531 535 539 546 541 543 545 617 549 620 553 560 555 557 559 563 567 574 569 571 573 577 581 588 583 585 587 591 595 602 597 599 601 631 605 634 609 616 611 613 615 619 623 630 625 627 629 633 637 644 639 641 643 659 647 662 651 658 653 655 657 661 665 672 667 669 671,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:3 4 3 4 4 4 4 4 4 3 4 3 4 4 4 3 4 4 3 4 3 4 3 4 4 3 4 3 4 3 4 4 3 4 3 3 4 4 4 4 4 3 4 4 4 4 3 4 4 3 4 3 3 4 4 3 4 3 4 4 4 3 4 4 4 4 4 4 3 4 3 4 4 3 4 3 4 4 3 4 3 4 3 4 4 4 4 3 4 3 4 3,4 5 5 4 5 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 5 4 5 5 4 5 4 5 4 5 5 4 5 5 4 5 5 4 5 5 5 4 5 5 4 5 5 4 5 5 5 4 5 5 5 4 5 5 5 5 4 5 5 5 5 4 5 5 5 4 5 5> {(1, 661): 'tau1*t3^-1', (0, 435): 't2', (0, 658): 't2^-1*tau3*t1', (0, 202): 't1', (0, 664): 't2^-1*tau3*t1', (0, 125): 't1^-1', (0, 498): 't1^-1', (0, 575): 'tau1^-1', (0, 616): 'tau1^-1*t3', (0, 601): 'tau2', (0, 642): 'tau1', (0, 430): 't2', (0, 188): 't3', (1, 112): 't1^-1', (1, 101): 't2', (0, 441): 't2', (0, 559): 't1*tau3*t2^-1', (0, 152): 't3', (0, 197): 't1', (1, 143): 't3', (0, 420): 'tau3', (0, 529): 't3', (0, 558): 't1*tau3*t2^-1', (0, 540): 't2^-1', (1, 115): 't1^-1', (0, 110): 't2', (0, 183): 't3', (0, 406): 'tau2', (0, 524): 'tau1', (0, 659): 't2^-1*tau3*t1', (0, 488): 'tau2', (0, 670): 'tau1*t3^-1', (0, 203): 't1', (0, 426): 'tau3', (0, 122): 't1^-1', (1, 280): 'tau2^-1', (0, 499): 't1^-1', (0, 617): 'tau1^-1*t3', (0, 643): 'tau1', (0, 204): 't1', (0, 431): 't2', (1, 605): 'tau1^-1', (0, 654): 't3', (0, 189): 't3', (0, 622): 'tau1^-1*t3', (0, 412): 'tau2', (1, 283): 'tau2^-1', (0, 545): 'tau3^-1', (1, 658): 'tau1*t3^-1', (0, 556): 't1', (0, 153): 't3', (0, 421): 'tau3', (0, 644): 'tau2^-1', (0, 541): 't2^-1', (0, 190): 't3', (0, 111): 't2', (1, 532): 'tau3^-1', (0, 666): 't2^-1', (0, 542): 't2^-1', (0, 407): 'tau2', (0, 525): 'tau1', (1, 98): 't2', (0, 489): 'tau2', (1, 535): 'tau3^-1', (0, 427): 'tau3', (0, 650): 'tau2^-1', (0, 526): 't3', (0, 123): 't1^-1', (0, 434): 't2', (0, 557): 't1', (0, 205): 't1', (0, 655): 't3', (0, 413): 'tau2', (1, 630): 'tau1', (0, 124): 't1^-1', (0, 574): 'tau1^-1', (1, 616): 't2*tau3^-1*t1^-1', (0, 600): 'tau2', (0, 645): 'tau2^-1', (1, 588): 'tau2', (0, 191): 't3', (0, 440): 't2', (1, 619): 't2*tau3^-1*t1^-1', (0, 667): 't2^-1', (0, 196): 't1', (0, 528): 't3', (0, 543): 't2^-1', (1, 591): 'tau2', (0, 657): 't3*tau1^-1', (0, 595): 't3^-1*tau1', (1, 140): 't3', (0, 544): 'tau3^-1', (0, 651): 'tau2^-1', (0, 182): 't3', (0, 527): 't3', (0, 497): 't1^-1*tau3^-1*t2', }