\ Equation counts \ Total E G L N X C B \ 1 0 0 1 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 326 1 325 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 327 2 325 0 \ Maximize obj: 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 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 + objvar Subject To e1: - 2 b1 - 2 b2 - 2 b3 - 2 b4 - 2 b5 - 2 b6 - 2 b7 - 4 b8 - 2 b9 - 2 b10 - 4 b11 - 2 b12 - 2 b13 - 2 b14 - 2 b15 - 2 b16 - 2 b17 - 2 b18 + 2 b19 - 2 b20 - 2 b21 - 2 b22 - 2 b23 - 2 b24 - 2 b25 - 2 b26 - 2 b27 - 2 b28 - 2 b29 - 2 b30 - 2 b31 - 4 b32 - 2 b33 + 2 b34 - 2 b35 - 2 b36 - 2 b37 - 4 b38 - 4 b39 - 4 b40 - 4 b41 - 2 b42 - 4 b43 - 2 b44 - 2 b45 - 2 b46 - 2 b47 - 2 b48 - 4 b49 - 4 b50 - 2 b51 - 4 b52 - 4 b53 - 2 b54 - 4 b55 - 4 b56 - 4 b57 - 2 b58 - 2 b59 - 2 b60 - 2 b61 - 2 b62 - 2 b63 - 4 b64 - 2 b65 - 2 b66 - 4 b67 - 2 b68 - 2 b69 - 4 b70 - 2 b71 - 4 b72 - 4 b73 - 4 b74 - 2 b75 - 2 b76 - 2 b77 - 2 b78 - 2 b79 - 2 b80 - 2 b81 + 2 b82 - 4 b83 - 2 b84 - 4 b85 - 4 b86 - 2 b87 + 2 b88 - 4 b89 - 2 b90 - 4 b91 - 4 b92 - 4 b93 - 2 b94 - 2 b95 - 2 b96 - 2 b97 - 2 b98 - 2 b99 - 2 b100 - 4 b101 - 2 b102 - 2 b103 + 2 b104 + 2 b105 - 2 b106 - 4 b107 - 2 b108 - 4 b109 - 4 b110 - 2 b111 - 4 b112 - 4 b113 - 2 b114 - 2 b115 - 2 b116 - 2 b117 - 2 b118 - 2 b119 + 2 b120 - 2 b121 - 2 b122 - 2 b123 + 4 b124 + 2 b125 + 2 b126 - 4 b127 - 4 b128 - 4 b129 - 4 b130 - 4 b131 - 4 b132 + 2 b133 - 2 b134 - 4 b135 - 2 b136 - 4 b137 - 2 b138 - 2 b139 - 2 b140 - 2 b141 - 2 b142 - 2 b143 - 2 b144 + 2 b145 - 2 b146 - 2 b147 - 2 b148 - 2 b149 - 2 b150 + 2 b151 + 4 b152 - 2 b153 + 2 b154 - 4 b155 - 2 b156 - 4 b157 - 4 b158 - 2 b159 - 4 b160 + 2 b161 - 2 b162 - 4 b163 - 4 b164 - 2 b165 + 2 b166 - 2 b167 + 2 b168 + 2 b169 - 4 b170 + 4 b171 - 4 b172 - 2 b173 - 2 b174 - 2 b175 - 2 b176 + 2 b177 + 4 b178 - 2 b179 + 4 b180 - 4 b181 - 2 b182 - 2 b183 - 4 b184 - 4 b185 - 4 b186 - 4 b187 + 2 b188 - 2 b189 - 2 b190 - 2 b191 - 2 b192 - 2 b193 - 2 b194 - 2 b195 + 2 b196 - 2 b197 + 2 b198 + 2 b199 - 2 b200 - 2 b201 - 4 b202 + 2 b203 - 4 b204 + 2 b205 - 2 b206 - 2 b207 - 2 b208 + 2 b209 - 2 b210 + 2 b211 - 4 b212 - 2 b213 - 2 b214 - 2 b215 - 4 b216 - 4 b217 - 4 b218 - 4 b219 + 2 b220 - 4 b221 + 2 b222 - 2 b223 - 2 b224 - 2 b225 - 2 b226 - 2 b227 - 2 b228 + objvar + [ 2 b1 * b2 + 2 b1 * b136 + 2 b1 * b232 - 2 b1 * b236 + 2 b2 * b89 - 2 b2 * b133 + 2 b2 * b233 + 2 b3 * b14 + 2 b3 * b59 - 2 b3 * b243 + 2 b3 * b260 + 2 b4 * b78 + 2 b4 * b201 - 2 b4 * b255 + 2 b4 * b256 - 2 b5 * b34 + 2 b5 * b35 + 2 b5 * b76 + 2 b5 * b248 + 2 b6 * b201 + 2 b6 * b240 - 2 b6 * b261 + 2 b6 * b262 + 2 b7 * b62 - 2 b7 * b169 + 2 b7 * b235 + 2 b7 * b240 + 2 b8 * b11 + 2 b8 * b15 + 2 b8 * b249 + 2 b8 * b275 + 2 b9 * b63 + 2 b9 * b79 - 2 b9 * b199 + 2 b9 * b235 - 2 b10 * b145 + 2 b10 * b149 + 2 b10 * b172 + 2 b10 * b252 + 2 b11 * b63 + 2 b11 * b97 + 2 b11 * b241 + 2 b12 * b122 - 2 b12 * b171 + 2 b12 * b204 + 2 b12 * b245 + 2 b13 * b17 + 2 b13 * b228 + 2 b14 * b15 + 2 b14 * b60 - 2 b14 * b283 + 2 b15 * b35 - 2 b15 * b169 + 2 b16 * b83 + 2 b16 * b106 - 2 b16 * b180 + 2 b16 * b273 + 2 b17 * b18 - 2 b17 * b42 + 2 b17 * b56 + 2 b18 * b22 - 2 b19 * b197 - 2 b19 * b199 - 2 b19 * b260 + 2 b19 * b261 + 2 b20 * b107 + 2 b20 * b127 - 2 b20 * b211 + 2 b20 * b277 + 2 b21 * b30 + 2 b21 * b40 - 2 b21 * b68 + 2 b21 * b107 + 2 b22 * b23 - 2 b22 * b31 + 2 b22 * b73 + 2 b23 * b26 + 2 b24 * b68 + 2 b24 * b128 + 2 b24 * b155 - 2 b24 * b281 + 2 b25 * b40 + 2 b25 * b53 + 2 b25 * b128 - 2 b25 * b277 + 2 b26 * b27 + 2 b26 * b92 - 2 b26 * b288 + 2 b27 * b32 + 2 b28 * b83 + 2 b28 * b156 + 2 b28 * b181 - 2 b28 * b284 + 2 b29 * b53 + 2 b29 * b70 + 2 b29 * b156 - 2 b29 * b273 + 2 b30 * b216 - 2 b30 * b220 + 2 b30 * b282 + 2 b31 * b43 + 2 b31 * b55 + 2 b31 * b291 + 2 b32 * b33 + 2 b32 * b113 + 2 b32 * b288 + 2 b33 * b43 - 2 b34 * b295 + 2 b35 * b96 - 2 b35 * b142 + 2 b36 * b37 + 2 b36 * b47 + 2 b36 * b101 - 2 b36 * b257 + 2 b37 * b48 + 2 b37 * b66 - 2 b37 * b123 + 2 b38 * b107 + 2 b38 * b182 + 2 b38 * b212 + 2 b38 * b284 + 2 b39 * b70 + 2 b39 * b85 + 2 b39 * b182 + 2 b39 * b273 + 2 b40 * b86 + 2 b40 * b278 + 2 b41 * b42 + 2 b41 * b288 + 2 b41 * b294 + 2 b41 * b299 + 2 b42 * b57 + 2 b42 * b72 + 2 b43 * b44 + 2 b43 * b137 + 2 b44 * b57 + 2 b45 * b95 + 2 b45 * b237 + 2 b46 * b248 + 2 b46 * b261 + 2 b46 * b262 - 2 b46 * b285 + 2 b47 * b49 + 2 b47 * b122 - 2 b47 * b152 + 2 b48 * b50 + 2 b48 * b230 - 2 b48 * b272 + 2 b49 * b50 + 2 b49 * b267 + 2 b49 * b292 + 2 b50 * b154 + 2 b50 * b229 + 2 b51 * b128 + 2 b51 * b214 - 2 b51 * b229 + 2 b51 * b281 + 2 b52 * b85 + 2 b52 * b109 + 2 b52 * b214 + 2 b52 * b277 + 2 b53 * b220 + 2 b53 * b274 + 2 b54 * b55 + 2 b54 * b223 + 2 b54 * b291 - 2 b54 * b303 + 2 b55 * b56 + 2 b55 * b90 + 2 b56 * b74 + 2 b56 * b91 + 2 b57 * b58 + 2 b57 * b226 + 2 b58 * b74 + 2 b59 * b116 + 2 b60 * b140 - 2 b60 * b166 + 2 b60 * b243 + 2 b61 * b62 + 2 b61 * b254 + 2 b61 * b255 - 2 b61 * b289 + 2 b62 * b80 - 2 b62 * b305 - 2 b63 * b145 + 2 b63 * b234 + 2 b64 * b80 + 2 b64 * b100 + 2 b64 * b145 + 2 b64 * b249 + 2 b65 * b67 + 2 b65 * b102 - 2 b65 * b178 + 2 b65 * b252 + 2 b66 * b251 + 2 b66 * b264 - 2 b66 * b296 + 2 b67 * b230 + 2 b67 * b290 + 2 b67 * b296 + 2 b68 * b69 + 2 b68 * b268 + 2 b69 * b109 + 2 b69 * b131 - 2 b69 * b215 + 2 b70 * b270 + 2 b70 * b282 + 2 b71 * b86 + 2 b71 * b231 + 2 b71 * b247 - 2 b71 * b299 + 2 b72 * b73 + 2 b72 * b111 + 2 b72 * b299 + 2 b73 * b93 + 2 b73 * b112 + 2 b74 * b75 + 2 b74 * b193 + 2 b75 * b93 + 2 b76 * b141 + 2 b77 * b79 - 2 b77 * b166 + 2 b77 * b250 + 2 b77 * b260 + 2 b78 * b96 - 2 b78 * b98 + 2 b78 * b283 + 2 b79 * b98 - 2 b79 * b168 + 2 b80 * b81 - 2 b80 * b262 + 2 b81 * b98 + 2 b81 * b120 - 2 b81 * b171 - 2 b82 * b211 - 2 b82 * b259 + 2 b82 * b269 - 2 b82 * b310 + 2 b83 * b84 + 2 b83 * b216 + 2 b84 * b131 + 2 b84 * b158 - 2 b84 * b183 + 2 b85 * b87 + 2 b85 * b278 + 2 b86 * b89 + 2 b86 * b219 + 2 b87 * b89 + 2 b87 * b158 - 2 b87 * b222 - 2 b88 * b90 - 2 b88 * b220 - 2 b88 * b231 + 2 b88 * b242 + 2 b89 * b90 + 2 b90 * b91 + 2 b91 * b92 + 2 b91 * b134 + 2 b92 * b114 + 2 b92 * b135 + 2 b93 * b94 + 2 b93 * b227 + 2 b94 * b114 + 2 b95 * b196 + 2 b95 * b285 - 2 b95 * b300 + 2 b96 * b97 - 2 b96 * b196 + 2 b97 * b118 - 2 b97 * b198 + 2 b98 * b99 + 2 b99 * b118 - 2 b99 * b203 + 2 b99 * b266 + 2 b100 * b101 - 2 b100 * b144 + 2 b100 * b173 + 2 b101 * b103 + 2 b101 * b266 + 2 b102 * b147 - 2 b102 * b177 + 2 b102 * b271 + 2 b103 * b174 + 2 b103 * b177 - 2 b103 * b292 - 2 b104 * b105 - 2 b104 * b244 + 2 b104 * b253 - 2 b104 * b290 + 2 b105 * b106 - 2 b105 * b281 - 2 b105 * b314 - 2 b106 * b253 + 2 b106 * b315 + 2 b107 * b108 + 2 b108 * b158 + 2 b108 * b185 - 2 b108 * b316 + 2 b109 * b110 + 2 b109 * b274 + 2 b110 * b185 + 2 b110 * b222 + 2 b110 * b307 + 2 b111 * b112 - 2 b111 * b246 + 2 b111 * b307 + 2 b112 * b113 + 2 b112 * b162 + 2 b113 * b138 + 2 b113 * b163 + 2 b114 * b115 - 2 b114 * b136 + 2 b115 * b138 + 2 b116 * b117 + 2 b116 * b166 - 2 b116 * b304 + 2 b117 * b194 + 2 b117 * b198 - 2 b117 * b283 + 2 b118 * b119 - 2 b118 * b250 + 2 b119 * b121 - 2 b119 * b286 + 2 b119 * b318 - 2 b120 * b235 - 2 b120 * b257 - 2 b120 * b309 - 2 b121 * b201 + 2 b121 * b263 + 2 b121 * b309 - 2 b122 * b151 + 2 b122 * b173 + 2 b123 * b151 + 2 b123 * b206 + 2 b123 * b309 - 2 b124 * b125 - 2 b124 * b251 - 2 b124 * b253 - 2 b124 * b287 + 2 b125 * b127 - 2 b125 * b284 - 2 b125 * b320 - 2 b126 * b213 - 2 b126 * b264 - 2 b126 * b265 + 2 b126 * b296 + 2 b127 * b213 + 2 b127 * b253 + 2 b128 * b130 + 2 b129 * b130 + 2 b129 * b213 + 2 b129 * b216 + 2 b129 * b265 + 2 b130 * b185 + 2 b130 * b218 + 2 b131 * b132 + 2 b131 * b270 + 2 b132 * b188 + 2 b132 * b218 + 2 b132 * b303 - 2 b133 * b134 + 2 b133 * b187 - 2 b133 * b278 + 2 b134 * b135 + 2 b134 * b303 + 2 b135 * b137 + 2 b135 * b190 + 2 b136 * b164 + 2 b136 * b191 + 2 b137 * b164 + 2 b137 * b192 + 2 b138 * b139 - 2 b138 * b232 + 2 b139 * b164 + 2 b140 * b142 + 2 b141 * b143 + 2 b141 * b289 - 2 b141 * b308 + 2 b142 * b143 + 2 b142 * b308 + 2 b143 * b168 - 2 b143 * b279 + 2 b144 * b146 + 2 b144 * b318 + 2 b144 * b321 - 2 b145 * b148 + 2 b146 * b148 - 2 b146 * b256 + 2 b146 * b257 - 2 b147 * b150 + 2 b147 * b239 + 2 b147 * b286 + 2 b148 * b150 + 2 b148 * b306 + 2 b149 * b205 + 2 b149 * b251 - 2 b149 * b276 + 2 b150 * b276 + 2 b150 * b292 - 2 b151 * b178 - 2 b151 * b320 - 2 b152 * b153 - 2 b152 * b177 - 2 b152 * b258 + 2 b153 * b155 + 2 b153 * b284 + 2 b153 * b320 - 2 b154 * b267 - 2 b154 * b268 - 2 b154 * b302 + 2 b155 * b258 + 2 b155 * b302 + 2 b156 * b157 - 2 b156 * b293 + 2 b157 * b159 + 2 b157 * b218 + 2 b157 * b316 + 2 b158 * b160 + 2 b159 * b160 + 2 b159 * b184 - 2 b159 * b231 + 2 b160 * b161 + 2 b160 * b298 - 2 b161 * b162 - 2 b161 * b236 - 2 b161 * b274 + 2 b162 * b163 + 2 b162 * b298 + 2 b163 * b224 + 2 b163 * b226 + 2 b164 * b323 + 2 b165 * b167 - 2 b165 * b260 + 2 b165 * b304 + 2 b165 * b317 - 2 b166 * b305 - 2 b167 * b275 + 2 b167 * b305 + 2 b167 * b311 - 2 b168 * b289 - 2 b168 * b322 - 2 b169 * b200 + 2 b169 * b283 + 2 b170 * b172 + 2 b170 * b200 + 2 b170 * b286 + 2 b170 * b321 - 2 b171 * b174 - 2 b171 * b241 + 2 b172 * b174 + 2 b172 * b256 - 2 b173 * b176 + 2 b173 * b234 + 2 b174 * b176 + 2 b175 * b244 + 2 b175 * b257 + 2 b175 * b271 - 2 b175 * b272 + 2 b176 * b272 + 2 b176 * b290 - 2 b177 * b314 - 2 b178 * b179 - 2 b178 * b264 + 2 b179 * b181 + 2 b179 * b281 + 2 b179 * b314 - 2 b180 * b230 - 2 b180 * b296 - 2 b180 * b297 + 2 b181 * b264 + 2 b181 * b297 + 2 b182 * b184 - 2 b182 * b297 + 2 b183 * b184 + 2 b183 * b297 + 2 b183 * b315 + 2 b184 * b186 + 2 b185 * b187 + 2 b186 * b187 + 2 b186 * b217 + 2 b186 * b231 + 2 b187 * b189 - 2 b188 * b190 - 2 b188 * b242 - 2 b188 * b270 + 2 b189 * b190 - 2 b189 * b282 + 2 b189 * b294 + 2 b190 * b192 - 2 b191 * b193 + 2 b191 * b236 + 2 b191 * b247 + 2 b192 * b193 - 2 b192 * b247 + 2 b193 * b228 + 2 b194 * b197 + 2 b194 * b312 - 2 b194 * b317 + 2 b195 * b197 - 2 b195 * b254 + 2 b195 * b300 + 2 b195 * b313 - 2 b196 * b295 - 2 b196 * b301 + 2 b197 * b301 - 2 b198 * b285 - 2 b198 * b319 + 2 b199 * b279 - 2 b199 * b280 + 2 b200 * b202 + 2 b200 * b322 + 2 b201 * b204 + 2 b202 * b203 + 2 b202 * b204 + 2 b202 * b280 - 2 b203 * b206 - 2 b203 * b271 + 2 b204 * b206 - 2 b205 * b207 - 2 b205 * b234 - 2 b205 * b286 + 2 b206 * b207 + 2 b207 * b208 + 2 b207 * b287 + 2 b208 * b209 - 2 b208 * b245 + 2 b208 * b310 - 2 b209 * b210 - 2 b209 * b267 - 2 b209 * b276 + 2 b210 * b211 + 2 b210 * b212 + 2 b210 * b310 - 2 b211 * b293 + 2 b212 * b267 + 2 b212 * b293 + 2 b213 * b215 + 2 b214 * b217 - 2 b214 * b302 + 2 b215 * b217 + 2 b215 * b293 + 2 b216 * b219 + 2 b217 * b219 + 2 b218 * b221 + 2 b219 * b221 - 2 b220 * b223 + 2 b221 * b223 + 2 b221 * b246 - 2 b222 * b224 - 2 b222 * b247 + 2 b223 * b224 + 2 b224 * b225 + 2 b225 * b226 + 2 b225 * b227 - 2 b225 * b242 - 2 b226 * b324 - 2 b227 * b233 + 2 b227 * b324 + 2 b228 * b232 - 2 b228 * b325 - 2 b229 * b230 + 2 b229 * b265 - 2 b232 * b233 + 2 b233 * b242 - 2 b234 * b235 + 2 b236 * b246 - 2 b237 * b238 - 2 b237 * b248 + 2 b237 * b254 + 2 b238 * b295 - 2 b239 * b240 + 2 b239 * b241 - 2 b239 * b271 - 2 b240 * b266 - 2 b241 * b280 - 2 b244 * b245 + 2 b244 * b259 + 2 b245 * b263 - 2 b246 * b282 - 2 b248 * b279 - 2 b249 * b250 - 2 b249 * b256 + 2 b250 * b279 - 2 b251 * b252 - 2 b252 * b263 - 2 b254 * b275 + 2 b255 * b275 - 2 b255 * b318 + 2 b258 * b259 - 2 b258 * b269 - 2 b259 * b292 - 2 b261 * b321 - 2 b262 * b301 - 2 b263 * b266 - 2 b265 * b277 + 2 b268 * b269 - 2 b268 * b273 - 2 b269 * b315 - 2 b270 * b307 + 2 b272 * b314 - 2 b274 * b303 + 2 b276 * b320 - 2 b278 * b298 + 2 b280 * b319 + 2 b285 * b311 + 2 b287 * b306 - 2 b287 * b310 - 2 b288 * b291 + 2 b289 * b295 - 2 b290 * b306 - 2 b291 * b294 - 2 b294 * b298 - 2 b299 * b307 + 2 b301 * b319 + 2 b302 * b316 + 2 b305 * b322 - 2 b306 * b309 - 2 b311 * b312 - 2 b311 * b313 - 2 b315 * b316 - 2 b318 * b319 - 2 b321 * b322 - 2 b323 * b324 + 2 b324 * b325 ] <= 0 Bounds objvar Free Binary b1 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