U-tiling: UQC812

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