# MINLP written by GAMS Convert at 05/07/25 22:39:33
#
# Equation counts
#     Total        E        G        L        N        X        C        B
#       286      178        0      108        0        0        0        0
#
# Variable counts
#                  x        b        i      s1s      s2s       sc       si
#     Total     cont   binary  integer     sos1     sos2    scont     sint
#       210      156       54        0        0        0        0        0
# FX      0
#
# Nonzero counts
#     Total    const       NL
#       983      599      384
#
# Reformulation has removed 1 variable and 1 equation

var b1 binary >= 0, <= 1;
var b2 binary >= 0, <= 1;
var b3 binary >= 0, <= 1;
var b4 binary >= 0, <= 1;
var b5 binary >= 0, <= 1;
var b6 binary >= 0, <= 1;
var b7 binary >= 0, <= 1;
var b8 binary >= 0, <= 1;
var b9 binary >= 0, <= 1;
var b10 binary >= 0, <= 1;
var b11 binary >= 0, <= 1;
var b12 binary >= 0, <= 1;
var b13 binary >= 0, <= 1;
var b14 binary >= 0, <= 1;
var b15 binary >= 0, <= 1;
var b16 binary >= 0, <= 1;
var b17 binary >= 0, <= 1;
var b18 binary >= 0, <= 1;
var b19 binary >= 0, <= 1;
var b20 binary >= 0, <= 1;
var b21 binary >= 0, <= 1;
var b22 binary >= 0, <= 1;
var b23 binary >= 0, <= 1;
var b24 binary >= 0, <= 1;
var b25 binary >= 0, <= 1;
var b26 binary >= 0, <= 1;
var b27 binary >= 0, <= 1;
var b28 binary >= 0, <= 1;
var b29 binary >= 0, <= 1;
var b30 binary >= 0, <= 1;
var b31 binary >= 0, <= 1;
var b32 binary >= 0, <= 1;
var b33 binary >= 0, <= 1;
var b34 binary >= 0, <= 1;
var b35 binary >= 0, <= 1;
var b36 binary >= 0, <= 1;
var b37 binary >= 0, <= 1;
var b38 binary >= 0, <= 1;
var b39 binary >= 0, <= 1;
var b40 binary >= 0, <= 1;
var b41 binary >= 0, <= 1;
var b42 binary >= 0, <= 1;
var b43 binary >= 0, <= 1;
var b44 binary >= 0, <= 1;
var b45 binary >= 0, <= 1;
var b46 binary >= 0, <= 1;
var b47 binary >= 0, <= 1;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var b50 binary >= 0, <= 1;
var b51 binary >= 0, <= 1;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var b54 binary >= 0, <= 1;
var x55 >= 0;
var x56 >= 0;
var x57 >= 0;
var x58 >= 0;
var x59 >= 0;
var x60 >= 0;
var x61 >= 0;
var x62 >= 0;
var x63 >= 0;
var x64 >= 0;
var x65 >= 0;
var x66 >= 0;
var x67 >= 0;
var x68 >= 0;
var x69 >= 0;
var x70 >= 0;
var x71 >= 0;
var x72 >= 0;
var x73 >= 0;
var x74 >= 0;
var x75 >= 0;
var x76 >= 0;
var x77 >= 0;
var x78 >= 0;
var x79 >= 0;
var x80 >= 0;
var x81 >= 0;
var x82 >= 0;
var x83 >= 0;
var x84 >= 0;
var x85 >= 0;
var x86 >= 0;
var x87 >= 0;
var x88 >= 0;
var x89 >= 0;
var x90 >= 0;
var x91 >= 0;
var x92 >= 0;
var x93 >= 0;
var x94 >= 0;
var x95 >= 0;
var x96 >= 0;
var x97 >= 0;
var x98 >= 0;
var x99 >= 0;
var x100 >= 0;
var x101 >= 0;
var x102 >= 0;
var x103 >= 0;
var x104 >= 0;
var x105 >= 0;
var x106 >= 0;
var x107 >= 0;
var x108 >= 0;
var x109 >= 0;
var x110 >= 0;
var x111 >= 0;
var x112 >= 0;
var x113 >= 0;
var x114 >= 0;
var x115 >= 0;
var x116 >= 0;
var x117 >= 0;
var x118 >= 0;
var x119 >= 0;
var x120 >= 0;
var x121 >= 0;
var x122 >= 0;
var x123 >= 0;
var x124 >= 0;
var x125 >= 0;
var x126 >= 0;
var x127 >= 0;
var x128 >= 0;
var x129 >= 0;
var x130 >= 0;
var x131 >= 0;
var x132 >= 0;
var x133 >= 0;
var x134 >= 0;
var x135 >= 0;
var x136 >= 0;
var x137 >= 0;
var x138 >= 0;
var x139 >= 0;
var x140 >= 0;
var x141 >= 0;
var x142 >= 0;
var x143 >= 0;
var x144 >= 0;
var x145 >= 0;
var x146 >= 0;
var x147 >= 0;
var x148 >= 0;
var x149 >= 0;
var x150 >= 0;
var x151 >= 0;
var x152 >= 0;
var x153 >= 0;
var x154 >= 0;
var x155 >= 0;
var x156 >= 0;
var x157 >= 0;
var x158 >= 0;
var x159 >= 0;
var x160 >= 0;
var x161 >= 0;
var x162 >= 0;
var x163 >= 0;
var x164 >= 0;
var x165 >= 0;
var x166 >= 0;
var x167 >= 0;
var x168 >= 0;
var x169 >= 0;
var x170 >= 0;
var x171 >= 0;
var x172 >= 0;
var x173 >= 0;
var x174 >= 0;
var x175 >= 0;
var x176 >= 0;
var x177 >= 0;
var x178 >= 0;
var x179 >= 0;
var x180 >= 0;
var x181 := 1.4070897024142133, >= 1.4070897024142133, <= 8.317689668620407;
var x182 := 1.2381778746582972, >= 1.2381778746582972, <= 2.899911314618825;
var x183 >= -0.21113278078072384, <= 5.037733745464942;
var x184 := -0.3576682969576135, >= -4.933760861282942, <= -0.3576682969576135;
var x185 := -1.3355464329344784, >= -4.536446741190094, <= -1.3355464329344784;
var x186 := 4.017660651151553, >= 4.017660651151553, <= 5.3928529072212665;
var x187 >= -1.7905826274046688, <= 1.7469779276664257;
var x188 >= -2.048, <= 2.048;
var x189 >= -1.6989859109813739, <= 1.798291510866652;
var x190 >= -2.048, <= 2.048;
var x191 >= -1.7905826274046688, <= 1.7469779276664257;
var x192 >= -1.6989859109813739, <= 1.798291510866652;
var x193;
var x194 >= -0.278464596867598;
var x195;
var x196 >= -0.278464596867598;
var x197;
var x198 >= -0.278464596867598;
var x199;
var x200 >= -0.278464596867598;
var x201 >= -2.1254890456583375, <= 3.53183892139925;
var x202 := -4.295354631518088, >= -6.36116146082126, <= -4.295354631518088;
var x203 >= -1.0089816634000548, <= 2.582539474354361;
var x204 >= -0.06853444599459112, <= 7.200253224973984;
var x205 >= -2.2399765879525986, <= 0.18240873326310858;
var x206;
var x207;
var x208 >= -0.278464596867598;
var x209;
var x210 >= -0.278464596867598;

