U-tiling: UQC4145

<13.2:320:11 3 5 7 9 20 13 15 17 19 31 23 25 27 29 40 33 35 37 39 71 43 45 47 49 80 91 53 55 57 59 100 101 63 65 67 69 110 73 75 77 79 121 83 85 87 89 130 93 95 97 99 103 105 107 109 131 113 115 117 119 140 123 125 127 129 133 135 137 139 171 143 145 147 149 180 191 153 155 157 159 200 181 163 165 167 169 190 173 175 177 179 183 185 187 189 193 195 197 199 251 203 205 207 209 260 241 213 215 217 219 250 261 223 225 227 229 270 271 233 235 237 239 280 243 245 247 249 253 255 257 259 263 265 267 269 273 275 277 279 301 283 285 287 289 310 311 293 295 297 299 320 303 305 307 309 313 315 317 319,2 10 6 9 8 12 20 16 19 18 22 30 26 29 28 32 40 36 39 38 42 50 46 49 48 52 60 56 59 58 62 70 66 69 68 72 80 76 79 78 82 90 86 89 88 92 100 96 99 98 102 110 106 109 108 112 120 116 119 118 122 130 126 129 128 132 140 136 139 138 142 150 146 149 148 152 160 156 159 158 162 170 166 169 168 172 180 176 179 178 182 190 186 189 188 192 200 196 199 198 202 210 206 209 208 212 220 216 219 218 222 230 226 229 228 232 240 236 239 238 242 250 246 249 248 252 260 256 259 258 262 270 266 269 268 272 280 276 279 278 282 290 286 289 288 292 300 296 299 298 302 310 306 309 308 312 320 316 319 318,111 4 5 116 117 48 49 30 131 14 15 136 137 58 59 40 141 24 25 146 147 68 69 171 34 35 176 177 88 89 151 44 45 156 157 70 181 54 55 186 187 90 201 64 65 206 207 191 74 75 196 197 238 239 110 241 84 85 246 247 161 94 95 166 167 278 279 130 251 104 105 256 257 298 299 114 115 168 169 150 211 124 125 216 217 318 319 134 135 198 199 180 144 145 218 219 154 155 228 229 210 164 165 220 174 175 258 259 184 185 268 269 250 194 195 260 204 205 288 289 214 215 271 224 225 276 277 290 261 234 235 266 267 300 244 245 308 309 254 255 264 265 310 274 275 320 311 284 285 316 317 301 294 295 306 307 304 305 314 315:4 3 3 4 3 3 4 3 4 3 4 3 3 4 3 3 3 4 3 3 3 4 3 4 3 4 3 3 3 3 4 3 4 3 4 3 4 3 3 3 3 3 4 3 4 3 3 3,4 8 8 4 8 8 4 8 4 8 4 4 4 4 8 4 4 8 4 8 4 8 8 8 4 4 4 4> {(2, 316): 't2^-1*tau3*t1*tau2^-1', (0, 59): 't2', (0, 190): 't3^-1', (0, 319): 'tau1*t3^-1', (2, 189): 't2', (0, 50): 't2', (2, 310): 't2^-1*tau3*t1*tau2^-1', (0, 49): 't3', (2, 176): 't1', (2, 305): 't2*tau3^-1*t1^-1*tau2', (0, 180): 't2', (0, 309): 'tau1^-1*t3', (2, 300): 't2*tau3^-1*t1^-1*tau2', (0, 40): 't3', (2, 175): 't1', (2, 170): 't1', (2, 159): 't3', (0, 189): 't2', (2, 145): 't1', (2, 146): 't1', (2, 140): 't1', (0, 269): 'tau1^-1', (2, 128): 't2', (2, 129): 't2', (2, 255): 'tau2', (2, 248): 't2^-1', (2, 250): 'tau2', (2, 245): 'tau3^-1', (2, 246): 'tau3^-1', (2, 247): 't2^-1', (2, 240): 'tau3^-1', (2, 109): 't3', (0, 300): 'tau1^-1*t3', (2, 239): 't3^-1', (0, 239): 'tau1^-1', (2, 106): 'tau2^-1', (2, 229): 't3', (0, 230): 'tau1^-1', (2, 315): 't2^-1*tau3*t1*tau2^-1', (0, 310): 'tau1*t3^-1', (2, 216): 'tau3^-1', (0, 220): 'tau1', (2, 215): 'tau3^-1', (2, 210): 'tau3^-1', (2, 205): 'tau2', (2, 206): 'tau2', (2, 200): 'tau2', (2, 127): 't2', (2, 306): 't2*tau3^-1*t1^-1*tau2', (0, 199): 't3^-1'}