U-tiling: UQC5015

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