minimize obj: x206;

subject to

e1:  x181 - x182 - x183 = 0.3800446085366398;
e2:  x184 - x185 - x186 = -4.414974771244402;
e3:  1.7027993424323016 * x187 - x188 = -0.035801338818143194;
e4:  1.7219754131004454 * x189 - x190 = 0.08926378890298807;
e5:  -x187 + x191 = 0;
e6:  -x189 + x192 = 0;
e7:  -x187 <= 5.328143182475763;
e8:  9.43349481352292 * b1 + x187 <= 5.284538482737521;
e9:  1.179186851690365 * b2 - x187 <= 5.328143182475763;
e10:  8.254307961832554 * b2 + x187 <= 5.284538482737521;
e11:  2.35837370338073 * b3 - x187 <= 5.328143182475763;
e12:  7.07512111014219 * b3 + x187 <= 5.284538482737521;
e13:  3.5375605550710945 * b4 - x187 <= 5.328143182475763;
e14:  5.895934258451825 * b4 + x187 <= 5.284538482737521;
e15:  4.716747406761459 * b5 - x187 <= 5.328143182475763;
e16:  4.71674740676146 * b5 + x187 <= 5.284538482737521;
e17:  5.895934258451824 * b6 - x187 <= 5.328143182475763;
e18:  3.537560555071095 * b6 + x187 <= 5.284538482737521;
e19:  7.075121110142189 * b7 - x187 <= 5.328143182475763;
e20:  2.35837370338073 * b7 + x187 <= 5.284538482737521;
e21:  8.254307961832554 * b8 - x187 <= 5.328143182475763;
e22:  1.179186851690365 * b8 + x187 <= 5.284538482737521;
e23:  9.43349481352292 * b9 - x187 <= 5.328143182475763;
e24:  x187 <= 5.284538482737521;
e25:  b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 = 1;
e26:  -b1 * (4.518489308829952 + 0.8480420202841471 * x187) - b2 * (
      -2.518489308829951 - 0.8480420202841471 * x187) + x55 = 0;
e27:  -b2 * (3.518489308829951 + 0.8480420202841471 * x187) - b3 * (
      -1.518489308829952 - 0.8480420202841474 * x187) + x56 = 0;
e28:  -b3 * (2.518489308829952 + 0.8480420202841474 * x187) - b4 * (
      -0.5184893088299517 - 0.8480420202841472 * x187) + x57 = 0;
e29:  -b4 * (1.5184893088299518 + 0.8480420202841472 * x187) - b5 * (
      0.48151069117004824 - 0.8480420202841472 * x187) + x58 = 0;
e30:  -b5 * (0.5184893088299517 + 0.8480420202841472 * x187) - b6 * (
      1.4815106911700482 - 0.8480420202841471 * x187) + x59 = 0;
e31:  -b6 * (-0.4815106911700482 + 0.8480420202841471 * x187) - b7 * (
      2.4815106911700484 - 0.8480420202841471 * x187) + x60 = 0;
e32:  -b7 * (-1.4815106911700482 + 0.8480420202841471 * x187) - b8 * (
      3.4815106911700484 - 0.8480420202841471 * x187) + x61 = 0;
e33:  -b8 * (-2.4815106911700484 + 0.8480420202841471 * x187) - b9 * (
      4.481510691170048 - 0.8480420202841471 * x187) + x62 = 0;
e34:  -x55 * (2.259244654414976 + 0.42402101014207355 * x187) - x56 * (
      -0.7592446544149759 - 0.4240210101420736 * x187) + x63 = 0;
e35:  -x56 * (1.7592446544149758 + 0.4240210101420736 * x187) - x57 * (
      -0.25924465441497596 - 0.4240210101420737 * x187) + x64 = 0;
