## ams_version=1.0 Model Main_rocket50 { Variable objvar; Variable x2 { Range: nonnegative; } Variable x3; 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 { Range: nonnegative; } Variable x30 { Range: nonnegative; } Variable x31 { Range: nonnegative; } Variable x32 { Range: nonnegative; } Variable x33 { Range: nonnegative; } Variable x34 { Range: nonnegative; } Variable x35 { Range: nonnegative; } Variable x36 { Range: nonnegative; } Variable x37 { Range: nonnegative; } Variable x38 { Range: nonnegative; } Variable x39 { Range: nonnegative; } Variable x40 { Range: nonnegative; } Variable x41 { Range: nonnegative; } Variable x42 { Range: nonnegative; } Variable x43 { Range: nonnegative; } Variable x44 { Range: nonnegative; } Variable x45 { Range: nonnegative; } Variable x46 { Range: nonnegative; } Variable x47 { Range: nonnegative; } Variable x48 { Range: nonnegative; } Variable x49 { Range: nonnegative; } Variable x50 { Range: nonnegative; } Variable x51 { Range: nonnegative; } Variable x52 { Range: nonnegative; } Variable x53 { Range: nonnegative; } 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; Variable x94; Variable x95; Variable x96; Variable x97; Variable x98; Variable x99; Variable x100; Variable x101; Variable x102; Variable x103; Variable x104; Variable x105 { Range: nonnegative; } Variable x106 { Range: nonnegative; } Variable x107 { Range: nonnegative; } Variable x108 { Range: nonnegative; } Variable x109 { Range: nonnegative; } Variable x110 { Range: nonnegative; } Variable x111 { Range: nonnegative; } Variable x112 { Range: nonnegative; } Variable x113 { Range: nonnegative; } Variable x114 { Range: nonnegative; } Variable x115 { Range: nonnegative; } Variable x116 { Range: nonnegative; } Variable x117 { Range: nonnegative; } Variable x118 { Range: nonnegative; } Variable x119 { Range: nonnegative; } Variable x120 { Range: nonnegative; } Variable x121 { Range: nonnegative; } Variable x122 { Range: nonnegative; } Variable x123 { Range: nonnegative; } Variable x124 { Range: nonnegative; } Variable x125 { Range: nonnegative; } Variable x126 { Range: nonnegative; } Variable x127 { Range: nonnegative; } Variable x128 { Range: nonnegative; } Variable x129 { Range: nonnegative; } Variable x130 { Range: nonnegative; } Variable x131 { Range: nonnegative; } Variable x132 { Range: nonnegative; } Variable x133 { Range: nonnegative; } Variable x134 { Range: nonnegative; } Variable x135 { Range: nonnegative; } Variable x136 { Range: nonnegative; } Variable x137 { Range: nonnegative; } Variable x138 { Range: nonnegative; } Variable x139 { Range: nonnegative; } Variable x140 { Range: nonnegative; } Variable x141 { Range: nonnegative; } Variable x142 { Range: nonnegative; } Variable x143 { Range: nonnegative; } Variable x144 { Range: nonnegative; } Variable x145 { Range: nonnegative; } Variable x146 { Range: nonnegative; } Variable x147 { Range: nonnegative; } Variable x148 { Range: nonnegative; } Variable x149 { Range: nonnegative; } Variable x150 { Range: nonnegative; } Variable x151 { Range: nonnegative; } Variable x152 { Range: nonnegative; } Variable x153 { Range: nonnegative; } Variable x154 { Range: nonnegative; } Variable x155 { Range: nonnegative; } Variable x156; Variable x157; Variable x158; Variable x159; Variable x160; Variable x161; Variable x162; Variable x163; Variable x164; Variable x165; Variable x166; Variable x167; Variable x168; Variable x169; Variable x170; Variable x171; Variable x172; Variable x173; Variable x174; Variable x175; Variable x176; Variable x177; Variable x178; Variable x179; Variable x180; Variable x181; Variable x182; Variable x183; Variable x184; Variable x185; Variable x186; Variable x187; Variable x188; Variable x189; Variable x190; Variable x191; Variable x192; Variable x193; Variable x194; Variable x195; Variable x196; Variable x197; Variable x198; Variable x199; Variable x200; Variable x201; Variable x202; Variable x203; Variable x204; Variable x205; Variable x206; Variable x207 { Range: nonnegative; } Variable x208 { Range: nonnegative; } Variable x209 { Range: nonnegative; } Variable x210 { Range: nonnegative; } Variable x211 { Range: nonnegative; } Variable x212 { Range: nonnegative; } Variable x213 { Range: nonnegative; } Variable x214 { Range: nonnegative; } Variable x215 { Range: nonnegative; } Variable x216 { Range: nonnegative; } Variable x217 { Range: nonnegative; } Variable x218 { Range: nonnegative; } Variable x219 { Range: nonnegative; } Variable x220 { Range: nonnegative; } Variable x221 { Range: nonnegative; } Variable x222 { Range: nonnegative; } Variable x223 { Range: nonnegative; } Variable x224 { Range: nonnegative; } Variable x225 { Range: nonnegative; } Variable x226 { Range: nonnegative; } Variable x227 { Range: nonnegative; } Variable x228 { Range: nonnegative; } Variable x229 { Range: nonnegative; } Variable x230 { Range: nonnegative; } Variable x231 { Range: nonnegative; } Variable x232 { Range: nonnegative; } Variable x233 { Range: nonnegative; } Variable x234 { Range: nonnegative; } Variable x235 { Range: nonnegative; } Variable x236 { Range: nonnegative; } Variable x237 { Range: nonnegative; } Variable x238 { Range: nonnegative; } Variable x239 { Range: nonnegative; } Variable x240 { Range: nonnegative; } Variable x241 { Range: nonnegative; } Variable x242 { Range: nonnegative; } Variable x243 { Range: nonnegative; } Variable x244 { Range: nonnegative; } Variable x245 { Range: nonnegative; } Variable x246 { Range: nonnegative; } Variable x247 { Range: nonnegative; } Variable x248 { Range: nonnegative; } Variable x249 { Range: nonnegative; } Variable x250 { Range: nonnegative; } Variable x251 { Range: nonnegative; } Variable x252 { Range: nonnegative; } Variable x253 { Range: nonnegative; } Variable x254 { Range: nonnegative; } Variable x255 { Range: nonnegative; } Variable x256 { Range: nonnegative; } Variable x257 { Range: nonnegative; } Variable x258 { Range: nonnegative; } Variable x259 { Range: nonnegative; } Variable x260 { Range: nonnegative; } Variable x261 { Range: nonnegative; } Variable x262 { Range: nonnegative; } Variable x263 { Range: nonnegative; } Variable x264 { Range: nonnegative; } Variable x265 { Range: nonnegative; } Variable x266 { Range: nonnegative; } Variable x267 { Range: nonnegative; } Variable x268 { Range: nonnegative; } Variable x269 { Range: nonnegative; } Variable x270 { Range: nonnegative; } Variable x271 { Range: nonnegative; } Variable x272 { Range: nonnegative; } Variable x273 { Range: nonnegative; } Variable x274 { Range: nonnegative; } Variable x275 { Range: nonnegative; } Variable x276 { Range: nonnegative; } Variable x277 { Range: nonnegative; } Variable x278 { Range: nonnegative; } Variable x279 { Range: nonnegative; } Variable x280 { Range: nonnegative; } Variable x281 { Range: nonnegative; } Variable x282 { Range: nonnegative; } Variable x283 { Range: nonnegative; } Variable x284 { Range: nonnegative; } Variable x285 { Range: nonnegative; } Variable x286 { Range: nonnegative; } Variable x287 { Range: nonnegative; } Variable x288 { Range: nonnegative; } Variable x289 { Range: nonnegative; } Variable x290 { Range: nonnegative; } Variable x291 { Range: nonnegative; } Variable x292 { Range: nonnegative; } Variable x293 { Range: nonnegative; } Variable x294 { Range: nonnegative; } Variable x295 { Range: nonnegative; } Variable x296 { Range: nonnegative; } Variable x297 { Range: nonnegative; } Variable x298 { Range: nonnegative; } Variable x299 { Range: nonnegative; } Variable x300 { Range: nonnegative; } Variable x301 { Range: nonnegative; } Variable x302 { Range: nonnegative; } Variable x303 { Range: nonnegative; } Variable x304 { Range: nonnegative; } Variable x305 { Range: nonnegative; } Variable x306 { Range: nonnegative; } Variable x307 { Range: nonnegative; } Variable x308 { Range: nonnegative; } Constraint e1 { Definition: -310*sqr(x3)*exp(500 - 500*x54) + x258 = 0; } Constraint e2 { Definition: -310*sqr(x4)*exp(500 - 500*x55) + x259 = 0; } Constraint e3 { Definition: -310*sqr(x5)*exp(500 - 500*x56) + x260 = 0; } Constraint e4 { Definition: -310*sqr(x6)*exp(500 - 500*x57) + x261 = 0; } Constraint e5 { Definition: -310*sqr(x7)*exp(500 - 500*x58) + x262 = 0; } Constraint e6 { Definition: -310*sqr(x8)*exp(500 - 500*x59) + x263 = 0; } Constraint e7 { Definition: -310*sqr(x9)*exp(500 - 500*x60) + x264 = 0; } Constraint e8 { Definition: -310*sqr(x10)*exp(500 - 500*x61) + x265 = 0; } Constraint e9 { Definition: -310*sqr(x11)*exp(500 - 500*x62) + x266 = 0; } Constraint e10 { Definition: -310*sqr(x12)*exp(500 - 500*x63) + x267 = 0; } Constraint e11 { Definition: -310*sqr(x13)*exp(500 - 500*x64) + x268 = 0; } Constraint e12 { Definition: -310*sqr(x14)*exp(500 - 500*x65) + x269 = 0; } Constraint e13 { Definition: -310*sqr(x15)*exp(500 - 500*x66) + x270 = 0; } Constraint e14 { Definition: -310*sqr(x16)*exp(500 - 500*x67) + x271 = 0; } Constraint e15 { Definition: -310*sqr(x17)*exp(500 - 500*x68) + x272 = 0; } Constraint e16 { Definition: -310*sqr(x18)*exp(500 - 500*x69) + x273 = 0; } Constraint e17 { Definition: -310*sqr(x19)*exp(500 - 500*x70) + x274 = 0; } Constraint e18 { Definition: -310*sqr(x20)*exp(500 - 500*x71) + x275 = 0; } Constraint e19 { Definition: -310*sqr(x21)*exp(500 - 500*x72) + x276 = 0; } Constraint e20 { Definition: -310*sqr(x22)*exp(500 - 500*x73) + x277 = 0; } Constraint e21 { Definition: -310*sqr(x23)*exp(500 - 500*x74) + x278 = 0; } Constraint e22 { Definition: -310*sqr(x24)*exp(500 - 500*x75) + x279 = 0; } Constraint e23 { Definition: -310*sqr(x25)*exp(500 - 500*x76) + x280 = 0; } Constraint e24 { Definition: -310*sqr(x26)*exp(500 - 500*x77) + x281 = 0; } Constraint e25 { Definition: -310*sqr(x27)*exp(500 - 500*x78) + x282 = 0; } Constraint e26 { Definition: -310*sqr(x28)*exp(500 - 500*x79) + x283 = 0; } Constraint e27 { Definition: -310*sqr(x29)*exp(500 - 500*x80) + x284 = 0; } Constraint e28 { Definition: -310*sqr(x30)*exp(500 - 500*x81) + x285 = 0; } Constraint e29 { Definition: -310*sqr(x31)*exp(500 - 500*x82) + x286 = 0; } Constraint e30 { Definition: -310*sqr(x32)*exp(500 - 500*x83) + x287 = 0; } Constraint e31 { Definition: -310*sqr(x33)*exp(500 - 500*x84) + x288 = 0; } Constraint e32 { Definition: -310*sqr(x34)*exp(500 - 500*x85) + x289 = 0; } Constraint e33 { Definition: -310*sqr(x35)*exp(500 - 500*x86) + x290 = 0; } Constraint e34 { Definition: -310*sqr(x36)*exp(500 - 500*x87) + x291 = 0; } Constraint e35 { Definition: -310*sqr(x37)*exp(500 - 500*x88) + x292 = 0; } Constraint e36 { Definition: -310*sqr(x38)*exp(500 - 500*x89) + x293 = 0; } Constraint e37 { Definition: -310*sqr(x39)*exp(500 - 500*x90) + x294 = 0; } Constraint e38 { Definition: -310*sqr(x40)*exp(500 - 500*x91) + x295 = 0; } Constraint e39 { Definition: -310*sqr(x41)*exp(500 - 500*x92) + x296 = 0; } Constraint e40 { Definition: -310*sqr(x42)*exp(500 - 500*x93) + x297 = 0; } Constraint e41 { Definition: -310*sqr(x43)*exp(500 - 500*x94) + x298 = 0; } Constraint e42 { Definition: -310*sqr(x44)*exp(500 - 500*x95) + x299 = 0; } Constraint e43 { Definition: -310*sqr(x45)*exp(500 - 500*x96) + x300 = 0; } Constraint e44 { Definition: -310*sqr(x46)*exp(500 - 500*x97) + x301 = 0; } Constraint e45 { Definition: -310*sqr(x47)*exp(500 - 500*x98) + x302 = 0; } Constraint e46 { Definition: -310*sqr(x48)*exp(500 - 500*x99) + x303 = 0; } Constraint e47 { Definition: -310*sqr(x49)*exp(500 - 500*x100) + x304 = 0; } Constraint e48 { Definition: -310*sqr(x50)*exp(500 - 500*x101) + x305 = 0; } Constraint e49 { Definition: -310*sqr(x51)*exp(500 - 500*x102) + x306 = 0; } Constraint e50 { Definition: -310*sqr(x52)*exp(500 - 500*x103) + x307 = 0; } Constraint e51 { Definition: -310*sqr(x53)*exp(500 - 500*x104) + x308 = 0; } Constraint e52 { Definition: -sqr(1/x54) + x105 = 0; } Constraint e53 { Definition: -sqr(1/x55) + x106 = 0; } Constraint e54 { Definition: -sqr(1/x56) + x107 = 0; } Constraint e55 { Definition: -sqr(1/x57) + x108 = 0; } Constraint e56 { Definition: -sqr(1/x58) + x109 = 0; } Constraint e57 { Definition: -sqr(1/x59) + x110 = 0; } Constraint e58 { Definition: -sqr(1/x60) + x111 = 0; } Constraint e59 { Definition: -sqr(1/x61) + x112 = 0; } Constraint e60 { Definition: -sqr(1/x62) + x113 = 0; } Constraint e61 { Definition: -sqr(1/x63) + x114 = 0; } Constraint e62 { Definition: -sqr(1/x64) + x115 = 0; } Constraint e63 { Definition: -sqr(1/x65) + x116 = 0; } Constraint e64 { Definition: -sqr(1/x66) + x117 = 0; } Constraint e65 { Definition: -sqr(1/x67) + x118 = 0; } Constraint e66 { Definition: -sqr(1/x68) + x119 = 0; } Constraint e67 { Definition: -sqr(1/x69) + x120 = 0; } Constraint e68 { Definition: -sqr(1/x70) + x121 = 0; } Constraint e69 { Definition: -sqr(1/x71) + x122 = 0; } Constraint e70 { Definition: -sqr(1/x72) + x123 = 0; } Constraint e71 { Definition: -sqr(1/x73) + x124 = 0; } Constraint e72 { Definition: -sqr(1/x74) + x125 = 0; } Constraint e73 { Definition: -sqr(1/x75) + x126 = 0; } Constraint e74 { Definition: -sqr(1/x76) + x127 = 0; } Constraint e75 { Definition: -sqr(1/x77) + x128 = 0; } Constraint e76 { Definition: -sqr(1/x78) + x129 = 0; } Constraint e77 { Definition: -sqr(1/x79) + x130 = 0; } Constraint e78 { Definition: -sqr(1/x80) + x131 = 0; } Constraint e79 { Definition: -sqr(1/x81) + x132 = 0; } Constraint e80 { Definition: -sqr(1/x82) + x133 = 0; } Constraint e81 { Definition: -sqr(1/x83) + x134 = 0; } Constraint e82 { Definition: -sqr(1/x84) + x135 = 0; } Constraint e83 { Definition: -sqr(1/x85) + x136 = 0; } Constraint e84 { Definition: -sqr(1/x86) + x137 = 0; } Constraint e85 { Definition: -sqr(1/x87) + x138 = 0; } Constraint e86 { Definition: -sqr(1/x88) + x139 = 0; } Constraint e87 { Definition: -sqr(1/x89) + x140 = 0; } Constraint e88 { Definition: -sqr(1/x90) + x141 = 0; } Constraint e89 { Definition: -sqr(1/x91) + x142 = 0; } Constraint e90 { Definition: -sqr(1/x92) + x143 = 0; } Constraint e91 { Definition: -sqr(1/x93) + x144 = 0; } Constraint e92 { Definition: -sqr(1/x94) + x145 = 0; } Constraint e93 { Definition: -sqr(1/x95) + x146 = 0; } Constraint e94 { Definition: -sqr(1/x96) + x147 = 0; } Constraint e95 { Definition: -sqr(1/x97) + x148 = 0; } Constraint e96 { Definition: -sqr(1/x98) + x149 = 0; } Constraint e97 { Definition: -sqr(1/x99) + x150 = 0; } Constraint e98 { Definition: -sqr(1/x100) + x151 = 0; } Constraint e99 { Definition: -sqr(1/x101) + x152 = 0; } Constraint e100 { Definition: -sqr(1/x102) + x153 = 0; } Constraint e101 { Definition: -sqr(1/x103) + x154 = 0; } Constraint e102 { Definition: -sqr(1/x104) + x155 = 0; } Constraint e103 { Definition: - objvar - x104 = 0; } Constraint e104 { Definition: -0.5*x2*(x3 + x4) - x54 + x55 = 0; } Constraint e105 { Definition: -0.5*x2*(x4 + x5) - x55 + x56 = 0; } Constraint e106 { Definition: -0.5*x2*(x5 + x6) - x56 + x57 = 0; } Constraint e107 { Definition: -0.5*x2*(x6 + x7) - x57 + x58 = 0; } Constraint e108 { Definition: -0.5*x2*(x7 + x8) - x58 + x59 = 0; } Constraint e109 { Definition: -0.5*x2*(x8 + x9) - x59 + x60 = 0; } Constraint e110 { Definition: -0.5*x2*(x9 + x10) - x60 + x61 = 0; } Constraint e111 { Definition: -0.5*x2*(x10 + x11) - x61 + x62 = 0; } Constraint e112 { Definition: -0.5*x2*(x11 + x12) - x62 + x63 = 0; } Constraint e113 { Definition: -0.5*x2*(x12 + x13) - x63 + x64 = 0; } Constraint e114 { Definition: -0.5*x2*(x13 + x14) - x64 + x65 = 0; } Constraint e115 { Definition: -0.5*x2*(x14 + x15) - x65 + x66 = 0; } Constraint e116 { Definition: -0.5*x2*(x15 + x16) - x66 + x67 = 0; } Constraint e117 { Definition: -0.5*x2*(x16 + x17) - x67 + x68 = 0; } Constraint e118 { Definition: -0.5*x2*(x17 + x18) - x68 + x69 = 0; } Constraint e119 { Definition: -0.5*x2*(x18 + x19) - x69 + x70 = 0; } Constraint e120 { Definition: -0.5*x2*(x19 + x20) - x70 + x71 = 0; } Constraint e121 { Definition: -0.5*x2*(x20 + x21) - x71 + x72 = 0; } Constraint e122 { Definition: -0.5*x2*(x21 + x22) - x72 + x73 = 0; } Constraint e123 { Definition: -0.5*x2*(x22 + x23) - x73 + x74 = 0; } Constraint e124 { Definition: -0.5*x2*(x23 + x24) - x74 + x75 = 0; } Constraint e125 { Definition: -0.5*x2*(x24 + x25) - x75 + x76 = 0; } Constraint e126 { Definition: -0.5*x2*(x25 + x26) - x76 + x77 = 0; } Constraint e127 { Definition: -0.5*x2*(x26 + x27) - x77 + x78 = 0; } Constraint e128 { Definition: -0.5*x2*(x27 + x28) - x78 + x79 = 0; } Constraint e129 { Definition: -0.5*x2*(x28 + x29) - x79 + x80 = 0; } Constraint e130 { Definition: -0.5*x2*(x29 + x30) - x80 + x81 = 0; } Constraint e131 { Definition: -0.5*x2*(x30 + x31) - x81 + x82 = 0; } Constraint e132 { Definition: -0.5*x2*(x31 + x32) - x82 + x83 = 0; } Constraint e133 { Definition: -0.5*x2*(x32 + x33) - x83 + x84 = 0; } Constraint e134 { Definition: -0.5*x2*(x33 + x34) - x84 + x85 = 0; } Constraint e135 { Definition: -0.5*x2*(x34 + x35) - x85 + x86 = 0; } Constraint e136 { Definition: -0.5*x2*(x35 + x36) - x86 + x87 = 0; } Constraint e137 { Definition: -0.5*x2*(x36 + x37) - x87 + x88 = 0; } Constraint e138 { Definition: -0.5*x2*(x37 + x38) - x88 + x89 = 0; } Constraint e139 { Definition: -0.5*x2*(x38 + x39) - x89 + x90 = 0; } Constraint e140 { Definition: -0.5*x2*(x39 + x40) - x90 + x91 = 0; } Constraint e141 { Definition: -0.5*x2*(x40 + x41) - x91 + x92 = 0; } Constraint e142 { Definition: -0.5*x2*(x41 + x42) - x92 + x93 = 0; } Constraint e143 { Definition: -0.5*x2*(x42 + x43) - x93 + x94 = 0; } Constraint e144 { Definition: -0.5*x2*(x43 + x44) - x94 + x95 = 0; } Constraint e145 { Definition: -0.5*x2*(x44 + x45) - x95 + x96 = 0; } Constraint e146 { Definition: -0.5*x2*(x45 + x46) - x96 + x97 = 0; } Constraint e147 { Definition: -0.5*x2*(x46 + x47) - x97 + x98 = 0; } Constraint e148 { Definition: -0.5*x2*(x47 + x48) - x98 + x99 = 0; } Constraint e149 { Definition: -0.5*x2*(x48 + x49) - x99 + x100 = 0; } Constraint e150 { Definition: -0.5*x2*(x49 + x50) - x100 + x101 = 0; } Constraint e151 { Definition: -0.5*x2*(x50 + x51) - x101 + x102 = 0; } Constraint e152 { Definition: -0.5*x2*(x51 + x52) - x102 + x103 = 0; } Constraint e153 { Definition: -0.5*x2*(x52 + x53) - x103 + x104 = 0; } Constraint e154 { Definition: { -0.5*((x208 - x157*x106 - x259)/x157 + (x207 - x156*x105 - x258)/x156)* x2 - x3 + x4 = 0 } } Constraint e155 { Definition: { -0.5*((x209 - x158*x107 - x260)/x158 + (x208 - x157*x106 - x259)/x157)* x2 - x4 + x5 = 0 } } Constraint e156 { Definition: { -0.5*((x210 - x159*x108 - x261)/x159 + (x209 - x158*x107 - x260)/x158)* x2 - x5 + x6 = 0 } } Constraint e157 { Definition: { -0.5*((x211 - x160*x109 - x262)/x160 + (x210 - x159*x108 - x261)/x159)* x2 - x6 + x7 = 0 } } Constraint e158 { Definition: { -0.5*((x212 - x161*x110 - x263)/x161 + (x211 - x160*x109 - x262)/x160)* x2 - x7 + x8 = 0 } } Constraint e159 { Definition: { -0.5*((x213 - x162*x111 - x264)/x162 + (x212 - x161*x110 - x263)/x161)* x2 - x8 + x9 = 0 } } Constraint e160 { Definition: { -0.5*((x214 - x163*x112 - x265)/x163 + (x213 - x162*x111 - x264)/x162)* x2 - x9 + x10 = 0 } } Constraint e161 { Definition: { -0.5*((x215 - x164*x113 - x266)/x164 + (x214 - x163*x112 - x265)/x163)* x2 - x10 + x11 = 0 } } Constraint e162 { Definition: { -0.5*((x216 - x165*x114 - x267)/x165 + (x215 - x164*x113 - x266)/x164)* x2 - x11 + x12 = 0 } } Constraint e163 { Definition: { -0.5*((x217 - x166*x115 - x268)/x166 + (x216 - x165*x114 - x267)/x165)* x2 - x12 + x13 = 0 } } Constraint e164 { Definition: { -0.5*((x218 - x167*x116 - x269)/x167 + (x217 - x166*x115 - x268)/x166)* x2 - x13 + x14 = 0 } } Constraint e165 { Definition: { -0.5*((x219 - x168*x117 - x270)/x168 + (x218 - x167*x116 - x269)/x167)* x2 - x14 + x15 = 0 } } Constraint e166 { Definition: { -0.5*((x220 - x169*x118 - x271)/x169 + (x219 - x168*x117 - x270)/x168)* x2 - x15 + x16 = 0 } } Constraint e167 { Definition: { -0.5*((x221 - x170*x119 - x272)/x170 + (x220 - x169*x118 - x271)/x169)* x2 - x16 + x17 = 0 } } Constraint e168 { Definition: { -0.5*((x222 - x171*x120 - x273)/x171 + (x221 - x170*x119 - x272)/x170)* x2 - x17 + x18 = 0 } } Constraint e169 { Definition: { -0.5*((x223 - x172*x121 - x274)/x172 + (x222 - x171*x120 - x273)/x171)* x2 - x18 + x19 = 0 } } Constraint e170 { Definition: { -0.5*((x224 - x173*x122 - x275)/x173 + (x223 - x172*x121 - x274)/x172)* x2 - x19 + x20 = 0 } } Constraint e171 { Definition: { -0.5*((x225 - x174*x123 - x276)/x174 + (x224 - x173*x122 - x275)/x173)* x2 - x20 + x21 = 0 } } Constraint e172 { Definition: { -0.5*((x226 - x175*x124 - x277)/x175 + (x225 - x174*x123 - x276)/x174)* x2 - x21 + x22 = 0 } } Constraint e173 { Definition: { -0.5*((x227 - x176*x125 - x278)/x176 + (x226 - x175*x124 - x277)/x175)* x2 - x22 + x23 = 0 } } Constraint e174 { Definition: { -0.5*((x228 - x177*x126 - x279)/x177 + (x227 - x176*x125 - x278)/x176)* x2 - x23 + x24 = 0 } } Constraint e175 { Definition: { -0.5*((x229 - x178*x127 - x280)/x178 + (x228 - x177*x126 - x279)/x177)* x2 - x24 + x25 = 0 } } Constraint e176 { Definition: { -0.5*((x230 - x179*x128 - x281)/x179 + (x229 - x178*x127 - x280)/x178)* x2 - x25 + x26 = 0 } } Constraint e177 { Definition: { -0.5*((x231 - x180*x129 - x282)/x180 + (x230 - x179*x128 - x281)/x179)* x2 - x26 + x27 = 0 } } Constraint e178 { Definition: { -0.5*((x232 - x181*x130 - x283)/x181 + (x231 - x180*x129 - x282)/x180)* x2 - x27 + x28 = 0 } } Constraint e179 { Definition: { -0.5*((x233 - x182*x131 - x284)/x182 + (x232 - x181*x130 - x283)/x181)* x2 - x28 + x29 = 0 } } Constraint e180 { Definition: { -0.5*((x234 - x183*x132 - x285)/x183 + (x233 - x182*x131 - x284)/x182)* x2 - x29 + x30 = 0 } } Constraint e181 { Definition: { -0.5*((x235 - x184*x133 - x286)/x184 + (x234 - x183*x132 - x285)/x183)* x2 - x30 + x31 = 0 } } Constraint e182 { Definition: { -0.5*((x236 - x185*x134 - x287)/x185 + (x235 - x184*x133 - x286)/x184)* x2 - x31 + x32 = 0 } } Constraint e183 { Definition: { -0.5*((x237 - x186*x135 - x288)/x186 + (x236 - x185*x134 - x287)/x185)* x2 - x32 + x33 = 0 } } Constraint e184 { Definition: { -0.5*((x238 - x187*x136 - x289)/x187 + (x237 - x186*x135 - x288)/x186)* x2 - x33 + x34 = 0 } } Constraint e185 { Definition: { -0.5*((x239 - x188*x137 - x290)/x188 + (x238 - x187*x136 - x289)/x187)* x2 - x34 + x35 = 0 } } Constraint e186 { Definition: { -0.5*((x240 - x189*x138 - x291)/x189 + (x239 - x188*x137 - x290)/x188)* x2 - x35 + x36 = 0 } } Constraint e187 { Definition: { -0.5*((x241 - x190*x139 - x292)/x190 + (x240 - x189*x138 - x291)/x189)* x2 - x36 + x37 = 0 } } Constraint e188 { Definition: { -0.5*((x242 - x191*x140 - x293)/x191 + (x241 - x190*x139 - x292)/x190)* x2 - x37 + x38 = 0 } } Constraint e189 { Definition: { -0.5*((x243 - x192*x141 - x294)/x192 + (x242 - x191*x140 - x293)/x191)* x2 - x38 + x39 = 0 } } Constraint e190 { Definition: { -0.5*((x244 - x193*x142 - x295)/x193 + (x243 - x192*x141 - x294)/x192)* x2 - x39 + x40 = 0 } } Constraint e191 { Definition: { -0.5*((x245 - x194*x143 - x296)/x194 + (x244 - x193*x142 - x295)/x193)* x2 - x40 + x41 = 0 } } Constraint e192 { Definition: { -0.5*((x246 - x195*x144 - x297)/x195 + (x245 - x194*x143 - x296)/x194)* x2 - x41 + x42 = 0 } } Constraint e193 { Definition: { -0.5*((x247 - x196*x145 - x298)/x196 + (x246 - x195*x144 - x297)/x195)* x2 - x42 + x43 = 0 } } Constraint e194 { Definition: { -0.5*((x248 - x197*x146 - x299)/x197 + (x247 - x196*x145 - x298)/x196)* x2 - x43 + x44 = 0 } } Constraint e195 { Definition: { -0.5*((x249 - x198*x147 - x300)/x198 + (x248 - x197*x146 - x299)/x197)* x2 - x44 + x45 = 0 } } Constraint e196 { Definition: { -0.5*((x250 - x199*x148 - x301)/x199 + (x249 - x198*x147 - x300)/x198)* x2 - x45 + x46 = 0 } } Constraint e197 { Definition: { -0.5*((x251 - x200*x149 - x302)/x200 + (x250 - x199*x148 - x301)/x199)* x2 - x46 + x47 = 0 } } Constraint e198 { Definition: { -0.5*((x252 - x201*x150 - x303)/x201 + (x251 - x200*x149 - x302)/x200)* x2 - x47 + x48 = 0 } } Constraint e199 { Definition: { -0.5*((x253 - x202*x151 - x304)/x202 + (x252 - x201*x150 - x303)/x201)* x2 - x48 + x49 = 0 } } Constraint e200 { Definition: { -0.5*((x254 - x203*x152 - x305)/x203 + (x253 - x202*x151 - x304)/x202)* x2 - x49 + x50 = 0 } } Constraint e201 { Definition: { -0.5*((x255 - x204*x153 - x306)/x204 + (x254 - x203*x152 - x305)/x203)* x2 - x50 + x51 = 0 } } Constraint e202 { Definition: { -0.5*((x256 - x205*x154 - x307)/x205 + (x255 - x204*x153 - x306)/x204)* x2 - x51 + x52 = 0 } } Constraint e203 { Definition: { -0.5*((x257 - x206*x155 - x308)/x206 + (x256 - x205*x154 - x307)/x205)* x2 - x52 + x53 = 0 } } Constraint e204 { Definition: x2*(x207 + x208) - x156 + x157 = 0; } Constraint e205 { Definition: x2*(x208 + x209) - x157 + x158 = 0; } Constraint e206 { Definition: x2*(x209 + x210) - x158 + x159 = 0; } Constraint e207 { Definition: x2*(x210 + x211) - x159 + x160 = 0; } Constraint e208 { Definition: x2*(x211 + x212) - x160 + x161 = 0; } Constraint e209 { Definition: x2*(x212 + x213) - x161 + x162 = 0; } Constraint e210 { Definition: x2*(x213 + x214) - x162 + x163 = 0; } Constraint e211 { Definition: x2*(x214 + x215) - x163 + x164 = 0; } Constraint e212 { Definition: x2*(x215 + x216) - x164 + x165 = 0; } Constraint e213 { Definition: x2*(x216 + x217) - x165 + x166 = 0; } Constraint e214 { Definition: x2*(x217 + x218) - x166 + x167 = 0; } Constraint e215 { Definition: x2*(x218 + x219) - x167 + x168 = 0; } Constraint e216 { Definition: x2*(x219 + x220) - x168 + x169 = 0; } Constraint e217 { Definition: x2*(x220 + x221) - x169 + x170 = 0; } Constraint e218 { Definition: x2*(x221 + x222) - x170 + x171 = 0; } Constraint e219 { Definition: x2*(x222 + x223) - x171 + x172 = 0; } Constraint e220 { Definition: x2*(x223 + x224) - x172 + x173 = 0; } Constraint e221 { Definition: x2*(x224 + x225) - x173 + x174 = 0; } Constraint e222 { Definition: x2*(x225 + x226) - x174 + x175 = 0; } Constraint e223 { Definition: x2*(x226 + x227) - x175 + x176 = 0; } Constraint e224 { Definition: x2*(x227 + x228) - x176 + x177 = 0; } Constraint e225 { Definition: x2*(x228 + x229) - x177 + x178 = 0; } Constraint e226 { Definition: x2*(x229 + x230) - x178 + x179 = 0; } Constraint e227 { Definition: x2*(x230 + x231) - x179 + x180 = 0; } Constraint e228 { Definition: x2*(x231 + x232) - x180 + x181 = 0; } Constraint e229 { Definition: x2*(x232 + x233) - x181 + x182 = 0; } Constraint e230 { Definition: x2*(x233 + x234) - x182 + x183 = 0; } Constraint e231 { Definition: x2*(x234 + x235) - x183 + x184 = 0; } Constraint e232 { Definition: x2*(x235 + x236) - x184 + x185 = 0; } Constraint e233 { Definition: x2*(x236 + x237) - x185 + x186 = 0; } Constraint e234 { Definition: x2*(x237 + x238) - x186 + x187 = 0; } Constraint e235 { Definition: x2*(x238 + x239) - x187 + x188 = 0; } Constraint e236 { Definition: x2*(x239 + x240) - x188 + x189 = 0; } Constraint e237 { Definition: x2*(x240 + x241) - x189 + x190 = 0; } Constraint e238 { Definition: x2*(x241 + x242) - x190 + x191 = 0; } Constraint e239 { Definition: x2*(x242 + x243) - x191 + x192 = 0; } Constraint e240 { Definition: x2*(x243 + x244) - x192 + x193 = 0; } Constraint e241 { Definition: x2*(x244 + x245) - x193 + x194 = 0; } Constraint e242 { Definition: x2*(x245 + x246) - x194 + x195 = 0; } Constraint e243 { Definition: x2*(x246 + x247) - x195 + x196 = 0; } Constraint e244 { Definition: x2*(x247 + x248) - x196 + x197 = 0; } Constraint e245 { Definition: x2*(x248 + x249) - x197 + x198 = 0; } Constraint e246 { Definition: x2*(x249 + x250) - x198 + x199 = 0; } Constraint e247 { Definition: x2*(x250 + x251) - x199 + x200 = 0; } Constraint e248 { Definition: x2*(x251 + x252) - x200 + x201 = 0; } Constraint e249 { Definition: x2*(x252 + x253) - x201 + x202 = 0; } Constraint e250 { Definition: x2*(x253 + x254) - x202 + x203 = 0; } Constraint e251 { Definition: x2*(x254 + x255) - x203 + x204 = 0; } Constraint e252 { Definition: x2*(x255 + x256) - x204 + x205 = 0; } Constraint e253 { Definition: x2*(x256 + x257) - x205 + x206 = 0; } Procedure MainInitialization { Body: { x3.lower := 0; x3.upper := 0; x54.lower := 1; x54.upper := 1; x55.lower := 1; x56.lower := 1; x57.lower := 1; x58.lower := 1; x59.lower := 1; x60.lower := 1; x61.lower := 1; x62.lower := 1; x63.lower := 1; x64.lower := 1; x65.lower := 1; x66.lower := 1; x67.lower := 1; x68.lower := 1; x69.lower := 1; x70.lower := 1; x71.lower := 1; x72.lower := 1; x73.lower := 1; x74.lower := 1; x75.lower := 1; x76.lower := 1; x77.lower := 1; x78.lower := 1; x79.lower := 1; x80.lower := 1; x81.lower := 1; x82.lower := 1; x83.lower := 1; x84.lower := 1; x85.lower := 1; x86.lower := 1; x87.lower := 1; x88.lower := 1; x89.lower := 1; x90.lower := 1; x91.lower := 1; x92.lower := 1; x93.lower := 1; x94.lower := 1; x95.lower := 1; x96.lower := 1; x97.lower := 1; x98.lower := 1; x99.lower := 1; x100.lower := 1; x101.lower := 1; x102.lower := 1; x103.lower := 1; x104.lower := 1; x156.lower := 1; x156.upper := 1; x157.lower := 0.6; x157.upper := 1; x158.lower := 0.6; x158.upper := 1; x159.lower := 0.6; x159.upper := 1; x160.lower := 0.6; x160.upper := 1; x161.lower := 0.6; x161.upper := 1; x162.lower := 0.6; x162.upper := 1; x163.lower := 0.6; x163.upper := 1; x164.lower := 0.6; x164.upper := 1; x165.lower := 0.6; x165.upper := 1; x166.lower := 0.6; x166.upper := 1; x167.lower := 0.6; x167.upper := 1; x168.lower := 0.6; x168.upper := 1; x169.lower := 0.6; x169.upper := 1; x170.lower := 0.6; x170.upper := 1; x171.lower := 0.6; x171.upper := 1; x172.lower := 0.6; x172.upper := 1; x173.lower := 0.6; x173.upper := 1; x174.lower := 0.6; x174.upper := 1; x175.lower := 0.6; x175.upper := 1; x176.lower := 0.6; x176.upper := 1; x177.lower := 0.6; x177.upper := 1; x178.lower := 0.6; x178.upper := 1; x179.lower := 0.6; x179.upper := 1; x180.lower := 0.6; x180.upper := 1; x181.lower := 0.6; x181.upper := 1; x182.lower := 0.6; x182.upper := 1; x183.lower := 0.6; x183.upper := 1; x184.lower := 0.6; x184.upper := 1; x185.lower := 0.6; x185.upper := 1; x186.lower := 0.6; x186.upper := 1; x187.lower := 0.6; x187.upper := 1; x188.lower := 0.6; x188.upper := 1; x189.lower := 0.6; x189.upper := 1; x190.lower := 0.6; x190.upper := 1; x191.lower := 0.6; x191.upper := 1; x192.lower := 0.6; x192.upper := 1; x193.lower := 0.6; x193.upper := 1; x194.lower := 0.6; x194.upper := 1; x195.lower := 0.6; x195.upper := 1; x196.lower := 0.6; x196.upper := 1; x197.lower := 0.6; x197.upper := 1; x198.lower := 0.6; x198.upper := 1; x199.lower := 0.6; x199.upper := 1; x200.lower := 0.6; x200.upper := 1; x201.lower := 0.6; x201.upper := 1; x202.lower := 0.6; x202.upper := 1; x203.lower := 0.6; x203.upper := 1; x204.lower := 0.6; x204.upper := 1; x205.lower := 0.6; x205.upper := 1; x206.lower := 0.6; x206.upper := 0.6; x207.upper := 3.5; x208.upper := 3.5; x209.upper := 3.5; x210.upper := 3.5; x211.upper := 3.5; x212.upper := 3.5; x213.upper := 3.5; x214.upper := 3.5; x215.upper := 3.5; x216.upper := 3.5; x217.upper := 3.5; x218.upper := 3.5; x219.upper := 3.5; x220.upper := 3.5; x221.upper := 3.5; x222.upper := 3.5; x223.upper := 3.5; x224.upper := 3.5; x225.upper := 3.5; x226.upper := 3.5; x227.upper := 3.5; x228.upper := 3.5; x229.upper := 3.5; x230.upper := 3.5; x231.upper := 3.5; x232.upper := 3.5; x233.upper := 3.5; x234.upper := 3.5; x235.upper := 3.5; x236.upper := 3.5; x237.upper := 3.5; x238.upper := 3.5; x239.upper := 3.5; x240.upper := 3.5; x241.upper := 3.5; x242.upper := 3.5; x243.upper := 3.5; x244.upper := 3.5; x245.upper := 3.5; x246.upper := 3.5; x247.upper := 3.5; x248.upper := 3.5; x249.upper := 3.5; x250.upper := 3.5; x251.upper := 3.5; x252.upper := 3.5; x253.upper := 3.5; x254.upper := 3.5; x255.upper := 3.5; x256.upper := 3.5; x257.upper := 3.5; x2.l := 0.02; x4.l := 0.0384; x5.l := 0.0564; x6.l := 0.0736; x7.l := 0.09; x8.l := 0.1056; x9.l := 0.1204; x10.l := 0.1344; x11.l := 0.1476; x12.l := 0.16; x13.l := 0.1716; x14.l := 0.1824; x15.l := 0.1924; x16.l := 0.2016; x17.l := 0.21; x18.l := 0.2176; x19.l := 0.2244; x20.l := 0.2304; x21.l := 0.2356; x22.l := 0.24; x23.l := 0.2436; x24.l := 0.2464; x25.l := 0.2484; x26.l := 0.2496; x27.l := 0.25; x28.l := 0.2496; x29.l := 0.2484; x30.l := 0.2464; x31.l := 0.2436; x32.l := 0.24; x33.l := 0.2356; x34.l := 0.2304; x35.l := 0.2244; x36.l := 0.2176; x37.l := 0.21; x38.l := 0.2016; x39.l := 0.1924; x40.l := 0.1824; x41.l := 0.1716; x42.l := 0.16; x43.l := 0.1476; x44.l := 0.1344; x45.l := 0.1204; x46.l := 0.1056; x47.l := 0.09; x48.l := 0.0736; x49.l := 0.0564; x50.l := 0.0384; x51.l := 0.0196; x157.l := 0.984; x158.l := 0.976; x159.l := 0.968; x160.l := 0.96; x161.l := 0.952; x162.l := 0.944; x163.l := 0.936; x164.l := 0.928; x165.l := 0.92; x166.l := 0.912; x167.l := 0.904; x168.l := 0.896; x169.l := 0.888; x170.l := 0.88; x171.l := 0.872; x172.l := 0.864; x173.l := 0.856; x174.l := 0.848; x175.l := 0.84; x176.l := 0.832; x177.l := 0.824; x178.l := 0.816; x179.l := 0.808; x180.l := 0.8; x181.l := 0.792; x182.l := 0.784; x183.l := 0.776; x184.l := 0.768; x185.l := 0.76; x186.l := 0.752; x187.l := 0.744; x188.l := 0.736; x189.l := 0.728; x190.l := 0.72; x191.l := 0.712; x192.l := 0.704; x193.l := 0.696; x194.l := 0.688; x195.l := 0.68; x196.l := 0.672; x197.l := 0.664; x198.l := 0.656; x199.l := 0.648; x200.l := 0.64; x201.l := 0.632; x202.l := 0.624; x203.l := 0.616; x204.l := 0.608; x207.l := 1.75; x208.l := 1.75; x209.l := 1.75; x210.l := 1.75; x211.l := 1.75; x212.l := 1.75; x213.l := 1.75; x214.l := 1.75; x215.l := 1.75; x216.l := 1.75; x217.l := 1.75; x218.l := 1.75; x219.l := 1.75; x220.l := 1.75; x221.l := 1.75; x222.l := 1.75; x223.l := 1.75; x224.l := 1.75; x225.l := 1.75; x226.l := 1.75; x227.l := 1.75; x228.l := 1.75; x229.l := 1.75; x230.l := 1.75; x231.l := 1.75; x232.l := 1.75; x233.l := 1.75; x234.l := 1.75; x235.l := 1.75; x236.l := 1.75; x237.l := 1.75; x238.l := 1.75; x239.l := 1.75; x240.l := 1.75; x241.l := 1.75; x242.l := 1.75; x243.l := 1.75; x244.l := 1.75; x245.l := 1.75; x246.l := 1.75; x247.l := 1.75; x248.l := 1.75; x249.l := 1.75; x250.l := 1.75; x251.l := 1.75; x252.l := 1.75; x253.l := 1.75; x254.l := 1.75; x255.l := 1.75; x256.l := 1.75; x257.l := 1.75; } } MathematicalProgram rocket50 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve rocket50; } } Procedure MainTermination { Body: { return 1; } } }