U-tiling: UQC5806

<3.1:672: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 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,15 16 31 32 7 8 79 80 67 68 27 28 45 46 21 22 107 108 95 96 43 44 35 36 135 136 123 124 55 56 49 50 219 220 207 208 155 156 171 172 63 64 149 150 167 168 183 184 129 130 77 78 151 152 195 196 239 240 255 256 91 92 233 234 251 252 267 268 213 214 105 106 235 236 279 280 295 296 311 312 119 120 289 290 307 308 323 324 133 134 291 292 335 336 337 338 353 354 147 148 349 350 367 368 161 162 303 304 249 250 365 366 175 176 359 360 277 278 377 378 325 326 189 190 611 612 263 264 393 394 409 410 203 204 387 388 405 406 421 422 217 218 389 390 433 434 435 436 451 452 231 232 447 448 465 466 245 246 401 402 463 464 259 260 457 458 475 476 423 424 273 274 639 640 477 478 493 494 287 288 489 490 507 508 301 302 403 404 505 506 315 316 499 500 431 432 517 518 329 330 653 654 417 418 521 522 343 344 485 486 473 474 519 520 357 358 641 642 531 532 371 372 513 514 445 446 533 534 549 550 385 386 545 546 563 564 399 400 561 562 413 414 555 556 573 574 427 428 667 668 577 578 441 442 541 542 575 576 455 456 613 614 587 588 469 470 569 570 591 592 483 484 571 572 589 590 497 498 669 670 601 602 511 512 543 544 525 526 597 598 585 586 619 620 539 540 617 618 553 554 655 656 629 630 567 568 581 582 625 626 595 596 627 628 631 632 647 648 609 610 643 644 623 624 661 662 637 638 659 660 651 652 671 672 665 666: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,4 4 8 4 6 8 4 4 4 6 4 4 4 8 4 4 6 4 4 8 4 4 6 4 4 8 4 6 4 4 8 4 4 4 8 4 4 4 8 4 6 4 4 8 4 8 4 4 4 4 4 8 4 4 6 4 4 4 4 8 4 4 6 4 4 4 4 4> {(2, 444): 't2', (2, 445): 't2', (2, 190): 't3', (2, 191): 't3', (2, 417): 'tau2', (2, 527): 't3', (2, 125): 't1^-1', (2, 589): 'tau2', (2, 558): 't1*tau3*t2^-1', (2, 559): 't1*tau3*t2^-1', (2, 548): 't1', (2, 549): 't1', (2, 422): 't2', (2, 423): 't2', (2, 544): 'tau3^-1', (2, 545): 'tau3^-1', (2, 546): 't1*tau3*t2^-1', (2, 547): 't1*tau3*t2^-1', (2, 668): 't2^-1*tau3*t1', (2, 669): 't2^-1*tau3*t1', (2, 670): 'tau1*t3^-1', (2, 671): 'tau1*t3^-1', (2, 152): 't3', (2, 153): 't3', (2, 666): 't2^-1', (2, 667): 't2^-1', (2, 532): 'tau3^-1', (2, 533): 'tau3^-1', (2, 534): 't2^-1', (2, 535): 't2^-1', (2, 528): 'tau1', (2, 529): 'tau1', (2, 658): 'tau1*t3^-1', (2, 659): 'tau1*t3^-1', (2, 140): 't3', (2, 141): 't3', (2, 654): 'tau2^-1', (2, 655): 'tau2^-1', (2, 520): 't3', (2, 521): 't3', (2, 646): 't3', (2, 647): 't3', (2, 642): 'tau1', (2, 643): 'tau1', (2, 124): 't1^-1', (2, 540): 't2^-1', (2, 541): 't2^-1', (2, 630): 'tau1', (2, 631): 'tau1', (2, 112): 't1^-1', (2, 113): 't1^-1', (2, 114): 't1^-1', (2, 115): 't1^-1', (2, 110): 't2', (2, 111): 't2', (2, 488): 'tau2', (2, 498): 't1^-1', (2, 431): 'tau3', (2, 499): 't1^-1', (2, 98): 't2', (2, 99): 't2', (2, 476): 'tau2', (2, 477): 'tau2', (2, 600): 'tau2', (2, 601): 'tau2', (2, 416): 'tau2', (2, 526): 't3', (2, 598): 't3^-1*tau1', (2, 599): 't3^-1*tau1', (2, 430): 'tau3', (2, 204): 't1', (2, 205): 't1', (2, 206): 't1', (2, 207): 't1', (2, 588): 'tau2', (2, 192): 't3', (2, 193): 't3', (2, 489): 'tau2'}