e36:  -x57 * (1.259244654414976 + 0.4240210101420737 * x187) - x58 * (
      0.24075534558502412 - 0.4240210101420736 * x187) + x65 = 0;
e37:  -x58 * (0.7592446544149759 + 0.4240210101420736 * x187) - x59 * (
      0.7407553455850241 - 0.42402101014207355 * x187) + x66 = 0;
e38:  -x59 * (0.25924465441497585 + 0.42402101014207355 * x187) - x60 * (
      1.2407553455850242 - 0.42402101014207355 * x187) + x67 = 0;
e39:  -x60 * (-0.2407553455850241 + 0.42402101014207355 * x187) - x61 * (
      1.7407553455850242 - 0.42402101014207355 * x187) + x68 = 0;
e40:  -x61 * (-0.7407553455850241 + 0.42402101014207355 * x187) - x62 * (
      2.240755345585024 - 0.42402101014207355 * x187) + x69 = 0;
e41:  -x63 * (1.5061631029433171 + 0.28268067342804903 * x187) - x64 * (
      -0.17282976960998392 - 0.2826806734280491 * x187) + x70 = 0;
e42:  -x64 * (1.172829769609984 + 0.2826806734280491 * x187) - x65 * (
      0.16050356372334942 - 0.2826806734280491 * x187) + x71 = 0;
e43:  -x65 * (0.8394964362766506 + 0.2826806734280491 * x187) - x66 * (
      0.49383689705668277 - 0.28268067342804903 * x187) + x72 = 0;
e44:  -x66 * (0.5061631029433172 + 0.28268067342804903 * x187) - x67 * (
      0.8271702303900161 - 0.28268067342804903 * x187) + x73 = 0;
e45:  -x67 * (0.1728297696099839 + 0.28268067342804903 * x187) - x68 * (
      1.1605035637233494 - 0.28268067342804903 * x187) + x74 = 0;
e46:  -x68 * (-0.1605035637233494 + 0.28268067342804903 * x187) - x69 * (
      1.4938368970566829 - 0.28268067342804903 * x187) + x75 = 0;
e47:  0.2127498827804497 * x70 + 1.5937940256689485 * x71 + 1.0146477724666783
      * x72 + 1.5322320617731309 * x73 + 2.427875737325676 * x74 -
      5.028317922507394 * x75 - x193 = 0;
e48:  -x187 / (exp(-x187) + 1) + x194 = 0;
e49:  x182 - 1.1844669967044612 * x193 - 0.7993253227060727 * x194 = 0;
e50:  x55 + x56 + x57 + x58 + x59 + x60 + x61 + x62 = 1;
e51:  x63 + x64 + x65 + x66 + x67 + x68 + x69 = 1;
e52:  x70 + x71 + x72 + x73 + x74 + x75 = 1;
e53:  -x189 <= 5.1962633328294;
e54:  9.326073124928069 * b10 + x189 <= 5.295568932714678;
e55:  1.165759140616009 * b11 - x189 <= 5.1962633328294;
e56:  8.160313984312062 * b11 + x189 <= 5.295568932714678;
e57:  2.331518281232017 * b12 - x189 <= 5.1962633328294;
e58:  6.9945548436960525 * b12 + x189 <= 5.295568932714678;
e59:  3.497277421848026 * b13 - x189 <= 5.1962633328294;
e60:  5.8287957030800435 * b13 + x189 <= 5.295568932714678;
e61:  4.663036562464034 * b14 - x189 <= 5.1962633328294;
e62:  4.663036562464034 * b14 + x189 <= 5.295568932714678;
e63:  5.8287957030800435 * b15 - x189 <= 5.1962633328294;
e64:  3.4972774218480263 * b15 + x189 <= 5.295568932714678;
e65:  6.994554843696052 * b16 - x189 <= 5.1962633328294;
e66:  2.3315182812320177 * b16 + x189 <= 5.295568932714678;
e67:  8.16031398431206 * b17 - x189 <= 5.1962633328294;
e68:  1.165759140616009 * b17 + x189 <= 5.295568932714678;
e69:  9.326073124928069 * b18 - x189 <= 5.1962633328294;
e70:  x189 <= 5.295568932714678;
e71:  b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 = 1;
e72:  -b10 * (4.457407325224657 + 0.8578101300338775 * x189) - b11 * (
      -2.4574073252246595 - 0.8578101300338782 * x189) + x76 = 0;
e73:  -b11 * (3.4574073252246595 + 0.8578101300338782 * x189) - b12 * (
      -1.4574073252246587 - 0.8578101300338778 * x189) + x77 = 0;
e74:  -b12 * (2.4574073252246587 + 0.8578101300338778 * x189) - b13 * (
      -0.4574073252246587 - 0.8578101300338778 * x189) + x78 = 0;
e75:  -b13 * (1.4574073252246587 + 0.8578101300338778 * x189) - b14 * (
      0.5425926747753413 - 0.8578101300338778 * x189) + x79 = 0;
e76:  -b14 * (0.4574073252246587 + 0.8578101300338778 * x189) - b15 * (
      1.5425926747753413 - 0.8578101300338778 * x189) + x80 = 0;
e77:  -b15 * (-0.5425926747753413 + 0.8578101300338778 * x189) - b16 * (
      2.5425926747753413 - 0.8578101300338778 * x189) + x81 = 0;
e78:  -b16 * (-1.5425926747753413 + 0.8578101300338778 * x189) - b17 * (
      3.5425926747753413 - 0.8578101300338778 * x189) + x82 = 0;
