U-tiling: UQC4722

<11.1:480: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 450 452 454 456 458 460 462 464 466 468 470 472 474 476 478 480,21 3 24 7 10 9 31 13 34 17 20 19 23 27 30 29 33 37 40 39 71 43 74 47 50 49 101 53 104 57 60 59 111 63 114 67 70 69 73 77 80 79 141 83 144 87 90 89 151 93 154 97 100 99 103 107 110 109 113 117 120 119 211 123 214 127 130 129 221 133 224 137 140 139 143 147 150 149 153 157 160 159 261 163 264 167 170 169 271 173 274 177 180 179 301 183 304 187 190 189 321 193 324 197 200 199 331 203 334 207 210 209 213 217 220 219 223 227 230 229 351 233 354 237 240 239 361 243 364 247 250 249 371 253 374 257 260 259 263 267 270 269 273 277 280 279 401 283 404 287 290 289 411 293 414 297 300 299 303 307 310 309 421 313 424 317 320 319 323 327 330 329 333 337 340 339 431 343 434 347 350 349 353 357 360 359 363 367 370 369 373 377 380 379 451 383 454 387 390 389 461 393 464 397 400 399 403 407 410 409 413 417 420 419 423 427 430 429 433 437 440 439 471 443 474 447 450 449 453 457 460 459 463 467 470 469 473 477 480 479,11 12 5 6 57 58 29 30 15 16 87 88 39 40 41 42 25 26 127 128 61 62 35 36 187 188 45 46 197 198 79 80 91 92 55 56 109 110 65 66 287 288 119 120 111 112 75 76 267 268 131 132 85 86 149 150 95 96 177 178 159 160 161 162 105 106 217 218 115 116 357 358 201 202 125 126 219 220 135 136 247 248 229 230 231 232 145 146 307 308 251 252 155 156 337 338 165 166 327 328 269 270 241 242 175 176 279 280 291 292 185 186 309 310 311 312 195 196 329 330 205 206 277 278 339 340 301 302 215 216 341 342 225 226 417 418 235 236 407 408 359 360 245 246 369 370 255 256 427 428 379 380 371 372 265 266 381 382 275 276 391 392 285 286 409 410 295 296 367 368 419 420 305 306 315 316 387 388 429 430 401 402 325 326 411 412 335 336 345 346 467 468 439 440 431 432 355 356 441 442 365 366 375 376 457 458 385 386 459 460 395 396 447 448 469 470 405 406 415 416 461 462 425 426 435 436 477 478 445 446 479 480 471 472 455 456 465 466 475 476:4 3 4 3 3 3 4 3 4 3 4 3 3 4 3 4 3 3 3 4 3 4 3 3 3 4 3 4 3 4 3 4 3 4 3 3 3 4 3 4 3 4 3 3 3 4 3 4 3 3 4 3 3 3 4 3 3 3 3 4 3 4 3 3 3 3 3 4 3 3 3 3,4 16 3 6 3 6 16 16 3 6 4 3 3 6 16 4 3 3 6 16 4 3 3 6 16 3 4 3 3 4 3 3 3 3 3 6 3 3 3 3 6 3 3 3> {(2, 446): 'tau3*t1', (2, 447): 'tau3*t1', (2, 186): 't1', (2, 187): 't1', (2, 436): 'tau2*t3*tau1^-1', (2, 437): 'tau2*t3*tau1^-1', (2, 438): 't1*tau3', (2, 439): 't1*tau3', (2, 178): 't2', (2, 179): 't2', (2, 428): 'tau1^-1', (2, 429): 'tau1^-1', (2, 296): 'tau3^-1', (2, 297): 'tau3^-1', (2, 156): 't2', (2, 157): 't2', (2, 408): 'tau2', (1, 220): 'tau3^-1', (1, 223): 'tau3^-1', (2, 148): 't1', (1, 80): 't1^-1', (1, 83): 't1^-1', (1, 340): 'tau3^-1*t1^-1', (1, 343): 'tau3^-1*t1^-1', (1, 470): 't2^-1', (2, 398): 'tau2^-1*t3^-1*tau1', (2, 399): 'tau2^-1*t3^-1*tau1', (1, 460): 'tau1^-1*t3*tau2', (2, 266): 't3^-1', (2, 139): 'tau3', (1, 193): 't3', (1, 313): 'tau1', (1, 473): 't2^-1', (2, 138): 'tau3', (1, 190): 't3', (2, 116): 'tau2^-1', (2, 117): 'tau2^-1', (1, 283): 'tau2^-1', (1, 310): 'tau1', (1, 170): 't2', (2, 409): 'tau2', (1, 280): 'tau2^-1', (2, 478): 't2^-1', (2, 479): 't2^-1', (2, 89): 't1^-1', (1, 463): 'tau1^-1*t3*tau2', (1, 273): 't2^-1', (2, 466): 't2', (2, 467): 't2', (2, 77): 't3', (2, 456): 'tau1', (2, 457): 'tau1', (2, 198): 't3', (2, 199): 't3'}