# MINLP written by GAMS Convert at 03/03/22 14:44:20
#
# Equation counts
#     Total        E        G        L        N        X        C        B
#       186       25      135       26        0        0        0        0
#
# Variable counts
#                  x        b        i      s1s      s2s       sc       si
#     Total     cont   binary  integer     sos1     sos2    scont     sint
#       112       58       54        0        0        0        0        0
# FX      1
#
# Nonzero counts
#     Total    const       NL
#       587      582        5
#
# Reformulation has removed 1 variable and 1 equation

var x1 := 7.34352180463367, >= 5.7037824746562, <= 8.1605182474775;
var x2 := 6.64102435636503, >= 5.7037824746562, <= 8.1605182474775;
var x3 := 6.92531767074807, >= 5.7037824746562, <= 8.1605182474775;
var x4 := 6.96644675679966, >= 5.7037824746562, <= 8.1605182474775;
var x5 := 7.08494781633996, >= 5.7037824746562, <= 8.1605182474775;
var x6 := 6.75022364833002, >= 5.7037824746562, <= 8.1605182474775;
var x7 := 5.27665904516069, >= 4.45966260231685, <= 6.09365548800453;
var x8 := 5.27665904516069, >= 4.45966260231685, <= 6.09365548800453;
var x9 := 5.27665904516069, >= 4.45966260231685, <= 6.09365548800453;
var x10 := 5.27665904516069, >= 4.45966260231685, <= 6.09365548800453;
var x11 := 5.27665904516069, >= 4.45966260231685, <= 6.09365548800453;
var x12 := 5.27665904516069, >= 4.45966260231685, <= 6.09365548800453;
var x13 := 5.34312344589288, >= 3.74950407593037, <= 6.93674281585539;
var x14 := 5.34312344589288, >= 3.74950407593037, <= 6.93674281585539;
var x15 := 5.34312344589288, >= 3.74950407593037, <= 6.93674281585539;
var x16 := 5.34312344589288, >= 3.74950407593037, <= 6.93674281585539;
var x17 := 5.34312344589288, >= 3.74950407593037, <= 6.93674281585539;
var x18 := 5.34312344589288, >= 3.74950407593037, <= 6.93674281585539;
var x19 := 5.68551291133759, >= 4.49144142065975, <= 6.87958440201544;
var x20 := 5.68551291133759, >= 4.49144142065975, <= 6.87958440201544;
var x21 := 5.68551291133759, >= 4.49144142065975, <= 6.87958440201544;
var x22 := 5.68551291133759, >= 4.49144142065975, <= 6.87958440201544;
var x23 := 5.68551291133759, >= 4.49144142065975, <= 6.87958440201544;
var x24 := 5.68551291133759, >= 4.49144142065975, <= 6.87958440201544;
var x25 := 4.88141934607137, >= 3.14988295338125, <= 6.61295573876149;
var x26 := 4.88141934607137, >= 3.14988295338125, <= 6.61295573876149;
var x27 := 4.88141934607137, >= 3.14988295338125, <= 6.61295573876149;
var x28 := 4.88141934607137, >= 3.14988295338125, <= 6.61295573876149;
var x29 := 4.88141934607137, >= 3.14988295338125, <= 6.61295573876149;
var x30 := 4.88141934607137, >= 3.14988295338125, <= 6.61295573876149;
var x31 := 4.85048164421233, >= 3.04452243772342, <= 6.65644085070123;
var x32 := 4.85048164421233, >= 3.04452243772342, <= 6.65644085070123;
var x33 := 4.85048164421233, >= 3.04452243772342, <= 6.65644085070123;
var x34 := 4.85048164421233, >= 3.04452243772342, <= 6.65644085070123;
var x35 := 4.85048164421233, >= 3.04452243772342, <= 6.65644085070123;
var x36 := 4.85048164421233, >= 3.04452243772342, <= 6.65644085070123;
var x37 >= 0, <= 1.38629436111989;
var x38 >= 0, <= 1.38629436111989;
var x39 >= 0, <= 1.38629436111989;
var x40 >= 0, <= 1.38629436111989;
var x41 >= 0, <= 1.38629436111989;
var x42 >= 0, <= 1.38629436111989;
var x43 := 0.693147180559945, >= 0, <= 1.38629436111989;
var x44 := 0.693147180559945, >= 0, <= 1.38629436111989;
var x45 := 0.693147180559945, >= 0, <= 1.38629436111989;
var x46 := 0.693147180559945, >= 0, <= 1.38629436111989;
var x47 := 0.693147180559945, >= 0, <= 1.38629436111989;
var x48 := 0.693147180559945, >= 0, <= 1.38629436111989;
var x49 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x50 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x51 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x52 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x53 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x54;
var x55;
var x56;
var x57;
var x58;
var b59 binary >= 0, <= 1;
var b60 binary >= 0, <= 1;
var b61 binary >= 0, <= 1;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var b64 binary >= 0, <= 1;
var b65 binary >= 0, <= 1;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var b68 binary >= 0, <= 1;
var b69 binary >= 0, <= 1;
var b70 binary >= 0, <= 1;
var b71 binary >= 0, <= 1;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var b76 binary >= 0, <= 1;
var b77 binary >= 0, <= 1;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var b80 binary >= 0, <= 1;
var b81 binary >= 0, <= 1;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
var b88 binary >= 0, <= 1;
var b89 binary >= 0, <= 1;
var b90 binary >= 0, <= 1;
var b91 binary >= 0, <= 1;
var b92 binary >= 0, <= 1;
var b93 binary >= 0, <= 1;
var b94 binary >= 0, <= 1;
var b95 binary >= 0, <= 1;
var b96 binary >= 0, <= 1;
var b97 binary >= 0, <= 1;
var b98 binary >= 0, <= 1;
var b99 binary >= 0, <= 1;
var b100 binary >= 0, <= 1;
var b101 binary >= 0, <= 1;
var b102 binary >= 0, <= 1;
var b103 binary >= 0, <= 1;
var b104 binary >= 0, <= 1;
var b105 binary >= 0, <= 1;
var b106 binary >= 0, <= 1;
var b107 binary >= 0, <= 1;
var b108 binary >= 0, <= 1;
var b109 binary >= 0, <= 1;
var b110 binary >= 0, <= 1;
var b111 binary >= 0, <= 1;
var b112 binary >= 0, <= 0;

