# MINLP written by GAMS Convert at 02/17/22 17:23:29 # # Equation counts # Total E G L N X C B # 0 0 0 0 0 0 0 0 # # Variable counts # x b i s1s s2s sc si # Total cont binary integer sos1 sos2 scont sint # 343 0 343 0 0 0 0 0 # FX 0 # # Nonzero counts # Total const NL # 0 0 0 # # Reformulation has removed 1 variable and 1 equation from pyomo.environ import * model = m = ConcreteModel() m.b1 = Var(within=Binary, bounds=(0,1), initialize=0) m.b2 = Var(within=Binary, bounds=(0,1), initialize=0) m.b3 = Var(within=Binary, bounds=(0,1), initialize=0) m.b4 = Var(within=Binary, bounds=(0,1), initialize=0) m.b5 = Var(within=Binary, bounds=(0,1), initialize=0) m.b6 = Var(within=Binary, bounds=(0,1), initialize=0) m.b7 = Var(within=Binary, bounds=(0,1), initialize=0) m.b8 = Var(within=Binary, bounds=(0,1), initialize=0) m.b9 = Var(within=Binary, bounds=(0,1), initialize=0) m.b10 = Var(within=Binary, bounds=(0,1), initialize=0) m.b11 = Var(within=Binary, bounds=(0,1), initialize=0) m.b12 = Var(within=Binary, bounds=(0,1), initialize=0) m.b13 = Var(within=Binary, bounds=(0,1), initialize=0) m.b14 = Var(within=Binary, bounds=(0,1), initialize=0) m.b15 = Var(within=Binary, bounds=(0,1), initialize=0) m.b16 = Var(within=Binary, bounds=(0,1), initialize=0) m.b17 = Var(within=Binary, bounds=(0,1), initialize=0) m.b18 = Var(within=Binary, bounds=(0,1), initialize=0) m.b19 = Var(within=Binary, bounds=(0,1), initialize=0) m.b20 = Var(within=Binary, bounds=(0,1), initialize=0) m.b21 = Var(within=Binary, bounds=(0,1), initialize=0) m.b22 = Var(within=Binary, bounds=(0,1), initialize=0) m.b23 = Var(within=Binary, bounds=(0,1), initialize=0) m.b24 = Var(within=Binary, bounds=(0,1), initialize=0) m.b25 = Var(within=Binary, bounds=(0,1), initialize=0) m.b26 = Var(within=Binary, bounds=(0,1), initialize=0) m.b27 = Var(within=Binary, bounds=(0,1), initialize=0) m.b28 = Var(within=Binary, bounds=(0,1), initialize=0) m.b29 = Var(within=Binary, bounds=(0,1), initialize=0) m.b30 = Var(within=Binary, bounds=(0,1), initialize=0) m.b31 = Var(within=Binary, bounds=(0,1), initialize=0) m.b32 = Var(within=Binary, bounds=(0,1), initialize=0) m.b33 = Var(within=Binary, bounds=(0,1), initialize=0) m.b34 = Var(within=Binary, bounds=(0,1), initialize=0) m.b35 = Var(within=Binary, bounds=(0,1), initialize=0) m.b36 = Var(within=Binary, bounds=(0,1), initialize=0) m.b37 = Var(within=Binary, bounds=(0,1), initialize=0) m.b38 = Var(within=Binary, bounds=(0,1), initialize=0) m.b39 = Var(within=Binary, bounds=(0,1), initialize=0) m.b40 = Var(within=Binary, bounds=(0,1), initialize=0) m.b41 = Var(within=Binary, bounds=(0,1), initialize=0) m.b42 = Var(within=Binary, bounds=(0,1), initialize=0) m.b43 = Var(within=Binary, bounds=(0,1), initialize=0) m.b44 = Var(within=Binary, bounds=(0,1), initialize=0) m.b45 = Var(within=Binary, bounds=(0,1), initialize=0) m.b46 = Var(within=Binary, bounds=(0,1), initialize=0) m.b47 = Var(within=Binary, bounds=(0,1), initialize=0) m.b48 = Var(within=Binary, bounds=(0,1), initialize=0) m.b49 = Var(within=Binary, bounds=(0,1), initialize=0) m.b50 = Var(within=Binary, bounds=(0,1), initialize=0) m.b51 = Var(within=Binary, bounds=(0,1), initialize=0) m.b52 = Var(within=Binary, bounds=(0,1), initialize=0) m.b53 = Var(within=Binary, bounds=(0,1), initialize=0) m.b54 = Var(within=Binary, bounds=(0,1), initialize=0) m.b55 = Var(within=Binary, bounds=(0,1), initialize=0) m.b56 = Var(within=Binary, bounds=(0,1), initialize=0) m.b57 = Var(within=Binary, bounds=(0,1), initialize=0) m.b58 = Var(within=Binary, bounds=(0,1), initialize=0) m.b59 = Var(within=Binary, bounds=(0,1), initialize=0) m.b60 = Var(within=Binary, bounds=(0,1), initialize=0) m.b61 = Var(within=Binary, bounds=(0,1), initialize=0) m.b62 = Var(within=Binary, bounds=(0,1), initialize=0) m.b63 = Var(within=Binary, bounds=(0,1), initialize=0) m.b64 = Var(within=Binary, bounds=(0,1), initialize=0) m.b65 = Var(within=Binary, bounds=(0,1), initialize=0) m.b66 = Var(within=Binary, bounds=(0,1), initialize=0) m.b67 = Var(within=Binary, bounds=(0,1), initialize=0) m.b68 = Var(within=Binary, bounds=(0,1), initialize=0) m.b69 = Var(within=Binary, bounds=(0,1), initialize=0) m.b70 = Var(within=Binary, bounds=(0,1), initialize=0) m.b71 = Var(within=Binary, bounds=(0,1), initialize=0) m.b72 = Var(within=Binary, bounds=(0,1), initialize=0) m.b73 = Var(within=Binary, bounds=(0,1), initialize=0) m.b74 = Var(within=Binary, bounds=(0,1), initialize=0) m.b75 = Var(within=Binary, bounds=(0,1), initialize=0) m.b76 = Var(within=Binary, bounds=(0,1), initialize=0) m.b77 = Var(within=Binary, bounds=(0,1), initialize=0) m.b78 = Var(within=Binary, bounds=(0,1), initialize=0) m.b79 = Var(within=Binary, bounds=(0,1), initialize=0) m.b80 = Var(within=Binary, bounds=(0,1), initialize=0) m.b81 = Var(within=Binary, bounds=(0,1), initialize=0) m.b82 = Var(within=Binary, bounds=(0,1), initialize=0) m.b83 = Var(within=Binary, bounds=(0,1), initialize=0) m.b84 = Var(within=Binary, bounds=(0,1), initialize=0) m.b85 = Var(within=Binary, bounds=(0,1), initialize=0) m.b86 = Var(within=Binary, bounds=(0,1), initialize=0) m.b87 = Var(within=Binary, bounds=(0,1), initialize=0) m.b88 = Var(within=Binary, bounds=(0,1), initialize=0) m.b89 = Var(within=Binary, bounds=(0,1), initialize=0) m.b90 = Var(within=Binary, bounds=(0,1), initialize=0) m.b91 = Var(within=Binary, bounds=(0,1), initialize=0) m.b92 = Var(within=Binary, bounds=(0,1), initialize=0) m.b93 = Var(within=Binary, bounds=(0,1), initialize=0) m.b94 = Var(within=Binary, bounds=(0,1), initialize=0) m.b95 = Var(within=Binary, bounds=(0,1), initialize=0) m.b96 = Var(within=Binary, bounds=(0,1), initialize=0) m.b97 = Var(within=Binary, bounds=(0,1), initialize=0) m.b98 = Var(within=Binary, bounds=(0,1), initialize=0) m.b99 = Var(within=Binary, bounds=(0,1), initialize=0) m.b100 = Var(within=Binary, bounds=(0,1), initialize=0) m.b101 = Var(within=Binary, bounds=(0,1), initialize=0) m.b102 = Var(within=Binary, bounds=(0,1), initialize=0) m.b103 = Var(within=Binary, bounds=(0,1), initialize=0) m.b104 = Var(within=Binary, bounds=(0,1), initialize=0) m.b105 = Var(within=Binary, bounds=(0,1), initialize=0) m.b106 = Var(within=Binary, bounds=(0,1), initialize=0) m.b107 = Var(within=Binary, bounds=(0,1), initialize=0) m.b108 = Var(within=Binary, bounds=(0,1), initialize=0) m.b109 = Var(within=Binary, bounds=(0,1), initialize=0) m.b110 = Var(within=Binary, bounds=(0,1), initialize=0) m.b111 = Var(within=Binary, bounds=(0,1), initialize=0) m.b112 = Var(within=Binary, bounds=(0,1), initialize=0) m.b113 = Var(within=Binary, bounds=(0,1), initialize=0) m.b114 = Var(within=Binary, bounds=(0,1), initialize=0) m.b115 = Var(within=Binary, bounds=(0,1), initialize=0) m.b116 = Var(within=Binary, bounds=(0,1), initialize=0) m.b117 = Var(within=Binary, bounds=(0,1), initialize=0) m.b118 = Var(within=Binary, bounds=(0,1), initialize=0) m.b119 = Var(within=Binary, bounds=(0,1), initialize=0) m.b120 = Var(within=Binary, bounds=(0,1), initialize=0) m.b121 = Var(within=Binary, bounds=(0,1), initialize=0) m.b122 = Var(within=Binary, bounds=(0,1), initialize=0) m.b123 = Var(within=Binary, bounds=(0,1), initialize=0) m.b124 = Var(within=Binary, bounds=(0,1), initialize=0) m.b125 = Var(within=Binary, bounds=(0,1), initialize=0) m.b126 = Var(within=Binary, bounds=(0,1), initialize=0) m.b127 = Var(within=Binary, bounds=(0,1), initialize=0) m.b128 = Var(within=Binary, bounds=(0,1), initialize=0) m.b129 = Var(within=Binary, bounds=(0,1), initialize=0) m.b130 = Var(within=Binary, bounds=(0,1), initialize=0) m.b131 = Var(within=Binary, bounds=(0,1), initialize=0) m.b132 = Var(within=Binary, bounds=(0,1), initialize=0) m.b133 = Var(within=Binary, bounds=(0,1), initialize=0) m.b134 = Var(within=Binary, bounds=(0,1), initialize=0) m.b135 = Var(within=Binary, bounds=(0,1), initialize=0) m.b136 = Var(within=Binary, bounds=(0,1), initialize=0) m.b137 = Var(within=Binary, bounds=(0,1), initialize=0) m.b138 = Var(within=Binary, bounds=(0,1), initialize=0) m.b139 = Var(within=Binary, bounds=(0,1), initialize=0) m.b140 = Var(within=Binary, bounds=(0,1), initialize=0) m.b141 = Var(within=Binary, bounds=(0,1), initialize=0) m.b142 = Var(within=Binary, bounds=(0,1), initialize=0) m.b143 = Var(within=Binary, bounds=(0,1), initialize=0) m.b144 = Var(within=Binary, bounds=(0,1), initialize=0) m.b145 = Var(within=Binary, bounds=(0,1), initialize=0) m.b146 = Var(within=Binary, bounds=(0,1), initialize=0) m.b147 = Var(within=Binary, bounds=(0,1), initialize=0) m.b148 = Var(within=Binary, bounds=(0,1), initialize=0) m.b149 = Var(within=Binary, bounds=(0,1), initialize=0) m.b150 = Var(within=Binary, bounds=(0,1), initialize=0) m.b151 = Var(within=Binary, bounds=(0,1), initialize=0) m.b152 = Var(within=Binary, bounds=(0,1), initialize=0) m.b153 = Var(within=Binary, bounds=(0,1), initialize=0) m.b154 = Var(within=Binary, bounds=(0,1), initialize=0) m.b155 = Var(within=Binary, bounds=(0,1), initialize=0) m.b156 = Var(within=Binary, bounds=(0,1), initialize=0) m.b157 = Var(within=Binary, bounds=(0,1), initialize=0) m.b158 = Var(within=Binary, bounds=(0,1), initialize=0) m.b159 = Var(within=Binary, bounds=(0,1), initialize=0) m.b160 = Var(within=Binary, bounds=(0,1), initialize=0) m.b161 = Var(within=Binary, bounds=(0,1), initialize=0) m.b162 = Var(within=Binary, bounds=(0,1), initialize=0) m.b163 = Var(within=Binary, bounds=(0,1), initialize=0) m.b164 = Var(within=Binary, bounds=(0,1), initialize=0) m.b165 = Var(within=Binary, bounds=(0,1), initialize=0) m.b166 = Var(within=Binary, bounds=(0,1), initialize=0) m.b167 = Var(within=Binary, bounds=(0,1), initialize=0) m.b168 = Var(within=Binary, bounds=(0,1), initialize=0) m.b169 = Var(within=Binary, bounds=(0,1), initialize=0) m.b170 = Var(within=Binary, bounds=(0,1), initialize=0) m.b171 = Var(within=Binary, bounds=(0,1), initialize=0) m.b172 = Var(within=Binary, bounds=(0,1), initialize=0) m.b173 = Var(within=Binary, bounds=(0,1), initialize=0) m.b174 = Var(within=Binary, bounds=(0,1), initialize=0) m.b175 = Var(within=Binary, bounds=(0,1), initialize=0) m.b176 = Var(within=Binary, bounds=(0,1), initialize=0) m.b177 = Var(within=Binary, bounds=(0,1), initialize=0) m.b178 = Var(within=Binary, bounds=(0,1), initialize=0) m.b179 = Var(within=Binary, bounds=(0,1), initialize=0) m.b180 = Var(within=Binary, bounds=(0,1), initialize=0) m.b181 = Var(within=Binary, bounds=(0,1), initialize=0) m.b182 = Var(within=Binary, bounds=(0,1), initialize=0) m.b183 = Var(within=Binary, bounds=(0,1), initialize=0) m.b184 = Var(within=Binary, bounds=(0,1), initialize=0) m.b185 = Var(within=Binary, bounds=(0,1), initialize=0) m.b186 = Var(within=Binary, bounds=(0,1), initialize=0) m.b187 = Var(within=Binary, bounds=(0,1), initialize=0) m.b188 = Var(within=Binary, bounds=(0,1), initialize=0) m.b189 = Var(within=Binary, bounds=(0,1), initialize=0) m.b190 = Var(within=Binary, bounds=(0,1), initialize=0) m.b191 = Var(within=Binary, bounds=(0,1), initialize=0) m.b192 = Var(within=Binary, bounds=(0,1), initialize=0) m.b193 = Var(within=Binary, bounds=(0,1), initialize=0) m.b194 = Var(within=Binary, bounds=(0,1), initialize=0) m.b195 = Var(within=Binary, bounds=(0,1), initialize=0) m.b196 = Var(within=Binary, bounds=(0,1), initialize=0) m.b197 = Var(within=Binary, bounds=(0,1), initialize=0) m.b198 = Var(within=Binary, bounds=(0,1), initialize=0) m.b199 = Var(within=Binary, bounds=(0,1), initialize=0) m.b200 = Var(within=Binary, bounds=(0,1), initialize=0) m.b201 = Var(within=Binary, bounds=(0,1), initialize=0) m.b202 = Var(within=Binary, bounds=(0,1), initialize=0) m.b203 = Var(within=Binary, bounds=(0,1), initialize=0) m.b204 = Var(within=Binary, bounds=(0,1), initialize=0) m.b205 = Var(within=Binary, bounds=(0,1), initialize=0) m.b206 = Var(within=Binary, bounds=(0,1), initialize=0) m.b207 = Var(within=Binary, bounds=(0,1), initialize=0) m.b208 = Var(within=Binary, bounds=(0,1), initialize=0) m.b209 = Var(within=Binary, bounds=(0,1), initialize=0) m.b210 = Var(within=Binary, bounds=(0,1), initialize=0) m.b211 = Var(within=Binary, bounds=(0,1), initialize=0) m.b212 = Var(within=Binary, bounds=(0,1), initialize=0) m.b213 = Var(within=Binary, bounds=(0,1), initialize=0) m.b214 = Var(within=Binary, bounds=(0,1), initialize=0) m.b215 = Var(within=Binary, bounds=(0,1), initialize=0) m.b216 = Var(within=Binary, bounds=(0,1), initialize=0) m.b217 = Var(within=Binary, bounds=(0,1), initialize=0) m.b218 = Var(within=Binary, bounds=(0,1), initialize=0) m.b219 = Var(within=Binary, bounds=(0,1), initialize=0) m.b220 = Var(within=Binary, bounds=(0,1), initialize=0) m.b221 = Var(within=Binary, bounds=(0,1), initialize=0) m.b222 = Var(within=Binary, bounds=(0,1), initialize=0) m.b223 = Var(within=Binary, bounds=(0,1), initialize=0) m.b224 = Var(within=Binary, bounds=(0,1), initialize=0) m.b225 = Var(within=Binary, bounds=(0,1), initialize=0) m.b226 = Var(within=Binary, bounds=(0,1), initialize=0) m.b227 = Var(within=Binary, bounds=(0,1), initialize=0) m.b228 = Var(within=Binary, bounds=(0,1), initialize=0) m.b229 = Var(within=Binary, bounds=(0,1), initialize=0) m.b230 = Var(within=Binary, bounds=(0,1), initialize=0) m.b231 = Var(within=Binary, bounds=(0,1), initialize=0) m.b232 = Var(within=Binary, bounds=(0,1), initialize=0) m.b233 = Var(within=Binary, bounds=(0,1), initialize=0) m.b234 = Var(within=Binary, bounds=(0,1), initialize=0) m.b235 = Var(within=Binary, bounds=(0,1), initialize=0) m.b236 = Var(within=Binary, bounds=(0,1), initialize=0) m.b237 = Var(within=Binary, bounds=(0,1), initialize=0) m.b238 = Var(within=Binary, bounds=(0,1), initialize=0) m.b239 = Var(within=Binary, bounds=(0,1), initialize=0) m.b240 = Var(within=Binary, bounds=(0,1), initialize=0) m.b241 = Var(within=Binary, bounds=(0,1), initialize=0) m.b242 = Var(within=Binary, bounds=(0,1), initialize=0) m.b243 = Var(within=Binary, bounds=(0,1), initialize=0) m.b244 = Var(within=Binary, bounds=(0,1), initialize=0) m.b245 = Var(within=Binary, bounds=(0,1), initialize=0) m.b246 = Var(within=Binary, bounds=(0,1), initialize=0) m.b247 = Var(within=Binary, bounds=(0,1), initialize=0) m.b248 = Var(within=Binary, bounds=(0,1), initialize=0) m.b249 = Var(within=Binary, bounds=(0,1), initialize=0) m.b250 = Var(within=Binary, bounds=(0,1), initialize=0) m.b251 = Var(within=Binary, bounds=(0,1), initialize=0) m.b252 = Var(within=Binary, bounds=(0,1), initialize=0) m.b253 = Var(within=Binary, bounds=(0,1), initialize=0) m.b254 = Var(within=Binary, bounds=(0,1), initialize=0) m.b255 = Var(within=Binary, bounds=(0,1), initialize=0) m.b256 = Var(within=Binary, bounds=(0,1), initialize=0) m.b257 = Var(within=Binary, bounds=(0,1), initialize=0) m.b258 = Var(within=Binary, bounds=(0,1), initialize=0) m.b259 = Var(within=Binary, bounds=(0,1), initialize=0) m.b260 = Var(within=Binary, bounds=(0,1), initialize=0) m.b261 = Var(within=Binary, bounds=(0,1), initialize=0) m.b262 = Var(within=Binary, bounds=(0,1), initialize=0) m.b263 = Var(within=Binary, bounds=(0,1), initialize=0) m.b264 = Var(within=Binary, bounds=(0,1), initialize=0) m.b265 = Var(within=Binary, bounds=(0,1), initialize=0) m.b266 = Var(within=Binary, bounds=(0,1), initialize=0) m.b267 = Var(within=Binary, bounds=(0,1), initialize=0) m.b268 = Var(within=Binary, bounds=(0,1), initialize=0) m.b269 = Var(within=Binary, bounds=(0,1), initialize=0) m.b270 = Var(within=Binary, bounds=(0,1), initialize=0) m.b271 = Var(within=Binary, bounds=(0,1), initialize=0) m.b272 = Var(within=Binary, bounds=(0,1), initialize=0) m.b273 = Var(within=Binary, bounds=(0,1), initialize=0) m.b274 = Var(within=Binary, bounds=(0,1), initialize=0) m.b275 = Var(within=Binary, bounds=(0,1), initialize=0) m.b276 = Var(within=Binary, bounds=(0,1), initialize=0) m.b277 = Var(within=Binary, bounds=(0,1), initialize=0) m.b278 = Var(within=Binary, bounds=(0,1), initialize=0) m.b279 = Var(within=Binary, bounds=(0,1), initialize=0) m.b280 = Var(within=Binary, bounds=(0,1), initialize=0) m.b281 = Var(within=Binary, bounds=(0,1), initialize=0) m.b282 = Var(within=Binary, bounds=(0,1), initialize=0) m.b283 = Var(within=Binary, bounds=(0,1), initialize=0) m.b284 = Var(within=Binary, bounds=(0,1), initialize=0) m.b285 = Var(within=Binary, bounds=(0,1), initialize=0) m.b286 = Var(within=Binary, bounds=(0,1), initialize=0) m.b287 = Var(within=Binary, bounds=(0,1), initialize=0) m.b288 = Var(within=Binary, bounds=(0,1), initialize=0) m.b289 = Var(within=Binary, bounds=(0,1), initialize=0) m.b290 = Var(within=Binary, bounds=(0,1), initialize=0) m.b291 = Var(within=Binary, bounds=(0,1), initialize=0) m.b292 = Var(within=Binary, bounds=(0,1), initialize=0) m.b293 = Var(within=Binary, bounds=(0,1), initialize=0) m.b294 = Var(within=Binary, bounds=(0,1), initialize=0) m.b295 = Var(within=Binary, bounds=(0,1), initialize=0) m.b296 = Var(within=Binary, bounds=(0,1), initialize=0) m.b297 = Var(within=Binary, bounds=(0,1), initialize=0) m.b298 = Var(within=Binary, bounds=(0,1), initialize=0) m.b299 = Var(within=Binary, bounds=(0,1), initialize=0) m.b300 = Var(within=Binary, bounds=(0,1), initialize=0) m.b301 = Var(within=Binary, bounds=(0,1), initialize=0) m.b302 = Var(within=Binary, bounds=(0,1), initialize=0) m.b303 = Var(within=Binary, bounds=(0,1), initialize=0) m.b304 = Var(within=Binary, bounds=(0,1), initialize=0) m.b305 = Var(within=Binary, bounds=(0,1), initialize=0) m.b306 = Var(within=Binary, bounds=(0,1), initialize=0) m.b307 = Var(within=Binary, bounds=(0,1), initialize=0) m.b308 = Var(within=Binary, bounds=(0,1), initialize=0) m.b309 = Var(within=Binary, bounds=(0,1), initialize=0) m.b310 = Var(within=Binary, bounds=(0,1), initialize=0) m.b311 = Var(within=Binary, bounds=(0,1), initialize=0) m.b312 = Var(within=Binary, bounds=(0,1), initialize=0) m.b313 = Var(within=Binary, bounds=(0,1), initialize=0) m.b314 = Var(within=Binary, bounds=(0,1), initialize=0) m.b315 = Var(within=Binary, bounds=(0,1), initialize=0) m.b316 = Var(within=Binary, bounds=(0,1), initialize=0) m.b317 = Var(within=Binary, bounds=(0,1), initialize=0) m.b318 = Var(within=Binary, bounds=(0,1), initialize=0) m.b319 = Var(within=Binary, bounds=(0,1), initialize=0) m.b320 = Var(within=Binary, bounds=(0,1), initialize=0) m.b321 = Var(within=Binary, bounds=(0,1), initialize=0) m.b322 = Var(within=Binary, bounds=(0,1), initialize=0) m.b323 = Var(within=Binary, bounds=(0,1), initialize=0) m.b324 = Var(within=Binary, bounds=(0,1), initialize=0) m.b325 = Var(within=Binary, bounds=(0,1), initialize=0) m.b326 = Var(within=Binary, bounds=(0,1), initialize=0) m.b327 = Var(within=Binary, bounds=(0,1), initialize=0) m.b328 = Var(within=Binary, bounds=(0,1), initialize=0) m.b329 = Var(within=Binary, bounds=(0,1), initialize=0) m.b330 = Var(within=Binary, bounds=(0,1), initialize=0) m.b331 = Var(within=Binary, bounds=(0,1), initialize=0) m.b332 = Var(within=Binary, bounds=(0,1), initialize=0) m.b333 = Var(within=Binary, bounds=(0,1), initialize=0) m.b334 = Var(within=Binary, bounds=(0,1), initialize=0) m.b335 = Var(within=Binary, bounds=(0,1), initialize=0) m.b336 = Var(within=Binary, bounds=(0,1), initialize=0) m.b337 = Var(within=Binary, bounds=(0,1), initialize=0) m.b338 = Var(within=Binary, bounds=(0,1), initialize=0) m.b339 = Var(within=Binary, bounds=(0,1), initialize=0) m.b340 = Var(within=Binary, bounds=(0,1), initialize=0) m.b341 = Var(within=Binary, bounds=(0,1), initialize=0) m.b342 = Var(within=Binary, bounds=(0,1), initialize=0) m.b343 = Var(within=Binary, bounds=(0,1), initialize=0) m.obj = Objective(sense=maximize, expr= -18536 * m.b1 * m.b2 + 291597 * m.b1 - 32641 * m.b2 - 422274 * m.b1 * m.b7 + 306604 * m.b7 - 278758 * m.b1 * m.b8 + 355770 * m.b8 + 126398 * m.b1 * m.b43 + 146744 * m.b43 - 80296 * m.b1 * m.b50 + 46212 * m.b50 + 90272 * m.b1 * m.b295 - 221026 * m.b295 + 107590 * m.b2 * m.b3 + 363764 * m.b3 - 90358 * m.b2 * m.b9 + 17167 * m.b9 + 138182 * m.b2 * m.b44 - 298970 * m.b44 - 181260 * m.b2 * m.b51 + 274721 * m.b51 + 109664 * m.b2 * m.b296 - 241274 * m.b296 - 19532 * m.b3 * m.b4 + 152028 * m.b4 - 453278 * m.b3 * m.b10 + 90387 * m.b10 - 346010 * m.b3 * m.b45 - 292180 * m.b45 + 87832 * m.b3 * m.b52 + 70070 * m.b52 - 104130 * m.b3 * m.b297 + 41621 * m.b297 + 192916 * m.b4 * m.b5 - 301909 * m.b5 - 52632 * m.b4 * m.b11 + 295006 * m.b11 + 20442 * m.b4 * m.b46 + 117620 * m.b46 - 288092 * m.b4 * m.b53 + 313696 * m.b53 - 157158 * m.b4 * m.b298 - 106029 * m.b298 - 319348 * m.b5 * m.b6 + 138514 * m.b6 + 268056 * m.b5 * m.b12 - 31656 * m.b12 + 278362 * m.b5 * m.b47 - 179914 * m.b47 + 93596 * m.b5 * m.b54 - 102619 * m.b54 + 90236 * m.b5 * m.b299 + 43477 * m.b299 + 5970 * m.b6 * m.b7 - 233756 * m.b6 * m.b13 + 140106 * m.b13 + 51024 * m.b6 * m.b48 + 291032 * m.b48 + 41136 * m.b6 * m.b55 + 238920 * m.b55 + 177946 * m.b6 * m.b300 + 275637 * m.b300 - 21056 * m.b7 * m.b14 - 185950 * m.b14 - 372018 * m.b7 * m.b49 + 470451 * m.b49 + 215058 * m.b7 * m.b56 - 187683 * m.b56 - 18888 * m.b7 * m.b301 + 187962 * m.b301 - 345956 * m.b8 * m.b9 + 1312 * m.b8 * m.b14 - 135444 * m.b8 * m.b15 + 56109 * m.b15 + 394962 * m.b8 * m.b57 - 415645 * m.b57 - 347656 * m.b8 * m.b302 + 419763 * m.b302 + 160510 * m.b9 * m.b10 + 315226 * m.b9 * m.b16 - 299313 * m.b16 - 2940 * m.b9 * m.b58 - 89882 * m.b58 - 70816 * m.b9 * m.b303 + 257107 * m.b303 + 28104 * m.b10 * m.b11 + 7692 * m.b10 * m.b17 - 76254 * m.b17 - 76858 * m.b10 * m.b59 - 162165 * m.b59 + 153056 * m.b10 * m.b304 - 12538 * m.b304 + 950 * m.b11 * m.b12 - 235358 * m.b11 * m.b18 - 86313 * m.b18 - 123138 * m.b11 * m.b60 + 182868 * m.b60 - 207938 * m.b11 * m.b305 + 139799 * m.b305 + 19380 * m.b12 * m.b13 - 167616 * m.b12 * m.b19 + 350830 * m.b19 - 64312 * m.b12 * m.b61 - 196376 * m.b61 + 6854 * m.b12 * m.b306 - 126961 * m.b306 - 61640 * m.b13 * m.b14 - 247926 * m.b13 * m.b20 + 534159 * m.b20 + 413752 * m.b13 * m.b62 + 23239 * m.b62 - 170022 * m.b13 * m.b307 + 141626 * m.b307 + 73182 * m.b14 * m.b21 + 89407 * m.b21 + 100330 * m.b14 * m.b63 - 12879 * m.b63 + 279772 * m.b14 * m.b308 - 45167 * m.b308 + 76954 * m.b15 * m.b16 + 216042 * m.b15 * m.b21 + 82820 * m.b15 * m.b22 + 109800 * m.b22 - 100728 * m.b15 * m.b64 - 159422 * m.b64 - 251862 * m.b15 * m.b309 + 369226 * m.b309 + 102082 * m.b16 * m.b17 - 169442 * m.b16 * m.b23 + 250492 * m.b23 + 117840 * m.b16 * m.b65 - 134618 * m.b65 + 155966 * m.b16 * m.b310 - 283121 * m.b310 + 186214 * m.b17 * m.b18 + 174310 * m.b17 * m.b24 - 405258 * m.b24 - 172104 * m.b17 * m.b66 + 72080 * m.b66 - 145686 * m.b17 * m.b311 - 168811 * m.b311 + 42790 * m.b18 * m.b19 - 230328 * m.b18 * m.b25 + 298664 * m.b25 + 221668 * m.b18 * m.b67 - 251252 * m.b67 + 187640 * m.b18 * m.b312 - 5009 * m.b312 - 154214 * m.b19 * m.b20 - 138184 * m.b19 * m.b26 + 330041 * m.b26 - 63200 * m.b19 * m.b68 - 122789 * m.b68 - 221236 * m.b19 * m.b313 + 423021 * m.b313 - 221106 * m.b20 * m.b21 - 166148 * m.b20 * m.b27 - 366843 * m.b27 - 129310 * m.b20 * m.b69 + 601974 * m.b69 - 149614 * m.b20 * m.b314 + 350608 * m.b314 + 58320 * m.b21 * m.b28 - 118628 * m.b28 - 344334 * m.b21 * m.b70 + 472305 * m.b70 + 39082 * m.b21 * m.b315 - 167667 * m.b315 - 204752 * m.b22 * m.b23 + 118898 * m.b22 * m.b28 - 38690 * m.b22 * m.b29 + 222121 * m.b29 - 220262 * m.b22 * m.b71 - 7066 * m.b71 + 42386 * m.b22 * m.b316 + 349628 * m.b316 + 67224 * m.b23 * m.b24 - 392926 * m.b23 * m.b30 + 341053 * m.b30 + 133874 * m.b23 * m.b72 - 343540 * m.b72 + 65038 * m.b23 * m.b317 + 161563 * m.b317 + 15642 * m.b24 * m.b25 + 214210 * m.b24 * m.b31 - 269292 * m.b31 + 238534 * m.b24 * m.b73 - 445410 * m.b73 + 100596 * m.b24 * m.b318 + 9071 * m.b318 - 290130 * m.b25 * m.b26 - 50806 * m.b25 * m.b32 + 349514 * m.b32 - 64360 * m.b25 * m.b74 - 216499 * m.b74 + 22654 * m.b25 * m.b319 + 347925 * m.b319 + 28498 * m.b26 * m.b27 + 133994 * m.b26 * m.b33 - 78067 * m.b33 + 81216 * m.b26 * m.b75 - 436199 * m.b75 - 475476 * m.b26 * m.b320 + 239480 * m.b320 + 443598 * m.b27 * m.b28 + 374746 * m.b27 * m.b34 - 14448 * m.b34 - 69418 * m.b27 * m.b76 - 6854 * m.b76 + 122410 * m.b27 * m.b321 + 150694 * m.b321 - 2556 * m.b28 * m.b35 + 61922 * m.b35 - 241896 * m.b28 * m.b77 + 70937 * m.b77 - 139108 * m.b28 * m.b322 + 203491 * m.b322 - 126820 * m.b29 * m.b30 + 123784 * m.b29 * m.b35 - 57258 * m.b29 * m.b36 - 99386 * m.b36 - 74014 * m.b29 * m.b78 + 75318 * m.b78 - 271244 * m.b29 * m.b323 - 24784 * m.b323 + 21424 * m.b30 * m.b31 - 78512 * m.b30 * m.b37 - 115156 * m.b37 + 13172 * m.b30 * m.b79 + 145231 * m.b79 - 118444 * m.b30 * m.b324 + 327211 * m.b324 + 143532 * m.b31 * m.b32 + 147324 * m.b31 * m.b38 - 202862 * m.b38 + 106900 * m.b31 * m.b80 - 404764 * m.b80 - 94806 * m.b31 * m.b325 + 241083 * m.b325 + 73548 * m.b32 * m.b33 - 426282 * m.b32 * m.b39 + 684125 * m.b39 - 295936 * m.b32 * m.b81 + 297762 * m.b81 - 143084 * m.b32 * m.b326 + 528749 * m.b326 + 72202 * m.b33 * m.b34 - 202764 * m.b33 * m.b40 + 320403 * m.b40 - 165886 * m.b33 * m.b82 + 189399 * m.b82 + 245040 * m.b33 * m.b327 - 204051 * m.b327 + 52874 * m.b34 * m.b35 - 282144 * m.b34 * m.b41 + 181160 * m.b41 - 134160 * m.b34 * m.b83 + 299687 * m.b83 - 54622 * m.b34 * m.b328 - 68191 * m.b328 + 62296 * m.b35 * m.b42 + 262916 * m.b42 - 536110 * m.b35 * m.b84 + 809194 * m.b84 + 175868 * m.b35 * m.b329 - 149454 * m.b329 - 181850 * m.b36 * m.b37 + 255380 * m.b36 * m.b42 + 244444 * m.b36 * m.b43 + 265968 * m.b36 * m.b85 - 398547 * m.b85 - 327912 * m.b36 * m.b330 - 86538 * m.b330 + 458612 * m.b37 * m.b38 - 108568 * m.b37 * m.b44 - 118918 * m.b37 * m.b86 + 137780 * m.b86 + 259548 * m.b37 * m.b331 - 165045 * m.b331 - 303944 * m.b38 * m.b39 - 70320 * m.b38 * m.b45 + 18676 * m.b38 * m.b87 - 264056 * m.b87 + 155376 * m.b38 * m.b332 + 54495 * m.b332 - 442598 * m.b39 * m.b40 - 322042 * m.b39 * m.b46 - 240400 * m.b39 * m.b88 + 277465 * m.b88 + 367016 * m.b39 * m.b333 - 28694 * m.b333 + 87252 * m.b40 * m.b41 - 67098 * m.b40 * m.b47 - 101196 * m.b40 * m.b89 + 210778 * m.b89 + 85598 * m.b40 * m.b334 - 212415 * m.b334 - 174486 * m.b41 * m.b42 - 285136 * m.b41 * m.b48 + 63234 * m.b41 * m.b90 + 39224 * m.b90 + 228960 * m.b41 * m.b335 - 257665 * m.b335 - 375130 * m.b42 * m.b49 + 41944 * m.b42 * m.b91 - 81832 * m.b91 - 335836 * m.b42 * m.b336 + 666735 * m.b336 - 101422 * m.b43 * m.b44 - 384900 * m.b43 * m.b49 - 238070 * m.b43 * m.b92 + 184957 * m.b92 + 60062 * m.b43 * m.b337 - 105053 * m.b337 + 365926 * m.b44 * m.b45 + 196784 * m.b44 * m.b93 - 192434 * m.b93 + 107038 * m.b44 * m.b338 - 110873 * m.b338 + 397648 * m.b45 * m.b46 + 234726 * m.b45 * m.b94 - 430449 * m.b94 + 2390 * m.b45 * m.b339 + 18031 * m.b339 - 31598 * m.b46 * m.b47 - 247214 * m.b46 * m.b95 + 193928 * m.b95 - 52476 * m.b46 * m.b340 - 323544 * m.b340 + 133060 * m.b47 * m.b48 - 75190 * m.b47 * m.b96 - 186145 * m.b96 + 122292 * m.b47 * m.b341 - 10720 * m.b341 + 109184 * m.b48 * m.b49 - 523390 * m.b48 * m.b97 + 470321 * m.b97 - 66806 * m.b48 * m.b342 + 159284 * m.b342 + 89280 * m.b49 * m.b98 + 89722 * m.b98 - 7318 * m.b49 * m.b343 + 456546 * m.b343 - 149478 * m.b50 * m.b51 + 204684 * m.b50 * m.b56 + 31190 * m.b50 * m.b57 - 142450 * m.b50 * m.b92 + 43926 * m.b50 * m.b99 + 217172 * m.b99 + 212092 * m.b51 * m.b52 - 189828 * m.b51 * m.b58 - 35084 * m.b51 * m.b93 - 205884 * m.b51 * m.b100 + 247978 * m.b100 - 403170 * m.b52 * m.b53 + 206892 * m.b52 * m.b59 + 3654 * m.b52 * m.b94 - 247440 * m.b52 * m.b101 + 308040 * m.b101 - 37520 * m.b53 * m.b54 - 26296 * m.b53 * m.b60 - 296066 * m.b53 * m.b95 + 423752 * m.b53 * m.b102 - 286347 * m.b102 + 336358 * m.b54 * m.b55 + 29446 * m.b54 * m.b61 - 36040 * m.b54 * m.b96 - 180602 * m.b54 * m.b103 + 541888 * m.b103 - 357250 * m.b55 * m.b56 - 291942 * m.b55 * m.b62 - 137026 * m.b55 * m.b97 - 69116 * m.b55 * m.b104 + 439374 * m.b104 + 29818 * m.b56 * m.b63 + 58064 * m.b56 * m.b98 + 224992 * m.b56 * m.b105 - 195557 * m.b105 + 268744 * m.b57 * m.b58 + 39540 * m.b57 * m.b63 + 118180 * m.b57 * m.b64 - 21326 * m.b57 * m.b106 - 196272 * m.b106 + 16256 * m.b58 * m.b59 + 90124 * m.b58 * m.b65 - 2592 * m.b58 * m.b107 - 65933 * m.b107 - 202856 * m.b59 * m.b60 + 66050 * m.b59 * m.b66 + 314846 * m.b59 * m.b108 + 79750 * m.b108 + 163602 * m.b60 * m.b61 - 132360 * m.b60 * m.b67 - 44688 * m.b60 * m.b109 + 319338 * m.b109 + 33392 * m.b61 * m.b62 + 260082 * m.b61 * m.b68 - 29458 * m.b61 * m.b110 + 328254 * m.b110 - 76524 * m.b62 * m.b63 - 435250 * m.b62 * m.b69 + 310094 * m.b62 * m.b111 - 106081 * m.b111 + 244934 * m.b63 * m.b70 - 312340 * m.b63 * m.b112 + 7737 * m.b112 + 176338 * m.b64 * m.b65 + 145176 * m.b64 * m.b70 + 100844 * m.b64 * m.b71 - 120966 * m.b64 * m.b113 + 376365 * m.b113 - 45272 * m.b65 * m.b66 + 284076 * m.b65 * m.b72 - 353870 * m.b65 * m.b114 - 12845 * m.b114 - 144266 * m.b66 * m.b67 + 77486 * m.b66 * m.b73 + 73946 * m.b66 * m.b115 + 315698 * m.b115 - 105236 * m.b67 * m.b68 + 524878 * m.b67 * m.b74 + 137820 * m.b67 * m.b116 - 196368 * m.b116 - 89948 * m.b68 * m.b69 + 373490 * m.b68 * m.b75 - 129610 * m.b68 * m.b117 + 295357 * m.b117 - 559392 * m.b69 * m.b70 - 101418 * m.b69 * m.b76 + 111370 * m.b69 * m.b118 - 6214 * m.b118 - 5328 * m.b70 * m.b77 - 425666 * m.b70 * m.b119 + 341738 * m.b119 - 112328 * m.b71 * m.b72 - 76716 * m.b71 * m.b77 + 222696 * m.b71 * m.b78 + 99898 * m.b71 * m.b120 + 471982 * m.b120 + 294122 * m.b72 * m.b73 - 213508 * m.b72 * m.b79 + 300844 * m.b72 * m.b121 - 443699 * m.b121 + 215392 * m.b73 * m.b74 - 68856 * m.b73 * m.b80 + 134142 * m.b73 * m.b122 + 84988 * m.b122 + 22944 * m.b74 * m.b75 - 350756 * m.b74 * m.b81 + 84900 * m.b74 * m.b123 + 135298 * m.b123 + 328486 * m.b75 * m.b76 - 27994 * m.b75 * m.b82 + 94256 * m.b75 * m.b124 + 86383 * m.b124 + 163562 * m.b76 * m.b77 - 188328 * m.b76 * m.b83 - 119176 * m.b76 * m.b125 + 202421 * m.b125 - 69814 * m.b77 * m.b84 + 88318 * m.b77 * m.b126 + 230887 * m.b126 + 51824 * m.b78 * m.b79 - 310278 * m.b78 * m.b84 + 51540 * m.b78 * m.b85 - 92404 * m.b78 * m.b127 + 398447 * m.b127 + 28606 * m.b79 * m.b80 - 368164 * m.b79 * m.b86 + 197608 * m.b79 * m.b128 + 74966 * m.b128 + 449552 * m.b80 * m.b81 + 156444 * m.b80 * m.b87 + 136882 * m.b80 * m.b129 - 233342 * m.b129 + 214960 * m.b81 * m.b82 - 431630 * m.b81 * m.b88 - 181714 * m.b81 * m.b130 + 4492 * m.b130 + 13194 * m.b82 * m.b83 - 263180 * m.b82 * m.b89 - 149892 * m.b82 * m.b131 + 25279 * m.b131 - 256776 * m.b83 * m.b84 - 176814 * m.b83 * m.b90 + 143510 * m.b83 * m.b132 + 114986 * m.b132 + 31126 * m.b84 * m.b91 - 476536 * m.b84 * m.b133 + 127964 * m.b133 + 291940 * m.b85 * m.b86 + 105976 * m.b85 * m.b91 - 30008 * m.b85 * m.b92 + 111678 * m.b85 * m.b134 - 70223 * m.b134 + 109696 * m.b86 * m.b87 + 184672 * m.b86 * m.b93 - 374786 * m.b86 * m.b135 + 207980 * m.b135 + 97036 * m.b87 * m.b88 + 436272 * m.b87 * m.b94 - 290012 * m.b87 * m.b136 + 98627 * m.b136 + 17870 * m.b88 * m.b89 + 267604 * m.b88 * m.b95 - 265410 * m.b88 * m.b137 + 156776 * m.b137 - 134890 * m.b89 * m.b90 + 28482 * m.b89 * m.b96 + 31358 * m.b89 * m.b138 + 111355 * m.b138 + 191676 * m.b90 * m.b91 + 55978 * m.b90 * m.b97 - 77632 * m.b90 * m.b139 + 234521 * m.b139 + 2184 * m.b91 * m.b98 - 209242 * m.b91 * m.b140 + 426591 * m.b140 - 140560 * m.b92 * m.b93 + 92518 * m.b92 * m.b98 + 88656 * m.b92 * m.b141 + 333652 * m.b141 + 78204 * m.b93 * m.b94 + 100852 * m.b93 * m.b142 + 77885 * m.b142 + 9794 * m.b94 * m.b95 + 98248 * m.b94 * m.b143 + 77435 * m.b143 + 104430 * m.b95 * m.b96 - 226404 * m.b95 * m.b144 + 155127 * m.b144 - 34898 * m.b96 * m.b97 + 385506 * m.b96 * m.b145 - 580829 * m.b145 - 236966 * m.b97 * m.b98 - 64340 * m.b97 * m.b146 + 144936 * m.b146 - 184524 * m.b98 * m.b147 + 546395 * m.b147 - 88042 * m.b99 * m.b100 + 163554 * m.b99 * m.b105 - 12528 * m.b99 * m.b106 - 354870 * m.b99 * m.b141 - 186384 * m.b99 * m.b148 + 278131 * m.b148 - 31122 * m.b100 * m.b101 - 210828 * m.b100 * m.b107 + 36560 * m.b100 * m.b142 + 3360 * m.b100 * m.b149 - 260964 * m.b149 - 23738 * m.b101 * m.b102 - 13436 * m.b101 * m.b108 - 319890 * m.b101 * m.b143 + 19546 * m.b101 * m.b150 + 62027 * m.b150 - 128764 * m.b102 * m.b103 + 40950 * m.b102 * m.b109 + 82966 * m.b102 * m.b144 + 177528 * m.b102 * m.b151 - 134706 * m.b151 - 366180 * m.b103 * m.b104 - 478990 * m.b103 * m.b110 + 22508 * m.b103 * m.b145 + 48252 * m.b103 * m.b152 - 110279 * m.b152 + 223756 * m.b104 * m.b105 - 257764 * m.b104 * m.b111 - 250628 * m.b104 * m.b146 - 158816 * m.b104 * m.b153 + 110431 * m.b153 - 52624 * m.b105 * m.b112 + 43780 * m.b105 * m.b147 - 212344 * m.b105 * m.b154 + 273230 * m.b154 + 247158 * m.b106 * m.b107 + 197956 * m.b106 * m.b112 - 317620 * m.b106 * m.b113 + 298904 * m.b106 * m.b155 - 53476 * m.b155 - 219594 * m.b107 * m.b108 + 239014 * m.b107 * m.b114 + 78708 * m.b107 * m.b156 - 165046 * m.b156 - 39550 * m.b108 * m.b109 - 189208 * m.b108 * m.b115 - 12558 * m.b108 * m.b157 + 384400 * m.b157 - 105146 * m.b109 * m.b110 - 356186 * m.b109 * m.b116 - 134056 * m.b109 * m.b158 + 338079 * m.b158 - 272990 * m.b110 * m.b111 + 33840 * m.b110 * m.b117 + 196236 * m.b110 * m.b159 - 295309 * m.b159 + 192420 * m.b111 * m.b112 + 205482 * m.b111 * m.b118 + 34920 * m.b111 * m.b160 - 35984 * m.b160 - 202442 * m.b112 * m.b119 + 161556 * m.b112 * m.b161 - 323441 * m.b161 + 230056 * m.b113 * m.b114 - 104322 * m.b113 * m.b119 - 94896 * m.b113 * m.b120 - 344982 * m.b113 * m.b162 + 33447 * m.b162 - 134132 * m.b114 * m.b115 - 76502 * m.b114 * m.b121 + 121124 * m.b114 * m.b163 - 374777 * m.b163 + 146952 * m.b115 * m.b116 - 417006 * m.b115 * m.b122 - 111948 * m.b115 * m.b164 + 35864 * m.b164 + 167716 * m.b116 * m.b117 + 45738 * m.b116 * m.b123 + 250696 * m.b116 * m.b165 + 75916 * m.b165 - 203120 * m.b117 * m.b118 - 161878 * m.b117 * m.b124 - 297662 * m.b117 * m.b166 + 65704 * m.b166 - 96956 * m.b118 * m.b119 + 34240 * m.b118 * m.b125 - 38588 * m.b118 * m.b167 + 44977 * m.b167 - 107586 * m.b119 * m.b126 + 253496 * m.b119 * m.b168 - 47576 * m.b168 + 98238 * m.b120 * m.b121 - 219040 * m.b120 * m.b126 - 285684 * m.b120 * m.b127 - 542480 * m.b120 * m.b169 + 143713 * m.b169 + 192688 * m.b121 * m.b122 - 36554 * m.b121 * m.b128 + 408684 * m.b121 * m.b170 - 263046 * m.b170 - 58886 * m.b122 * m.b123 + 71614 * m.b122 * m.b129 - 92528 * m.b122 * m.b171 - 230947 * m.b171 + 41198 * m.b123 * m.b124 - 332986 * m.b123 * m.b130 - 50560 * m.b123 * m.b172 - 499449 * m.b172 - 38628 * m.b124 * m.b125 + 274450 * m.b124 * m.b131 - 382164 * m.b124 * m.b173 - 13326 * m.b173 - 208020 * m.b125 * m.b126 - 125376 * m.b125 * m.b132 + 52118 * m.b125 * m.b174 - 697730 * m.b174 - 115940 * m.b126 * m.b133 + 100494 * m.b126 * m.b175 - 350594 * m.b175 - 452294 * m.b127 * m.b128 + 207810 * m.b127 * m.b133 - 23366 * m.b127 * m.b134 - 150956 * m.b127 * m.b176 - 53052 * m.b176 + 144782 * m.b128 * m.b129 + 308908 * m.b128 * m.b135 - 312382 * m.b128 * m.b177 - 324160 * m.b177 + 170080 * m.b129 * m.b130 + 126830 * m.b129 * m.b136 - 183504 * m.b129 * m.b178 - 87455 * m.b178 - 161700 * m.b130 * m.b131 + 24876 * m.b130 * m.b137 + 472460 * m.b130 * m.b179 - 84631 * m.b179 + 299710 * m.b131 * m.b132 - 146124 * m.b131 * m.b138 - 167002 * m.b131 * m.b180 + 130974 * m.b180 - 192110 * m.b132 * m.b133 - 311430 * m.b132 * m.b139 - 44276 * m.b132 * m.b181 - 55811 * m.b181 + 134428 * m.b133 * m.b140 + 186420 * m.b133 * m.b182 - 476908 * m.b182 - 83216 * m.b134 * m.b135 - 208590 * m.b134 * m.b140 - 31356 * m.b134 * m.b141 + 375296 * m.b134 * m.b183 - 402412 * m.b183 + 17602 * m.b135 * m.b136 - 53210 * m.b135 * m.b142 - 231258 * m.b135 * m.b184 - 179070 * m.b184 + 59544 * m.b136 * m.b137 - 76198 * m.b136 * m.b143 - 35020 * m.b136 * m.b185 - 86258 * m.b185 - 76062 * m.b137 * m.b138 - 168376 * m.b137 * m.b144 + 111876 * m.b137 * m.b186 - 194400 * m.b186 - 52278 * m.b138 * m.b139 + 291574 * m.b138 * m.b145 - 271178 * m.b138 * m.b187 + 498146 * m.b187 - 71600 * m.b139 * m.b140 - 197046 * m.b139 * m.b146 + 240944 * m.b139 * m.b188 + 239411 * m.b188 - 390218 * m.b140 * m.b147 - 107960 * m.b140 * m.b189 - 139964 * m.b189 - 157078 * m.b141 * m.b142 - 195168 * m.b141 * m.b147 - 17488 * m.b141 * m.b190 - 249792 * m.b190 - 154730 * m.b142 * m.b143 + 71836 * m.b142 * m.b191 + 207131 * m.b191 + 40858 * m.b143 * m.b144 + 256842 * m.b143 * m.b192 - 179519 * m.b192 + 98712 * m.b144 * m.b145 - 138010 * m.b144 * m.b193 - 437821 * m.b193 + 125590 * m.b145 * m.b146 + 237768 * m.b145 * m.b194 - 86122 * m.b194 - 23482 * m.b146 * m.b147 + 120034 * m.b146 * m.b195 + 239290 * m.b195 - 343178 * m.b147 * m.b196 + 390393 * m.b196 - 108884 * m.b148 * m.b149 - 251464 * m.b148 * m.b154 - 7760 * m.b148 * m.b155 + 116750 * m.b148 * m.b190 - 118520 * m.b148 * m.b197 - 38133 * m.b197 + 123602 * m.b149 * m.b150 + 245004 * m.b149 * m.b156 - 53938 * m.b149 * m.b191 + 312784 * m.b149 * m.b198 - 551143 * m.b198 + 95122 * m.b150 * m.b151 + 4106 * m.b150 * m.b157 - 82216 * m.b150 * m.b192 - 284214 * m.b150 * m.b199 - 287639 * m.b199 + 82374 * m.b151 * m.b152 + 38598 * m.b151 * m.b158 - 60040 * m.b151 * m.b193 - 64170 * m.b151 * m.b200 + 50645 * m.b200 + 116668 * m.b152 * m.b153 + 131546 * m.b152 * m.b159 + 55650 * m.b152 * m.b194 - 213932 * m.b152 * m.b201 - 3268 * m.b201 + 157072 * m.b153 * m.b154 - 438372 * m.b153 * m.b160 + 102548 * m.b153 * m.b195 + 38 * m.b153 * m.b202 - 132873 * m.b202 - 161458 * m.b154 * m.b161 - 113980 * m.b154 * m.b196 + 35714 * m.b154 * m.b203 + 122149 * m.b203 + 65492 * m.b155 * m.b156 + 27186 * m.b155 * m.b161 - 194502 * m.b155 * m.b162 - 82368 * m.b155 * m.b204 + 417949 * m.b204 - 192884 * m.b156 * m.b157 + 253210 * m.b156 * m.b163 - 119438 * m.b156 * m.b205 - 429788 * m.b205 - 199944 * m.b157 * m.b158 - 236396 * m.b157 * m.b164 - 131124 * m.b157 * m.b206 - 160910 * m.b206 - 32690 * m.b158 * m.b159 - 132048 * m.b158 * m.b165 - 216018 * m.b158 * m.b207 + 63876 * m.b207 + 252918 * m.b159 * m.b160 + 126108 * m.b159 * m.b166 - 83500 * m.b159 * m.b208 + 288847 * m.b208 + 59624 * m.b160 * m.b161 + 101894 * m.b160 * m.b167 + 60984 * m.b160 * m.b209 + 57024 * m.b209 + 132798 * m.b161 * m.b168 + 427176 * m.b161 * m.b210 + 238681 * m.b210 + 278904 * m.b162 * m.b163 - 21302 * m.b162 * m.b168 + 185840 * m.b162 * m.b169 + 29148 * m.b162 * m.b211 + 156757 * m.b211 + 139120 * m.b163 * m.b164 + 168754 * m.b163 * m.b170 - 211558 * m.b163 * m.b212 + 97181 * m.b212 - 28052 * m.b164 * m.b165 + 68018 * m.b164 * m.b171 + 97530 * m.b164 * m.b213 + 33216 * m.b213 - 126656 * m.b165 * m.b166 + 143274 * m.b165 * m.b172 - 259046 * m.b165 * m.b214 + 380068 * m.b214 + 28908 * m.b166 * m.b167 - 270504 * m.b166 * m.b173 + 408398 * m.b166 * m.b215 - 103228 * m.b215 - 19224 * m.b167 * m.b168 + 105792 * m.b167 * m.b174 - 268736 * m.b167 * m.b216 + 242832 * m.b216 - 171660 * m.b168 * m.b175 - 78956 * m.b168 * m.b217 + 132667 * m.b217 + 46426 * m.b169 * m.b170 + 215860 * m.b169 * m.b175 - 99992 * m.b169 * m.b176 - 93080 * m.b169 * m.b218 + 145441 * m.b218 - 75538 * m.b170 * m.b171 + 84958 * m.b170 * m.b177 - 107192 * m.b170 * m.b219 - 127787 * m.b219 + 223824 * m.b171 * m.b172 + 507528 * m.b171 * m.b178 - 169410 * m.b171 * m.b220 + 301966 * m.b220 + 542298 * m.b172 * m.b173 - 137640 * m.b172 * m.b179 + 277702 * m.b172 * m.b221 - 136869 * m.b221 + 470668 * m.b173 * m.b174 - 186732 * m.b173 * m.b180 - 146914 * m.b173 * m.b222 - 198267 * m.b222 + 406700 * m.b174 * m.b175 + 233382 * m.b174 * m.b181 + 126800 * m.b174 * m.b223 - 221778 * m.b223 + 111484 * m.b175 * m.b182 + 38310 * m.b175 * m.b224 + 9089 * m.b224 + 531202 * m.b176 * m.b177 + 25980 * m.b176 * m.b182 - 124146 * m.b176 * m.b183 - 75984 * m.b176 * m.b225 + 54208 * m.b225 - 27640 * m.b177 * m.b178 + 187070 * m.b177 * m.b184 + 185112 * m.b177 * m.b226 - 427765 * m.b226 - 358116 * m.b178 * m.b179 - 119790 * m.b178 * m.b185 + 356432 * m.b178 * m.b227 - 115888 * m.b227 + 88606 * m.b179 * m.b180 + 147876 * m.b179 * m.b186 - 43924 * m.b179 * m.b228 - 10163 * m.b228 + 149246 * m.b180 * m.b181 - 212764 * m.b180 * m.b187 + 66698 * m.b180 * m.b229 + 122571 * m.b229 + 339316 * m.b181 * m.b182 - 275334 * m.b181 * m.b188 - 290712 * m.b181 * m.b230 + 504512 * m.b230 + 278068 * m.b182 * m.b189 + 12548 * m.b182 * m.b231 - 174084 * m.b231 + 344552 * m.b183 * m.b184 + 163378 * m.b183 * m.b189 + 222174 * m.b183 * m.b190 - 176430 * m.b183 * m.b232 + 264376 * m.b232 - 47736 * m.b184 * m.b185 + 150530 * m.b184 * m.b191 - 45018 * m.b184 * m.b233 + 123381 * m.b233 + 42650 * m.b185 * m.b186 + 106480 * m.b185 * m.b192 + 225932 * m.b185 * m.b234 - 131613 * m.b234 + 13422 * m.b186 * m.b187 - 68902 * m.b186 * m.b193 + 141878 * m.b186 * m.b235 - 123873 * m.b235 - 254264 * m.b187 * m.b188 - 10722 * m.b187 * m.b194 - 260786 * m.b187 * m.b236 + 178421 * m.b236 + 14524 * m.b188 * m.b189 - 301776 * m.b188 * m.b195 + 97084 * m.b188 * m.b237 - 223835 * m.b237 - 195702 * m.b189 * m.b196 + 127620 * m.b189 * m.b238 - 253226 * m.b238 - 123916 * m.b190 * m.b191 - 35004 * m.b190 * m.b196 + 337068 * m.b190 * m.b239 - 432869 * m.b239 - 364944 * m.b191 * m.b192 - 93830 * m.b191 * m.b240 + 144056 * m.b240 + 488856 * m.b192 * m.b193 - 45980 * m.b192 * m.b241 - 261364 * m.b241 + 431410 * m.b193 * m.b194 + 222328 * m.b193 * m.b242 - 200709 * m.b242 - 342762 * m.b194 * m.b195 - 199100 * m.b194 * m.b243 + 90061 * m.b243 + 94394 * m.b195 * m.b196 - 151018 * m.b195 * m.b244 + 94828 * m.b244 - 187316 * m.b196 * m.b245 - 121510 * m.b245 + 15200 * m.b197 * m.b198 + 157616 * m.b197 * m.b203 + 116836 * m.b197 * m.b204 + 125612 * m.b197 * m.b239 - 220478 * m.b197 * m.b246 + 435509 * m.b246 + 277956 * m.b198 * m.b199 + 321862 * m.b198 * m.b205 - 104154 * m.b198 * m.b240 + 278638 * m.b198 * m.b247 - 211552 * m.b247 + 123516 * m.b199 * m.b200 + 52388 * m.b199 * m.b206 + 400976 * m.b199 * m.b241 + 4656 * m.b199 * m.b248 - 171997 * m.b248 + 100926 * m.b200 * m.b201 - 224740 * m.b200 * m.b207 + 9166 * m.b200 * m.b242 - 45988 * m.b200 * m.b249 - 335631 * m.b249 - 5376 * m.b201 * m.b202 + 6592 * m.b201 * m.b208 - 40004 * m.b201 * m.b243 + 158330 * m.b201 * m.b250 + 240753 * m.b250 + 214174 * m.b202 * m.b203 - 94662 * m.b202 * m.b209 + 176630 * m.b202 * m.b244 - 25058 * m.b202 * m.b251 + 420457 * m.b251 - 126484 * m.b203 * m.b210 - 23362 * m.b203 * m.b245 - 501956 * m.b203 * m.b252 + 648128 * m.b252 + 118504 * m.b204 * m.b205 - 630582 * m.b204 * m.b210 - 201520 * m.b204 * m.b211 - 156768 * m.b204 * m.b253 + 358402 * m.b253 + 480390 * m.b205 * m.b206 - 12704 * m.b205 * m.b212 + 70962 * m.b205 * m.b254 + 285770 * m.b254 + 109848 * m.b206 * m.b207 + 88684 * m.b206 * m.b213 - 278366 * m.b206 * m.b255 - 429063 * m.b255 - 200326 * m.b207 * m.b208 + 62482 * m.b207 * m.b214 + 341002 * m.b207 * m.b256 - 318569 * m.b256 - 91104 * m.b208 * m.b209 - 29860 * m.b208 * m.b215 - 179496 * m.b208 * m.b257 + 164674 * m.b257 - 31104 * m.b209 * m.b210 + 39490 * m.b209 * m.b216 + 2348 * m.b209 * m.b258 - 60238 * m.b258 - 98228 * m.b210 * m.b217 - 18140 * m.b210 * m.b259 + 493317 * m.b259 + 49094 * m.b211 * m.b212 - 141240 * m.b211 * m.b217 + 39096 * m.b211 * m.b218 - 88092 * m.b211 * m.b260 + 681912 * m.b260 + 53846 * m.b212 * m.b213 + 176532 * m.b212 * m.b219 - 249572 * m.b212 * m.b261 + 138518 * m.b261 + 29188 * m.b213 * m.b214 - 248284 * m.b213 * m.b220 - 87396 * m.b213 * m.b262 - 399880 * m.b262 - 168262 * m.b214 * m.b215 - 250726 * m.b214 * m.b221 - 173772 * m.b214 * m.b263 + 215289 * m.b263 - 65668 * m.b215 * m.b216 + 81828 * m.b215 * m.b222 - 19980 * m.b215 * m.b264 + 453605 * m.b264 - 253650 * m.b216 * m.b217 + 23382 * m.b216 * m.b223 + 39518 * m.b216 * m.b265 - 21032 * m.b265 + 94512 * m.b217 * m.b224 + 212228 * m.b217 * m.b266 + 204296 * m.b266 + 63762 * m.b218 * m.b219 - 216422 * m.b218 * m.b224 - 287084 * m.b218 * m.b225 + 202846 * m.b218 * m.b267 - 7531 * m.b267 + 169600 * m.b219 * m.b220 - 38928 * m.b219 * m.b226 - 8200 * m.b219 * m.b268 - 188227 * m.b268 + 49782 * m.b220 * m.b221 - 321576 * m.b220 * m.b227 - 84044 * m.b220 * m.b269 + 564 * m.b269 + 161930 * m.b221 * m.b222 + 71462 * m.b221 * m.b228 - 36412 * m.b221 * m.b270 + 541279 * m.b270 + 169906 * m.b222 * m.b223 + 185060 * m.b222 * m.b229 - 55276 * m.b222 * m.b271 + 360364 * m.b271 + 300966 * m.b223 * m.b224 - 177640 * m.b223 * m.b230 + 142 * m.b223 * m.b272 + 293346 * m.b272 - 11066 * m.b224 * m.b231 - 224478 * m.b224 * m.b273 + 386380 * m.b273 + 112052 * m.b225 * m.b226 + 242446 * m.b225 * m.b231 + 77232 * m.b225 * m.b232 - 177078 * m.b225 * m.b274 - 57135 * m.b274 + 207174 * m.b226 * m.b227 + 274506 * m.b226 * m.b233 + 115614 * m.b226 * m.b275 - 6838 * m.b275 + 153898 * m.b227 * m.b228 - 1094 * m.b227 * m.b234 - 163058 * m.b227 * m.b276 + 148708 * m.b276 - 43214 * m.b228 * m.b229 + 13910 * m.b228 * m.b235 - 131806 * m.b228 * m.b277 + 213104 * m.b277 - 384186 * m.b229 * m.b230 - 68044 * m.b229 * m.b236 - 1456 * m.b229 * m.b278 - 270725 * m.b278 - 133368 * m.b230 * m.b231 + 39210 * m.b230 * m.b237 - 62328 * m.b230 * m.b279 + 303477 * m.b279 + 242172 * m.b231 * m.b238 - 4564 * m.b231 * m.b280 + 105078 * m.b280 - 200542 * m.b232 * m.b233 - 101046 * m.b232 * m.b238 + 28248 * m.b232 * m.b239 - 156214 * m.b232 * m.b281 + 282958 * m.b281 + 147918 * m.b233 * m.b234 - 278244 * m.b233 * m.b240 - 145382 * m.b233 * m.b282 + 432724 * m.b282 + 10112 * m.b234 * m.b235 - 193284 * m.b234 * m.b241 + 73642 * m.b234 * m.b283 + 36054 * m.b283 - 97568 * m.b235 * m.b236 - 62712 * m.b235 * m.b242 + 242126 * m.b235 * m.b284 - 106763 * m.b284 + 68666 * m.b236 * m.b237 - 33746 * m.b236 * m.b243 + 34636 * m.b236 * m.b285 - 364982 * m.b285 + 443202 * m.b237 * m.b238 - 44412 * m.b237 * m.b244 - 156080 * m.b237 * m.b286 + 263815 * m.b286 - 120120 * m.b238 * m.b245 - 85376 * m.b238 * m.b287 + 89405 * m.b287 + 75354 * m.b239 * m.b240 + 375308 * m.b239 * m.b245 - 75852 * m.b239 * m.b288 - 44735 * m.b288 + 206050 * m.b240 * m.b241 - 93288 * m.b240 * m.b289 + 144732 * m.b289 + 110932 * m.b241 * m.b242 + 44034 * m.b241 * m.b290 + 200224 * m.b290 + 132256 * m.b242 * m.b243 - 10552 * m.b242 * m.b291 + 73629 * m.b291 - 134610 * m.b243 * m.b244 + 95082 * m.b243 * m.b292 + 526322 * m.b292 + 71618 * m.b244 * m.b245 - 107864 * m.b244 * m.b293 + 375416 * m.b293 + 126892 * m.b245 * m.b294 - 256596 * m.b294 - 91258 * m.b246 * m.b247 - 293318 * m.b246 * m.b252 - 122786 * m.b246 * m.b253 - 70664 * m.b246 * m.b288 - 72514 * m.b246 * m.b295 + 233162 * m.b247 * m.b248 - 44932 * m.b247 * m.b254 - 89564 * m.b247 * m.b289 + 137058 * m.b247 * m.b296 + 112250 * m.b248 * m.b249 + 291124 * m.b248 * m.b255 - 326716 * m.b248 * m.b290 + 29518 * m.b248 * m.b297 + 131532 * m.b249 * m.b250 + 74172 * m.b249 * m.b256 + 312100 * m.b249 * m.b291 + 87196 * m.b249 * m.b298 - 351454 * m.b250 * m.b251 - 90324 * m.b250 * m.b257 - 285836 * m.b250 * m.b292 - 43754 * m.b250 * m.b299 - 157210 * m.b251 * m.b252 + 80652 * m.b251 * m.b258 - 18620 * m.b251 * m.b293 - 369224 * m.b251 * m.b300 - 347654 * m.b252 * m.b259 + 148312 * m.b252 * m.b294 - 144430 * m.b252 * m.b301 - 150172 * m.b253 * m.b254 + 35392 * m.b253 * m.b259 - 377580 * m.b253 * m.b260 + 55110 * m.b253 * m.b302 + 123590 * m.b254 * m.b255 - 35972 * m.b254 * m.b261 - 535016 * m.b254 * m.b303 + 327386 * m.b255 * m.b256 + 408764 * m.b255 * m.b262 - 14372 * m.b255 * m.b304 + 285344 * m.b256 * m.b257 - 25698 * m.b256 * m.b263 - 365068 * m.b256 * m.b305 + 37402 * m.b257 * m.b258 - 347740 * m.b257 * m.b264 - 34534 * m.b257 * m.b306 - 177506 * m.b258 * m.b259 + 77770 * m.b258 * m.b265 + 99810 * m.b258 * m.b307 - 145528 * m.b259 * m.b266 - 333198 * m.b259 * m.b308 - 243968 * m.b260 * m.b261 - 390442 * m.b260 * m.b266 + 51404 * m.b260 * m.b267 - 315146 * m.b260 * m.b309 + 125058 * m.b261 * m.b262 + 135946 * m.b261 * m.b268 - 8528 * m.b261 * m.b310 + 163740 * m.b262 * m.b263 + 180484 * m.b262 * m.b269 + 9110 * m.b262 * m.b311 - 113804 * m.b263 * m.b264 - 95706 * m.b263 * m.b270 - 185338 * m.b263 * m.b312 + 12240 * m.b264 * m.b265 - 141042 * m.b264 * m.b271 - 296884 * m.b264 * m.b313 + 7742 * m.b265 * m.b266 + 106754 * m.b265 * m.b272 - 201960 * m.b265 * m.b314 + 128288 * m.b266 * m.b273 - 220880 * m.b266 * m.b315 - 105996 * m.b267 * m.b268 - 261754 * m.b267 * m.b273 + 272552 * m.b267 * m.b274 - 143990 * m.b267 * m.b316 + 90568 * m.b268 * m.b269 + 287356 * m.b268 * m.b275 - 23220 * m.b268 * m.b317 - 248960 * m.b269 * m.b270 + 198714 * m.b269 * m.b276 - 137890 * m.b269 * m.b318 - 298798 * m.b270 * m.b271 - 196866 * m.b270 * m.b277 - 205816 * m.b270 * m.b319 - 240470 * m.b271 * m.b272 - 110444 * m.b271 * m.b278 + 125302 * m.b271 * m.b320 + 102520 * m.b272 * m.b273 - 443216 * m.b272 * m.b279 - 112422 * m.b272 * m.b321 + 72270 * m.b273 * m.b280 - 589606 * m.b273 * m.b322 - 11002 * m.b274 * m.b275 - 170184 * m.b274 * m.b280 - 247848 * m.b274 * m.b281 + 447830 * m.b274 * m.b323 - 62520 * m.b275 * m.b276 - 97646 * m.b275 * m.b282 - 218126 * m.b275 * m.b324 + 120850 * m.b276 * m.b277 - 192842 * m.b276 * m.b283 - 198560 * m.b276 * m.b325 + 38444 * m.b277 * m.b278 - 167176 * m.b277 * m.b284 - 89654 * m.b277 * m.b326 + 61876 * m.b278 * m.b279 + 263066 * m.b278 * m.b285 + 289964 * m.b278 * m.b327 + 9222 * m.b279 * m.b280 + 72100 * m.b279 * m.b286 - 244608 * m.b279 * m.b328 - 71760 * m.b280 * m.b287 - 45140 * m.b280 * m.b329 - 467664 * m.b281 * m.b282 + 260924 * m.b281 * m.b287 - 42848 * m.b281 * m.b288 + 87734 * m.b281 * m.b330 + 57244 * m.b282 * m.b283 - 44830 * m.b282 * m.b289 - 167170 * m.b282 * m.b331 + 90760 * m.b283 * m.b284 + 46878 * m.b283 * m.b290 - 147790 * m.b283 * m.b332 + 196548 * m.b284 * m.b285 - 63606 * m.b284 * m.b291 - 85126 * m.b284 * m.b333 - 56822 * m.b285 * m.b286 - 143482 * m.b285 * m.b292 + 436018 * m.b285 * m.b334 - 227440 * m.b286 * m.b287 - 96776 * m.b286 * m.b293 - 62612 * m.b286 * m.b335 + 312732 * m.b287 * m.b294 - 367890 * m.b287 * m.b336 - 250072 * m.b288 * m.b289 + 142966 * m.b288 * m.b294 + 385940 * m.b288 * m.b337 + 90098 * m.b289 * m.b290 + 98192 * m.b289 * m.b338 - 10582 * m.b290 * m.b291 - 244160 * m.b290 * m.b339 - 377876 * m.b291 * m.b292 + 3258 * m.b291 * m.b340 - 90870 * m.b292 * m.b293 - 249662 * m.b292 * m.b341 - 207118 * m.b293 * m.b294 - 229584 * m.b293 * m.b342 - 10592 * m.b294 * m.b343 + 16892 * m.b295 * m.b296 + 346798 * m.b295 * m.b301 - 108162 * m.b295 * m.b302 + 168766 * m.b295 * m.b337 + 155736 * m.b296 * m.b297 + 90278 * m.b296 * m.b303 - 27080 * m.b296 * m.b338 + 105156 * m.b297 * m.b298 + 7140 * m.b297 * m.b304 - 276662 * m.b297 * m.b339 - 80754 * m.b298 * m.b299 + 46780 * m.b298 * m.b305 + 210838 * m.b298 * m.b340 - 148598 * m.b299 * m.b300 + 29534 * m.b299 * m.b306 + 66382 * m.b299 * m.b341 - 170978 * m.b300 * m.b301 - 193092 * m.b300 * m.b307 + 152672 * m.b300 * m.b342 - 269278 * m.b301 * m.b308 - 119148 * m.b301 * m.b343 - 187524 * m.b302 * m.b303 + 1790 * m.b302 * m.b308 - 253084 * m.b302 * m.b309 + 131546 * m.b303 * m.b304 + 57318 * m.b303 * m.b310 - 257894 * m.b304 * m.b305 + 5600 * m.b304 * m.b311 + 63990 * m.b305 * m.b306 + 440532 * m.b305 * m.b312 + 103154 * m.b306 * m.b307 + 84924 * m.b306 * m.b313 + 188812 * m.b307 * m.b308 - 311914 * m.b307 * m.b314 + 222436 * m.b308 * m.b315 + 173406 * m.b309 * m.b310 - 27930 * m.b309 * m.b315 - 63836 * m.b309 * m.b316 + 43160 * m.b310 * m.b311 + 144920 * m.b310 * m.b317 + 214312 * m.b311 * m.b312 + 211126 * m.b311 * m.b318 - 524308 * m.b312 * m.b313 - 122820 * m.b312 * m.b319 + 104236 * m.b313 * m.b314 + 7226 * m.b313 * m.b320 + 106756 * m.b314 * m.b315 - 248720 * m.b314 * m.b321 + 215870 * m.b315 * m.b322 - 159184 * m.b316 * m.b317 - 51664 * m.b316 * m.b322 - 322968 * m.b316 * m.b323 - 241346 * m.b317 * m.b318 - 109334 * m.b317 * m.b324 - 47538 * m.b318 * m.b319 + 96910 * m.b318 * m.b325 + 140590 * m.b319 * m.b320 - 482920 * m.b319 * m.b326 - 173114 * m.b320 * m.b321 - 103488 * m.b320 * m.b327 + 86370 * m.b321 * m.b322 + 24088 * m.b321 * m.b328 + 71156 * m.b322 * m.b329 - 284136 * m.b323 * m.b324 + 1398 * m.b323 * m.b329 + 478688 * m.b323 * m.b330 - 19360 * m.b324 * m.b325 + 94978 * m.b324 * m.b331 - 69428 * m.b325 * m.b326 - 196922 * m.b325 * m.b332 - 33028 * m.b326 * m.b327 - 239384 * m.b326 * m.b333 - 122178 * m.b327 * m.b328 + 131792 * m.b327 * m.b334 + 126404 * m.b328 * m.b329 + 407298 * m.b328 * m.b335 - 30778 * m.b329 * m.b336 + 227126 * m.b330 * m.b331 - 219286 * m.b330 * m.b336 - 73274 * m.b330 * m.b337 - 144168 * m.b331 * m.b332 + 59776 * m.b331 * m.b338 + 147068 * m.b332 * m.b333 + 77446 * m.b332 * m.b339 - 24470 * m.b333 * m.b334 - 107716 * m.b333 * m.b340 - 101274 * m.b334 * m.b335 - 102834 * m.b334 * m.b341 - 3824 * m.b335 * m.b336 + 46782 * m.b335 * m.b342 - 375856 * m.b336 * m.b343 - 83012 * m.b337 * m.b338 - 248376 * m.b337 * m.b343 + 66832 * m.b338 * m.b339 + 338092 * m.b339 * m.b340 + 255092 * m.b340 * m.b341 - 69830 * m.b341 * m.b342 - 151802 * m.b342 * m.b343)