e79:  -b17 * (-2.5425926747753413 + 0.8578101300338778 * x189) - b18 * (
      4.5425926747753405 - 0.8578101300338775 * x189) + x83 = 0;
e80:  -x76 * (2.2287036626123293 + 0.4289050650169389 * x189) - x77 * (
      -0.7287036626123294 - 0.428905065016939 * x189) + x84 = 0;
e81:  -x77 * (1.7287036626123293 + 0.428905065016939 * x189) - x78 * (
      -0.22870366261232936 - 0.4289050650169389 * x189) + x85 = 0;
e82:  -x78 * (1.2287036626123293 + 0.4289050650169389 * x189) - x79 * (
      0.27129633738767067 - 0.4289050650169389 * x189) + x86 = 0;
e83:  -x79 * (0.7287036626123293 + 0.4289050650169389 * x189) - x80 * (
      0.7712963373876707 - 0.4289050650169389 * x189) + x87 = 0;
e84:  -x80 * (0.22870366261232936 + 0.4289050650169389 * x189) - x81 * (
      1.2712963373876707 - 0.4289050650169389 * x189) + x88 = 0;
e85:  -x81 * (-0.27129633738767067 + 0.4289050650169389 * x189) - x82 * (
      1.7712963373876707 - 0.4289050650169389 * x189) + x89 = 0;
e86:  -x82 * (-0.7712963373876707 + 0.4289050650169389 * x189) - x83 * (
      2.2712963373876702 - 0.4289050650169388 * x189) + x90 = 0;
e87:  -x84 * (1.485802441741553 + 0.2859367100112926 * x189) - x85 * (
      -0.15246910840821956 - 0.2859367100112926 * x189) + x91 = 0;
e88:  -x85 * (1.1524691084082195 + 0.2859367100112926 * x189) - x86 * (
      0.18086422492511378 - 0.2859367100112926 * x189) + x92 = 0;
e89:  -x86 * (0.8191357750748862 + 0.2859367100112926 * x189) - x87 * (
      0.5141975582584472 - 0.2859367100112926 * x189) + x93 = 0;
e90:  -x87 * (0.4858024417415529 + 0.2859367100112926 * x189) - x88 * (
      0.8475308915917805 - 0.2859367100112926 * x189) + x94 = 0;
e91:  -x88 * (0.15246910840821956 + 0.2859367100112926 * x189) - x89 * (
      1.1808642249251138 - 0.2859367100112926 * x189) + x95 = 0;
e92:  -x89 * (-0.18086422492511378 + 0.2859367100112926 * x189) - x90 * (
      1.514197558258447 - 0.28593671001129256 * x189) + x96 = 0;
e93:  -3.2313393493943785 * x91 + 5.267512186112244 * x92 + 2.99973822933084 *
      x93 - 3.6465605766462366 * x94 - 2.908556269255298 * x95 +
      2.3812954083288673 * x96 - x195 = 0;
e94:  -x189 / (exp(-x189) + 1) + x196 = 0;
e95:  x183 - 0.22023476515941975 * x195 - 3.600951187401814 * x196 = 0;
e96:  x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 = 1;
e97:  x84 + x85 + x86 + x87 + x88 + x89 + x90 = 1;
e98:  x91 + x92 + x93 + x94 + x95 + x96 = 1;
e99:  -x191 <= 5.328143182475763;
e100:  9.43349481352292 * b19 + x191 <= 5.284538482737521;
e101:  1.179186851690365 * b20 - x191 <= 5.328143182475763;
e102:  8.254307961832554 * b20 + x191 <= 5.284538482737521;
e103:  2.35837370338073 * b21 - x191 <= 5.328143182475763;
e104:  7.07512111014219 * b21 + x191 <= 5.284538482737521;
e105:  3.5375605550710945 * b22 - x191 <= 5.328143182475763;
e106:  5.895934258451825 * b22 + x191 <= 5.284538482737521;
e107:  4.716747406761459 * b23 - x191 <= 5.328143182475763;
e108:  4.71674740676146 * b23 + x191 <= 5.284538482737521;
e109:  5.895934258451824 * b24 - x191 <= 5.328143182475763;
e110:  3.537560555071095 * b24 + x191 <= 5.284538482737521;
e111:  7.075121110142189 * b25 - x191 <= 5.328143182475763;
e112:  2.35837370338073 * b25 + x191 <= 5.284538482737521;
e113:  8.254307961832554 * b26 - x191 <= 5.328143182475763;
e114:  1.179186851690365 * b26 + x191 <= 5.284538482737521;
e115:  9.43349481352292 * b27 - x191 <= 5.328143182475763;
e116:  x191 <= 5.284538482737521;
e117:  b19 + b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 = 1;
e118:  -b19 * (4.518489308829952 + 0.8480420202841471 * x191) - b20 * (
       -2.518489308829951 - 0.8480420202841471 * x191) + x97 = 0;
e119:  -b20 * (3.518489308829951 + 0.8480420202841471 * x191) - b21 * (
       -1.518489308829952 - 0.8480420202841474 * x191) + x98 = 0;
e120:  -b21 * (2.518489308829952 + 0.8480420202841474 * x191) - b22 * (
       -0.5184893088299517 - 0.8480420202841472 * x191) + x99 = 0;
e121:  -b22 * (1.5184893088299518 + 0.8480420202841472 * x191) - b23 * (
       0.48151069117004824 - 0.8480420202841472 * x191) + x100 = 0;
