\ Equation counts \ Total E G L N X C B \ 893 32 370 491 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 360 72 216 72 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 4917 4159 758 0 \ Minimize obj: x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + 0 i26 + 0 i27 + 0 i28 + 0 i29 + 0 i30 + 0 i31 + 0 i32 + 0 i33 + 0 i34 + 0 i35 + 0 i36 + 0 i37 + 0 i38 + 0 i39 + 0 i40 + 0 i41 + 0 i42 + 0 i43 + 0 i44 + 0 i45 + 0 i46 + 0 i47 + 0 i48 + 0 i49 + 0 i50 + 0 i51 + 0 i52 + 0 i53 + 0 i54 + 0 i55 + 0 i56 + 0 i57 + 0 i58 + 0 i59 + 0 i60 + 0 i61 + 0 i62 + 0 i63 + 0 i64 + 0 i65 + 0 i66 + 0 i67 + 0 i68 + 0 i69 + 0 i70 + 0 i71 + 0 i72 + 0 i73 + 0 i74 + 0 i75 + 0 i76 + 0 i77 + 0 i78 + 0 i79 + 0 i80 + 0 i81 + 0 i82 + 0 i83 + 0 i84 + 0 i85 + 0 i86 + 0 i87 + 0 i88 + 0 i89 + 0 i90 + 0 i91 + 0 i92 + 0 i93 + 0 i94 + 0 i95 + 0 i96 + 0 i97 + 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 + 10 x242 + 10 x243 + 10 x244 + 10 x245 + 10 x246 + 10 x247 + 10 x248 + 10 x249 + 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 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 Subject To e2: i26 + i34 + i42 + i50 + i58 + i66 + i74 + i82 + i90 <= 4 e3: i27 + i35 + i43 + i51 + i59 + i67 + i75 + i83 + i91 <= 4 e4: i28 + i36 + i44 + i52 + i60 + i68 + i76 + i84 + i92 <= 4 e5: i29 + i37 + i45 + i53 + i61 + i69 + i77 + i85 + i93 <= 4 e6: i30 + i38 + i46 + i54 + i62 + i70 + i78 + i86 + i94 <= 4 e7: i31 + i39 + i47 + i55 + i63 + i71 + i79 + i87 + i95 <= 4 e8: i32 + i40 + i48 + i56 + i64 + i72 + i80 + i88 + i96 <= 4 e9: i33 + i41 + i49 + i57 + i65 + i73 + i81 + i89 + i97 <= 4 e10: x2 - .1287 x330 + .1287 x354 >= 0 e11: x3 - .19305 x331 + .19305 x354 >= 0 e12: x4 - .1287 x332 + .1287 x354 >= 0 e13: x5 - .1287 x333 + .1287 x355 >= 0 e14: x6 - .19305 x334 + .19305 x355 >= 0 e15: x7 - .1287 x335 + .1287 x355 >= 0 e16: x8 - .1287 x336 + .1287 x356 >= 0 e17: x9 - .19305 x337 + .19305 x356 >= 0 e18: x10 - .1287 x338 + .1287 x356 >= 0 e19: x11 - .1725 x339 + .1725 x357 >= 0 e20: x12 - .22815 x340 + .22815 x357 >= 0 e21: x13 - .1521 x341 + .1521 x357 >= 0 e22: x14 - .1725 x342 + .1725 x358 >= 0 e23: x15 - .22815 x343 + .22815 x358 >= 0 e24: x16 - .1521 x344 + .1521 x358 >= 0 e25: x17 - .1725 x345 + .1725 x359 >= 0 e26: x18 - .22815 x346 + .22815 x359 >= 0 e27: x19 - .1521 x347 + .1521 x359 >= 0 e28: x20 - .1521 x348 + .1521 x360 >= 0 e29: x21 - .19305 x349 + .19305 x360 >= 0 e30: x22 - .1521 x350 + .1521 x360 >= 0 e31: x23 - .1521 x351 + .1521 x361 >= 0 e32: x24 - .19305 x352 + .19305 x361 >= 0 e33: x25 - .1521 x353 + .1521 x361 >= 0 e34: b250 + b258 + b266 + b274 + b282 + b290 + b298 + b306 + b314 <= 2 e35: b251 + b259 + b267 + b275 + b283 + b291 + b299 + b307 + b315 <= 2 e36: b252 + b260 + b268 + b276 + b284 + b292 + b300 + b308 + b316 <= 2 e37: b253 + b261 + b269 + b277 + b285 + b293 + b301 + b309 + b317 <= 2 e38: b254 + b262 + b270 + b278 + b286 + b294 + b302 + b310 + b318 <= 2 e39: b255 + b263 + b271 + b279 + b287 + b295 + b303 + b311 + b319 <= 2 e40: b256 + b264 + b272 + b280 + b288 + b296 + b304 + b312 + b320 <= 2 e41: b257 + b265 + b273 + b281 + b289 + b297 + b305 + b313 + b321 <= 2 e42: b250 + b266 <= 1 e43: b250 + b274 <= 1 e44: b250 + b282 <= 1 e45: b250 + b306 <= 1 e46: b250 + b314 <= 1 e47: b258 + b266 <= 1 e48: b258 + b274 <= 1 e49: b258 + b282 <= 1 e50: b258 + b306 <= 1 e51: b258 + b314 <= 1 e52: b266 + b282 <= 1 e53: b266 + b290 <= 1 e54: b266 + b298 <= 1 e55: b266 + b314 <= 1 e56: b274 + b282 <= 1 e57: b274 + b290 <= 1 e58: b274 + b298 <= 1 e59: b274 + b314 <= 1 e60: b282 + b290 <= 1 e61: b282 + b298 <= 1 e62: b282 + b306 <= 1 e63: b282 + b314 <= 1 e64: b290 + b306 <= 1 e65: b290 + b314 <= 1 e66: b298 + b306 <= 1 e67: b298 + b314 <= 1 e68: b306 + b314 <= 1 e69: b251 + b267 <= 1 e70: b251 + b275 <= 1 e71: b251 + b283 <= 1 e72: b251 + b307 <= 1 e73: b251 + b315 <= 1 e74: b259 + b267 <= 1 e75: b259 + b275 <= 1 e76: b259 + b283 <= 1 e77: b259 + b307 <= 1 e78: b259 + b315 <= 1 e79: b267 + b283 <= 1 e80: b267 + b291 <= 1 e81: b267 + b299 <= 1 e82: b267 + b315 <= 1 e83: b275 + b283 <= 1 e84: b275 + b291 <= 1 e85: b275 + b299 <= 1 e86: b275 + b315 <= 1 e87: b283 + b291 <= 1 e88: b283 + b299 <= 1 e89: b283 + b307 <= 1 e90: b283 + b315 <= 1 e91: b291 + b307 <= 1 e92: b291 + b315 <= 1 e93: b299 + b307 <= 1 e94: b299 + b315 <= 1 e95: b307 + b315 <= 1 e96: b252 + b268 <= 1 e97: b252 + b276 <= 1 e98: b252 + b284 <= 1 e99: b252 + b308 <= 1 e100: b252 + b316 <= 1 e101: b260 + b268 <= 1 e102: b260 + b276 <= 1 e103: b260 + b284 <= 1 e104: b260 + b308 <= 1 e105: b260 + b316 <= 1 e106: b268 + b284 <= 1 e107: b268 + b292 <= 1 e108: b268 + b300 <= 1 e109: b268 + b316 <= 1 e110: b276 + b284 <= 1 e111: b276 + b292 <= 1 e112: b276 + b300 <= 1 e113: b276 + b316 <= 1 e114: b284 + b292 <= 1 e115: b284 + b300 <= 1 e116: b284 + b308 <= 1 e117: b284 + b316 <= 1 e118: b292 + b308 <= 1 e119: b292 + b316 <= 1 e120: b300 + b308 <= 1 e121: b300 + b316 <= 1 e122: b308 + b316 <= 1 e123: b253 + b269 <= 1 e124: b253 + b277 <= 1 e125: b253 + b285 <= 1 e126: b253 + b309 <= 1 e127: b253 + b317 <= 1 e128: b261 + b269 <= 1 e129: b261 + b277 <= 1 e130: b261 + b285 <= 1 e131: b261 + b309 <= 1 e132: b261 + b317 <= 1 e133: b269 + b285 <= 1 e134: b269 + b293 <= 1 e135: b269 + b301 <= 1 e136: b269 + b317 <= 1 e137: b277 + b285 <= 1 e138: b277 + b293 <= 1 e139: b277 + b301 <= 1 e140: b277 + b317 <= 1 e141: b285 + b293 <= 1 e142: b285 + b301 <= 1 e143: b285 + b309 <= 1 e144: b285 + b317 <= 1 e145: b293 + b309 <= 1 e146: b293 + b317 <= 1 e147: b301 + b309 <= 1 e148: b301 + b317 <= 1 e149: b309 + b317 <= 1 e150: b254 + b270 <= 1 e151: b254 + b278 <= 1 e152: b254 + b286 <= 1 e153: b254 + b310 <= 1 e154: b254 + b318 <= 1 e155: b262 + b270 <= 1 e156: b262 + b278 <= 1 e157: b262 + b286 <= 1 e158: b262 + b310 <= 1 e159: b262 + b318 <= 1 e160: b270 + b286 <= 1 e161: b270 + b294 <= 1 e162: b270 + b302 <= 1 e163: b270 + b318 <= 1 e164: b278 + b286 <= 1 e165: b278 + b294 <= 1 e166: b278 + b302 <= 1 e167: b278 + b318 <= 1 e168: b286 + b294 <= 1 e169: b286 + b302 <= 1 e170: b286 + b310 <= 1 e171: b286 + b318 <= 1 e172: b294 + b310 <= 1 e173: b294 + b318 <= 1 e174: b302 + b310 <= 1 e175: b302 + b318 <= 1 e176: b310 + b318 <= 1 e177: b255 + b271 <= 1 e178: b255 + b279 <= 1 e179: b255 + b287 <= 1 e180: b255 + b311 <= 1 e181: b255 + b319 <= 1 e182: b263 + b271 <= 1 e183: b263 + b279 <= 1 e184: b263 + b287 <= 1 e185: b263 + b311 <= 1 e186: b263 + b319 <= 1 e187: b271 + b287 <= 1 e188: b271 + b295 <= 1 e189: b271 + b303 <= 1 e190: b271 + b319 <= 1 e191: b279 + b287 <= 1 e192: b279 + b295 <= 1 e193: b279 + b303 <= 1 e194: b279 + b319 <= 1 e195: b287 + b295 <= 1 e196: b287 + b303 <= 1 e197: b287 + b311 <= 1 e198: b287 + b319 <= 1 e199: b295 + b311 <= 1 e200: b295 + b319 <= 1 e201: b303 + b311 <= 1 e202: b303 + b319 <= 1 e203: b311 + b319 <= 1 e204: b256 + b272 <= 1 e205: b256 + b280 <= 1 e206: b256 + b288 <= 1 e207: b256 + b312 <= 1 e208: b256 + b320 <= 1 e209: b264 + b272 <= 1 e210: b264 + b280 <= 1 e211: b264 + b288 <= 1 e212: b264 + b312 <= 1 e213: b264 + b320 <= 1 e214: b272 + b288 <= 1 e215: b272 + b296 <= 1 e216: b272 + b304 <= 1 e217: b272 + b320 <= 1 e218: b280 + b288 <= 1 e219: b280 + b296 <= 1 e220: b280 + b304 <= 1 e221: b280 + b320 <= 1 e222: b288 + b296 <= 1 e223: b288 + b304 <= 1 e224: b288 + b312 <= 1 e225: b288 + b320 <= 1 e226: b296 + b312 <= 1 e227: b296 + b320 <= 1 e228: b304 + b312 <= 1 e229: b304 + b320 <= 1 e230: b312 + b320 <= 1 e231: b257 + b273 <= 1 e232: b257 + b281 <= 1 e233: b257 + b289 <= 1 e234: b257 + b313 <= 1 e235: b257 + b321 <= 1 e236: b265 + b273 <= 1 e237: b265 + b281 <= 1 e238: b265 + b289 <= 1 e239: b265 + b313 <= 1 e240: b265 + b321 <= 1 e241: b273 + b289 <= 1 e242: b273 + b297 <= 1 e243: b273 + b305 <= 1 e244: b273 + b321 <= 1 e245: b281 + b289 <= 1 e246: b281 + b297 <= 1 e247: b281 + b305 <= 1 e248: b281 + b321 <= 1 e249: b289 + b297 <= 1 e250: b289 + b305 <= 1 e251: b289 + b313 <= 1 e252: b289 + b321 <= 1 e253: b297 + b313 <= 1 e254: b297 + b321 <= 1 e255: b305 + b313 <= 1 e256: b305 + b321 <= 1 e257: b313 + b321 <= 1 e258: b266 + b274 + b282 + b306 + b314 <= 0 e259: b267 + b275 + b283 + b307 + b315 <= 0 e260: b268 + b276 + b284 + b308 + b316 <= 0 e261: b253 + b261 + b285 + b293 + b301 + b317 <= 0 e262: b254 + b262 + b286 + b294 + b302 + b318 <= 0 e263: b255 + b263 + b287 + b295 + b303 + b319 <= 0 e264: b256 + b264 + b272 + b280 + b296 + b304 + b312 <= 0 e265: b257 + b265 + b273 + b281 + b297 + b305 + b313 <= 0 e266: - 3.3e2 i26 - 2.6e2 i34 - 4.8e2 i42 - 4.4e2 i50 - 711 i58 - 3.5e2 i66 - 300 i74 - 4.5e2 i82 - 4.5e2 i90 + 1e3 b98 + 1.1e3 b122 + 1.2e3 b146 + 1.3e3 b170 + 1.4e3 b194 + 1.5e3 b218 - 200 x242 <= 0 e267: - 3.3e2 i26 - 2.6e2 i34 - 4.8e2 i42 - 4.4e2 i50 - 711 i58 - 3.5e2 i66 - 300 i74 - 4.5e2 i82 - 4.5e2 i90 + 1e3 b106 + 1.1e3 b130 + 1.2e3 b154 + 1.3e3 b178 + 1.4e3 b202 + 1.5e3 b226 - 200 x242 <= 0 e268: - 3.3e2 i26 - 2.6e2 i34 - 4.8e2 i42 - 4.4e2 i50 - 711 i58 - 3.5e2 i66 - 300 i74 - 4.5e2 i82 - 4.5e2 i90 + 1e3 b114 + 1.1e3 b138 + 1.2e3 b162 + 1.3e3 b186 + 1.4e3 b210 + 1.5e3 b234 - 200 x242 <= 0 e269: - 3.3e2 i27 - 2.6e2 i35 - 4.8e2 i43 - 4.4e2 i51 - 711 i59 - 3.5e2 i67 - 300 i75 - 4.5e2 i83 - 4.5e2 i91 + 1e3 b99 + 1.1e3 b123 + 1.2e3 b147 + 1.3e3 b171 + 1.4e3 b195 + 1.5e3 b219 - 200 x243 <= 0 e270: - 3.3e2 i27 - 2.6e2 i35 - 4.8e2 i43 - 4.4e2 i51 - 711 i59 - 3.5e2 i67 - 300 i75 - 4.5e2 i83 - 4.5e2 i91 + 1e3 b107 + 1.1e3 b131 + 1.2e3 b155 + 1.3e3 b179 + 1.4e3 b203 + 1.5e3 b227 - 200 x243 <= 0 e271: - 3.3e2 i27 - 2.6e2 i35 - 4.8e2 i43 - 4.4e2 i51 - 711 i59 - 3.5e2 i67 - 300 i75 - 4.5e2 i83 - 4.5e2 i91 + 1e3 b115 + 1.1e3 b139 + 1.2e3 b163 + 1.3e3 b187 + 1.4e3 b211 + 1.5e3 b235 - 200 x243 <= 0 e272: - 3.3e2 i28 - 2.6e2 i36 - 4.8e2 i44 - 4.4e2 i52 - 711 i60 - 3.5e2 i68 - 300 i76 - 4.5e2 i84 - 4.5e2 i92 + 1e3 b100 + 1.1e3 b124 + 1.2e3 b148 + 1.3e3 b172 + 1.4e3 b196 + 1.5e3 b220 - 200 x244 <= 0 e273: - 3.3e2 i28 - 2.6e2 i36 - 4.8e2 i44 - 4.4e2 i52 - 711 i60 - 3.5e2 i68 - 300 i76 - 4.5e2 i84 - 4.5e2 i92 + 1e3 b108 + 1.1e3 b132 + 1.2e3 b156 + 1.3e3 b180 + 1.4e3 b204 + 1.5e3 b228 - 200 x244 <= 0 e274: - 3.3e2 i28 - 2.6e2 i36 - 4.8e2 i44 - 4.4e2 i52 - 711 i60 - 3.5e2 i68 - 300 i76 - 4.5e2 i84 - 4.5e2 i92 + 1e3 b116 + 1.1e3 b140 + 1.2e3 b164 + 1.3e3 b188 + 1.4e3 b212 + 1.5e3 b236 - 200 x244 <= 0 e275: - 3.3e2 i29 - 2.6e2 i37 - 4.8e2 i45 - 4.4e2 i53 - 711 i61 - 3.5e2 i69 - 300 i77 - 4.5e2 i85 - 4.5e2 i93 + 1e3 b101 + 1.1e3 b125 + 1.2e3 b149 + 1.3e3 b173 + 1.4e3 b197 + 1.5e3 b221 - 200 x245 <= 0 e276: - 3.3e2 i29 - 2.6e2 i37 - 4.8e2 i45 - 4.4e2 i53 - 711 i61 - 3.5e2 i69 - 300 i77 - 4.5e2 i85 - 4.5e2 i93 + 1e3 b109 + 1.1e3 b133 + 1.2e3 b157 + 1.3e3 b181 + 1.4e3 b205 + 1.5e3 b229 - 200 x245 <= 0 e277: - 3.3e2 i29 - 2.6e2 i37 - 4.8e2 i45 - 4.4e2 i53 - 711 i61 - 3.5e2 i69 - 300 i77 - 4.5e2 i85 - 4.5e2 i93 + 1e3 b117 + 1.1e3 b141 + 1.2e3 b165 + 1.3e3 b189 + 1.4e3 b213 + 1.5e3 b237 - 200 x245 <= 0 e278: - 3.3e2 i30 - 2.6e2 i38 - 4.8e2 i46 - 4.4e2 i54 - 711 i62 - 3.5e2 i70 - 300 i78 - 4.5e2 i86 - 4.5e2 i94 + 1e3 b102 + 1.1e3 b126 + 1.2e3 b150 + 1.3e3 b174 + 1.4e3 b198 + 1.5e3 b222 - 200 x246 <= 0 e279: - 3.3e2 i30 - 2.6e2 i38 - 4.8e2 i46 - 4.4e2 i54 - 711 i62 - 3.5e2 i70 - 300 i78 - 4.5e2 i86 - 4.5e2 i94 + 1e3 b110 + 1.1e3 b134 + 1.2e3 b158 + 1.3e3 b182 + 1.4e3 b206 + 1.5e3 b230 - 200 x246 <= 0 e280: - 3.3e2 i30 - 2.6e2 i38 - 4.8e2 i46 - 4.4e2 i54 - 711 i62 - 3.5e2 i70 - 300 i78 - 4.5e2 i86 - 4.5e2 i94 + 1e3 b118 + 1.1e3 b142 + 1.2e3 b166 + 1.3e3 b190 + 1.4e3 b214 + 1.5e3 b238 - 200 x246 <= 0 e281: - 3.3e2 i31 - 2.6e2 i39 - 4.8e2 i47 - 4.4e2 i55 - 711 i63 - 3.5e2 i71 - 300 i79 - 4.5e2 i87 - 4.5e2 i95 + 1e3 b103 + 1.1e3 b127 + 1.2e3 b151 + 1.3e3 b175 + 1.4e3 b199 + 1.5e3 b223 - 200 x247 <= 0 e282: - 3.3e2 i31 - 2.6e2 i39 - 4.8e2 i47 - 4.4e2 i55 - 711 i63 - 3.5e2 i71 - 300 i79 - 4.5e2 i87 - 4.5e2 i95 + 1e3 b111 + 1.1e3 b135 + 1.2e3 b159 + 1.3e3 b183 + 1.4e3 b207 + 1.5e3 b231 - 200 x247 <= 0 e283: - 3.3e2 i31 - 2.6e2 i39 - 4.8e2 i47 - 4.4e2 i55 - 711 i63 - 3.5e2 i71 - 300 i79 - 4.5e2 i87 - 4.5e2 i95 + 1e3 b119 + 1.1e3 b143 + 1.2e3 b167 + 1.3e3 b191 + 1.4e3 b215 + 1.5e3 b239 - 200 x247 <= 0 e284: - 3.3e2 i32 - 2.6e2 i40 - 4.8e2 i48 - 4.4e2 i56 - 711 i64 - 3.5e2 i72 - 300 i80 - 4.5e2 i88 - 4.5e2 i96 + 1e3 b104 + 1.1e3 b128 + 1.2e3 b152 + 1.3e3 b176 + 1.4e3 b200 + 1.5e3 b224 - 200 x248 <= 0 e285: - 3.3e2 i32 - 2.6e2 i40 - 4.8e2 i48 - 4.4e2 i56 - 711 i64 - 3.5e2 i72 - 300 i80 - 4.5e2 i88 - 4.5e2 i96 + 1e3 b112 + 1.1e3 b136 + 1.2e3 b160 + 1.3e3 b184 + 1.4e3 b208 + 1.5e3 b232 - 200 x248 <= 0 e286: - 3.3e2 i32 - 2.6e2 i40 - 4.8e2 i48 - 4.4e2 i56 - 711 i64 - 3.5e2 i72 - 300 i80 - 4.5e2 i88 - 4.5e2 i96 + 1e3 b120 + 1.1e3 b144 + 1.2e3 b168 + 1.3e3 b192 + 1.4e3 b216 + 1.5e3 b240 - 200 x248 <= 0 e287: - 3.3e2 i33 - 2.6e2 i41 - 4.8e2 i49 - 4.4e2 i57 - 711 i65 - 3.5e2 i73 - 300 i81 - 4.5e2 i89 - 4.5e2 i97 + 1e3 b105 + 1.1e3 b129 + 1.2e3 b153 + 1.3e3 b177 + 1.4e3 b201 + 1.5e3 b225 - 200 x249 <= 0 e288: - 3.3e2 i33 - 2.6e2 i41 - 4.8e2 i49 - 4.4e2 i57 - 711 i65 - 3.5e2 i73 - 300 i81 - 4.5e2 i89 - 4.5e2 i97 + 1e3 b113 + 1.1e3 b137 + 1.2e3 b161 + 1.3e3 b185 + 1.4e3 b209 + 1.5e3 b233 - 200 x249 <= 0 e289: - 3.3e2 i33 - 2.6e2 i41 - 4.8e2 i49 - 4.4e2 i57 - 711 i65 - 3.5e2 i73 - 300 i81 - 4.5e2 i89 - 4.5e2 i97 + 1e3 b121 + 1.1e3 b145 + 1.2e3 b169 + 1.3e3 b193 + 1.4e3 b217 + 1.5e3 b241 - 200 x249 <= 0 e290: - 3.3e2 i26 - 2.6e2 i34 - 4.8e2 i42 - 4.4e2 i50 - 711 i58 - 3.5e2 i66 - 300 i74 - 4.5e2 i82 - 4.5e2 i90 + 1e3 b98 + 1.1e3 b122 + 1.2e3 b146 + 1.3e3 b170 + 1.4e3 b194 + 1.5e3 b218 - 20 x242 >= 0 e291: - 3.3e2 i26 - 2.6e2 i34 - 4.8e2 i42 - 4.4e2 i50 - 711 i58 - 3.5e2 i66 - 300 i74 - 4.5e2 i82 - 4.5e2 i90 + 1e3 b106 + 1.1e3 b130 + 1.2e3 b154 + 1.3e3 b178 + 1.4e3 b202 + 1.5e3 b226 - 20 x242 >= 0 e292: - 3.3e2 i26 - 2.6e2 i34 - 4.8e2 i42 - 4.4e2 i50 - 711 i58 - 3.5e2 i66 - 300 i74 - 4.5e2 i82 - 4.5e2 i90 + 1e3 b114 + 1.1e3 b138 + 1.2e3 b162 + 1.3e3 b186 + 1.4e3 b210 + 1.5e3 b234 - 20 x242 >= 0 e293: - 3.3e2 i27 - 2.6e2 i35 - 4.8e2 i43 - 4.4e2 i51 - 711 i59 - 3.5e2 i67 - 300 i75 - 4.5e2 i83 - 4.5e2 i91 + 1e3 b99 + 1.1e3 b123 + 1.2e3 b147 + 1.3e3 b171 + 1.4e3 b195 + 1.5e3 b219 - 20 x243 >= 0 e294: - 3.3e2 i27 - 2.6e2 i35 - 4.8e2 i43 - 4.4e2 i51 - 711 i59 - 3.5e2 i67 - 300 i75 - 4.5e2 i83 - 4.5e2 i91 + 1e3 b107 + 1.1e3 b131 + 1.2e3 b155 + 1.3e3 b179 + 1.4e3 b203 + 1.5e3 b227 - 20 x243 >= 0 e295: - 3.3e2 i27 - 2.6e2 i35 - 4.8e2 i43 - 4.4e2 i51 - 711 i59 - 3.5e2 i67 - 300 i75 - 4.5e2 i83 - 4.5e2 i91 + 1e3 b115 + 1.1e3 b139 + 1.2e3 b163 + 1.3e3 b187 + 1.4e3 b211 + 1.5e3 b235 - 20 x243 >= 0 e296: - 3.3e2 i28 - 2.6e2 i36 - 4.8e2 i44 - 4.4e2 i52 - 711 i60 - 3.5e2 i68 - 300 i76 - 4.5e2 i84 - 4.5e2 i92 + 1e3 b100 + 1.1e3 b124 + 1.2e3 b148 + 1.3e3 b172 + 1.4e3 b196 + 1.5e3 b220 - 20 x244 >= 0 e297: - 3.3e2 i28 - 2.6e2 i36 - 4.8e2 i44 - 4.4e2 i52 - 711 i60 - 3.5e2 i68 - 300 i76 - 4.5e2 i84 - 4.5e2 i92 + 1e3 b108 + 1.1e3 b132 + 1.2e3 b156 + 1.3e3 b180 + 1.4e3 b204 + 1.5e3 b228 - 20 x244 >= 0 e298: - 3.3e2 i28 - 2.6e2 i36 - 4.8e2 i44 - 4.4e2 i52 - 711 i60 - 3.5e2 i68 - 300 i76 - 4.5e2 i84 - 4.5e2 i92 + 1e3 b116 + 1.1e3 b140 + 1.2e3 b164 + 1.3e3 b188 + 1.4e3 b212 + 1.5e3 b236 - 20 x244 >= 0 e299: - 3.3e2 i29 - 2.6e2 i37 - 4.8e2 i45 - 4.4e2 i53 - 711 i61 - 3.5e2 i69 - 300 i77 - 4.5e2 i85 - 4.5e2 i93 + 1e3 b101 + 1.1e3 b125 + 1.2e3 b149 + 1.3e3 b173 + 1.4e3 b197 + 1.5e3 b221 - 20 x245 >= 0 e300: - 3.3e2 i29 - 2.6e2 i37 - 4.8e2 i45 - 4.4e2 i53 - 711 i61 - 3.5e2 i69 - 300 i77 - 4.5e2 i85 - 4.5e2 i93 + 1e3 b109 + 1.1e3 b133 + 1.2e3 b157 + 1.3e3 b181 + 1.4e3 b205 + 1.5e3 b229 - 20 x245 >= 0 e301: - 3.3e2 i29 - 2.6e2 i37 - 4.8e2 i45 - 4.4e2 i53 - 711 i61 - 3.5e2 i69 - 300 i77 - 4.5e2 i85 - 4.5e2 i93 + 1e3 b117 + 1.1e3 b141 + 1.2e3 b165 + 1.3e3 b189 + 1.4e3 b213 + 1.5e3 b237 - 20 x245 >= 0 e302: - 3.3e2 i30 - 2.6e2 i38 - 4.8e2 i46 - 4.4e2 i54 - 711 i62 - 3.5e2 i70 - 300 i78 - 4.5e2 i86 - 4.5e2 i94 + 1e3 b102 + 1.1e3 b126 + 1.2e3 b150 + 1.3e3 b174 + 1.4e3 b198 + 1.5e3 b222 - 20 x246 >= 0 e303: - 3.3e2 i30 - 2.6e2 i38 - 4.8e2 i46 - 4.4e2 i54 - 711 i62 - 3.5e2 i70 - 300 i78 - 4.5e2 i86 - 4.5e2 i94 + 1e3 b110 + 1.1e3 b134 + 1.2e3 b158 + 1.3e3 b182 + 1.4e3 b206 + 1.5e3 b230 - 20 x246 >= 0 e304: - 3.3e2 i30 - 2.6e2 i38 - 4.8e2 i46 - 4.4e2 i54 - 711 i62 - 3.5e2 i70 - 300 i78 - 4.5e2 i86 - 4.5e2 i94 + 1e3 b118 + 1.1e3 b142 + 1.2e3 b166 + 1.3e3 b190 + 1.4e3 b214 + 1.5e3 b238 - 20 x246 >= 0 e305: - 3.3e2 i31 - 2.6e2 i39 - 4.8e2 i47 - 4.4e2 i55 - 711 i63 - 3.5e2 i71 - 300 i79 - 4.5e2 i87 - 4.5e2 i95 + 1e3 b103 + 1.1e3 b127 + 1.2e3 b151 + 1.3e3 b175 + 1.4e3 b199 + 1.5e3 b223 - 20 x247 >= 0 e306: - 3.3e2 i31 - 2.6e2 i39 - 4.8e2 i47 - 4.4e2 i55 - 711 i63 - 3.5e2 i71 - 300 i79 - 4.5e2 i87 - 4.5e2 i95 + 1e3 b111 + 1.1e3 b135 + 1.2e3 b159 + 1.3e3 b183 + 1.4e3 b207 + 1.5e3 b231 - 20 x247 >= 0 e307: - 3.3e2 i31 - 2.6e2 i39 - 4.8e2 i47 - 4.4e2 i55 - 711 i63 - 3.5e2 i71 - 300 i79 - 4.5e2 i87 - 4.5e2 i95 + 1e3 b119 + 1.1e3 b143 + 1.2e3 b167 + 1.3e3 b191 + 1.4e3 b215 + 1.5e3 b239 - 20 x247 >= 0 e308: - 3.3e2 i32 - 2.6e2 i40 - 4.8e2 i48 - 4.4e2 i56 - 711 i64 - 3.5e2 i72 - 300 i80 - 4.5e2 i88 - 4.5e2 i96 + 1e3 b104 + 1.1e3 b128 + 1.2e3 b152 + 1.3e3 b176 + 1.4e3 b200 + 1.5e3 b224 - 20 x248 >= 0 e309: - 3.3e2 i32 - 2.6e2 i40 - 4.8e2 i48 - 4.4e2 i56 - 711 i64 - 3.5e2 i72 - 300 i80 - 4.5e2 i88 - 4.5e2 i96 + 1e3 b112 + 1.1e3 b136 + 1.2e3 b160 + 1.3e3 b184 + 1.4e3 b208 + 1.5e3 b232 - 20 x248 >= 0 e310: - 3.3e2 i32 - 2.6e2 i40 - 4.8e2 i48 - 4.4e2 i56 - 711 i64 - 3.5e2 i72 - 300 i80 - 4.5e2 i88 - 4.5e2 i96 + 1e3 b120 + 1.1e3 b144 + 1.2e3 b168 + 1.3e3 b192 + 1.4e3 b216 + 1.5e3 b240 - 20 x248 >= 0 e311: - 3.3e2 i33 - 2.6e2 i41 - 4.8e2 i49 - 4.4e2 i57 - 711 i65 - 3.5e2 i73 - 300 i81 - 4.5e2 i89 - 4.5e2 i97 + 1e3 b105 + 1.1e3 b129 + 1.2e3 b153 + 1.3e3 b177 + 1.4e3 b201 + 1.5e3 b225 - 20 x249 >= 0 e312: - 3.3e2 i33 - 2.6e2 i41 - 4.8e2 i49 - 4.4e2 i57 - 711 i65 - 3.5e2 i73 - 300 i81 - 4.5e2 i89 - 4.5e2 i97 + 1e3 b113 + 1.1e3 b137 + 1.2e3 b161 + 1.3e3 b185 + 1.4e3 b209 + 1.5e3 b233 - 20 x249 >= 0 e313: - 3.3e2 i33 - 2.6e2 i41 - 4.8e2 i49 - 4.4e2 i57 - 711 i65 - 3.5e2 i73 - 300 i81 - 4.5e2 i89 - 4.5e2 i97 + 1e3 b121 + 1.1e3 b145 + 1.2e3 b169 + 1.3e3 b193 + 1.4e3 b217 + 1.5e3 b241 - 20 x249 >= 0 e314: b98 + b122 + b146 + b170 + b194 + b218 - b250 - b258 - b266 - b274 - b282 - b290 - b298 - b306 - b314 <= 0 e315: b106 + b130 + b154 + b178 + b202 + b226 - b250 - b258 - b266 - b274 - b282 - b290 - b298 - b306 - b314 <= 0 e316: b114 + b138 + b162 + b186 + b210 + b234 - b250 - b258 - b266 - b274 - b282 - b290 - b298 - b306 - b314 <= 0 e317: b99 + b123 + b147 + b171 + b195 + b219 - b251 - b259 - b267 - b275 - b283 - b291 - b299 - b307 - b315 <= 0 e318: b107 + b131 + b155 + b179 + b203 + b227 - b251 - b259 - b267 - b275 - b283 - b291 - b299 - b307 - b315 <= 0 e319: b115 + b139 + b163 + b187 + b211 + b235 - b251 - b259 - b267 - b275 - b283 - b291 - b299 - b307 - b315 <= 0 e320: b100 + b124 + b148 + b172 + b196 + b220 - b252 - b260 - b268 - b276 - b284 - b292 - b300 - b308 - b316 <= 0 e321: b108 + b132 + b156 + b180 + b204 + b228 - b252 - b260 - b268 - b276 - b284 - b292 - b300 - b308 - b316 <= 0 e322: b116 + b140 + b164 + b188 + b212 + b236 - b252 - b260 - b268 - b276 - b284 - b292 - b300 - b308 - b316 <= 0 e323: b101 + b125 + b149 + b173 + b197 + b221 - b253 - b261 - b269 - b277 - b285 - b293 - b301 - b309 - b317 <= 0 e324: b109 + b133 + b157 + b181 + b205 + b229 - b253 - b261 - b269 - b277 - b285 - b293 - b301 - b309 - b317 <= 0 e325: b117 + b141 + b165 + b189 + b213 + b237 - b253 - b261 - b269 - b277 - b285 - b293 - b301 - b309 - b317 <= 0 e326: b102 + b126 + b150 + b174 + b198 + b222 - b254 - b262 - b270 - b278 - b286 - b294 - b302 - b310 - b318 <= 0 e327: b110 + b134 + b158 + b182 + b206 + b230 - b254 - b262 - b270 - b278 - b286 - b294 - b302 - b310 - b318 <= 0 e328: b118 + b142 + b166 + b190 + b214 + b238 - b254 - b262 - b270 - b278 - b286 - b294 - b302 - b310 - b318 <= 0 e329: b103 + b127 + b151 + b175 + b199 + b223 - b255 - b263 - b271 - b279 - b287 - b295 - b303 - b311 - b319 <= 0 e330: b111 + b135 + b159 + b183 + b207 + b231 - b255 - b263 - b271 - b279 - b287 - b295 - b303 - b311 - b319 <= 0 e331: b119 + b143 + b167 + b191 + b215 + b239 - b255 - b263 - b271 - b279 - b287 - b295 - b303 - b311 - b319 <= 0 e332: b104 + b128 + b152 + b176 + b200 + b224 - b256 - b264 - b272 - b280 - b288 - b296 - b304 - b312 - b320 <= 0 e333: b112 + b136 + b160 + b184 + b208 + b232 - b256 - b264 - b272 - b280 - b288 - b296 - b304 - b312 - b320 <= 0 e334: b120 + b144 + b168 + b192 + b216 + b240 - b256 - b264 - b272 - b280 - b288 - b296 - b304 - b312 - b320 <= 0 e335: b105 + b129 + b153 + b177 + b201 + b225 - b257 - b265 - b273 - b281 - b289 - b297 - b305 - b313 - b321 <= 0 e336: b113 + b137 + b161 + b185 + b209 + b233 - b257 - b265 - b273 - b281 - b289 - b297 - b305 - b313 - b321 <= 0 e337: b121 + b145 + b169 + b193 + b217 + b241 - b257 - b265 - b273 - b281 - b289 - b297 - b305 - b313 - b321 <= 0 e338: b98 + b122 + b146 + b170 + b194 + b218 <= 1 e339: b106 + b130 + b154 + b178 + b202 + b226 <= 1 e340: b114 + b138 + b162 + b186 + b210 + b234 <= 1 e341: b99 + b123 + b147 + b171 + b195 + b219 <= 1 e342: b107 + b131 + b155 + b179 + b203 + b227 <= 1 e343: b115 + b139 + b163 + b187 + b211 + b235 <= 1 e344: b100 + b124 + b148 + b172 + b196 + b220 <= 1 e345: b108 + b132 + b156 + b180 + b204 + b228 <= 1 e346: b116 + b140 + b164 + b188 + b212 + b236 <= 1 e347: b101 + b125 + b149 + b173 + b197 + b221 <= 1 e348: b109 + b133 + b157 + b181 + b205 + b229 <= 1 e349: b117 + b141 + b165 + b189 + b213 + b237 <= 1 e350: b102 + b126 + b150 + b174 + b198 + b222 <= 1 e351: b110 + b134 + b158 + b182 + b206 + b230 <= 1 e352: b118 + b142 + b166 + b190 + b214 + b238 <= 1 e353: b103 + b127 + b151 + b175 + b199 + b223 <= 1 e354: b111 + b135 + b159 + b183 + b207 + b231 <= 1 e355: b119 + b143 + b167 + b191 + b215 + b239 <= 1 e356: b104 + b128 + b152 + b176 + b200 + b224 <= 1 e357: b112 + b136 + b160 + b184 + b208 + b232 <= 1 e358: b120 + b144 + b168 + b192 + b216 + b240 <= 1 e359: b105 + b129 + b153 + b177 + b201 + b225 <= 1 e360: b113 + b137 + b161 + b185 + b209 + b233 <= 1 e361: b121 + b145 + b169 + b193 + b217 + b241 <= 1 e362: b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0 e363: b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0 e364: b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0 e365: b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0 e366: b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0 e367: b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0 e368: b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0 e369: b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0 e370: b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0 e371: b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0 e372: b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0 e373: b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0 e374: b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0 e375: b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0 e376: b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0 e377: b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0 e378: b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0 e379: b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0 e380: b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0 e381: b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0 e382: b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0 e383: b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0 e384: b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0 e385: b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0 e386: b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0 e387: b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0 e388: b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0 e389: b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0 e390: b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0 e391: b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0 e392: b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0 e393: b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0 e394: b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0 e395: b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0 e396: b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0 e397: b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0 e398: b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0 e399: b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0 e400: b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0 e401: b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0 e402: b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0 e403: b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0 e404: b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0 e405: b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0 e406: b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0 e407: b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0 e408: b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0 e409: b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0 e410: b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0 e411: b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0 e412: b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0 e413: b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0 e414: b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0 e415: b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0 e416: b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0 e417: b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0 e418: b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0 e419: b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0 e420: b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0 e421: b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0 e422: b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0 e423: b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0 e424: b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0 e425: b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0 e426: b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0 e427: b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0 e428: b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0 e429: b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0 e430: b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0 e431: b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0 e432: b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0 e433: b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0 e434: b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0 e435: b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0 e436: b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0 e437: b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0 e438: b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0 e439: b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0 e440: b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0 e441: b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0 e442: b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0 e443: b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0 e444: b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0 e445: b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0 e446: b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0 e447: b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0 e448: b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0 e449: b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0 e450: b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0 e451: b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0 e452: b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0 e453: b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0 e454: b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0 e455: b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0 e456: b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0 e457: b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0 e458: b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0 e459: b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0 e460: b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0 e461: b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0 e462: b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0 e463: b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0 e464: b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0 e465: b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0 e466: b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0 e467: b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0 e468: b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0 e469: b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0 e470: b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0 e471: b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0 e472: b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0 e473: b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0 e474: b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0 e475: b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0 e476: b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0 e477: b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0 e478: b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0 e479: b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0 e480: b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0 e481: b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0 e482: b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0 e483: b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0 e484: b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0 e485: b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0 e486: b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0 e487: b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0 e488: b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0 e489: b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0 e490: b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0 e491: b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0 e492: b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0 e493: b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0 e494: b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0 e495: b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0 e496: b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0 e497: b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0 e498: b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0 e499: b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0 e500: b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0 e501: b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0 e502: b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0 e503: b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0 e504: b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0 e505: b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0 e506: b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0 e507: b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0 e508: b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0 e509: b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0 e510: b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0 e511: b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0 e512: b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0 e513: b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0 e514: b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0 e515: b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0 e516: b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0 e517: b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0 e518: b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0 e519: b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0 e520: b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0 e521: b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0 e522: b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0 e523: b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0 e524: b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0 e525: b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0 e526: b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0 e527: b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0 e528: b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0 e529: b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0 e530: b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0 e531: b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0 e532: b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0 e533: b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0 e534: b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0 e535: b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0 e536: b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0 e537: b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0 e538: b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0 e539: b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0 e540: b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0 e541: b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0 e542: b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0 e543: b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0 e544: b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0 e545: b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0 e546: b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0 e547: b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0 e548: b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0 e549: b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0 e550: b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0 e551: b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0 e552: b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0 e553: b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0 e554: b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0 e555: b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0 e556: b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0 e557: b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0 e558: b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0 e559: b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0 e560: b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0 e561: b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0 e562: b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0 e563: b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0 e564: b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0 e565: b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0 e566: b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0 e567: b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0 e568: b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0 e569: b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0 e570: b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0 e571: b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0 e572: b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0 e573: b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0 e574: b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0 e575: b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0 e576: b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0 e577: b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0 e578: b98 x322 + b99 x323 + b100 x324 + 1.5 b106 x322 + 1.5 b107 x323 + 1.5 b108 x324 + 1.5 b112 x328 + 1.5 b113 x329 + b114 x322 + b115 x323 + b116 x324 <= 999999 e579: b122 x322 + b123 x323 + b124 x324 + 1.5 b130 x322 + 1.5 b131 x323 + 1.5 b132 x324 + 1.5 b136 x328 + 1.5 b137 x329 + b138 x322 + b139 x323 + b140 x324 <= 999999 e580: b146 x322 + b147 x323 + b148 x324 + 1.5 b154 x322 + 1.5 b155 x323 + 1.5 b156 x324 + 1.5 b160 x328 + 1.5 b161 x329 + b162 x322 + b163 x323 + b164 x324 <= 999999 e581: b170 x322 + b171 x323 + b172 x324 + 1.5 b178 x322 + 1.5 b179 x323 + 1.5 b180 x324 + 1.5 b184 x328 + 1.5 b185 x329 + b186 x322 + b187 x323 + b188 x324 <= 888888 e582: b194 x322 + b195 x323 + b196 x324 + 1.5 b202 x322 + 1.5 b203 x323 + 1.5 b204 x324 + 1.5 b208 x328 + 1.5 b209 x329 + b210 x322 + b211 x323 + b212 x324 <= 9999999 e583: b218 x322 + b219 x323 + b220 x324 + 1.5 b226 x322 + 1.5 b227 x323 + 1.5 b228 x324 + 1.5 b232 x328 + 1.5 b233 x329 + b234 x322 + b235 x323 + b236 x324 <= 999999 e584: b104 x328 + b105 x329 + 1.5 b109 x325 + 1.5 b110 x326 + 1.5 b111 x327 + b117 x325 + b118 x326 + b119 x327 + b120 x328 + b121 x329 <= 72722 e585: b128 x328 + b129 x329 + 1.5 b133 x325 + 1.5 b134 x326 + 1.5 b135 x327 + b141 x325 + b142 x326 + b143 x327 + b144 x328 + b145 x329 <= 32737 e586: b152 x328 + b153 x329 + 1.5 b157 x325 + 1.5 b158 x326 + 1.5 b159 x327 + b165 x325 + b166 x326 + b167 x327 + b168 x328 + b169 x329 <= 999999 e587: b176 x328 + b177 x329 + 1.5 b181 x325 + 1.5 b182 x326 + 1.5 b183 x327 + b189 x325 + b190 x326 + b191 x327 + b192 x328 + b193 x329 <= 999999 e588: b200 x328 + b201 x329 + 1.5 b205 x325 + 1.5 b206 x326 + 1.5 b207 x327 + b213 x325 + b214 x326 + b215 x327 + b216 x328 + b217 x329 <= 122344 e589: b224 x328 + b225 x329 + 1.5 b229 x325 + 1.5 b230 x326 + 1.5 b231 x327 + b237 x325 + b238 x326 + b239 x327 + b240 x328 + b241 x329 <= 147559 e590: b101 x325 + b102 x326 + b103 x327 <= 999999 e591: b125 x325 + b126 x326 + b127 x327 <= 999999 e592: b149 x325 + b150 x326 + b151 x327 <= 999999 e593: b173 x325 + b174 x326 + b175 x327 <= 999999 e594: b197 x325 + b198 x326 + b199 x327 <= 999999 e595: b221 x325 + b222 x326 + b223 x327 <= 999999 e596: .527704485488127 i26 x322 + .527704485488127 i27 x323 + .527704485488127 i28 x324 + .527704485488127 i29 x325 + .527704485488127 i30 x326 + .527704485488127 i31 x327 + .527704485488127 i32 x328 + .527704485488127 i33 x329 >= 1e3 e597: 1.33333333333333 i34 x322 + 1.33333333333333 i35 x323 + 1.33333333333333 i36 x324 + 1.33333333333333 i37 x325 + 1.33333333333333 i38 x326 + 1.33333333333333 i39 x327 + 1.33333333333333 i40 x328 + 1.33333333333333 i41 x329 >= 1.5e3 e598: .858369098712446 i42 x322 + .858369098712446 i43 x323 + .858369098712446 i44 x324 + .858369098712446 i45 x325 + .858369098712446 i46 x326 + .858369098712446 i47 x327 + .858369098712446 i48 x328 + .858369098712446 i49 x329 >= 2e3 e599: 1.32450331125828 i50 x322 + 1.32450331125828 i51 x323 + 1.32450331125828 i52 x324 + 1.32450331125828 i53 x325 + 1.32450331125828 i54 x326 + 1.32450331125828 i55 x327 + 1.32450331125828 i56 x328 + 1.32450331125828 i57 x329 >= 2e3 e600: .50125313283208 i58 x322 + .50125313283208 i59 x323 + .50125313283208 i60 x324 + .50125313283208 i61 x325 + .50125313283208 i62 x326 + .50125313283208 i63 x327 + .50125313283208 i64 x328 + .50125313283208 i65 x329 >= 1.5e3 e601: .555555555555556 i66 x322 + .555555555555556 i67 x323 + .555555555555556 i68 x324 + .555555555555556 i69 x325 + .555555555555556 i70 x326 + .555555555555556 i71 x327 + .555555555555556 i72 x328 + .555555555555556 i73 x329 >= 1.5e3 e602: 1.17647058823529 i74 x322 + 1.17647058823529 i75 x323 + 1.17647058823529 i76 x324 + 1.17647058823529 i77 x325 + 1.17647058823529 i78 x326 + 1.17647058823529 i79 x327 + 1.17647058823529 i80 x328 + 1.17647058823529 i81 x329 >= 2.5e3 e603: .833333333333333 i82 x322 + .833333333333333 i83 x323 + .833333333333333 i84 x324 + .833333333333333 i85 x325 + .833333333333333 i86 x326 + .833333333333333 i87 x327 + .833333333333333 i88 x328 + .833333333333333 i89 x329 >= 3e3 e604: 1.25 i90 x322 + 1.25 i91 x323 + 1.25 i92 x324 + 1.25 i93 x325 + 1.25 i94 x326 + 1.25 i95 x327 + 1.25 i96 x328 + 1.25 i97 x329 >= 2e3 e605: .527704485488127 i26 x322 + .527704485488127 i27 x323 + .527704485488127 i28 x324 + .527704485488127 i29 x325 + .527704485488127 i30 x326 + .527704485488127 i31 x327 + .527704485488127 i32 x328 + .527704485488127 i33 x329 <= 1.5e3 e606: 1.33333333333333 i34 x322 + 1.33333333333333 i35 x323 + 1.33333333333333 i36 x324 + 1.33333333333333 i37 x325 + 1.33333333333333 i38 x326 + 1.33333333333333 i39 x327 + 1.33333333333333 i40 x328 + 1.33333333333333 i41 x329 <= 2.25e3 e607: .858369098712446 i42 x322 + .858369098712446 i43 x323 + .858369098712446 i44 x324 + .858369098712446 i45 x325 + .858369098712446 i46 x326 + .858369098712446 i47 x327 + .858369098712446 i48 x328 + .858369098712446 i49 x329 <= 3e3 e608: 1.32450331125828 i50 x322 + 1.32450331125828 i51 x323 + 1.32450331125828 i52 x324 + 1.32450331125828 i53 x325 + 1.32450331125828 i54 x326 + 1.32450331125828 i55 x327 + 1.32450331125828 i56 x328 + 1.32450331125828 i57 x329 <= 3e3 e609: .50125313283208 i58 x322 + .50125313283208 i59 x323 + .50125313283208 i60 x324 + .50125313283208 i61 x325 + .50125313283208 i62 x326 + .50125313283208 i63 x327 + .50125313283208 i64 x328 + .50125313283208 i65 x329 <= 2.25e3 e610: .555555555555556 i66 x322 + .555555555555556 i67 x323 + .555555555555556 i68 x324 + .555555555555556 i69 x325 + .555555555555556 i70 x326 + .555555555555556 i71 x327 + .555555555555556 i72 x328 + .555555555555556 i73 x329 <= 2.25e3 e611: 1.17647058823529 i74 x322 + 1.17647058823529 i75 x323 + 1.17647058823529 i76 x324 + 1.17647058823529 i77 x325 + 1.17647058823529 i78 x326 + 1.17647058823529 i79 x327 + 1.17647058823529 i80 x328 + 1.17647058823529 i81 x329 <= 3.75e3 e612: .833333333333333 i82 x322 + .833333333333333 i83 x323 + .833333333333333 i84 x324 + .833333333333333 i85 x325 + .833333333333333 i86 x326 + .833333333333333 i87 x327 + .833333333333333 i88 x328 + .833333333333333 i89 x329 <= 4.5e3 e613: 1.25 i90 x322 + 1.25 i91 x323 + 1.25 i92 x324 + 1.25 i93 x325 + 1.25 i94 x326 + 1.25 i95 x327 + 1.25 i96 x328 + 1.25 i97 x329 <= 3e3 e614: - 500 x242 + x322 >= 0 e615: - 500 x243 + x323 >= 0 e616: - 500 x244 + x324 >= 0 e617: - 500 x245 + x325 >= 0 e618: - 500 x246 + x326 >= 0 e619: - 500 x247 + x327 >= 0 e620: - 500 x248 + x328 >= 0 e621: - 500 x249 + x329 >= 0 e622: - 2e3 x242 + x322 <= 0 e623: - 2e3 x243 + x323 <= 0 e624: - 2e3 x244 + x324 <= 0 e625: - 2e3 x245 + x325 <= 0 e626: - 2e3 x246 + x326 <= 0 e627: - 2e3 x247 + x327 <= 0 e628: - 2e3 x248 + x328 <= 0 e629: - 2e3 x249 + x329 <= 0 e630: - x242 + b250 + b258 + b266 + b274 + b282 + b290 + b298 + b306 + b314 >= 0 e631: - x243 + b251 + b259 + b267 + b275 + b283 + b291 + b299 + b307 + b315 >= 0 e632: - x244 + b252 + b260 + b268 + b276 + b284 + b292 + b300 + b308 + b316 >= 0 e633: - x245 + b253 + b261 + b269 + b277 + b285 + b293 + b301 + b309 + b317 >= 0 e634: - x246 + b254 + b262 + b270 + b278 + b286 + b294 + b302 + b310 + b318 >= 0 e635: - x247 + b255 + b263 + b271 + b279 + b287 + b295 + b303 + b311 + b319 >= 0 e636: - x248 + b256 + b264 + b272 + b280 + b288 + b296 + b304 + b312 + b320 >= 0 e637: - x249 + b257 + b265 + b273 + b281 + b289 + b297 + b305 + b313 + b321 >= 0 e638: x242 - b250 >= 0 e639: x243 - b251 >= 0 e640: x244 - b252 >= 0 e641: x245 - b253 >= 0 e642: x246 - b254 >= 0 e643: x247 - b255 >= 0 e644: x248 - b256 >= 0 e645: x249 - b257 >= 0 e646: x242 - b258 >= 0 e647: x243 - b259 >= 0 e648: x244 - b260 >= 0 e649: x245 - b261 >= 0 e650: x246 - b262 >= 0 e651: x247 - b263 >= 0 e652: x248 - b264 >= 0 e653: x249 - b265 >= 0 e654: x242 - b266 >= 0 e655: x243 - b267 >= 0 e656: x244 - b268 >= 0 e657: x245 - b269 >= 0 e658: x246 - b270 >= 0 e659: x247 - b271 >= 0 e660: x248 - b272 >= 0 e661: x249 - b273 >= 0 e662: x242 - b274 >= 0 e663: x243 - b275 >= 0 e664: x244 - b276 >= 0 e665: x245 - b277 >= 0 e666: x246 - b278 >= 0 e667: x247 - b279 >= 0 e668: x248 - b280 >= 0 e669: x249 - b281 >= 0 e670: x242 - b282 >= 0 e671: x243 - b283 >= 0 e672: x244 - b284 >= 0 e673: x245 - b285 >= 0 e674: x246 - b286 >= 0 e675: x247 - b287 >= 0 e676: x248 - b288 >= 0 e677: x249 - b289 >= 0 e678: x242 - b290 >= 0 e679: x243 - b291 >= 0 e680: x244 - b292 >= 0 e681: x245 - b293 >= 0 e682: x246 - b294 >= 0 e683: x247 - b295 >= 0 e684: x248 - b296 >= 0 e685: x249 - b297 >= 0 e686: x242 - b298 >= 0 e687: x243 - b299 >= 0 e688: x244 - b300 >= 0 e689: x245 - b301 >= 0 e690: x246 - b302 >= 0 e691: x247 - b303 >= 0 e692: x248 - b304 >= 0 e693: x249 - b305 >= 0 e694: x242 - b306 >= 0 e695: x243 - b307 >= 0 e696: x244 - b308 >= 0 e697: x245 - b309 >= 0 e698: x246 - b310 >= 0 e699: x247 - b311 >= 0 e700: x248 - b312 >= 0 e701: x249 - b313 >= 0 e702: x242 - b314 >= 0 e703: x243 - b315 >= 0 e704: x244 - b316 >= 0 e705: x245 - b317 >= 0 e706: x246 - b318 >= 0 e707: x247 - b319 >= 0 e708: x248 - b320 >= 0 e709: x249 - b321 >= 0 e710: b250 + b251 + b252 + b253 + b254 + b255 + b256 + b257 >= 1 e711: b258 + b259 + b260 + b261 + b262 + b263 + b264 + b265 >= 1 e712: b266 + b267 + b268 + b269 + b270 + b271 + b272 + b273 >= 1 e713: b274 + b275 + b276 + b277 + b278 + b279 + b280 + b281 >= 1 e714: b282 + b283 + b284 + b285 + b286 + b287 + b288 + b289 >= 1 e715: b290 + b291 + b292 + b293 + b294 + b295 + b296 + b297 >= 1 e716: b298 + b299 + b300 + b301 + b302 + b303 + b304 + b305 >= 1 e717: b306 + b307 + b308 + b309 + b310 + b311 + b312 + b313 >= 1 e718: b314 + b315 + b316 + b317 + b318 + b319 + b320 + b321 >= 1 e719: - i26 + b250 <= 0 e720: - i27 + b251 <= 0 e721: - i28 + b252 <= 0 e722: - i29 + b253 <= 0 e723: - i30 + b254 <= 0 e724: - i31 + b255 <= 0 e725: - i32 + b256 <= 0 e726: - i33 + b257 <= 0 e727: - i34 + b258 <= 0 e728: - i35 + b259 <= 0 e729: - i36 + b260 <= 0 e730: - i37 + b261 <= 0 e731: - i38 + b262 <= 0 e732: - i39 + b263 <= 0 e733: - i40 + b264 <= 0 e734: - i41 + b265 <= 0 e735: - i42 + b266 <= 0 e736: - i43 + b267 <= 0 e737: - i44 + b268 <= 0 e738: - i45 + b269 <= 0 e739: - i46 + b270 <= 0 e740: - i47 + b271 <= 0 e741: - i48 + b272 <= 0 e742: - i49 + b273 <= 0 e743: - i50 + b274 <= 0 e744: - i51 + b275 <= 0 e745: - i52 + b276 <= 0 e746: - i53 + b277 <= 0 e747: - i54 + b278 <= 0 e748: - i55 + b279 <= 0 e749: - i56 + b280 <= 0 e750: - i57 + b281 <= 0 e751: - i58 + b282 <= 0 e752: - i59 + b283 <= 0 e753: - i60 + b284 <= 0 e754: - i61 + b285 <= 0 e755: - i62 + b286 <= 0 e756: - i63 + b287 <= 0 e757: - i64 + b288 <= 0 e758: - i65 + b289 <= 0 e759: - i66 + b290 <= 0 e760: - i67 + b291 <= 0 e761: - i68 + b292 <= 0 e762: - i69 + b293 <= 0 e763: - i70 + b294 <= 0 e764: - i71 + b295 <= 0 e765: - i72 + b296 <= 0 e766: - i73 + b297 <= 0 e767: - i74 + b298 <= 0 e768: - i75 + b299 <= 0 e769: - i76 + b300 <= 0 e770: - i77 + b301 <= 0 e771: - i78 + b302 <= 0 e772: - i79 + b303 <= 0 e773: - i80 + b304 <= 0 e774: - i81 + b305 <= 0 e775: - i82 + b306 <= 0 e776: - i83 + b307 <= 0 e777: - i84 + b308 <= 0 e778: - i85 + b309 <= 0 e779: - i86 + b310 <= 0 e780: - i87 + b311 <= 0 e781: - i88 + b312 <= 0 e782: - i89 + b313 <= 0 e783: - i90 + b314 <= 0 e784: - i91 + b315 <= 0 e785: - i92 + b316 <= 0 e786: - i93 + b317 <= 0 e787: - i94 + b318 <= 0 e788: - i95 + b319 <= 0 e789: - i96 + b320 <= 0 e790: - i97 + b321 <= 0 e791: i26 - 4 b250 <= 0 e792: i27 - 4 b251 <= 0 e793: i28 - 4 b252 <= 0 e794: i29 - 4 b253 <= 0 e795: i30 - 4 b254 <= 0 e796: i31 - 4 b255 <= 0 e797: i32 - 4 b256 <= 0 e798: i33 - 4 b257 <= 0 e799: i34 - 4 b258 <= 0 e800: i35 - 4 b259 <= 0 e801: i36 - 4 b260 <= 0 e802: i37 - 4 b261 <= 0 e803: i38 - 4 b262 <= 0 e804: i39 - 4 b263 <= 0 e805: i40 - 4 b264 <= 0 e806: i41 - 4 b265 <= 0 e807: i42 - 4 b266 <= 0 e808: i43 - 4 b267 <= 0 e809: i44 - 4 b268 <= 0 e810: i45 - 4 b269 <= 0 e811: i46 - 4 b270 <= 0 e812: i47 - 4 b271 <= 0 e813: i48 - 4 b272 <= 0 e814: i49 - 4 b273 <= 0 e815: i50 - 4 b274 <= 0 e816: i51 - 4 b275 <= 0 e817: i52 - 4 b276 <= 0 e818: i53 - 4 b277 <= 0 e819: i54 - 4 b278 <= 0 e820: i55 - 4 b279 <= 0 e821: i56 - 4 b280 <= 0 e822: i57 - 4 b281 <= 0 e823: i58 - 4 b282 <= 0 e824: i59 - 4 b283 <= 0 e825: i60 - 4 b284 <= 0 e826: i61 - 4 b285 <= 0 e827: i62 - 4 b286 <= 0 e828: i63 - 4 b287 <= 0 e829: i64 - 4 b288 <= 0 e830: i65 - 4 b289 <= 0 e831: i66 - 4 b290 <= 0 e832: i67 - 4 b291 <= 0 e833: i68 - 4 b292 <= 0 e834: i69 - 4 b293 <= 0 e835: i70 - 4 b294 <= 0 e836: i71 - 4 b295 <= 0 e837: i72 - 4 b296 <= 0 e838: i73 - 4 b297 <= 0 e839: i74 - 4 b298 <= 0 e840: i75 - 4 b299 <= 0 e841: i76 - 4 b300 <= 0 e842: i77 - 4 b301 <= 0 e843: i78 - 4 b302 <= 0 e844: i79 - 4 b303 <= 0 e845: i80 - 4 b304 <= 0 e846: i81 - 4 b305 <= 0 e847: i82 - 4 b306 <= 0 e848: i83 - 4 b307 <= 0 e849: i84 - 4 b308 <= 0 e850: i85 - 4 b309 <= 0 e851: i86 - 4 b310 <= 0 e852: i87 - 4 b311 <= 0 e853: i88 - 4 b312 <= 0 e854: i89 - 4 b313 <= 0 e855: i90 - 4 b314 <= 0 e856: i91 - 4 b315 <= 0 e857: i92 - 4 b316 <= 0 e858: i93 - 4 b317 <= 0 e859: i94 - 4 b318 <= 0 e860: i95 - 4 b319 <= 0 e861: i96 - 4 b320 <= 0 e862: i97 - 4 b321 <= 0 e863: - x330 + b98 x322 + 1.1 b122 x322 + 1.2 b146 x322 + 1.3 b170 x322 + 1.4 b194 x322 + 1.5 b218 x322 = 0 e864: - x331 + b106 x322 + 1.1 b130 x322 + 1.2 b154 x322 + 1.3 b178 x322 + 1.4 b202 x322 + 1.5 b226 x322 = 0 e865: - x332 + b114 x322 + 1.1 b138 x322 + 1.2 b162 x322 + 1.3 b186 x322 + 1.4 b210 x322 + 1.5 b234 x322 = 0 e866: - x333 + b99 x323 + 1.1 b123 x323 + 1.2 b147 x323 + 1.3 b171 x323 + 1.4 b195 x323 + 1.5 b219 x323 = 0 e867: - x334 + b107 x323 + 1.1 b131 x323 + 1.2 b155 x323 + 1.3 b179 x323 + 1.4 b203 x323 + 1.5 b227 x323 = 0 e868: - x335 + b115 x323 + 1.1 b139 x323 + 1.2 b163 x323 + 1.3 b187 x323 + 1.4 b211 x323 + 1.5 b235 x323 = 0 e869: - x336 + b100 x324 + 1.1 b124 x324 + 1.2 b148 x324 + 1.3 b172 x324 + 1.4 b196 x324 + 1.5 b220 x324 = 0 e870: - x337 + b108 x324 + 1.1 b132 x324 + 1.2 b156 x324 + 1.3 b180 x324 + 1.4 b204 x324 + 1.5 b228 x324 = 0 e871: - x338 + b116 x324 + 1.1 b140 x324 + 1.2 b164 x324 + 1.3 b188 x324 + 1.4 b212 x324 + 1.5 b236 x324 = 0 e872: - x339 + b101 x325 + 1.1 b125 x325 + 1.2 b149 x325 + 1.3 b173 x325 + 1.4 b197 x325 + 1.5 b221 x325 = 0 e873: - x340 + b109 x325 + 1.1 b133 x325 + 1.2 b157 x325 + 1.3 b181 x325 + 1.4 b205 x325 + 1.5 b229 x325 = 0 e874: - x341 + b117 x325 + 1.1 b141 x325 + 1.2 b165 x325 + 1.3 b189 x325 + 1.4 b213 x325 + 1.5 b237 x325 = 0 e875: - x342 + b102 x326 + 1.1 b126 x326 + 1.2 b150 x326 + 1.3 b174 x326 + 1.4 b198 x326 + 1.5 b222 x326 = 0 e876: - x343 + b110 x326 + 1.1 b134 x326 + 1.2 b158 x326 + 1.3 b182 x326 + 1.4 b206 x326 + 1.5 b230 x326 = 0 e877: - x344 + b118 x326 + 1.1 b142 x326 + 1.2 b166 x326 + 1.3 b190 x326 + 1.4 b214 x326 + 1.5 b238 x326 = 0 e878: - x345 + b103 x327 + 1.1 b127 x327 + 1.2 b151 x327 + 1.3 b175 x327 + 1.4 b199 x327 + 1.5 b223 x327 = 0 e879: - x346 + b111 x327 + 1.1 b135 x327 + 1.2 b159 x327 + 1.3 b183 x327 + 1.4 b207 x327 + 1.5 b231 x327 = 0 e880: - x347 + b119 x327 + 1.1 b143 x327 + 1.2 b167 x327 + 1.3 b191 x327 + 1.4 b215 x327 + 1.5 b239 x327 = 0 e881: - x348 + b104 x328 + 1.1 b128 x328 + 1.2 b152 x328 + 1.3 b176 x328 + 1.4 b200 x328 + 1.5 b224 x328 = 0 e882: - x349 + b112 x328 + 1.1 b136 x328 + 1.2 b160 x328 + 1.3 b184 x328 + 1.4 b208 x328 + 1.5 b232 x328 = 0 e883: - x350 + b120 x328 + 1.1 b144 x328 + 1.2 b168 x328 + 1.3 b192 x328 + 1.4 b216 x328 + 1.5 b240 x328 = 0 e884: - x351 + b105 x329 + 1.1 b129 x329 + 1.2 b153 x329 + 1.3 b177 x329 + 1.4 b201 x329 + 1.5 b225 x329 = 0 e885: - x352 + b113 x329 + 1.1 b137 x329 + 1.2 b161 x329 + 1.3 b185 x329 + 1.4 b209 x329 + 1.5 b233 x329 = 0 e886: - x353 + b121 x329 + 1.1 b145 x329 + 1.2 b169 x329 + 1.3 b193 x329 + 1.4 b217 x329 + 1.5 b241 x329 = 0 e887: - x354 + .33 i26 x322 + .26 i34 x322 + .48 i42 x322 + .44 i50 x322 + .711 i58 x322 + .35 i66 x322 + .3 i74 x322 + .45 i82 x322 + .45 i90 x322 = 0 e888: - x355 + .33 i27 x323 + .26 i35 x323 + .48 i43 x323 + .44 i51 x323 + .711 i59 x323 + .35 i67 x323 + .3 i75 x323 + .45 i83 x323 + .45 i91 x323 = 0 e889: - x356 + .33 i28 x324 + .26 i36 x324 + .48 i44 x324 + .44 i52 x324 + .711 i60 x324 + .35 i68 x324 + .3 i76 x324 + .45 i84 x324 + .45 i92 x324 = 0 e890: - x357 + .33 i29 x325 + .26 i37 x325 + .48 i45 x325 + .44 i53 x325 + .711 i61 x325 + .35 i69 x325 + .3 i77 x325 + .45 i85 x325 + .45 i93 x325 = 0 e891: - x358 + .33 i30 x326 + .26 i38 x326 + .48 i46 x326 + .44 i54 x326 + .711 i62 x326 + .35 i70 x326 + .3 i78 x326 + .45 i86 x326 + .45 i94 x326 = 0 e892: - x359 + .33 i31 x327 + .26 i39 x327 + .48 i47 x327 + .44 i55 x327 + .711 i63 x327 + .35 i71 x327 + .3 i79 x327 + .45 i87 x327 + .45 i95 x327 = 0 e893: - x360 + .33 i32 x328 + .26 i40 x328 + .48 i48 x328 + .44 i56 x328 + .711 i64 x328 + .35 i72 x328 + .3 i80 x328 + .45 i88 x328 + .45 i96 x328 = 0 e894: - x361 + .33 i33 x329 + .26 i41 x329 + .48 i49 x329 + .44 i57 x329 + .711 i65 x329 + .35 i73 x329 + .3 i81 x329 + .45 i89 x329 + .45 i97 x329 = 0 Bounds i26 <= 4 i27 <= 4 i28 <= 4 i29 <= 4 i30 <= 4 i31 <= 4 i32 <= 4 i33 <= 4 i34 <= 4 i35 <= 4 i36 <= 4 i37 <= 4 i38 <= 4 i39 <= 4 i40 <= 4 i41 <= 4 i42 <= 4 i43 <= 4 i44 <= 4 i45 <= 4 i46 <= 4 i47 <= 4 i48 <= 4 i49 <= 4 i50 <= 4 i51 <= 4 i52 <= 4 i53 <= 4 i54 <= 4 i55 <= 4 i56 <= 4 i57 <= 4 i58 <= 4 i59 <= 4 i60 <= 4 i61 <= 4 i62 <= 4 i63 <= 4 i64 <= 4 i65 <= 4 i66 <= 4 i67 <= 4 i68 <= 4 i69 <= 4 i70 <= 4 i71 <= 4 i72 <= 4 i73 <= 4 i74 <= 4 i75 <= 4 i76 <= 4 i77 <= 4 i78 <= 4 i79 <= 4 i80 <= 4 i81 <= 4 i82 <= 4 i83 <= 4 i84 <= 4 i85 <= 4 i86 <= 4 i87 <= 4 i88 <= 4 i89 <= 4 i90 <= 4 i91 <= 4 i92 <= 4 i93 <= 4 i94 <= 4 i95 <= 4 i96 <= 4 i97 <= 4 x242 <= 1 x243 <= 1 x244 <= 1 x245 <= 1 x246 <= 1 x247 <= 1 x248 <= 1 x249 <= 1 Binary 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 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 General i26 i27 i28 i29 i30 i31 i32 i33 i34 i35 i36 i37 i38 i39 i40 i41 i42 i43 i44 i45 i46 i47 i48 i49 i50 i51 i52 i53 i54 i55 i56 i57 i58 i59 i60 i61 i62 i63 i64 i65 i66 i67 i68 i69 i70 i71 i72 i73 i74 i75 i76 i77 i78 i79 i80 i81 i82 i83 i84 i85 i86 i87 i88 i89 i90 i91 i92 i93 i94 i95 i96 i97 End