## ams_version=1.0 Model Main_ravempb { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; Variable x7; Variable x8; Variable x9; Variable x10; Variable x11; Variable x12; Variable x13; Variable x14; Variable x15; Variable x16; Variable x17; Variable x18; Variable x19; Variable x20; Variable x21; Variable x22; Variable x23; Variable x24; Variable x25; Variable x26; Variable x27; Variable x28; Variable x29; Variable x30; Variable x31; Variable x32; Variable x33; Variable x34; Variable x35; Variable x36; 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 objvar; Variable x50; Variable x51; Variable x52; Variable x53; Variable x54; Variable x55; Variable x56; Variable x57; Variable x58; Variable x59; Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } 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; } Constraint e1 { Definition: x1 - x7 + x37 >= 2.06686275947298; } Constraint e2 { Definition: x2 - x8 + x38 >= 0.693147180559945; } Constraint e3 { Definition: x3 - x9 + x39 >= 1.64865862558738; } Constraint e4 { Definition: x4 - x10 + x40 >= 1.58923520511658; } Constraint e5 { Definition: x5 - x11 + x41 >= 1.80828877117927; } Constraint e6 { Definition: x6 - x12 + x42 >= 1.43508452528932; } Constraint e7 { Definition: x1 - x13 + x37 >= -0.356674943938732; } Constraint e8 { Definition: x2 - x14 + x38 >= -0.22314355131421; } Constraint e9 { Definition: x3 - x15 + x39 >= -0.105360515657826; } Constraint e10 { Definition: x4 - x16 + x40 >= 1.22377543162212; } Constraint e11 { Definition: x5 - x17 + x41 >= 0.741937344729377; } Constraint e12 { Definition: x6 - x18 + x42 >= 0.916290731874155; } Constraint e13 { Definition: x1 - x19 + x37 >= -0.356674943938732; } Constraint e14 { Definition: x2 - x20 + x38 >= 0.955511445027436; } Constraint e15 { Definition: x3 - x21 + x39 >= 0.470003629245736; } Constraint e16 { Definition: x4 - x22 + x40 >= 1.28093384546206; } Constraint e17 { Definition: x5 - x23 + x41 >= 1.16315080980568; } Constraint e18 { Definition: x6 - x24 + x42 >= 1.06471073699243; } Constraint e19 { Definition: x1 - x25 + x37 >= 1.54756250871601; } Constraint e20 { Definition: x2 - x26 + x38 >= 0.832909122935104; } Constraint e21 { Definition: x3 - x27 + x39 >= 0.470003629245736; } Constraint e22 { Definition: x4 - x28 + x40 >= 0.993251773010283; } Constraint e23 { Definition: x5 - x29 + x41 >= 0.182321556793955; } Constraint e24 { Definition: x6 - x30 + x42 >= 0.916290731874155; } Constraint e25 { Definition: x1 - x31 + x37 >= 0.182321556793955; } Constraint e26 { Definition: x2 - x32 + x38 >= 1.28093384546206; } Constraint e27 { Definition: x3 - x33 + x39 >= 0.8754687373539; } Constraint e28 { Definition: x4 - x34 + x40 >= 1.50407739677627; } Constraint e29 { Definition: x5 - x35 + x41 >= 0.470003629245736; } Constraint e30 { Definition: x6 - x36 + x42 >= 0.741937344729377; } Constraint e31 { Definition: x7 + x43 + x55 >= 1.85629799036563; } Constraint e32 { Definition: x8 + x44 + x55 >= 1.54756250871601; } Constraint e33 { Definition: x9 + x45 + x55 >= 2.11625551480255; } Constraint e34 { Definition: x10 + x46 + x55 >= 1.3609765531356; } Constraint e35 { Definition: x11 + x47 + x55 >= 0.741937344729377; } Constraint e36 { Definition: x12 + x48 + x55 >= 0.182321556793955; } Constraint e37 { Definition: x13 + x43 + x56 >= 1.91692261218206; } Constraint e38 { Definition: x14 + x44 + x56 >= 1.85629799036563; } Constraint e39 { Definition: x15 + x45 + x56 >= 1.87180217690159; } Constraint e40 { Definition: x16 + x46 + x56 >= 1.48160454092422; } Constraint e41 { Definition: x17 + x47 + x56 >= 0.832909122935104; } Constraint e42 { Definition: x18 + x48 + x56 >= 1.16315080980568; } Constraint e43 { Definition: x19 + x43 + x57 >= 0; } Constraint e44 { Definition: x20 + x44 + x57 >= 1.84054963339749; } Constraint e45 { Definition: x21 + x45 + x57 >= 1.68639895357023; } Constraint e46 { Definition: x22 + x46 + x57 >= 2.47653840011748; } Constraint e47 { Definition: x23 + x47 + x57 >= 1.7404661748405; } Constraint e48 { Definition: x24 + x48 + x57 >= 1.82454929205105; } Constraint e49 { Definition: x25 + x43 + x58 >= 1.16315080980568; } Constraint e50 { Definition: x26 + x44 + x58 >= 1.09861228866811; } Constraint e51 { Definition: x27 + x45 + x58 >= 1.25276296849537; } Constraint e52 { Definition: x28 + x46 + x58 >= 1.19392246847243; } Constraint e53 { Definition: x29 + x47 + x58 >= 1.02961941718116; } Constraint e54 { Definition: x30 + x48 + x58 >= 1.22377543162212; } Constraint e55 { Definition: x31 + x43 + x59 >= 0.741937344729377; } Constraint e56 { Definition: x32 + x44 + x59 >= 0.916290731874155; } Constraint e57 { Definition: x33 + x45 + x59 >= 1.43508452528932; } Constraint e58 { Definition: x34 + x46 + x59 >= 1.28093384546206; } Constraint e59 { Definition: x35 + x47 + x59 >= 1.30833281965018; } Constraint e60 { Definition: x36 + x48 + x59 >= 0.78845736036427; } Constraint e61 { Definition: { 250000*exp(x55) + 150000*exp(x56) + 180000*exp(x57) + 160000*exp(x58) + 120000*exp(x59) <= 6000 } } Constraint e62 { Definition: - x8 + x50 - 10*b108 >= -7.69741490700595; } Constraint e63 { Definition: - x9 + x51 - 10*b109 >= -7.69741490700595; } Constraint e64 { Definition: - x10 + x52 - 10*b110 >= -7.69741490700595; } Constraint e65 { Definition: - x11 + x53 - 10*b111 >= -7.69741490700595; } Constraint e66 { Definition: - x12 + x54 - 10*b112 >= -7.69741490700595; } Constraint e67 { Definition: - x14 + x50 - 10*b108 >= -7.69741490700595; } Constraint e68 { Definition: - x15 + x51 - 10*b109 >= -7.69741490700595; } Constraint e69 { Definition: - x16 + x52 - 10*b110 >= -7.69741490700595; } Constraint e70 { Definition: - x17 + x53 - 10*b111 >= -7.69741490700595; } Constraint e71 { Definition: - x18 + x54 - 10*b112 >= -7.69741490700595; } Constraint e72 { Definition: - x20 + x50 - 10*b108 >= -7.69741490700595; } Constraint e73 { Definition: - x21 + x51 - 10*b109 >= -7.69741490700595; } Constraint e74 { Definition: - x22 + x52 - 10*b110 >= -7.69741490700595; } Constraint e75 { Definition: - x23 + x53 - 10*b111 >= -7.69741490700595; } Constraint e76 { Definition: - x24 + x54 - 10*b112 >= -7.69741490700595; } Constraint e77 { Definition: - x26 + x50 - 10*b108 >= -7.69741490700595; } Constraint e78 { Definition: - x27 + x51 - 10*b109 >= -7.69741490700595; } Constraint e79 { Definition: - x28 + x52 - 10*b110 >= -7.69741490700595; } Constraint e80 { Definition: - x29 + x53 - 10*b111 >= -7.69741490700595; } Constraint e81 { Definition: - x30 + x54 - 10*b112 >= -7.69741490700595; } Constraint e82 { Definition: - x32 + x50 - 10*b108 >= -7.69741490700595; } Constraint e83 { Definition: - x33 + x51 - 10*b109 >= -7.69741490700595; } Constraint e84 { Definition: - x34 + x52 - 10*b110 >= -7.69741490700595; } Constraint e85 { Definition: - x35 + x53 - 10*b111 >= -7.69741490700595; } Constraint e86 { Definition: - x36 + x54 - 10*b112 >= -7.69741490700595; } Constraint e87 { Definition: - x7 + x50 - 10*b108 >= -7.69741490700595; } Constraint e88 { Definition: - x8 + x51 - 10*b109 >= -7.69741490700595; } Constraint e89 { Definition: - x9 + x52 - 10*b110 >= -7.69741490700595; } Constraint e90 { Definition: - x10 + x53 - 10*b111 >= -7.69741490700595; } Constraint e91 { Definition: - x11 + x54 - 10*b112 >= -7.69741490700595; } Constraint e92 { Definition: - x13 + x50 - 10*b108 >= -7.69741490700595; } Constraint e93 { Definition: - x14 + x51 - 10*b109 >= -7.69741490700595; } Constraint e94 { Definition: - x15 + x52 - 10*b110 >= -7.69741490700595; } Constraint e95 { Definition: - x16 + x53 - 10*b111 >= -7.69741490700595; } Constraint e96 { Definition: - x17 + x54 - 10*b112 >= -7.69741490700595; } Constraint e97 { Definition: - x19 + x50 - 10*b108 >= -7.69741490700595; } Constraint e98 { Definition: - x20 + x51 - 10*b109 >= -7.69741490700595; } Constraint e99 { Definition: - x21 + x52 - 10*b110 >= -7.69741490700595; } Constraint e100 { Definition: - x22 + x53 - 10*b111 >= -7.69741490700595; } Constraint e101 { Definition: - x23 + x54 - 10*b112 >= -7.69741490700595; } Constraint e102 { Definition: - x25 + x50 - 10*b108 >= -7.69741490700595; } Constraint e103 { Definition: - x26 + x51 - 10*b109 >= -7.69741490700595; } Constraint e104 { Definition: - x27 + x52 - 10*b110 >= -7.69741490700595; } Constraint e105 { Definition: - x28 + x53 - 10*b111 >= -7.69741490700595; } Constraint e106 { Definition: - x29 + x54 - 10*b112 >= -7.69741490700595; } Constraint e107 { Definition: - x31 + x50 - 10*b108 >= -7.69741490700595; } Constraint e108 { Definition: - x32 + x51 - 10*b109 >= -7.69741490700595; } Constraint e109 { Definition: - x33 + x52 - 10*b110 >= -7.69741490700595; } Constraint e110 { Definition: - x34 + x53 - 10*b111 >= -7.69741490700595; } Constraint e111 { Definition: - x35 + x54 - 10*b112 >= -7.69741490700595; } Constraint e112 { Definition: { x37 - 0.693147180559945*b66 - 1.09861228866811*b72 - 1.38629436111989*b78 = 0 } } Constraint e113 { Definition: { x38 - 0.693147180559945*b67 - 1.09861228866811*b73 - 1.38629436111989*b79 = 0 } } Constraint e114 { Definition: { x39 - 0.693147180559945*b68 - 1.09861228866811*b74 - 1.38629436111989*b80 = 0 } } Constraint e115 { Definition: { x40 - 0.693147180559945*b69 - 1.09861228866811*b75 - 1.38629436111989*b81 = 0 } } Constraint e116 { Definition: { x41 - 0.693147180559945*b70 - 1.09861228866811*b76 - 1.38629436111989*b82 = 0 } } Constraint e117 { Definition: { x42 - 0.693147180559945*b71 - 1.09861228866811*b77 - 1.38629436111989*b83 = 0 } } Constraint e118 { Definition: { x43 - 0.693147180559945*b90 - 1.09861228866811*b96 - 1.38629436111989*b102 = 0 } } Constraint e119 { Definition: { x44 - 0.693147180559945*b91 - 1.09861228866811*b97 - 1.38629436111989*b103 = 0 } } Constraint e120 { Definition: { x45 - 0.693147180559945*b92 - 1.09861228866811*b98 - 1.38629436111989*b104 = 0 } } Constraint e121 { Definition: { x46 - 0.693147180559945*b93 - 1.09861228866811*b99 - 1.38629436111989*b105 = 0 } } Constraint e122 { Definition: { x47 - 0.693147180559945*b94 - 1.09861228866811*b100 - 1.38629436111989*b106 = 0 } } Constraint e123 { Definition: { x48 - 0.693147180559945*b95 - 1.09861228866811*b101 - 1.38629436111989*b107 = 0 } } Constraint e124 { Definition: b60 + b66 + b72 + b78 = 1; } Constraint e125 { Definition: b61 + b67 + b73 + b79 = 1; } Constraint e126 { Definition: b62 + b68 + b74 + b80 = 1; } Constraint e127 { Definition: b63 + b69 + b75 + b81 = 1; } Constraint e128 { Definition: b64 + b70 + b76 + b82 = 1; } Constraint e129 { Definition: b65 + b71 + b77 + b83 = 1; } Constraint e130 { Definition: b84 + b90 + b96 + b102 = 1; } Constraint e131 { Definition: b85 + b91 + b97 + b103 = 1; } Constraint e132 { Definition: b86 + b92 + b98 + b104 = 1; } Constraint e133 { Definition: b87 + b93 + b99 + b105 = 1; } Constraint e134 { Definition: b88 + b94 + b100 + b106 = 1; } Constraint e135 { Definition: b89 + b95 + b101 + b107 = 1; } Constraint e136 { Definition: b108 + b109 + b110 + b111 + b112 + b113 = 1; } Constraint e137 { Definition: x7 - x8 - 0.693147180559945*b108 <= 0; } Constraint e138 { Definition: x8 - x9 - 0.693147180559945*b109 <= 0; } Constraint e139 { Definition: x9 - x10 - 0.693147180559945*b110 <= 0; } Constraint e140 { Definition: x10 - x11 - 0.693147180559945*b111 <= 0; } Constraint e141 { Definition: x11 - x12 - 0.693147180559945*b112 <= 0; } Constraint e142 { Definition: x13 - x14 - 0.693147180559945*b108 <= 0; } Constraint e143 { Definition: x14 - x15 - 0.693147180559945*b109 <= 0; } Constraint e144 { Definition: x15 - x16 - 0.693147180559945*b110 <= 0; } Constraint e145 { Definition: x16 - x17 - 0.693147180559945*b111 <= 0; } Constraint e146 { Definition: x17 - x18 - 0.693147180559945*b112 <= 0; } Constraint e147 { Definition: x19 - x20 - 0.693147180559945*b108 <= 0; } Constraint e148 { Definition: x20 - x21 - 0.693147180559945*b109 <= 0; } Constraint e149 { Definition: x21 - x22 - 0.693147180559945*b110 <= 0; } Constraint e150 { Definition: x22 - x23 - 0.693147180559945*b111 <= 0; } Constraint e151 { Definition: x23 - x24 - 0.693147180559945*b112 <= 0; } Constraint e152 { Definition: x25 - x26 - 0.693147180559945*b108 <= 0; } Constraint e153 { Definition: x26 - x27 - 0.693147180559945*b109 <= 0; } Constraint e154 { Definition: x27 - x28 - 0.693147180559945*b110 <= 0; } Constraint e155 { Definition: x28 - x29 - 0.693147180559945*b111 <= 0; } Constraint e156 { Definition: x29 - x30 - 0.693147180559945*b112 <= 0; } Constraint e157 { Definition: x31 - x32 - 0.693147180559945*b108 <= 0; } Constraint e158 { Definition: x32 - x33 - 0.693147180559945*b109 <= 0; } Constraint e159 { Definition: x33 - x34 - 0.693147180559945*b110 <= 0; } Constraint e160 { Definition: x34 - x35 - 0.693147180559945*b111 <= 0; } Constraint e161 { Definition: x35 - x36 - 0.693147180559945*b112 <= 0; } Constraint e162 { Definition: x7 - x8 + 0.693147180559945*b108 >= 0; } Constraint e163 { Definition: x8 - x9 + 0.693147180559945*b109 >= 0; } Constraint e164 { Definition: x9 - x10 + 0.693147180559945*b110 >= 0; } Constraint e165 { Definition: x10 - x11 + 0.693147180559945*b111 >= 0; } Constraint e166 { Definition: x11 - x12 + 0.693147180559945*b112 >= 0; } Constraint e167 { Definition: x13 - x14 + 0.693147180559945*b108 >= 0; } Constraint e168 { Definition: x14 - x15 + 0.693147180559945*b109 >= 0; } Constraint e169 { Definition: x15 - x16 + 0.693147180559945*b110 >= 0; } Constraint e170 { Definition: x16 - x17 + 0.693147180559945*b111 >= 0; } Constraint e171 { Definition: x17 - x18 + 0.693147180559945*b112 >= 0; } Constraint e172 { Definition: x19 - x20 + 0.693147180559945*b108 >= 0; } Constraint e173 { Definition: x20 - x21 + 0.693147180559945*b109 >= 0; } Constraint e174 { Definition: x21 - x22 + 0.693147180559945*b110 >= 0; } Constraint e175 { Definition: x22 - x23 + 0.693147180559945*b111 >= 0; } Constraint e176 { Definition: x23 - x24 + 0.693147180559945*b112 >= 0; } Constraint e177 { Definition: x25 - x26 + 0.693147180559945*b108 >= 0; } Constraint e178 { Definition: x26 - x27 + 0.693147180559945*b109 >= 0; } Constraint e179 { Definition: x27 - x28 + 0.693147180559945*b110 >= 0; } Constraint e180 { Definition: x28 - x29 + 0.693147180559945*b111 >= 0; } Constraint e181 { Definition: x29 - x30 + 0.693147180559945*b112 >= 0; } Constraint e182 { Definition: x31 - x32 + 0.693147180559945*b108 >= 0; } Constraint e183 { Definition: x32 - x33 + 0.693147180559945*b109 >= 0; } Constraint e184 { Definition: x33 - x34 + 0.693147180559945*b110 >= 0; } Constraint e185 { Definition: x34 - x35 + 0.693147180559945*b111 >= 0; } Constraint e186 { Definition: x35 - x36 + 0.693147180559945*b112 >= 0; } Constraint e187 { Definition: { 250*(exp(0.6*x1 + x37 + x43) + exp(0.6*x2 + x38 + x44) + exp(0.6*x3 + x39 + x45) + exp(0.6*x4 + x40 + x46) + exp(0.6*x5 + x41 + x47) + exp(0.6 *x6 + x42 + x48)) + 150*(exp(0.5*x50) + exp(0.5*x51) + exp(0.5*x52) + exp(0.5*x53) + exp(0.5*x54)) - objvar = 0 } } Procedure MainInitialization { Body: { x1.lower := 5.7037824746562; x1.upper := 8.1605182474775; x2.lower := 5.7037824746562; x2.upper := 8.1605182474775; x3.lower := 5.7037824746562; x3.upper := 8.1605182474775; x4.lower := 5.7037824746562; x4.upper := 8.1605182474775; x5.lower := 5.7037824746562; x5.upper := 8.1605182474775; x6.lower := 5.7037824746562; x6.upper := 8.1605182474775; x7.lower := 4.45966260231685; x7.upper := 6.09365548800453; x8.lower := 4.45966260231685; x8.upper := 6.09365548800453; x9.lower := 4.45966260231685; x9.upper := 6.09365548800453; x10.lower := 4.45966260231685; x10.upper := 6.09365548800453; x11.lower := 4.45966260231685; x11.upper := 6.09365548800453; x12.lower := 4.45966260231685; x12.upper := 6.09365548800453; x13.lower := 3.74950407593037; x13.upper := 6.93674281585539; x14.lower := 3.74950407593037; x14.upper := 6.93674281585539; x15.lower := 3.74950407593037; x15.upper := 6.93674281585539; x16.lower := 3.74950407593037; x16.upper := 6.93674281585539; x17.lower := 3.74950407593037; x17.upper := 6.93674281585539; x18.lower := 3.74950407593037; x18.upper := 6.93674281585539; x19.lower := 4.49144142065975; x19.upper := 6.87958440201544; x20.lower := 4.49144142065975; x20.upper := 6.87958440201544; x21.lower := 4.49144142065975; x21.upper := 6.87958440201544; x22.lower := 4.49144142065975; x22.upper := 6.87958440201544; x23.lower := 4.49144142065975; x23.upper := 6.87958440201544; x24.lower := 4.49144142065975; x24.upper := 6.87958440201544; x25.lower := 3.14988295338125; x25.upper := 6.61295573876149; x26.lower := 3.14988295338125; x26.upper := 6.61295573876149; x27.lower := 3.14988295338125; x27.upper := 6.61295573876149; x28.lower := 3.14988295338125; x28.upper := 6.61295573876149; x29.lower := 3.14988295338125; x29.upper := 6.61295573876149; x30.lower := 3.14988295338125; x30.upper := 6.61295573876149; x31.lower := 3.04452243772342; x31.upper := 6.65644085070123; x32.lower := 3.04452243772342; x32.upper := 6.65644085070123; x33.lower := 3.04452243772342; x33.upper := 6.65644085070123; x34.lower := 3.04452243772342; x34.upper := 6.65644085070123; x35.lower := 3.04452243772342; x35.upper := 6.65644085070123; x36.lower := 3.04452243772342; x36.upper := 6.65644085070123; x37.upper := 1.38629436111989; x38.upper := 1.38629436111989; x39.upper := 1.38629436111989; x40.upper := 1.38629436111989; x41.upper := 1.38629436111989; x42.upper := 1.38629436111989; x43.upper := 1.38629436111989; x44.upper := 1.38629436111989; x45.upper := 1.38629436111989; x46.upper := 1.38629436111989; x47.upper := 1.38629436111989; x48.upper := 1.38629436111989; x50.lower := 4.60517018598809; x50.upper := 9.61580548008435; x51.lower := 4.60517018598809; x51.upper := 9.61580548008435; x52.lower := 4.60517018598809; x52.upper := 9.61580548008435; x53.lower := 4.60517018598809; x53.upper := 9.61580548008435; x54.lower := 4.60517018598809; x54.upper := 9.61580548008435; x55.upper := 100; x56.upper := 100; x57.upper := 100; x58.upper := 100; x59.upper := 100; b113.lower := 0; b113.upper := 0; x1.l := 7.34352180463367; x2.l := 6.64102435636503; x3.l := 6.92531767074807; x4.l := 6.96644675679966; x5.l := 7.08494781633996; x6.l := 6.75022364833002; x7.l := 5.27665904516069; x8.l := 5.27665904516069; x9.l := 5.27665904516069; x10.l := 5.27665904516069; x11.l := 5.27665904516069; x12.l := 5.27665904516069; x13.l := 5.34312344589288; x14.l := 5.34312344589288; x15.l := 5.34312344589288; x16.l := 5.34312344589288; x17.l := 5.34312344589288; x18.l := 5.34312344589288; x19.l := 5.68551291133759; x20.l := 5.68551291133759; x21.l := 5.68551291133759; x22.l := 5.68551291133759; x23.l := 5.68551291133759; x24.l := 5.68551291133759; x25.l := 4.88141934607137; x26.l := 4.88141934607137; x27.l := 4.88141934607137; x28.l := 4.88141934607137; x29.l := 4.88141934607137; x30.l := 4.88141934607137; x31.l := 4.85048164421233; x32.l := 4.85048164421233; x33.l := 4.85048164421233; x34.l := 4.85048164421233; x35.l := 4.85048164421233; x36.l := 4.85048164421233; x43.l := 0.693147180559945; x44.l := 0.693147180559945; x45.l := 0.693147180559945; x46.l := 0.693147180559945; x47.l := 0.693147180559945; x48.l := 0.693147180559945; } } MathematicalProgram ravempb { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve ravempb; } } Procedure MainTermination { Body: { return 1; } } }