minimize obj: 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 * x49) + exp(0.5 *
    x50) + exp(0.5 * x51) + exp(0.5 * x52) + exp(0.5 * x53));

subject to

e1:  x1 - x7 + x37 >= 2.06686275947298;
e2:  x2 - x8 + x38 >= 0.693147180559945;
e3:  x3 - x9 + x39 >= 1.64865862558738;
e4:  x4 - x10 + x40 >= 1.58923520511658;
e5:  x5 - x11 + x41 >= 1.80828877117927;
e6:  x6 - x12 + x42 >= 1.43508452528932;
e7:  x1 - x13 + x37 >= -0.356674943938732;
e8:  x2 - x14 + x38 >= -0.22314355131421;
e9:  x3 - x15 + x39 >= -0.105360515657826;
e10:  x4 - x16 + x40 >= 1.22377543162212;
e11:  x5 - x17 + x41 >= 0.741937344729377;
e12:  x6 - x18 + x42 >= 0.916290731874155;
e13:  x1 - x19 + x37 >= -0.356674943938732;
e14:  x2 - x20 + x38 >= 0.955511445027436;
e15:  x3 - x21 + x39 >= 0.470003629245736;
e16:  x4 - x22 + x40 >= 1.28093384546206;
e17:  x5 - x23 + x41 >= 1.16315080980568;
e18:  x6 - x24 + x42 >= 1.06471073699243;
e19:  x1 - x25 + x37 >= 1.54756250871601;
e20:  x2 - x26 + x38 >= 0.832909122935104;
e21:  x3 - x27 + x39 >= 0.470003629245736;
e22:  x4 - x28 + x40 >= 0.993251773010283;
e23:  x5 - x29 + x41 >= 0.182321556793955;
e24:  x6 - x30 + x42 >= 0.916290731874155;
e25:  x1 - x31 + x37 >= 0.182321556793955;
e26:  x2 - x32 + x38 >= 1.28093384546206;
e27:  x3 - x33 + x39 >= 0.8754687373539;
e28:  x4 - x34 + x40 >= 1.50407739677627;
e29:  x5 - x35 + x41 >= 0.470003629245736;
e30:  x6 - x36 + x42 >= 0.741937344729377;
e31:  x7 + x43 + x54 >= 1.85629799036563;
e32:  x8 + x44 + x54 >= 1.54756250871601;
e33:  x9 + x45 + x54 >= 2.11625551480255;
e34:  x10 + x46 + x54 >= 1.3609765531356;
e35:  x11 + x47 + x54 >= 0.741937344729377;
e36:  x12 + x48 + x54 >= 0.182321556793955;
e37:  x13 + x43 + x55 >= 1.91692261218206;
e38:  x14 + x44 + x55 >= 1.85629799036563;
e39:  x15 + x45 + x55 >= 1.87180217690159;
e40:  x16 + x46 + x55 >= 1.48160454092422;
e41:  x17 + x47 + x55 >= 0.832909122935104;
e42:  x18 + x48 + x55 >= 1.16315080980568;
e43:  x19 + x43 + x56 >= 0;
e44:  x20 + x44 + x56 >= 1.84054963339749;
e45:  x21 + x45 + x56 >= 1.68639895357023;
e46:  x22 + x46 + x56 >= 2.47653840011748;
e47:  x23 + x47 + x56 >= 1.7404661748405;
e48:  x24 + x48 + x56 >= 1.82454929205105;
e49:  x25 + x43 + x57 >= 1.16315080980568;
e50:  x26 + x44 + x57 >= 1.09861228866811;
e51:  x27 + x45 + x57 >= 1.25276296849537;
e52:  x28 + x46 + x57 >= 1.19392246847243;
e53:  x29 + x47 + x57 >= 1.02961941718116;
e54:  x30 + x48 + x57 >= 1.22377543162212;
e55:  x31 + x43 + x58 >= 0.741937344729377;
e56:  x32 + x44 + x58 >= 0.916290731874155;
e57:  x33 + x45 + x58 >= 1.43508452528932;
e58:  x34 + x46 + x58 >= 1.28093384546206;
e59:  x35 + x47 + x58 >= 1.30833281965018;
e60:  x36 + x48 + x58 >= 0.78845736036427;
e61:  2.5e+05 * exp(x54) + 1.5e+05 * exp(x55) + 1.8e+05 * exp(x56) + 1.6e+05 *
      exp(x57) + 1.2e+05 * exp(x58) <= 6000;
