U-tiling: UQC4972

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