U-tiling: UQC4709

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