U-tiling: UQC2994

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