U-tiling: UQC5817

<5.2: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 157 158 7 8 65 66 39 40 27 28 185 186 21 22 79 80 53 54 43 44 199 200 35 36 93 94 55 56 241 242 49 50 121 122 99 100 213 214 63 64 95 96 111 112 127 128 255 256 77 78 123 124 139 140 141 142 283 284 91 92 153 154 269 270 105 106 331 332 151 152 169 170 339 340 119 120 181 182 227 228 133 134 387 388 179 180 353 354 147 148 415 416 183 184 161 162 233 234 207 208 195 196 297 298 175 176 443 444 189 190 275 276 249 250 239 240 203 204 303 304 251 252 267 268 217 218 317 318 291 292 279 280 253 254 231 232 305 306 265 266 245 246 359 360 259 260 373 374 347 348 273 274 361 362 351 352 287 288 401 402 363 364 337 338 301 302 349 350 365 366 381 382 315 316 403 404 377 378 379 380 367 368 329 330 417 418 391 392 343 344 429 430 357 358 371 372 431 432 385 386 445 446 421 422 437 438 399 400 433 434 435 436 423 424 413 414 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 16 4 4 16 4 4 4 16 16 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, 446): 'tau1*t3^-1', (2, 447): 'tau1*t3^-1', (2, 56): 't3', (2, 57): 't3', (2, 436): 't2^-1*tau3*t1*tau2^-1', (2, 437): 't2^-1*tau3*t1*tau2^-1', (2, 176): 't2', (2, 177): 't2', (2, 178): 't2', (2, 179): 't2', (2, 428): 't2', (2, 429): 't2', (2, 170): 'tau3', (2, 171): 'tau3', (2, 420): 'tau1^-1*t3', (2, 421): 'tau1^-1*t3', (2, 422): 't2*tau3^-1*t1^-1*tau2', (2, 423): 't2*tau3^-1*t1^-1*tau2', (2, 416): 't3', (2, 417): 't3', (2, 433): 'tau1^-1*t3', (2, 150): 't3', (2, 151): 't3', (2, 402): 't3^-1', (2, 403): 't3^-1', (2, 309): 'tau1', (2, 308): 'tau1', (2, 142): 'tau2^-1', (2, 143): 'tau2^-1', (2, 138): 't2^-1', (2, 139): 't2^-1', (2, 390): 'tau1', (2, 391): 'tau1', (2, 252): 't2', (2, 253): 't2', (2, 126): 't2^-1', (2, 127): 't2^-1', (2, 376): 'tau1^-1', (2, 377): 'tau1^-1', (2, 378): 'tau1', (2, 379): 'tau1', (2, 432): 'tau1^-1*t3', (2, 240): 't1', (2, 241): 't1', (2, 114): 'tau3', (2, 115): 'tau3', (2, 236): 't2^-1', (2, 237): 't2^-1', (2, 110): 't3^-1', (2, 111): 't3^-1', (2, 434): 'tau1*t3^-1', (2, 263): 't2', (2, 435): 'tau1*t3^-1', (2, 262): 't2', (2, 220): 't3', (2, 221): 't3', (2, 222): 't3', (2, 223): 't3', (2, 86): 'tau2^-1', (2, 87): 'tau2^-1', (2, 210): 't3', (2, 211): 't3', (2, 198): 't1', (2, 199): 't1'}