e122:  -b23 * (0.5184893088299517 + 0.8480420202841472 * x191) - b24 * (
       1.4815106911700482 - 0.8480420202841471 * x191) + x101 = 0;
e123:  -b24 * (-0.4815106911700482 + 0.8480420202841471 * x191) - b25 * (
       2.4815106911700484 - 0.8480420202841471 * x191) + x102 = 0;
e124:  -b25 * (-1.4815106911700482 + 0.8480420202841471 * x191) - b26 * (
       3.4815106911700484 - 0.8480420202841471 * x191) + x103 = 0;
e125:  -b26 * (-2.4815106911700484 + 0.8480420202841471 * x191) - b27 * (
       4.481510691170048 - 0.8480420202841471 * x191) + x104 = 0;
e126:  -x97 * (2.259244654414976 + 0.42402101014207355 * x191) - x98 * (
       -0.7592446544149759 - 0.4240210101420736 * x191) + x105 = 0;
e127:  -x98 * (1.7592446544149758 + 0.4240210101420736 * x191) - x99 * (
       -0.25924465441497596 - 0.4240210101420737 * x191) + x106 = 0;
e128:  -x99 * (1.259244654414976 + 0.4240210101420737 * x191) - x100 * (
       0.24075534558502412 - 0.4240210101420736 * x191) + x107 = 0;
e129:  -x100 * (0.7592446544149759 + 0.4240210101420736 * x191) - x101 * (
       0.7407553455850241 - 0.42402101014207355 * x191) + x108 = 0;
e130:  -x101 * (0.25924465441497585 + 0.42402101014207355 * x191) - x102 * (
       1.2407553455850242 - 0.42402101014207355 * x191) + x109 = 0;
e131:  -x102 * (-0.2407553455850241 + 0.42402101014207355 * x191) - x103 * (
       1.7407553455850242 - 0.42402101014207355 * x191) + x110 = 0;
e132:  -x103 * (-0.7407553455850241 + 0.42402101014207355 * x191) - x104 * (
       2.240755345585024 - 0.42402101014207355 * x191) + x111 = 0;
e133:  -x105 * (1.5061631029433171 + 0.28268067342804903 * x191) - x106 * (
       -0.17282976960998392 - 0.2826806734280491 * x191) + x112 = 0;
e134:  -x106 * (1.172829769609984 + 0.2826806734280491 * x191) - x107 * (
       0.16050356372334942 - 0.2826806734280491 * x191) + x113 = 0;
e135:  -x107 * (0.8394964362766506 + 0.2826806734280491 * x191) - x108 * (
       0.49383689705668277 - 0.28268067342804903 * x191) + x114 = 0;
e136:  -x108 * (0.5061631029433172 + 0.28268067342804903 * x191) - x109 * (
       0.8271702303900161 - 0.28268067342804903 * x191) + x115 = 0;
e137:  -x109 * (0.1728297696099839 + 0.28268067342804903 * x191) - x110 * (
       1.1605035637233494 - 0.28268067342804903 * x191) + x116 = 0;
e138:  -x110 * (-0.1605035637233494 + 0.28268067342804903 * x191) - x111 * (
       1.4938368970566829 - 0.28268067342804903 * x191) + x117 = 0;
e139:  -1.4487309305560352 * x112 + 0.17214852086918778 * x113 +
       0.6585366271722922 * x114 - 0.8403961054210113 * x115 -
       3.869748425224201 * x116 - 7.190963128376443 * x117 - x197 = 0;
e140:  -x191 / (exp(-x191) + 1) + x198 = 0;
e141:  x185 - 7.032127692623696 * x197 - 17.444095495591952 * x198 = 0;
e142:  x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 = 1;
e143:  x105 + x106 + x107 + x108 + x109 + x110 + x111 = 1;
e144:  x112 + x113 + x114 + x115 + x116 + x117 = 1;
e145:  -x192 <= 5.1962633328294;
e146:  9.326073124928069 * b28 + x192 <= 5.295568932714678;
e147:  1.165759140616009 * b29 - x192 <= 5.1962633328294;
e148:  8.160313984312062 * b29 + x192 <= 5.295568932714678;
e149:  2.331518281232017 * b30 - x192 <= 5.1962633328294;
e150:  6.9945548436960525 * b30 + x192 <= 5.295568932714678;
e151:  3.497277421848026 * b31 - x192 <= 5.1962633328294;
e152:  5.8287957030800435 * b31 + x192 <= 5.295568932714678;
e153:  4.663036562464034 * b32 - x192 <= 5.1962633328294;
e154:  4.663036562464034 * b32 + x192 <= 5.295568932714678;
e155:  5.8287957030800435 * b33 - x192 <= 5.1962633328294;
e156:  3.4972774218480263 * b33 + x192 <= 5.295568932714678;
e157:  6.994554843696052 * b34 - x192 <= 5.1962633328294;
e158:  2.3315182812320177 * b34 + x192 <= 5.295568932714678;
e159:  8.16031398431206 * b35 - x192 <= 5.1962633328294;
e160:  1.165759140616009 * b35 + x192 <= 5.295568932714678;
e161:  9.326073124928069 * b36 - x192 <= 5.1962633328294;
e162:  x192 <= 5.295568932714678;
e163:  b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b36 = 1;
e164:  -b28 * (4.457407325224657 + 0.8578101300338775 * x192) - b29 * (
       -2.4574073252246595 - 0.8578101300338782 * x192) + x118 = 0;
e165:  -b29 * (3.4574073252246595 + 0.8578101300338782 * x192) - b30 * (
       -1.4574073252246587 - 0.8578101300338778 * x192) + x119 = 0;
