U-tiling: UQC6051

<3.2:256: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,3 8 5 7 11 16 13 15 19 24 21 23 27 32 29 31 35 40 37 39 43 48 45 47 51 56 53 55 59 64 61 63 67 72 69 71 75 80 77 79 83 88 85 87 91 96 93 95 99 104 101 103 107 112 109 111 115 120 117 119 123 128 125 127 131 136 133 135 139 144 141 143 147 152 149 151 155 160 157 159 163 168 165 167 171 176 173 175 179 184 181 183 187 192 189 191 195 200 197 199 203 208 205 207 211 216 213 215 219 224 221 223 227 232 229 231 235 240 237 239 243 248 245 247 251 256 253 255,65 66 147 148 37 38 9 10 27 28 45 46 79 80 81 82 115 116 53 54 25 26 61 62 95 96 97 98 179 180 41 42 59 60 111 112 129 130 163 164 57 58 143 144 211 212 101 102 73 74 123 124 109 110 195 196 133 134 89 90 155 156 141 142 243 244 105 106 171 172 193 194 165 166 121 122 173 174 207 208 227 228 137 138 187 188 209 210 181 182 153 154 189 190 223 224 225 226 169 170 239 240 241 242 185 186 255 256 229 230 201 202 219 220 237 238 245 246 217 218 253 254 233 234 251 252 249 250: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 8 4 4 4 4 4 4 4 4 4 4 4 8 4 4 8 4 4 4 4 4 4 4 8 4> {(2, 188): 'tau3^-1*t2', (2, 189): 'tau3^-1*t2', (2, 190): 't1', (2, 191): 't1', (2, 186): 'tau3^-1', (2, 187): 'tau3^-1', (2, 101): 'tau2^-1*t3^-1', (2, 176): 't1', (2, 177): 't1', (2, 178): 't1', (2, 179): 't1', (2, 172): 'tau2*t3', (2, 173): 'tau2*t3', (2, 170): 'tau2', (2, 171): 'tau2', (2, 36): 't1^-1', (2, 37): 't1^-1', (2, 60): 't1', (2, 58): 't1', (2, 154): 't2^-1', (2, 155): 't2^-1', (2, 122): 't3^-1', (2, 59): 't1', (2, 61): 't1', (2, 142): 't1^-1', (2, 143): 't1^-1', (2, 132): 'tau3*t2^-1', (2, 133): 'tau3*t2^-1', (2, 128): 't1^-1', (2, 129): 't1^-1', (2, 130): 't1^-1', (2, 131): 't1^-1', (2, 252): 't1^-1*tau3^-1*t2', (2, 253): 't1^-1*tau3^-1*t2', (2, 250): 't1^-1*tau3^-1*t2*tau1*t3^-1*tau2^-1', (2, 251): 't1^-1*tau3^-1*t2*tau1*t3^-1*tau2^-1', (2, 244): 'tau2^-1*t3^-1', (2, 245): 'tau2^-1*t3^-1', (2, 236): 'tau2*t3', (2, 237): 'tau2*t3', (2, 228): 't1*tau3*t2^-1', (2, 229): 't1*tau3*t2^-1', (2, 218): 'tau1', (2, 219): 'tau1', (2, 100): 'tau2^-1*t3^-1', (2, 123): 't3^-1'}