U-tiling: UQC6077

<4.4:288: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,3 6 5 9 18 11 13 15 17 21 24 23 27 36 29 31 33 35 39 42 41 45 54 47 49 51 53 57 60 59 63 72 65 67 69 71 75 78 77 81 90 83 85 87 89 93 96 95 99 108 101 103 105 107 111 114 113 117 126 119 121 123 125 129 132 131 135 144 137 139 141 143 147 150 149 153 162 155 157 159 161 165 168 167 171 180 173 175 177 179 183 186 185 189 198 191 193 195 197 201 204 203 207 216 209 211 213 215 219 222 221 225 234 227 229 231 233 237 240 239 243 252 245 247 249 251 255 258 257 261 270 263 265 267 269 273 276 275 279 288 281 283 285 287,37 38 21 22 7 8 27 28 47 48 85 86 177 178 53 54 55 56 25 26 65 66 103 104 141 142 71 72 57 58 43 44 63 64 121 122 213 214 61 62 157 158 195 196 109 110 129 130 79 80 135 136 119 120 249 250 125 126 145 146 165 166 97 98 171 172 155 156 231 232 161 162 183 184 115 116 189 190 285 286 181 182 133 134 191 192 229 230 197 198 201 202 151 152 207 208 267 268 199 200 169 170 209 210 247 248 215 216 187 188 265 266 205 206 283 284 253 254 237 238 223 224 243 244 263 264 269 270 271 272 241 242 281 282 287 288 273 274 259 260 279 280 277 278: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,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> {(2, 188): 'tau2', (2, 189): 'tau2', (2, 190): 'tau2*t3', (2, 191): 'tau2*t3', (2, 56): 't1', (2, 57): 't1', (2, 125): 'tau2^-1*t3^-1', (2, 52): 't1^-1', (2, 53): 't1^-1', (2, 182): 'tau2', (2, 183): 'tau2', (2, 62): 't1', (2, 172): 't2^-1*tau3', (2, 173): 't2^-1*tau3', (2, 63): 't1', (2, 170): 't2^-1', (2, 171): 't2^-1', (2, 164): 't2^-1', (2, 165): 't2^-1', (2, 160): 'tau3*t2^-1', (2, 161): 'tau3*t2^-1', (2, 156): 't1^-1', (2, 157): 't1^-1', (2, 158): 't1^-1', (2, 159): 't1^-1', (2, 152): 'tau3', (2, 153): 'tau3', (2, 124): 'tau2^-1*t3^-1', (2, 278): 't1^-1*tau3^-1*t2*tau1*t3^-1*tau2^-1', (2, 279): 't1^-1*tau3^-1*t2*tau1*t3^-1*tau2^-1', (2, 144): 'tau3*t2^-1', (2, 145): 'tau3*t2^-1', (2, 146): 'tau3', (2, 147): 'tau3', (2, 134): 't3^-1', (2, 135): 't3^-1', (2, 128): 't3^-1', (2, 129): 't3^-1', (2, 252): 't1*tau3*t2^-1', (2, 253): 't1*tau3*t2^-1', (2, 254): 'tau2*t3*tau1^-1*t2^-1*tau3*t1', (2, 255): 'tau2*t3*tau1^-1*t2^-1*tau3*t1', (2, 250): 't3*tau2', (2, 251): 't3*tau2', (2, 244): 't2^-1*tau3*t1', (2, 245): 't2^-1*tau3*t1', (2, 37): 't1^-1', (2, 242): 'tau1', (2, 243): 'tau1', (2, 236): 'tau1', (2, 237): 'tau1', (2, 232): 't2*tau3^-1*t1^-1', (2, 233): 't2*tau3^-1*t1^-1', (2, 234): 't3*tau2', (2, 235): 't3*tau2', (2, 28): 't1^-1', (2, 226): 't3^-1*tau2^-1', (2, 227): 't3^-1*tau2^-1', (2, 108): 'tau2^-1*t3^-1', (2, 109): 'tau2^-1*t3^-1', (2, 212): 't1', (2, 213): 't1', (2, 36): 't1^-1', (2, 210): 't1', (2, 211): 't1', (2, 29): 't1^-1'}