U-tiling: UQC5412

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