U-tiling: UQC5810

<4.1:448: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,3 6 5 9 14 11 13 17 20 19 23 28 25 27 31 34 33 37 42 39 41 45 48 47 51 56 53 55 59 62 61 65 70 67 69 73 76 75 79 84 81 83 87 90 89 93 98 95 97 101 104 103 107 112 109 111 115 118 117 121 126 123 125 129 132 131 135 140 137 139 143 146 145 149 154 151 153 157 160 159 163 168 165 167 171 174 173 177 182 179 181 185 188 187 191 196 193 195 199 202 201 205 210 207 209 213 216 215 219 224 221 223 227 230 229 233 238 235 237 241 244 243 247 252 249 251 255 258 257 261 266 263 265 269 272 271 275 280 277 279 283 286 285 289 294 291 293 297 300 299 303 308 305 307 311 314 313 317 322 319 321 325 328 327 331 336 333 335 339 342 341 345 350 347 349 353 356 355 359 364 361 363 367 370 369 373 378 375 377 381 384 383 387 392 389 391 395 398 397 401 406 403 405 409 412 411 415 420 417 419 423 426 425 429 434 431 433 437 440 439 443 448 445 447,15 16 31 32 7 8 65 66 165 166 27 28 45 46 21 22 79 80 193 194 43 44 35 36 93 94 207 208 55 56 49 50 121 122 249 250 99 100 87 88 63 64 221 222 111 112 127 128 115 116 77 78 263 264 139 140 141 142 91 92 291 292 153 154 143 144 105 106 331 332 277 278 169 170 119 120 347 348 181 182 171 172 133 134 387 388 235 236 147 148 415 416 361 362 183 184 199 200 161 162 233 234 195 196 175 176 443 444 305 306 241 242 189 190 275 276 239 240 203 204 303 304 251 252 267 268 283 284 217 218 317 318 279 280 253 254 297 298 231 232 265 266 245 246 359 360 339 340 259 260 373 374 353 354 273 274 351 352 287 288 401 402 363 364 337 338 301 302 349 350 365 366 395 396 315 316 389 390 377 378 379 380 409 410 329 330 375 376 391 392 343 344 429 430 357 358 423 424 371 372 437 438 385 386 421 422 399 400 445 446 433 434 435 436 413 414 431 432 447 448 427 428 441 442:3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4 3 4,4 4 8 8 4 8 8 4 8 4 8 4 4 4 4 4 4 4 4 8 4 4 8 4 4 8 8 4 4 4 8 4 4 8 4 4 4 4 4 4 4 4 4 4> {(2, 444): 't2^-1*tau3*t1*tau2^-1', (2, 445): 't2^-1*tau3*t1*tau2^-1', (2, 446): 'tau1*t3^-1', (2, 447): 'tau1*t3^-1', (2, 56): 't3', (2, 57): 't3', (2, 308): 'tau1', (2, 394): 't3^-1', (2, 176): 't2', (2, 177): 't2', (2, 178): 'tau3', (2, 179): 'tau3', (2, 428): 't2', (2, 429): 't2', (2, 430): 't2*tau3^-1*t1^-1*tau2', (2, 127): 't2^-1', (2, 170): 't2', (2, 171): 't2', (2, 420): 'tau1^-1*t3', (2, 421): 'tau1^-1*t3', (2, 376): 'tau1^-1', (2, 377): 'tau1^-1', (2, 408): 't3', (2, 409): 't3', (2, 150): 'tau2^-1', (2, 151): 'tau2^-1', (2, 95): 'tau2^-1', (2, 309): 'tau1', (2, 142): 't3', (2, 143): 't3', (2, 138): 't2^-1', (2, 139): 't2^-1', (2, 390): 'tau1', (2, 391): 'tau1', (2, 252): 't2', (2, 253): 't2', (2, 254): 't2', (2, 255): 't2', (2, 248): 't1', (2, 249): 't1', (2, 122): 'tau3', (2, 123): 'tau3', (2, 432): 'tau1^-1*t3', (2, 395): 't3^-1', (2, 94): 'tau2^-1', (2, 433): 'tau1^-1*t3', (2, 236): 't2^-1', (2, 237): 't2^-1', (2, 110): 't3^-1', (2, 111): 't3^-1', (2, 434): 'tau1*t3^-1', (2, 126): 't2^-1', (2, 435): 'tau1*t3^-1', (2, 222): 't3', (2, 223): 't3', (2, 431): 't2*tau3^-1*t1^-1*tau2', (2, 212): 't3', (2, 213): 't3', (2, 210): 't3', (2, 211): 't3', (2, 206): 't1', (2, 207): 't1', (2, 379): 'tau1', (2, 378): 'tau1'}