e166:  -b30 * (2.4574073252246587 + 0.8578101300338778 * x192) - b31 * (
       -0.4574073252246587 - 0.8578101300338778 * x192) + x120 = 0;
e167:  -b31 * (1.4574073252246587 + 0.8578101300338778 * x192) - b32 * (
       0.5425926747753413 - 0.8578101300338778 * x192) + x121 = 0;
e168:  -b32 * (0.4574073252246587 + 0.8578101300338778 * x192) - b33 * (
       1.5425926747753413 - 0.8578101300338778 * x192) + x122 = 0;
e169:  -b33 * (-0.5425926747753413 + 0.8578101300338778 * x192) - b34 * (
       2.5425926747753413 - 0.8578101300338778 * x192) + x123 = 0;
e170:  -b34 * (-1.5425926747753413 + 0.8578101300338778 * x192) - b35 * (
       3.5425926747753413 - 0.8578101300338778 * x192) + x124 = 0;
e171:  -b35 * (-2.5425926747753413 + 0.8578101300338778 * x192) - b36 * (
       4.5425926747753405 - 0.8578101300338775 * x192) + x125 = 0;
e172:  -x118 * (2.2287036626123293 + 0.4289050650169389 * x192) - x119 * (
       -0.7287036626123294 - 0.428905065016939 * x192) + x126 = 0;
e173:  -x119 * (1.7287036626123293 + 0.428905065016939 * x192) - x120 * (
       -0.22870366261232936 - 0.4289050650169389 * x192) + x127 = 0;
e174:  -x120 * (1.2287036626123293 + 0.4289050650169389 * x192) - x121 * (
       0.27129633738767067 - 0.4289050650169389 * x192) + x128 = 0;
e175:  -x121 * (0.7287036626123293 + 0.4289050650169389 * x192) - x122 * (
       0.7712963373876707 - 0.4289050650169389 * x192) + x129 = 0;
e176:  -x122 * (0.22870366261232936 + 0.4289050650169389 * x192) - x123 * (
       1.2712963373876707 - 0.4289050650169389 * x192) + x130 = 0;
e177:  -x123 * (-0.27129633738767067 + 0.4289050650169389 * x192) - x124 * (
       1.7712963373876707 - 0.4289050650169389 * x192) + x131 = 0;
e178:  -x124 * (-0.7712963373876707 + 0.4289050650169389 * x192) - x125 * (
       2.2712963373876702 - 0.4289050650169388 * x192) + x132 = 0;
e179:  -x126 * (1.485802441741553 + 0.2859367100112926 * x192) - x127 * (
       -0.15246910840821956 - 0.2859367100112926 * x192) + x133 = 0;
e180:  -x127 * (1.1524691084082195 + 0.2859367100112926 * x192) - x128 * (
       0.18086422492511378 - 0.2859367100112926 * x192) + x134 = 0;
e181:  -x128 * (0.8191357750748862 + 0.2859367100112926 * x192) - x129 * (
       0.5141975582584472 - 0.2859367100112926 * x192) + x135 = 0;
e182:  -x129 * (0.4858024417415529 + 0.2859367100112926 * x192) - x130 * (
       0.8475308915917805 - 0.2859367100112926 * x192) + x136 = 0;
e183:  -x130 * (0.15246910840821956 + 0.2859367100112926 * x192) - x131 * (
       1.1808642249251138 - 0.2859367100112926 * x192) + x137 = 0;
e184:  -x131 * (-0.18086422492511378 + 0.2859367100112926 * x192) - x132 * (
       1.514197558258447 - 0.28593671001129256 * x192) + x138 = 0;
e185:  1.285714958270787 * x133 + 1.7354034565383603 * x134 +
       2.3015330291551495 * x135 + 0.3573311271811046 * x136 -
       3.0690732009455854 * x137 - 7.682421202294294 * x138 - x199 = 0;
e186:  -x192 / (exp(-x192) + 1) + x200 = 0;
e187:  x186 - 4.0589181130630605 * x199 - 11.858461642124364 * x200 = 0;
e188:  x118 + x119 + x120 + x121 + x122 + x123 + x124 + x125 = 1;
e189:  x126 + x127 + x128 + x129 + x130 + x131 + x132 = 1;
e190:  x133 + x134 + x135 + x136 + x137 + x138 = 1;
e191:  x201 - x202 - x203 = 5.244654078562977;
e192:  -x181 + x204 = 0;
e193:  -x184 + x205 = 0;
e194:  1.9235490648561706 * x201 - x206 = -0.3641824770782581;
e195:  -x204 <= 7.337322116963167;
e196:  19.383433789249537 * b37 + x204 <= 14.46904089594256;
e197:  2.422929223656192 * b38 - x204 <= 7.337322116963167;
e198:  16.960504565593343 * b38 + x204 <= 14.46904089594256;
e199:  4.845858447312384 * b39 - x204 <= 7.337322116963167;
e200:  14.537575341937151 * b39 + x204 <= 14.46904089594256;
e201:  7.2687876709685755 * b40 - x204 <= 7.337322116963167;
e202:  12.11464611828096 * b40 + x204 <= 14.46904089594256;
e203:  9.691716894624767 * b41 - x204 <= 7.337322116963167;
e204:  9.691716894624768 * b41 + x204 <= 14.46904089594256;
e205:  12.114646118280959 * b42 - x204 <= 7.337322116963167;
e206:  7.268787670968576 * b42 + x204 <= 14.46904089594256;
e207:  14.537575341937151 * b43 - x204 <= 7.337322116963167;
e208:  4.845858447312384 * b43 + x204 <= 14.46904089594256;
e209:  16.960504565593343 * b44 - x204 <= 7.337322116963167;
e210:  2.422929223656192 * b44 + x204 <= 14.46904089594256;
e211:  19.383433789249537 * b45 - x204 <= 7.337322116963167;
e212:  x204 <= 14.46904089594256;
e213:  b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 = 1;
e214:  -b37 * (3.0282857812458803 + 0.4127235703942698 * x204) - b38 * (
       -1.028285781245881 - 0.41272357039426993 * x204) + x139 = 0;
