U-tiling: UQC5466

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