U-tiling: UQC6023

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