e62:  -x8 + x49 - 10 * b107 >= -7.69741490700595;
e63:  -x9 + x50 - 10 * b108 >= -7.69741490700595;
e64:  -x10 + x51 - 10 * b109 >= -7.69741490700595;
e65:  -x11 + x52 - 10 * b110 >= -7.69741490700595;
e66:  -x12 + x53 - 10 * b111 >= -7.69741490700595;
e67:  -x14 + x49 - 10 * b107 >= -7.69741490700595;
e68:  -x15 + x50 - 10 * b108 >= -7.69741490700595;
e69:  -x16 + x51 - 10 * b109 >= -7.69741490700595;
e70:  -x17 + x52 - 10 * b110 >= -7.69741490700595;
e71:  -x18 + x53 - 10 * b111 >= -7.69741490700595;
e72:  -x20 + x49 - 10 * b107 >= -7.69741490700595;
e73:  -x21 + x50 - 10 * b108 >= -7.69741490700595;
e74:  -x22 + x51 - 10 * b109 >= -7.69741490700595;
e75:  -x23 + x52 - 10 * b110 >= -7.69741490700595;
e76:  -x24 + x53 - 10 * b111 >= -7.69741490700595;
e77:  -x26 + x49 - 10 * b107 >= -7.69741490700595;
e78:  -x27 + x50 - 10 * b108 >= -7.69741490700595;
e79:  -x28 + x51 - 10 * b109 >= -7.69741490700595;
e80:  -x29 + x52 - 10 * b110 >= -7.69741490700595;
e81:  -x30 + x53 - 10 * b111 >= -7.69741490700595;
e82:  -x32 + x49 - 10 * b107 >= -7.69741490700595;
e83:  -x33 + x50 - 10 * b108 >= -7.69741490700595;
e84:  -x34 + x51 - 10 * b109 >= -7.69741490700595;
e85:  -x35 + x52 - 10 * b110 >= -7.69741490700595;
e86:  -x36 + x53 - 10 * b111 >= -7.69741490700595;
e87:  -x7 + x49 - 10 * b107 >= -7.69741490700595;
e88:  -x8 + x50 - 10 * b108 >= -7.69741490700595;
e89:  -x9 + x51 - 10 * b109 >= -7.69741490700595;
e90:  -x10 + x52 - 10 * b110 >= -7.69741490700595;
e91:  -x11 + x53 - 10 * b111 >= -7.69741490700595;
e92:  -x13 + x49 - 10 * b107 >= -7.69741490700595;
e93:  -x14 + x50 - 10 * b108 >= -7.69741490700595;
e94:  -x15 + x51 - 10 * b109 >= -7.69741490700595;
e95:  -x16 + x52 - 10 * b110 >= -7.69741490700595;
e96:  -x17 + x53 - 10 * b111 >= -7.69741490700595;
e97:  -x19 + x49 - 10 * b107 >= -7.69741490700595;
e98:  -x20 + x50 - 10 * b108 >= -7.69741490700595;
e99:  -x21 + x51 - 10 * b109 >= -7.69741490700595;
e100:  -x22 + x52 - 10 * b110 >= -7.69741490700595;
e101:  -x23 + x53 - 10 * b111 >= -7.69741490700595;
e102:  -x25 + x49 - 10 * b107 >= -7.69741490700595;
e103:  -x26 + x50 - 10 * b108 >= -7.69741490700595;
e104:  -x27 + x51 - 10 * b109 >= -7.69741490700595;
e105:  -x28 + x52 - 10 * b110 >= -7.69741490700595;
e106:  -x29 + x53 - 10 * b111 >= -7.69741490700595;
e107:  -x31 + x49 - 10 * b107 >= -7.69741490700595;
e108:  -x32 + x50 - 10 * b108 >= -7.69741490700595;
e109:  -x33 + x51 - 10 * b109 >= -7.69741490700595;
e110:  -x34 + x52 - 10 * b110 >= -7.69741490700595;
e111:  -x35 + x53 - 10 * b111 >= -7.69741490700595;
e112:  x37 - 0.693147180559945 * b65 - 1.09861228866811 * b71 -
       1.38629436111989 * b77 = 0;
