U-tiling: UQC5454

<55.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,13 3 5 18 9 12 11 15 17 21 24 23 37 27 29 42 33 36 35 39 41 45 48 47 133 51 53 138 57 60 59 157 63 65 162 69 72 71 205 75 77 210 81 84 83 229 87 89 234 93 96 95 253 99 101 258 105 108 107 277 111 113 282 117 120 119 289 123 125 294 129 132 131 135 137 141 144 143 313 147 149 318 153 156 155 159 161 165 168 167 337 171 173 342 177 180 179 361 183 185 366 189 192 191 373 195 197 378 201 204 203 207 209 213 216 215 397 219 221 402 225 228 227 231 233 237 240 239 409 243 245 414 249 252 251 255 257 261 264 263 433 267 269 438 273 276 275 279 281 285 288 287 291 293 297 300 299 445 303 305 450 309 312 311 315 317 321 324 323 457 327 329 462 333 336 335 339 341 345 348 347 481 351 353 486 357 360 359 363 365 369 372 371 375 377 381 384 383 493 387 389 498 393 396 395 399 401 405 408 407 411 413 417 420 419 505 423 425 510 429 432 431 435 437 441 444 443 447 449 453 456 455 459 461 465 468 467 529 471 473 534 477 480 479 483 485 489 492 491 495 497 501 504 503 507 509 513 516 515 541 519 521 546 525 528 527 531 533 537 540 539 543 545 549 552 551 565 555 557 570 561 564 563 567 569 573 576 575,49 50 63 64 7 8 33 34 23 24 73 74 87 88 19 20 45 46 97 98 111 112 31 32 47 48 169 170 183 184 43 44 123 124 55 56 153 154 143 144 121 122 67 68 117 118 167 168 195 196 79 80 225 226 215 216 193 194 91 92 189 190 239 240 243 244 103 104 273 274 263 264 241 242 115 116 287 288 127 128 309 310 299 300 205 206 255 256 139 140 321 322 229 230 303 304 151 152 323 324 217 218 519 520 163 164 285 286 327 328 175 176 357 358 347 348 325 326 187 188 371 372 199 200 393 394 383 384 339 340 211 212 405 406 387 388 223 224 407 408 543 544 235 236 369 370 247 248 429 430 419 420 337 338 259 260 441 442 361 362 423 424 271 272 443 444 349 350 555 556 283 284 397 398 411 412 295 296 453 454 541 542 307 308 455 456 373 374 435 436 319 320 331 332 477 478 467 468 343 344 489 490 471 472 355 356 491 492 567 568 367 368 459 460 379 380 501 502 517 518 391 392 503 504 483 484 403 404 481 482 415 416 513 514 565 566 427 428 515 516 457 458 439 440 493 494 507 508 451 452 463 464 537 538 553 554 475 476 539 540 487 488 531 532 499 500 529 530 511 512 523 524 561 562 551 552 535 536 547 548 573 574 559 560 575 576 571 572:6 3 3 6 3 3 6 3 6 3 6 3 6 3 6 3 6 3 6 3 3 6 3 3 6 3 6 3 6 3 3 6 3 3 6 3 3 6 3 3 3 6 3 3 6 3 3 6 3 3 3 6 3 3 3 6 3 3 3 3 6 3 3 3 3 6 3 3 3 6 3 3,3 4 8 3 4 4 8 3 4 3 4 8 3 4 3 3 4 8 3 4 3 3 4 8 3 4 3 3 3 4 4 8 4 3 4 8 8 3 4 3 3 3 4 8 3 8 3 4 4 3 4 4 8 3 3 4 3 4 3 8 3 3 3 4 3 3 4 3> {(2, 444): 'tau1', (1, 120): 't3', (2, 574): 'tau1*t3^-1', (2, 575): 'tau1*t3^-1', (1, 125): 't3', (2, 313): 't2^-1', (2, 445): 'tau1', (2, 564): 't2^-1*tau3*t1', (1, 240): 'tau2^-1', (2, 566): 't2^-1', (2, 567): 't2^-1', (1, 245): 'tau2^-1', (2, 561): 't3', (1, 84): 't2', (2, 447): 't3', (2, 168): 't1', (2, 169): 't1', (2, 170): 't1', (2, 171): 't1', (1, 96): 't1^-1', (2, 550): 'tau1', (2, 551): 'tau1', (1, 101): 't1^-1', (2, 422): 't1^-1', (1, 89): 't2', (2, 157): 't3', (2, 158): 't3', (2, 159): 't3', (2, 536): 't2', (2, 537): 't2', (2, 538): 't2*tau3^-1*t1^-1', (2, 539): 't2*tau3^-1*t1^-1', (2, 276): 'tau2^-1', (2, 277): 'tau2^-1', (1, 509): 'tau2', (2, 528): 'tau1^-1*t3', (2, 273): 't1', (2, 529): 'tau1^-1*t3', (1, 329): 'tau3', (2, 524): 't3^-1', (2, 264): 'tau3^-1', (2, 265): 'tau3^-1', (2, 312): 't2^-1', (1, 504): 'tau2', (1, 324): 'tau3', (2, 130): 't3', (2, 131): 't3', (1, 569): 'tau1*t3^-1', (2, 250): 'tau2^-1', (2, 251): 'tau2^-1', (2, 423): 't1^-1', (1, 564): 'tau1*t3^-1', (2, 453): 't3', (2, 236): 't2^-1', (2, 237): 't2^-1', (2, 238): 't2^-1', (2, 239): 't2^-1', (2, 104): 't1^-1', (2, 421): 't1^-1*tau3^-1*t2', (2, 106): 't1^-1', (2, 107): 't1^-1', (1, 545): 'tau1', (2, 446): 't3', (2, 476): 't1', (2, 477): 't1', (2, 216): 't3^-1', (1, 540): 'tau1', (1, 528): 't2*tau3^-1*t1^-1', (1, 533): 't2*tau3^-1*t1^-1', (2, 466): 'tau3^-1', (2, 467): 'tau3^-1', (2, 514): 'tau2', (2, 458): 't2^-1', (2, 459): 't2^-1', (2, 452): 't3', (2, 552): 'tau2^-1', (2, 515): 'tau2', (2, 553): 'tau2^-1'}