\ Equation counts \ Total E G L N X C B \ 445 75 306 64 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 340 271 69 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1139 987 152 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 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 + x129 + x130 + x131 + x132 + x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 b332 + 0 b333 + 0 b334 + 0 b335 + 0 b336 + 0 b337 + 0 b338 + 0 b339 + 0 b340 Subject To e2: x272 - 2.02 x1 b69 >= 0 e3: x273 - 2.02 x2 b70 >= 0 e4: x274 - 2.02 x3 b71 >= 0 e5: x275 - 2.02 x4 b72 >= 0 e6: x276 - 4.01333333333334 x5 b73 >= 0 e7: x277 - 4.01333333333334 x6 b74 >= 0 e8: x278 - 4.01333333333334 x7 b75 >= 0 e9: x279 - 4.01333333333334 x8 b76 >= 0 e10: x280 - 4.76 x9 b77 >= 0 e11: x281 - 4.76 x10 b78 >= 0 e12: x282 - 4.76 x11 b79 >= 0 e13: x283 - 4.76 x12 b80 >= 0 e14: x284 - x13 x61 b81 >= 0 e15: x285 - x14 x61 b82 >= 0 e16: x286 - x15 x61 b83 >= 0 e17: x287 - x16 x61 b84 >= 0 e18: x288 - x17 x62 b85 >= 0 e19: x289 - x18 x62 b86 >= 0 e20: x290 - x19 x62 b87 >= 0 e21: x291 - x20 x62 b88 >= 0 e22: x292 - x21 x63 b89 >= 0 e23: x293 - x22 x63 b90 >= 0 e24: x294 - x23 x63 b91 >= 0 e25: x295 - x24 x63 b92 >= 0 e26: x296 - 6.59333333333334 x25 b93 >= 0 e27: x297 - 6.59333333333334 x26 b94 >= 0 e28: x298 - 6.59333333333334 x27 b95 >= 0 e29: x299 - 6.59333333333334 x28 b96 >= 0 e30: x300 - x29 x64 b97 >= 0 e31: x301 - x30 x64 b98 >= 0 e32: x302 - x31 x64 b99 >= 0 e33: x303 - x32 x64 b100 >= 0 e34: x304 - x33 x65 b101 >= 0 e35: x305 - x34 x65 b102 >= 0 e36: x306 - x35 x65 b103 >= 0 e37: x307 - x36 x65 b104 >= 0 e38: x308 - x37 x66 b105 >= 0 e39: x309 - x38 x66 b106 >= 0 e40: x310 - x39 x66 b107 >= 0 e41: x311 - x40 x66 b108 >= 0 e42: x312 - x41 x67 b109 >= 0 e43: x313 - x42 x67 b110 >= 0 e44: x314 - x43 x67 b111 >= 0 e45: x315 - x44 x67 b112 >= 0 e46: x316 - 80.9066666666666 x45 b113 >= 0 e47: x317 - 80.9066666666666 x46 b114 >= 0 e48: x318 - 80.9066666666666 x47 b115 >= 0 e49: x319 - 80.9066666666666 x48 b116 >= 0 e50: x320 - 26.1466666666666 x49 b117 >= 0 e51: x321 - 26.1466666666666 x50 b118 >= 0 e52: x322 - 26.1466666666666 x51 b119 >= 0 e53: x323 - 26.1466666666666 x52 b120 >= 0 e54: x324 - 38 x53 b121 >= 0 e55: x325 - 38 x54 b122 >= 0 e56: x326 - 38 x55 b123 >= 0 e57: x327 - 38 x56 b124 >= 0 e58: x328 - x57 x68 b125 >= 0 e59: x329 - x58 x68 b126 >= 0 e60: x330 - x59 x68 b127 >= 0 e61: x331 - x60 x68 b128 >= 0 e62: b69 + b70 + b71 + b72 = 1 e63: b73 + b74 + b75 + b76 = 1 e64: b77 + b78 + b79 + b80 = 1 e65: b81 + b82 + b83 + b84 = 1 e66: b85 + b86 + b87 + b88 = 1 e67: b89 + b90 + b91 + b92 = 1 e68: b93 + b94 + b95 + b96 = 1 e69: b97 + b98 + b99 + b100 = 1 e70: b101 + b102 + b103 + b104 = 1 e71: b105 + b106 + b107 + b108 = 1 e72: b109 + b110 + b111 + b112 = 1 e73: b113 + b114 + b115 + b116 = 1 e74: b117 + b118 + b119 + b120 = 1 e75: b121 + b122 + b123 + b124 = 1 e76: b125 + b126 + b127 + b128 = 1 e77: 2.02 b69 + 4.01333333333333 b73 + 4.76 b77 + 5.96 b81 + 42.0933333333333 b85 + 99.28 b89 + 6.59333333333333 b93 + 61.8666666666667 b97 + 56.2866666666667 b101 + 41.5 b105 + 62.4933333333333 b109 + 80.9066666666667 b113 + 26.1466666666667 b117 + 38 b121 + 62.24 b125 <= 153.54 e78: 2.02 b70 + 4.01333333333333 b74 + 4.76 b78 + 5.96 b82 + 42.0933333333333 b86 + 99.28 b90 + 6.59333333333333 b94 + 61.8666666666667 b98 + 56.2866666666667 b102 + 41.5 b106 + 62.4933333333333 b110 + 80.9066666666667 b114 + 26.1466666666667 b118 + 38 b122 + 62.24 b126 <= 153.54 e79: 2.02 b71 + 4.01333333333333 b75 + 4.76 b79 + 5.96 b83 + 42.0933333333333 b87 + 99.28 b91 + 6.59333333333333 b95 + 61.8666666666667 b99 + 56.2866666666667 b103 + 41.5 b107 + 62.4933333333333 b111 + 80.9066666666667 b115 + 26.1466666666667 b119 + 38 b123 + 62.24 b127 <= 153.54 e80: 2.02 b72 + 4.01333333333333 b76 + 4.76 b80 + 5.96 b84 + 42.0933333333333 b88 + 99.28 b92 + 6.59333333333333 b96 + 61.8666666666667 b100 + 56.2866666666667 b104 + 41.5 b108 + 62.4933333333333 b112 + 80.9066666666667 b116 + 26.1466666666667 b120 + 38 b124 + 62.24 b128 <= 153.54 e81: x144 + x152 >= .29424122 e82: x145 + x153 >= .29424122 e83: x146 + x154 >= .29424122 e84: x147 + x155 >= .29424122 e85: x144 + x156 >= .29760193 e86: x145 + x157 >= .29760193 e87: x146 + x158 >= .29760193 e88: x147 + x159 >= .29760193 e89: x144 + x160 >= .35149534 e90: x145 + x161 >= .35149534 e91: x146 + x162 >= .35149534 e92: x147 + x163 >= .35149534 e93: x144 + x164 >= .30458283 e94: x145 + x165 >= .30458283 e95: x146 + x166 >= .30458283 e96: x147 + x167 >= .30458283 e97: x144 + x168 >= .29951066 e98: x145 + x169 >= .29951066 e99: x146 + x170 >= .29951066 e100: x147 + x171 >= .29951066 e101: x144 + x172 >= .30694357 e102: x145 + x173 >= .30694357 e103: x146 + x174 >= .30694357 e104: x147 + x175 >= .30694357 e105: x144 + x176 >= .33520661 e106: x145 + x177 >= .33520661 e107: x146 + x178 >= .33520661 e108: x147 + x179 >= .33520661 e109: x144 + x180 >= .3400071 e110: x145 + x181 >= .3400071 e111: x146 + x182 >= .3400071 e112: x147 + x183 >= .3400071 e113: x144 + x184 >= .35227087 e114: x145 + x185 >= .35227087 e115: x146 + x186 >= .35227087 e116: x147 + x187 >= .35227087 e117: x144 + x188 >= .34225726 e118: x145 + x189 >= .34225726 e119: x146 + x190 >= .34225726 e120: x147 + x191 >= .34225726 e121: x144 + x192 >= .32776566 e122: x145 + x193 >= .32776566 e123: x146 + x194 >= .32776566 e124: x147 + x195 >= .32776566 e125: x144 + x196 >= .30438256 e126: x145 + x197 >= .30438256 e127: x146 + x198 >= .30438256 e128: x147 + x199 >= .30438256 e129: x144 + x200 >= .28538336 e130: x145 + x201 >= .28538336 e131: x146 + x202 >= .28538336 e132: x147 + x203 >= .28538336 e133: x144 + x204 >= .27950575 e134: x145 + x205 >= .27950575 e135: x146 + x206 >= .27950575 e136: x147 + x207 >= .27950575 e137: - x144 + x152 >= -.29424122 e138: - x145 + x153 >= -.29424122 e139: - x146 + x154 >= -.29424122 e140: - x147 + x155 >= -.29424122 e141: - x144 + x156 >= -.29760193 e142: - x145 + x157 >= -.29760193 e143: - x146 + x158 >= -.29760193 e144: - x147 + x159 >= -.29760193 e145: - x144 + x160 >= -.35149534 e146: - x145 + x161 >= -.35149534 e147: - x146 + x162 >= -.35149534 e148: - x147 + x163 >= -.35149534 e149: - x144 + x164 >= -.30458283 e150: - x145 + x165 >= -.30458283 e151: - x146 + x166 >= -.30458283 e152: - x147 + x167 >= -.30458283 e153: - x144 + x168 >= -.29951066 e154: - x145 + x169 >= -.29951066 e155: - x146 + x170 >= -.29951066 e156: - x147 + x171 >= -.29951066 e157: - x144 + x172 >= -.30694357 e158: - x145 + x173 >= -.30694357 e159: - x146 + x174 >= -.30694357 e160: - x147 + x175 >= -.30694357 e161: - x144 + x176 >= -.33520661 e162: - x145 + x177 >= -.33520661 e163: - x146 + x178 >= -.33520661 e164: - x147 + x179 >= -.33520661 e165: - x144 + x180 >= -.3400071 e166: - x145 + x181 >= -.3400071 e167: - x146 + x182 >= -.3400071 e168: - x147 + x183 >= -.3400071 e169: - x144 + x188 >= -.34225726 e170: - x145 + x189 >= -.34225726 e171: - x146 + x190 >= -.34225726 e172: - x147 + x191 >= -.34225726 e173: - x144 + x192 >= -.32776566 e174: - x145 + x193 >= -.32776566 e175: - x146 + x194 >= -.32776566 e176: - x147 + x195 >= -.32776566 e177: - x144 + x196 >= -.30438256 e178: - x145 + x197 >= -.30438256 e179: - x146 + x198 >= -.30438256 e180: - x147 + x199 >= -.30438256 e181: - x144 + x200 >= -.28538336 e182: - x145 + x201 >= -.28538336 e183: - x146 + x202 >= -.28538336 e184: - x147 + x203 >= -.28538336 e185: - x144 + x204 >= -.27950575 e186: - x145 + x205 >= -.27950575 e187: - x146 + x206 >= -.27950575 e188: - x147 + x207 >= -.27950575 e189: - x144 + x208 >= -.25788969 e190: - x145 + x209 >= -.25788969 e191: - x146 + x210 >= -.25788969 e192: - x147 + x211 >= -.25788969 e193: x148 + x216 >= -.9536939 e194: x149 + x217 >= -.9536939 e195: x150 + x218 >= -.9536939 e196: x151 + x219 >= -.9536939 e197: x148 + x220 >= -.9004898 e198: x149 + x221 >= -.9004898 e199: x150 + x222 >= -.9004898 e200: x151 + x223 >= -.9004898 e201: x148 + x224 >= -.9114032 e202: x149 + x225 >= -.9114032 e203: x150 + x226 >= -.9114032 e204: x151 + x227 >= -.9114032 e205: x148 + x228 >= -.90071532 e206: x149 + x229 >= -.90071532 e207: x150 + x230 >= -.90071532 e208: x151 + x231 >= -.90071532 e209: x148 + x232 >= -.88043054 e210: x149 + x233 >= -.88043054 e211: x150 + x234 >= -.88043054 e212: x151 + x235 >= -.88043054 e213: x148 + x236 >= -.8680249 e214: x149 + x237 >= -.8680249 e215: x150 + x238 >= -.8680249 e216: x151 + x239 >= -.8680249 e217: x148 + x240 >= -.81034814 e218: x149 + x241 >= -.81034814 e219: x150 + x242 >= -.81034814 e220: x151 + x243 >= -.81034814 e221: x148 + x244 >= -.80843127 e222: x149 + x245 >= -.80843127 e223: x150 + x246 >= -.80843127 e224: x151 + x247 >= -.80843127 e225: x148 + x248 >= -.7794471 e226: x149 + x249 >= -.7794471 e227: x150 + x250 >= -.7794471 e228: x151 + x251 >= -.7794471 e229: x148 + x252 >= -.79930922 e230: x149 + x253 >= -.79930922 e231: x150 + x254 >= -.79930922 e232: x151 + x255 >= -.79930922 e233: x148 + x256 >= -.84280733 e234: x149 + x257 >= -.84280733 e235: x150 + x258 >= -.84280733 e236: x151 + x259 >= -.84280733 e237: x148 + x260 >= -.81379236 e238: x149 + x261 >= -.81379236 e239: x150 + x262 >= -.81379236 e240: x151 + x263 >= -.81379236 e241: x148 + x264 >= -.82457178 e242: x149 + x265 >= -.82457178 e243: x150 + x266 >= -.82457178 e244: x151 + x267 >= -.82457178 e245: x148 + x268 >= -.80226439 e246: x149 + x269 >= -.80226439 e247: x150 + x270 >= -.80226439 e248: x151 + x271 >= -.80226439 e249: - x148 + x212 >= .98493628 e250: - x149 + x213 >= .98493628 e251: - x150 + x214 >= .98493628 e252: - x151 + x215 >= .98493628 e253: - x148 + x216 >= .9536939 e254: - x149 + x217 >= .9536939 e255: - x150 + x218 >= .9536939 e256: - x151 + x219 >= .9536939 e257: - x148 + x220 >= .9004898 e258: - x149 + x221 >= .9004898 e259: - x150 + x222 >= .9004898 e260: - x151 + x223 >= .9004898 e261: - x148 + x224 >= .9114032 e262: - x149 + x225 >= .9114032 e263: - x150 + x226 >= .9114032 e264: - x151 + x227 >= .9114032 e265: - x148 + x228 >= .90071532 e266: - x149 + x229 >= .90071532 e267: - x150 + x230 >= .90071532 e268: - x151 + x231 >= .90071532 e269: - x148 + x232 >= .88043054 e270: - x149 + x233 >= .88043054 e271: - x150 + x234 >= .88043054 e272: - x151 + x235 >= .88043054 e273: - x148 + x236 >= .8680249 e274: - x149 + x237 >= .8680249 e275: - x150 + x238 >= .8680249 e276: - x151 + x239 >= .8680249 e277: - x148 + x240 >= .81034814 e278: - x149 + x241 >= .81034814 e279: - x150 + x242 >= .81034814 e280: - x151 + x243 >= .81034814 e281: - x148 + x244 >= .80843127 e282: - x149 + x245 >= .80843127 e283: - x150 + x246 >= .80843127 e284: - x151 + x247 >= .80843127 e285: - x148 + x252 >= .79930922 e286: - x149 + x253 >= .79930922 e287: - x150 + x254 >= .79930922 e288: - x151 + x255 >= .79930922 e289: - x148 + x256 >= .84280733 e290: - x149 + x257 >= .84280733 e291: - x150 + x258 >= .84280733 e292: - x151 + x259 >= .84280733 e293: - x148 + x260 >= .81379236 e294: - x149 + x261 >= .81379236 e295: - x150 + x262 >= .81379236 e296: - x151 + x263 >= .81379236 e297: - x148 + x264 >= .82457178 e298: - x149 + x265 >= .82457178 e299: - x150 + x266 >= .82457178 e300: - x151 + x267 >= .82457178 e301: - x148 + x268 >= .80226439 e302: - x149 + x269 >= .80226439 e303: - x150 + x270 >= .80226439 e304: - x151 + x271 >= .80226439 e305: x1 - x152 - x212 = 0 e306: x2 - x153 - x213 = 0 e307: x3 - x154 - x214 = 0 e308: x4 - x155 - x215 = 0 e309: x5 - x156 - x216 = 0 e310: x6 - x157 - x217 = 0 e311: x7 - x158 - x218 = 0 e312: x8 - x159 - x219 = 0 e313: x9 - x160 - x220 = 0 e314: x10 - x161 - x221 = 0 e315: x11 - x162 - x222 = 0 e316: x12 - x163 - x223 = 0 e317: x13 - x164 - x224 = 0 e318: x14 - x165 - x225 = 0 e319: x15 - x166 - x226 = 0 e320: x16 - x167 - x227 = 0 e321: x17 - x168 - x228 = 0 e322: x18 - x169 - x229 = 0 e323: x19 - x170 - x230 = 0 e324: x20 - x171 - x231 = 0 e325: x21 - x172 - x232 = 0 e326: x22 - x173 - x233 = 0 e327: x23 - x174 - x234 = 0 e328: x24 - x175 - x235 = 0 e329: x25 - x176 - x236 = 0 e330: x26 - x177 - x237 = 0 e331: x27 - x178 - x238 = 0 e332: x28 - x179 - x239 = 0 e333: x29 - x180 - x240 = 0 e334: x30 - x181 - x241 = 0 e335: x31 - x182 - x242 = 0 e336: x32 - x183 - x243 = 0 e337: x33 - x184 - x244 = 0 e338: x34 - x185 - x245 = 0 e339: x35 - x186 - x246 = 0 e340: x36 - x187 - x247 = 0 e341: x37 - x188 - x248 = 0 e342: x38 - x189 - x249 = 0 e343: x39 - x190 - x250 = 0 e344: x40 - x191 - x251 = 0 e345: x41 - x192 - x252 = 0 e346: x42 - x193 - x253 = 0 e347: x43 - x194 - x254 = 0 e348: x44 - x195 - x255 = 0 e349: x45 - x196 - x256 = 0 e350: x46 - x197 - x257 = 0 e351: x47 - x198 - x258 = 0 e352: x48 - x199 - x259 = 0 e353: x49 - x200 - x260 = 0 e354: x50 - x201 - x261 = 0 e355: x51 - x202 - x262 = 0 e356: x52 - x203 - x263 = 0 e357: x53 - x204 - x264 = 0 e358: x54 - x205 - x265 = 0 e359: x55 - x206 - x266 = 0 e360: x56 - x207 - x267 = 0 e361: x57 - x208 - x268 = 0 e362: x58 - x209 - x269 = 0 e363: x59 - x210 - x270 = 0 e364: x60 - x211 - x271 = 0 e365: b333 + b334 >= 1 e366: b332 + b334 >= 1 e367: b332 + b333 >= 1 e368: b334 + b336 >= 1 e369: b334 + b335 >= 1 e370: b333 + b336 >= 1 e371: b333 + b335 >= 1 e372: b332 + b336 >= 1 e373: b332 + b335 >= 1 e374: x61 - 5.96 b332 >= 0 e375: x62 - 42.0933333333333 b333 >= 0 e376: x63 - 99.28 b334 >= 0 e377: x64 - 61.8666666666667 b335 >= 0 e378: x65 - 56.2866666666667 b336 >= 0 e379: x66 - 39.6133333333333 b337 >= 0 e380: x66 - 41.5 b338 >= 0 e381: x67 - 62.4933333333333 b339 >= 0 e382: x68 - 62.24 b340 >= 0 e383: - x129 + x272 <= 0 e384: - x129 + x273 <= 0 e385: - x129 + x274 <= 0 e386: - x129 + x275 <= 0 e387: - x130 + x276 <= 0 e388: - x130 + x277 <= 0 e389: - x130 + x278 <= 0 e390: - x130 + x279 <= 0 e391: - x131 + x280 <= 0 e392: - x131 + x281 <= 0 e393: - x131 + x282 <= 0 e394: - x131 + x283 <= 0 e395: - x132 + x284 <= 0 e396: - x132 + x285 <= 0 e397: - x132 + x286 <= 0 e398: - x132 + x287 <= 0 e399: - x133 + x288 <= 0 e400: - x133 + x289 <= 0 e401: - x133 + x290 <= 0 e402: - x133 + x291 <= 0 e403: - x134 + x292 <= 0 e404: - x134 + x293 <= 0 e405: - x134 + x294 <= 0 e406: - x134 + x295 <= 0 e407: - x135 + x296 <= 0 e408: - x135 + x297 <= 0 e409: - x135 + x298 <= 0 e410: - x135 + x299 <= 0 e411: - x136 + x300 <= 0 e412: - x136 + x301 <= 0 e413: - x136 + x302 <= 0 e414: - x136 + x303 <= 0 e415: - x137 + x304 <= 0 e416: - x137 + x305 <= 0 e417: - x137 + x306 <= 0 e418: - x137 + x307 <= 0 e419: - x138 + x308 <= 0 e420: - x138 + x309 <= 0 e421: - x138 + x310 <= 0 e422: - x138 + x311 <= 0 e423: - x139 + x312 <= 0 e424: - x139 + x313 <= 0 e425: - x139 + x314 <= 0 e426: - x139 + x315 <= 0 e427: - x140 + x316 <= 0 e428: - x140 + x317 <= 0 e429: - x140 + x318 <= 0 e430: - x140 + x319 <= 0 e431: - x141 + x320 <= 0 e432: - x141 + x321 <= 0 e433: - x141 + x322 <= 0 e434: - x141 + x323 <= 0 e435: - x142 + x324 <= 0 e436: - x142 + x325 <= 0 e437: - x142 + x326 <= 0 e438: - x142 + x327 <= 0 e439: - x143 + x328 <= 0 e440: - x143 + x329 <= 0 e441: - x143 + x330 <= 0 e442: - x143 + x331 <= 0 e443: b337 - b338 >= 0 e444: x148 - x149 >= 0 e445: x149 - x150 >= 0 e446: x150 - x151 >= 0 Bounds x1 <= .26351883 x2 <= .26351883 x3 <= .26351883 x4 <= .26351883 x5 <= .22891574 x6 <= .22891574 x7 <= .22891574 x8 <= .22891574 x9 <= .21464835 x10 <= .21464835 x11 <= .21464835 x12 <= .21464835 x13 <= .17964414 x14 <= .17964414 x15 <= .17964414 x16 <= .17964414 x17 <= .17402843 x18 <= .17402843 x19 <= .17402843 x20 <= .17402843 x21 <= .15355962 x22 <= .15355962 x23 <= .15355962 x24 <= .15355962 x25 <= .1942283 x26 <= .1942283 x27 <= .1942283 x28 <= .1942283 x29 <= .25670555 x30 <= .25670555 x31 <= .25670555 x32 <= .25670555 x33 <= .27088619 x34 <= .27088619 x35 <= .27088619 x36 <= .27088619 x37 <= .28985675 x38 <= .28985675 x39 <= .28985675 x40 <= .28985675 x41 <= .25550303 x42 <= .25550303 x43 <= .25550303 x44 <= .25550303 x45 <= .19001726 x46 <= .19001726 x47 <= .19001726 x48 <= .19001726 x49 <= .23803143 x50 <= .23803143 x51 <= .23803143 x52 <= .23803143 x53 <= .23312962 x54 <= .23312962 x55 <= .23312962 x56 <= .23312962 x57 <= .27705307 x58 <= .27705307 x59 <= .27705307 x60 <= .27705307 5.68 <= x61 <= 5.96 40.18 <= x62 <= 42.0933333333333 94.7666666666667 <= x63 <= 99.28 59.0533333333333 <= x64 <= 61.8666666666667 53.7333333333333 <= x65 <= 56.2866666666667 37.7266666666667 <= x66 <= 41.5 59.6466666666667 <= x67 <= 62.4933333333333 59.2733333333333 <= x68 <= 62.24 x129 <= .5323080366 x130 <= .918715169866666 x131 <= 1.021726146 x132 <= 1.0706790744 x133 <= 7.32543671346667 x134 <= 15.2453990736 x135 <= 1.28061192466667 x136 <= 15.8815166933333 x137 <= 15.2472806811333 x138 <= 12.029055125 x139 <= 15.9672360214667 x140 <= 15.3736631157333 x141 <= 6.2237284564 x142 <= 8.85892556 x143 <= 17.2437830768 .25788969 <= x144 <= .35227087 .25788969 <= x145 <= .35227087 .25788969 <= x146 <= .35227087 .25788969 <= x147 <= .35227087 -.98493628 <= x148 <= -.7794471 -.98493628 <= x149 <= -.7794471 -.98493628 <= x150 <= -.7794471 -.98493628 <= x151 <= -.7794471 x152 <= 5.80296499999999e-2 x153 <= 5.80296499999999e-2 x154 <= 5.80296499999999e-2 x155 <= 5.80296499999999e-2 x156 <= 5.46689399999999e-2 x157 <= 5.46689399999999e-2 x158 <= 5.46689399999999e-2 x159 <= 5.46689399999999e-2 x160 <= 9.360565e-2 x161 <= 9.360565e-2 x162 <= 9.360565e-2 x163 <= 9.360565e-2 x164 <= 4.76880399999999e-2 x165 <= 4.76880399999999e-2 x166 <= 4.76880399999999e-2 x167 <= 4.76880399999999e-2 x168 <= 5.276021e-2 x169 <= 5.276021e-2 x170 <= 5.276021e-2 x171 <= 5.276021e-2 x172 <= 4.905388e-2 x173 <= 4.905388e-2 x174 <= 4.905388e-2 x175 <= 4.905388e-2 x176 <= 7.731692e-2 x177 <= 7.731692e-2 x178 <= 7.731692e-2 x179 <= 7.731692e-2 x180 <= 8.211741e-2 x181 <= 8.211741e-2 x182 <= 8.211741e-2 x183 <= 8.211741e-2 x184 <= 9.438118e-2 x185 <= 9.438118e-2 x186 <= 9.438118e-2 x187 <= 9.438118e-2 x188 <= 8.436757e-2 x189 <= 8.436757e-2 x190 <= 8.436757e-2 x191 <= 8.436757e-2 x192 <= 6.987597e-2 x193 <= 6.987597e-2 x194 <= 6.987597e-2 x195 <= 6.987597e-2 x196 <= 4.788831e-2 x197 <= 4.788831e-2 x198 <= 4.788831e-2 x199 <= 4.788831e-2 x200 <= 6.68875099999999e-2 x201 <= 6.68875099999999e-2 x202 <= 6.68875099999999e-2 x203 <= 6.68875099999999e-2 x204 <= 7.276512e-2 x205 <= 7.276512e-2 x206 <= 7.276512e-2 x207 <= 7.276512e-2 x208 <= 9.438118e-2 x209 <= 9.438118e-2 x210 <= 9.438118e-2 x211 <= 9.438118e-2 x212 <= .20548918 x213 <= .20548918 x214 <= .20548918 x215 <= .20548918 x216 <= .1742468 x217 <= .1742468 x218 <= .1742468 x219 <= .1742468 x220 <= .1210427 x221 <= .1210427 x222 <= .1210427 x223 <= .1210427 x224 <= .1319561 x225 <= .1319561 x226 <= .1319561 x227 <= .1319561 x228 <= .12126822 x229 <= .12126822 x230 <= .12126822 x231 <= .12126822 x232 <= .10450574 x233 <= .10450574 x234 <= .10450574 x235 <= .10450574 x236 <= .11691138 x237 <= .11691138 x238 <= .11691138 x239 <= .11691138 x240 <= .17458814 x241 <= .17458814 x242 <= .17458814 x243 <= .17458814 x244 <= .17650501 x245 <= .17650501 x246 <= .17650501 x247 <= .17650501 x248 <= .20548918 x249 <= .20548918 x250 <= .20548918 x251 <= .20548918 x252 <= .18562706 x253 <= .18562706 x254 <= .18562706 x255 <= .18562706 x256 <= .14212895 x257 <= .14212895 x258 <= .14212895 x259 <= .14212895 x260 <= .17114392 x261 <= .17114392 x262 <= .17114392 x263 <= .17114392 x264 <= .1603645 x265 <= .1603645 x266 <= .1603645 x267 <= .1603645 x268 <= .18267189 x269 <= .18267189 x270 <= .18267189 x271 <= .18267189 x272 <= .5323080366 x273 <= .5323080366 x274 <= .5323080366 x275 <= .5323080366 x276 <= .918715169866666 x277 <= .918715169866666 x278 <= .918715169866666 x279 <= .918715169866666 x280 <= 1.021726146 x281 <= 1.021726146 x282 <= 1.021726146 x283 <= 1.021726146 x284 <= 1.0706790744 x285 <= 1.0706790744 x286 <= 1.0706790744 x287 <= 1.0706790744 x288 <= 7.32543671346667 x289 <= 7.32543671346667 x290 <= 7.32543671346667 x291 <= 7.32543671346667 x292 <= 15.2453990736 x293 <= 15.2453990736 x294 <= 15.2453990736 x295 <= 15.2453990736 x296 <= 1.28061192466667 x297 <= 1.28061192466667 x298 <= 1.28061192466667 x299 <= 1.28061192466667 x300 <= 15.8815166933333 x301 <= 15.8815166933333 x302 <= 15.8815166933333 x303 <= 15.8815166933333 x304 <= 15.2472806811333 x305 <= 15.2472806811333 x306 <= 15.2472806811333 x307 <= 15.2472806811333 x308 <= 12.029055125 x309 <= 12.029055125 x310 <= 12.029055125 x311 <= 12.029055125 x312 <= 15.9672360214667 x313 <= 15.9672360214667 x314 <= 15.9672360214667 x315 <= 15.9672360214667 x316 <= 15.3736631157333 x317 <= 15.3736631157333 x318 <= 15.3736631157333 x319 <= 15.3736631157333 x320 <= 6.2237284564 x321 <= 6.2237284564 x322 <= 6.2237284564 x323 <= 6.2237284564 x324 <= 8.85892556 x325 <= 8.85892556 x326 <= 8.85892556 x327 <= 8.85892556 x328 <= 17.2437830768 x329 <= 17.2437830768 x330 <= 17.2437830768 x331 <= 17.2437830768 Binary 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 b332 b333 b334 b335 b336 b337 b338 b339 b340 End