U-tiling: UQC5409

<15.1:576: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,61 3 64 7 12 9 11 97 15 100 19 24 21 23 145 27 148 31 36 33 35 217 39 220 43 48 45 47 229 51 232 55 60 57 59 63 67 72 69 71 337 75 340 79 84 81 83 313 87 316 91 96 93 95 99 103 108 105 107 205 111 208 115 120 117 119 253 123 256 127 132 129 131 421 135 424 139 144 141 143 147 151 156 153 155 289 159 292 163 168 165 167 361 171 364 175 180 177 179 397 183 400 187 192 189 191 385 195 388 199 204 201 203 207 211 216 213 215 219 223 228 225 227 231 235 240 237 239 325 243 328 247 252 249 251 255 259 264 261 263 493 267 496 271 276 273 275 481 279 484 283 288 285 287 291 295 300 297 299 505 303 508 307 312 309 311 315 319 324 321 323 327 331 336 333 335 339 343 348 345 347 433 351 436 355 360 357 359 363 367 372 369 371 457 375 460 379 384 381 383 387 391 396 393 395 399 403 408 405 407 553 411 556 415 420 417 419 423 427 432 429 431 435 439 444 441 443 541 447 544 451 456 453 455 459 463 468 465 467 529 471 532 475 480 477 479 483 487 492 489 491 495 499 504 501 503 507 511 516 513 515 565 519 568 523 528 525 527 531 535 540 537 539 543 547 552 549 551 555 559 564 561 563 567 571 576 573 575,25 26 5 6 31 32 21 22 71 72 37 38 17 18 43 44 107 108 29 30 57 58 155 156 41 42 81 82 227 228 85 86 53 54 91 92 239 240 121 122 65 66 127 128 117 118 133 134 77 78 139 140 347 348 89 90 141 142 323 324 169 170 101 102 175 176 165 166 181 182 113 114 187 188 215 216 125 126 201 202 263 264 137 138 431 432 253 254 149 150 259 260 249 250 265 266 161 162 271 272 299 300 173 174 285 286 371 372 185 186 309 310 407 408 313 314 197 198 319 320 395 396 325 326 209 210 331 332 297 298 361 362 221 222 367 368 357 358 385 386 233 234 391 392 381 382 397 398 245 246 403 404 335 336 257 258 369 370 269 270 417 418 503 504 421 422 281 282 427 428 491 492 433 434 293 294 439 440 445 446 305 306 451 452 515 516 317 318 453 454 329 330 465 466 481 482 341 342 487 488 477 478 493 494 353 354 499 500 443 444 365 366 505 506 377 378 511 512 467 468 389 390 489 490 401 402 501 502 517 518 413 414 523 524 563 564 425 426 525 526 437 438 537 538 449 450 551 552 541 542 461 462 547 548 553 554 473 474 559 560 539 540 485 486 497 498 509 510 561 562 521 522 575 576 565 566 533 534 571 572 545 546 573 574 557 558 569 570:4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4,3 4 3 8 8 3 4 3 3 8 3 8 3 4 3 4 8 3 4 3 3 8 4 8 3 4 3 3 8 3 4 8 3 4 3 3 3 8 4 3 4 8 4 4 8 4 3 3 4 3 4 3 4 3 4 4 3 4 3 3 4 3 3 4 4 3 3 4> {(2, 190): 't2', (2, 191): 't2', (2, 570): 't2^-1', (2, 571): 't2^-1', (2, 564): 't2^-1', (2, 565): 't2^-1', (2, 574): 'tau1*t3^-1*tau2^-1', (2, 562): 't2', (2, 563): 't2', (2, 174): 't1', (2, 175): 't1', (2, 168): 't1', (2, 169): 't1', (2, 475): 'tau2^-1*t3^-1*tau1', (2, 550): 'tau1', (2, 551): 'tau1', (2, 162): 'tau3', (2, 163): 'tau3', (2, 156): 'tau3', (2, 157): 'tau3', (2, 442): 'tau3', (2, 538): 'tau3*t1', (2, 539): 'tau3*t1', (2, 443): 'tau3', (1, 84): 't3', (1, 87): 't3', (2, 481): 'tau2', (2, 142): 'tau2^-1', (2, 143): 'tau2^-1', (2, 226): 't1', (2, 522): 't1*tau3', (2, 523): 't1*tau3', (2, 516): 't1*tau3', (2, 517): 't1*tau3', (2, 510): 'tau1^-1', (2, 511): 'tau1^-1', (2, 504): 'tau1^-1', (2, 505): 'tau1^-1', (1, 432): 'tau3', (1, 564): 'tau1*t3^-1*tau2^-1', (1, 567): 'tau1*t3^-1*tau2^-1', (1, 180): 't2', (1, 552): 't2', (1, 555): 't2', (1, 183): 't2', (2, 234): 't3', (2, 235): 't3', (2, 228): 't3', (2, 229): 't3', (2, 486): 'tau2', (2, 487): 'tau2', (2, 480): 'tau2', (1, 36): 't1^-1', (1, 39): 't1^-1', (2, 227): 't1', (2, 94): 't3', (2, 95): 't3', (2, 575): 'tau1*t3^-1*tau2^-1', (1, 540): 'tau1', (1, 543): 'tau1', (2, 474): 'tau2^-1*t3^-1*tau1', (1, 528): 'tau3*t1', (1, 531): 'tau3*t1', (1, 351): 'tau3^-1', (2, 210): 't2', (2, 211): 't2', (2, 204): 't2', (2, 205): 't2', (2, 552): 'tau1^-1*t3*tau2', (1, 132): 'tau2^-1', (1, 135): 'tau2^-1', (2, 553): 'tau1^-1*t3*tau2'}