U-tiling: UQC3195

<7.1:256:33 34 99 100 7 8 105 106 139 140 29 30 47 48 49 50 115 116 23 24 121 122 155 156 63 64 51 52 39 40 57 58 171 172 77 78 55 56 187 188 93 94 97 98 83 84 71 72 89 90 203 204 111 112 113 114 87 88 219 220 127 128 103 104 235 236 125 126 119 120 251 252 161 162 227 228 135 136 233 234 157 158 175 176 177 178 243 244 151 152 249 250 191 192 179 180 167 168 185 186 205 206 183 184 221 222 225 226 211 212 199 200 217 218 239 240 241 242 215 216 255 256 231 232 253 254 247 248,3 6 5 9 16 11 13 15 19 22 21 25 32 27 29 31 35 38 37 41 48 43 45 47 51 54 53 57 64 59 61 63 67 70 69 73 80 75 77 79 83 86 85 89 96 91 93 95 99 102 101 105 112 107 109 111 115 118 117 121 128 123 125 127 131 134 133 137 144 139 141 143 147 150 149 153 160 155 157 159 163 166 165 169 176 171 173 175 179 182 181 185 192 187 189 191 195 198 197 201 208 203 205 207 211 214 213 217 224 219 221 223 227 230 229 233 240 235 237 239 243 246 245 249 256 251 253 255,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:8 4 4 4 4 8 4 4 4 4 4 4 4 4 4 4 4 4 8 4 4 8 4 4 4 4 4 4,3 5 3 5 3 5 3 5 3 5 3 5 3 5 3 5 3 5 3 5 3 5 3 5 3 5 3 5 3 5 3 5> {(0, 16): 't1^-1', (0, 240): 'tau1^-1*t2^-1*tau3*t1*tau2^-1*t3^-1', (0, 254): 'tau1^-1*t2^-1*tau3*t1*tau2^-1*t3^-1', (0, 60): 't1*tau2^-1*t3^-1', (0, 146): 't1^-1*tau2*t3', (0, 159): 'tau3', (0, 62): 't1', (0, 61): 't1*tau2^-1*t3^-1', (0, 225): 'tau1^-1', (0, 160): 't2^-1', (0, 110): 't3^-1', (0, 97): 't3^-1', (0, 249): 't3^-1*tau2^-1*t1', (0, 175): 't2^-1', (0, 24): 't1^-1*tau2*t3', (0, 94): 't3*tau2*t3', (0, 112): 't3^-1*tau2^-1*t3^-1', (0, 18): 't1^-1*tau2*t3', (0, 17): 't1^-1', (0, 188): 't1*tau2^-1*t3^-1', (0, 176): 'tau3^-1', (0, 189): 't1*tau2^-1*t3^-1', (0, 238): 'tau1^-1', (0, 147): 't1^-1*tau2*t3', (0, 19): 't1^-1*tau2*t3', (0, 224): 'tau1^-1', (0, 63): 't1', (0, 239): 'tau1^-1', (0, 158): 'tau3', (0, 96): 't3^-1', (0, 161): 't2^-1', (0, 255): 'tau1^-1*t2^-1*tau3*t1*tau2^-1*t3^-1', (0, 95): 't3*tau2*t3', (0, 241): 'tau1^-1*t2^-1*tau3*t1*tau2^-1*t3^-1', (0, 25): 't1^-1*tau2*t3', (0, 79): 't3', (0, 248): 't3^-1*tau2^-1*t1', (0, 113): 't3^-1*tau2^-1*t3^-1', (0, 174): 't2^-1', (0, 177): 'tau3^-1', }