\ Equation counts \ Total E G L N X C B \ 324 24 0 300 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 324 0 324 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1522 876 646 0 \ Minimize obj: - 4.3e2 b2 - 6.2e2 b3 - 2.4e2 b4 - 4.5e2 b5 - 2.1e2 b6 - 600 b7 - 1.2e2 b8 - 6.6e2 b9 - 5.3e2 b10 - 50 b11 - 8.1e2 b12 - 6.1e2 b13 - 100 b14 - 8.8e2 b15 - 7.7e2 b16 - 3.4e2 b17 - 20 b18 - 8.2e2 b19 - 5.3e2 b20 - 2.6e2 b21 - 6.2e2 b22 - 1.8e2 b23 - 7.1e2 b24 - 1.4e2 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + 0 b97 + 0 b98 + 0 b99 + 0 b100 + 0 b101 + 0 b102 + 0 b103 + 0 b104 + 0 b105 + 0 b106 + 0 b107 + 0 b108 + 0 b109 + 0 b110 + 0 b111 + 0 b112 + 0 b113 + 0 b114 + 0 b115 + 0 b116 + 0 b117 + 0 b118 + 0 b119 + 0 b120 + 0 b121 + 0 b122 + 0 b123 + 0 b124 + 0 b125 + 0 b126 + 0 b127 + 0 b128 + 0 b129 + 0 b130 + 0 b131 + 0 b132 + 0 b133 + 0 b134 + 0 b135 + 0 b136 + 0 b137 + 0 b138 + 0 b139 + 0 b140 + 0 b141 + 0 b142 + 0 b143 + 0 b144 + 0 b145 + 0 b146 + 0 b147 + 0 b148 + 0 b149 + 0 b150 + 0 b151 + 0 b152 + 0 b153 + 0 b154 + 0 b155 + 0 b156 + 0 b157 + 0 b158 + 0 b159 + 0 b160 + 0 b161 + 0 b162 + 0 b163 + 0 b164 + 0 b165 + 0 b166 + 0 b167 + 0 b168 + 0 b169 + 0 b170 + 0 b171 + 0 b172 + 0 b173 + 0 b174 + 0 b175 + 0 b176 + 0 b177 + 0 b178 + 0 b179 + 0 b180 + 0 b181 + 0 b182 + 0 b183 + 0 b184 + 0 b185 + 0 b186 + 0 b187 + 0 b188 + 0 b189 + 0 b190 + 0 b191 + 0 b192 + 0 b193 + 0 b194 + 0 b195 + 0 b196 + 0 b197 + 0 b198 + 0 b199 + 0 b200 + 0 b201 + 0 b202 + 0 b203 + 0 b204 + 0 b205 + 0 b206 + 0 b207 + 0 b208 + 0 b209 + 0 b210 + 0 b211 + 0 b212 + 0 b213 + 0 b214 + 0 b215 + 0 b216 + 0 b217 + 0 b218 + 0 b219 + 0 b220 + 0 b221 + 0 b222 + 0 b223 + 0 b224 + 0 b225 + 0 b226 + 0 b227 + 0 b228 + 0 b229 + 0 b230 + 0 b231 + 0 b232 + 0 b233 + 0 b234 + 0 b235 + 0 b236 + 0 b237 + 0 b238 + 0 b239 + 0 b240 + 0 b241 + 0 b242 + 0 b243 + 0 b244 + 0 b245 + 0 b246 + 0 b247 + 0 b248 + 0 b249 + 0 b250 + 0 b251 + 0 b252 + 0 b253 + 0 b254 + 0 b255 + 0 b256 + 0 b257 + 0 b258 + 0 b259 + 0 b260 + 0 b261 + 0 b262 + 0 b263 + 0 b264 + 0 b265 + 0 b266 + 0 b267 + 0 b268 + 0 b269 + 0 b270 + 0 b271 + 0 b272 + 0 b273 + 0 b274 + 0 b275 + 0 b276 + 0 b277 + 0 b278 + 0 b279 + 0 b280 + 0 b281 + 0 b282 + 0 b283 + 0 b284 + 0 b285 + 0 b286 + 0 b287 + 0 b288 + 0 b289 + 0 b290 + 0 b291 + 0 b292 + 0 b293 + 0 b294 + 0 b295 + 0 b296 + 0 b297 + 0 b298 + 0 b299 + 0 b300 + 0 b301 + 0 b302 + 0 b303 + 0 b304 + 0 b305 + 0 b306 + 0 b307 + 0 b308 + 0 b309 + 0 b310 + 0 b311 + 0 b312 + 0 b313 + 0 b314 + 0 b315 + 0 b316 + 0 b317 + 0 b318 + 0 b319 + 0 b320 + 0 b321 + 0 b322 + 0 b323 + 0 b324 + 0 b325 + [ - 1.94e3 b2 * b3 - 1.64e3 b2 * b4 - 1.08e3 b2 * b5 - 1.8e2 b2 * b6 - 1.84e3 b2 * b7 - 1.1e3 b2 * b8 - 1.56e3 b2 * b9 - 1.74e3 b2 * b10 - 1.38e3 b2 * b11 - 40 b2 * b12 - 6.4e2 b2 * b13 - 8.4e2 b2 * b14 - 2.8e2 b2 * b15 - 900 b2 * b16 - 1.2e3 b2 * b17 - 1.34e3 b2 * b18 - 40 b2 * b19 - 8.4e2 b2 * b20 - 1.62e3 b2 * b21 - 1.28e3 b2 * b22 - 1.64e3 b2 * b23 - 1.16e3 b2 * b24 - 1.96e3 b2 * b25 - 7.2e2 b3 * b4 - 1.84e3 b3 * b5 - 60 b3 * b6 - 1.24e3 b3 * b7 - 1.08e3 b3 * b8 - 4.2e2 b3 * b9 - 1.7e3 b3 * b10 - 1.38e3 b3 * b11 - 1.4e3 b3 * b12 - 400 b3 * b13 - 1.5e3 b3 * b14 - 1.6e3 b3 * b15 - 2.4e2 b3 * b16 - 1.64e3 b3 * b17 - 200 b3 * b18 - 1.98e3 b3 * b19 - 80 b3 * b20 - 2.6e2 b3 * b21 - 1.68e3 b3 * b22 - 1.96e3 b3 * b23 - 5.4e2 b3 * b24 - 1.62e3 b3 * b25 - 1.18e3 b4 * b5 - 9.4e2 b4 * b6 - 1.66e3 b4 * b7 - 1.06e3 b4 * b8 - 1.6e3 b4 * b9 - 700 b4 * b11 - 1.8e3 b4 * b12 - 1.96e3 b4 * b13 - 1.42e3 b4 * b14 - 1.66e3 b4 * b15 - 1.08e3 b4 * b16 - 1.72e3 b4 * b17 - 1.78e3 b4 * b18 - 5.4e2 b4 * b19 - 1.42e3 b4 * b20 - 200 b4 * b21 - 1.96e3 b4 * b22 - 1.82e3 b4 * b23 - 1.72e3 b4 * b24 - 600 b4 * b25 - 1.1e3 b5 * b6 - 400 b5 * b7 - 800 b5 * b8 - 1.4e2 b5 * b9 - 1.52e3 b5 * b10 - 1.06e3 b5 * b11 - 1.82e3 b5 * b12 - 1.5e3 b5 * b13 - 6.6e2 b5 * b14 - 1.44e3 b5 * b15 - 6.8e2 b5 * b16 - 6.4e2 b5 * b17 - 1.4e2 b5 * b18 - 1.74e3 b5 * b19 - 1.28e3 b5 * b20 - 1.4e2 b5 * b21 - 1.48e3 b5 * b22 - 1.08e3 b5 * b23 - 1.16e3 b5 * b24 - 1.94e3 b5 * b25 - 1.78e3 b6 * b7 - 2.4e2 b6 * b8 - 1.66e3 b6 * b9 - 1.58e3 b6 * b10 - 7.8e2 b6 * b11 - 1.4e2 b6 * b12 - 1.78e3 b6 * b13 - 1.78e3 b6 * b14 - 1.96e3 b6 * b15 - 5.4e2 b6 * b16 - 3.8e2 b6 * b17 - 1.2e2 b6 * b18 - 1.2e3 b6 * b20 - 2.6e2 b6 * b21 - 1.52e3 b6 * b22 - 1.3e3 b6 * b23 - 1.12e3 b6 * b24 - 1.02e3 b6 * b25 - 1e3 b7 * b8 - 5.6e2 b7 * b9 - 7.4e2 b7 * b10 - 6.8e2 b7 * b11 - 1.74e3 b7 * b12 - 4.8e2 b7 * b13 - 1.96e3 b7 * b14 - 9.4e2 b7 * b15 - 1e3 b7 * b16 - 100 b7 * b17 - 1.14e3 b7 * b18 - 9.6e2 b7 * b19 - 1.88e3 b7 * b20 - 4.2e2 b7 * b21 - 6.2e2 b7 * b22 - 500 b7 * b23 - 2.4e2 b7 * b24 - 7.6e2 b7 * b25 - 300 b8 * b9 - 40 b8 * b10 - 1.78e3 b8 * b11 - 1.88e3 b8 * b12 - 4.2e2 b8 * b13 - 1.9e3 b8 * b14 - 1.88e3 b8 * b15 - 6.6e2 b8 * b16 - 1.6e2 b8 * b17 - 1.42e3 b8 * b18 - 1.98e3 b8 * b19 - 1.28e3 b8 * b20 - 1.48e3 b8 * b21 - 20 b8 * b22 - 8.8e2 b8 * b23 - 2.4e2 b8 * b24 - 7.2e2 b8 * b25 - 1.66e3 b9 * b10 - 1.76e3 b9 * b11 - 6.8e2 b9 * b12 - 600 b9 * b13 - 7.8e2 b9 * b14 - 7.8e2 b9 * b15 - 7.8e2 b9 * b16 - 1.74e3 b9 * b17 - 1.72e3 b9 * b18 - 1.2e3 b9 * b19 - 1.4e3 b9 * b20 - 2.2e2 b9 * b21 - 1.46e3 b9 * b22 - 1.8e2 b9 * b23 - 1.56e3 b9 * b24 - 1.5e3 b9 * b25 - 1e3 b10 * b11 - 1.46e3 b10 * b12 - 9.6e2 b10 * b13 - 900 b10 * b14 - 3.8e2 b10 * b15 - 1.64e3 b10 * b16 - 100 b10 * b17 - 1.8e3 b10 * b18 - 6.6e2 b10 * b19 - 4.2e2 b10 * b20 - 3.4e2 b10 * b21 - 6.8e2 b10 * b22 - 1.3e3 b10 * b23 - 1.62e3 b10 * b24 - 1.4e3 b10 * b25 - 1.38e3 b11 * b13 - 1.14e3 b11 * b14 - 1.66e3 b11 * b15 - 1.2e3 b11 * b16 - 1.92e3 b11 * b17 - 4.4e2 b11 * b18 - 1.98e3 b11 * b19 - 6.8e2 b11 * b20 - 1.66e3 b11 * b21 - 4.4e2 b11 * b22 - 9.2e2 b11 * b23 - 1.12e3 b11 * b24 - 1.66e3 b11 * b25 - 4.8e2 b12 * b13 - 1.66e3 b12 * b14 - 6.6e2 b12 * b15 - 9.8e2 b12 * b16 - 6.2e2 b12 * b17 - 600 b12 * b18 - 1.38e3 b12 * b19 - 1.3e3 b12 * b20 - 700 b12 * b21 - 2.2e2 b12 * b22 - 1.96e3 b12 * b23 - 1.12e3 b12 * b24 - 1.6e3 b12 * b25 - 1.7e3 b13 * b14 - 1.46e3 b13 * b15 - 1.22e3 b13 * b16 - 1.1e3 b13 * b17 - 500 b13 * b18 - 1.66e3 b13 * b19 - 2.4e2 b13 * b20 - 1.6e2 b13 * b21 - 1.9e3 b13 * b22 - 1.22e3 b13 * b23 - 6.2e2 b13 * b24 - 9.4e2 b13 * b25 - 1.9e3 b14 * b15 - 1.32e3 b14 * b16 - 1.38e3 b14 * b17 - 1.86e3 b14 * b18 - 1.48e3 b14 * b19 - 1.04e3 b14 * b20 - 1.4e3 b14 * b21 - 1.14e3 b14 * b22 - 1.7e3 b14 * b23 - 1.42e3 b14 * b24 - 800 b14 * b25 - 300 b15 * b16 - 800 b15 * b17 - 1.16e3 b15 * b18 - 40 b15 * b19 - 80 b15 * b20 - 1.12e3 b15 * b21 - 200 b15 * b22 - 7.2e2 b15 * b23 - 8.2e2 b15 * b24 - 1.66e3 b15 * b25 - 1.96e3 b16 * b17 - 9.8e2 b16 * b18 - 1.6e2 b16 * b19 - 6.6e2 b16 * b20 - 2.6e2 b16 * b21 - 1.38e3 b16 * b22 - 5.6e2 b16 * b23 - 1.48e3 b16 * b24 - 1.5e3 b17 * b18 - 4.4e2 b17 * b19 - 1.32e3 b17 * b20 - 8.8e2 b17 * b21 - 1.34e3 b17 * b22 - 800 b17 * b23 - 9.6e2 b17 * b24 - 7.4e2 b17 * b25 - 9.8e2 b18 * b19 - 1.7e3 b18 * b20 - 1.8e2 b18 * b21 - 8.2e2 b18 * b22 - 20 b18 * b24 - 1.98e3 b18 * b25 - 1.08e3 b19 * b20 - 1.14e3 b19 * b21 - 1.6e2 b19 * b22 - 1.28e3 b19 * b23 - 1.88e3 b19 * b24 - 20 b19 * b25 - 9.4e2 b20 * b21 - 8.8e2 b20 * b22 - 1e3 b20 * b23 - 1.6e2 b20 * b24 - 1.54e3 b20 * b25 - 1.28e3 b21 * b22 - 1.54e3 b21 * b23 - 1.14e3 b21 * b24 - 1.8e3 b21 * b25 - 5.8e2 b22 * b23 - 1.7e3 b22 * b24 - 1.28e3 b22 * b25 - 9.4e2 b23 * b24 - 1.62e3 b23 * b25 - 6.4e2 b24 * b25 - 1.94e3 b26 * b27 - 1.64e3 b26 * b28 - 1.08e3 b26 * b29 - 1.8e2 b26 * b30 - 1.84e3 b26 * b31 - 1.1e3 b26 * b32 - 1.56e3 b26 * b33 - 1.74e3 b26 * b34 - 1.38e3 b26 * b35 - 40 b26 * b36 - 6.4e2 b26 * b37 - 8.4e2 b26 * b38 - 2.8e2 b26 * b39 - 900 b26 * b40 - 1.2e3 b26 * b41 - 1.34e3 b26 * b42 - 40 b26 * b43 - 8.4e2 b26 * b44 - 1.62e3 b26 * b45 - 1.28e3 b26 * b46 - 1.64e3 b26 * b47 - 1.16e3 b26 * b48 - 1.96e3 b26 * b49 - 7.2e2 b27 * b28 - 1.84e3 b27 * b29 - 60 b27 * b30 - 1.24e3 b27 * b31 - 1.08e3 b27 * b32 - 4.2e2 b27 * b33 - 1.7e3 b27 * b34 - 1.38e3 b27 * b35 - 1.4e3 b27 * b36 - 400 b27 * b37 - 1.5e3 b27 * b38 - 1.6e3 b27 * b39 - 2.4e2 b27 * b40 - 1.64e3 b27 * b41 - 200 b27 * b42 - 1.98e3 b27 * b43 - 80 b27 * b44 - 2.6e2 b27 * b45 - 1.68e3 b27 * b46 - 1.96e3 b27 * b47 - 5.4e2 b27 * b48 - 1.62e3 b27 * b49 - 1.18e3 b28 * b29 - 9.4e2 b28 * b30 - 1.66e3 b28 * b31 - 1.06e3 b28 * b32 - 1.6e3 b28 * b33 - 700 b28 * b35 - 1.8e3 b28 * b36 - 1.96e3 b28 * b37 - 1.42e3 b28 * b38 - 1.66e3 b28 * b39 - 1.08e3 b28 * b40 - 1.72e3 b28 * b41 - 1.78e3 b28 * b42 - 5.4e2 b28 * b43 - 1.42e3 b28 * b44 - 200 b28 * b45 - 1.96e3 b28 * b46 - 1.82e3 b28 * b47 - 1.72e3 b28 * b48 - 600 b28 * b49 - 1.1e3 b29 * b30 - 400 b29 * b31 - 800 b29 * b32 - 1.4e2 b29 * b33 - 1.52e3 b29 * b34 - 1.06e3 b29 * b35 - 1.82e3 b29 * b36 - 1.5e3 b29 * b37 - 6.6e2 b29 * b38 - 1.44e3 b29 * b39 - 6.8e2 b29 * b40 - 6.4e2 b29 * b41 - 1.4e2 b29 * b42 - 1.74e3 b29 * b43 - 1.28e3 b29 * b44 - 1.4e2 b29 * b45 - 1.48e3 b29 * b46 - 1.08e3 b29 * b47 - 1.16e3 b29 * b48 - 1.94e3 b29 * b49 - 1.78e3 b30 * b31 - 2.4e2 b30 * b32 - 1.66e3 b30 * b33 - 1.58e3 b30 * b34 - 7.8e2 b30 * b35 - 1.4e2 b30 * b36 - 1.78e3 b30 * b37 - 1.78e3 b30 * b38 - 1.96e3 b30 * b39 - 5.4e2 b30 * b40 - 3.8e2 b30 * b41 - 1.2e2 b30 * b42 - 1.2e3 b30 * b44 - 2.6e2 b30 * b45 - 1.52e3 b30 * b46 - 1.3e3 b30 * b47 - 1.12e3 b30 * b48 - 1.02e3 b30 * b49 - 1e3 b31 * b32 - 5.6e2 b31 * b33 - 7.4e2 b31 * b34 - 6.8e2 b31 * b35 - 1.74e3 b31 * b36 - 4.8e2 b31 * b37 - 1.96e3 b31 * b38 - 9.4e2 b31 * b39 - 1e3 b31 * b40 - 100 b31 * b41 - 1.14e3 b31 * b42 - 9.6e2 b31 * b43 - 1.88e3 b31 * b44 - 4.2e2 b31 * b45 - 6.2e2 b31 * b46 - 500 b31 * b47 - 2.4e2 b31 * b48 - 7.6e2 b31 * b49 - 300 b32 * b33 - 40 b32 * b34 - 1.78e3 b32 * b35 - 1.88e3 b32 * b36 - 4.2e2 b32 * b37 - 1.9e3 b32 * b38 - 1.88e3 b32 * b39 - 6.6e2 b32 * b40 - 1.6e2 b32 * b41 - 1.42e3 b32 * b42 - 1.98e3 b32 * b43 - 1.28e3 b32 * b44 - 1.48e3 b32 * b45 - 20 b32 * b46 - 8.8e2 b32 * b47 - 2.4e2 b32 * b48 - 7.2e2 b32 * b49 - 1.66e3 b33 * b34 - 1.76e3 b33 * b35 - 6.8e2 b33 * b36 - 600 b33 * b37 - 7.8e2 b33 * b38 - 7.8e2 b33 * b39 - 7.8e2 b33 * b40 - 1.74e3 b33 * b41 - 1.72e3 b33 * b42 - 1.2e3 b33 * b43 - 1.4e3 b33 * b44 - 2.2e2 b33 * b45 - 1.46e3 b33 * b46 - 1.8e2 b33 * b47 - 1.56e3 b33 * b48 - 1.5e3 b33 * b49 - 1e3 b34 * b35 - 1.46e3 b34 * b36 - 9.6e2 b34 * b37 - 900 b34 * b38 - 3.8e2 b34 * b39 - 1.64e3 b34 * b40 - 100 b34 * b41 - 1.8e3 b34 * b42 - 6.6e2 b34 * b43 - 4.2e2 b34 * b44 - 3.4e2 b34 * b45 - 6.8e2 b34 * b46 - 1.3e3 b34 * b47 - 1.62e3 b34 * b48 - 1.4e3 b34 * b49 - 1.38e3 b35 * b37 - 1.14e3 b35 * b38 - 1.66e3 b35 * b39 - 1.2e3 b35 * b40 - 1.92e3 b35 * b41 - 4.4e2 b35 * b42 - 1.98e3 b35 * b43 - 6.8e2 b35 * b44 - 1.66e3 b35 * b45 - 4.4e2 b35 * b46 - 9.2e2 b35 * b47 - 1.12e3 b35 * b48 - 1.66e3 b35 * b49 - 4.8e2 b36 * b37 - 1.66e3 b36 * b38 - 6.6e2 b36 * b39 - 9.8e2 b36 * b40 - 6.2e2 b36 * b41 - 600 b36 * b42 - 1.38e3 b36 * b43 - 1.3e3 b36 * b44 - 700 b36 * b45 - 2.2e2 b36 * b46 - 1.96e3 b36 * b47 - 1.12e3 b36 * b48 - 1.6e3 b36 * b49 - 1.7e3 b37 * b38 - 1.46e3 b37 * b39 - 1.22e3 b37 * b40 - 1.1e3 b37 * b41 - 500 b37 * b42 - 1.66e3 b37 * b43 - 2.4e2 b37 * b44 - 1.6e2 b37 * b45 - 1.9e3 b37 * b46 - 1.22e3 b37 * b47 - 6.2e2 b37 * b48 - 9.4e2 b37 * b49 - 1.9e3 b38 * b39 - 1.32e3 b38 * b40 - 1.38e3 b38 * b41 - 1.86e3 b38 * b42 - 1.48e3 b38 * b43 - 1.04e3 b38 * b44 - 1.4e3 b38 * b45 - 1.14e3 b38 * b46 - 1.7e3 b38 * b47 - 1.42e3 b38 * b48 - 800 b38 * b49 - 300 b39 * b40 - 800 b39 * b41 - 1.16e3 b39 * b42 - 40 b39 * b43 - 80 b39 * b44 - 1.12e3 b39 * b45 - 200 b39 * b46 - 7.2e2 b39 * b47 - 8.2e2 b39 * b48 - 1.66e3 b39 * b49 - 1.96e3 b40 * b41 - 9.8e2 b40 * b42 - 1.6e2 b40 * b43 - 6.6e2 b40 * b44 - 2.6e2 b40 * b45 - 1.38e3 b40 * b46 - 5.6e2 b40 * b47 - 1.48e3 b40 * b48 - 1.5e3 b41 * b42 - 4.4e2 b41 * b43 - 1.32e3 b41 * b44 - 8.8e2 b41 * b45 - 1.34e3 b41 * b46 - 800 b41 * b47 - 9.6e2 b41 * b48 - 7.4e2 b41 * b49 - 9.8e2 b42 * b43 - 1.7e3 b42 * b44 - 1.8e2 b42 * b45 - 8.2e2 b42 * b46 - 20 b42 * b48 - 1.98e3 b42 * b49 - 1.08e3 b43 * b44 - 1.14e3 b43 * b45 - 1.6e2 b43 * b46 - 1.28e3 b43 * b47 - 1.88e3 b43 * b48 - 20 b43 * b49 - 9.4e2 b44 * b45 - 8.8e2 b44 * b46 - 1e3 b44 * b47 - 1.6e2 b44 * b48 - 1.54e3 b44 * b49 - 1.28e3 b45 * b46 - 1.54e3 b45 * b47 - 1.14e3 b45 * b48 - 1.8e3 b45 * b49 - 5.8e2 b46 * b47 - 1.7e3 b46 * b48 - 1.28e3 b46 * b49 - 9.4e2 b47 * b48 - 1.62e3 b47 * b49 - 6.4e2 b48 * b49 - 7.2e2 b50 * b51 - 1.84e3 b50 * b52 - 60 b50 * b53 - 1.24e3 b50 * b54 - 1.08e3 b50 * b55 - 4.2e2 b50 * b56 - 1.7e3 b50 * b57 - 1.38e3 b50 * b58 - 1.4e3 b50 * b59 - 400 b50 * b60 - 1.5e3 b50 * b61 - 1.6e3 b50 * b62 - 2.4e2 b50 * b63 - 1.64e3 b50 * b64 - 200 b50 * b65 - 1.98e3 b50 * b66 - 80 b50 * b67 - 2.6e2 b50 * b68 - 1.68e3 b50 * b69 - 1.96e3 b50 * b70 - 5.4e2 b50 * b71 - 1.62e3 b50 * b72 - 1.18e3 b51 * b52 - 9.4e2 b51 * b53 - 1.66e3 b51 * b54 - 1.06e3 b51 * b55 - 1.6e3 b51 * b56 - 700 b51 * b58 - 1.8e3 b51 * b59 - 1.96e3 b51 * b60 - 1.42e3 b51 * b61 - 1.66e3 b51 * b62 - 1.08e3 b51 * b63 - 1.72e3 b51 * b64 - 1.78e3 b51 * b65 - 5.4e2 b51 * b66 - 1.42e3 b51 * b67 - 200 b51 * b68 - 1.96e3 b51 * b69 - 1.82e3 b51 * b70 - 1.72e3 b51 * b71 - 600 b51 * b72 - 1.1e3 b52 * b53 - 400 b52 * b54 - 800 b52 * b55 - 1.4e2 b52 * b56 - 1.52e3 b52 * b57 - 1.06e3 b52 * b58 - 1.82e3 b52 * b59 - 1.5e3 b52 * b60 - 6.6e2 b52 * b61 - 1.44e3 b52 * b62 - 6.8e2 b52 * b63 - 6.4e2 b52 * b64 - 1.4e2 b52 * b65 - 1.74e3 b52 * b66 - 1.28e3 b52 * b67 - 1.4e2 b52 * b68 - 1.48e3 b52 * b69 - 1.08e3 b52 * b70 - 1.16e3 b52 * b71 - 1.94e3 b52 * b72 - 1.78e3 b53 * b54 - 2.4e2 b53 * b55 - 1.66e3 b53 * b56 - 1.58e3 b53 * b57 - 7.8e2 b53 * b58 - 1.4e2 b53 * b59 - 1.78e3 b53 * b60 - 1.78e3 b53 * b61 - 1.96e3 b53 * b62 - 5.4e2 b53 * b63 - 3.8e2 b53 * b64 - 1.2e2 b53 * b65 - 1.2e3 b53 * b67 - 2.6e2 b53 * b68 - 1.52e3 b53 * b69 - 1.3e3 b53 * b70 - 1.12e3 b53 * b71 - 1.02e3 b53 * b72 - 1e3 b54 * b55 - 5.6e2 b54 * b56 - 7.4e2 b54 * b57 - 6.8e2 b54 * b58 - 1.74e3 b54 * b59 - 4.8e2 b54 * b60 - 1.96e3 b54 * b61 - 9.4e2 b54 * b62 - 1e3 b54 * b63 - 100 b54 * b64 - 1.14e3 b54 * b65 - 9.6e2 b54 * b66 - 1.88e3 b54 * b67 - 4.2e2 b54 * b68 - 6.2e2 b54 * b69 - 500 b54 * b70 - 2.4e2 b54 * b71 - 7.6e2 b54 * b72 - 300 b55 * b56 - 40 b55 * b57 - 1.78e3 b55 * b58 - 1.88e3 b55 * b59 - 4.2e2 b55 * b60 - 1.9e3 b55 * b61 - 1.88e3 b55 * b62 - 6.6e2 b55 * b63 - 1.6e2 b55 * b64 - 1.42e3 b55 * b65 - 1.98e3 b55 * b66 - 1.28e3 b55 * b67 - 1.48e3 b55 * b68 - 20 b55 * b69 - 8.8e2 b55 * b70 - 2.4e2 b55 * b71 - 7.2e2 b55 * b72 - 1.66e3 b56 * b57 - 1.76e3 b56 * b58 - 6.8e2 b56 * b59 - 600 b56 * b60 - 7.8e2 b56 * b61 - 7.8e2 b56 * b62 - 7.8e2 b56 * b63 - 1.74e3 b56 * b64 - 1.72e3 b56 * b65 - 1.2e3 b56 * b66 - 1.4e3 b56 * b67 - 2.2e2 b56 * b68 - 1.46e3 b56 * b69 - 1.8e2 b56 * b70 - 1.56e3 b56 * b71 - 1.5e3 b56 * b72 - 1e3 b57 * b58 - 1.46e3 b57 * b59 - 9.6e2 b57 * b60 - 900 b57 * b61 - 3.8e2 b57 * b62 - 1.64e3 b57 * b63 - 100 b57 * b64 - 1.8e3 b57 * b65 - 6.6e2 b57 * b66 - 4.2e2 b57 * b67 - 3.4e2 b57 * b68 - 6.8e2 b57 * b69 - 1.3e3 b57 * b70 - 1.62e3 b57 * b71 - 1.4e3 b57 * b72 - 1.38e3 b58 * b60 - 1.14e3 b58 * b61 - 1.66e3 b58 * b62 - 1.2e3 b58 * b63 - 1.92e3 b58 * b64 - 4.4e2 b58 * b65 - 1.98e3 b58 * b66 - 6.8e2 b58 * b67 - 1.66e3 b58 * b68 - 4.4e2 b58 * b69 - 9.2e2 b58 * b70 - 1.12e3 b58 * b71 - 1.66e3 b58 * b72 - 4.8e2 b59 * b60 - 1.66e3 b59 * b61 - 6.6e2 b59 * b62 - 9.8e2 b59 * b63 - 6.2e2 b59 * b64 - 600 b59 * b65 - 1.38e3 b59 * b66 - 1.3e3 b59 * b67 - 700 b59 * b68 - 2.2e2 b59 * b69 - 1.96e3 b59 * b70 - 1.12e3 b59 * b71 - 1.6e3 b59 * b72 - 1.7e3 b60 * b61 - 1.46e3 b60 * b62 - 1.22e3 b60 * b63 - 1.1e3 b60 * b64 - 500 b60 * b65 - 1.66e3 b60 * b66 - 2.4e2 b60 * b67 - 1.6e2 b60 * b68 - 1.9e3 b60 * b69 - 1.22e3 b60 * b70 - 6.2e2 b60 * b71 - 9.4e2 b60 * b72 - 1.9e3 b61 * b62 - 1.32e3 b61 * b63 - 1.38e3 b61 * b64 - 1.86e3 b61 * b65 - 1.48e3 b61 * b66 - 1.04e3 b61 * b67 - 1.4e3 b61 * b68 - 1.14e3 b61 * b69 - 1.7e3 b61 * b70 - 1.42e3 b61 * b71 - 800 b61 * b72 - 300 b62 * b63 - 800 b62 * b64 - 1.16e3 b62 * b65 - 40 b62 * b66 - 80 b62 * b67 - 1.12e3 b62 * b68 - 200 b62 * b69 - 7.2e2 b62 * b70 - 8.2e2 b62 * b71 - 1.66e3 b62 * b72 - 1.96e3 b63 * b64 - 9.8e2 b63 * b65 - 1.6e2 b63 * b66 - 6.6e2 b63 * b67 - 2.6e2 b63 * b68 - 1.38e3 b63 * b69 - 5.6e2 b63 * b70 - 1.48e3 b63 * b71 - 1.5e3 b64 * b65 - 4.4e2 b64 * b66 - 1.32e3 b64 * b67 - 8.8e2 b64 * b68 - 1.34e3 b64 * b69 - 800 b64 * b70 - 9.6e2 b64 * b71 - 7.4e2 b64 * b72 - 9.8e2 b65 * b66 - 1.7e3 b65 * b67 - 1.8e2 b65 * b68 - 8.2e2 b65 * b69 - 20 b65 * b71 - 1.98e3 b65 * b72 - 1.08e3 b66 * b67 - 1.14e3 b66 * b68 - 1.6e2 b66 * b69 - 1.28e3 b66 * b70 - 1.88e3 b66 * b71 - 20 b66 * b72 - 9.4e2 b67 * b68 - 8.8e2 b67 * b69 - 1e3 b67 * b70 - 1.6e2 b67 * b71 - 1.54e3 b67 * b72 - 1.28e3 b68 * b69 - 1.54e3 b68 * b70 - 1.14e3 b68 * b71 - 1.8e3 b68 * b72 - 5.8e2 b69 * b70 - 1.7e3 b69 * b71 - 1.28e3 b69 * b72 - 9.4e2 b70 * b71 - 1.62e3 b70 * b72 - 6.4e2 b71 * b72 - 1.18e3 b73 * b74 - 9.4e2 b73 * b75 - 1.66e3 b73 * b76 - 1.06e3 b73 * b77 - 1.6e3 b73 * b78 - 700 b73 * b79 - 1.8e3 b73 * b80 - 1.96e3 b73 * b81 - 1.42e3 b73 * b82 - 1.66e3 b73 * b83 - 1.08e3 b73 * b84 - 1.72e3 b73 * b85 - 1.78e3 b73 * b86 - 5.4e2 b73 * b87 - 1.42e3 b73 * b88 - 200 b73 * b89 - 1.96e3 b73 * b90 - 1.82e3 b73 * b91 - 1.72e3 b73 * b92 - 600 b73 * b93 - 1.1e3 b74 * b75 - 400 b74 * b76 - 800 b74 * b77 - 1.4e2 b74 * b78 - 1.06e3 b74 * b79 - 1.82e3 b74 * b80 - 1.5e3 b74 * b81 - 6.6e2 b74 * b82 - 1.44e3 b74 * b83 - 6.8e2 b74 * b84 - 6.4e2 b74 * b85 - 1.4e2 b74 * b86 - 1.74e3 b74 * b87 - 1.28e3 b74 * b88 - 1.4e2 b74 * b89 - 1.48e3 b74 * b90 - 1.08e3 b74 * b91 - 1.16e3 b74 * b92 - 1.94e3 b74 * b93 - 1.52e3 b74 * b94 - 1.78e3 b75 * b76 - 2.4e2 b75 * b77 - 1.66e3 b75 * b78 - 7.8e2 b75 * b79 - 1.4e2 b75 * b80 - 1.78e3 b75 * b81 - 1.78e3 b75 * b82 - 1.96e3 b75 * b83 - 5.4e2 b75 * b84 - 3.8e2 b75 * b85 - 1.2e2 b75 * b86 - 1.2e3 b75 * b88 - 2.6e2 b75 * b89 - 1.52e3 b75 * b90 - 1.3e3 b75 * b91 - 1.12e3 b75 * b92 - 1.02e3 b75 * b93 - 1.58e3 b75 * b94 - 1e3 b76 * b77 - 5.6e2 b76 * b78 - 6.8e2 b76 * b79 - 1.74e3 b76 * b80 - 4.8e2 b76 * b81 - 1.96e3 b76 * b82 - 9.4e2 b76 * b83 - 1e3 b76 * b84 - 100 b76 * b85 - 1.14e3 b76 * b86 - 9.6e2 b76 * b87 - 1.88e3 b76 * b88 - 4.2e2 b76 * b89 - 6.2e2 b76 * b90 - 500 b76 * b91 - 2.4e2 b76 * b92 - 7.6e2 b76 * b93 - 7.4e2 b76 * b94 - 300 b77 * b78 - 1.78e3 b77 * b79 - 1.88e3 b77 * b80 - 4.2e2 b77 * b81 - 1.9e3 b77 * b82 - 1.88e3 b77 * b83 - 6.6e2 b77 * b84 - 1.6e2 b77 * b85 - 1.42e3 b77 * b86 - 1.98e3 b77 * b87 - 1.28e3 b77 * b88 - 1.48e3 b77 * b89 - 20 b77 * b90 - 8.8e2 b77 * b91 - 2.4e2 b77 * b92 - 7.2e2 b77 * b93 - 40 b77 * b94 - 1.76e3 b78 * b79 - 6.8e2 b78 * b80 - 600 b78 * b81 - 7.8e2 b78 * b82 - 7.8e2 b78 * b83 - 7.8e2 b78 * b84 - 1.74e3 b78 * b85 - 1.72e3 b78 * b86 - 1.2e3 b78 * b87 - 1.4e3 b78 * b88 - 2.2e2 b78 * b89 - 1.46e3 b78 * b90 - 1.8e2 b78 * b91 - 1.56e3 b78 * b92 - 1.5e3 b78 * b93 - 1.66e3 b78 * b94 - 1.38e3 b79 * b81 - 1.14e3 b79 * b82 - 1.66e3 b79 * b83 - 1.2e3 b79 * b84 - 1.92e3 b79 * b85 - 4.4e2 b79 * b86 - 1.98e3 b79 * b87 - 6.8e2 b79 * b88 - 1.66e3 b79 * b89 - 4.4e2 b79 * b90 - 9.2e2 b79 * b91 - 1.12e3 b79 * b92 - 1.66e3 b79 * b93 - 1e3 b79 * b94 - 4.8e2 b80 * b81 - 1.66e3 b80 * b82 - 6.6e2 b80 * b83 - 9.8e2 b80 * b84 - 6.2e2 b80 * b85 - 600 b80 * b86 - 1.38e3 b80 * b87 - 1.3e3 b80 * b88 - 700 b80 * b89 - 2.2e2 b80 * b90 - 1.96e3 b80 * b91 - 1.12e3 b80 * b92 - 1.6e3 b80 * b93 - 1.46e3 b80 * b94 - 1.7e3 b81 * b82 - 1.46e3 b81 * b83 - 1.22e3 b81 * b84 - 1.1e3 b81 * b85 - 500 b81 * b86 - 1.66e3 b81 * b87 - 2.4e2 b81 * b88 - 1.6e2 b81 * b89 - 1.9e3 b81 * b90 - 1.22e3 b81 * b91 - 6.2e2 b81 * b92 - 9.4e2 b81 * b93 - 9.6e2 b81 * b94 - 1.9e3 b82 * b83 - 1.32e3 b82 * b84 - 1.38e3 b82 * b85 - 1.86e3 b82 * b86 - 1.48e3 b82 * b87 - 1.04e3 b82 * b88 - 1.4e3 b82 * b89 - 1.14e3 b82 * b90 - 1.7e3 b82 * b91 - 1.42e3 b82 * b92 - 800 b82 * b93 - 900 b82 * b94 - 300 b83 * b84 - 800 b83 * b85 - 1.16e3 b83 * b86 - 40 b83 * b87 - 80 b83 * b88 - 1.12e3 b83 * b89 - 200 b83 * b90 - 7.2e2 b83 * b91 - 8.2e2 b83 * b92 - 1.66e3 b83 * b93 - 3.8e2 b83 * b94 - 1.96e3 b84 * b85 - 9.8e2 b84 * b86 - 1.6e2 b84 * b87 - 6.6e2 b84 * b88 - 2.6e2 b84 * b89 - 1.38e3 b84 * b90 - 5.6e2 b84 * b91 - 1.48e3 b84 * b92 - 1.64e3 b84 * b94 - 1.5e3 b85 * b86 - 4.4e2 b85 * b87 - 1.32e3 b85 * b88 - 8.8e2 b85 * b89 - 1.34e3 b85 * b90 - 800 b85 * b91 - 9.6e2 b85 * b92 - 7.4e2 b85 * b93 - 100 b85 * b94 - 9.8e2 b86 * b87 - 1.7e3 b86 * b88 - 1.8e2 b86 * b89 - 8.2e2 b86 * b90 - 20 b86 * b92 - 1.98e3 b86 * b93 - 1.8e3 b86 * b94 - 1.08e3 b87 * b88 - 1.14e3 b87 * b89 - 1.6e2 b87 * b90 - 1.28e3 b87 * b91 - 1.88e3 b87 * b92 - 20 b87 * b93 - 6.6e2 b87 * b94 - 9.4e2 b88 * b89 - 8.8e2 b88 * b90 - 1e3 b88 * b91 - 1.6e2 b88 * b92 - 1.54e3 b88 * b93 - 4.2e2 b88 * b94 - 1.28e3 b89 * b90 - 1.54e3 b89 * b91 - 1.14e3 b89 * b92 - 1.8e3 b89 * b93 - 3.4e2 b89 * b94 - 5.8e2 b90 * b91 - 1.7e3 b90 * b92 - 1.28e3 b90 * b93 - 6.8e2 b90 * b94 - 9.4e2 b91 * b92 - 1.62e3 b91 * b93 - 1.3e3 b91 * b94 - 6.4e2 b92 * b93 - 1.62e3 b92 * b94 - 1.4e3 b93 * b94 - 1.1e3 b95 * b96 - 400 b95 * b97 - 800 b95 * b98 - 1.4e2 b95 * b99 - 1.52e3 b95 * b100 - 1.06e3 b95 * b101 - 1.82e3 b95 * b102 - 1.5e3 b95 * b103 - 6.6e2 b95 * b104 - 1.44e3 b95 * b105 - 6.8e2 b95 * b106 - 6.4e2 b95 * b107 - 1.4e2 b95 * b108 - 1.74e3 b95 * b109 - 1.28e3 b95 * b110 - 1.4e2 b95 * b111 - 1.48e3 b95 * b112 - 1.08e3 b95 * b113 - 1.16e3 b95 * b114 - 1.94e3 b95 * b115 - 1.78e3 b96 * b97 - 2.4e2 b96 * b98 - 1.66e3 b96 * b99 - 1.58e3 b96 * b100 - 7.8e2 b96 * b101 - 1.4e2 b96 * b102 - 1.78e3 b96 * b103 - 1.78e3 b96 * b104 - 1.96e3 b96 * b105 - 5.4e2 b96 * b106 - 3.8e2 b96 * b107 - 1.2e2 b96 * b108 - 1.2e3 b96 * b110 - 2.6e2 b96 * b111 - 1.52e3 b96 * b112 - 1.3e3 b96 * b113 - 1.12e3 b96 * b114 - 1.02e3 b96 * b115 - 1e3 b97 * b98 - 5.6e2 b97 * b99 - 7.4e2 b97 * b100 - 6.8e2 b97 * b101 - 1.74e3 b97 * b102 - 4.8e2 b97 * b103 - 1.96e3 b97 * b104 - 9.4e2 b97 * b105 - 1e3 b97 * b106 - 100 b97 * b107 - 1.14e3 b97 * b108 - 9.6e2 b97 * b109 - 1.88e3 b97 * b110 - 4.2e2 b97 * b111 - 6.2e2 b97 * b112 - 500 b97 * b113 - 2.4e2 b97 * b114 - 7.6e2 b97 * b115 - 300 b98 * b99 - 40 b98 * b100 - 1.78e3 b98 * b101 - 1.88e3 b98 * b102 - 4.2e2 b98 * b103 - 1.9e3 b98 * b104 - 1.88e3 b98 * b105 - 6.6e2 b98 * b106 - 1.6e2 b98 * b107 - 1.42e3 b98 * b108 - 1.98e3 b98 * b109 - 1.28e3 b98 * b110 - 1.48e3 b98 * b111 - 20 b98 * b112 - 8.8e2 b98 * b113 - 2.4e2 b98 * b114 - 7.2e2 b98 * b115 - 1.66e3 b99 * b100 - 1.76e3 b99 * b101 - 6.8e2 b99 * b102 - 600 b99 * b103 - 7.8e2 b99 * b104 - 7.8e2 b99 * b105 - 7.8e2 b99 * b106 - 1.74e3 b99 * b107 - 1.72e3 b99 * b108 - 1.2e3 b99 * b109 - 1.4e3 b99 * b110 - 2.2e2 b99 * b111 - 1.46e3 b99 * b112 - 1.8e2 b99 * b113 - 1.56e3 b99 * b114 - 1.5e3 b99 * b115 - 1e3 b100 * b101 - 1.46e3 b100 * b102 - 9.6e2 b100 * b103 - 900 b100 * b104 - 3.8e2 b100 * b105 - 1.64e3 b100 * b106 - 100 b100 * b107 - 1.8e3 b100 * b108 - 6.6e2 b100 * b109 - 4.2e2 b100 * b110 - 3.4e2 b100 * b111 - 6.8e2 b100 * b112 - 1.3e3 b100 * b113 - 1.62e3 b100 * b114 - 1.4e3 b100 * b115 - 1.38e3 b101 * b103 - 1.14e3 b101 * b104 - 1.66e3 b101 * b105 - 1.2e3 b101 * b106 - 1.92e3 b101 * b107 - 4.4e2 b101 * b108 - 1.98e3 b101 * b109 - 6.8e2 b101 * b110 - 1.66e3 b101 * b111 - 4.4e2 b101 * b112 - 9.2e2 b101 * b113 - 1.12e3 b101 * b114 - 1.66e3 b101 * b115 - 4.8e2 b102 * b103 - 1.66e3 b102 * b104 - 6.6e2 b102 * b105 - 9.8e2 b102 * b106 - 6.2e2 b102 * b107 - 600 b102 * b108 - 1.38e3 b102 * b109 - 1.3e3 b102 * b110 - 700 b102 * b111 - 2.2e2 b102 * b112 - 1.96e3 b102 * b113 - 1.12e3 b102 * b114 - 1.6e3 b102 * b115 - 1.7e3 b103 * b104 - 1.46e3 b103 * b105 - 1.22e3 b103 * b106 - 1.1e3 b103 * b107 - 500 b103 * b108 - 1.66e3 b103 * b109 - 2.4e2 b103 * b110 - 1.6e2 b103 * b111 - 1.9e3 b103 * b112 - 1.22e3 b103 * b113 - 6.2e2 b103 * b114 - 9.4e2 b103 * b115 - 1.9e3 b104 * b105 - 1.32e3 b104 * b106 - 1.38e3 b104 * b107 - 1.86e3 b104 * b108 - 1.48e3 b104 * b109 - 1.04e3 b104 * b110 - 1.4e3 b104 * b111 - 1.14e3 b104 * b112 - 1.7e3 b104 * b113 - 1.42e3 b104 * b114 - 800 b104 * b115 - 300 b105 * b106 - 800 b105 * b107 - 1.16e3 b105 * b108 - 40 b105 * b109 - 80 b105 * b110 - 1.12e3 b105 * b111 - 200 b105 * b112 - 7.2e2 b105 * b113 - 8.2e2 b105 * b114 - 1.66e3 b105 * b115 - 1.96e3 b106 * b107 - 9.8e2 b106 * b108 - 1.6e2 b106 * b109 - 6.6e2 b106 * b110 - 2.6e2 b106 * b111 - 1.38e3 b106 * b112 - 5.6e2 b106 * b113 - 1.48e3 b106 * b114 - 1.5e3 b107 * b108 - 4.4e2 b107 * b109 - 1.32e3 b107 * b110 - 8.8e2 b107 * b111 - 1.34e3 b107 * b112 - 800 b107 * b113 - 9.6e2 b107 * b114 - 7.4e2 b107 * b115 - 9.8e2 b108 * b109 - 1.7e3 b108 * b110 - 1.8e2 b108 * b111 - 8.2e2 b108 * b112 - 20 b108 * b114 - 1.98e3 b108 * b115 - 1.08e3 b109 * b110 - 1.14e3 b109 * b111 - 1.6e2 b109 * b112 - 1.28e3 b109 * b113 - 1.88e3 b109 * b114 - 20 b109 * b115 - 9.4e2 b110 * b111 - 8.8e2 b110 * b112 - 1e3 b110 * b113 - 1.6e2 b110 * b114 - 1.54e3 b110 * b115 - 1.28e3 b111 * b112 - 1.54e3 b111 * b113 - 1.14e3 b111 * b114 - 1.8e3 b111 * b115 - 5.8e2 b112 * b113 - 1.7e3 b112 * b114 - 1.28e3 b112 * b115 - 9.4e2 b113 * b114 - 1.62e3 b113 * b115 - 6.4e2 b114 * b115 - 1.78e3 b116 * b117 - 2.4e2 b116 * b118 - 1.66e3 b116 * b119 - 1.58e3 b116 * b120 - 7.8e2 b116 * b121 - 1.4e2 b116 * b122 - 1.78e3 b116 * b123 - 1.78e3 b116 * b124 - 1.96e3 b116 * b125 - 5.4e2 b116 * b126 - 3.8e2 b116 * b127 - 1.2e2 b116 * b128 - 1.2e3 b116 * b129 - 2.6e2 b116 * b130 - 1.52e3 b116 * b131 - 1.3e3 b116 * b132 - 1.12e3 b116 * b133 - 1.02e3 b116 * b134 - 1e3 b117 * b118 - 5.6e2 b117 * b119 - 7.4e2 b117 * b120 - 6.8e2 b117 * b121 - 1.74e3 b117 * b122 - 4.8e2 b117 * b123 - 1.96e3 b117 * b124 - 9.4e2 b117 * b125 - 1e3 b117 * b126 - 100 b117 * b127 - 1.14e3 b117 * b128 - 1.88e3 b117 * b129 - 4.2e2 b117 * b130 - 6.2e2 b117 * b131 - 500 b117 * b132 - 2.4e2 b117 * b133 - 7.6e2 b117 * b134 - 9.6e2 b117 * b135 - 300 b118 * b119 - 40 b118 * b120 - 1.78e3 b118 * b121 - 1.88e3 b118 * b122 - 4.2e2 b118 * b123 - 1.9e3 b118 * b124 - 1.88e3 b118 * b125 - 6.6e2 b118 * b126 - 1.6e2 b118 * b127 - 1.42e3 b118 * b128 - 1.28e3 b118 * b129 - 1.48e3 b118 * b130 - 20 b118 * b131 - 8.8e2 b118 * b132 - 2.4e2 b118 * b133 - 7.2e2 b118 * b134 - 1.98e3 b118 * b135 - 1.66e3 b119 * b120 - 1.76e3 b119 * b121 - 6.8e2 b119 * b122 - 600 b119 * b123 - 7.8e2 b119 * b124 - 7.8e2 b119 * b125 - 7.8e2 b119 * b126 - 1.74e3 b119 * b127 - 1.72e3 b119 * b128 - 1.4e3 b119 * b129 - 2.2e2 b119 * b130 - 1.46e3 b119 * b131 - 1.8e2 b119 * b132 - 1.56e3 b119 * b133 - 1.5e3 b119 * b134 - 1.2e3 b119 * b135 - 1e3 b120 * b121 - 1.46e3 b120 * b122 - 9.6e2 b120 * b123 - 900 b120 * b124 - 3.8e2 b120 * b125 - 1.64e3 b120 * b126 - 100 b120 * b127 - 1.8e3 b120 * b128 - 4.2e2 b120 * b129 - 3.4e2 b120 * b130 - 6.8e2 b120 * b131 - 1.3e3 b120 * b132 - 1.62e3 b120 * b133 - 1.4e3 b120 * b134 - 6.6e2 b120 * b135 - 1.38e3 b121 * b123 - 1.14e3 b121 * b124 - 1.66e3 b121 * b125 - 1.2e3 b121 * b126 - 1.92e3 b121 * b127 - 4.4e2 b121 * b128 - 6.8e2 b121 * b129 - 1.66e3 b121 * b130 - 4.4e2 b121 * b131 - 9.2e2 b121 * b132 - 1.12e3 b121 * b133 - 1.66e3 b121 * b134 - 1.98e3 b121 * b135 - 4.8e2 b122 * b123 - 1.66e3 b122 * b124 - 6.6e2 b122 * b125 - 9.8e2 b122 * b126 - 6.2e2 b122 * b127 - 600 b122 * b128 - 1.3e3 b122 * b129 - 700 b122 * b130 - 2.2e2 b122 * b131 - 1.96e3 b122 * b132 - 1.12e3 b122 * b133 - 1.6e3 b122 * b134 - 1.38e3 b122 * b135 - 1.7e3 b123 * b124 - 1.46e3 b123 * b125 - 1.22e3 b123 * b126 - 1.1e3 b123 * b127 - 500 b123 * b128 - 2.4e2 b123 * b129 - 1.6e2 b123 * b130 - 1.9e3 b123 * b131 - 1.22e3 b123 * b132 - 6.2e2 b123 * b133 - 9.4e2 b123 * b134 - 1.66e3 b123 * b135 - 1.9e3 b124 * b125 - 1.32e3 b124 * b126 - 1.38e3 b124 * b127 - 1.86e3 b124 * b128 - 1.04e3 b124 * b129 - 1.4e3 b124 * b130 - 1.14e3 b124 * b131 - 1.7e3 b124 * b132 - 1.42e3 b124 * b133 - 800 b124 * b134 - 1.48e3 b124 * b135 - 300 b125 * b126 - 800 b125 * b127 - 1.16e3 b125 * b128 - 80 b125 * b129 - 1.12e3 b125 * b130 - 200 b125 * b131 - 7.2e2 b125 * b132 - 8.2e2 b125 * b133 - 1.66e3 b125 * b134 - 40 b125 * b135 - 1.96e3 b126 * b127 - 9.8e2 b126 * b128 - 6.6e2 b126 * b129 - 2.6e2 b126 * b130 - 1.38e3 b126 * b131 - 5.6e2 b126 * b132 - 1.48e3 b126 * b133 - 1.6e2 b126 * b135 - 1.5e3 b127 * b128 - 1.32e3 b127 * b129 - 8.8e2 b127 * b130 - 1.34e3 b127 * b131 - 800 b127 * b132 - 9.6e2 b127 * b133 - 7.4e2 b127 * b134 - 4.4e2 b127 * b135 - 1.7e3 b128 * b129 - 1.8e2 b128 * b130 - 8.2e2 b128 * b131 - 20 b128 * b133 - 1.98e3 b128 * b134 - 9.8e2 b128 * b135 - 9.4e2 b129 * b130 - 8.8e2 b129 * b131 - 1e3 b129 * b132 - 1.6e2 b129 * b133 - 1.54e3 b129 * b134 - 1.08e3 b129 * b135 - 1.28e3 b130 * b131 - 1.54e3 b130 * b132 - 1.14e3 b130 * b133 - 1.8e3 b130 * b134 - 1.14e3 b130 * b135 - 5.8e2 b131 * b132 - 1.7e3 b131 * b133 - 1.28e3 b131 * b134 - 1.6e2 b131 * b135 - 9.4e2 b132 * b133 - 1.62e3 b132 * b134 - 1.28e3 b132 * b135 - 6.4e2 b133 * b134 - 1.88e3 b133 * b135 - 20 b134 * b135 - 1e3 b136 * b137 - 5.6e2 b136 * b138 - 7.4e2 b136 * b139 - 6.8e2 b136 * b140 - 1.74e3 b136 * b141 - 4.8e2 b136 * b142 - 1.96e3 b136 * b143 - 9.4e2 b136 * b144 - 1e3 b136 * b145 - 100 b136 * b146 - 1.14e3 b136 * b147 - 9.6e2 b136 * b148 - 1.88e3 b136 * b149 - 4.2e2 b136 * b150 - 6.2e2 b136 * b151 - 500 b136 * b152 - 2.4e2 b136 * b153 - 7.6e2 b136 * b154 - 300 b137 * b138 - 40 b137 * b139 - 1.78e3 b137 * b140 - 1.88e3 b137 * b141 - 4.2e2 b137 * b142 - 1.9e3 b137 * b143 - 1.88e3 b137 * b144 - 6.6e2 b137 * b145 - 1.6e2 b137 * b146 - 1.42e3 b137 * b147 - 1.98e3 b137 * b148 - 1.28e3 b137 * b149 - 1.48e3 b137 * b150 - 20 b137 * b151 - 8.8e2 b137 * b152 - 2.4e2 b137 * b153 - 7.2e2 b137 * b154 - 1.66e3 b138 * b139 - 1.76e3 b138 * b140 - 6.8e2 b138 * b141 - 600 b138 * b142 - 7.8e2 b138 * b143 - 7.8e2 b138 * b144 - 7.8e2 b138 * b145 - 1.74e3 b138 * b146 - 1.72e3 b138 * b147 - 1.2e3 b138 * b148 - 1.4e3 b138 * b149 - 2.2e2 b138 * b150 - 1.46e3 b138 * b151 - 1.8e2 b138 * b152 - 1.56e3 b138 * b153 - 1.5e3 b138 * b154 - 1e3 b139 * b140 - 1.46e3 b139 * b141 - 9.6e2 b139 * b142 - 900 b139 * b143 - 3.8e2 b139 * b144 - 1.64e3 b139 * b145 - 100 b139 * b146 - 1.8e3 b139 * b147 - 6.6e2 b139 * b148 - 4.2e2 b139 * b149 - 3.4e2 b139 * b150 - 6.8e2 b139 * b151 - 1.3e3 b139 * b152 - 1.62e3 b139 * b153 - 1.4e3 b139 * b154 - 1.38e3 b140 * b142 - 1.14e3 b140 * b143 - 1.66e3 b140 * b144 - 1.2e3 b140 * b145 - 1.92e3 b140 * b146 - 4.4e2 b140 * b147 - 1.98e3 b140 * b148 - 6.8e2 b140 * b149 - 1.66e3 b140 * b150 - 4.4e2 b140 * b151 - 9.2e2 b140 * b152 - 1.12e3 b140 * b153 - 1.66e3 b140 * b154 - 4.8e2 b141 * b142 - 1.66e3 b141 * b143 - 6.6e2 b141 * b144 - 9.8e2 b141 * b145 - 6.2e2 b141 * b146 - 600 b141 * b147 - 1.38e3 b141 * b148 - 1.3e3 b141 * b149 - 700 b141 * b150 - 2.2e2 b141 * b151 - 1.96e3 b141 * b152 - 1.12e3 b141 * b153 - 1.6e3 b141 * b154 - 1.7e3 b142 * b143 - 1.46e3 b142 * b144 - 1.22e3 b142 * b145 - 1.1e3 b142 * b146 - 500 b142 * b147 - 1.66e3 b142 * b148 - 2.4e2 b142 * b149 - 1.6e2 b142 * b150 - 1.9e3 b142 * b151 - 1.22e3 b142 * b152 - 6.2e2 b142 * b153 - 9.4e2 b142 * b154 - 1.9e3 b143 * b144 - 1.32e3 b143 * b145 - 1.38e3 b143 * b146 - 1.86e3 b143 * b147 - 1.48e3 b143 * b148 - 1.04e3 b143 * b149 - 1.4e3 b143 * b150 - 1.14e3 b143 * b151 - 1.7e3 b143 * b152 - 1.42e3 b143 * b153 - 800 b143 * b154 - 300 b144 * b145 - 800 b144 * b146 - 1.16e3 b144 * b147 - 40 b144 * b148 - 80 b144 * b149 - 1.12e3 b144 * b150 - 200 b144 * b151 - 7.2e2 b144 * b152 - 8.2e2 b144 * b153 - 1.66e3 b144 * b154 - 1.96e3 b145 * b146 - 9.8e2 b145 * b147 - 1.6e2 b145 * b148 - 6.6e2 b145 * b149 - 2.6e2 b145 * b150 - 1.38e3 b145 * b151 - 5.6e2 b145 * b152 - 1.48e3 b145 * b153 - 1.5e3 b146 * b147 - 4.4e2 b146 * b148 - 1.32e3 b146 * b149 - 8.8e2 b146 * b150 - 1.34e3 b146 * b151 - 800 b146 * b152 - 9.6e2 b146 * b153 - 7.4e2 b146 * b154 - 9.8e2 b147 * b148 - 1.7e3 b147 * b149 - 1.8e2 b147 * b150 - 8.2e2 b147 * b151 - 20 b147 * b153 - 1.98e3 b147 * b154 - 1.08e3 b148 * b149 - 1.14e3 b148 * b150 - 1.6e2 b148 * b151 - 1.28e3 b148 * b152 - 1.88e3 b148 * b153 - 20 b148 * b154 - 9.4e2 b149 * b150 - 8.8e2 b149 * b151 - 1e3 b149 * b152 - 1.6e2 b149 * b153 - 1.54e3 b149 * b154 - 1.28e3 b150 * b151 - 1.54e3 b150 * b152 - 1.14e3 b150 * b153 - 1.8e3 b150 * b154 - 5.8e2 b151 * b152 - 1.7e3 b151 * b153 - 1.28e3 b151 * b154 - 9.4e2 b152 * b153 - 1.62e3 b152 * b154 - 6.4e2 b153 * b154 - 300 b155 * b156 - 40 b155 * b157 - 1.78e3 b155 * b158 - 1.88e3 b155 * b159 - 4.2e2 b155 * b160 - 1.9e3 b155 * b161 - 1.88e3 b155 * b162 - 6.6e2 b155 * b163 - 1.6e2 b155 * b164 - 1.42e3 b155 * b165 - 1.98e3 b155 * b166 - 1.28e3 b155 * b167 - 1.48e3 b155 * b168 - 20 b155 * b169 - 8.8e2 b155 * b170 - 2.4e2 b155 * b171 - 7.2e2 b155 * b172 - 1.66e3 b156 * b157 - 1.76e3 b156 * b158 - 6.8e2 b156 * b159 - 600 b156 * b160 - 7.8e2 b156 * b161 - 7.8e2 b156 * b162 - 7.8e2 b156 * b163 - 1.74e3 b156 * b164 - 1.72e3 b156 * b165 - 1.2e3 b156 * b166 - 1.4e3 b156 * b167 - 2.2e2 b156 * b168 - 1.46e3 b156 * b169 - 1.8e2 b156 * b170 - 1.56e3 b156 * b171 - 1.5e3 b156 * b172 - 1e3 b157 * b158 - 1.46e3 b157 * b159 - 9.6e2 b157 * b160 - 900 b157 * b161 - 3.8e2 b157 * b162 - 1.64e3 b157 * b163 - 100 b157 * b164 - 1.8e3 b157 * b165 - 6.6e2 b157 * b166 - 4.2e2 b157 * b167 - 3.4e2 b157 * b168 - 6.8e2 b157 * b169 - 1.3e3 b157 * b170 - 1.62e3 b157 * b171 - 1.4e3 b157 * b172 - 1.38e3 b158 * b160 - 1.14e3 b158 * b161 - 1.66e3 b158 * b162 - 1.2e3 b158 * b163 - 1.92e3 b158 * b164 - 4.4e2 b158 * b165 - 1.98e3 b158 * b166 - 6.8e2 b158 * b167 - 1.66e3 b158 * b168 - 4.4e2 b158 * b169 - 9.2e2 b158 * b170 - 1.12e3 b158 * b171 - 1.66e3 b158 * b172 - 4.8e2 b159 * b160 - 1.66e3 b159 * b161 - 6.6e2 b159 * b162 - 9.8e2 b159 * b163 - 6.2e2 b159 * b164 - 600 b159 * b165 - 1.38e3 b159 * b166 - 1.3e3 b159 * b167 - 700 b159 * b168 - 2.2e2 b159 * b169 - 1.96e3 b159 * b170 - 1.12e3 b159 * b171 - 1.6e3 b159 * b172 - 1.7e3 b160 * b161 - 1.46e3 b160 * b162 - 1.22e3 b160 * b163 - 1.1e3 b160 * b164 - 500 b160 * b165 - 1.66e3 b160 * b166 - 2.4e2 b160 * b167 - 1.6e2 b160 * b168 - 1.9e3 b160 * b169 - 1.22e3 b160 * b170 - 6.2e2 b160 * b171 - 9.4e2 b160 * b172 - 1.9e3 b161 * b162 - 1.32e3 b161 * b163 - 1.38e3 b161 * b164 - 1.86e3 b161 * b165 - 1.48e3 b161 * b166 - 1.04e3 b161 * b167 - 1.4e3 b161 * b168 - 1.14e3 b161 * b169 - 1.7e3 b161 * b170 - 1.42e3 b161 * b171 - 800 b161 * b172 - 300 b162 * b163 - 800 b162 * b164 - 1.16e3 b162 * b165 - 40 b162 * b166 - 80 b162 * b167 - 1.12e3 b162 * b168 - 200 b162 * b169 - 7.2e2 b162 * b170 - 8.2e2 b162 * b171 - 1.66e3 b162 * b172 - 1.96e3 b163 * b164 - 9.8e2 b163 * b165 - 1.6e2 b163 * b166 - 6.6e2 b163 * b167 - 2.6e2 b163 * b168 - 1.38e3 b163 * b169 - 5.6e2 b163 * b170 - 1.48e3 b163 * b171 - 1.5e3 b164 * b165 - 4.4e2 b164 * b166 - 1.32e3 b164 * b167 - 8.8e2 b164 * b168 - 1.34e3 b164 * b169 - 800 b164 * b170 - 9.6e2 b164 * b171 - 7.4e2 b164 * b172 - 9.8e2 b165 * b166 - 1.7e3 b165 * b167 - 1.8e2 b165 * b168 - 8.2e2 b165 * b169 - 20 b165 * b171 - 1.98e3 b165 * b172 - 1.08e3 b166 * b167 - 1.14e3 b166 * b168 - 1.6e2 b166 * b169 - 1.28e3 b166 * b170 - 1.88e3 b166 * b171 - 20 b166 * b172 - 9.4e2 b167 * b168 - 8.8e2 b167 * b169 - 1e3 b167 * b170 - 1.6e2 b167 * b171 - 1.54e3 b167 * b172 - 1.28e3 b168 * b169 - 1.54e3 b168 * b170 - 1.14e3 b168 * b171 - 1.8e3 b168 * b172 - 5.8e2 b169 * b170 - 1.7e3 b169 * b171 - 1.28e3 b169 * b172 - 9.4e2 b170 * b171 - 1.62e3 b170 * b172 - 6.4e2 b171 * b172 - 1.66e3 b173 * b174 - 1.76e3 b173 * b175 - 6.8e2 b173 * b176 - 600 b173 * b177 - 7.8e2 b173 * b178 - 7.8e2 b173 * b179 - 7.8e2 b173 * b180 - 1.74e3 b173 * b181 - 1.72e3 b173 * b182 - 1.2e3 b173 * b183 - 1.4e3 b173 * b184 - 2.2e2 b173 * b185 - 1.46e3 b173 * b186 - 1.8e2 b173 * b187 - 1.56e3 b173 * b188 - 1.5e3 b173 * b189 - 1e3 b174 * b175 - 1.46e3 b174 * b176 - 9.6e2 b174 * b177 - 900 b174 * b178 - 3.8e2 b174 * b179 - 1.64e3 b174 * b180 - 100 b174 * b181 - 1.8e3 b174 * b182 - 6.6e2 b174 * b183 - 4.2e2 b174 * b184 - 3.4e2 b174 * b185 - 6.8e2 b174 * b186 - 1.3e3 b174 * b187 - 1.62e3 b174 * b188 - 1.4e3 b174 * b189 - 1.38e3 b175 * b177 - 1.14e3 b175 * b178 - 1.66e3 b175 * b179 - 1.2e3 b175 * b180 - 1.92e3 b175 * b181 - 4.4e2 b175 * b182 - 1.98e3 b175 * b183 - 6.8e2 b175 * b184 - 1.66e3 b175 * b185 - 4.4e2 b175 * b186 - 9.2e2 b175 * b187 - 1.12e3 b175 * b188 - 1.66e3 b175 * b189 - 4.8e2 b176 * b177 - 1.66e3 b176 * b178 - 6.6e2 b176 * b179 - 9.8e2 b176 * b180 - 6.2e2 b176 * b181 - 600 b176 * b182 - 1.38e3 b176 * b183 - 1.3e3 b176 * b184 - 700 b176 * b185 - 2.2e2 b176 * b186 - 1.96e3 b176 * b187 - 1.12e3 b176 * b188 - 1.6e3 b176 * b189 - 1.7e3 b177 * b178 - 1.46e3 b177 * b179 - 1.22e3 b177 * b180 - 1.1e3 b177 * b181 - 500 b177 * b182 - 1.66e3 b177 * b183 - 2.4e2 b177 * b184 - 1.6e2 b177 * b185 - 1.9e3 b177 * b186 - 1.22e3 b177 * b187 - 6.2e2 b177 * b188 - 9.4e2 b177 * b189 - 1.9e3 b178 * b179 - 1.32e3 b178 * b180 - 1.38e3 b178 * b181 - 1.86e3 b178 * b182 - 1.48e3 b178 * b183 - 1.04e3 b178 * b184 - 1.4e3 b178 * b185 - 1.14e3 b178 * b186 - 1.7e3 b178 * b187 - 1.42e3 b178 * b188 - 800 b178 * b189 - 300 b179 * b180 - 800 b179 * b181 - 1.16e3 b179 * b182 - 40 b179 * b183 - 80 b179 * b184 - 1.12e3 b179 * b185 - 200 b179 * b186 - 7.2e2 b179 * b187 - 8.2e2 b179 * b188 - 1.66e3 b179 * b189 - 1.96e3 b180 * b181 - 9.8e2 b180 * b182 - 1.6e2 b180 * b183 - 6.6e2 b180 * b184 - 2.6e2 b180 * b185 - 1.38e3 b180 * b186 - 5.6e2 b180 * b187 - 1.48e3 b180 * b188 - 1.5e3 b181 * b182 - 4.4e2 b181 * b183 - 1.32e3 b181 * b184 - 8.8e2 b181 * b185 - 1.34e3 b181 * b186 - 800 b181 * b187 - 9.6e2 b181 * b188 - 7.4e2 b181 * b189 - 9.8e2 b182 * b183 - 1.7e3 b182 * b184 - 1.8e2 b182 * b185 - 8.2e2 b182 * b186 - 20 b182 * b188 - 1.98e3 b182 * b189 - 1.08e3 b183 * b184 - 1.14e3 b183 * b185 - 1.6e2 b183 * b186 - 1.28e3 b183 * b187 - 1.88e3 b183 * b188 - 20 b183 * b189 - 9.4e2 b184 * b185 - 8.8e2 b184 * b186 - 1e3 b184 * b187 - 1.6e2 b184 * b188 - 1.54e3 b184 * b189 - 1.28e3 b185 * b186 - 1.54e3 b185 * b187 - 1.14e3 b185 * b188 - 1.8e3 b185 * b189 - 5.8e2 b186 * b187 - 1.7e3 b186 * b188 - 1.28e3 b186 * b189 - 9.4e2 b187 * b188 - 1.62e3 b187 * b189 - 6.4e2 b188 * b189 - 1e3 b190 * b191 - 1.46e3 b190 * b192 - 9.6e2 b190 * b193 - 900 b190 * b194 - 3.8e2 b190 * b195 - 1.64e3 b190 * b196 - 100 b190 * b197 - 1.8e3 b190 * b198 - 6.6e2 b190 * b199 - 4.2e2 b190 * b200 - 3.4e2 b190 * b201 - 6.8e2 b190 * b202 - 1.3e3 b190 * b203 - 1.62e3 b190 * b204 - 1.4e3 b190 * b205 - 1.38e3 b191 * b193 - 1.14e3 b191 * b194 - 1.66e3 b191 * b195 - 1.2e3 b191 * b196 - 1.92e3 b191 * b197 - 4.4e2 b191 * b198 - 1.98e3 b191 * b199 - 6.8e2 b191 * b200 - 1.66e3 b191 * b201 - 4.4e2 b191 * b202 - 9.2e2 b191 * b203 - 1.12e3 b191 * b204 - 1.66e3 b191 * b205 - 4.8e2 b192 * b193 - 1.66e3 b192 * b194 - 6.6e2 b192 * b195 - 9.8e2 b192 * b196 - 6.2e2 b192 * b197 - 600 b192 * b198 - 1.38e3 b192 * b199 - 1.3e3 b192 * b200 - 700 b192 * b201 - 2.2e2 b192 * b202 - 1.96e3 b192 * b203 - 1.12e3 b192 * b204 - 1.6e3 b192 * b205 - 1.7e3 b193 * b194 - 1.46e3 b193 * b195 - 1.22e3 b193 * b196 - 1.1e3 b193 * b197 - 500 b193 * b198 - 1.66e3 b193 * b199 - 2.4e2 b193 * b200 - 1.6e2 b193 * b201 - 1.9e3 b193 * b202 - 1.22e3 b193 * b203 - 6.2e2 b193 * b204 - 9.4e2 b193 * b205 - 1.9e3 b194 * b195 - 1.32e3 b194 * b196 - 1.38e3 b194 * b197 - 1.86e3 b194 * b198 - 1.48e3 b194 * b199 - 1.04e3 b194 * b200 - 1.4e3 b194 * b201 - 1.14e3 b194 * b202 - 1.7e3 b194 * b203 - 1.42e3 b194 * b204 - 800 b194 * b205 - 300 b195 * b196 - 800 b195 * b197 - 1.16e3 b195 * b198 - 40 b195 * b199 - 80 b195 * b200 - 1.12e3 b195 * b201 - 200 b195 * b202 - 7.2e2 b195 * b203 - 8.2e2 b195 * b204 - 1.66e3 b195 * b205 - 1.96e3 b196 * b197 - 9.8e2 b196 * b198 - 1.6e2 b196 * b199 - 6.6e2 b196 * b200 - 2.6e2 b196 * b201 - 1.38e3 b196 * b202 - 5.6e2 b196 * b203 - 1.48e3 b196 * b204 - 1.5e3 b197 * b198 - 4.4e2 b197 * b199 - 1.32e3 b197 * b200 - 8.8e2 b197 * b201 - 1.34e3 b197 * b202 - 800 b197 * b203 - 9.6e2 b197 * b204 - 7.4e2 b197 * b205 - 9.8e2 b198 * b199 - 1.7e3 b198 * b200 - 1.8e2 b198 * b201 - 8.2e2 b198 * b202 - 20 b198 * b204 - 1.98e3 b198 * b205 - 1.08e3 b199 * b200 - 1.14e3 b199 * b201 - 1.6e2 b199 * b202 - 1.28e3 b199 * b203 - 1.88e3 b199 * b204 - 20 b199 * b205 - 9.4e2 b200 * b201 - 8.8e2 b200 * b202 - 1e3 b200 * b203 - 1.6e2 b200 * b204 - 1.54e3 b200 * b205 - 1.28e3 b201 * b202 - 1.54e3 b201 * b203 - 1.14e3 b201 * b204 - 1.8e3 b201 * b205 - 5.8e2 b202 * b203 - 1.7e3 b202 * b204 - 1.28e3 b202 * b205 - 9.4e2 b203 * b204 - 1.62e3 b203 * b205 - 6.4e2 b204 * b205 - 1.38e3 b206 * b207 - 1.14e3 b206 * b208 - 1.66e3 b206 * b209 - 1.2e3 b206 * b210 - 1.92e3 b206 * b211 - 4.4e2 b206 * b212 - 1.98e3 b206 * b213 - 6.8e2 b206 * b214 - 1.66e3 b206 * b215 - 4.4e2 b206 * b216 - 9.2e2 b206 * b217 - 1.12e3 b206 * b218 - 1.66e3 b206 * b219 - 1.7e3 b207 * b208 - 1.46e3 b207 * b209 - 1.22e3 b207 * b210 - 1.1e3 b207 * b211 - 500 b207 * b212 - 1.66e3 b207 * b213 - 2.4e2 b207 * b214 - 1.6e2 b207 * b215 - 1.9e3 b207 * b216 - 1.22e3 b207 * b217 - 6.2e2 b207 * b218 - 9.4e2 b207 * b219 - 4.8e2 b207 * b220 - 1.9e3 b208 * b209 - 1.32e3 b208 * b210 - 1.38e3 b208 * b211 - 1.86e3 b208 * b212 - 1.48e3 b208 * b213 - 1.04e3 b208 * b214 - 1.4e3 b208 * b215 - 1.14e3 b208 * b216 - 1.7e3 b208 * b217 - 1.42e3 b208 * b218 - 800 b208 * b219 - 1.66e3 b208 * b220 - 300 b209 * b210 - 800 b209 * b211 - 1.16e3 b209 * b212 - 40 b209 * b213 - 80 b209 * b214 - 1.12e3 b209 * b215 - 200 b209 * b216 - 7.2e2 b209 * b217 - 8.2e2 b209 * b218 - 1.66e3 b209 * b219 - 6.6e2 b209 * b220 - 1.96e3 b210 * b211 - 9.8e2 b210 * b212 - 1.6e2 b210 * b213 - 6.6e2 b210 * b214 - 2.6e2 b210 * b215 - 1.38e3 b210 * b216 - 5.6e2 b210 * b217 - 1.48e3 b210 * b218 - 9.8e2 b210 * b220 - 1.5e3 b211 * b212 - 4.4e2 b211 * b213 - 1.32e3 b211 * b214 - 8.8e2 b211 * b215 - 1.34e3 b211 * b216 - 800 b211 * b217 - 9.6e2 b211 * b218 - 7.4e2 b211 * b219 - 6.2e2 b211 * b220 - 9.8e2 b212 * b213 - 1.7e3 b212 * b214 - 1.8e2 b212 * b215 - 8.2e2 b212 * b216 - 20 b212 * b218 - 1.98e3 b212 * b219 - 600 b212 * b220 - 1.08e3 b213 * b214 - 1.14e3 b213 * b215 - 1.6e2 b213 * b216 - 1.28e3 b213 * b217 - 1.88e3 b213 * b218 - 20 b213 * b219 - 1.38e3 b213 * b220 - 9.4e2 b214 * b215 - 8.8e2 b214 * b216 - 1e3 b214 * b217 - 1.6e2 b214 * b218 - 1.54e3 b214 * b219 - 1.3e3 b214 * b220 - 1.28e3 b215 * b216 - 1.54e3 b215 * b217 - 1.14e3 b215 * b218 - 1.8e3 b215 * b219 - 700 b215 * b220 - 5.8e2 b216 * b217 - 1.7e3 b216 * b218 - 1.28e3 b216 * b219 - 2.2e2 b216 * b220 - 9.4e2 b217 * b218 - 1.62e3 b217 * b219 - 1.96e3 b217 * b220 - 6.4e2 b218 * b219 - 1.12e3 b218 * b220 - 1.6e3 b219 * b220 - 4.8e2 b221 * b222 - 1.66e3 b221 * b223 - 6.6e2 b221 * b224 - 9.8e2 b221 * b225 - 6.2e2 b221 * b226 - 600 b221 * b227 - 1.38e3 b221 * b228 - 1.3e3 b221 * b229 - 700 b221 * b230 - 2.2e2 b221 * b231 - 1.96e3 b221 * b232 - 1.12e3 b221 * b233 - 1.6e3 b221 * b234 - 1.7e3 b222 * b223 - 1.46e3 b222 * b224 - 1.22e3 b222 * b225 - 1.1e3 b222 * b226 - 500 b222 * b227 - 1.66e3 b222 * b228 - 2.4e2 b222 * b229 - 1.6e2 b222 * b230 - 1.9e3 b222 * b231 - 1.22e3 b222 * b232 - 6.2e2 b222 * b233 - 9.4e2 b222 * b234 - 1.9e3 b223 * b224 - 1.32e3 b223 * b225 - 1.38e3 b223 * b226 - 1.86e3 b223 * b227 - 1.48e3 b223 * b228 - 1.04e3 b223 * b229 - 1.4e3 b223 * b230 - 1.14e3 b223 * b231 - 1.7e3 b223 * b232 - 1.42e3 b223 * b233 - 800 b223 * b234 - 300 b224 * b225 - 800 b224 * b226 - 1.16e3 b224 * b227 - 40 b224 * b228 - 80 b224 * b229 - 1.12e3 b224 * b230 - 200 b224 * b231 - 7.2e2 b224 * b232 - 8.2e2 b224 * b233 - 1.66e3 b224 * b234 - 1.96e3 b225 * b226 - 9.8e2 b225 * b227 - 1.6e2 b225 * b228 - 6.6e2 b225 * b229 - 2.6e2 b225 * b230 - 1.38e3 b225 * b231 - 5.6e2 b225 * b232 - 1.48e3 b225 * b233 - 1.5e3 b226 * b227 - 4.4e2 b226 * b228 - 1.32e3 b226 * b229 - 8.8e2 b226 * b230 - 1.34e3 b226 * b231 - 800 b226 * b232 - 9.6e2 b226 * b233 - 7.4e2 b226 * b234 - 9.8e2 b227 * b228 - 1.7e3 b227 * b229 - 1.8e2 b227 * b230 - 8.2e2 b227 * b231 - 20 b227 * b233 - 1.98e3 b227 * b234 - 1.08e3 b228 * b229 - 1.14e3 b228 * b230 - 1.6e2 b228 * b231 - 1.28e3 b228 * b232 - 1.88e3 b228 * b233 - 20 b228 * b234 - 9.4e2 b229 * b230 - 8.8e2 b229 * b231 - 1e3 b229 * b232 - 1.6e2 b229 * b233 - 1.54e3 b229 * b234 - 1.28e3 b230 * b231 - 1.54e3 b230 * b232 - 1.14e3 b230 * b233 - 1.8e3 b230 * b234 - 5.8e2 b231 * b232 - 1.7e3 b231 * b233 - 1.28e3 b231 * b234 - 9.4e2 b232 * b233 - 1.62e3 b232 * b234 - 6.4e2 b233 * b234 - 1.7e3 b235 * b236 - 1.46e3 b235 * b237 - 1.22e3 b235 * b238 - 1.1e3 b235 * b239 - 500 b235 * b240 - 1.66e3 b235 * b241 - 2.4e2 b235 * b242 - 1.6e2 b235 * b243 - 1.9e3 b235 * b244 - 1.22e3 b235 * b245 - 6.2e2 b235 * b246 - 9.4e2 b235 * b247 - 1.9e3 b236 * b237 - 1.32e3 b236 * b238 - 1.38e3 b236 * b239 - 1.86e3 b236 * b240 - 1.48e3 b236 * b241 - 1.04e3 b236 * b242 - 1.4e3 b236 * b243 - 1.14e3 b236 * b244 - 1.7e3 b236 * b245 - 1.42e3 b236 * b246 - 800 b236 * b247 - 300 b237 * b238 - 800 b237 * b239 - 1.16e3 b237 * b240 - 40 b237 * b241 - 80 b237 * b242 - 1.12e3 b237 * b243 - 200 b237 * b244 - 7.2e2 b237 * b245 - 8.2e2 b237 * b246 - 1.66e3 b237 * b247 - 1.96e3 b238 * b239 - 9.8e2 b238 * b240 - 1.6e2 b238 * b241 - 6.6e2 b238 * b242 - 2.6e2 b238 * b243 - 1.38e3 b238 * b244 - 5.6e2 b238 * b245 - 1.48e3 b238 * b246 - 1.5e3 b239 * b240 - 4.4e2 b239 * b241 - 1.32e3 b239 * b242 - 8.8e2 b239 * b243 - 1.34e3 b239 * b244 - 800 b239 * b245 - 9.6e2 b239 * b246 - 7.4e2 b239 * b247 - 9.8e2 b240 * b241 - 1.7e3 b240 * b242 - 1.8e2 b240 * b243 - 8.2e2 b240 * b244 - 20 b240 * b246 - 1.98e3 b240 * b247 - 1.08e3 b241 * b242 - 1.14e3 b241 * b243 - 1.6e2 b241 * b244 - 1.28e3 b241 * b245 - 1.88e3 b241 * b246 - 20 b241 * b247 - 9.4e2 b242 * b243 - 8.8e2 b242 * b244 - 1e3 b242 * b245 - 1.6e2 b242 * b246 - 1.54e3 b242 * b247 - 1.28e3 b243 * b244 - 1.54e3 b243 * b245 - 1.14e3 b243 * b246 - 1.8e3 b243 * b247 - 5.8e2 b244 * b245 - 1.7e3 b244 * b246 - 1.28e3 b244 * b247 - 9.4e2 b245 * b246 - 1.62e3 b245 * b247 - 6.4e2 b246 * b247 - 1.9e3 b248 * b249 - 1.32e3 b248 * b250 - 1.38e3 b248 * b251 - 1.86e3 b248 * b252 - 1.48e3 b248 * b253 - 1.04e3 b248 * b254 - 1.4e3 b248 * b255 - 1.14e3 b248 * b256 - 1.7e3 b248 * b257 - 1.42e3 b248 * b258 - 800 b248 * b259 - 300 b249 * b250 - 800 b249 * b251 - 1.16e3 b249 * b252 - 40 b249 * b253 - 80 b249 * b254 - 1.12e3 b249 * b255 - 200 b249 * b256 - 7.2e2 b249 * b257 - 8.2e2 b249 * b258 - 1.66e3 b249 * b259 - 1.96e3 b250 * b251 - 9.8e2 b250 * b252 - 1.6e2 b250 * b253 - 6.6e2 b250 * b254 - 2.6e2 b250 * b255 - 1.38e3 b250 * b256 - 5.6e2 b250 * b257 - 1.48e3 b250 * b258 - 1.5e3 b251 * b252 - 4.4e2 b251 * b253 - 1.32e3 b251 * b254 - 8.8e2 b251 * b255 - 1.34e3 b251 * b256 - 800 b251 * b257 - 9.6e2 b251 * b258 - 7.4e2 b251 * b259 - 9.8e2 b252 * b253 - 1.7e3 b252 * b254 - 1.8e2 b252 * b255 - 8.2e2 b252 * b256 - 20 b252 * b258 - 1.98e3 b252 * b259 - 1.08e3 b253 * b254 - 1.14e3 b253 * b255 - 1.6e2 b253 * b256 - 1.28e3 b253 * b257 - 1.88e3 b253 * b258 - 20 b253 * b259 - 9.4e2 b254 * b255 - 8.8e2 b254 * b256 - 1e3 b254 * b257 - 1.6e2 b254 * b258 - 1.54e3 b254 * b259 - 1.28e3 b255 * b256 - 1.54e3 b255 * b257 - 1.14e3 b255 * b258 - 1.8e3 b255 * b259 - 5.8e2 b256 * b257 - 1.7e3 b256 * b258 - 1.28e3 b256 * b259 - 9.4e2 b257 * b258 - 1.62e3 b257 * b259 - 6.4e2 b258 * b259 - 300 b260 * b261 - 800 b260 * b262 - 1.16e3 b260 * b263 - 40 b260 * b264 - 80 b260 * b265 - 1.12e3 b260 * b266 - 200 b260 * b267 - 7.2e2 b260 * b268 - 8.2e2 b260 * b269 - 1.66e3 b260 * b270 - 1.96e3 b261 * b262 - 9.8e2 b261 * b263 - 1.6e2 b261 * b264 - 6.6e2 b261 * b265 - 2.6e2 b261 * b266 - 1.38e3 b261 * b267 - 5.6e2 b261 * b268 - 1.48e3 b261 * b269 - 1.5e3 b262 * b263 - 4.4e2 b262 * b264 - 1.32e3 b262 * b265 - 8.8e2 b262 * b266 - 1.34e3 b262 * b267 - 800 b262 * b268 - 9.6e2 b262 * b269 - 7.4e2 b262 * b270 - 9.8e2 b263 * b264 - 1.7e3 b263 * b265 - 1.8e2 b263 * b266 - 8.2e2 b263 * b267 - 20 b263 * b269 - 1.98e3 b263 * b270 - 1.08e3 b264 * b265 - 1.14e3 b264 * b266 - 1.6e2 b264 * b267 - 1.28e3 b264 * b268 - 1.88e3 b264 * b269 - 20 b264 * b270 - 9.4e2 b265 * b266 - 8.8e2 b265 * b267 - 1e3 b265 * b268 - 1.6e2 b265 * b269 - 1.54e3 b265 * b270 - 1.28e3 b266 * b267 - 1.54e3 b266 * b268 - 1.14e3 b266 * b269 - 1.8e3 b266 * b270 - 5.8e2 b267 * b268 - 1.7e3 b267 * b269 - 1.28e3 b267 * b270 - 9.4e2 b268 * b269 - 1.62e3 b268 * b270 - 6.4e2 b269 * b270 - 1.96e3 b271 * b272 - 9.8e2 b271 * b273 - 1.6e2 b271 * b274 - 6.6e2 b271 * b275 - 2.6e2 b271 * b276 - 1.38e3 b271 * b277 - 5.6e2 b271 * b278 - 1.48e3 b271 * b279 - 1.5e3 b272 * b273 - 4.4e2 b272 * b274 - 1.32e3 b272 * b275 - 8.8e2 b272 * b276 - 1.34e3 b272 * b277 - 800 b272 * b278 - 9.6e2 b272 * b279 - 7.4e2 b272 * b280 - 9.8e2 b273 * b274 - 1.7e3 b273 * b275 - 1.8e2 b273 * b276 - 8.2e2 b273 * b277 - 20 b273 * b279 - 1.98e3 b273 * b280 - 1.08e3 b274 * b275 - 1.14e3 b274 * b276 - 1.6e2 b274 * b277 - 1.28e3 b274 * b278 - 1.88e3 b274 * b279 - 20 b274 * b280 - 9.4e2 b275 * b276 - 8.8e2 b275 * b277 - 1e3 b275 * b278 - 1.6e2 b275 * b279 - 1.54e3 b275 * b280 - 1.28e3 b276 * b277 - 1.54e3 b276 * b278 - 1.14e3 b276 * b279 - 1.8e3 b276 * b280 - 5.8e2 b277 * b278 - 1.7e3 b277 * b279 - 1.28e3 b277 * b280 - 9.4e2 b278 * b279 - 1.62e3 b278 * b280 - 6.4e2 b279 * b280 - 1.5e3 b281 * b282 - 4.4e2 b281 * b283 - 1.32e3 b281 * b284 - 8.8e2 b281 * b285 - 1.34e3 b281 * b286 - 800 b281 * b287 - 9.6e2 b281 * b288 - 7.4e2 b281 * b289 - 9.8e2 b282 * b283 - 1.7e3 b282 * b284 - 1.8e2 b282 * b285 - 8.2e2 b282 * b286 - 20 b282 * b288 - 1.98e3 b282 * b289 - 1.08e3 b283 * b284 - 1.14e3 b283 * b285 - 1.6e2 b283 * b286 - 1.28e3 b283 * b287 - 1.88e3 b283 * b288 - 20 b283 * b289 - 9.4e2 b284 * b285 - 8.8e2 b284 * b286 - 1e3 b284 * b287 - 1.6e2 b284 * b288 - 1.54e3 b284 * b289 - 1.28e3 b285 * b286 - 1.54e3 b285 * b287 - 1.14e3 b285 * b288 - 1.8e3 b285 * b289 - 5.8e2 b286 * b287 - 1.7e3 b286 * b288 - 1.28e3 b286 * b289 - 9.4e2 b287 * b288 - 1.62e3 b287 * b289 - 6.4e2 b288 * b289 - 9.8e2 b290 * b291 - 1.7e3 b290 * b292 - 1.8e2 b290 * b293 - 8.2e2 b290 * b294 - 20 b290 * b295 - 1.98e3 b290 * b296 - 1.08e3 b291 * b292 - 1.14e3 b291 * b293 - 1.6e2 b291 * b294 - 1.88e3 b291 * b295 - 20 b291 * b296 - 1.28e3 b291 * b297 - 9.4e2 b292 * b293 - 8.8e2 b292 * b294 - 1.6e2 b292 * b295 - 1.54e3 b292 * b296 - 1e3 b292 * b297 - 1.28e3 b293 * b294 - 1.14e3 b293 * b295 - 1.8e3 b293 * b296 - 1.54e3 b293 * b297 - 1.7e3 b294 * b295 - 1.28e3 b294 * b296 - 5.8e2 b294 * b297 - 6.4e2 b295 * b296 - 9.4e2 b295 * b297 - 1.62e3 b296 * b297 - 1.08e3 b298 * b299 - 1.14e3 b298 * b300 - 1.6e2 b298 * b301 - 1.28e3 b298 * b302 - 1.88e3 b298 * b303 - 20 b298 * b304 - 9.4e2 b299 * b300 - 8.8e2 b299 * b301 - 1e3 b299 * b302 - 1.6e2 b299 * b303 - 1.54e3 b299 * b304 - 1.28e3 b300 * b301 - 1.54e3 b300 * b302 - 1.14e3 b300 * b303 - 1.8e3 b300 * b304 - 5.8e2 b301 * b302 - 1.7e3 b301 * b303 - 1.28e3 b301 * b304 - 9.4e2 b302 * b303 - 1.62e3 b302 * b304 - 6.4e2 b303 * b304 - 9.4e2 b305 * b306 - 8.8e2 b305 * b307 - 1e3 b305 * b308 - 1.6e2 b305 * b309 - 1.54e3 b305 * b310 - 1.28e3 b306 * b307 - 1.54e3 b306 * b308 - 1.14e3 b306 * b309 - 1.8e3 b306 * b310 - 5.8e2 b307 * b308 - 1.7e3 b307 * b309 - 1.28e3 b307 * b310 - 9.4e2 b308 * b309 - 1.62e3 b308 * b310 - 6.4e2 b309 * b310 - 1.28e3 b311 * b312 - 1.54e3 b311 * b313 - 1.14e3 b311 * b314 - 1.8e3 b311 * b315 - 5.8e2 b312 * b313 - 1.7e3 b312 * b314 - 1.28e3 b312 * b315 - 9.4e2 b313 * b314 - 1.62e3 b313 * b315 - 6.4e2 b314 * b315 - 5.8e2 b316 * b317 - 1.7e3 b316 * b318 - 1.28e3 b316 * b319 - 9.4e2 b317 * b318 - 1.62e3 b317 * b319 - 6.4e2 b318 * b319 - 9.4e2 b320 * b321 - 1.62e3 b320 * b322 - 6.4e2 b321 * b322 - 6.4e2 b323 * b324 ]/2 Subject To e2: b2 + b26 = 1 e3: b3 + b27 + b50 = 1 e4: b4 + b28 + b51 + b73 = 1 e5: b5 + b29 + b52 + b74 + b95 = 1 e6: b6 + b30 + b53 + b75 + b96 + b116 = 1 e7: b7 + b31 + b54 + b76 + b97 + b117 + b136 = 1 e8: b8 + b32 + b55 + b77 + b98 + b118 + b137 + b155 = 1 e9: b9 + b33 + b56 + b78 + b99 + b119 + b138 + b156 + b173 = 1 e10: b10 + b34 + b57 + b94 + b100 + b120 + b139 + b157 + b174 + b190 = 1 e11: b11 + b35 + b58 + b79 + b101 + b121 + b140 + b158 + b175 + b191 + b206 = 1 e12: b12 + b36 + b59 + b80 + b102 + b122 + b141 + b159 + b176 + b192 + b220 + b221 = 1 e13: b13 + b37 + b60 + b81 + b103 + b123 + b142 + b160 + b177 + b193 + b207 + b222 + b235 = 1 e14: b14 + b38 + b61 + b82 + b104 + b124 + b143 + b161 + b178 + b194 + b208 + b223 + b236 + b248 = 1 e15: b15 + b39 + b62 + b83 + b105 + b125 + b144 + b162 + b179 + b195 + b209 + b224 + b237 + b249 + b260 = 1 e16: b16 + b40 + b63 + b84 + b106 + b126 + b145 + b163 + b180 + b196 + b210 + b225 + b238 + b250 + b261 + b271 = 1 e17: b17 + b41 + b64 + b85 + b107 + b127 + b146 + b164 + b181 + b197 + b211 + b226 + b239 + b251 + b262 + b272 + b281 = 1 e18: b18 + b42 + b65 + b86 + b108 + b128 + b147 + b165 + b182 + b198 + b212 + b227 + b240 + b252 + b263 + b273 + b282 + b290 = 1 e19: b19 + b43 + b66 + b87 + b109 + b135 + b148 + b166 + b183 + b199 + b213 + b228 + b241 + b253 + b264 + b274 + b283 + b291 + b298 = 1 e20: b20 + b44 + b67 + b88 + b110 + b129 + b149 + b167 + b184 + b200 + b214 + b229 + b242 + b254 + b265 + b275 + b284 + b292 + b299 + b305 = 1 e21: b21 + b45 + b68 + b89 + b111 + b130 + b150 + b168 + b185 + b201 + b215 + b230 + b243 + b255 + b266 + b276 + b285 + b293 + b300 + b306 + b311 = 1 e22: b22 + b46 + b69 + b90 + b112 + b131 + b151 + b169 + b186 + b202 + b216 + b231 + b244 + b256 + b267 + b277 + b286 + b294 + b301 + b307 + b312 + b316 = 1 e23: b23 + b47 + b70 + b91 + b113 + b132 + b152 + b170 + b187 + b203 + b217 + b232 + b245 + b257 + b268 + b278 + b287 + b297 + b302 + b308 + b313 + b317 + b320 = 1 e24: b24 + b48 + b71 + b92 + b114 + b133 + b153 + b171 + b188 + b204 + b218 + b233 + b246 + b258 + b269 + b279 + b288 + b295 + b303 + b309 + b314 + b318 + b321 + b323 = 1 e25: b25 + b49 + b72 + b93 + b115 + b134 + b154 + b172 + b189 + b205 + b219 + b234 + b247 + b259 + b270 + b280 + b289 + b296 + b304 + b310 + b315 + b319 + b322 + b324 + b325 = 1 e26: - b26 + b27 <= 0 e27: - b26 + b28 <= 0 e28: - b26 + b29 <= 0 e29: - b26 + b30 <= 0 e30: - b26 + b31 <= 0 e31: - b26 + b32 <= 0 e32: - b26 + b33 <= 0 e33: - b26 + b34 <= 0 e34: - b26 + b35 <= 0 e35: - b26 + b36 <= 0 e36: - b26 + b37 <= 0 e37: - b26 + b38 <= 0 e38: - b26 + b39 <= 0 e39: - b26 + b40 <= 0 e40: - b26 + b41 <= 0 e41: - b26 + b42 <= 0 e42: - b26 + b43 <= 0 e43: - b26 + b44 <= 0 e44: - b26 + b45 <= 0 e45: - b26 + b46 <= 0 e46: - b26 + b47 <= 0 e47: - b26 + b48 <= 0 e48: - b26 + b49 <= 0 e49: - b50 + b51 <= 0 e50: - b50 + b52 <= 0 e51: - b50 + b53 <= 0 e52: - b50 + b54 <= 0 e53: - b50 + b55 <= 0 e54: - b50 + b56 <= 0 e55: - b50 + b57 <= 0 e56: - b50 + b58 <= 0 e57: - b50 + b59 <= 0 e58: - b50 + b60 <= 0 e59: - b50 + b61 <= 0 e60: - b50 + b62 <= 0 e61: - b50 + b63 <= 0 e62: - b50 + b64 <= 0 e63: - b50 + b65 <= 0 e64: - b50 + b66 <= 0 e65: - b50 + b67 <= 0 e66: - b50 + b68 <= 0 e67: - b50 + b69 <= 0 e68: - b50 + b70 <= 0 e69: - b50 + b71 <= 0 e70: - b50 + b72 <= 0 e71: - b73 + b74 <= 0 e72: - b73 + b75 <= 0 e73: - b73 + b76 <= 0 e74: - b73 + b77 <= 0 e75: - b73 + b78 <= 0 e76: - b73 + b94 <= 0 e77: - b73 + b79 <= 0 e78: - b73 + b80 <= 0 e79: - b73 + b81 <= 0 e80: - b73 + b82 <= 0 e81: - b73 + b83 <= 0 e82: - b73 + b84 <= 0 e83: - b73 + b85 <= 0 e84: - b73 + b86 <= 0 e85: - b73 + b87 <= 0 e86: - b73 + b88 <= 0 e87: - b73 + b89 <= 0 e88: - b73 + b90 <= 0 e89: - b73 + b91 <= 0 e90: - b73 + b92 <= 0 e91: - b73 + b93 <= 0 e92: - b95 + b96 <= 0 e93: - b95 + b97 <= 0 e94: - b95 + b98 <= 0 e95: - b95 + b99 <= 0 e96: - b95 + b100 <= 0 e97: - b95 + b101 <= 0 e98: - b95 + b102 <= 0 e99: - b95 + b103 <= 0 e100: - b95 + b104 <= 0 e101: - b95 + b105 <= 0 e102: - b95 + b106 <= 0 e103: - b95 + b107 <= 0 e104: - b95 + b108 <= 0 e105: - b95 + b109 <= 0 e106: - b95 + b110 <= 0 e107: - b95 + b111 <= 0 e108: - b95 + b112 <= 0 e109: - b95 + b113 <= 0 e110: - b95 + b114 <= 0 e111: - b95 + b115 <= 0 e112: - b116 + b117 <= 0 e113: - b116 + b118 <= 0 e114: - b116 + b119 <= 0 e115: - b116 + b120 <= 0 e116: - b116 + b121 <= 0 e117: - b116 + b122 <= 0 e118: - b116 + b123 <= 0 e119: - b116 + b124 <= 0 e120: - b116 + b125 <= 0 e121: - b116 + b126 <= 0 e122: - b116 + b127 <= 0 e123: - b116 + b128 <= 0 e124: - b116 + b135 <= 0 e125: - b116 + b129 <= 0 e126: - b116 + b130 <= 0 e127: - b116 + b131 <= 0 e128: - b116 + b132 <= 0 e129: - b116 + b133 <= 0 e130: - b116 + b134 <= 0 e131: - b136 + b137 <= 0 e132: - b136 + b138 <= 0 e133: - b136 + b139 <= 0 e134: - b136 + b140 <= 0 e135: - b136 + b141 <= 0 e136: - b136 + b142 <= 0 e137: - b136 + b143 <= 0 e138: - b136 + b144 <= 0 e139: - b136 + b145 <= 0 e140: - b136 + b146 <= 0 e141: - b136 + b147 <= 0 e142: - b136 + b148 <= 0 e143: - b136 + b149 <= 0 e144: - b136 + b150 <= 0 e145: - b136 + b151 <= 0 e146: - b136 + b152 <= 0 e147: - b136 + b153 <= 0 e148: - b136 + b154 <= 0 e149: - b155 + b156 <= 0 e150: - b155 + b157 <= 0 e151: - b155 + b158 <= 0 e152: - b155 + b159 <= 0 e153: - b155 + b160 <= 0 e154: - b155 + b161 <= 0 e155: - b155 + b162 <= 0 e156: - b155 + b163 <= 0 e157: - b155 + b164 <= 0 e158: - b155 + b165 <= 0 e159: - b155 + b166 <= 0 e160: - b155 + b167 <= 0 e161: - b155 + b168 <= 0 e162: - b155 + b169 <= 0 e163: - b155 + b170 <= 0 e164: - b155 + b171 <= 0 e165: - b155 + b172 <= 0 e166: - b173 + b174 <= 0 e167: - b173 + b175 <= 0 e168: - b173 + b176 <= 0 e169: - b173 + b177 <= 0 e170: - b173 + b178 <= 0 e171: - b173 + b179 <= 0 e172: - b173 + b180 <= 0 e173: - b173 + b181 <= 0 e174: - b173 + b182 <= 0 e175: - b173 + b183 <= 0 e176: - b173 + b184 <= 0 e177: - b173 + b185 <= 0 e178: - b173 + b186 <= 0 e179: - b173 + b187 <= 0 e180: - b173 + b188 <= 0 e181: - b173 + b189 <= 0 e182: - b190 + b191 <= 0 e183: - b190 + b192 <= 0 e184: - b190 + b193 <= 0 e185: - b190 + b194 <= 0 e186: - b190 + b195 <= 0 e187: - b190 + b196 <= 0 e188: - b190 + b197 <= 0 e189: - b190 + b198 <= 0 e190: - b190 + b199 <= 0 e191: - b190 + b200 <= 0 e192: - b190 + b201 <= 0 e193: - b190 + b202 <= 0 e194: - b190 + b203 <= 0 e195: - b190 + b204 <= 0 e196: - b190 + b205 <= 0 e197: - b206 + b220 <= 0 e198: - b206 + b207 <= 0 e199: - b206 + b208 <= 0 e200: - b206 + b209 <= 0 e201: - b206 + b210 <= 0 e202: - b206 + b211 <= 0 e203: - b206 + b212 <= 0 e204: - b206 + b213 <= 0 e205: - b206 + b214 <= 0 e206: - b206 + b215 <= 0 e207: - b206 + b216 <= 0 e208: - b206 + b217 <= 0 e209: - b206 + b218 <= 0 e210: - b206 + b219 <= 0 e211: - b221 + b222 <= 0 e212: - b221 + b223 <= 0 e213: - b221 + b224 <= 0 e214: - b221 + b225 <= 0 e215: - b221 + b226 <= 0 e216: - b221 + b227 <= 0 e217: - b221 + b228 <= 0 e218: - b221 + b229 <= 0 e219: - b221 + b230 <= 0 e220: - b221 + b231 <= 0 e221: - b221 + b232 <= 0 e222: - b221 + b233 <= 0 e223: - b221 + b234 <= 0 e224: - b235 + b236 <= 0 e225: - b235 + b237 <= 0 e226: - b235 + b238 <= 0 e227: - b235 + b239 <= 0 e228: - b235 + b240 <= 0 e229: - b235 + b241 <= 0 e230: - b235 + b242 <= 0 e231: - b235 + b243 <= 0 e232: - b235 + b244 <= 0 e233: - b235 + b245 <= 0 e234: - b235 + b246 <= 0 e235: - b235 + b247 <= 0 e236: - b248 + b249 <= 0 e237: - b248 + b250 <= 0 e238: - b248 + b251 <= 0 e239: - b248 + b252 <= 0 e240: - b248 + b253 <= 0 e241: - b248 + b254 <= 0 e242: - b248 + b255 <= 0 e243: - b248 + b256 <= 0 e244: - b248 + b257 <= 0 e245: - b248 + b258 <= 0 e246: - b248 + b259 <= 0 e247: - b260 + b261 <= 0 e248: - b260 + b262 <= 0 e249: - b260 + b263 <= 0 e250: - b260 + b264 <= 0 e251: - b260 + b265 <= 0 e252: - b260 + b266 <= 0 e253: - b260 + b267 <= 0 e254: - b260 + b268 <= 0 e255: - b260 + b269 <= 0 e256: - b260 + b270 <= 0 e257: - b271 + b272 <= 0 e258: - b271 + b273 <= 0 e259: - b271 + b274 <= 0 e260: - b271 + b275 <= 0 e261: - b271 + b276 <= 0 e262: - b271 + b277 <= 0 e263: - b271 + b278 <= 0 e264: - b271 + b279 <= 0 e265: - b271 + b280 <= 0 e266: - b281 + b282 <= 0 e267: - b281 + b283 <= 0 e268: - b281 + b284 <= 0 e269: - b281 + b285 <= 0 e270: - b281 + b286 <= 0 e271: - b281 + b287 <= 0 e272: - b281 + b288 <= 0 e273: - b281 + b289 <= 0 e274: - b290 + b291 <= 0 e275: - b290 + b292 <= 0 e276: - b290 + b293 <= 0 e277: - b290 + b294 <= 0 e278: - b290 + b297 <= 0 e279: - b290 + b295 <= 0 e280: - b290 + b296 <= 0 e281: - b298 + b299 <= 0 e282: - b298 + b300 <= 0 e283: - b298 + b301 <= 0 e284: - b298 + b302 <= 0 e285: - b298 + b303 <= 0 e286: - b298 + b304 <= 0 e287: - b305 + b306 <= 0 e288: - b305 + b307 <= 0 e289: - b305 + b308 <= 0 e290: - b305 + b309 <= 0 e291: - b305 + b310 <= 0 e292: - b311 + b312 <= 0 e293: - b311 + b313 <= 0 e294: - b311 + b314 <= 0 e295: - b311 + b315 <= 0 e296: - b316 + b317 <= 0 e297: - b316 + b318 <= 0 e298: - b316 + b319 <= 0 e299: - b320 + b321 <= 0 e300: - b320 + b322 <= 0 e301: - b323 + b324 <= 0 e302: 1.312e4 b2 + 1.274e4 b3 + 1.459e4 b4 + 1.241e4 b5 + 1.072e4 b6 + 1.132e4 b7 + 1.116e4 b8 + 1.213e4 b9 + 1.182e4 b10 + 1.336e4 b11 + 1.212e4 b12 + 1.166e4 b13 + 1.584e4 b14 + 1.175e4 b15 + 9.99e3 b16 + 1.172e4 b17 + 1.119e4 b18 + 1.139e4 b19 + 1.121e4 b20 + 9.57e3 b21 + 1.201e4 b22 + 1.275e4 b23 + 1.169e4 b24 + 1.39e4 b25 + [ - 9.7e2 b2 * b3 - 8.2e2 b2 * b4 - 5.4e2 b2 * b5 - 90 b2 * b6 - 9.2e2 b2 * b7 - 5.5e2 b2 * b8 - 7.8e2 b2 * b9 - 8.7e2 b2 * b10 - 6.9e2 b2 * b11 - 20 b2 * b12 - 3.2e2 b2 * b13 - 4.2e2 b2 * b14 - 1.4e2 b2 * b15 - 4.5e2 b2 * b16 - 600 b2 * b17 - 6.7e2 b2 * b18 - 20 b2 * b19 - 4.2e2 b2 * b20 - 8.1e2 b2 * b21 - 6.4e2 b2 * b22 - 8.2e2 b2 * b23 - 5.8e2 b2 * b24 - 9.8e2 b2 * b25 - 3.6e2 b3 * b4 - 9.2e2 b3 * b5 - 30 b3 * b6 - 6.2e2 b3 * b7 - 5.4e2 b3 * b8 - 2.1e2 b3 * b9 - 8.5e2 b3 * b10 - 6.9e2 b3 * b11 - 700 b3 * b12 - 200 b3 * b13 - 7.5e2 b3 * b14 - 800 b3 * b15 - 1.2e2 b3 * b16 - 8.2e2 b3 * b17 - 100 b3 * b18 - 9.9e2 b3 * b19 - 40 b3 * b20 - 1.3e2 b3 * b21 - 8.4e2 b3 * b22 - 9.8e2 b3 * b23 - 2.7e2 b3 * b24 - 8.1e2 b3 * b25 - 5.9e2 b4 * b5 - 4.7e2 b4 * b6 - 8.3e2 b4 * b7 - 5.3e2 b4 * b8 - 800 b4 * b9 - 3.5e2 b4 * b11 - 900 b4 * b12 - 9.8e2 b4 * b13 - 7.1e2 b4 * b14 - 8.3e2 b4 * b15 - 5.4e2 b4 * b16 - 8.6e2 b4 * b17 - 8.9e2 b4 * b18 - 2.7e2 b4 * b19 - 7.1e2 b4 * b20 - 100 b4 * b21 - 9.8e2 b4 * b22 - 9.1e2 b4 * b23 - 8.6e2 b4 * b24 - 300 b4 * b25 - 5.5e2 b5 * b6 - 200 b5 * b7 - 400 b5 * b8 - 70 b5 * b9 - 7.6e2 b5 * b10 - 5.3e2 b5 * b11 - 9.1e2 b5 * b12 - 7.5e2 b5 * b13 - 3.3e2 b5 * b14 - 7.2e2 b5 * b15 - 3.4e2 b5 * b16 - 3.2e2 b5 * b17 - 70 b5 * b18 - 8.7e2 b5 * b19 - 6.4e2 b5 * b20 - 70 b5 * b21 - 7.4e2 b5 * b22 - 5.4e2 b5 * b23 - 5.8e2 b5 * b24 - 9.7e2 b5 * b25 - 8.9e2 b6 * b7 - 1.2e2 b6 * b8 - 8.3e2 b6 * b9 - 7.9e2 b6 * b10 - 3.9e2 b6 * b11 - 70 b6 * b12 - 8.9e2 b6 * b13 - 8.9e2 b6 * b14 - 9.8e2 b6 * b15 - 2.7e2 b6 * b16 - 1.9e2 b6 * b17 - 60 b6 * b18 - 600 b6 * b20 - 1.3e2 b6 * b21 - 7.6e2 b6 * b22 - 6.5e2 b6 * b23 - 5.6e2 b6 * b24 - 5.1e2 b6 * b25 - 500 b7 * b8 - 2.8e2 b7 * b9 - 3.7e2 b7 * b10 - 3.4e2 b7 * b11 - 8.7e2 b7 * b12 - 2.4e2 b7 * b13 - 9.8e2 b7 * b14 - 4.7e2 b7 * b15 - 500 b7 * b16 - 50 b7 * b17 - 5.7e2 b7 * b18 - 4.8e2 b7 * b19 - 9.4e2 b7 * b20 - 2.1e2 b7 * b21 - 3.1e2 b7 * b22 - 2.5e2 b7 * b23 - 1.2e2 b7 * b24 - 3.8e2 b7 * b25 - 1.5e2 b8 * b9 - 20 b8 * b10 - 8.9e2 b8 * b11 - 9.4e2 b8 * b12 - 2.1e2 b8 * b13 - 9.5e2 b8 * b14 - 9.4e2 b8 * b15 - 3.3e2 b8 * b16 - 80 b8 * b17 - 7.1e2 b8 * b18 - 9.9e2 b8 * b19 - 6.4e2 b8 * b20 - 7.4e2 b8 * b21 - 10 b8 * b22 - 4.4e2 b8 * b23 - 1.2e2 b8 * b24 - 3.6e2 b8 * b25 - 8.3e2 b9 * b10 - 8.8e2 b9 * b11 - 3.4e2 b9 * b12 - 300 b9 * b13 - 3.9e2 b9 * b14 - 3.9e2 b9 * b15 - 3.9e2 b9 * b16 - 8.7e2 b9 * b17 - 8.6e2 b9 * b18 - 600 b9 * b19 - 700 b9 * b20 - 1.1e2 b9 * b21 - 7.3e2 b9 * b22 - 90 b9 * b23 - 7.8e2 b9 * b24 - 7.5e2 b9 * b25 - 500 b10 * b11 - 7.3e2 b10 * b12 - 4.8e2 b10 * b13 - 4.5e2 b10 * b14 - 1.9e2 b10 * b15 - 8.2e2 b10 * b16 - 50 b10 * b17 - 900 b10 * b18 - 3.3e2 b10 * b19 - 2.1e2 b10 * b20 - 1.7e2 b10 * b21 - 3.4e2 b10 * b22 - 6.5e2 b10 * b23 - 8.1e2 b10 * b24 - 700 b10 * b25 - 6.9e2 b11 * b13 - 5.7e2 b11 * b14 - 8.3e2 b11 * b15 - 600 b11 * b16 - 9.6e2 b11 * b17 - 2.2e2 b11 * b18 - 9.9e2 b11 * b19 - 3.4e2 b11 * b20 - 8.3e2 b11 * b21 - 2.2e2 b11 * b22 - 4.6e2 b11 * b23 - 5.6e2 b11 * b24 - 8.3e2 b11 * b25 - 2.4e2 b12 * b13 - 8.3e2 b12 * b14 - 3.3e2 b12 * b15 - 4.9e2 b12 * b16 - 3.1e2 b12 * b17 - 300 b12 * b18 - 6.9e2 b12 * b19 - 6.5e2 b12 * b20 - 3.5e2 b12 * b21 - 1.1e2 b12 * b22 - 9.8e2 b12 * b23 - 5.6e2 b12 * b24 - 800 b12 * b25 - 8.5e2 b13 * b14 - 7.3e2 b13 * b15 - 6.1e2 b13 * b16 - 5.5e2 b13 * b17 - 2.5e2 b13 * b18 - 8.3e2 b13 * b19 - 1.2e2 b13 * b20 - 80 b13 * b21 - 9.5e2 b13 * b22 - 6.1e2 b13 * b23 - 3.1e2 b13 * b24 - 4.7e2 b13 * b25 - 9.5e2 b14 * b15 - 6.6e2 b14 * b16 - 6.9e2 b14 * b17 - 9.3e2 b14 * b18 - 7.4e2 b14 * b19 - 5.2e2 b14 * b20 - 700 b14 * b21 - 5.7e2 b14 * b22 - 8.5e2 b14 * b23 - 7.1e2 b14 * b24 - 400 b14 * b25 - 1.5e2 b15 * b16 - 400 b15 * b17 - 5.8e2 b15 * b18 - 20 b15 * b19 - 40 b15 * b20 - 5.6e2 b15 * b21 - 100 b15 * b22 - 3.6e2 b15 * b23 - 4.1e2 b15 * b24 - 8.3e2 b15 * b25 - 9.8e2 b16 * b17 - 4.9e2 b16 * b18 - 80 b16 * b19 - 3.3e2 b16 * b20 - 1.3e2 b16 * b21 - 6.9e2 b16 * b22 - 2.8e2 b16 * b23 - 7.4e2 b16 * b24 - 7.5e2 b17 * b18 - 2.2e2 b17 * b19 - 6.6e2 b17 * b20 - 4.4e2 b17 * b21 - 6.7e2 b17 * b22 - 400 b17 * b23 - 4.8e2 b17 * b24 - 3.7e2 b17 * b25 - 4.9e2 b18 * b19 - 8.5e2 b18 * b20 - 90 b18 * b21 - 4.1e2 b18 * b22 - 10 b18 * b24 - 9.9e2 b18 * b25 - 5.4e2 b19 * b20 - 5.7e2 b19 * b21 - 80 b19 * b22 - 6.4e2 b19 * b23 - 9.4e2 b19 * b24 - 10 b19 * b25 - 4.7e2 b20 * b21 - 4.4e2 b20 * b22 - 500 b20 * b23 - 80 b20 * b24 - 7.7e2 b20 * b25 - 6.4e2 b21 * b22 - 7.7e2 b21 * b23 - 5.7e2 b21 * b24 - 900 b21 * b25 - 2.9e2 b22 * b23 - 8.5e2 b22 * b24 - 6.4e2 b22 * b25 - 4.7e2 b23 * b24 - 8.1e2 b23 * b25 - 3.2e2 b24 * b25 ] <= 40395.8 e303: - 37545.8 b26 + 1.336e4 b27 + 1.483e4 b28 + 1.286e4 b29 + 1.093e4 b30 + 1.192e4 b31 + 1.128e4 b32 + 1.279e4 b33 + 1.235e4 b34 + 1.341e4 b35 + 1.293e4 b36 + 1.227e4 b37 + 1.594e4 b38 + 1.263e4 b39 + 1.076e4 b40 + 1.206e4 b41 + 1.121e4 b42 + 1.221e4 b43 + 1.174e4 b44 + 9.83e3 b45 + 1.263e4 b46 + 1.293e4 b47 + 1.24e4 b48 + 1.404e4 b49 + [ - 9.7e2 b26 * b27 - 8.2e2 b26 * b28 - 5.4e2 b26 * b29 - 90 b26 * b30 - 9.2e2 b26 * b31 - 5.5e2 b26 * b32 - 7.8e2 b26 * b33 - 8.7e2 b26 * b34 - 6.9e2 b26 * b35 - 20 b26 * b36 - 3.2e2 b26 * b37 - 4.2e2 b26 * b38 - 1.4e2 b26 * b39 - 4.5e2 b26 * b40 - 600 b26 * b41 - 6.7e2 b26 * b42 - 20 b26 * b43 - 4.2e2 b26 * b44 - 8.1e2 b26 * b45 - 6.4e2 b26 * b46 - 8.2e2 b26 * b47 - 5.8e2 b26 * b48 - 9.8e2 b26 * b49 - 3.6e2 b27 * b28 - 9.2e2 b27 * b29 - 30 b27 * b30 - 6.2e2 b27 * b31 - 5.4e2 b27 * b32 - 2.1e2 b27 * b33 - 8.5e2 b27 * b34 - 6.9e2 b27 * b35 - 700 b27 * b36 - 200 b27 * b37 - 7.5e2 b27 * b38 - 800 b27 * b39 - 1.2e2 b27 * b40 - 8.2e2 b27 * b41 - 100 b27 * b42 - 9.9e2 b27 * b43 - 40 b27 * b44 - 1.3e2 b27 * b45 - 8.4e2 b27 * b46 - 9.8e2 b27 * b47 - 2.7e2 b27 * b48 - 8.1e2 b27 * b49 - 5.9e2 b28 * b29 - 4.7e2 b28 * b30 - 8.3e2 b28 * b31 - 5.3e2 b28 * b32 - 800 b28 * b33 - 3.5e2 b28 * b35 - 900 b28 * b36 - 9.8e2 b28 * b37 - 7.1e2 b28 * b38 - 8.3e2 b28 * b39 - 5.4e2 b28 * b40 - 8.6e2 b28 * b41 - 8.9e2 b28 * b42 - 2.7e2 b28 * b43 - 7.1e2 b28 * b44 - 100 b28 * b45 - 9.8e2 b28 * b46 - 9.1e2 b28 * b47 - 8.6e2 b28 * b48 - 300 b28 * b49 - 5.5e2 b29 * b30 - 200 b29 * b31 - 400 b29 * b32 - 70 b29 * b33 - 7.6e2 b29 * b34 - 5.3e2 b29 * b35 - 9.1e2 b29 * b36 - 7.5e2 b29 * b37 - 3.3e2 b29 * b38 - 7.2e2 b29 * b39 - 3.4e2 b29 * b40 - 3.2e2 b29 * b41 - 70 b29 * b42 - 8.7e2 b29 * b43 - 6.4e2 b29 * b44 - 70 b29 * b45 - 7.4e2 b29 * b46 - 5.4e2 b29 * b47 - 5.8e2 b29 * b48 - 9.7e2 b29 * b49 - 8.9e2 b30 * b31 - 1.2e2 b30 * b32 - 8.3e2 b30 * b33 - 7.9e2 b30 * b34 - 3.9e2 b30 * b35 - 70 b30 * b36 - 8.9e2 b30 * b37 - 8.9e2 b30 * b38 - 9.8e2 b30 * b39 - 2.7e2 b30 * b40 - 1.9e2 b30 * b41 - 60 b30 * b42 - 600 b30 * b44 - 1.3e2 b30 * b45 - 7.6e2 b30 * b46 - 6.5e2 b30 * b47 - 5.6e2 b30 * b48 - 5.1e2 b30 * b49 - 500 b31 * b32 - 2.8e2 b31 * b33 - 3.7e2 b31 * b34 - 3.4e2 b31 * b35 - 8.7e2 b31 * b36 - 2.4e2 b31 * b37 - 9.8e2 b31 * b38 - 4.7e2 b31 * b39 - 500 b31 * b40 - 50 b31 * b41 - 5.7e2 b31 * b42 - 4.8e2 b31 * b43 - 9.4e2 b31 * b44 - 2.1e2 b31 * b45 - 3.1e2 b31 * b46 - 2.5e2 b31 * b47 - 1.2e2 b31 * b48 - 3.8e2 b31 * b49 - 1.5e2 b32 * b33 - 20 b32 * b34 - 8.9e2 b32 * b35 - 9.4e2 b32 * b36 - 2.1e2 b32 * b37 - 9.5e2 b32 * b38 - 9.4e2 b32 * b39 - 3.3e2 b32 * b40 - 80 b32 * b41 - 7.1e2 b32 * b42 - 9.9e2 b32 * b43 - 6.4e2 b32 * b44 - 7.4e2 b32 * b45 - 10 b32 * b46 - 4.4e2 b32 * b47 - 1.2e2 b32 * b48 - 3.6e2 b32 * b49 - 8.3e2 b33 * b34 - 8.8e2 b33 * b35 - 3.4e2 b33 * b36 - 300 b33 * b37 - 3.9e2 b33 * b38 - 3.9e2 b33 * b39 - 3.9e2 b33 * b40 - 8.7e2 b33 * b41 - 8.6e2 b33 * b42 - 600 b33 * b43 - 700 b33 * b44 - 1.1e2 b33 * b45 - 7.3e2 b33 * b46 - 90 b33 * b47 - 7.8e2 b33 * b48 - 7.5e2 b33 * b49 - 500 b34 * b35 - 7.3e2 b34 * b36 - 4.8e2 b34 * b37 - 4.5e2 b34 * b38 - 1.9e2 b34 * b39 - 8.2e2 b34 * b40 - 50 b34 * b41 - 900 b34 * b42 - 3.3e2 b34 * b43 - 2.1e2 b34 * b44 - 1.7e2 b34 * b45 - 3.4e2 b34 * b46 - 6.5e2 b34 * b47 - 8.1e2 b34 * b48 - 700 b34 * b49 - 6.9e2 b35 * b37 - 5.7e2 b35 * b38 - 8.3e2 b35 * b39 - 600 b35 * b40 - 9.6e2 b35 * b41 - 2.2e2 b35 * b42 - 9.9e2 b35 * b43 - 3.4e2 b35 * b44 - 8.3e2 b35 * b45 - 2.2e2 b35 * b46 - 4.6e2 b35 * b47 - 5.6e2 b35 * b48 - 8.3e2 b35 * b49 - 2.4e2 b36 * b37 - 8.3e2 b36 * b38 - 3.3e2 b36 * b39 - 4.9e2 b36 * b40 - 3.1e2 b36 * b41 - 300 b36 * b42 - 6.9e2 b36 * b43 - 6.5e2 b36 * b44 - 3.5e2 b36 * b45 - 1.1e2 b36 * b46 - 9.8e2 b36 * b47 - 5.6e2 b36 * b48 - 800 b36 * b49 - 8.5e2 b37 * b38 - 7.3e2 b37 * b39 - 6.1e2 b37 * b40 - 5.5e2 b37 * b41 - 2.5e2 b37 * b42 - 8.3e2 b37 * b43 - 1.2e2 b37 * b44 - 80 b37 * b45 - 9.5e2 b37 * b46 - 6.1e2 b37 * b47 - 3.1e2 b37 * b48 - 4.7e2 b37 * b49 - 9.5e2 b38 * b39 - 6.6e2 b38 * b40 - 6.9e2 b38 * b41 - 9.3e2 b38 * b42 - 7.4e2 b38 * b43 - 5.2e2 b38 * b44 - 700 b38 * b45 - 5.7e2 b38 * b46 - 8.5e2 b38 * b47 - 7.1e2 b38 * b48 - 400 b38 * b49 - 1.5e2 b39 * b40 - 400 b39 * b41 - 5.8e2 b39 * b42 - 20 b39 * b43 - 40 b39 * b44 - 5.6e2 b39 * b45 - 100 b39 * b46 - 3.6e2 b39 * b47 - 4.1e2 b39 * b48 - 8.3e2 b39 * b49 - 9.8e2 b40 * b41 - 4.9e2 b40 * b42 - 80 b40 * b43 - 3.3e2 b40 * b44 - 1.3e2 b40 * b45 - 6.9e2 b40 * b46 - 2.8e2 b40 * b47 - 7.4e2 b40 * b48 - 7.5e2 b41 * b42 - 2.2e2 b41 * b43 - 6.6e2 b41 * b44 - 4.4e2 b41 * b45 - 6.7e2 b41 * b46 - 400 b41 * b47 - 4.8e2 b41 * b48 - 3.7e2 b41 * b49 - 4.9e2 b42 * b43 - 8.5e2 b42 * b44 - 90 b42 * b45 - 4.1e2 b42 * b46 - 10 b42 * b48 - 9.9e2 b42 * b49 - 5.4e2 b43 * b44 - 5.7e2 b43 * b45 - 80 b43 * b46 - 6.4e2 b43 * b47 - 9.4e2 b43 * b48 - 10 b43 * b49 - 4.7e2 b44 * b45 - 4.4e2 b44 * b46 - 500 b44 * b47 - 80 b44 * b48 - 7.7e2 b44 * b49 - 6.4e2 b45 * b46 - 7.7e2 b45 * b47 - 5.7e2 b45 * b48 - 900 b45 * b49 - 2.9e2 b46 * b47 - 8.5e2 b46 * b48 - 6.4e2 b46 * b49 - 4.7e2 b47 * b48 - 8.1e2 b47 * b49 - 3.2e2 b48 * b49 ] <= 0 e304: - 37735.8 b50 + 1.483e4 b51 + 1.286e4 b52 + 1.093e4 b53 + 1.192e4 b54 + 1.128e4 b55 + 1.279e4 b56 + 1.235e4 b57 + 1.341e4 b58 + 1.293e4 b59 + 1.227e4 b60 + 1.594e4 b61 + 1.263e4 b62 + 1.076e4 b63 + 1.206e4 b64 + 1.121e4 b65 + 1.221e4 b66 + 1.174e4 b67 + 9.83e3 b68 + 1.263e4 b69 + 1.293e4 b70 + 1.24e4 b71 + 1.404e4 b72 + [ - 3.6e2 b50 * b51 - 9.2e2 b50 * b52 - 30 b50 * b53 - 6.2e2 b50 * b54 - 5.4e2 b50 * b55 - 2.1e2 b50 * b56 - 8.5e2 b50 * b57 - 6.9e2 b50 * b58 - 700 b50 * b59 - 200 b50 * b60 - 7.5e2 b50 * b61 - 800 b50 * b62 - 1.2e2 b50 * b63 - 8.2e2 b50 * b64 - 100 b50 * b65 - 9.9e2 b50 * b66 - 40 b50 * b67 - 1.3e2 b50 * b68 - 8.4e2 b50 * b69 - 9.8e2 b50 * b70 - 2.7e2 b50 * b71 - 8.1e2 b50 * b72 - 5.9e2 b51 * b52 - 4.7e2 b51 * b53 - 8.3e2 b51 * b54 - 5.3e2 b51 * b55 - 800 b51 * b56 - 3.5e2 b51 * b58 - 900 b51 * b59 - 9.8e2 b51 * b60 - 7.1e2 b51 * b61 - 8.3e2 b51 * b62 - 5.4e2 b51 * b63 - 8.6e2 b51 * b64 - 8.9e2 b51 * b65 - 2.7e2 b51 * b66 - 7.1e2 b51 * b67 - 100 b51 * b68 - 9.8e2 b51 * b69 - 9.1e2 b51 * b70 - 8.6e2 b51 * b71 - 300 b51 * b72 - 5.5e2 b52 * b53 - 200 b52 * b54 - 400 b52 * b55 - 70 b52 * b56 - 7.6e2 b52 * b57 - 5.3e2 b52 * b58 - 9.1e2 b52 * b59 - 7.5e2 b52 * b60 - 3.3e2 b52 * b61 - 7.2e2 b52 * b62 - 3.4e2 b52 * b63 - 3.2e2 b52 * b64 - 70 b52 * b65 - 8.7e2 b52 * b66 - 6.4e2 b52 * b67 - 70 b52 * b68 - 7.4e2 b52 * b69 - 5.4e2 b52 * b70 - 5.8e2 b52 * b71 - 9.7e2 b52 * b72 - 8.9e2 b53 * b54 - 1.2e2 b53 * b55 - 8.3e2 b53 * b56 - 7.9e2 b53 * b57 - 3.9e2 b53 * b58 - 70 b53 * b59 - 8.9e2 b53 * b60 - 8.9e2 b53 * b61 - 9.8e2 b53 * b62 - 2.7e2 b53 * b63 - 1.9e2 b53 * b64 - 60 b53 * b65 - 600 b53 * b67 - 1.3e2 b53 * b68 - 7.6e2 b53 * b69 - 6.5e2 b53 * b70 - 5.6e2 b53 * b71 - 5.1e2 b53 * b72 - 500 b54 * b55 - 2.8e2 b54 * b56 - 3.7e2 b54 * b57 - 3.4e2 b54 * b58 - 8.7e2 b54 * b59 - 2.4e2 b54 * b60 - 9.8e2 b54 * b61 - 4.7e2 b54 * b62 - 500 b54 * b63 - 50 b54 * b64 - 5.7e2 b54 * b65 - 4.8e2 b54 * b66 - 9.4e2 b54 * b67 - 2.1e2 b54 * b68 - 3.1e2 b54 * b69 - 2.5e2 b54 * b70 - 1.2e2 b54 * b71 - 3.8e2 b54 * b72 - 1.5e2 b55 * b56 - 20 b55 * b57 - 8.9e2 b55 * b58 - 9.4e2 b55 * b59 - 2.1e2 b55 * b60 - 9.5e2 b55 * b61 - 9.4e2 b55 * b62 - 3.3e2 b55 * b63 - 80 b55 * b64 - 7.1e2 b55 * b65 - 9.9e2 b55 * b66 - 6.4e2 b55 * b67 - 7.4e2 b55 * b68 - 10 b55 * b69 - 4.4e2 b55 * b70 - 1.2e2 b55 * b71 - 3.6e2 b55 * b72 - 8.3e2 b56 * b57 - 8.8e2 b56 * b58 - 3.4e2 b56 * b59 - 300 b56 * b60 - 3.9e2 b56 * b61 - 3.9e2 b56 * b62 - 3.9e2 b56 * b63 - 8.7e2 b56 * b64 - 8.6e2 b56 * b65 - 600 b56 * b66 - 700 b56 * b67 - 1.1e2 b56 * b68 - 7.3e2 b56 * b69 - 90 b56 * b70 - 7.8e2 b56 * b71 - 7.5e2 b56 * b72 - 500 b57 * b58 - 7.3e2 b57 * b59 - 4.8e2 b57 * b60 - 4.5e2 b57 * b61 - 1.9e2 b57 * b62 - 8.2e2 b57 * b63 - 50 b57 * b64 - 900 b57 * b65 - 3.3e2 b57 * b66 - 2.1e2 b57 * b67 - 1.7e2 b57 * b68 - 3.4e2 b57 * b69 - 6.5e2 b57 * b70 - 8.1e2 b57 * b71 - 700 b57 * b72 - 6.9e2 b58 * b60 - 5.7e2 b58 * b61 - 8.3e2 b58 * b62 - 600 b58 * b63 - 9.6e2 b58 * b64 - 2.2e2 b58 * b65 - 9.9e2 b58 * b66 - 3.4e2 b58 * b67 - 8.3e2 b58 * b68 - 2.2e2 b58 * b69 - 4.6e2 b58 * b70 - 5.6e2 b58 * b71 - 8.3e2 b58 * b72 - 2.4e2 b59 * b60 - 8.3e2 b59 * b61 - 3.3e2 b59 * b62 - 4.9e2 b59 * b63 - 3.1e2 b59 * b64 - 300 b59 * b65 - 6.9e2 b59 * b66 - 6.5e2 b59 * b67 - 3.5e2 b59 * b68 - 1.1e2 b59 * b69 - 9.8e2 b59 * b70 - 5.6e2 b59 * b71 - 800 b59 * b72 - 8.5e2 b60 * b61 - 7.3e2 b60 * b62 - 6.1e2 b60 * b63 - 5.5e2 b60 * b64 - 2.5e2 b60 * b65 - 8.3e2 b60 * b66 - 1.2e2 b60 * b67 - 80 b60 * b68 - 9.5e2 b60 * b69 - 6.1e2 b60 * b70 - 3.1e2 b60 * b71 - 4.7e2 b60 * b72 - 9.5e2 b61 * b62 - 6.6e2 b61 * b63 - 6.9e2 b61 * b64 - 9.3e2 b61 * b65 - 7.4e2 b61 * b66 - 5.2e2 b61 * b67 - 700 b61 * b68 - 5.7e2 b61 * b69 - 8.5e2 b61 * b70 - 7.1e2 b61 * b71 - 400 b61 * b72 - 1.5e2 b62 * b63 - 400 b62 * b64 - 5.8e2 b62 * b65 - 20 b62 * b66 - 40 b62 * b67 - 5.6e2 b62 * b68 - 100 b62 * b69 - 3.6e2 b62 * b70 - 4.1e2 b62 * b71 - 8.3e2 b62 * b72 - 9.8e2 b63 * b64 - 4.9e2 b63 * b65 - 80 b63 * b66 - 3.3e2 b63 * b67 - 1.3e2 b63 * b68 - 6.9e2 b63 * b69 - 2.8e2 b63 * b70 - 7.4e2 b63 * b71 - 7.5e2 b64 * b65 - 2.2e2 b64 * b66 - 6.6e2 b64 * b67 - 4.4e2 b64 * b68 - 6.7e2 b64 * b69 - 400 b64 * b70 - 4.8e2 b64 * b71 - 3.7e2 b64 * b72 - 4.9e2 b65 * b66 - 8.5e2 b65 * b67 - 90 b65 * b68 - 4.1e2 b65 * b69 - 10 b65 * b71 - 9.9e2 b65 * b72 - 5.4e2 b66 * b67 - 5.7e2 b66 * b68 - 80 b66 * b69 - 6.4e2 b66 * b70 - 9.4e2 b66 * b71 - 10 b66 * b72 - 4.7e2 b67 * b68 - 4.4e2 b67 * b69 - 500 b67 * b70 - 80 b67 * b71 - 7.7e2 b67 * b72 - 6.4e2 b68 * b69 - 7.7e2 b68 * b70 - 5.7e2 b68 * b71 - 900 b68 * b72 - 2.9e2 b69 * b70 - 8.5e2 b69 * b71 - 6.4e2 b69 * b72 - 4.7e2 b70 * b71 - 8.1e2 b70 * b72 - 3.2e2 b71 * b72 ] <= 0 e305: - 36265.8 b73 + 1.286e4 b74 + 1.093e4 b75 + 1.192e4 b76 + 1.128e4 b77 + 1.279e4 b78 + 1.341e4 b79 + 1.293e4 b80 + 1.227e4 b81 + 1.594e4 b82 + 1.263e4 b83 + 1.076e4 b84 + 1.206e4 b85 + 1.121e4 b86 + 1.221e4 b87 + 1.174e4 b88 + 9.83e3 b89 + 1.263e4 b90 + 1.293e4 b91 + 1.24e4 b92 + 1.404e4 b93 + 1.235e4 b94 + [ - 5.9e2 b73 * b74 - 4.7e2 b73 * b75 - 8.3e2 b73 * b76 - 5.3e2 b73 * b77 - 800 b73 * b78 - 3.5e2 b73 * b79 - 900 b73 * b80 - 9.8e2 b73 * b81 - 7.1e2 b73 * b82 - 8.3e2 b73 * b83 - 5.4e2 b73 * b84 - 8.6e2 b73 * b85 - 8.9e2 b73 * b86 - 2.7e2 b73 * b87 - 7.1e2 b73 * b88 - 100 b73 * b89 - 9.8e2 b73 * b90 - 9.1e2 b73 * b91 - 8.6e2 b73 * b92 - 300 b73 * b93 - 5.5e2 b74 * b75 - 200 b74 * b76 - 400 b74 * b77 - 70 b74 * b78 - 5.3e2 b74 * b79 - 9.1e2 b74 * b80 - 7.5e2 b74 * b81 - 3.3e2 b74 * b82 - 7.2e2 b74 * b83 - 3.4e2 b74 * b84 - 3.2e2 b74 * b85 - 70 b74 * b86 - 8.7e2 b74 * b87 - 6.4e2 b74 * b88 - 70 b74 * b89 - 7.4e2 b74 * b90 - 5.4e2 b74 * b91 - 5.8e2 b74 * b92 - 9.7e2 b74 * b93 - 7.6e2 b74 * b94 - 8.9e2 b75 * b76 - 1.2e2 b75 * b77 - 8.3e2 b75 * b78 - 3.9e2 b75 * b79 - 70 b75 * b80 - 8.9e2 b75 * b81 - 8.9e2 b75 * b82 - 9.8e2 b75 * b83 - 2.7e2 b75 * b84 - 1.9e2 b75 * b85 - 60 b75 * b86 - 600 b75 * b88 - 1.3e2 b75 * b89 - 7.6e2 b75 * b90 - 6.5e2 b75 * b91 - 5.6e2 b75 * b92 - 5.1e2 b75 * b93 - 7.9e2 b75 * b94 - 500 b76 * b77 - 2.8e2 b76 * b78 - 3.4e2 b76 * b79 - 8.7e2 b76 * b80 - 2.4e2 b76 * b81 - 9.8e2 b76 * b82 - 4.7e2 b76 * b83 - 500 b76 * b84 - 50 b76 * b85 - 5.7e2 b76 * b86 - 4.8e2 b76 * b87 - 9.4e2 b76 * b88 - 2.1e2 b76 * b89 - 3.1e2 b76 * b90 - 2.5e2 b76 * b91 - 1.2e2 b76 * b92 - 3.8e2 b76 * b93 - 3.7e2 b76 * b94 - 1.5e2 b77 * b78 - 8.9e2 b77 * b79 - 9.4e2 b77 * b80 - 2.1e2 b77 * b81 - 9.5e2 b77 * b82 - 9.4e2 b77 * b83 - 3.3e2 b77 * b84 - 80 b77 * b85 - 7.1e2 b77 * b86 - 9.9e2 b77 * b87 - 6.4e2 b77 * b88 - 7.4e2 b77 * b89 - 10 b77 * b90 - 4.4e2 b77 * b91 - 1.2e2 b77 * b92 - 3.6e2 b77 * b93 - 20 b77 * b94 - 8.8e2 b78 * b79 - 3.4e2 b78 * b80 - 300 b78 * b81 - 3.9e2 b78 * b82 - 3.9e2 b78 * b83 - 3.9e2 b78 * b84 - 8.7e2 b78 * b85 - 8.6e2 b78 * b86 - 600 b78 * b87 - 700 b78 * b88 - 1.1e2 b78 * b89 - 7.3e2 b78 * b90 - 90 b78 * b91 - 7.8e2 b78 * b92 - 7.5e2 b78 * b93 - 8.3e2 b78 * b94 - 6.9e2 b79 * b81 - 5.7e2 b79 * b82 - 8.3e2 b79 * b83 - 600 b79 * b84 - 9.6e2 b79 * b85 - 2.2e2 b79 * b86 - 9.9e2 b79 * b87 - 3.4e2 b79 * b88 - 8.3e2 b79 * b89 - 2.2e2 b79 * b90 - 4.6e2 b79 * b91 - 5.6e2 b79 * b92 - 8.3e2 b79 * b93 - 500 b79 * b94 - 2.4e2 b80 * b81 - 8.3e2 b80 * b82 - 3.3e2 b80 * b83 - 4.9e2 b80 * b84 - 3.1e2 b80 * b85 - 300 b80 * b86 - 6.9e2 b80 * b87 - 6.5e2 b80 * b88 - 3.5e2 b80 * b89 - 1.1e2 b80 * b90 - 9.8e2 b80 * b91 - 5.6e2 b80 * b92 - 800 b80 * b93 - 7.3e2 b80 * b94 - 8.5e2 b81 * b82 - 7.3e2 b81 * b83 - 6.1e2 b81 * b84 - 5.5e2 b81 * b85 - 2.5e2 b81 * b86 - 8.3e2 b81 * b87 - 1.2e2 b81 * b88 - 80 b81 * b89 - 9.5e2 b81 * b90 - 6.1e2 b81 * b91 - 3.1e2 b81 * b92 - 4.7e2 b81 * b93 - 4.8e2 b81 * b94 - 9.5e2 b82 * b83 - 6.6e2 b82 * b84 - 6.9e2 b82 * b85 - 9.3e2 b82 * b86 - 7.4e2 b82 * b87 - 5.2e2 b82 * b88 - 700 b82 * b89 - 5.7e2 b82 * b90 - 8.5e2 b82 * b91 - 7.1e2 b82 * b92 - 400 b82 * b93 - 4.5e2 b82 * b94 - 1.5e2 b83 * b84 - 400 b83 * b85 - 5.8e2 b83 * b86 - 20 b83 * b87 - 40 b83 * b88 - 5.6e2 b83 * b89 - 100 b83 * b90 - 3.6e2 b83 * b91 - 4.1e2 b83 * b92 - 8.3e2 b83 * b93 - 1.9e2 b83 * b94 - 9.8e2 b84 * b85 - 4.9e2 b84 * b86 - 80 b84 * b87 - 3.3e2 b84 * b88 - 1.3e2 b84 * b89 - 6.9e2 b84 * b90 - 2.8e2 b84 * b91 - 7.4e2 b84 * b92 - 8.2e2 b84 * b94 - 7.5e2 b85 * b86 - 2.2e2 b85 * b87 - 6.6e2 b85 * b88 - 4.4e2 b85 * b89 - 6.7e2 b85 * b90 - 400 b85 * b91 - 4.8e2 b85 * b92 - 3.7e2 b85 * b93 - 50 b85 * b94 - 4.9e2 b86 * b87 - 8.5e2 b86 * b88 - 90 b86 * b89 - 4.1e2 b86 * b90 - 10 b86 * b92 - 9.9e2 b86 * b93 - 900 b86 * b94 - 5.4e2 b87 * b88 - 5.7e2 b87 * b89 - 80 b87 * b90 - 6.4e2 b87 * b91 - 9.4e2 b87 * b92 - 10 b87 * b93 - 3.3e2 b87 * b94 - 4.7e2 b88 * b89 - 4.4e2 b88 * b90 - 500 b88 * b91 - 80 b88 * b92 - 7.7e2 b88 * b93 - 2.1e2 b88 * b94 - 6.4e2 b89 * b90 - 7.7e2 b89 * b91 - 5.7e2 b89 * b92 - 900 b89 * b93 - 1.7e2 b89 * b94 - 2.9e2 b90 * b91 - 8.5e2 b90 * b92 - 6.4e2 b90 * b93 - 3.4e2 b90 * b94 - 4.7e2 b91 * b92 - 8.1e2 b91 * b93 - 6.5e2 b91 * b94 - 3.2e2 b92 * b93 - 8.1e2 b92 * b94 - 700 b93 * b94 ] <= 0 e306: - 38235.8 b95 + 1.093e4 b96 + 1.192e4 b97 + 1.128e4 b98 + 1.279e4 b99 + 1.235e4 b100 + 1.341e4 b101 + 1.293e4 b102 + 1.227e4 b103 + 1.594e4 b104 + 1.263e4 b105 + 1.076e4 b106 + 1.206e4 b107 + 1.121e4 b108 + 1.221e4 b109 + 1.174e4 b110 + 9.83e3 b111 + 1.263e4 b112 + 1.293e4 b113 + 1.24e4 b114 + 1.404e4 b115 + [ - 5.5e2 b95 * b96 - 200 b95 * b97 - 400 b95 * b98 - 70 b95 * b99 - 7.6e2 b95 * b100 - 5.3e2 b95 * b101 - 9.1e2 b95 * b102 - 7.5e2 b95 * b103 - 3.3e2 b95 * b104 - 7.2e2 b95 * b105 - 3.4e2 b95 * b106 - 3.2e2 b95 * b107 - 70 b95 * b108 - 8.7e2 b95 * b109 - 6.4e2 b95 * b110 - 70 b95 * b111 - 7.4e2 b95 * b112 - 5.4e2 b95 * b113 - 5.8e2 b95 * b114 - 9.7e2 b95 * b115 - 8.9e2 b96 * b97 - 1.2e2 b96 * b98 - 8.3e2 b96 * b99 - 7.9e2 b96 * b100 - 3.9e2 b96 * b101 - 70 b96 * b102 - 8.9e2 b96 * b103 - 8.9e2 b96 * b104 - 9.8e2 b96 * b105 - 2.7e2 b96 * b106 - 1.9e2 b96 * b107 - 60 b96 * b108 - 600 b96 * b110 - 1.3e2 b96 * b111 - 7.6e2 b96 * b112 - 6.5e2 b96 * b113 - 5.6e2 b96 * b114 - 5.1e2 b96 * b115 - 500 b97 * b98 - 2.8e2 b97 * b99 - 3.7e2 b97 * b100 - 3.4e2 b97 * b101 - 8.7e2 b97 * b102 - 2.4e2 b97 * b103 - 9.8e2 b97 * b104 - 4.7e2 b97 * b105 - 500 b97 * b106 - 50 b97 * b107 - 5.7e2 b97 * b108 - 4.8e2 b97 * b109 - 9.4e2 b97 * b110 - 2.1e2 b97 * b111 - 3.1e2 b97 * b112 - 2.5e2 b97 * b113 - 1.2e2 b97 * b114 - 3.8e2 b97 * b115 - 1.5e2 b98 * b99 - 20 b98 * b100 - 8.9e2 b98 * b101 - 9.4e2 b98 * b102 - 2.1e2 b98 * b103 - 9.5e2 b98 * b104 - 9.4e2 b98 * b105 - 3.3e2 b98 * b106 - 80 b98 * b107 - 7.1e2 b98 * b108 - 9.9e2 b98 * b109 - 6.4e2 b98 * b110 - 7.4e2 b98 * b111 - 10 b98 * b112 - 4.4e2 b98 * b113 - 1.2e2 b98 * b114 - 3.6e2 b98 * b115 - 8.3e2 b99 * b100 - 8.8e2 b99 * b101 - 3.4e2 b99 * b102 - 300 b99 * b103 - 3.9e2 b99 * b104 - 3.9e2 b99 * b105 - 3.9e2 b99 * b106 - 8.7e2 b99 * b107 - 8.6e2 b99 * b108 - 600 b99 * b109 - 700 b99 * b110 - 1.1e2 b99 * b111 - 7.3e2 b99 * b112 - 90 b99 * b113 - 7.8e2 b99 * b114 - 7.5e2 b99 * b115 - 500 b100 * b101 - 7.3e2 b100 * b102 - 4.8e2 b100 * b103 - 4.5e2 b100 * b104 - 1.9e2 b100 * b105 - 8.2e2 b100 * b106 - 50 b100 * b107 - 900 b100 * b108 - 3.3e2 b100 * b109 - 2.1e2 b100 * b110 - 1.7e2 b100 * b111 - 3.4e2 b100 * b112 - 6.5e2 b100 * b113 - 8.1e2 b100 * b114 - 700 b100 * b115 - 6.9e2 b101 * b103 - 5.7e2 b101 * b104 - 8.3e2 b101 * b105 - 600 b101 * b106 - 9.6e2 b101 * b107 - 2.2e2 b101 * b108 - 9.9e2 b101 * b109 - 3.4e2 b101 * b110 - 8.3e2 b101 * b111 - 2.2e2 b101 * b112 - 4.6e2 b101 * b113 - 5.6e2 b101 * b114 - 8.3e2 b101 * b115 - 2.4e2 b102 * b103 - 8.3e2 b102 * b104 - 3.3e2 b102 * b105 - 4.9e2 b102 * b106 - 3.1e2 b102 * b107 - 300 b102 * b108 - 6.9e2 b102 * b109 - 6.5e2 b102 * b110 - 3.5e2 b102 * b111 - 1.1e2 b102 * b112 - 9.8e2 b102 * b113 - 5.6e2 b102 * b114 - 800 b102 * b115 - 8.5e2 b103 * b104 - 7.3e2 b103 * b105 - 6.1e2 b103 * b106 - 5.5e2 b103 * b107 - 2.5e2 b103 * b108 - 8.3e2 b103 * b109 - 1.2e2 b103 * b110 - 80 b103 * b111 - 9.5e2 b103 * b112 - 6.1e2 b103 * b113 - 3.1e2 b103 * b114 - 4.7e2 b103 * b115 - 9.5e2 b104 * b105 - 6.6e2 b104 * b106 - 6.9e2 b104 * b107 - 9.3e2 b104 * b108 - 7.4e2 b104 * b109 - 5.2e2 b104 * b110 - 700 b104 * b111 - 5.7e2 b104 * b112 - 8.5e2 b104 * b113 - 7.1e2 b104 * b114 - 400 b104 * b115 - 1.5e2 b105 * b106 - 400 b105 * b107 - 5.8e2 b105 * b108 - 20 b105 * b109 - 40 b105 * b110 - 5.6e2 b105 * b111 - 100 b105 * b112 - 3.6e2 b105 * b113 - 4.1e2 b105 * b114 - 8.3e2 b105 * b115 - 9.8e2 b106 * b107 - 4.9e2 b106 * b108 - 80 b106 * b109 - 3.3e2 b106 * b110 - 1.3e2 b106 * b111 - 6.9e2 b106 * b112 - 2.8e2 b106 * b113 - 7.4e2 b106 * b114 - 7.5e2 b107 * b108 - 2.2e2 b107 * b109 - 6.6e2 b107 * b110 - 4.4e2 b107 * b111 - 6.7e2 b107 * b112 - 400 b107 * b113 - 4.8e2 b107 * b114 - 3.7e2 b107 * b115 - 4.9e2 b108 * b109 - 8.5e2 b108 * b110 - 90 b108 * b111 - 4.1e2 b108 * b112 - 10 b108 * b114 - 9.9e2 b108 * b115 - 5.4e2 b109 * b110 - 5.7e2 b109 * b111 - 80 b109 * b112 - 6.4e2 b109 * b113 - 9.4e2 b109 * b114 - 10 b109 * b115 - 4.7e2 b110 * b111 - 4.4e2 b110 * b112 - 500 b110 * b113 - 80 b110 * b114 - 7.7e2 b110 * b115 - 6.4e2 b111 * b112 - 7.7e2 b111 * b113 - 5.7e2 b111 * b114 - 900 b111 * b115 - 2.9e2 b112 * b113 - 8.5e2 b112 * b114 - 6.4e2 b112 * b115 - 4.7e2 b113 * b114 - 8.1e2 b113 * b115 - 3.2e2 b114 * b115 ] <= 0 e307: - 40165.8 b116 + 1.192e4 b117 + 1.128e4 b118 + 1.279e4 b119 + 1.235e4 b120 + 1.341e4 b121 + 1.293e4 b122 + 1.227e4 b123 + 1.594e4 b124 + 1.263e4 b125 + 1.076e4 b126 + 1.206e4 b127 + 1.121e4 b128 + 1.174e4 b129 + 9.83e3 b130 + 1.263e4 b131 + 1.293e4 b132 + 1.24e4 b133 + 1.404e4 b134 + 1.221e4 b135 + [ - 8.9e2 b116 * b117 - 1.2e2 b116 * b118 - 8.3e2 b116 * b119 - 7.9e2 b116 * b120 - 3.9e2 b116 * b121 - 70 b116 * b122 - 8.9e2 b116 * b123 - 8.9e2 b116 * b124 - 9.8e2 b116 * b125 - 2.7e2 b116 * b126 - 1.9e2 b116 * b127 - 60 b116 * b128 - 600 b116 * b129 - 1.3e2 b116 * b130 - 7.6e2 b116 * b131 - 6.5e2 b116 * b132 - 5.6e2 b116 * b133 - 5.1e2 b116 * b134 - 500 b117 * b118 - 2.8e2 b117 * b119 - 3.7e2 b117 * b120 - 3.4e2 b117 * b121 - 8.7e2 b117 * b122 - 2.4e2 b117 * b123 - 9.8e2 b117 * b124 - 4.7e2 b117 * b125 - 500 b117 * b126 - 50 b117 * b127 - 5.7e2 b117 * b128 - 9.4e2 b117 * b129 - 2.1e2 b117 * b130 - 3.1e2 b117 * b131 - 2.5e2 b117 * b132 - 1.2e2 b117 * b133 - 3.8e2 b117 * b134 - 4.8e2 b117 * b135 - 1.5e2 b118 * b119 - 20 b118 * b120 - 8.9e2 b118 * b121 - 9.4e2 b118 * b122 - 2.1e2 b118 * b123 - 9.5e2 b118 * b124 - 9.4e2 b118 * b125 - 3.3e2 b118 * b126 - 80 b118 * b127 - 7.1e2 b118 * b128 - 6.4e2 b118 * b129 - 7.4e2 b118 * b130 - 10 b118 * b131 - 4.4e2 b118 * b132 - 1.2e2 b118 * b133 - 3.6e2 b118 * b134 - 9.9e2 b118 * b135 - 8.3e2 b119 * b120 - 8.8e2 b119 * b121 - 3.4e2 b119 * b122 - 300 b119 * b123 - 3.9e2 b119 * b124 - 3.9e2 b119 * b125 - 3.9e2 b119 * b126 - 8.7e2 b119 * b127 - 8.6e2 b119 * b128 - 700 b119 * b129 - 1.1e2 b119 * b130 - 7.3e2 b119 * b131 - 90 b119 * b132 - 7.8e2 b119 * b133 - 7.5e2 b119 * b134 - 600 b119 * b135 - 500 b120 * b121 - 7.3e2 b120 * b122 - 4.8e2 b120 * b123 - 4.5e2 b120 * b124 - 1.9e2 b120 * b125 - 8.2e2 b120 * b126 - 50 b120 * b127 - 900 b120 * b128 - 2.1e2 b120 * b129 - 1.7e2 b120 * b130 - 3.4e2 b120 * b131 - 6.5e2 b120 * b132 - 8.1e2 b120 * b133 - 700 b120 * b134 - 3.3e2 b120 * b135 - 6.9e2 b121 * b123 - 5.7e2 b121 * b124 - 8.3e2 b121 * b125 - 600 b121 * b126 - 9.6e2 b121 * b127 - 2.2e2 b121 * b128 - 3.4e2 b121 * b129 - 8.3e2 b121 * b130 - 2.2e2 b121 * b131 - 4.6e2 b121 * b132 - 5.6e2 b121 * b133 - 8.3e2 b121 * b134 - 9.9e2 b121 * b135 - 2.4e2 b122 * b123 - 8.3e2 b122 * b124 - 3.3e2 b122 * b125 - 4.9e2 b122 * b126 - 3.1e2 b122 * b127 - 300 b122 * b128 - 6.5e2 b122 * b129 - 3.5e2 b122 * b130 - 1.1e2 b122 * b131 - 9.8e2 b122 * b132 - 5.6e2 b122 * b133 - 800 b122 * b134 - 6.9e2 b122 * b135 - 8.5e2 b123 * b124 - 7.3e2 b123 * b125 - 6.1e2 b123 * b126 - 5.5e2 b123 * b127 - 2.5e2 b123 * b128 - 1.2e2 b123 * b129 - 80 b123 * b130 - 9.5e2 b123 * b131 - 6.1e2 b123 * b132 - 3.1e2 b123 * b133 - 4.7e2 b123 * b134 - 8.3e2 b123 * b135 - 9.5e2 b124 * b125 - 6.6e2 b124 * b126 - 6.9e2 b124 * b127 - 9.3e2 b124 * b128 - 5.2e2 b124 * b129 - 700 b124 * b130 - 5.7e2 b124 * b131 - 8.5e2 b124 * b132 - 7.1e2 b124 * b133 - 400 b124 * b134 - 7.4e2 b124 * b135 - 1.5e2 b125 * b126 - 400 b125 * b127 - 5.8e2 b125 * b128 - 40 b125 * b129 - 5.6e2 b125 * b130 - 100 b125 * b131 - 3.6e2 b125 * b132 - 4.1e2 b125 * b133 - 8.3e2 b125 * b134 - 20 b125 * b135 - 9.8e2 b126 * b127 - 4.9e2 b126 * b128 - 3.3e2 b126 * b129 - 1.3e2 b126 * b130 - 6.9e2 b126 * b131 - 2.8e2 b126 * b132 - 7.4e2 b126 * b133 - 80 b126 * b135 - 7.5e2 b127 * b128 - 6.6e2 b127 * b129 - 4.4e2 b127 * b130 - 6.7e2 b127 * b131 - 400 b127 * b132 - 4.8e2 b127 * b133 - 3.7e2 b127 * b134 - 2.2e2 b127 * b135 - 8.5e2 b128 * b129 - 90 b128 * b130 - 4.1e2 b128 * b131 - 10 b128 * b133 - 9.9e2 b128 * b134 - 4.9e2 b128 * b135 - 4.7e2 b129 * b130 - 4.4e2 b129 * b131 - 500 b129 * b132 - 80 b129 * b133 - 7.7e2 b129 * b134 - 5.4e2 b129 * b135 - 6.4e2 b130 * b131 - 7.7e2 b130 * b132 - 5.7e2 b130 * b133 - 900 b130 * b134 - 5.7e2 b130 * b135 - 2.9e2 b131 * b132 - 8.5e2 b131 * b133 - 6.4e2 b131 * b134 - 80 b131 * b135 - 4.7e2 b132 * b133 - 8.1e2 b132 * b134 - 6.4e2 b132 * b135 - 3.2e2 b133 * b134 - 9.4e2 b133 * b135 - 10 b134 * b135 ] <= 0 e308: - 39175.8 b136 + 1.128e4 b137 + 1.279e4 b138 + 1.235e4 b139 + 1.341e4 b140 + 1.293e4 b141 + 1.227e4 b142 + 1.594e4 b143 + 1.263e4 b144 + 1.076e4 b145 + 1.206e4 b146 + 1.121e4 b147 + 1.221e4 b148 + 1.174e4 b149 + 9.83e3 b150 + 1.263e4 b151 + 1.293e4 b152 + 1.24e4 b153 + 1.404e4 b154 + [ - 500 b136 * b137 - 2.8e2 b136 * b138 - 3.7e2 b136 * b139 - 3.4e2 b136 * b140 - 8.7e2 b136 * b141 - 2.4e2 b136 * b142 - 9.8e2 b136 * b143 - 4.7e2 b136 * b144 - 500 b136 * b145 - 50 b136 * b146 - 5.7e2 b136 * b147 - 4.8e2 b136 * b148 - 9.4e2 b136 * b149 - 2.1e2 b136 * b150 - 3.1e2 b136 * b151 - 2.5e2 b136 * b152 - 1.2e2 b136 * b153 - 3.8e2 b136 * b154 - 1.5e2 b137 * b138 - 20 b137 * b139 - 8.9e2 b137 * b140 - 9.4e2 b137 * b141 - 2.1e2 b137 * b142 - 9.5e2 b137 * b143 - 9.4e2 b137 * b144 - 3.3e2 b137 * b145 - 80 b137 * b146 - 7.1e2 b137 * b147 - 9.9e2 b137 * b148 - 6.4e2 b137 * b149 - 7.4e2 b137 * b150 - 10 b137 * b151 - 4.4e2 b137 * b152 - 1.2e2 b137 * b153 - 3.6e2 b137 * b154 - 8.3e2 b138 * b139 - 8.8e2 b138 * b140 - 3.4e2 b138 * b141 - 300 b138 * b142 - 3.9e2 b138 * b143 - 3.9e2 b138 * b144 - 3.9e2 b138 * b145 - 8.7e2 b138 * b146 - 8.6e2 b138 * b147 - 600 b138 * b148 - 700 b138 * b149 - 1.1e2 b138 * b150 - 7.3e2 b138 * b151 - 90 b138 * b152 - 7.8e2 b138 * b153 - 7.5e2 b138 * b154 - 500 b139 * b140 - 7.3e2 b139 * b141 - 4.8e2 b139 * b142 - 4.5e2 b139 * b143 - 1.9e2 b139 * b144 - 8.2e2 b139 * b145 - 50 b139 * b146 - 900 b139 * b147 - 3.3e2 b139 * b148 - 2.1e2 b139 * b149 - 1.7e2 b139 * b150 - 3.4e2 b139 * b151 - 6.5e2 b139 * b152 - 8.1e2 b139 * b153 - 700 b139 * b154 - 6.9e2 b140 * b142 - 5.7e2 b140 * b143 - 8.3e2 b140 * b144 - 600 b140 * b145 - 9.6e2 b140 * b146 - 2.2e2 b140 * b147 - 9.9e2 b140 * b148 - 3.4e2 b140 * b149 - 8.3e2 b140 * b150 - 2.2e2 b140 * b151 - 4.6e2 b140 * b152 - 5.6e2 b140 * b153 - 8.3e2 b140 * b154 - 2.4e2 b141 * b142 - 8.3e2 b141 * b143 - 3.3e2 b141 * b144 - 4.9e2 b141 * b145 - 3.1e2 b141 * b146 - 300 b141 * b147 - 6.9e2 b141 * b148 - 6.5e2 b141 * b149 - 3.5e2 b141 * b150 - 1.1e2 b141 * b151 - 9.8e2 b141 * b152 - 5.6e2 b141 * b153 - 800 b141 * b154 - 8.5e2 b142 * b143 - 7.3e2 b142 * b144 - 6.1e2 b142 * b145 - 5.5e2 b142 * b146 - 2.5e2 b142 * b147 - 8.3e2 b142 * b148 - 1.2e2 b142 * b149 - 80 b142 * b150 - 9.5e2 b142 * b151 - 6.1e2 b142 * b152 - 3.1e2 b142 * b153 - 4.7e2 b142 * b154 - 9.5e2 b143 * b144 - 6.6e2 b143 * b145 - 6.9e2 b143 * b146 - 9.3e2 b143 * b147 - 7.4e2 b143 * b148 - 5.2e2 b143 * b149 - 700 b143 * b150 - 5.7e2 b143 * b151 - 8.5e2 b143 * b152 - 7.1e2 b143 * b153 - 400 b143 * b154 - 1.5e2 b144 * b145 - 400 b144 * b146 - 5.8e2 b144 * b147 - 20 b144 * b148 - 40 b144 * b149 - 5.6e2 b144 * b150 - 100 b144 * b151 - 3.6e2 b144 * b152 - 4.1e2 b144 * b153 - 8.3e2 b144 * b154 - 9.8e2 b145 * b146 - 4.9e2 b145 * b147 - 80 b145 * b148 - 3.3e2 b145 * b149 - 1.3e2 b145 * b150 - 6.9e2 b145 * b151 - 2.8e2 b145 * b152 - 7.4e2 b145 * b153 - 7.5e2 b146 * b147 - 2.2e2 b146 * b148 - 6.6e2 b146 * b149 - 4.4e2 b146 * b150 - 6.7e2 b146 * b151 - 400 b146 * b152 - 4.8e2 b146 * b153 - 3.7e2 b146 * b154 - 4.9e2 b147 * b148 - 8.5e2 b147 * b149 - 90 b147 * b150 - 4.1e2 b147 * b151 - 10 b147 * b153 - 9.9e2 b147 * b154 - 5.4e2 b148 * b149 - 5.7e2 b148 * b150 - 80 b148 * b151 - 6.4e2 b148 * b152 - 9.4e2 b148 * b153 - 10 b148 * b154 - 4.7e2 b149 * b150 - 4.4e2 b149 * b151 - 500 b149 * b152 - 80 b149 * b153 - 7.7e2 b149 * b154 - 6.4e2 b150 * b151 - 7.7e2 b150 * b152 - 5.7e2 b150 * b153 - 900 b150 * b154 - 2.9e2 b151 * b152 - 8.5e2 b151 * b153 - 6.4e2 b151 * b154 - 4.7e2 b152 * b153 - 8.1e2 b152 * b154 - 3.2e2 b153 * b154 ] <= 0 e309: - 39815.8 b155 + 1.279e4 b156 + 1.235e4 b157 + 1.341e4 b158 + 1.293e4 b159 + 1.227e4 b160 + 1.594e4 b161 + 1.263e4 b162 + 1.076e4 b163 + 1.206e4 b164 + 1.121e4 b165 + 1.221e4 b166 + 1.174e4 b167 + 9.83e3 b168 + 1.263e4 b169 + 1.293e4 b170 + 1.24e4 b171 + 1.404e4 b172 + [ - 1.5e2 b155 * b156 - 20 b155 * b157 - 8.9e2 b155 * b158 - 9.4e2 b155 * b159 - 2.1e2 b155 * b160 - 9.5e2 b155 * b161 - 9.4e2 b155 * b162 - 3.3e2 b155 * b163 - 80 b155 * b164 - 7.1e2 b155 * b165 - 9.9e2 b155 * b166 - 6.4e2 b155 * b167 - 7.4e2 b155 * b168 - 10 b155 * b169 - 4.4e2 b155 * b170 - 1.2e2 b155 * b171 - 3.6e2 b155 * b172 - 8.3e2 b156 * b157 - 8.8e2 b156 * b158 - 3.4e2 b156 * b159 - 300 b156 * b160 - 3.9e2 b156 * b161 - 3.9e2 b156 * b162 - 3.9e2 b156 * b163 - 8.7e2 b156 * b164 - 8.6e2 b156 * b165 - 600 b156 * b166 - 700 b156 * b167 - 1.1e2 b156 * b168 - 7.3e2 b156 * b169 - 90 b156 * b170 - 7.8e2 b156 * b171 - 7.5e2 b156 * b172 - 500 b157 * b158 - 7.3e2 b157 * b159 - 4.8e2 b157 * b160 - 4.5e2 b157 * b161 - 1.9e2 b157 * b162 - 8.2e2 b157 * b163 - 50 b157 * b164 - 900 b157 * b165 - 3.3e2 b157 * b166 - 2.1e2 b157 * b167 - 1.7e2 b157 * b168 - 3.4e2 b157 * b169 - 6.5e2 b157 * b170 - 8.1e2 b157 * b171 - 700 b157 * b172 - 6.9e2 b158 * b160 - 5.7e2 b158 * b161 - 8.3e2 b158 * b162 - 600 b158 * b163 - 9.6e2 b158 * b164 - 2.2e2 b158 * b165 - 9.9e2 b158 * b166 - 3.4e2 b158 * b167 - 8.3e2 b158 * b168 - 2.2e2 b158 * b169 - 4.6e2 b158 * b170 - 5.6e2 b158 * b171 - 8.3e2 b158 * b172 - 2.4e2 b159 * b160 - 8.3e2 b159 * b161 - 3.3e2 b159 * b162 - 4.9e2 b159 * b163 - 3.1e2 b159 * b164 - 300 b159 * b165 - 6.9e2 b159 * b166 - 6.5e2 b159 * b167 - 3.5e2 b159 * b168 - 1.1e2 b159 * b169 - 9.8e2 b159 * b170 - 5.6e2 b159 * b171 - 800 b159 * b172 - 8.5e2 b160 * b161 - 7.3e2 b160 * b162 - 6.1e2 b160 * b163 - 5.5e2 b160 * b164 - 2.5e2 b160 * b165 - 8.3e2 b160 * b166 - 1.2e2 b160 * b167 - 80 b160 * b168 - 9.5e2 b160 * b169 - 6.1e2 b160 * b170 - 3.1e2 b160 * b171 - 4.7e2 b160 * b172 - 9.5e2 b161 * b162 - 6.6e2 b161 * b163 - 6.9e2 b161 * b164 - 9.3e2 b161 * b165 - 7.4e2 b161 * b166 - 5.2e2 b161 * b167 - 700 b161 * b168 - 5.7e2 b161 * b169 - 8.5e2 b161 * b170 - 7.1e2 b161 * b171 - 400 b161 * b172 - 1.5e2 b162 * b163 - 400 b162 * b164 - 5.8e2 b162 * b165 - 20 b162 * b166 - 40 b162 * b167 - 5.6e2 b162 * b168 - 100 b162 * b169 - 3.6e2 b162 * b170 - 4.1e2 b162 * b171 - 8.3e2 b162 * b172 - 9.8e2 b163 * b164 - 4.9e2 b163 * b165 - 80 b163 * b166 - 3.3e2 b163 * b167 - 1.3e2 b163 * b168 - 6.9e2 b163 * b169 - 2.8e2 b163 * b170 - 7.4e2 b163 * b171 - 7.5e2 b164 * b165 - 2.2e2 b164 * b166 - 6.6e2 b164 * b167 - 4.4e2 b164 * b168 - 6.7e2 b164 * b169 - 400 b164 * b170 - 4.8e2 b164 * b171 - 3.7e2 b164 * b172 - 4.9e2 b165 * b166 - 8.5e2 b165 * b167 - 90 b165 * b168 - 4.1e2 b165 * b169 - 10 b165 * b171 - 9.9e2 b165 * b172 - 5.4e2 b166 * b167 - 5.7e2 b166 * b168 - 80 b166 * b169 - 6.4e2 b166 * b170 - 9.4e2 b166 * b171 - 10 b166 * b172 - 4.7e2 b167 * b168 - 4.4e2 b167 * b169 - 500 b167 * b170 - 80 b167 * b171 - 7.7e2 b167 * b172 - 6.4e2 b168 * b169 - 7.7e2 b168 * b170 - 5.7e2 b168 * b171 - 900 b168 * b172 - 2.9e2 b169 * b170 - 8.5e2 b169 * b171 - 6.4e2 b169 * b172 - 4.7e2 b170 * b171 - 8.1e2 b170 * b172 - 3.2e2 b171 * b172 ] <= 0 e310: - 38305.8 b173 + 1.235e4 b174 + 1.341e4 b175 + 1.293e4 b176 + 1.227e4 b177 + 1.594e4 b178 + 1.263e4 b179 + 1.076e4 b180 + 1.206e4 b181 + 1.121e4 b182 + 1.221e4 b183 + 1.174e4 b184 + 9.83e3 b185 + 1.263e4 b186 + 1.293e4 b187 + 1.24e4 b188 + 1.404e4 b189 + [ - 8.3e2 b173 * b174 - 8.8e2 b173 * b175 - 3.4e2 b173 * b176 - 300 b173 * b177 - 3.9e2 b173 * b178 - 3.9e2 b173 * b179 - 3.9e2 b173 * b180 - 8.7e2 b173 * b181 - 8.6e2 b173 * b182 - 600 b173 * b183 - 700 b173 * b184 - 1.1e2 b173 * b185 - 7.3e2 b173 * b186 - 90 b173 * b187 - 7.8e2 b173 * b188 - 7.5e2 b173 * b189 - 500 b174 * b175 - 7.3e2 b174 * b176 - 4.8e2 b174 * b177 - 4.5e2 b174 * b178 - 1.9e2 b174 * b179 - 8.2e2 b174 * b180 - 50 b174 * b181 - 900 b174 * b182 - 3.3e2 b174 * b183 - 2.1e2 b174 * b184 - 1.7e2 b174 * b185 - 3.4e2 b174 * b186 - 6.5e2 b174 * b187 - 8.1e2 b174 * b188 - 700 b174 * b189 - 6.9e2 b175 * b177 - 5.7e2 b175 * b178 - 8.3e2 b175 * b179 - 600 b175 * b180 - 9.6e2 b175 * b181 - 2.2e2 b175 * b182 - 9.9e2 b175 * b183 - 3.4e2 b175 * b184 - 8.3e2 b175 * b185 - 2.2e2 b175 * b186 - 4.6e2 b175 * b187 - 5.6e2 b175 * b188 - 8.3e2 b175 * b189 - 2.4e2 b176 * b177 - 8.3e2 b176 * b178 - 3.3e2 b176 * b179 - 4.9e2 b176 * b180 - 3.1e2 b176 * b181 - 300 b176 * b182 - 6.9e2 b176 * b183 - 6.5e2 b176 * b184 - 3.5e2 b176 * b185 - 1.1e2 b176 * b186 - 9.8e2 b176 * b187 - 5.6e2 b176 * b188 - 800 b176 * b189 - 8.5e2 b177 * b178 - 7.3e2 b177 * b179 - 6.1e2 b177 * b180 - 5.5e2 b177 * b181 - 2.5e2 b177 * b182 - 8.3e2 b177 * b183 - 1.2e2 b177 * b184 - 80 b177 * b185 - 9.5e2 b177 * b186 - 6.1e2 b177 * b187 - 3.1e2 b177 * b188 - 4.7e2 b177 * b189 - 9.5e2 b178 * b179 - 6.6e2 b178 * b180 - 6.9e2 b178 * b181 - 9.3e2 b178 * b182 - 7.4e2 b178 * b183 - 5.2e2 b178 * b184 - 700 b178 * b185 - 5.7e2 b178 * b186 - 8.5e2 b178 * b187 - 7.1e2 b178 * b188 - 400 b178 * b189 - 1.5e2 b179 * b180 - 400 b179 * b181 - 5.8e2 b179 * b182 - 20 b179 * b183 - 40 b179 * b184 - 5.6e2 b179 * b185 - 100 b179 * b186 - 3.6e2 b179 * b187 - 4.1e2 b179 * b188 - 8.3e2 b179 * b189 - 9.8e2 b180 * b181 - 4.9e2 b180 * b182 - 80 b180 * b183 - 3.3e2 b180 * b184 - 1.3e2 b180 * b185 - 6.9e2 b180 * b186 - 2.8e2 b180 * b187 - 7.4e2 b180 * b188 - 7.5e2 b181 * b182 - 2.2e2 b181 * b183 - 6.6e2 b181 * b184 - 4.4e2 b181 * b185 - 6.7e2 b181 * b186 - 400 b181 * b187 - 4.8e2 b181 * b188 - 3.7e2 b181 * b189 - 4.9e2 b182 * b183 - 8.5e2 b182 * b184 - 90 b182 * b185 - 4.1e2 b182 * b186 - 10 b182 * b188 - 9.9e2 b182 * b189 - 5.4e2 b183 * b184 - 5.7e2 b183 * b185 - 80 b183 * b186 - 6.4e2 b183 * b187 - 9.4e2 b183 * b188 - 10 b183 * b189 - 4.7e2 b184 * b185 - 4.4e2 b184 * b186 - 500 b184 * b187 - 80 b184 * b188 - 7.7e2 b184 * b189 - 6.4e2 b185 * b186 - 7.7e2 b185 * b187 - 5.7e2 b185 * b188 - 900 b185 * b189 - 2.9e2 b186 * b187 - 8.5e2 b186 * b188 - 6.4e2 b186 * b189 - 4.7e2 b187 * b188 - 8.1e2 b187 * b189 - 3.2e2 b188 * b189 ] <= 0 e311: - 38745.8 b190 + 1.341e4 b191 + 1.293e4 b192 + 1.227e4 b193 + 1.594e4 b194 + 1.263e4 b195 + 1.076e4 b196 + 1.206e4 b197 + 1.121e4 b198 + 1.221e4 b199 + 1.174e4 b200 + 9.83e3 b201 + 1.263e4 b202 + 1.293e4 b203 + 1.24e4 b204 + 1.404e4 b205 + [ - 500 b190 * b191 - 7.3e2 b190 * b192 - 4.8e2 b190 * b193 - 4.5e2 b190 * b194 - 1.9e2 b190 * b195 - 8.2e2 b190 * b196 - 50 b190 * b197 - 900 b190 * b198 - 3.3e2 b190 * b199 - 2.1e2 b190 * b200 - 1.7e2 b190 * b201 - 3.4e2 b190 * b202 - 6.5e2 b190 * b203 - 8.1e2 b190 * b204 - 700 b190 * b205 - 6.9e2 b191 * b193 - 5.7e2 b191 * b194 - 8.3e2 b191 * b195 - 600 b191 * b196 - 9.6e2 b191 * b197 - 2.2e2 b191 * b198 - 9.9e2 b191 * b199 - 3.4e2 b191 * b200 - 8.3e2 b191 * b201 - 2.2e2 b191 * b202 - 4.6e2 b191 * b203 - 5.6e2 b191 * b204 - 8.3e2 b191 * b205 - 2.4e2 b192 * b193 - 8.3e2 b192 * b194 - 3.3e2 b192 * b195 - 4.9e2 b192 * b196 - 3.1e2 b192 * b197 - 300 b192 * b198 - 6.9e2 b192 * b199 - 6.5e2 b192 * b200 - 3.5e2 b192 * b201 - 1.1e2 b192 * b202 - 9.8e2 b192 * b203 - 5.6e2 b192 * b204 - 800 b192 * b205 - 8.5e2 b193 * b194 - 7.3e2 b193 * b195 - 6.1e2 b193 * b196 - 5.5e2 b193 * b197 - 2.5e2 b193 * b198 - 8.3e2 b193 * b199 - 1.2e2 b193 * b200 - 80 b193 * b201 - 9.5e2 b193 * b202 - 6.1e2 b193 * b203 - 3.1e2 b193 * b204 - 4.7e2 b193 * b205 - 9.5e2 b194 * b195 - 6.6e2 b194 * b196 - 6.9e2 b194 * b197 - 9.3e2 b194 * b198 - 7.4e2 b194 * b199 - 5.2e2 b194 * b200 - 700 b194 * b201 - 5.7e2 b194 * b202 - 8.5e2 b194 * b203 - 7.1e2 b194 * b204 - 400 b194 * b205 - 1.5e2 b195 * b196 - 400 b195 * b197 - 5.8e2 b195 * b198 - 20 b195 * b199 - 40 b195 * b200 - 5.6e2 b195 * b201 - 100 b195 * b202 - 3.6e2 b195 * b203 - 4.1e2 b195 * b204 - 8.3e2 b195 * b205 - 9.8e2 b196 * b197 - 4.9e2 b196 * b198 - 80 b196 * b199 - 3.3e2 b196 * b200 - 1.3e2 b196 * b201 - 6.9e2 b196 * b202 - 2.8e2 b196 * b203 - 7.4e2 b196 * b204 - 7.5e2 b197 * b198 - 2.2e2 b197 * b199 - 6.6e2 b197 * b200 - 4.4e2 b197 * b201 - 6.7e2 b197 * b202 - 400 b197 * b203 - 4.8e2 b197 * b204 - 3.7e2 b197 * b205 - 4.9e2 b198 * b199 - 8.5e2 b198 * b200 - 90 b198 * b201 - 4.1e2 b198 * b202 - 10 b198 * b204 - 9.9e2 b198 * b205 - 5.4e2 b199 * b200 - 5.7e2 b199 * b201 - 80 b199 * b202 - 6.4e2 b199 * b203 - 9.4e2 b199 * b204 - 10 b199 * b205 - 4.7e2 b200 * b201 - 4.4e2 b200 * b202 - 500 b200 * b203 - 80 b200 * b204 - 7.7e2 b200 * b205 - 6.4e2 b201 * b202 - 7.7e2 b201 * b203 - 5.7e2 b201 * b204 - 900 b201 * b205 - 2.9e2 b202 * b203 - 8.5e2 b202 * b204 - 6.4e2 b202 * b205 - 4.7e2 b203 * b204 - 8.1e2 b203 * b205 - 3.2e2 b204 * b205 ] <= 0 e312: - 37685.8 b206 + 1.227e4 b207 + 1.594e4 b208 + 1.263e4 b209 + 1.076e4 b210 + 1.206e4 b211 + 1.121e4 b212 + 1.221e4 b213 + 1.174e4 b214 + 9.83e3 b215 + 1.263e4 b216 + 1.293e4 b217 + 1.24e4 b218 + 1.404e4 b219 + 1.293e4 b220 + [ - 6.9e2 b206 * b207 - 5.7e2 b206 * b208 - 8.3e2 b206 * b209 - 600 b206 * b210 - 9.6e2 b206 * b211 - 2.2e2 b206 * b212 - 9.9e2 b206 * b213 - 3.4e2 b206 * b214 - 8.3e2 b206 * b215 - 2.2e2 b206 * b216 - 4.6e2 b206 * b217 - 5.6e2 b206 * b218 - 8.3e2 b206 * b219 - 8.5e2 b207 * b208 - 7.3e2 b207 * b209 - 6.1e2 b207 * b210 - 5.5e2 b207 * b211 - 2.5e2 b207 * b212 - 8.3e2 b207 * b213 - 1.2e2 b207 * b214 - 80 b207 * b215 - 9.5e2 b207 * b216 - 6.1e2 b207 * b217 - 3.1e2 b207 * b218 - 4.7e2 b207 * b219 - 2.4e2 b207 * b220 - 9.5e2 b208 * b209 - 6.6e2 b208 * b210 - 6.9e2 b208 * b211 - 9.3e2 b208 * b212 - 7.4e2 b208 * b213 - 5.2e2 b208 * b214 - 700 b208 * b215 - 5.7e2 b208 * b216 - 8.5e2 b208 * b217 - 7.1e2 b208 * b218 - 400 b208 * b219 - 8.3e2 b208 * b220 - 1.5e2 b209 * b210 - 400 b209 * b211 - 5.8e2 b209 * b212 - 20 b209 * b213 - 40 b209 * b214 - 5.6e2 b209 * b215 - 100 b209 * b216 - 3.6e2 b209 * b217 - 4.1e2 b209 * b218 - 8.3e2 b209 * b219 - 3.3e2 b209 * b220 - 9.8e2 b210 * b211 - 4.9e2 b210 * b212 - 80 b210 * b213 - 3.3e2 b210 * b214 - 1.3e2 b210 * b215 - 6.9e2 b210 * b216 - 2.8e2 b210 * b217 - 7.4e2 b210 * b218 - 4.9e2 b210 * b220 - 7.5e2 b211 * b212 - 2.2e2 b211 * b213 - 6.6e2 b211 * b214 - 4.4e2 b211 * b215 - 6.7e2 b211 * b216 - 400 b211 * b217 - 4.8e2 b211 * b218 - 3.7e2 b211 * b219 - 3.1e2 b211 * b220 - 4.9e2 b212 * b213 - 8.5e2 b212 * b214 - 90 b212 * b215 - 4.1e2 b212 * b216 - 10 b212 * b218 - 9.9e2 b212 * b219 - 300 b212 * b220 - 5.4e2 b213 * b214 - 5.7e2 b213 * b215 - 80 b213 * b216 - 6.4e2 b213 * b217 - 9.4e2 b213 * b218 - 10 b213 * b219 - 6.9e2 b213 * b220 - 4.7e2 b214 * b215 - 4.4e2 b214 * b216 - 500 b214 * b217 - 80 b214 * b218 - 7.7e2 b214 * b219 - 6.5e2 b214 * b220 - 6.4e2 b215 * b216 - 7.7e2 b215 * b217 - 5.7e2 b215 * b218 - 900 b215 * b219 - 3.5e2 b215 * b220 - 2.9e2 b216 * b217 - 8.5e2 b216 * b218 - 6.4e2 b216 * b219 - 1.1e2 b216 * b220 - 4.7e2 b217 * b218 - 8.1e2 b217 * b219 - 9.8e2 b217 * b220 - 3.2e2 b218 * b219 - 5.6e2 b218 * b220 - 800 b219 * b220 ] <= 0 e313: - 38165.8 b221 + 1.227e4 b222 + 1.594e4 b223 + 1.263e4 b224 + 1.076e4 b225 + 1.206e4 b226 + 1.121e4 b227 + 1.221e4 b228 + 1.174e4 b229 + 9.83e3 b230 + 1.263e4 b231 + 1.293e4 b232 + 1.24e4 b233 + 1.404e4 b234 + [ - 2.4e2 b221 * b222 - 8.3e2 b221 * b223 - 3.3e2 b221 * b224 - 4.9e2 b221 * b225 - 3.1e2 b221 * b226 - 300 b221 * b227 - 6.9e2 b221 * b228 - 6.5e2 b221 * b229 - 3.5e2 b221 * b230 - 1.1e2 b221 * b231 - 9.8e2 b221 * b232 - 5.6e2 b221 * b233 - 800 b221 * b234 - 8.5e2 b222 * b223 - 7.3e2 b222 * b224 - 6.1e2 b222 * b225 - 5.5e2 b222 * b226 - 2.5e2 b222 * b227 - 8.3e2 b222 * b228 - 1.2e2 b222 * b229 - 80 b222 * b230 - 9.5e2 b222 * b231 - 6.1e2 b222 * b232 - 3.1e2 b222 * b233 - 4.7e2 b222 * b234 - 9.5e2 b223 * b224 - 6.6e2 b223 * b225 - 6.9e2 b223 * b226 - 9.3e2 b223 * b227 - 7.4e2 b223 * b228 - 5.2e2 b223 * b229 - 700 b223 * b230 - 5.7e2 b223 * b231 - 8.5e2 b223 * b232 - 7.1e2 b223 * b233 - 400 b223 * b234 - 1.5e2 b224 * b225 - 400 b224 * b226 - 5.8e2 b224 * b227 - 20 b224 * b228 - 40 b224 * b229 - 5.6e2 b224 * b230 - 100 b224 * b231 - 3.6e2 b224 * b232 - 4.1e2 b224 * b233 - 8.3e2 b224 * b234 - 9.8e2 b225 * b226 - 4.9e2 b225 * b227 - 80 b225 * b228 - 3.3e2 b225 * b229 - 1.3e2 b225 * b230 - 6.9e2 b225 * b231 - 2.8e2 b225 * b232 - 7.4e2 b225 * b233 - 7.5e2 b226 * b227 - 2.2e2 b226 * b228 - 6.6e2 b226 * b229 - 4.4e2 b226 * b230 - 6.7e2 b226 * b231 - 400 b226 * b232 - 4.8e2 b226 * b233 - 3.7e2 b226 * b234 - 4.9e2 b227 * b228 - 8.5e2 b227 * b229 - 90 b227 * b230 - 4.1e2 b227 * b231 - 10 b227 * b233 - 9.9e2 b227 * b234 - 5.4e2 b228 * b229 - 5.7e2 b228 * b230 - 80 b228 * b231 - 6.4e2 b228 * b232 - 9.4e2 b228 * b233 - 10 b228 * b234 - 4.7e2 b229 * b230 - 4.4e2 b229 * b231 - 500 b229 * b232 - 80 b229 * b233 - 7.7e2 b229 * b234 - 6.4e2 b230 * b231 - 7.7e2 b230 * b232 - 5.7e2 b230 * b233 - 900 b230 * b234 - 2.9e2 b231 * b232 - 8.5e2 b231 * b233 - 6.4e2 b231 * b234 - 4.7e2 b232 * b233 - 8.1e2 b232 * b234 - 3.2e2 b233 * b234 ] <= 0 e314: - 38825.8 b235 + 1.594e4 b236 + 1.263e4 b237 + 1.076e4 b238 + 1.206e4 b239 + 1.121e4 b240 + 1.221e4 b241 + 1.174e4 b242 + 9.83e3 b243 + 1.263e4 b244 + 1.293e4 b245 + 1.24e4 b246 + 1.404e4 b247 + [ - 8.5e2 b235 * b236 - 7.3e2 b235 * b237 - 6.1e2 b235 * b238 - 5.5e2 b235 * b239 - 2.5e2 b235 * b240 - 8.3e2 b235 * b241 - 1.2e2 b235 * b242 - 80 b235 * b243 - 9.5e2 b235 * b244 - 6.1e2 b235 * b245 - 3.1e2 b235 * b246 - 4.7e2 b235 * b247 - 9.5e2 b236 * b237 - 6.6e2 b236 * b238 - 6.9e2 b236 * b239 - 9.3e2 b236 * b240 - 7.4e2 b236 * b241 - 5.2e2 b236 * b242 - 700 b236 * b243 - 5.7e2 b236 * b244 - 8.5e2 b236 * b245 - 7.1e2 b236 * b246 - 400 b236 * b247 - 1.5e2 b237 * b238 - 400 b237 * b239 - 5.8e2 b237 * b240 - 20 b237 * b241 - 40 b237 * b242 - 5.6e2 b237 * b243 - 100 b237 * b244 - 3.6e2 b237 * b245 - 4.1e2 b237 * b246 - 8.3e2 b237 * b247 - 9.8e2 b238 * b239 - 4.9e2 b238 * b240 - 80 b238 * b241 - 3.3e2 b238 * b242 - 1.3e2 b238 * b243 - 6.9e2 b238 * b244 - 2.8e2 b238 * b245 - 7.4e2 b238 * b246 - 7.5e2 b239 * b240 - 2.2e2 b239 * b241 - 6.6e2 b239 * b242 - 4.4e2 b239 * b243 - 6.7e2 b239 * b244 - 400 b239 * b245 - 4.8e2 b239 * b246 - 3.7e2 b239 * b247 - 4.9e2 b240 * b241 - 8.5e2 b240 * b242 - 90 b240 * b243 - 4.1e2 b240 * b244 - 10 b240 * b246 - 9.9e2 b240 * b247 - 5.4e2 b241 * b242 - 5.7e2 b241 * b243 - 80 b241 * b244 - 6.4e2 b241 * b245 - 9.4e2 b241 * b246 - 10 b241 * b247 - 4.7e2 b242 * b243 - 4.4e2 b242 * b244 - 500 b242 * b245 - 80 b242 * b246 - 7.7e2 b242 * b247 - 6.4e2 b243 * b244 - 7.7e2 b243 * b245 - 5.7e2 b243 * b246 - 900 b243 * b247 - 2.9e2 b244 * b245 - 8.5e2 b244 * b246 - 6.4e2 b244 * b247 - 4.7e2 b245 * b246 - 8.1e2 b245 * b247 - 3.2e2 b246 * b247 ] <= 0 e315: - 35155.8 b248 + 1.263e4 b249 + 1.076e4 b250 + 1.206e4 b251 + 1.121e4 b252 + 1.221e4 b253 + 1.174e4 b254 + 9.83e3 b255 + 1.263e4 b256 + 1.293e4 b257 + 1.24e4 b258 + 1.404e4 b259 + [ - 9.5e2 b248 * b249 - 6.6e2 b248 * b250 - 6.9e2 b248 * b251 - 9.3e2 b248 * b252 - 7.4e2 b248 * b253 - 5.2e2 b248 * b254 - 700 b248 * b255 - 5.7e2 b248 * b256 - 8.5e2 b248 * b257 - 7.1e2 b248 * b258 - 400 b248 * b259 - 1.5e2 b249 * b250 - 400 b249 * b251 - 5.8e2 b249 * b252 - 20 b249 * b253 - 40 b249 * b254 - 5.6e2 b249 * b255 - 100 b249 * b256 - 3.6e2 b249 * b257 - 4.1e2 b249 * b258 - 8.3e2 b249 * b259 - 9.8e2 b250 * b251 - 4.9e2 b250 * b252 - 80 b250 * b253 - 3.3e2 b250 * b254 - 1.3e2 b250 * b255 - 6.9e2 b250 * b256 - 2.8e2 b250 * b257 - 7.4e2 b250 * b258 - 7.5e2 b251 * b252 - 2.2e2 b251 * b253 - 6.6e2 b251 * b254 - 4.4e2 b251 * b255 - 6.7e2 b251 * b256 - 400 b251 * b257 - 4.8e2 b251 * b258 - 3.7e2 b251 * b259 - 4.9e2 b252 * b253 - 8.5e2 b252 * b254 - 90 b252 * b255 - 4.1e2 b252 * b256 - 10 b252 * b258 - 9.9e2 b252 * b259 - 5.4e2 b253 * b254 - 5.7e2 b253 * b255 - 80 b253 * b256 - 6.4e2 b253 * b257 - 9.4e2 b253 * b258 - 10 b253 * b259 - 4.7e2 b254 * b255 - 4.4e2 b254 * b256 - 500 b254 * b257 - 80 b254 * b258 - 7.7e2 b254 * b259 - 6.4e2 b255 * b256 - 7.7e2 b255 * b257 - 5.7e2 b255 * b258 - 900 b255 * b259 - 2.9e2 b256 * b257 - 8.5e2 b256 * b258 - 6.4e2 b256 * b259 - 4.7e2 b257 * b258 - 8.1e2 b257 * b259 - 3.2e2 b258 * b259 ] <= 0 e316: - 38465.8 b260 + 1.076e4 b261 + 1.206e4 b262 + 1.121e4 b263 + 1.221e4 b264 + 1.174e4 b265 + 9.83e3 b266 + 1.263e4 b267 + 1.293e4 b268 + 1.24e4 b269 + 1.404e4 b270 + [ - 1.5e2 b260 * b261 - 400 b260 * b262 - 5.8e2 b260 * b263 - 20 b260 * b264 - 40 b260 * b265 - 5.6e2 b260 * b266 - 100 b260 * b267 - 3.6e2 b260 * b268 - 4.1e2 b260 * b269 - 8.3e2 b260 * b270 - 9.8e2 b261 * b262 - 4.9e2 b261 * b263 - 80 b261 * b264 - 3.3e2 b261 * b265 - 1.3e2 b261 * b266 - 6.9e2 b261 * b267 - 2.8e2 b261 * b268 - 7.4e2 b261 * b269 - 7.5e2 b262 * b263 - 2.2e2 b262 * b264 - 6.6e2 b262 * b265 - 4.4e2 b262 * b266 - 6.7e2 b262 * b267 - 400 b262 * b268 - 4.8e2 b262 * b269 - 3.7e2 b262 * b270 - 4.9e2 b263 * b264 - 8.5e2 b263 * b265 - 90 b263 * b266 - 4.1e2 b263 * b267 - 10 b263 * b269 - 9.9e2 b263 * b270 - 5.4e2 b264 * b265 - 5.7e2 b264 * b266 - 80 b264 * b267 - 6.4e2 b264 * b268 - 9.4e2 b264 * b269 - 10 b264 * b270 - 4.7e2 b265 * b266 - 4.4e2 b265 * b267 - 500 b265 * b268 - 80 b265 * b269 - 7.7e2 b265 * b270 - 6.4e2 b266 * b267 - 7.7e2 b266 * b268 - 5.7e2 b266 * b269 - 900 b266 * b270 - 2.9e2 b267 * b268 - 8.5e2 b267 * b269 - 6.4e2 b267 * b270 - 4.7e2 b268 * b269 - 8.1e2 b268 * b270 - 3.2e2 b269 * b270 ] <= 0 e317: - 40335.8 b271 + 1.206e4 b272 + 1.121e4 b273 + 1.221e4 b274 + 1.174e4 b275 + 9.83e3 b276 + 1.263e4 b277 + 1.293e4 b278 + 1.24e4 b279 + 1.404e4 b280 + [ - 9.8e2 b271 * b272 - 4.9e2 b271 * b273 - 80 b271 * b274 - 3.3e2 b271 * b275 - 1.3e2 b271 * b276 - 6.9e2 b271 * b277 - 2.8e2 b271 * b278 - 7.4e2 b271 * b279 - 7.5e2 b272 * b273 - 2.2e2 b272 * b274 - 6.6e2 b272 * b275 - 4.4e2 b272 * b276 - 6.7e2 b272 * b277 - 400 b272 * b278 - 4.8e2 b272 * b279 - 3.7e2 b272 * b280 - 4.9e2 b273 * b274 - 8.5e2 b273 * b275 - 90 b273 * b276 - 4.1e2 b273 * b277 - 10 b273 * b279 - 9.9e2 b273 * b280 - 5.4e2 b274 * b275 - 5.7e2 b274 * b276 - 80 b274 * b277 - 6.4e2 b274 * b278 - 9.4e2 b274 * b279 - 10 b274 * b280 - 4.7e2 b275 * b276 - 4.4e2 b275 * b277 - 500 b275 * b278 - 80 b275 * b279 - 7.7e2 b275 * b280 - 6.4e2 b276 * b277 - 7.7e2 b276 * b278 - 5.7e2 b276 * b279 - 900 b276 * b280 - 2.9e2 b277 * b278 - 8.5e2 b277 * b279 - 6.4e2 b277 * b280 - 4.7e2 b278 * b279 - 8.1e2 b278 * b280 - 3.2e2 b279 * b280 ] <= 0 e318: - 39035.8 b281 + 1.121e4 b282 + 1.221e4 b283 + 1.174e4 b284 + 9.83e3 b285 + 1.263e4 b286 + 1.293e4 b287 + 1.24e4 b288 + 1.404e4 b289 + [ - 7.5e2 b281 * b282 - 2.2e2 b281 * b283 - 6.6e2 b281 * b284 - 4.4e2 b281 * b285 - 6.7e2 b281 * b286 - 400 b281 * b287 - 4.8e2 b281 * b288 - 3.7e2 b281 * b289 - 4.9e2 b282 * b283 - 8.5e2 b282 * b284 - 90 b282 * b285 - 4.1e2 b282 * b286 - 10 b282 * b288 - 9.9e2 b282 * b289 - 5.4e2 b283 * b284 - 5.7e2 b283 * b285 - 80 b283 * b286 - 6.4e2 b283 * b287 - 9.4e2 b283 * b288 - 10 b283 * b289 - 4.7e2 b284 * b285 - 4.4e2 b284 * b286 - 500 b284 * b287 - 80 b284 * b288 - 7.7e2 b284 * b289 - 6.4e2 b285 * b286 - 7.7e2 b285 * b287 - 5.7e2 b285 * b288 - 900 b285 * b289 - 2.9e2 b286 * b287 - 8.5e2 b286 * b288 - 6.4e2 b286 * b289 - 4.7e2 b287 * b288 - 8.1e2 b287 * b289 - 3.2e2 b288 * b289 ] <= 0 e319: - 39885.8 b290 + 1.221e4 b291 + 1.174e4 b292 + 9.83e3 b293 + 1.263e4 b294 + 1.24e4 b295 + 1.404e4 b296 + 1.293e4 b297 + [ - 4.9e2 b290 * b291 - 8.5e2 b290 * b292 - 90 b290 * b293 - 4.1e2 b290 * b294 - 10 b290 * b295 - 9.9e2 b290 * b296 - 5.4e2 b291 * b292 - 5.7e2 b291 * b293 - 80 b291 * b294 - 9.4e2 b291 * b295 - 10 b291 * b296 - 6.4e2 b291 * b297 - 4.7e2 b292 * b293 - 4.4e2 b292 * b294 - 80 b292 * b295 - 7.7e2 b292 * b296 - 500 b292 * b297 - 6.4e2 b293 * b294 - 5.7e2 b293 * b295 - 900 b293 * b296 - 7.7e2 b293 * b297 - 8.5e2 b294 * b295 - 6.4e2 b294 * b296 - 2.9e2 b294 * b297 - 3.2e2 b295 * b296 - 4.7e2 b295 * b297 - 8.1e2 b296 * b297 ] <= 0 e320: - 38885.8 b298 + 1.174e4 b299 + 9.83e3 b300 + 1.263e4 b301 + 1.293e4 b302 + 1.24e4 b303 + 1.404e4 b304 + [ - 5.4e2 b298 * b299 - 5.7e2 b298 * b300 - 80 b298 * b301 - 6.4e2 b298 * b302 - 9.4e2 b298 * b303 - 10 b298 * b304 - 4.7e2 b299 * b300 - 4.4e2 b299 * b301 - 500 b299 * b302 - 80 b299 * b303 - 7.7e2 b299 * b304 - 6.4e2 b300 * b301 - 7.7e2 b300 * b302 - 5.7e2 b300 * b303 - 900 b300 * b304 - 2.9e2 b301 * b302 - 8.5e2 b301 * b303 - 6.4e2 b301 * b304 - 4.7e2 b302 * b303 - 8.1e2 b302 * b304 - 3.2e2 b303 * b304 ] <= 0 e321: - 39355.8 b305 + 9.83e3 b306 + 1.263e4 b307 + 1.293e4 b308 + 1.24e4 b309 + 1.404e4 b310 + [ - 4.7e2 b305 * b306 - 4.4e2 b305 * b307 - 500 b305 * b308 - 80 b305 * b309 - 7.7e2 b305 * b310 - 6.4e2 b306 * b307 - 7.7e2 b306 * b308 - 5.7e2 b306 * b309 - 900 b306 * b310 - 2.9e2 b307 * b308 - 8.5e2 b307 * b309 - 6.4e2 b307 * b310 - 4.7e2 b308 * b309 - 8.1e2 b308 * b310 - 3.2e2 b309 * b310 ] <= 0 e322: - 41265.8 b311 + 1.263e4 b312 + 1.293e4 b313 + 1.24e4 b314 + 1.404e4 b315 + [ - 6.4e2 b311 * b312 - 7.7e2 b311 * b313 - 5.7e2 b311 * b314 - 900 b311 * b315 - 2.9e2 b312 * b313 - 8.5e2 b312 * b314 - 6.4e2 b312 * b315 - 4.7e2 b313 * b314 - 8.1e2 b313 * b315 - 3.2e2 b314 * b315 ] <= 0 e323: - 38465.8 b316 + 1.293e4 b317 + 1.24e4 b318 + 1.404e4 b319 + [ - 2.9e2 b316 * b317 - 8.5e2 b316 * b318 - 6.4e2 b316 * b319 - 4.7e2 b317 * b318 - 8.1e2 b317 * b319 - 3.2e2 b318 * b319 ] <= 0 e324: - 38165.8 b320 + 1.24e4 b321 + 1.404e4 b322 + [ - 4.7e2 b320 * b321 - 8.1e2 b320 * b322 - 3.2e2 b321 * b322 ] <= 0 e325: - 38695.8 b323 + 1.404e4 b324 + [ - 3.2e2 b323 * b324 ] <= 0 Binary b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 b102 b103 b104 b105 b106 b107 b108 b109 b110 b111 b112 b113 b114 b115 b116 b117 b118 b119 b120 b121 b122 b123 b124 b125 b126 b127 b128 b129 b130 b131 b132 b133 b134 b135 b136 b137 b138 b139 b140 b141 b142 b143 b144 b145 b146 b147 b148 b149 b150 b151 b152 b153 b154 b155 b156 b157 b158 b159 b160 b161 b162 b163 b164 b165 b166 b167 b168 b169 b170 b171 b172 b173 b174 b175 b176 b177 b178 b179 b180 b181 b182 b183 b184 b185 b186 b187 b188 b189 b190 b191 b192 b193 b194 b195 b196 b197 b198 b199 b200 b201 b202 b203 b204 b205 b206 b207 b208 b209 b210 b211 b212 b213 b214 b215 b216 b217 b218 b219 b220 b221 b222 b223 b224 b225 b226 b227 b228 b229 b230 b231 b232 b233 b234 b235 b236 b237 b238 b239 b240 b241 b242 b243 b244 b245 b246 b247 b248 b249 b250 b251 b252 b253 b254 b255 b256 b257 b258 b259 b260 b261 b262 b263 b264 b265 b266 b267 b268 b269 b270 b271 b272 b273 b274 b275 b276 b277 b278 b279 b280 b281 b282 b283 b284 b285 b286 b287 b288 b289 b290 b291 b292 b293 b294 b295 b296 b297 b298 b299 b300 b301 b302 b303 b304 b305 b306 b307 b308 b309 b310 b311 b312 b313 b314 b315 b316 b317 b318 b319 b320 b321 b322 b323 b324 b325 End