e215:  -b38 * (2.0282857812458808 + 0.41272357039426993 * x204) - b39 * (
       -0.02828578124588092 - 0.41272357039426993 * x204) + x140 = 0;
e216:  -b39 * (1.028285781245881 + 0.41272357039426993 * x204) - b40 * (
       0.9717142187541191 - 0.41272357039426993 * x204) + x141 = 0;
e217:  -b40 * (0.02828578124588092 + 0.41272357039426993 * x204) - b41 * (
       1.9717142187541192 - 0.41272357039426993 * x204) + x142 = 0;
e218:  -b41 * (-0.9717142187541191 + 0.41272357039426993 * x204) - b42 * (
       2.9717142187541183 - 0.4127235703942698 * x204) + x143 = 0;
e219:  -b42 * (-1.9717142187541186 + 0.4127235703942698 * x204) - b43 * (
       3.9717142187541183 - 0.4127235703942698 * x204) + x144 = 0;
e220:  -b43 * (-2.9717142187541183 + 0.4127235703942698 * x204) - b44 * (
       4.971714218754118 - 0.4127235703942698 * x204) + x145 = 0;
e221:  -b44 * (-3.9717142187541183 + 0.4127235703942698 * x204) - b45 * (
       5.971714218754118 - 0.4127235703942698 * x204) + x146 = 0;
e222:  -x139 * (1.5141428906229402 + 0.2063617851971349 * x204) - x140 * (
       -0.01414289062294046 - 0.20636178519713497 * x204) + x147 = 0;
e223:  -x140 * (1.0141428906229404 + 0.20636178519713497 * x204) - x141 * (
       0.48585710937705956 - 0.20636178519713497 * x204) + x148 = 0;
e224:  -x141 * (0.5141428906229405 + 0.20636178519713497 * x204) - x142 * (
       0.9858571093770596 - 0.20636178519713497 * x204) + x149 = 0;
e225:  -x142 * (0.01414289062294046 + 0.20636178519713497 * x204) - x143 * (
       1.4858571093770592 - 0.2063617851971349 * x204) + x150 = 0;
e226:  -x143 * (-0.48585710937705945 + 0.2063617851971349 * x204) - x144 * (
       1.9858571093770592 - 0.2063617851971349 * x204) + x151 = 0;
e227:  -x144 * (-0.9858571093770593 + 0.2063617851971349 * x204) - x145 * (
       2.485857109377059 - 0.2063617851971349 * x204) + x152 = 0;
e228:  -x145 * (-1.4858571093770592 + 0.2063617851971349 * x204) - x146 * (
       2.985857109377059 - 0.2063617851971349 * x204) + x153 = 0;
e229:  -x147 * (1.009428593748627 + 0.13757452346475663 * x204) - x148 * (
       0.3239047395847064 - 0.13757452346475665 * x204) + x154 = 0;
e230:  -x148 * (0.6760952604152937 + 0.13757452346475665 * x204) - x149 * (
       0.6572380729180397 - 0.13757452346475665 * x204) + x155 = 0;
e231:  -x149 * (0.34276192708196035 + 0.13757452346475665 * x204) - x150 * (
       0.990571406251373 - 0.13757452346475663 * x204) + x156 = 0;
e232:  -x150 * (0.009428593748626972 + 0.13757452346475663 * x204) - x151 * (
       1.3239047395847063 - 0.13757452346475663 * x204) + x157 = 0;
e233:  -x151 * (-0.32390473958470634 + 0.13757452346475663 * x204) - x152 * (
       1.6572380729180396 - 0.13757452346475663 * x204) + x158 = 0;
e234:  -x152 * (-0.6572380729180396 + 0.13757452346475663 * x204) - x153 * (
       1.990571406251373 - 0.13757452346475663 * x204) + x159 = 0;
e235:  20.57356326076455 * x154 - 0.7852944598259269 * x155 -
       0.22396048535803653 * x156 - 0.4764112850752401 * x157 -
       0.5074978780706633 * x158 - 0.631428618622865 * x159 - x207 = 0;