e113:  x38 - 0.693147180559945 * b66 - 1.09861228866811 * b72 -
       1.38629436111989 * b78 = 0;
e114:  x39 - 0.693147180559945 * b67 - 1.09861228866811 * b73 -
       1.38629436111989 * b79 = 0;
e115:  x40 - 0.693147180559945 * b68 - 1.09861228866811 * b74 -
       1.38629436111989 * b80 = 0;
e116:  x41 - 0.693147180559945 * b69 - 1.09861228866811 * b75 -
       1.38629436111989 * b81 = 0;
e117:  x42 - 0.693147180559945 * b70 - 1.09861228866811 * b76 -
       1.38629436111989 * b82 = 0;
e118:  x43 - 0.693147180559945 * b89 - 1.09861228866811 * b95 -
       1.38629436111989 * b101 = 0;
e119:  x44 - 0.693147180559945 * b90 - 1.09861228866811 * b96 -
       1.38629436111989 * b102 = 0;
e120:  x45 - 0.693147180559945 * b91 - 1.09861228866811 * b97 -
       1.38629436111989 * b103 = 0;
e121:  x46 - 0.693147180559945 * b92 - 1.09861228866811 * b98 -
       1.38629436111989 * b104 = 0;
e122:  x47 - 0.693147180559945 * b93 - 1.09861228866811 * b99 -
       1.38629436111989 * b105 = 0;
e123:  x48 - 0.693147180559945 * b94 - 1.09861228866811 * b100 -
       1.38629436111989 * b106 = 0;
