U-tiling: UQC4692

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