U-tiling: UQC4251

<83.1:432:10 3 13 14 7 9 12 16 18 28 21 31 32 25 27 30 34 36 100 39 103 104 43 45 118 48 121 122 52 54 154 57 157 158 61 63 172 66 175 176 70 72 190 75 193 194 79 81 208 84 211 212 88 90 217 93 220 221 97 99 102 106 108 235 111 238 239 115 117 120 124 126 253 129 256 257 133 135 271 138 274 275 142 144 280 147 283 284 151 153 156 160 162 298 165 301 302 169 171 174 178 180 307 183 310 311 187 189 192 196 198 325 201 328 329 205 207 210 214 216 219 223 225 334 228 337 338 232 234 237 241 243 343 246 346 347 250 252 255 259 261 361 264 364 365 268 270 273 277 279 282 286 288 370 291 373 374 295 297 300 304 306 309 313 315 379 318 382 383 322 324 327 331 333 336 340 342 345 349 351 397 354 400 401 358 360 363 367 369 372 376 378 381 385 387 406 390 409 410 394 396 399 403 405 408 412 414 424 417 427 428 421 423 426 430 432,2 4 6 8 18 11 13 15 17 20 22 24 26 36 29 31 33 35 38 40 42 44 108 47 49 51 53 126 56 58 60 62 162 65 67 69 71 180 74 76 78 80 198 83 85 87 89 216 92 94 96 98 225 101 103 105 107 110 112 114 116 243 119 121 123 125 128 130 132 134 261 137 139 141 143 279 146 148 150 152 288 155 157 159 161 164 166 168 170 306 173 175 177 179 182 184 186 188 315 191 193 195 197 200 202 204 206 333 209 211 213 215 218 220 222 224 227 229 231 233 342 236 238 240 242 245 247 249 251 351 254 256 258 260 263 265 267 269 369 272 274 276 278 281 283 285 287 290 292 294 296 378 299 301 303 305 308 310 312 314 317 319 321 323 387 326 328 330 332 335 337 339 341 344 346 348 350 353 355 357 359 405 362 364 366 368 371 373 375 377 380 382 384 386 389 391 393 395 414 398 400 402 404 407 409 411 413 416 418 420 422 432 425 427 429 431,19 47 48 5 51 52 44 45 28 65 66 14 69 70 62 63 83 84 23 87 88 80 81 137 138 32 141 142 134 135 109 92 93 41 96 97 82 50 98 99 163 146 147 59 150 151 136 68 152 153 199 182 183 77 186 187 86 188 189 226 95 235 191 192 104 195 196 161 162 227 228 113 231 232 179 180 208 389 390 122 393 394 170 171 262 245 246 131 249 250 140 251 252 289 149 298 254 255 158 258 259 290 291 167 294 295 271 407 408 176 411 412 316 185 325 194 260 261 317 318 203 321 322 278 279 416 417 212 420 421 269 270 334 308 309 221 312 313 305 306 230 413 414 326 327 239 330 331 287 288 352 248 361 257 353 354 266 357 358 425 426 275 429 430 370 344 345 284 348 349 293 395 396 362 363 302 366 367 379 311 368 369 320 431 432 329 350 351 380 381 338 384 385 377 378 397 347 356 422 423 365 398 399 374 402 403 383 404 405 415 392 401 424 410 419 428:4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5,4 4 4 3 4 4 4 4 4 3 4 4 4 4 3 4 4 3 4 4 3 4 4 4 4 4 4 4 4 4 4 3 4 4 4 4 4 4 4 4 4 4 4 4 3 4 4 4 4 4 4 4 3 4 4 4> {(0, 427): 'tau1*t3^-1', (0, 315): 'tau2^-1', (0, 184): 'tau2^-1', (0, 318): 'tau2^-1', (0, 63): 't2', (0, 189): 't1', (0, 183): 'tau2^-1', (0, 180): 'tau2^-1', (2, 428): 't2^-1', (2, 429): 't2^-1', (2, 430): 't2^-1*tau3*t1', (2, 431): 't2^-1*tau3*t1', (2, 424): 't2^-1', (2, 169): 't3^-1', (2, 170): 't3^-1', (2, 171): 't2^-1', (2, 421): 'tau2^-1', (2, 422): 'tau2^-1', (1, 98): 't3', (0, 423): 'tau1*t3^-1', (0, 247): 'tau3', (0, 319): 'tau2^-1', (1, 251): 'tau3', (2, 285): 't2', (2, 414): 't3', (2, 280): 't2', (1, 413): 'tau1', (0, 75): 't1^-1', (2, 404): 'tau1^-1*t3', (1, 80): 't1^-1', (2, 334): 't3', (2, 403): 'tau1^-1*t3', (2, 396): 't2', (1, 359): 't1*tau3*t2^-1', (2, 132): 't1', (2, 133): 't1', (2, 134): 't1', (2, 377): 'tau1^-1', (2, 128): 't1', (0, 391): 'tau1^-1', (1, 71): 't2', (2, 131): 't1', (2, 380): 't3^-1', (2, 284): 't2', (2, 383): 't3^-1', (2, 376): 'tau1^-1', (1, 188): 'tau2^-1', (2, 122): 't3', (2, 123): 't3', (2, 244): 't1^-1', (0, 243): 'tau3', (2, 118): 't3', (2, 119): 't3', (0, 246): 'tau3', (2, 241): 't2^-1', (2, 242): 't2^-1', (2, 243): 't1^-1', (1, 431): 'tau1*t3^-1', (0, 354): 't1*tau3*t2^-1', (2, 216): 't3^-1', (1, 323): 'tau2^-1', (0, 405): 'tau1', (2, 281): 't2', (0, 90): 't3', (0, 426): 'tau1*t3^-1', (0, 94): 't3', (0, 351): 't1*tau3*t2^-1', (0, 93): 't3', (2, 384): 't3^-1', (2, 214): 'tau2^-1', (2, 215): 'tau2^-1', (0, 355): 't1*tau3*t2^-1', (2, 205): 'tau3^-1', (2, 206): 'tau3^-1', (0, 408): 'tau1', (2, 200): 't1', (0, 76): 't1^-1', (2, 203): 't1', (0, 66): 't2', (0, 67): 't2', (2, 198): 't1', (2, 199): 't1', (2, 321): 't1^-1', (2, 425): 't2^-1'}