U-tiling: UQC1717

<18.1:480:3 4 15 16 47 48 59 60 13 14 67 68 79 80 23 24 35 36 87 88 99 100 33 34 147 148 159 160 43 44 115 116 109 110 53 54 135 136 107 108 63 64 175 176 169 170 73 74 195 196 167 168 83 84 215 216 209 210 93 94 235 236 207 208 103 104 245 246 113 114 177 178 219 220 123 124 265 266 197 198 259 260 133 134 187 188 439 440 143 144 285 286 279 280 153 154 305 306 277 278 163 164 315 316 173 174 289 290 183 184 335 336 329 330 193 194 459 460 203 204 345 346 213 214 287 288 223 224 365 366 307 308 359 360 233 234 297 298 469 470 243 244 337 338 349 350 253 254 375 376 457 458 263 264 317 318 369 370 273 274 385 386 283 284 293 294 405 406 399 400 303 304 479 480 313 314 389 390 323 324 415 416 437 438 333 334 409 410 343 344 407 408 353 354 425 426 477 478 363 364 387 388 373 374 417 418 429 430 383 384 393 394 445 446 467 468 403 404 413 414 449 450 423 424 447 448 433 434 455 456 443 444 453 454 463 464 475 476 473 474,11 22 5 10 7 9 32 15 20 17 19 31 25 30 27 29 35 40 37 39 111 122 45 50 47 49 131 92 55 60 57 59 171 182 65 70 67 69 191 152 75 80 77 79 211 222 85 90 87 89 231 95 100 97 99 241 252 105 110 107 109 262 115 120 117 119 261 125 130 127 129 232 135 140 137 139 281 292 145 150 147 149 301 155 160 157 159 311 322 165 170 167 169 332 175 180 177 179 331 185 190 187 189 302 195 200 197 199 341 352 205 210 207 209 362 215 220 217 219 361 225 230 227 229 235 240 237 239 372 245 250 247 249 371 255 260 257 259 265 270 267 269 381 392 275 280 277 279 402 285 290 287 289 401 295 300 297 299 305 310 307 309 412 315 320 317 319 411 325 330 327 329 335 340 337 339 422 345 350 347 349 421 355 360 357 359 365 370 367 369 375 380 377 379 442 385 390 387 389 441 395 400 397 399 405 410 407 409 415 420 417 419 425 430 427 429 451 462 435 440 437 439 445 450 447 449 472 455 460 457 459 471 465 470 467 469 475 480 477 479,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:3 6 6 4 6 4 3 6 4 4 3 6 3 6 3 6 3 6 3 6 3 6 3 6 4 3 4 6 4 3 6 3 6 3 6 3 6 3 3 4 4 6 4 3 6 4 3 3 6 3 3 6 4 3 3 3,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 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> {(0, 435): 'tau1^-1', (0, 146): 't1', (0, 479): 't2^-1', (0, 446): 'tau1^-1*t3', (0, 385): 'tau3^-1', (0, 429): 't3^-1', (0, 396): 'tau2', (0, 187): 't3^-1', (0, 228): 't1', (1, 241): 't3^-1', (0, 397): 'tau2', (0, 236): 'tau2^-1', (1, 381): 't2^-1', (1, 350): 'tau2^-1', (1, 191): 't2^-1', (0, 477): 't2^-1*tau3*t1', (0, 444): 't2*tau3^-1*t1^-1', (0, 138): 't3', (0, 214): 't1', (1, 70): 't2', (0, 226): 'tau3^-1', (1, 221): 't1', (1, 450): 'tau1', (0, 317): 't2', (0, 434): 'tau1^-1', (0, 149): 't1', (0, 478): 't2^-1', (0, 417): 'tau1^-1', (0, 384): 'tau3^-1', (0, 205): 'tau2^-1', (0, 428): 't3^-1', (0, 475): 'tau1*t3^-1', (0, 186): 't3^-1', (0, 425): 'tau2', (1, 461): 't3', (0, 245): 't3^-1', (1, 271): 't1^-1', (0, 195): 't2^-1', (0, 389): 't2^-1', (1, 440): 't2*tau3^-1*t1^-1', (0, 147): 't1', (0, 476): 't2^-1*tau3*t1', (0, 447): 'tau1^-1*t3', (1, 200): 'tau2^-1', (0, 229): 't1', (0, 316): 't2', (0, 148): 't1', (0, 416): 'tau1^-1', (0, 237): 'tau2^-1', (0, 204): 'tau2^-1', (1, 380): 'tau3^-1', (1, 470): 'tau1*t3^-1', (0, 474): 'tau1*t3^-1', (0, 445): 't2*tau3^-1*t1^-1', (0, 424): 'tau2', (1, 80): 't1^-1', (0, 139): 't3', (0, 244): 't3^-1', (1, 100): 't3', (0, 215): 't1', (0, 227): 'tau3^-1', (0, 194): 't2^-1', (0, 388): 't2^-1', }