U-tiling: UQC5416

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