e124:  b59 + b65 + b71 + b77 = 1;
e125:  b60 + b66 + b72 + b78 = 1;
e126:  b61 + b67 + b73 + b79 = 1;
e127:  b62 + b68 + b74 + b80 = 1;
e128:  b63 + b69 + b75 + b81 = 1;
e129:  b64 + b70 + b76 + b82 = 1;
e130:  b83 + b89 + b95 + b101 = 1;
e131:  b84 + b90 + b96 + b102 = 1;
e132:  b85 + b91 + b97 + b103 = 1;
e133:  b86 + b92 + b98 + b104 = 1;
e134:  b87 + b93 + b99 + b105 = 1;
e135:  b88 + b94 + b100 + b106 = 1;
e136:  b107 + b108 + b109 + b110 + b111 + b112 = 1;
e137:  x7 - x8 - 0.693147180559945 * b107 <= 0;
e138:  x8 - x9 - 0.693147180559945 * b108 <= 0;
e139:  x9 - x10 - 0.693147180559945 * b109 <= 0;
e140:  x10 - x11 - 0.693147180559945 * b110 <= 0;
e141:  x11 - x12 - 0.693147180559945 * b111 <= 0;
e142:  x13 - x14 - 0.693147180559945 * b107 <= 0;
e143:  x14 - x15 - 0.693147180559945 * b108 <= 0;
e144:  x15 - x16 - 0.693147180559945 * b109 <= 0;
e145:  x16 - x17 - 0.693147180559945 * b110 <= 0;
e146:  x17 - x18 - 0.693147180559945 * b111 <= 0;
e147:  x19 - x20 - 0.693147180559945 * b107 <= 0;
e148:  x20 - x21 - 0.693147180559945 * b108 <= 0;
e149:  x21 - x22 - 0.693147180559945 * b109 <= 0;
e150:  x22 - x23 - 0.693147180559945 * b110 <= 0;
e151:  x23 - x24 - 0.693147180559945 * b111 <= 0;
e152:  x25 - x26 - 0.693147180559945 * b107 <= 0;
e153:  x26 - x27 - 0.693147180559945 * b108 <= 0;
e154:  x27 - x28 - 0.693147180559945 * b109 <= 0;
e155:  x28 - x29 - 0.693147180559945 * b110 <= 0;
e156:  x29 - x30 - 0.693147180559945 * b111 <= 0;
e157:  x31 - x32 - 0.693147180559945 * b107 <= 0;
e158:  x32 - x33 - 0.693147180559945 * b108 <= 0;
e159:  x33 - x34 - 0.693147180559945 * b109 <= 0;
e160:  x34 - x35 - 0.693147180559945 * b110 <= 0;
e161:  x35 - x36 - 0.693147180559945 * b111 <= 0;
e162:  x7 - x8 + 0.693147180559945 * b107 >= 0;
e163:  x8 - x9 + 0.693147180559945 * b108 >= 0;
e164:  x9 - x10 + 0.693147180559945 * b109 >= 0;
e165:  x10 - x11 + 0.693147180559945 * b110 >= 0;
e166:  x11 - x12 + 0.693147180559945 * b111 >= 0;
e167:  x13 - x14 + 0.693147180559945 * b107 >= 0;
e168:  x14 - x15 + 0.693147180559945 * b108 >= 0;
e169:  x15 - x16 + 0.693147180559945 * b109 >= 0;
e170:  x16 - x17 + 0.693147180559945 * b110 >= 0;
e171:  x17 - x18 + 0.693147180559945 * b111 >= 0;
e172:  x19 - x20 + 0.693147180559945 * b107 >= 0;
e173:  x20 - x21 + 0.693147180559945 * b108 >= 0;
e174:  x21 - x22 + 0.693147180559945 * b109 >= 0;
e175:  x22 - x23 + 0.693147180559945 * b110 >= 0;
e176:  x23 - x24 + 0.693147180559945 * b111 >= 0;
e177:  x25 - x26 + 0.693147180559945 * b107 >= 0;
e178:  x26 - x27 + 0.693147180559945 * b108 >= 0;
e179:  x27 - x28 + 0.693147180559945 * b109 >= 0;
e180:  x28 - x29 + 0.693147180559945 * b110 >= 0;
e181:  x29 - x30 + 0.693147180559945 * b111 >= 0;
e182:  x31 - x32 + 0.693147180559945 * b107 >= 0;
e183:  x32 - x33 + 0.693147180559945 * b108 >= 0;
e184:  x33 - x34 + 0.693147180559945 * b109 >= 0;
e185:  x34 - x35 + 0.693147180559945 * b110 >= 0;
e186:  x35 - x36 + 0.693147180559945 * b111 >= 0;