U-tiling: UQC6047

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