U-tiling: UQC5892

<70.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,57 3 5 62 9 14 11 13 71 17 19 76 23 28 25 27 85 31 33 90 37 42 39 41 113 45 47 118 51 56 53 55 59 61 65 70 67 69 73 75 79 84 81 83 87 89 93 98 95 97 323 101 103 328 107 112 109 111 115 117 121 126 123 125 379 129 131 384 135 140 137 139 407 143 145 412 149 154 151 153 225 157 159 230 163 168 165 167 435 171 173 440 177 182 179 181 267 185 187 272 191 196 193 195 295 199 201 300 205 210 207 209 309 213 215 314 219 224 221 223 227 229 233 238 235 237 351 241 243 356 247 252 249 251 365 255 257 370 261 266 263 265 269 271 275 280 277 279 393 283 285 398 289 294 291 293 297 299 303 308 305 307 311 313 317 322 319 321 325 327 331 336 333 335 421 339 341 426 345 350 347 349 353 355 359 364 361 363 367 369 373 378 375 377 381 383 387 392 389 391 395 397 401 406 403 405 409 411 415 420 417 419 423 425 429 434 431 433 437 439 443 448 445 447,155 156 17 18 7 8 23 24 39 40 69 70 183 184 21 22 53 54 83 84 197 198 45 46 35 36 51 52 97 98 239 240 49 50 125 126 211 212 101 102 63 64 107 108 95 96 253 254 129 130 77 78 135 136 123 124 281 282 143 144 91 92 149 150 267 268 105 106 151 152 335 336 337 338 171 172 119 120 177 178 225 226 133 134 179 180 391 392 351 352 147 148 419 420 185 186 161 162 191 192 207 208 237 238 295 296 175 176 447 448 189 190 249 250 279 280 241 242 203 204 247 248 307 308 269 270 217 218 275 276 291 292 321 322 255 256 231 232 261 262 305 306 245 246 363 364 259 260 347 348 377 378 273 274 361 362 353 354 287 288 359 360 405 406 339 340 301 302 345 346 379 380 367 368 315 316 373 374 403 404 365 366 381 382 329 330 387 388 417 418 343 344 433 434 357 358 371 372 431 432 385 386 445 446 435 436 423 424 399 400 429 430 421 422 437 438 413 414 443 444 427 428 441 442:6 4 6 4 6 4 6 4 4 4 4 6 4 4 6 4 6 4 6 4 6 4 6 4 6 4 6 4 4 6 4 6 4 4 6 4 4 4 4 6 4 4 4 4 4 4 4 4,4 4 4 3 4 4 4 3 4 4 4 4 3 4 3 4 4 4 4 4 4 4 4 3 4 4 4 3 4 3 4 3 4 4 3 3 4 4 3 4 3 4 4 4 4 3 3 4 4 3 4 4 4 4 4 4 3 4 4 4> {(2, 316): 'tau1', (2, 317): 'tau1', (2, 58): 't3', (2, 59): 't3', (2, 180): 't2', (2, 181): 't2', (2, 310): 'tau1', (2, 311): 'tau1', (2, 432): 't2', (2, 433): 't2', (2, 178): 't2', (2, 179): 't2', (2, 429): 'tau1^-1*t3', (2, 168): 'tau3', (2, 169): 'tau3', (2, 420): 't2*tau3^-1*t1^-1*tau2', (2, 421): 't2*tau3^-1*t1^-1*tau2', (2, 422): 'tau1^-1*t3', (2, 423): 'tau1^-1*t3', (2, 416): 't3', (2, 417): 't3', (2, 442): 'tau1*t3^-1', (1, 336): 't2^-1', (2, 150): 't3', (2, 151): 't3', (2, 400): 't3^-1*tau1', (2, 402): 't3^-1', (2, 403): 't3^-1', (2, 140): 'tau2^-1', (2, 141): 'tau2^-1', (2, 437): 'tau1*t3^-1', (2, 134): 't2^-1', (2, 135): 't2^-1', (2, 128): 't2^-1', (2, 129): 't2^-1', (2, 386): 'tau1', (2, 387): 'tau1', (2, 380): 'tau1', (2, 381): 'tau1', (2, 254): 't2', (2, 255): 't2', (2, 112): 'tau3', (2, 113): 'tau3', (1, 168): 't2', (2, 238): 't1', (2, 239): 't1', (2, 232): 't2^-1', (2, 233): 't2^-1', (2, 106): 't3^-1', (2, 107): 't3^-1', (2, 263): 't2', (2, 435): 't2^-1*tau3*t1*tau2^-1', (1, 341): 't2^-1', (2, 262): 't2', (2, 436): 'tau1*t3^-1', (2, 220): 't3', (2, 221): 't3', (2, 434): 't2^-1*tau3*t1*tau2^-1', (1, 173): 't2', (2, 218): 't3', (2, 219): 't3', (2, 212): 't3', (2, 213): 't3', (2, 443): 'tau1*t3^-1', (2, 84): 'tau2^-1', (2, 85): 'tau2^-1', (2, 196): 't1', (2, 197): 't1'}