U-tiling: UQC5809

<4.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,29 30 73 74 7 8 65 66 25 26 41 42 43 44 101 102 21 22 93 94 55 56 129 130 35 36 121 122 53 54 213 214 49 50 205 206 169 170 143 144 63 64 165 166 181 182 127 128 77 78 149 150 193 194 139 140 253 254 227 228 91 92 249 250 265 266 211 212 105 106 233 234 277 278 223 224 309 310 283 284 119 120 305 306 321 322 133 134 289 290 333 334 351 352 147 148 347 348 363 364 365 366 297 298 161 162 247 248 377 378 353 354 175 176 275 276 375 376 323 324 605 606 189 190 261 262 335 336 407 408 381 382 203 204 403 404 419 420 217 218 387 388 431 432 449 450 231 232 445 446 461 462 463 464 395 396 245 246 475 476 451 452 259 260 473 474 421 422 633 634 273 274 433 434 491 492 287 288 487 488 503 504 505 506 301 302 401 402 517 518 493 494 315 316 429 430 515 516 647 648 329 330 415 416 519 520 479 480 343 344 471 472 531 532 357 358 639 640 529 530 507 508 371 372 443 444 547 548 385 386 543 544 559 560 561 562 399 400 573 574 549 550 413 414 571 572 661 662 427 428 575 576 535 536 441 442 587 588 455 456 611 612 585 586 563 564 469 470 589 590 483 484 569 570 601 602 497 498 667 668 599 600 511 512 541 542 591 592 525 526 583 584 617 618 539 540 629 630 553 554 653 654 627 628 567 568 619 620 581 582 595 596 625 626 645 646 609 610 641 642 657 658 623 624 659 660 637 638 671 672 651 652 669 670 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 6 4 4 4 8 8 6 8 4 4 4 4 6 4 4 4 4 4 6 4 4 4 4 6 4 4 4 4 8 8 4 4 8 4 4 4 6 4 4 4 4 4 4 4 4 4 8 8 4 4 8 6 8 4 4 4 4 4 4 6 8 4 4 4 4> {(2, 492): 't1^-1', (2, 190): 't3', (2, 191): 't3', (2, 184): 't3', (2, 185): 't3', (2, 442): 't2', (2, 443): 't2', (2, 432): 't2', (2, 433): 't2', (2, 556): 't1*tau3*t2^-1', (2, 557): 't1*tau3*t2^-1', (2, 558): 't1', (2, 559): 't1', (2, 535): 't2^-1', (2, 420): 't2', (2, 421): 't2', (2, 414): 'tau2', (2, 544): 't2^-1', (2, 545): 't2^-1', (2, 546): 't1', (2, 547): 't1', (2, 668): 'tau1*t3^-1', (2, 669): 'tau1*t3^-1', (2, 542): 'tau3^-1', (2, 543): 'tau3^-1', (2, 666): 't2^-1*tau3*t1', (2, 667): 't2^-1*tau3*t1', (2, 660): 't2^-1', (2, 661): 't2^-1', (2, 150): 't3', (2, 151): 't3', (2, 656): 't3', (2, 657): 't3', (2, 530): 't3', (2, 531): 't3', (2, 652): 'tau2^-1', (2, 653): 'tau2^-1', (2, 526): 'tau1', (2, 527): 'tau1', (2, 520): 't3', (2, 521): 't3', (2, 644): 't3', (2, 645): 't3', (2, 518): 't3', (2, 532): 't2^-1', (2, 640): 'tau1', (2, 641): 'tau1', (2, 124): 't1^-1', (2, 125): 't1^-1', (2, 122): 't1^-1', (2, 123): 't1^-1', (2, 112): 't1^-1', (2, 113): 't1^-1', (2, 108): 't2', (2, 109): 't2', (2, 415): 'tau2', (2, 486): 'tau2', (2, 487): 'tau2', (2, 428): 'tau3', (2, 519): 't3', (2, 429): 'tau3', (2, 596): 't3^-1*tau1', (2, 597): 't3^-1*tau1', (2, 598): 'tau2', (2, 599): 'tau2', (2, 204): 't1', (2, 205): 't1', (2, 533): 't2^-1', (2, 198): 't1', (2, 199): 't1', (2, 534): 't2^-1', (2, 493): 't1^-1'}