## ams_version=1.0 Model Main_watersym2 { Variable x1 { Range: nonnegative; } Variable x2 { Range: nonnegative; } Variable x3 { Range: nonnegative; } Variable x4 { Range: nonnegative; } Variable x5 { Range: nonnegative; } Variable x6 { Range: nonnegative; } Variable x7 { Range: nonnegative; } Variable x8 { Range: nonnegative; } Variable x9 { Range: nonnegative; } Variable x10 { Range: nonnegative; } Variable x11 { Range: nonnegative; } Variable x12 { Range: nonnegative; } Variable x13 { Range: nonnegative; } Variable x14 { Range: nonnegative; } Variable x15 { Range: nonnegative; } Variable x16 { Range: nonnegative; } Variable x17 { Range: nonnegative; } Variable x18 { Range: nonnegative; } Variable x19 { Range: nonnegative; } Variable x20 { Range: nonnegative; } Variable x21 { Range: nonnegative; } Variable x22 { Range: nonnegative; } Variable x23 { Range: nonnegative; } Variable x24 { Range: nonnegative; } Variable x25 { Range: nonnegative; } Variable x26 { Range: nonnegative; } Variable x27 { Range: nonnegative; } Variable x28 { Range: nonnegative; } Variable x29; Variable x30; Variable x31; Variable x32; Variable x33; Variable x34; Variable x35; Variable x36; Variable x37; Variable x38; Variable x39; Variable x40; Variable x41; Variable x42; Variable x43; Variable x44; Variable x45; Variable x46; Variable x47; Variable x48; Variable x49; Variable x50; Variable x51; Variable x52; Variable x53; Variable x54; Variable x55; Variable x56; Variable x57; Variable x58; Variable x59; Variable x60; Variable x61; Variable x62; Variable x63; Variable x64; Variable x65; Variable x66; Variable x67; Variable x68; Variable x69; Variable x70; Variable x71; Variable x72; Variable x73; Variable x74; Variable x75; Variable x76; Variable x77; Variable x78; Variable x79; Variable x80; Variable x81; Variable x82; Variable x83; Variable x84; Variable x85; Variable x86; Variable x87; Variable x88; Variable x89; Variable x90; Variable x91; Variable x92; Variable x93 { Range: nonnegative; } Variable x94 { Range: nonnegative; } Variable x95; Variable x96; Variable x97; Variable objvar; Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } Variable b112 { Range: binary; } Variable b113 { Range: binary; } Variable b114 { Range: binary; } Variable b115 { Range: binary; } Variable b116 { Range: binary; } Variable b117 { Range: binary; } Variable b118 { Range: binary; } Variable b119 { Range: binary; } Variable b120 { Range: binary; } Variable b121 { Range: binary; } Variable b122 { Range: binary; } Variable b123 { Range: binary; } Variable b124 { Range: binary; } Variable b125 { Range: binary; } Variable b126 { Range: binary; } Variable s1s1_127 { Range: binary; } Variable s1s1_128 { Range: binary; } Variable s1s1_129 { Range: binary; } Variable s1s1_130 { Range: binary; } Variable s1s1_131 { Range: binary; } Variable s1s1_132 { Range: binary; } Variable s1s1_133 { Range: binary; } Variable s1s2_134 { Range: binary; } Variable s1s2_135 { Range: binary; } Variable s1s2_136 { Range: binary; } Variable s1s2_137 { Range: binary; } Variable s1s2_138 { Range: binary; } Variable s1s2_139 { Range: binary; } Variable s1s2_140 { Range: binary; } Variable s1s3_141 { Range: binary; } Variable s1s3_142 { Range: binary; } Variable s1s3_143 { Range: binary; } Variable s1s3_144 { Range: binary; } Variable s1s3_145 { Range: binary; } Variable s1s3_146 { Range: binary; } Variable s1s3_147 { Range: binary; } Variable s1s4_148 { Range: binary; } Variable s1s4_149 { Range: binary; } Variable s1s4_150 { Range: binary; } Variable s1s4_151 { Range: binary; } Variable s1s4_152 { Range: binary; } Variable s1s4_153 { Range: binary; } Variable s1s4_154 { Range: binary; } Variable s1s5_155 { Range: binary; } Variable s1s5_156 { Range: binary; } Variable s1s5_157 { Range: binary; } Variable s1s5_158 { Range: binary; } Variable s1s5_159 { Range: binary; } Variable s1s5_160 { Range: binary; } Variable s1s5_161 { Range: binary; } Variable s1s6_162 { Range: binary; } Variable s1s6_163 { Range: binary; } Variable s1s6_164 { Range: binary; } Variable s1s6_165 { Range: binary; } Variable s1s6_166 { Range: binary; } Variable s1s6_167 { Range: binary; } Variable s1s6_168 { Range: binary; } Variable s1s7_169 { Range: binary; } Variable s1s7_170 { Range: binary; } Variable s1s7_171 { Range: binary; } Variable s1s7_172 { Range: binary; } Variable s1s7_173 { Range: binary; } Variable s1s7_174 { Range: binary; } Variable s1s7_175 { Range: binary; } Variable s1s8_176 { Range: binary; } Variable s1s8_177 { Range: binary; } Variable s1s8_178 { Range: binary; } Variable s1s8_179 { Range: binary; } Variable s1s8_180 { Range: binary; } Variable s1s8_181 { Range: binary; } Variable s1s8_182 { Range: binary; } Variable s1s9_183 { Range: binary; } Variable s1s9_184 { Range: binary; } Variable s1s9_185 { Range: binary; } Variable s1s9_186 { Range: binary; } Variable s1s9_187 { Range: binary; } Variable s1s9_188 { Range: binary; } Variable s1s9_189 { Range: binary; } Variable s1s10_190 { Range: binary; } Variable s1s10_191 { Range: binary; } Variable s1s10_192 { Range: binary; } Variable s1s10_193 { Range: binary; } Variable s1s10_194 { Range: binary; } Variable s1s10_195 { Range: binary; } Variable s1s10_196 { Range: binary; } Variable s1s11_197 { Range: binary; } Variable s1s11_198 { Range: binary; } Variable s1s11_199 { Range: binary; } Variable s1s11_200 { Range: binary; } Variable s1s11_201 { Range: binary; } Variable s1s11_202 { Range: binary; } Variable s1s11_203 { Range: binary; } Variable s1s12_204 { Range: binary; } Variable s1s12_205 { Range: binary; } Variable s1s12_206 { Range: binary; } Variable s1s12_207 { Range: binary; } Variable s1s12_208 { Range: binary; } Variable s1s12_209 { Range: binary; } Variable s1s12_210 { Range: binary; } Variable s1s13_211 { Range: binary; } Variable s1s13_212 { Range: binary; } Variable s1s13_213 { Range: binary; } Variable s1s13_214 { Range: binary; } Variable s1s13_215 { Range: binary; } Variable s1s13_216 { Range: binary; } Variable s1s13_217 { Range: binary; } Variable s1s14_218 { Range: binary; } Variable s1s14_219 { Range: binary; } Variable s1s14_220 { Range: binary; } Variable s1s14_221 { Range: binary; } Variable s1s14_222 { Range: binary; } Variable s1s14_223 { Range: binary; } Variable s1s14_224 { Range: binary; } Variable s1s15_225 { Range: binary; } Variable s1s15_226 { Range: binary; } Variable s1s15_227 { Range: binary; } Variable s1s15_228 { Range: binary; } Variable s1s15_229 { Range: binary; } Variable s1s15_230 { Range: binary; } Variable s1s15_231 { Range: binary; } Variable s1s16_232 { Range: binary; } Variable s1s16_233 { Range: binary; } Variable s1s16_234 { Range: binary; } Variable s1s16_235 { Range: binary; } Variable s1s16_236 { Range: binary; } Variable s1s16_237 { Range: binary; } Variable s1s16_238 { Range: binary; } Variable s1s17_239 { Range: binary; } Variable s1s17_240 { Range: binary; } Variable s1s17_241 { Range: binary; } Variable s1s17_242 { Range: binary; } Variable s1s17_243 { Range: binary; } Variable s1s17_244 { Range: binary; } Variable s1s17_245 { Range: binary; } Variable s1s18_246 { Range: binary; } Variable s1s18_247 { Range: binary; } Variable s1s18_248 { Range: binary; } Variable s1s18_249 { Range: binary; } Variable s1s18_250 { Range: binary; } Variable s1s18_251 { Range: binary; } Variable s1s18_252 { Range: binary; } Variable s1s19_253 { Range: binary; } Variable s1s19_254 { Range: binary; } Variable s1s19_255 { Range: binary; } Variable s1s19_256 { Range: binary; } Variable s1s19_257 { Range: binary; } Variable s1s19_258 { Range: binary; } Variable s1s19_259 { Range: binary; } Variable s1s20_260 { Range: binary; } Variable s1s20_261 { Range: binary; } Variable s1s20_262 { Range: binary; } Variable s1s20_263 { Range: binary; } Variable s1s20_264 { Range: binary; } Variable s1s20_265 { Range: binary; } Variable s1s20_266 { Range: binary; } Variable s1s21_267 { Range: binary; } Variable s1s21_268 { Range: binary; } Variable s1s21_269 { Range: binary; } Variable s1s21_270 { Range: binary; } Variable s1s21_271 { Range: binary; } Variable s1s21_272 { Range: binary; } Variable s1s21_273 { Range: binary; } Variable s1s22_274 { Range: binary; } Variable s1s22_275 { Range: binary; } Variable s1s22_276 { Range: binary; } Variable s1s22_277 { Range: binary; } Variable s1s22_278 { Range: binary; } Variable s1s22_279 { Range: binary; } Variable s1s22_280 { Range: binary; } Variable s1s23_281 { Range: binary; } Variable s1s23_282 { Range: binary; } Variable s1s23_283 { Range: binary; } Variable s1s23_284 { Range: binary; } Variable s1s23_285 { Range: binary; } Variable s1s23_286 { Range: binary; } Variable s1s23_287 { Range: binary; } Variable s1s24_288 { Range: binary; } Variable s1s24_289 { Range: binary; } Variable s1s24_290 { Range: binary; } Variable s1s24_291 { Range: binary; } Variable s1s24_292 { Range: binary; } Variable s1s24_293 { Range: binary; } Variable s1s24_294 { Range: binary; } Variable s1s25_295 { Range: binary; } Variable s1s25_296 { Range: binary; } Variable s1s25_297 { Range: binary; } Variable s1s25_298 { Range: binary; } Variable s1s25_299 { Range: binary; } Variable s1s25_300 { Range: binary; } Variable s1s25_301 { Range: binary; } Variable s1s26_302 { Range: binary; } Variable s1s26_303 { Range: binary; } Variable s1s26_304 { Range: binary; } Variable s1s26_305 { Range: binary; } Variable s1s26_306 { Range: binary; } Variable s1s26_307 { Range: binary; } Variable s1s26_308 { Range: binary; } Variable s1s27_309 { Range: binary; } Variable s1s27_310 { Range: binary; } Variable s1s27_311 { Range: binary; } Variable s1s27_312 { Range: binary; } Variable s1s27_313 { Range: binary; } Variable s1s27_314 { Range: binary; } Variable s1s27_315 { Range: binary; } Variable s1s28_316 { Range: binary; } Variable s1s28_317 { Range: binary; } Variable s1s28_318 { Range: binary; } Variable s1s28_319 { Range: binary; } Variable s1s28_320 { Range: binary; } Variable s1s28_321 { Range: binary; } Variable s1s28_322 { Range: binary; } Constraint e1 { Definition: - x1 - x2 - x3 + x8 + x14 + x26 + x93 = 0; } Constraint e2 { Definition: - x4 - x5 - x6 - x7 + x9 + x20 + x24 + x27 + x94 = 0; } Constraint e3 { Definition: { x1 + x4 - x8 - x9 - x10 - x11 - x12 - x13 + x15 + x17 + x21 + x28 = 1.212 } } Constraint e4 { Definition: x2 + x10 - x14 - x15 - x16 + x18 = 0.452; } Constraint e5 { Definition: x11 + x16 - x17 - x18 - x19 + x22 = 0.245; } Constraint e6 { Definition: x5 + x12 + x19 - x20 - x21 - x22 - x23 + x25 = 0.652; } Constraint e7 { Definition: x6 + x23 - x24 - x25 = 0.252; } Constraint e8 { Definition: x3 + x7 + x13 - x26 - x27 - x28 = 0.456; } Constraint e9 { Definition: { x29 - 38721.1970117411*s1s1_127 - 2543.8701482414*s1s1_128 - 207.747320703761*s1s1_129 - 23.9314504121258*s1s1_130 - 1.5722267648148*s1s1_131 - 0.181112645550961*s1s1_132 - 0.0390863672545667*s1s1_133 = 0 } } Constraint e10 { Definition: { x30 - 32510.4890865135*s1s2_134 - 2135.84468132099*s1s2_135 - 174.425573683688*s1s2_136 - 20.0929521164322*s1s2_137 - 1.32004857865156*s1s2_138 - 0.152062982061963*s1s2_139 - 0.0328170876451919*s1s2_140 = 0 } } Constraint e11 { Definition: { x31 - 63468.4628982673*s1s3_141 - 4169.69361956223*s1s3_142 - 340.521578201805*s1s3_143 - 39.2263796008983*s1s3_144 - 2.57705917665854*s1s3_145 - 0.296864304610023*s1s3_146 - 0.0640670186196026*s1s3_147 = 0 } } Constraint e12 { Definition: { x32 - 50797.5773435889*s1s4_148 - 3337.25325093014*s1s4_149 - 272.539627020641*s1s4_150 - 31.3951994533022*s1s4_151 - 2.06257339263358*s1s4_152 - 0.237598120158509*s1s4_153 - 0.0512766370081929*s1s4_154 = 0 } } Constraint e13 { Definition: { x33 - 59165.7349698592*s1s5_155 - 3887.01689524085*s1s5_156 - 317.436542928413*s1s5_157 - 36.5670992066393*s1s5_158 - 2.40235218067626*s1s5_159 - 0.27673893405488*s1s5_160 - 0.0597237127048799*s1s5_161 = 0 } } Constraint e14 { Definition: { x34 - 32977.2294678044*s1s6_162 - 2166.50816836621*s1s6_163 - 176.929733450444*s1s6_164 - 20.3814187742893*s1s6_165 - 1.339*s1s6_166 - 0.154246090843839*s1s6_167 - 0.0332882297421199*s1s6_168 = 0 } } Constraint e15 { Definition: { x35 - 33843.9321019273*s1s7_169 - 2223.4480134252*s1s7_170 - 181.579774357788*s1s7_171 - 20.9170801874496*s1s7_172 - 1.37419139860501*s1s7_173 - 0.158299963634093*s1s7_174 - 0.0341631060391402*s1s7_175 = 0 } } Constraint e16 { Definition: { x36 - 38721.1970117411*s1s8_176 - 2543.8701482414*s1s8_177 - 207.747320703761*s1s8_178 - 23.9314504121258*s1s8_179 - 1.5722267648148*s1s8_180 - 0.181112645550961*s1s8_181 - 0.0390863672545667*s1s8_182 = 0 } } Constraint e17 { Definition: { x37 - 50797.5773435889*s1s9_183 - 3337.25325093014*s1s9_184 - 272.539627020641*s1s9_185 - 31.3951994533022*s1s9_186 - 2.06257339263358*s1s9_187 - 0.237598120158509*s1s9_188 - 0.0512766370081929*s1s9_189 = 0 } } Constraint e18 { Definition: { x38 - 31810.181054648*s1s10_190 - 2089.8364782095*s1s10_191 - 170.668274619734*s1s10_192 - 19.660130090483*s1s10_193 - 1.2916134290104*s1s10_194 - 0.148787395299671*s1s10_195 - 0.0321101751776739*s1s10_196 = 0 } } Constraint e19 { Definition: { x39 - 39461.9459070343*s1s11_197 - 2592.53519858857*s1s11_198 - 211.721593458417*s1s11_199 - 24.3892667200816*s1s11_200 - 1.60230396616872*s1s11_201 - 0.184577388442944*s1s11_202 - 0.0398341019735132*s1s11_203 = 0 } } Constraint e20 { Definition: { x40 - 32977.2294678044*s1s12_204 - 2166.50816836621*s1s12_205 - 176.929733450444*s1s12_206 - 20.3814187742893*s1s12_207 - 1.339*s1s12_208 - 0.154246090843839*s1s12_209 - 0.0332882297421199*s1s12_210 = 0 } } Constraint e21 { Definition: { x41 - 52785.5148814787*s1s13_211 - 3467.85497167945*s1s13_212 - 283.205327698691*s1s13_213 - 32.6238347301504*s1s13_214 - 2.14329116080854*s1s13_215 - 0.246896402610059*s1s13_216 - 0.0532833223041444*s1s13_217 = 0 } } Constraint e22 { Definition: { x42 - 32510.4890865135*s1s14_218 - 2135.84468132099*s1s14_219 - 174.425573683688*s1s14_220 - 20.0929521164322*s1s14_221 - 1.32004857865156*s1s14_222 - 0.152062982061963*s1s14_223 - 0.0328170876451919*s1s14_224 = 0 } } Constraint e23 { Definition: { x43 - 31810.181054648*s1s15_225 - 2089.8364782095*s1s15_226 - 170.668274619734*s1s15_227 - 19.660130090483*s1s15_228 - 1.2916134290104*s1s15_229 - 0.148787395299671*s1s15_230 - 0.0321101751776739*s1s15_231 = 0 } } Constraint e24 { Definition: { x44 - 30677.4142839491*s1s16_232 - 2015.41699236491*s1s16_233 - 164.590743970989*s1s16_234 - 18.9600290116536*s1s16_235 - 1.24561882211213*s1s16_236 - 0.143489047044288*s1s16_237 - 0.0309667255575633*s1s16_238 = 0 } } Constraint e25 { Definition: { x45 - 39461.9459070343*s1s17_239 - 2592.53519858857*s1s17_240 - 211.721593458417*s1s17_241 - 24.3892667200816*s1s17_242 - 1.60230396616872*s1s17_243 - 0.184577388442944*s1s17_244 - 0.0398341019735132*s1s17_245 = 0 } } Constraint e26 { Definition: { x46 - 30677.4142839491*s1s18_246 - 2015.41699236491*s1s18_247 - 164.590743970989*s1s18_248 - 18.9600290116536*s1s18_249 - 1.24561882211213*s1s18_250 - 0.143489047044288*s1s18_251 - 0.0309667255575633*s1s18_252 = 0 } } Constraint e27 { Definition: { x47 - 28361.2795383154*s1s19_253 - 1863.25366856746*s1s19_254 - 152.164196629274*s1s19_255 - 17.5285530220005*s1s19_256 - 1.15157500841239*s1s19_257 - 0.132655670919396*s1s19_258 - 0.0286287479053886*s1s19_259 = 0 } } Constraint e28 { Definition: { x48 - 59165.7349698592*s1s20_260 - 3887.01689524085*s1s20_261 - 317.436542928413*s1s20_262 - 36.5670992066393*s1s20_263 - 2.40235218067626*s1s20_264 - 0.27673893405488*s1s20_265 - 0.0597237127048799*s1s20_266 = 0 } } Constraint e29 { Definition: { x49 - 32977.2294678044*s1s21_267 - 2166.50816836621*s1s21_268 - 176.929733450444*s1s21_269 - 20.3814187742893*s1s21_270 - 1.339*s1s21_271 - 0.154246090843839*s1s21_272 - 0.0332882297421199*s1s21_273 = 0 } } Constraint e30 { Definition: { x50 - 28361.2795383154*s1s22_274 - 1863.25366856746*s1s22_275 - 152.164196629274*s1s22_276 - 17.5285530220005*s1s22_277 - 1.15157500841239*s1s22_278 - 0.132655670919396*s1s22_279 - 0.0286287479053886*s1s22_280 = 0 } } Constraint e31 { Definition: { x51 - 50797.5773435889*s1s23_281 - 3337.25325093014*s1s23_282 - 272.539627020641*s1s23_283 - 31.3951994533022*s1s23_284 - 2.06257339263358*s1s23_285 - 0.237598120158509*s1s23_286 - 0.0512766370081929*s1s23_287 = 0 } } Constraint e32 { Definition: { x52 - 32977.2294678044*s1s24_288 - 2166.50816836621*s1s24_289 - 176.929733450444*s1s24_290 - 20.3814187742893*s1s24_291 - 1.339*s1s24_292 - 0.154246090843839*s1s24_293 - 0.0332882297421199*s1s24_294 = 0 } } Constraint e33 { Definition: { x53 - 50797.5773435889*s1s25_295 - 3337.25325093014*s1s25_296 - 272.539627020641*s1s25_297 - 31.3951994533022*s1s25_298 - 2.06257339263358*s1s25_299 - 0.237598120158509*s1s25_300 - 0.0512766370081929*s1s25_301 = 0 } } Constraint e34 { Definition: { x54 - 63468.4628982673*s1s26_302 - 4169.69361956223*s1s26_303 - 340.521578201805*s1s26_304 - 39.2263796008983*s1s26_305 - 2.57705917665854*s1s26_306 - 0.296864304610023*s1s26_307 - 0.0640670186196026*s1s26_308 = 0 } } Constraint e35 { Definition: { x55 - 33843.9321019273*s1s27_309 - 2223.4480134252*s1s27_310 - 181.579774357788*s1s27_311 - 20.9170801874496*s1s27_312 - 1.37419139860501*s1s27_313 - 0.158299963634093*s1s27_314 - 0.0341631060391402*s1s27_315 = 0 } } Constraint e36 { Definition: { x56 - 52785.5148814787*s1s28_316 - 3467.85497167945*s1s28_317 - 283.205327698691*s1s28_318 - 32.6238347301504*s1s28_319 - 2.14329116080854*s1s28_320 - 0.246896402610059*s1s28_321 - 0.0532833223041444*s1s28_322 = 0 } } Constraint e37 { Definition: - sqr(x1)*x29 + x57 - x59 - x65 = 0; } Constraint e38 { Definition: - sqr(x2)*x30 + x57 - x60 - x66 = 0; } Constraint e39 { Definition: - sqr(x3)*x31 + x57 - x64 - x67 = 0; } Constraint e40 { Definition: - sqr(x4)*x32 + x58 - x59 - x68 = 0; } Constraint e41 { Definition: - sqr(x5)*x33 + x58 - x62 - x69 = 0; } Constraint e42 { Definition: - sqr(x6)*x34 + x58 - x63 - x70 = 0; } Constraint e43 { Definition: - sqr(x7)*x35 + x58 - x64 - x71 = 0; } Constraint e44 { Definition: - sqr(x8)*x36 - x57 + x59 - x72 = 0; } Constraint e45 { Definition: - sqr(x9)*x37 - x58 + x59 - x73 = 0; } Constraint e46 { Definition: - sqr(x10)*x38 + x59 - x60 - x74 = 0; } Constraint e47 { Definition: - sqr(x11)*x39 + x59 - x61 - x75 = 0; } Constraint e48 { Definition: - sqr(x12)*x40 + x59 - x62 - x76 = 0; } Constraint e49 { Definition: - sqr(x13)*x41 + x59 - x64 - x77 = 0; } Constraint e50 { Definition: - sqr(x14)*x42 - x57 + x60 - x78 = 0; } Constraint e51 { Definition: - sqr(x15)*x43 - x59 + x60 - x79 = 0; } Constraint e52 { Definition: - sqr(x16)*x44 + x60 - x61 - x80 = 0; } Constraint e53 { Definition: - sqr(x17)*x45 - x59 + x61 - x81 = 0; } Constraint e54 { Definition: - sqr(x18)*x46 - x60 + x61 - x82 = 0; } Constraint e55 { Definition: - sqr(x19)*x47 + x61 - x62 - x83 = 0; } Constraint e56 { Definition: - sqr(x20)*x48 - x58 + x62 - x84 = 0; } Constraint e57 { Definition: - sqr(x21)*x49 - x59 + x62 - x85 = 0; } Constraint e58 { Definition: - sqr(x22)*x50 - x61 + x62 - x86 = 0; } Constraint e59 { Definition: - sqr(x23)*x51 + x62 - x63 - x87 = 0; } Constraint e60 { Definition: - sqr(x24)*x52 - x58 + x63 - x88 = 0; } Constraint e61 { Definition: - sqr(x25)*x53 - x62 + x63 - x89 = 0; } Constraint e62 { Definition: - sqr(x26)*x54 - x57 + x64 - x90 = 0; } Constraint e63 { Definition: - sqr(x27)*x55 - x58 + x64 - x91 = 0; } Constraint e64 { Definition: - sqr(x28)*x56 - x59 + x64 - x92 = 0; } Constraint e65 { Definition: x65 + 12*b99 <= 12; } Constraint e66 { Definition: x66 + 12*b100 <= 12; } Constraint e67 { Definition: x67 + 12*b101 <= 12; } Constraint e68 { Definition: x68 + 12*b102 <= 12; } Constraint e69 { Definition: x69 + 12*b103 <= 12; } Constraint e70 { Definition: x70 + 12*b104 <= 12; } Constraint e71 { Definition: x71 + 12*b105 <= 12; } Constraint e72 { Definition: x72 + 12*b106 <= 12; } Constraint e73 { Definition: x73 + 12*b107 <= 12; } Constraint e74 { Definition: x74 + 12*b108 <= 12; } Constraint e75 { Definition: x75 + 12*b109 <= 12; } Constraint e76 { Definition: x76 + 12*b110 <= 12; } Constraint e77 { Definition: x77 + 12*b111 <= 12; } Constraint e78 { Definition: x78 + 12*b112 <= 12; } Constraint e79 { Definition: x79 + 12*b113 <= 12; } Constraint e80 { Definition: x80 + 12*b114 <= 12; } Constraint e81 { Definition: x81 + 12*b115 <= 12; } Constraint e82 { Definition: x82 + 12*b116 <= 12; } Constraint e83 { Definition: x83 + 12*b117 <= 12; } Constraint e84 { Definition: x84 + 12*b118 <= 12; } Constraint e85 { Definition: x85 + 12*b119 <= 12; } Constraint e86 { Definition: x86 + 12*b120 <= 12; } Constraint e87 { Definition: x87 + 12*b121 <= 12; } Constraint e88 { Definition: x88 + 12*b122 <= 12; } Constraint e89 { Definition: x89 + 12*b123 <= 12; } Constraint e90 { Definition: x90 + 12*b124 <= 12; } Constraint e91 { Definition: x91 + 12*b125 <= 12; } Constraint e92 { Definition: x92 + 12*b126 <= 12; } Constraint e93 { Definition: x65 - 12*b99 >= -12; } Constraint e94 { Definition: x66 - 12*b100 >= -12; } Constraint e95 { Definition: x67 - 12*b101 >= -12; } Constraint e96 { Definition: x68 - 12*b102 >= -12; } Constraint e97 { Definition: x69 - 12*b103 >= -12; } Constraint e98 { Definition: x70 - 12*b104 >= -12; } Constraint e99 { Definition: x71 - 12*b105 >= -12; } Constraint e100 { Definition: x72 - 12*b106 >= -12; } Constraint e101 { Definition: x73 - 12*b107 >= -12; } Constraint e102 { Definition: x74 - 12*b108 >= -12; } Constraint e103 { Definition: x75 - 12*b109 >= -12; } Constraint e104 { Definition: x76 - 12*b110 >= -12; } Constraint e105 { Definition: x77 - 12*b111 >= -12; } Constraint e106 { Definition: x78 - 12*b112 >= -12; } Constraint e107 { Definition: x79 - 12*b113 >= -12; } Constraint e108 { Definition: x80 - 12*b114 >= -12; } Constraint e109 { Definition: x81 - 12*b115 >= -12; } Constraint e110 { Definition: x82 - 12*b116 >= -12; } Constraint e111 { Definition: x83 - 12*b117 >= -12; } Constraint e112 { Definition: x84 - 12*b118 >= -12; } Constraint e113 { Definition: x85 - 12*b119 >= -12; } Constraint e114 { Definition: x86 - 12*b120 >= -12; } Constraint e115 { Definition: x87 - 12*b121 >= -12; } Constraint e116 { Definition: x88 - 12*b122 >= -12; } Constraint e117 { Definition: x89 - 12*b123 >= -12; } Constraint e118 { Definition: x90 - 12*b124 >= -12; } Constraint e119 { Definition: x91 - 12*b125 >= -12; } Constraint e120 { Definition: x92 - 12*b126 >= -12; } Constraint e121 { Definition: - (1.02*x93*(x57 - 6.5) + 1.02*x94*(x58 - 3.25)) + x95 = 0; } Constraint e122 { Definition: { x96 - 9.11349113439539*s1s1_127 - 17.6144733325531*s1s1_128 - 32.2986551864818*s1s1_129 - 54.4931814987685*s1s1_130 - 105.323928905069*s1s1_131 - 177.698914733437*s1s1_132 - 257.546555368226*s1s1_133 - 7.65172765642961*s1s2_134 - 14.7891900880288*s1s2_135 - 27.118094428506*s1s2_136 - 45.7527173518919*s1s2_137 - 88.4304387640365*s1s2_138 - 149.196798497086*s1s2_139 - 216.237232413786*s1s2_140 - 14.9380525029139*s1s3_141 - 28.8721329260735*s1s3_142 - 52.941183552398*s1s3_143 - 89.3205462402005*s1s3_144 - 172.637944844116*s1s3_145 - 291.268810037089*s1s3_146 - 422.148209648796*s1s3_147 - 11.9558099050809*s1s4_148 - 23.1080813747994*s1s4_149 - 42.3719709499612*s1s4_150 - 71.4885338137291*s1s4_151 - 138.172392322055*s1s4_152 - 233.119713791557*s1s4_153 - 337.870264236031*s1s4_154 - 13.9253546563734*s1s5_155 - 26.9147996770731*s1s5_156 - 49.3521332015331*s1s5_157 - 83.2652237802191*s1s5_158 - 160.93427229773*s1s5_159 - 271.522775764452*s1s5_160 - 393.529446744536*s1s5_161 - 7.76158051882097*s1s6_162 - 15.0015127080393*s1s6_163 - 27.5074183079396*s1s6_164 - 46.4095712271164*s1s6_165 - 89.7*s1s6_166 - 151.338758602103*s1s6_167 - 219.341665817957*s1s6_168 - 7.96556922221359*s1s7_169 - 15.3957802311063*s1s7_170 - 28.2303641796868*s1s7_171 - 47.6293006671023*s1s7_172 - 92.0574820424717*s1s7_173 - 155.316221319321*s1s7_174 - 225.10637081608*s1s7_175 - 9.11349113439539*s1s8_176 - 17.6144733325531*s1s8_177 - 32.2986551864818*s1s8_178 - 54.4931814987685*s1s8_179 - 105.323928905069*s1s8_180 - 177.698914733437*s1s8_181 - 257.546555368226*s1s8_182 - 11.9558099050809*s1s9_183 - 23.1080813747994*s1s9_184 - 42.3719709499612*s1s9_185 - 71.4885338137291*s1s9_186 - 138.172392322055*s1s9_187 - 233.119713791557*s1s9_188 - 337.870264236031*s1s9_189 - 7.48690188831565*s1s10_190 - 14.4706163324673*s1s10_191 - 26.5339439013751*s1s10_192 - 44.7671586494086*s1s10_193 - 86.5255598074927*s1s10_194 - 145.982952158506*s1s10_195 - 211.579268940989*s1s10_196 - 9.28783513744935*s1s11_197 - 17.9514438466182*s1s11_198 - 32.916538800503*s1s11_199 - 55.5356535066454*s1s11_200 - 107.338809384118*s1s11_201 - 181.098351861986*s1s11_202 - 262.473503425068*s1s11_203 - 7.76158051882097*s1s12_204 - 15.0015127080393*s1s12_205 - 27.5074183079396*s1s12_206 - 46.4095712271164*s1s12_207 - 89.7*s1s12_208 - 151.338758602103*s1s12_209 - 219.341665817957*s1s12_210 - 12.4236944883441*s1s13_211 - 24.0124044704238*s1s13_212 - 44.0301766363479*s1s13_213 - 74.2862014846846*s1s13_214 - 143.579699122125*s1s13_215 - 242.242736071415*s1s13_216 - 351.092646411238*s1s13_217 - 7.65172765642961*s1s14_218 - 14.7891900880288*s1s14_219 - 27.118094428506*s1s14_220 - 45.7527173518919*s1s14_221 - 88.4304387640365*s1s14_222 - 149.196798497086*s1s14_223 - 216.237232413786*s1s14_224 - 7.48690188831565*s1s15_225 - 14.4706163324673*s1s15_226 - 26.5339439013751*s1s15_227 - 44.7671586494086*s1s15_228 - 86.5255598074927*s1s15_229 - 145.982952158506*s1s15_230 - 211.579268940989*s1s15_231 - 7.22029184733547*s1s16_232 - 13.9553148538372*s1s16_233 - 25.5890649679471*s1s16_234 - 43.1729913716576*s1s16_235 - 83.44436769489*s1s16_236 - 140.784470672041*s1s16_237 - 204.044889780639*s1s16_238 - 9.28783513744935*s1s17_239 - 17.9514438466182*s1s17_240 - 32.916538800503*s1s17_241 - 55.5356535066454*s1s17_242 - 107.338809384118*s1s17_243 - 181.098351861986*s1s17_244 - 262.473503425068*s1s17_245 - 7.22029184733547*s1s18_246 - 13.9553148538372*s1s18_247 - 25.5890649679471*s1s18_248 - 43.1729913716576*s1s18_249 - 83.44436769489*s1s18_250 - 140.784470672041*s1s18_251 - 204.044889780639*s1s18_252 - 6.67516217420068*s1s19_253 - 12.9016931463472*s1s19_254 - 23.6570989315674*s1s19_255 - 39.913444642481*s1s19_256 - 77.1443452237428*s1s19_257 - 130.155289178744*s1s19_258 - 188.639567333459*s1s19_259 - 13.9253546563734*s1s20_260 - 26.9147996770731*s1s20_261 - 49.3521332015331*s1s20_262 - 83.2652237802191*s1s20_263 - 160.93427229773*s1s20_264 - 271.522775764452*s1s20_265 - 393.529446744536*s1s20_266 - 7.76158051882097*s1s21_267 - 15.0015127080393*s1s21_268 - 27.5074183079396*s1s21_269 - 46.4095712271164*s1s21_270 - 89.7*s1s21_271 - 151.338758602103*s1s21_272 - 219.341665817957*s1s21_273 - 6.67516217420068*s1s22_274 - 12.9016931463472*s1s22_275 - 23.6570989315674*s1s22_276 - 39.913444642481*s1s22_277 - 77.1443452237428*s1s22_278 - 130.155289178744*s1s22_279 - 188.639567333459*s1s22_280 - 11.9558099050809*s1s23_281 - 23.1080813747994*s1s23_282 - 42.3719709499612*s1s23_283 - 71.4885338137291*s1s23_284 - 138.172392322055*s1s23_285 - 233.119713791557*s1s23_286 - 337.870264236031*s1s23_287 - 7.76158051882097*s1s24_288 - 15.0015127080393*s1s24_289 - 27.5074183079396*s1s24_290 - 46.4095712271164*s1s24_291 - 89.7*s1s24_292 - 151.338758602103*s1s24_293 - 219.341665817957*s1s24_294 - 11.9558099050809*s1s25_295 - 23.1080813747994*s1s25_296 - 42.3719709499612*s1s25_297 - 71.4885338137291*s1s25_298 - 138.172392322055*s1s25_299 - 233.119713791557*s1s25_300 - 337.870264236031*s1s25_301 - 14.9380525029139*s1s26_302 - 28.8721329260735*s1s26_303 - 52.941183552398*s1s26_304 - 89.3205462402005*s1s26_305 - 172.637944844116*s1s26_306 - 291.268810037089*s1s26_307 - 422.148209648796*s1s26_308 - 7.96556922221359*s1s27_309 - 15.3957802311063*s1s27_310 - 28.2303641796868*s1s27_311 - 47.6293006671023*s1s27_312 - 92.0574820424717*s1s27_313 - 155.316221319321*s1s27_314 - 225.10637081608*s1s27_315 - 12.4236944883441*s1s28_316 - 24.0124044704238*s1s28_317 - 44.0301766363479*s1s28_318 - 74.2862014846846*s1s28_319 - 143.579699122125*s1s28_320 - 242.242736071415*s1s28_321 - 351.092646411238*s1s28_322 = 0 } } Constraint e123 { Definition: - 0.2*x93 - 0.17*x94 + x97 = 0; } Constraint e124 { Definition: - 10*x95 - x96 - 10*x97 + objvar = 0; } Constraint e125 { Definition: { - b99 + s1s1_127 + s1s1_128 + s1s1_129 + s1s1_130 + s1s1_131 + s1s1_132 + s1s1_133 = 0 } } Constraint e126 { Definition: { - b100 + s1s2_134 + s1s2_135 + s1s2_136 + s1s2_137 + s1s2_138 + s1s2_139 + s1s2_140 = 0 } } Constraint e127 { Definition: { - b101 + s1s3_141 + s1s3_142 + s1s3_143 + s1s3_144 + s1s3_145 + s1s3_146 + s1s3_147 = 0 } } Constraint e128 { Definition: { - b102 + s1s4_148 + s1s4_149 + s1s4_150 + s1s4_151 + s1s4_152 + s1s4_153 + s1s4_154 = 0 } } Constraint e129 { Definition: { - b103 + s1s5_155 + s1s5_156 + s1s5_157 + s1s5_158 + s1s5_159 + s1s5_160 + s1s5_161 = 0 } } Constraint e130 { Definition: { - b104 + s1s6_162 + s1s6_163 + s1s6_164 + s1s6_165 + s1s6_166 + s1s6_167 + s1s6_168 = 0 } } Constraint e131 { Definition: { - b105 + s1s7_169 + s1s7_170 + s1s7_171 + s1s7_172 + s1s7_173 + s1s7_174 + s1s7_175 = 0 } } Constraint e132 { Definition: { - b106 + s1s8_176 + s1s8_177 + s1s8_178 + s1s8_179 + s1s8_180 + s1s8_181 + s1s8_182 = 0 } } Constraint e133 { Definition: { - b107 + s1s9_183 + s1s9_184 + s1s9_185 + s1s9_186 + s1s9_187 + s1s9_188 + s1s9_189 = 0 } } Constraint e134 { Definition: { - b108 + s1s10_190 + s1s10_191 + s1s10_192 + s1s10_193 + s1s10_194 + s1s10_195 + s1s10_196 = 0 } } Constraint e135 { Definition: { - b109 + s1s11_197 + s1s11_198 + s1s11_199 + s1s11_200 + s1s11_201 + s1s11_202 + s1s11_203 = 0 } } Constraint e136 { Definition: { - b110 + s1s12_204 + s1s12_205 + s1s12_206 + s1s12_207 + s1s12_208 + s1s12_209 + s1s12_210 = 0 } } Constraint e137 { Definition: { - b111 + s1s13_211 + s1s13_212 + s1s13_213 + s1s13_214 + s1s13_215 + s1s13_216 + s1s13_217 = 0 } } Constraint e138 { Definition: { - b112 + s1s14_218 + s1s14_219 + s1s14_220 + s1s14_221 + s1s14_222 + s1s14_223 + s1s14_224 = 0 } } Constraint e139 { Definition: { - b113 + s1s15_225 + s1s15_226 + s1s15_227 + s1s15_228 + s1s15_229 + s1s15_230 + s1s15_231 = 0 } } Constraint e140 { Definition: { - b114 + s1s16_232 + s1s16_233 + s1s16_234 + s1s16_235 + s1s16_236 + s1s16_237 + s1s16_238 = 0 } } Constraint e141 { Definition: { - b115 + s1s17_239 + s1s17_240 + s1s17_241 + s1s17_242 + s1s17_243 + s1s17_244 + s1s17_245 = 0 } } Constraint e142 { Definition: { - b116 + s1s18_246 + s1s18_247 + s1s18_248 + s1s18_249 + s1s18_250 + s1s18_251 + s1s18_252 = 0 } } Constraint e143 { Definition: { - b117 + s1s19_253 + s1s19_254 + s1s19_255 + s1s19_256 + s1s19_257 + s1s19_258 + s1s19_259 = 0 } } Constraint e144 { Definition: { - b118 + s1s20_260 + s1s20_261 + s1s20_262 + s1s20_263 + s1s20_264 + s1s20_265 + s1s20_266 = 0 } } Constraint e145 { Definition: { - b119 + s1s21_267 + s1s21_268 + s1s21_269 + s1s21_270 + s1s21_271 + s1s21_272 + s1s21_273 = 0 } } Constraint e146 { Definition: { - b120 + s1s22_274 + s1s22_275 + s1s22_276 + s1s22_277 + s1s22_278 + s1s22_279 + s1s22_280 = 0 } } Constraint e147 { Definition: { - b121 + s1s23_281 + s1s23_282 + s1s23_283 + s1s23_284 + s1s23_285 + s1s23_286 + s1s23_287 = 0 } } Constraint e148 { Definition: { - b122 + s1s24_288 + s1s24_289 + s1s24_290 + s1s24_291 + s1s24_292 + s1s24_293 + s1s24_294 = 0 } } Constraint e149 { Definition: { - b123 + s1s25_295 + s1s25_296 + s1s25_297 + s1s25_298 + s1s25_299 + s1s25_300 + s1s25_301 = 0 } } Constraint e150 { Definition: { - b124 + s1s26_302 + s1s26_303 + s1s26_304 + s1s26_305 + s1s26_306 + s1s26_307 + s1s26_308 = 0 } } Constraint e151 { Definition: { - b125 + s1s27_309 + s1s27_310 + s1s27_311 + s1s27_312 + s1s27_313 + s1s27_314 + s1s27_315 = 0 } } Constraint e152 { Definition: { - b126 + s1s28_316 + s1s28_317 + s1s28_318 + s1s28_319 + s1s28_320 + s1s28_321 + s1s28_322 = 0 } } Constraint e153 { Definition: { x1 - 0.0176041976445841*s1s1_127 - 0.0686820348432157*s1s1_128 - 0.240338257044582*s1s1_129 - 0.708118780382974*s1s1_130 - 2*s1s1_131 - 2*s1s1_132 - 2*s1s1_133 <= 0 } } Constraint e154 { Definition: { x2 - 0.0192122784105588*s1s2_134 - 0.0749558941482069*s1s2_135 - 0.262292300976835*s1s2_136 - 0.772802909347502*s1s2_137 - 2*s1s2_138 - 2*s1s2_139 - 2*s1s2_140 <= 0 } } Constraint e155 { Definition: { x3 - 0.0137502828767635*s1s3_141 - 0.0536461488738445*s1s3_142 - 0.187723353667753*s1s3_143 - 0.553097263345606*s1s3_144 - 2*s1s3_145 - 2*s1s3_146 - 2*s1s3_147 <= 0 } } Constraint e156 { Definition: { x4 - 0.0153698320860398*s1s4_148 - 0.0599647518268192*s1s4_149 - 0.209833968534382*s1s4_150 - 0.618242703881818*s1s4_151 - 2*s1s4_152 - 2*s1s4_153 - 2*s1s4_154 <= 0 } } Constraint e157 { Definition: { x5 - 0.0142414920290718*s1s5_155 - 0.0555625806701283*s1s5_156 - 0.194429501479406*s1s5_157 - 0.572855870518057*s1s5_158 - 2*s1s5_159 - 2*s1s5_160 - 2*s1s5_161 <= 0 } } Constraint e158 { Definition: { x6 - 0.0190758342372385*s1s6_162 - 0.0744235629590588*s1s6_163 - 0.260429520550158*s1s6_164 - 0.767314520523847*s1s6_165 - 2*s1s6_166 - 2*s1s6_167 - 2*s1s6_168 <= 0 } } Constraint e159 { Definition: { x7 - 0.0188299954674205*s1s7_169 - 0.0734644333642121*s1s7_170 - 0.257073249355929*s1s7_171 - 0.757425796631457*s1s7_172 - 2*s1s7_173 - 2*s1s7_174 - 2*s1s7_175 <= 0 } } Constraint e160 { Definition: { x8 - 0.0176041976445841*s1s8_176 - 0.0686820348432157*s1s8_177 - 0.240338257044582*s1s8_178 - 0.708118780382974*s1s8_179 - 2*s1s8_180 - 2*s1s8_181 - 2*s1s8_182 <= 0 } } Constraint e161 { Definition: { x9 - 0.0153698320860398*s1s9_183 - 0.0599647518268192*s1s9_184 - 0.209833968534382*s1s9_185 - 0.618242703881818*s1s9_186 - 2*s1s9_187 - 2*s1s9_188 - 2*s1s9_189 <= 0 } } Constraint e162 { Definition: { x10 - 0.0194226083350049*s1s10_190 - 0.0757764874800376*s1s10_191 - 0.265163793814297*s1s10_192 - 0.781263310246409*s1s10_193 - 2*s1s10_194 - 2*s1s10_195 - 2*s1s10_196 <= 0 } } Constraint e163 { Definition: { x11 - 0.0174381887671401*s1s11_197 - 0.0680343582075014*s1s11_198 - 0.238071849619242*s1s11_199 - 0.701441168247406*s1s11_200 - 2*s1s11_201 - 2*s1s11_202 - 2*s1s11_203 <= 0 } } Constraint e164 { Definition: { x12 - 0.0190758342372385*s1s12_204 - 0.0744235629590588*s1s12_205 - 0.260429520550158*s1s12_206 - 0.767314520523847*s1s12_207 - 2*s1s12_208 - 2*s1s12_209 - 2*s1s12_210 <= 0 } } Constraint e165 { Definition: { x13 - 0.0150776355652448*s1s13_211 - 0.0588247594211735*s1s13_212 - 0.205844806180028*s1s13_213 - 0.606489265973719*s1s13_214 - 2*s1s13_215 - 2*s1s13_216 - 2*s1s13_217 <= 0 } } Constraint e166 { Definition: { x14 - 0.0192122784105588*s1s14_218 - 0.0749558941482069*s1s14_219 - 0.262292300976835*s1s14_220 - 0.772802909347502*s1s14_221 - 2*s1s14_222 - 2*s1s14_223 - 2*s1s14_224 <= 0 } } Constraint e167 { Definition: { x15 - 0.0194226083350049*s1s15_225 - 0.0757764874800376*s1s15_226 - 0.265163793814297*s1s15_227 - 0.781263310246409*s1s15_228 - 2*s1s15_229 - 2*s1s15_230 - 2*s1s15_231 <= 0 } } Constraint e168 { Definition: { x16 - 0.0197779487583483*s1s16_232 - 0.0771628331590627*s1s16_233 - 0.270015017353593*s1s16_234 - 0.795556675515238*s1s16_235 - 2*s1s16_236 - 2*s1s16_237 - 2*s1s16_238 <= 0 } } Constraint e169 { Definition: { x17 - 0.0174381887671401*s1s17_239 - 0.0680343582075014*s1s17_240 - 0.238071849619242*s1s17_241 - 0.701441168247406*s1s17_242 - 2*s1s17_243 - 2*s1s17_244 - 2*s1s17_245 <= 0 } } Constraint e170 { Definition: { x18 - 0.0197779487583483*s1s18_246 - 0.0771628331590627*s1s18_247 - 0.270015017353593*s1s18_248 - 0.795556675515238*s1s18_249 - 2*s1s18_250 - 2*s1s18_251 - 2*s1s18_252 <= 0 } } Constraint e171 { Definition: { x19 - 0.02056968839856*s1s19_253 - 0.0802517719822704*s1s19_254 - 0.280824105561038*s1s19_255 - 0.827403949655566*s1s19_256 - 2*s1s19_257 - 2*s1s19_258 - 2*s1s19_259 <= 0 } } Constraint e172 { Definition: { x20 - 0.0142414920290718*s1s20_260 - 0.0555625806701283*s1s20_261 - 0.194429501479406*s1s20_262 - 0.572855870518057*s1s20_263 - 2*s1s20_264 - 2*s1s20_265 - 2*s1s20_266 <= 0 } } Constraint e173 { Definition: { x21 - 0.0190758342372385*s1s21_267 - 0.0744235629590588*s1s21_268 - 0.260429520550158*s1s21_269 - 0.767314520523847*s1s21_270 - 2*s1s21_271 - 2*s1s21_272 - 2*s1s21_273 <= 0 } } Constraint e174 { Definition: { x22 - 0.02056968839856*s1s22_274 - 0.0802517719822704*s1s22_275 - 0.280824105561038*s1s22_276 - 0.827403949655566*s1s22_277 - 2*s1s22_278 - 2*s1s22_279 - 2*s1s22_280 <= 0 } } Constraint e175 { Definition: { x23 - 0.0153698320860398*s1s23_281 - 0.0599647518268192*s1s23_282 - 0.209833968534382*s1s23_283 - 0.618242703881818*s1s23_284 - 2*s1s23_285 - 2*s1s23_286 - 2*s1s23_287 <= 0 } } Constraint e176 { Definition: { x24 - 0.0190758342372385*s1s24_288 - 0.0744235629590588*s1s24_289 - 0.260429520550158*s1s24_290 - 0.767314520523847*s1s24_291 - 2*s1s24_292 - 2*s1s24_293 - 2*s1s24_294 <= 0 } } Constraint e177 { Definition: { x25 - 0.0153698320860398*s1s25_295 - 0.0599647518268192*s1s25_296 - 0.209833968534382*s1s25_297 - 0.618242703881818*s1s25_298 - 2*s1s25_299 - 2*s1s25_300 - 2*s1s25_301 <= 0 } } Constraint e178 { Definition: { x26 - 0.0137502828767635*s1s26_302 - 0.0536461488738445*s1s26_303 - 0.187723353667753*s1s26_304 - 0.553097263345606*s1s26_305 - 2*s1s26_306 - 2*s1s26_307 - 2*s1s26_308 <= 0 } } Constraint e179 { Definition: { x27 - 0.0188299954674205*s1s27_309 - 0.0734644333642121*s1s27_310 - 0.257073249355929*s1s27_311 - 0.757425796631457*s1s27_312 - 2*s1s27_313 - 2*s1s27_314 - 2*s1s27_315 <= 0 } } Constraint e180 { Definition: { x28 - 0.0150776355652448*s1s28_316 - 0.0588247594211735*s1s28_317 - 0.205844806180028*s1s28_318 - 0.606489265973719*s1s28_319 - 2*s1s28_320 - 2*s1s28_321 - 2*s1s28_322 <= 0 } } Constraint e181 { Definition: b99 + b106 <= 1; } Constraint e182 { Definition: b100 + b112 <= 1; } Constraint e183 { Definition: b101 + b124 <= 1; } Constraint e184 { Definition: b102 + b107 <= 1; } Constraint e185 { Definition: b103 + b118 <= 1; } Constraint e186 { Definition: b104 + b122 <= 1; } Constraint e187 { Definition: b105 + b125 <= 1; } Constraint e188 { Definition: b108 + b113 <= 1; } Constraint e189 { Definition: b109 + b115 <= 1; } Constraint e190 { Definition: b110 + b119 <= 1; } Constraint e191 { Definition: b111 + b126 <= 1; } Constraint e192 { Definition: b114 + b116 <= 1; } Constraint e193 { Definition: b117 + b120 <= 1; } Constraint e194 { Definition: b121 + b123 <= 1; } Constraint e195 { Definition: b99 + b100 + b101 >= 2; } Constraint e196 { Definition: b102 + b103 + b104 + b105 >= 2; } Constraint e197 { Definition: b99 + b102 + b108 + b109 + b110 + b111 >= 2; } Constraint e198 { Definition: b100 + b108 + b116 >= 2; } Constraint e199 { Definition: b109 + b116 + b120 >= 2; } Constraint e200 { Definition: b103 + b110 + b120 + b121 >= 2; } Constraint e201 { Definition: b104 + b121 >= 2; } Constraint e202 { Definition: b101 + b105 + b111 >= 2; } Procedure MainInitialization { Body: { x57.lower := 6.5; x58.lower := 3.25; x59.lower := 16.58; x60.lower := 14.92; x61.lower := 12.925; x62.lower := 12.26; x63.lower := 8.76; x64.lower := 16.08; x93.upper := 2.5; x94.upper := 6; x57.l := 11.5; x58.l := 8.25; x59.l := 21.58; x60.l := 19.92; x61.l := 17.925; x62.l := 17.26; x63.l := 13.76; x64.l := 21.08; x93.l := 0.961470588235294; x94.l := 2.30752941176471; b99.l := 0.5; b100.l := 0.5; b101.l := 0.5; b102.l := 0.5; b103.l := 0.5; b104.l := 0.5; b105.l := 0.5; b106.l := 0.5; b107.l := 0.5; b108.l := 0.5; b109.l := 0.5; b110.l := 0.5; b111.l := 0.5; b112.l := 0.5; b113.l := 0.5; b114.l := 0.5; b115.l := 0.5; b116.l := 0.5; b117.l := 0.5; b118.l := 0.5; b119.l := 0.5; b120.l := 0.5; b121.l := 0.5; b122.l := 0.5; b123.l := 0.5; b124.l := 0.5; b125.l := 0.5; b126.l := 0.5; s1s1_127.l := 0.0714285714285714; s1s1_128.l := 0.0714285714285714; s1s1_129.l := 0.0714285714285714; s1s1_130.l := 0.0714285714285714; s1s1_131.l := 0.0714285714285714; s1s1_132.l := 0.0714285714285714; s1s1_133.l := 0.0714285714285714; s1s2_134.l := 0.0714285714285714; s1s2_135.l := 0.0714285714285714; s1s2_136.l := 0.0714285714285714; s1s2_137.l := 0.0714285714285714; s1s2_138.l := 0.0714285714285714; s1s2_139.l := 0.0714285714285714; s1s2_140.l := 0.0714285714285714; s1s3_141.l := 0.0714285714285714; s1s3_142.l := 0.0714285714285714; s1s3_143.l := 0.0714285714285714; s1s3_144.l := 0.0714285714285714; s1s3_145.l := 0.0714285714285714; s1s3_146.l := 0.0714285714285714; s1s3_147.l := 0.0714285714285714; s1s4_148.l := 0.0714285714285714; s1s4_149.l := 0.0714285714285714; s1s4_150.l := 0.0714285714285714; s1s4_151.l := 0.0714285714285714; s1s4_152.l := 0.0714285714285714; s1s4_153.l := 0.0714285714285714; s1s4_154.l := 0.0714285714285714; s1s5_155.l := 0.0714285714285714; s1s5_156.l := 0.0714285714285714; s1s5_157.l := 0.0714285714285714; s1s5_158.l := 0.0714285714285714; s1s5_159.l := 0.0714285714285714; s1s5_160.l := 0.0714285714285714; s1s5_161.l := 0.0714285714285714; s1s6_162.l := 0.0714285714285714; s1s6_163.l := 0.0714285714285714; s1s6_164.l := 0.0714285714285714; s1s6_165.l := 0.0714285714285714; s1s6_166.l := 0.0714285714285714; s1s6_167.l := 0.0714285714285714; s1s6_168.l := 0.0714285714285714; s1s7_169.l := 0.0714285714285714; s1s7_170.l := 0.0714285714285714; s1s7_171.l := 0.0714285714285714; s1s7_172.l := 0.0714285714285714; s1s7_173.l := 0.0714285714285714; s1s7_174.l := 0.0714285714285714; s1s7_175.l := 0.0714285714285714; s1s10_190.l := 0.0714285714285714; s1s10_191.l := 0.0714285714285714; s1s10_192.l := 0.0714285714285714; s1s10_193.l := 0.0714285714285714; s1s10_194.l := 0.0714285714285714; s1s10_195.l := 0.0714285714285714; s1s10_196.l := 0.0714285714285714; s1s11_197.l := 0.0714285714285714; s1s11_198.l := 0.0714285714285714; s1s11_199.l := 0.0714285714285714; s1s11_200.l := 0.0714285714285714; s1s11_201.l := 0.0714285714285714; s1s11_202.l := 0.0714285714285714; s1s11_203.l := 0.0714285714285714; s1s12_204.l := 0.0714285714285714; s1s12_205.l := 0.0714285714285714; s1s12_206.l := 0.0714285714285714; s1s12_207.l := 0.0714285714285714; s1s12_208.l := 0.0714285714285714; s1s12_209.l := 0.0714285714285714; s1s12_210.l := 0.0714285714285714; s1s13_211.l := 0.0714285714285714; s1s13_212.l := 0.0714285714285714; s1s13_213.l := 0.0714285714285714; s1s13_214.l := 0.0714285714285714; s1s13_215.l := 0.0714285714285714; s1s13_216.l := 0.0714285714285714; s1s13_217.l := 0.0714285714285714; s1s18_246.l := 0.0714285714285714; s1s18_247.l := 0.0714285714285714; s1s18_248.l := 0.0714285714285714; s1s18_249.l := 0.0714285714285714; s1s18_250.l := 0.0714285714285714; s1s18_251.l := 0.0714285714285714; s1s18_252.l := 0.0714285714285714; s1s22_274.l := 0.0714285714285714; s1s22_275.l := 0.0714285714285714; s1s22_276.l := 0.0714285714285714; s1s22_277.l := 0.0714285714285714; s1s22_278.l := 0.0714285714285714; s1s22_279.l := 0.0714285714285714; s1s22_280.l := 0.0714285714285714; s1s23_281.l := 0.0714285714285714; s1s23_282.l := 0.0714285714285714; s1s23_283.l := 0.0714285714285714; s1s23_284.l := 0.0714285714285714; s1s23_285.l := 0.0714285714285714; s1s23_286.l := 0.0714285714285714; s1s23_287.l := 0.0714285714285714; s1s1_127.priority := 3; s1s1_128.priority := 3; s1s1_129.priority := 3; s1s1_130.priority := 3; s1s1_131.priority := 3; s1s1_132.priority := 3; s1s1_133.priority := 3; s1s2_134.priority := 3; s1s2_135.priority := 3; s1s2_136.priority := 3; s1s2_137.priority := 3; s1s2_138.priority := 3; s1s2_139.priority := 3; s1s2_140.priority := 3; s1s3_141.priority := 3; s1s3_142.priority := 3; s1s3_143.priority := 3; s1s3_144.priority := 3; s1s3_145.priority := 3; s1s3_146.priority := 3; s1s3_147.priority := 3; s1s4_148.priority := 3; s1s4_149.priority := 3; s1s4_150.priority := 3; s1s4_151.priority := 3; s1s4_152.priority := 3; s1s4_153.priority := 3; s1s4_154.priority := 3; s1s5_155.priority := 3; s1s5_156.priority := 3; s1s5_157.priority := 3; s1s5_158.priority := 3; s1s5_159.priority := 3; s1s5_160.priority := 3; s1s5_161.priority := 3; s1s6_162.priority := 3; s1s6_163.priority := 3; s1s6_164.priority := 3; s1s6_165.priority := 3; s1s6_166.priority := 3; s1s6_167.priority := 3; s1s6_168.priority := 3; s1s7_169.priority := 3; s1s7_170.priority := 3; s1s7_171.priority := 3; s1s7_172.priority := 3; s1s7_173.priority := 3; s1s7_174.priority := 3; s1s7_175.priority := 3; s1s8_176.priority := 3; s1s8_177.priority := 3; s1s8_178.priority := 3; s1s8_179.priority := 3; s1s8_180.priority := 3; s1s8_181.priority := 3; s1s8_182.priority := 3; s1s9_183.priority := 3; s1s9_184.priority := 3; s1s9_185.priority := 3; s1s9_186.priority := 3; s1s9_187.priority := 3; s1s9_188.priority := 3; s1s9_189.priority := 3; s1s10_190.priority := 3; s1s10_191.priority := 3; s1s10_192.priority := 3; s1s10_193.priority := 3; s1s10_194.priority := 3; s1s10_195.priority := 3; s1s10_196.priority := 3; s1s11_197.priority := 3; s1s11_198.priority := 3; s1s11_199.priority := 3; s1s11_200.priority := 3; s1s11_201.priority := 3; s1s11_202.priority := 3; s1s11_203.priority := 3; s1s12_204.priority := 3; s1s12_205.priority := 3; s1s12_206.priority := 3; s1s12_207.priority := 3; s1s12_208.priority := 3; s1s12_209.priority := 3; s1s12_210.priority := 3; s1s13_211.priority := 3; s1s13_212.priority := 3; s1s13_213.priority := 3; s1s13_214.priority := 3; s1s13_215.priority := 3; s1s13_216.priority := 3; s1s13_217.priority := 3; s1s14_218.priority := 3; s1s14_219.priority := 3; s1s14_220.priority := 3; s1s14_221.priority := 3; s1s14_222.priority := 3; s1s14_223.priority := 3; s1s14_224.priority := 3; s1s15_225.priority := 3; s1s15_226.priority := 3; s1s15_227.priority := 3; s1s15_228.priority := 3; s1s15_229.priority := 3; s1s15_230.priority := 3; s1s15_231.priority := 3; s1s16_232.priority := 3; s1s16_233.priority := 3; s1s16_234.priority := 3; s1s16_235.priority := 3; s1s16_236.priority := 3; s1s16_237.priority := 3; s1s16_238.priority := 3; s1s17_239.priority := 3; s1s17_240.priority := 3; s1s17_241.priority := 3; s1s17_242.priority := 3; s1s17_243.priority := 3; s1s17_244.priority := 3; s1s17_245.priority := 3; s1s18_246.priority := 3; s1s18_247.priority := 3; s1s18_248.priority := 3; s1s18_249.priority := 3; s1s18_250.priority := 3; s1s18_251.priority := 3; s1s18_252.priority := 3; s1s19_253.priority := 3; s1s19_254.priority := 3; s1s19_255.priority := 3; s1s19_256.priority := 3; s1s19_257.priority := 3; s1s19_258.priority := 3; s1s19_259.priority := 3; s1s20_260.priority := 3; s1s20_261.priority := 3; s1s20_262.priority := 3; s1s20_263.priority := 3; s1s20_264.priority := 3; s1s20_265.priority := 3; s1s20_266.priority := 3; s1s21_267.priority := 3; s1s21_268.priority := 3; s1s21_269.priority := 3; s1s21_270.priority := 3; s1s21_271.priority := 3; s1s21_272.priority := 3; s1s21_273.priority := 3; s1s22_274.priority := 3; s1s22_275.priority := 3; s1s22_276.priority := 3; s1s22_277.priority := 3; s1s22_278.priority := 3; s1s22_279.priority := 3; s1s22_280.priority := 3; s1s23_281.priority := 3; s1s23_282.priority := 3; s1s23_283.priority := 3; s1s23_284.priority := 3; s1s23_285.priority := 3; s1s23_286.priority := 3; s1s23_287.priority := 3; s1s24_288.priority := 3; s1s24_289.priority := 3; s1s24_290.priority := 3; s1s24_291.priority := 3; s1s24_292.priority := 3; s1s24_293.priority := 3; s1s24_294.priority := 3; s1s25_295.priority := 3; s1s25_296.priority := 3; s1s25_297.priority := 3; s1s25_298.priority := 3; s1s25_299.priority := 3; s1s25_300.priority := 3; s1s25_301.priority := 3; s1s26_302.priority := 3; s1s26_303.priority := 3; s1s26_304.priority := 3; s1s26_305.priority := 3; s1s26_306.priority := 3; s1s26_307.priority := 3; s1s26_308.priority := 3; s1s27_309.priority := 3; s1s27_310.priority := 3; s1s27_311.priority := 3; s1s27_312.priority := 3; s1s27_313.priority := 3; s1s27_314.priority := 3; s1s27_315.priority := 3; s1s28_316.priority := 3; s1s28_317.priority := 3; s1s28_318.priority := 3; s1s28_319.priority := 3; s1s28_320.priority := 3; s1s28_321.priority := 3; s1s28_322.priority := 3; } } MathematicalProgram watersym2 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve watersym2; } } Procedure MainTermination { Body: { return 1; } } }