// MECF digital net of base q, with q^T points. If q=p^e the net is represented as net of base p with e-times more columns and rows Reference: Y. Edel, RS-Nets in prepertation // base q nets transformed so that they can be used as if they were DigitalNet // details: an Element "a_i X^i" is represented as binary eq-tuple "a_i" // each "column" c of the GF(q) generator is replaced by the eq columns X^i c // so we have the eq-times numbers of columns and rows as in the GF(q) matrix // Note, the strength remains the GF(q) strength k, but there are many projections have strength in the range k to eq*k // check if everything that involves GF(q) multiplication (e.g. scrambling) gives the desired result 17 // b (base) 4 // numCols 4 // numRows // outDigits= numRows 83521 // numPoints (=b^{numCols}) 289 // dim // 2 // Stregth, see comment above // in class DigitalNet // genMat[i] should be the i-th number below // 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 // 2 1 0 0 0 0 1 0 0 0 1 0 1 11 6 11 6 // 3 1 0 0 0 0 1 0 0 11 6 11 6 15 13 15 13 // 4 1 0 0 0 0 1 0 0 15 13 15 13 7 8 7 8 // 5 1 0 0 0 0 1 0 0 7 8 7 8 3 4 3 4 // 6 1 0 0 0 0 1 0 0 3 4 3 4 10 10 10 10 // 7 1 0 0 0 0 1 0 0 10 10 10 10 8 2 8 2 // 8 1 0 0 0 0 1 0 0 8 2 8 2 5 3 5 3 // 9 1 0 0 0 0 1 0 0 5 3 5 3 16 6 16 6 // 10 1 0 0 0 0 1 0 0 16 6 16 6 15 1 15 1 // 11 1 0 0 0 0 1 0 0 15 1 15 1 11 4 11 4 // 12 1 0 0 0 0 1 0 0 11 4 11 4 10 1 10 1 // 13 1 0 0 0 0 1 0 0 10 1 10 1 11 16 11 16 // 14 1 0 0 0 0 1 0 0 11 16 11 16 6 5 6 5 // 15 1 0 0 0 0 1 0 0 6 5 6 5 4 2 4 2 // 16 1 0 0 0 0 1 0 0 4 2 4 2 5 16 5 16 // 17 1 0 0 0 0 1 0 0 5 16 5 16 6 16 6 16 // 18 1 0 0 0 0 1 0 0 6 16 6 16 6 0 6 0 // 19 1 0 0 0 0 1 0 0 6 0 6 0 0 6 0 6 // 20 1 0 0 0 0 1 0 0 0 6 0 6 15 2 15 2 // 21 1 0 0 0 0 1 0 0 15 2 15 2 5 10 5 10 // 22 1 0 0 0 0 1 0 0 5 10 5 10 8 14 8 14 // 23 1 0 0 0 0 1 0 0 8 14 8 14 1 7 1 7 // 24 1 0 0 0 0 1 0 0 1 7 1 7 9 9 9 9 // 25 1 0 0 0 0 1 0 0 9 9 9 9 14 12 14 12 // 26 1 0 0 0 0 1 0 0 14 12 14 12 13 1 13 1 // 27 1 0 0 0 0 1 0 0 13 1 13 1 11 2 11 2 // 28 1 0 0 0 0 1 0 0 11 2 11 2 5 6 5 6 // 29 1 0 0 0 0 1 0 0 5 6 5 6 15 7 15 7 // 30 1 0 0 0 0 1 0 0 15 7 15 7 9 6 9 6 // 31 1 0 0 0 0 1 0 0 9 6 9 6 15 11 15 11 // 32 1 0 0 0 0 1 0 0 15 11 15 11 2 13 2 13 // 33 1 0 0 0 0 1 0 0 2 13 2 13 7 12 7 12 // 34 1 0 0 0 0 1 0 0 7 12 7 12 13 11 13 11 // 35 1 0 0 0 0 1 0 0 13 11 13 11 2 11 2 11 // 36 1 0 0 0 0 1 0 0 2 11 2 11 2 0 2 0 // 37 1 0 0 0 0 1 0 0 2 0 2 0 0 2 0 2 // 38 1 0 0 0 0 1 0 0 0 2 0 2 5 12 5 12 // 39 1 0 0 0 0 1 0 0 5 12 5 12 13 9 13 9 // 40 1 0 0 0 0 1 0 0 13 9 13 9 14 16 14 16 // 41 1 0 0 0 0 1 0 0 14 16 14 16 6 8 6 8 // 42 1 0 0 0 0 1 0 0 6 8 6 8 3 3 3 3 // 43 1 0 0 0 0 1 0 0 3 3 3 3 16 4 16 4 // 44 1 0 0 0 0 1 0 0 16 4 16 4 10 6 10 6 // 45 1 0 0 0 0 1 0 0 10 6 10 6 15 12 15 12 // 46 1 0 0 0 0 1 0 0 15 12 15 12 13 2 13 2 // 47 1 0 0 0 0 1 0 0 13 2 13 2 5 8 5 8 // 48 1 0 0 0 0 1 0 0 5 8 5 8 3 2 3 2 // 49 1 0 0 0 0 1 0 0 3 2 3 2 5 15 5 15 // 50 1 0 0 0 0 1 0 0 5 15 5 15 12 10 12 10 // 51 1 0 0 0 0 1 0 0 12 10 12 10 8 4 8 4 // 52 1 0 0 0 0 1 0 0 8 4 8 4 10 15 10 15 // 53 1 0 0 0 0 1 0 0 10 15 10 15 12 15 12 15 // 54 1 0 0 0 0 1 0 0 12 15 12 15 12 0 12 0 // 55 1 0 0 0 0 1 0 0 12 0 12 0 0 12 0 12 // 56 1 0 0 0 0 1 0 0 0 12 0 12 13 4 13 4 // 57 1 0 0 0 0 1 0 0 13 4 13 4 10 3 10 3 // 58 1 0 0 0 0 1 0 0 10 3 10 3 16 11 16 11 // 59 1 0 0 0 0 1 0 0 16 11 16 11 2 14 2 14 // 60 1 0 0 0 0 1 0 0 2 14 2 14 1 1 1 1 // 61 1 0 0 0 0 1 0 0 1 1 1 1 11 7 11 7 // 62 1 0 0 0 0 1 0 0 11 7 11 7 9 2 9 2 // 63 1 0 0 0 0 1 0 0 9 2 9 2 5 4 5 4 // 64 1 0 0 0 0 1 0 0 5 4 5 4 10 12 10 12 // 65 1 0 0 0 0 1 0 0 10 12 10 12 13 14 13 14 // 66 1 0 0 0 0 1 0 0 13 14 13 14 1 12 1 12 // 67 1 0 0 0 0 1 0 0 1 12 1 12 13 5 13 5 // 68 1 0 0 0 0 1 0 0 13 5 13 5 4 9 4 9 // 69 1 0 0 0 0 1 0 0 4 9 4 9 14 7 14 7 // 70 1 0 0 0 0 1 0 0 14 7 14 7 9 5 9 5 // 71 1 0 0 0 0 1 0 0 9 5 9 5 4 5 4 5 // 72 1 0 0 0 0 1 0 0 4 5 4 5 4 0 4 0 // 73 1 0 0 0 0 1 0 0 4 0 4 0 0 4 0 4 // 74 1 0 0 0 0 1 0 0 0 4 0 4 10 7 10 7 // 75 1 0 0 0 0 1 0 0 10 7 10 7 9 1 9 1 // 76 1 0 0 0 0 1 0 0 9 1 9 1 11 15 11 15 // 77 1 0 0 0 0 1 0 0 11 15 11 15 12 16 12 16 // 78 1 0 0 0 0 1 0 0 12 16 12 16 6 6 6 6 // 79 1 0 0 0 0 1 0 0 6 6 6 6 15 8 15 8 // 80 1 0 0 0 0 1 0 0 15 8 15 8 3 12 3 12 // 81 1 0 0 0 0 1 0 0 3 12 3 12 13 7 13 7 // 82 1 0 0 0 0 1 0 0 13 7 13 7 9 4 9 4 // 83 1 0 0 0 0 1 0 0 9 4 9 4 10 16 10 16 // 84 1 0 0 0 0 1 0 0 10 16 10 16 6 4 6 4 // 85 1 0 0 0 0 1 0 0 6 4 6 4 10 13 10 13 // 86 1 0 0 0 0 1 0 0 10 13 10 13 7 3 7 3 // 87 1 0 0 0 0 1 0 0 7 3 7 3 16 8 16 8 // 88 1 0 0 0 0 1 0 0 16 8 16 8 3 13 3 13 // 89 1 0 0 0 0 1 0 0 3 13 3 13 7 13 7 13 // 90 1 0 0 0 0 1 0 0 7 13 7 13 7 0 7 0 // 91 1 0 0 0 0 1 0 0 7 0 7 0 0 7 0 7 // 92 1 0 0 0 0 1 0 0 0 7 0 7 9 8 9 8 // 93 1 0 0 0 0 1 0 0 9 8 9 8 3 6 3 6 // 94 1 0 0 0 0 1 0 0 3 6 3 6 15 5 15 5 // 95 1 0 0 0 0 1 0 0 15 5 15 5 4 11 4 11 // 96 1 0 0 0 0 1 0 0 4 11 4 11 2 2 2 2 // 97 1 0 0 0 0 1 0 0 2 2 2 2 5 14 5 14 // 98 1 0 0 0 0 1 0 0 5 14 5 14 1 4 1 4 // 99 1 0 0 0 0 1 0 0 1 4 1 4 10 8 10 8 // 100 1 0 0 0 0 1 0 0 10 8 10 8 3 7 3 7 // 101 1 0 0 0 0 1 0 0 3 7 3 7 9 11 9 11 // 102 1 0 0 0 0 1 0 0 9 11 9 11 2 7 2 7 // 103 1 0 0 0 0 1 0 0 2 7 2 7 9 10 9 10 // 104 1 0 0 0 0 1 0 0 9 10 9 10 8 1 8 1 // 105 1 0 0 0 0 1 0 0 8 1 8 1 11 14 11 14 // 106 1 0 0 0 0 1 0 0 11 14 11 14 1 10 1 10 // 107 1 0 0 0 0 1 0 0 1 10 1 10 8 10 8 10 // 108 1 0 0 0 0 1 0 0 8 10 8 10 8 0 8 0 // 109 1 0 0 0 0 1 0 0 8 0 8 0 0 8 0 8 // 110 1 0 0 0 0 1 0 0 0 8 0 8 3 14 3 14 // 111 1 0 0 0 0 1 0 0 3 14 3 14 1 2 1 2 // 112 1 0 0 0 0 1 0 0 1 2 1 2 5 13 5 13 // 113 1 0 0 0 0 1 0 0 5 13 5 13 7 15 7 15 // 114 1 0 0 0 0 1 0 0 7 15 7 15 12 12 12 12 // 115 1 0 0 0 0 1 0 0 12 12 12 12 13 16 13 16 // 116 1 0 0 0 0 1 0 0 13 16 13 16 6 7 6 7 // 117 1 0 0 0 0 1 0 0 6 7 6 7 9 14 9 14 // 118 1 0 0 0 0 1 0 0 9 14 9 14 1 8 1 8 // 119 1 0 0 0 0 1 0 0 1 8 1 8 3 15 3 15 // 120 1 0 0 0 0 1 0 0 3 15 3 15 12 8 12 8 // 121 1 0 0 0 0 1 0 0 12 8 12 8 3 9 3 9 // 122 1 0 0 0 0 1 0 0 3 9 3 9 14 6 14 6 // 123 1 0 0 0 0 1 0 0 14 6 14 6 15 16 15 16 // 124 1 0 0 0 0 1 0 0 15 16 15 16 6 9 6 9 // 125 1 0 0 0 0 1 0 0 6 9 6 9 14 9 14 9 // 126 1 0 0 0 0 1 0 0 14 9 14 9 14 0 14 0 // 127 1 0 0 0 0 1 0 0 14 0 14 0 0 14 0 14 // 128 1 0 0 0 0 1 0 0 0 14 0 14 1 16 1 16 // 129 1 0 0 0 0 1 0 0 1 16 1 16 6 12 6 12 // 130 1 0 0 0 0 1 0 0 6 12 6 12 13 10 13 10 // 131 1 0 0 0 0 1 0 0 13 10 13 10 8 5 8 5 // 132 1 0 0 0 0 1 0 0 8 5 8 5 4 4 4 4 // 133 1 0 0 0 0 1 0 0 4 4 4 4 10 11 10 11 // 134 1 0 0 0 0 1 0 0 10 11 10 11 2 8 2 8 // 135 1 0 0 0 0 1 0 0 2 8 2 8 3 16 3 16 // 136 1 0 0 0 0 1 0 0 3 16 3 16 6 14 6 14 // 137 1 0 0 0 0 1 0 0 6 14 6 14 1 5 1 5 // 138 1 0 0 0 0 1 0 0 1 5 1 5 4 14 4 14 // 139 1 0 0 0 0 1 0 0 4 14 4 14 1 3 1 3 // 140 1 0 0 0 0 1 0 0 1 3 1 3 16 2 16 2 // 141 1 0 0 0 0 1 0 0 16 2 16 2 5 11 5 11 // 142 1 0 0 0 0 1 0 0 5 11 5 11 2 3 2 3 // 143 1 0 0 0 0 1 0 0 2 3 2 3 16 3 16 3 // 144 1 0 0 0 0 1 0 0 16 3 16 3 16 0 16 0 // 145 1 0 0 0 0 1 0 0 16 0 16 0 0 16 0 16 // 146 1 0 0 0 0 1 0 0 0 16 0 16 6 11 6 11 // 147 1 0 0 0 0 1 0 0 6 11 6 11 2 4 2 4 // 148 1 0 0 0 0 1 0 0 2 4 2 4 10 9 10 9 // 149 1 0 0 0 0 1 0 0 10 9 10 9 14 13 14 13 // 150 1 0 0 0 0 1 0 0 14 13 14 13 7 7 7 7 // 151 1 0 0 0 0 1 0 0 7 7 7 7 9 15 9 15 // 152 1 0 0 0 0 1 0 0 9 15 9 15 12 14 12 14 // 153 1 0 0 0 0 1 0 0 12 14 12 14 1 11 1 11 // 154 1 0 0 0 0 1 0 0 1 11 1 11 2 16 2 16 // 155 1 0 0 0 0 1 0 0 2 16 2 16 6 13 6 13 // 156 1 0 0 0 0 1 0 0 6 13 6 13 7 16 7 16 // 157 1 0 0 0 0 1 0 0 7 16 7 16 6 1 6 1 // 158 1 0 0 0 0 1 0 0 6 1 6 1 11 12 11 12 // 159 1 0 0 0 0 1 0 0 11 12 11 12 13 15 13 15 // 160 1 0 0 0 0 1 0 0 13 15 13 15 12 1 12 1 // 161 1 0 0 0 0 1 0 0 12 1 12 1 11 1 11 1 // 162 1 0 0 0 0 1 0 0 11 1 11 1 11 0 11 0 // 163 1 0 0 0 0 1 0 0 11 0 11 0 0 11 0 11 // 164 1 0 0 0 0 1 0 0 0 11 0 11 2 15 2 15 // 165 1 0 0 0 0 1 0 0 2 15 2 15 12 7 12 7 // 166 1 0 0 0 0 1 0 0 12 7 12 7 9 3 9 3 // 167 1 0 0 0 0 1 0 0 9 3 9 3 16 10 16 10 // 168 1 0 0 0 0 1 0 0 16 10 16 10 8 8 8 8 // 169 1 0 0 0 0 1 0 0 8 8 8 8 3 5 3 5 // 170 1 0 0 0 0 1 0 0 3 5 3 5 4 16 4 16 // 171 1 0 0 0 0 1 0 0 4 16 4 16 6 15 6 15 // 172 1 0 0 0 0 1 0 0 6 15 6 15 12 11 12 11 // 173 1 0 0 0 0 1 0 0 12 11 12 11 2 10 2 10 // 174 1 0 0 0 0 1 0 0 2 10 2 10 8 11 8 11 // 175 1 0 0 0 0 1 0 0 8 11 8 11 2 6 2 6 // 176 1 0 0 0 0 1 0 0 2 6 2 6 15 4 15 4 // 177 1 0 0 0 0 1 0 0 15 4 15 4 10 5 10 5 // 178 1 0 0 0 0 1 0 0 10 5 10 5 4 6 4 6 // 179 1 0 0 0 0 1 0 0 4 6 4 6 15 6 15 6 // 180 1 0 0 0 0 1 0 0 15 6 15 6 15 0 15 0 // 181 1 0 0 0 0 1 0 0 15 0 15 0 0 15 0 15 // 182 1 0 0 0 0 1 0 0 0 15 0 15 12 5 12 5 // 183 1 0 0 0 0 1 0 0 12 5 12 5 4 8 4 8 // 184 1 0 0 0 0 1 0 0 4 8 4 8 3 1 3 1 // 185 1 0 0 0 0 1 0 0 3 1 3 1 11 9 11 9 // 186 1 0 0 0 0 1 0 0 11 9 11 9 14 14 14 14 // 187 1 0 0 0 0 1 0 0 14 14 14 14 1 13 1 13 // 188 1 0 0 0 0 1 0 0 1 13 1 13 7 11 7 11 // 189 1 0 0 0 0 1 0 0 7 11 7 11 2 5 2 5 // 190 1 0 0 0 0 1 0 0 2 5 2 5 4 15 4 15 // 191 1 0 0 0 0 1 0 0 4 15 4 15 12 9 12 9 // 192 1 0 0 0 0 1 0 0 12 9 12 9 14 15 14 15 // 193 1 0 0 0 0 1 0 0 14 15 14 15 12 2 12 2 // 194 1 0 0 0 0 1 0 0 12 2 12 2 5 7 5 7 // 195 1 0 0 0 0 1 0 0 5 7 5 7 9 13 9 13 // 196 1 0 0 0 0 1 0 0 9 13 9 13 7 2 7 2 // 197 1 0 0 0 0 1 0 0 7 2 7 2 5 2 5 2 // 198 1 0 0 0 0 1 0 0 5 2 5 2 5 0 5 0 // 199 1 0 0 0 0 1 0 0 5 0 5 0 0 5 0 5 // 200 1 0 0 0 0 1 0 0 0 5 0 5 4 13 4 13 // 201 1 0 0 0 0 1 0 0 4 13 4 13 7 14 7 14 // 202 1 0 0 0 0 1 0 0 7 14 7 14 1 6 1 6 // 203 1 0 0 0 0 1 0 0 1 6 1 6 15 3 15 3 // 204 1 0 0 0 0 1 0 0 15 3 15 3 16 16 16 16 // 205 1 0 0 0 0 1 0 0 16 16 16 16 6 10 6 10 // 206 1 0 0 0 0 1 0 0 6 10 6 10 8 15 8 15 // 207 1 0 0 0 0 1 0 0 8 15 8 15 12 13 12 13 // 208 1 0 0 0 0 1 0 0 12 13 12 13 7 5 7 5 // 209 1 0 0 0 0 1 0 0 7 5 7 5 4 3 4 3 // 210 1 0 0 0 0 1 0 0 4 3 4 3 16 5 16 5 // 211 1 0 0 0 0 1 0 0 16 5 16 5 4 12 4 12 // 212 1 0 0 0 0 1 0 0 4 12 4 12 13 8 13 8 // 213 1 0 0 0 0 1 0 0 13 8 13 8 3 10 3 10 // 214 1 0 0 0 0 1 0 0 3 10 3 10 8 12 8 12 // 215 1 0 0 0 0 1 0 0 8 12 8 12 13 12 13 12 // 216 1 0 0 0 0 1 0 0 13 12 13 12 13 0 13 0 // 217 1 0 0 0 0 1 0 0 13 0 13 0 0 13 0 13 // 218 1 0 0 0 0 1 0 0 0 13 0 13 7 10 7 10 // 219 1 0 0 0 0 1 0 0 7 10 7 10 8 16 8 16 // 220 1 0 0 0 0 1 0 0 8 16 8 16 6 2 6 2 // 221 1 0 0 0 0 1 0 0 6 2 6 2 5 1 5 1 // 222 1 0 0 0 0 1 0 0 5 1 5 1 11 11 11 11 // 223 1 0 0 0 0 1 0 0 11 11 11 11 2 9 2 9 // 224 1 0 0 0 0 1 0 0 2 9 2 9 14 5 14 5 // 225 1 0 0 0 0 1 0 0 14 5 14 5 4 10 4 10 // 226 1 0 0 0 0 1 0 0 4 10 4 10 8 13 8 13 // 227 1 0 0 0 0 1 0 0 8 13 8 13 7 1 7 1 // 228 1 0 0 0 0 1 0 0 7 1 7 1 11 13 11 13 // 229 1 0 0 0 0 1 0 0 11 13 11 13 7 4 7 4 // 230 1 0 0 0 0 1 0 0 7 4 7 4 10 14 10 14 // 231 1 0 0 0 0 1 0 0 10 14 10 14 1 9 1 9 // 232 1 0 0 0 0 1 0 0 1 9 1 9 14 4 14 4 // 233 1 0 0 0 0 1 0 0 14 4 14 4 10 4 10 4 // 234 1 0 0 0 0 1 0 0 10 4 10 4 10 0 10 0 // 235 1 0 0 0 0 1 0 0 10 0 10 0 0 10 0 10 // 236 1 0 0 0 0 1 0 0 0 10 0 10 8 9 8 9 // 237 1 0 0 0 0 1 0 0 8 9 8 9 14 11 14 11 // 238 1 0 0 0 0 1 0 0 14 11 14 11 2 12 2 12 // 239 1 0 0 0 0 1 0 0 2 12 2 12 13 6 13 6 // 240 1 0 0 0 0 1 0 0 13 6 13 6 15 15 15 15 // 241 1 0 0 0 0 1 0 0 15 15 15 15 12 3 12 3 // 242 1 0 0 0 0 1 0 0 12 3 12 3 16 13 16 13 // 243 1 0 0 0 0 1 0 0 16 13 16 13 7 9 7 9 // 244 1 0 0 0 0 1 0 0 7 9 7 9 14 10 14 10 // 245 1 0 0 0 0 1 0 0 14 10 14 10 8 6 8 6 // 246 1 0 0 0 0 1 0 0 8 6 8 6 15 10 15 10 // 247 1 0 0 0 0 1 0 0 15 10 15 10 8 7 8 7 // 248 1 0 0 0 0 1 0 0 8 7 8 7 9 16 9 16 // 249 1 0 0 0 0 1 0 0 9 16 9 16 6 3 6 3 // 250 1 0 0 0 0 1 0 0 6 3 6 3 16 7 16 7 // 251 1 0 0 0 0 1 0 0 16 7 16 7 9 7 9 7 // 252 1 0 0 0 0 1 0 0 9 7 9 7 9 0 9 0 // 253 1 0 0 0 0 1 0 0 9 0 9 0 0 9 0 9 // 254 1 0 0 0 0 1 0 0 0 9 0 9 14 3 14 3 // 255 1 0 0 0 0 1 0 0 14 3 14 3 16 15 16 15 // 256 1 0 0 0 0 1 0 0 16 15 16 15 12 4 12 4 // 257 1 0 0 0 0 1 0 0 12 4 12 4 10 2 10 2 // 258 1 0 0 0 0 1 0 0 10 2 10 2 5 5 5 5 // 259 1 0 0 0 0 1 0 0 5 5 5 5 4 1 4 1 // 260 1 0 0 0 0 1 0 0 4 1 4 1 11 10 11 10 // 261 1 0 0 0 0 1 0 0 11 10 11 10 8 3 8 3 // 262 1 0 0 0 0 1 0 0 8 3 8 3 16 9 16 9 // 263 1 0 0 0 0 1 0 0 16 9 16 9 14 2 14 2 // 264 1 0 0 0 0 1 0 0 14 2 14 2 5 9 5 9 // 265 1 0 0 0 0 1 0 0 5 9 5 9 14 8 14 8 // 266 1 0 0 0 0 1 0 0 14 8 14 8 3 11 3 11 // 267 1 0 0 0 0 1 0 0 3 11 3 11 2 1 2 1 // 268 1 0 0 0 0 1 0 0 2 1 2 1 11 8 11 8 // 269 1 0 0 0 0 1 0 0 11 8 11 8 3 8 3 8 // 270 1 0 0 0 0 1 0 0 3 8 3 8 3 0 3 0 // 271 1 0 0 0 0 1 0 0 3 0 3 0 0 3 0 3 // 272 1 0 0 0 0 1 0 0 0 3 0 3 16 1 16 1 // 273 1 0 0 0 0 1 0 0 16 1 16 1 11 5 11 5 // 274 1 0 0 0 0 1 0 0 11 5 11 5 4 7 4 7 // 275 1 0 0 0 0 1 0 0 4 7 4 7 9 12 9 12 // 276 1 0 0 0 0 1 0 0 9 12 9 12 13 13 13 13 // 277 1 0 0 0 0 1 0 0 13 13 13 13 7 6 7 6 // 278 1 0 0 0 0 1 0 0 7 6 7 6 15 9 15 9 // 279 1 0 0 0 0 1 0 0 15 9 15 9 14 1 14 1 // 280 1 0 0 0 0 1 0 0 14 1 14 1 11 3 11 3 // 281 1 0 0 0 0 1 0 0 11 3 11 3 16 12 16 12 // 282 1 0 0 0 0 1 0 0 16 12 16 12 13 3 13 3 // 283 1 0 0 0 0 1 0 0 13 3 13 3 16 14 16 14 // 284 1 0 0 0 0 1 0 0 16 14 16 14 1 15 1 15 // 285 1 0 0 0 0 1 0 0 1 15 1 15 12 6 12 6 // 286 1 0 0 0 0 1 0 0 12 6 12 6 15 14 15 14 // 287 1 0 0 0 0 1 0 0 15 14 15 14 1 14 1 14 // 288 1 0 0 0 0 1 0 0 1 14 1 14 1 0 1 0 // 289 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 // end of file