U-tiling: UQC5100

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