e236:  -x204 / (exp(-x204) + 1) + x208 = 0;
e237:  x202 - 20.584888493164918 * x207 - 0.8580009726456763 * x208 = 0;
e238:  x139 + x140 + x141 + x142 + x143 + x144 + x145 + x146 = 1;
e239:  x147 + x148 + x149 + x150 + x151 + x152 + x153 = 1;
e240:  x154 + x155 + x156 + x157 + x158 + x159 = 1;
e241:  -x205 <= 4.662361909168306;
e242:  6.459694189908553 * b46 + x205 <= 2.6047940544788157;
e243:  0.8074617737385688 * b47 - x205 <= 4.662361909168306;
e244:  5.6522324161699835 * b47 + x205 <= 2.6047940544788157;
e245:  1.614923547477138 * b48 - x205 <= 4.662361909168306;
e246:  4.844770642431414 * b48 + x205 <= 2.6047940544788157;
e247:  2.422385321215707 * b49 - x205 <= 4.662361909168306;
e248:  4.037308868692845 * b49 + x205 <= 2.6047940544788157;
e249:  3.229847094954276 * b50 - x205 <= 4.662361909168306;
e250:  3.2298470949542764 * b50 + x205 <= 2.6047940544788157;
e251:  4.037308868692845 * b51 - x205 <= 4.662361909168306;
e252:  2.422385321215707 * b51 + x205 <= 2.6047940544788157;
e253:  4.844770642431414 * b52 - x205 <= 4.662361909168306;
e254:  1.614923547477138 * b52 + x205 <= 2.6047940544788157;
e255:  5.6522324161699835 * b53 - x205 <= 4.662361909168306;
e256:  0.807461773738569 * b53 + x205 <= 2.6047940544788157;
e257:  6.459694189908553 * b54 - x205 <= 4.662361909168306;
e258:  x205 <= 2.6047940544788157;
e259:  b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 = 1;
e260:  -b46 * (5.774096137804085 + 1.2384487198322396 * x205) - b47 * (
       -3.774096137804082 - 1.238448719832239 * x205) + x160 = 0;
e261:  -b47 * (4.774096137804082 + 1.238448719832239 * x205) - b48 * (
       -2.774096137804082 - 1.238448719832239 * x205) + x161 = 0;
e262:  -b48 * (3.774096137804082 + 1.238448719832239 * x205) - b49 * (
       -1.7740961378040832 - 1.2384487198322394 * x205) + x162 = 0;
e263:  -b49 * (2.7740961378040834 + 1.2384487198322394 * x205) - b50 * (
       -0.7740961378040832 - 1.2384487198322394 * x205) + x163 = 0;
e264:  -b50 * (1.7740961378040832 + 1.2384487198322394 * x205) - b51 * (
       0.22590386219591715 - 1.238448719832239 * x205) + x164 = 0;
e265:  -b51 * (0.7740961378040828 + 1.238448719832239 * x205) - b52 * (
       1.2259038621959173 - 1.2384487198322391 * x205) + x165 = 0;
e266:  -b52 * (-0.2259038621959172 + 1.2384487198322391 * x205) - b53 * (
       2.225903862195917 - 1.2384487198322391 * x205) + x166 = 0;
e267:  -b53 * (-1.2259038621959173 + 1.2384487198322391 * x205) - b54 * (
       3.2259038621959175 - 1.2384487198322394 * x205) + x167 = 0;
e268:  -x160 * (2.887048068902042 + 0.6192243599161197 * x205) - x161 * (
       -1.387048068902041 - 0.6192243599161195 * x205) + x168 = 0;
e269:  -x161 * (2.387048068902041 + 0.6192243599161195 * x205) - x162 * (
       -0.8870480689020415 - 0.6192243599161196 * x205) + x169 = 0;
e270:  -x162 * (1.8870480689020415 + 0.6192243599161196 * x205) - x163 * (
       -0.3870480689020416 - 0.6192243599161197 * x205) + x170 = 0;
e271:  -x163 * (1.3870480689020417 + 0.6192243599161197 * x205) - x164 * (
       0.1129519310979586 - 0.6192243599161196 * x205) + x171 = 0;
e272:  -x164 * (0.8870480689020415 + 0.6192243599161196 * x205) - x165 * (
       0.6129519310979585 - 0.6192243599161195 * x205) + x172 = 0;
e273:  -x165 * (0.3870480689020414 + 0.6192243599161195 * x205) - x166 * (
       1.1129519310979585 - 0.6192243599161196 * x205) + x173 = 0;
e274:  -x166 * (-0.1129519310979586 + 0.6192243599161196 * x205) - x167 * (
       1.6129519310979588 - 0.6192243599161197 * x205) + x174 = 0;
e275:  -x168 * (1.924698712601361 + 0.41281623994407973 * x205) - x169 * (
       -0.5913653792680275 - 0.4128162399440796 * x205) + x175 = 0;
e276:  -x169 * (1.5913653792680273 + 0.4128162399440796 * x205) - x170 * (
       -0.2580320459346943 - 0.41281623994407973 * x205) + x176 = 0;
e277:  -x170 * (1.2580320459346943 + 0.41281623994407973 * x205) - x171 * (
       0.07530128739863907 - 0.41281623994407973 * x205) + x177 = 0;
e278:  -x171 * (0.9246987126013609 + 0.41281623994407973 * x205) - x172 * (
       0.40863462073197243 - 0.41281623994407973 * x205) + x178 = 0;
e279:  -x172 * (0.5913653792680277 + 0.41281623994407973 * x205) - x173 * (
       0.7419679540653056 - 0.4128162399440796 * x205) + x179 = 0;
e280:  -x173 * (0.25803204593469425 + 0.4128162399440796 * x205) - x174 * (
       1.0753012873986392 - 0.41281623994407973 * x205) + x180 = 0;
e281:  0.028122110853052617 * x175 + 0.0017139041621436657 * x176 +
       0.041507929556034814 * x177 - 0.08119707467070267 * x178 +
       0.22073567170440672 * x179 + 21.804816003693187 * x180 - x209 = 0;
e282:  -x205 / (exp(-x205) + 1) + x210 = 0;
e283:  x203 - 17.541201847147285 * x209 - 2.507328567193861 * x210 = 0;
e284:  x160 + x161 + x162 + x163 + x164 + x165 + x166 + x167 = 1;
e285:  x168 + x169 + x170 + x171 + x172 + x173 + x174 = 1;
e286:  x175 + x176 + x177 + x178 + x179 + x180 = 1;