U-tiling: UQC5133

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