U-tiling: UQC5415

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