U-tiling: UQC1418

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