U-tiling: UQC5254

<36.1:480: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,51 3 54 7 9 18 20 81 13 84 17 19 121 23 124 27 29 48 50 181 33 184 37 39 68 70 191 43 194 47 49 53 57 59 98 100 281 63 284 67 69 261 73 264 77 79 118 120 83 87 89 138 140 171 93 174 97 99 211 103 214 107 109 168 170 351 113 354 117 119 123 127 129 208 210 241 133 244 137 139 301 143 304 147 149 238 240 331 153 334 157 159 258 260 321 163 324 167 169 173 177 179 248 250 183 187 189 298 300 193 197 199 318 320 271 203 274 207 209 213 217 219 308 310 411 223 414 227 229 348 350 401 233 404 237 239 243 247 249 421 253 424 257 259 263 267 269 378 380 273 277 279 388 390 283 287 289 398 400 361 293 364 297 299 303 307 309 381 313 384 317 319 323 327 329 408 410 333 337 339 418 420 461 343 464 347 349 353 357 359 438 440 363 367 369 448 450 451 373 454 377 379 383 387 389 441 393 444 397 399 403 407 409 413 417 419 423 427 429 468 470 471 433 474 437 439 443 447 449 453 457 459 478 480 463 467 469 473 477 479,21 22 5 6 27 28 59 60 31 32 15 16 37 38 89 90 25 26 129 130 35 36 189 190 71 72 45 46 77 78 199 200 101 102 55 56 107 108 111 112 65 66 117 118 289 290 75 76 269 270 141 142 85 86 147 148 151 152 95 96 157 158 179 180 105 106 219 220 115 116 359 360 211 212 125 126 217 218 221 222 135 136 227 228 249 250 145 146 309 310 155 156 339 340 261 262 165 166 267 268 329 330 271 272 175 176 277 278 301 302 185 186 307 308 321 322 195 196 327 328 331 332 205 206 337 338 279 280 215 216 225 226 419 420 351 352 235 236 357 358 409 410 361 362 245 246 367 368 371 372 255 256 377 378 429 430 265 266 275 276 401 402 285 286 407 408 411 412 295 296 417 418 369 370 305 306 421 422 315 316 427 428 389 390 325 326 335 336 431 432 345 346 437 438 469 470 355 356 365 366 375 376 459 460 451 452 385 386 457 458 461 462 395 396 467 468 449 450 405 406 415 416 425 426 435 436 479 480 471 472 445 446 477 478 455 456 465 466 475 476:4 6 4 4 6 4 6 4 6 4 4 6 6 4 4 6 4 6 4 4 6 4 6 4 6 6 6 4 6 4 6 4 4 6 6 6 4 4 6 6 4 6 6 4 4 6 4 6,3 4 3 4 4 3 4 3 3 4 3 4 3 4 3 4 4 3 4 3 3 4 4 4 3 4 3 3 4 3 4 4 3 4 3 3 3 4 4 3 4 4 4 4 4 4 3 3 4 3 4 3 4 3 4 4 3 4 3 3 4 3 3 4 4 3 3 4> {(2, 188): 't1', (2, 189): 't1', (2, 190): 't3', (2, 191): 't3', (2, 440): 't2', (2, 441): 't2', (1, 113): 'tau2^-1', (2, 437): 't1*tau3', (2, 438): 'tau2*t3*tau1^-1', (2, 439): 'tau2*t3*tau1^-1', (2, 176): 't2', (2, 177): 't2', (2, 436): 't1*tau3', (1, 340): 't2^-1', (1, 360): 'tau3', (2, 430): 't1*tau3', (2, 447): 't2', (1, 343): 't2^-1', (2, 170): 't2', (2, 171): 't2', (2, 420): 'tau1^-1', (2, 421): 'tau1^-1', (1, 470): 'tau1*t3^-1*tau2^-1', (1, 473): 'tau1*t3^-1*tau2^-1', (2, 396): 'tau2^-1*t3^-1*tau1', (2, 158): 't2', (2, 159): 't2', (2, 397): 'tau2^-1*t3^-1*tau1', (2, 406): 'tau2', (2, 407): 'tau2', (2, 400): 'tau2', (2, 401): 'tau2', (2, 146): 't1', (2, 147): 't1', (1, 73): 't3', (2, 141): 't1', (2, 426): 'tau1^-1', (1, 330): 't2^-1', (2, 136): 'tau3', (2, 137): 'tau3', (2, 298): 'tau3^-1', (1, 110): 'tau2^-1', (2, 390): 'tau2^-1*t3^-1*tau1', (2, 391): 'tau2^-1*t3^-1*tau1', (2, 130): 'tau3', (2, 131): 'tau3', (1, 440): 'tau3*t1', (1, 443): 'tau3*t1', (1, 370): 'tau1^-1', (1, 373): 'tau1^-1', (2, 118): 'tau2^-1', (2, 119): 'tau2^-1', (2, 399): 't1^-1*tau3^-1', (2, 427): 'tau1^-1', (2, 431): 't1*tau3', (2, 299): 'tau3^-1', (1, 70): 't3', (1, 33): 't1^-1', (2, 446): 't2', (1, 153): 't2', (1, 30): 't1^-1', (2, 468): 't2', (2, 469): 't2', (2, 80): 't1^-1', (1, 363): 'tau3', (2, 78): 't3', (2, 79): 't3', (2, 458): 'tau1', (2, 459): 'tau1', (2, 196): 't3', (2, 197): 't3', (2, 398): 't1^-1*tau3^-1'}