#  MINLP written by GAMS Convert at 01/12/18 13:43:51
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        605       37      162      406        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        321      201      120        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1503     1463       40        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0, <= 40;
var x3 >= 0, <= 40;
var x4 >= 0;
var x5 >= 0;
var x6 >= 0;
var x7 >= 0;
var x8 >= 0;
var x9 >= 0;
var x10 >= 0;
var x11 >= 0;
var x12 >= 0;
var x13 >= 0;
var x14 >= 0;
var x15 >= 0;
var x16 >= 0;
var x17 >= 0;
var x18 >= 0;
var x19 >= 0;
var x20 >= 0;
var x21 >= 0;
var x22 >= 0;
var x23 >= 0;
var x24 >= 0, <= 30;
var x25 >= 0, <= 30;
var x26 >= 0;
var x27 >= 0;
var x28 >= 0;
var x29 >= 0;
var x30 >= 0;
var x31 >= 0;
var x32 >= 0;
var x33 >= 0;
var x34 >= 0;
var x35 >= 0;
var x36 >= 0;
var x37 >= 0;
var x38 >= 0;
var x39 >= 0;
var x40 >= 0;
var x41 >= 0;
var x42 >= 0;
var x43 >= 0;
var x44 >= 0;
var x45 >= 0;
var x46 >= 0;
var x47 >= 0;
var x48 >= 0;
var x49 >= 0;
var x50 >= 0;
var x51 >= 0;
var x52 >= 0;
var x53 >= 0;
var x54 >= 0;
var x55 >= 0;
var x56 >= 0;
var x57 >= 0;
var x58 >= 0, <= 20;
var x59 >= 0, <= 20;
var x60 >= 0, <= 20;
var x61 >= 0, <= 20;
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, <= 30;
var x115 >= 0, <= 30;
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 b142 binary >= 0, <= 1;
var b143 binary >= 0, <= 1;
var b144 binary >= 0, <= 1;
var b145 binary >= 0, <= 1;
var b146 binary >= 0, <= 1;
var b147 binary >= 0, <= 1;
var b148 binary >= 0, <= 1;
var b149 binary >= 0, <= 1;
var b150 binary >= 0, <= 1;
var b151 binary >= 0, <= 1;
var b152 binary >= 0, <= 1;
var b153 binary >= 0, <= 1;
var b154 binary >= 0, <= 1;
var b155 binary >= 0, <= 1;
var b156 binary >= 0, <= 1;
var b157 binary >= 0, <= 1;
var b158 binary >= 0, <= 1;
var b159 binary >= 0, <= 1;
var b160 binary >= 0, <= 1;
var b161 binary >= 0, <= 1;
var b162 binary >= 0, <= 1;
var b163 binary >= 0, <= 1;
var b164 binary >= 0, <= 1;
var b165 binary >= 0, <= 1;
var b166 binary >= 0, <= 1;
var b167 binary >= 0, <= 1;
var b168 binary >= 0, <= 1;
var b169 binary >= 0, <= 1;
var b170 binary >= 0, <= 1;
var b171 binary >= 0, <= 1;
var b172 binary >= 0, <= 1;
var b173 binary >= 0, <= 1;
var b174 binary >= 0, <= 1;
var b175 binary >= 0, <= 1;
var b176 binary >= 0, <= 1;
var b177 binary >= 0, <= 1;
var b178 binary >= 0, <= 1;
var b179 binary >= 0, <= 1;
var b180 binary >= 0, <= 1;
var b181 binary >= 0, <= 1;
var b182 binary >= 0, <= 1;
var b183 binary >= 0, <= 1;
var b184 binary >= 0, <= 1;
var b185 binary >= 0, <= 1;
var b186 binary >= 0, <= 1;
var b187 binary >= 0, <= 1;
var b188 binary >= 0, <= 1;
var b189 binary >= 0, <= 1;
var b190 binary >= 0, <= 1;
var b191 binary >= 0, <= 1;
var b192 binary >= 0, <= 1;
var b193 binary >= 0, <= 1;
var b194 binary >= 0, <= 1;
var b195 binary >= 0, <= 1;
var b196 binary >= 0, <= 1;
var b197 binary >= 0, <= 1;
var b198 binary >= 0, <= 1;
var b199 binary >= 0, <= 1;
var b200 binary >= 0, <= 1;
var b201 binary >= 0, <= 1;
var b202 binary >= 0, <= 1;
var b203 binary >= 0, <= 1;
var b204 binary >= 0, <= 1;
var b205 binary >= 0, <= 1;
var b206 binary >= 0, <= 1;
var b207 binary >= 0, <= 1;
var b208 binary >= 0, <= 1;
var b209 binary >= 0, <= 1;
var b210 binary >= 0, <= 1;
var b211 binary >= 0, <= 1;
var b212 binary >= 0, <= 1;
var b213 binary >= 0, <= 1;
var b214 binary >= 0, <= 1;
var b215 binary >= 0, <= 1;
var b216 binary >= 0, <= 1;
var b217 binary >= 0, <= 1;
var b218 binary >= 0, <= 1;
var b219 binary >= 0, <= 1;
var b220 binary >= 0, <= 1;
var b221 binary >= 0, <= 1;
var b222 binary >= 0, <= 1;
var b223 binary >= 0, <= 1;
var b224 binary >= 0, <= 1;
var b225 binary >= 0, <= 1;
var b226 binary >= 0, <= 1;
var b227 binary >= 0, <= 1;
var b228 binary >= 0, <= 1;
var b229 binary >= 0, <= 1;
var b230 binary >= 0, <= 1;
var b231 binary >= 0, <= 1;
var b232 binary >= 0, <= 1;
var b233 binary >= 0, <= 1;
var b234 binary >= 0, <= 1;
var b235 binary >= 0, <= 1;
var b236 binary >= 0, <= 1;
var b237 binary >= 0, <= 1;
var b238 binary >= 0, <= 1;
var b239 binary >= 0, <= 1;
var b240 binary >= 0, <= 1;
var b241 binary >= 0, <= 1;
var b242 binary >= 0, <= 1;
var b243 binary >= 0, <= 1;
var b244 binary >= 0, <= 1;
var b245 binary >= 0, <= 1;
var b246 binary >= 0, <= 1;
var b247 binary >= 0, <= 1;
var b248 binary >= 0, <= 1;
var b249 binary >= 0, <= 1;
var b250 binary >= 0, <= 1;
var b251 binary >= 0, <= 1;
var b252 binary >= 0, <= 1;
var b253 binary >= 0, <= 1;
var b254 binary >= 0, <= 1;
var b255 binary >= 0, <= 1;
var b256 binary >= 0, <= 1;
var b257 binary >= 0, <= 1;
var b258 binary >= 0, <= 1;
var b259 binary >= 0, <= 1;
var b260 binary >= 0, <= 1;
var b261 binary >= 0, <= 1;
var x262;
var x263;
var x264;
var x265;
var x266;
var x267;
var x268;
var x269;
var x270;
var x271;
var x272;
var x273;
var x274;
var x275;
var x276;
var x277;
var x278;
var x279;
var x280;
var x281;
var x282;
var x283;
var x284;
var x285;
var x286;
var x287;
var x288;
var x289;
var x290;
var x291;
var x292;
var x293;
var x294;
var x295;
var x296;
var x297;
var x298;
var x299;
var x300;
var x301;
var x302;
var x303;
var x304;
var x305;
var x306;
var x307;
var x308;
var x309;
var x310;
var x311;
var x312;
var x313;
var x314;
var x315;
var x316;
var x317;
var x318;
var x319;
var x320;
var x321;

maximize obj:  - x2 - x3 + 5*x14 + 10*x15 - 2*x24 - x25 - 10*x58 - 5*x59
     - 5*x60 - 5*x61 + 40*x74 + 30*x75 + 15*x76 + 20*x77 + 10*x78 + 30*x79
     + 30*x80 + 20*x81 + 35*x82 + 50*x83 + 20*x84 + 30*x85 + 25*x86 + 50*x87
     + 15*x88 + 20*x89 + 30*x104 + 40*x105 - x114 - x115 + 80*x130 + 90*x131
     + 285*x132 + 390*x133 + 290*x134 + 405*x135 + 280*x136 + 400*x137
     + 290*x138 + 300*x139 + 350*x140 + 250*x141 - 5*b202 - 4*b203 - 8*b204
     - 7*b205 - 6*b206 - 9*b207 - 10*b208 - 9*b209 - 6*b210 - 10*b211 - 7*b212
     - 7*b213 - 4*b214 - 3*b215 - 5*b216 - 6*b217 - 2*b218 - 5*b219 - 4*b220
     - 7*b221 - 3*b222 - 9*b223 - 7*b224 - 2*b225 - 3*b226 - b227 - 2*b228
     - 6*b229 - 4*b230 - 8*b231 - 2*b232 - 5*b233 - 3*b234 - 4*b235 - 5*b236
     - 7*b237 - 2*b238 - 8*b239 - b240 - 4*b241 - 2*b242 - 5*b243 - 9*b244
     - 2*b245 - 5*b246 - 8*b247 - 2*b248 - 3*b249 - 10*b250 - 6*b251 - 4*b252
     - 8*b253 - 7*b254 - 3*b255 - 4*b256 - 8*b257 - 2*b258 - b259 - 8*b260
     - 3*b261;

subject to

e2:    x2 - x4 - x6 = 0;

e3:    x3 - x5 - x7 = 0;

e4:  - x8 - x10 + x12 = 0;

e5:  - x9 - x11 + x13 = 0;

e6:    x12 - x14 - x16 = 0;

e7:    x13 - x15 - x17 = 0;

e8:    x16 - x18 - x20 - x22 = 0;

e9:    x17 - x19 - x21 - x23 = 0;

e10:    x26 - x32 - x34 = 0;

e11:    x27 - x33 - x35 = 0;

e12:    x30 - x36 - x38 - x40 = 0;

e13:    x31 - x37 - x39 - x41 = 0;

e14:    x46 - x54 - x56 = 0;

e15:    x47 - x55 - x57 = 0;

e16:  - x48 - x60 + x62 = 0;

e17:  - x49 - x61 + x63 = 0;

e18:    x50 - x64 - x66 = 0;

e19:    x51 - x65 - x67 = 0;

e20:    x52 - x68 - x70 - x72 = 0;

e21:    x53 - x69 - x71 - x73 = 0;

e22:    x90 - x92 = 0;

e23:    x91 - x93 = 0;

e24:    x92 - x94 - x96 = 0;

e25:    x93 - x95 - x97 = 0;

e26:  - x98 - x100 + x102 = 0;

e27:  - x99 - x101 + x103 = 0;

e28:    x102 - x104 - x106 = 0;

e29:    x103 - x105 - x107 = 0;

e30:    x106 - x108 - x110 - x112 = 0;

e31:    x107 - x109 - x111 - x113 = 0;

e32:    x116 - x122 - x124 = 0;

e33:    x117 - x123 - x125 = 0;

e34:    x120 - x126 - x128 - x130 = 0;

e35:    x121 - x127 - x129 - x131 = 0;

e36: -log(1 + x4) + x8 + b142 <= 1;

e37: -log(1 + x5) + x9 + b143 <= 1;

e38:    x4 - 40*b142 <= 0;

e39:    x5 - 40*b143 <= 0;

e40:    x8 - 3.71357206670431*b142 <= 0;

e41:    x9 - 3.71357206670431*b143 <= 0;

e42: -1.2*log(1 + x6) + x10 + b144 <= 1;

e43: -1.2*log(1 + x7) + x11 + b145 <= 1;

e44:    x6 - 40*b144 <= 0;

e45:    x7 - 40*b145 <= 0;

e46:    x10 - 4.45628648004517*b144 <= 0;

e47:    x11 - 4.45628648004517*b145 <= 0;

e48:  - 0.75*x18 + x26 + b146 <= 1;

e49:  - 0.75*x19 + x27 + b147 <= 1;

e50:  - 0.75*x18 + x26 - b146 >= -1;

e51:  - 0.75*x19 + x27 - b147 >= -1;

e52:    x18 - 4.45628648004517*b146 <= 0;

e53:    x19 - 4.45628648004517*b147 <= 0;

e54:    x26 - 3.34221486003388*b146 <= 0;

e55:    x27 - 3.34221486003388*b147 <= 0;

e56: -1.5*log(1 + x20) + x28 + b148 <= 1;

e57: -1.5*log(1 + x21) + x29 + b149 <= 1;

e58:    x20 - 4.45628648004517*b148 <= 0;

e59:    x21 - 4.45628648004517*b149 <= 0;

e60:    x28 - 2.54515263975353*b148 <= 0;

e61:    x29 - 2.54515263975353*b149 <= 0;

e62:  - x22 + x30 + b150 <= 1;

e63:  - x23 + x31 + b151 <= 1;

e64:  - x22 + x30 - b150 >= -1;

e65:  - x23 + x31 - b151 >= -1;

e66:  - 0.5*x24 + x30 + b150 <= 1;

e67:  - 0.5*x25 + x31 + b151 <= 1;

e68:  - 0.5*x24 + x30 - b150 >= -1;

e69:  - 0.5*x25 + x31 - b151 >= -1;

e70:    x22 - 4.45628648004517*b150 <= 0;

e71:    x23 - 4.45628648004517*b151 <= 0;

e72:    x24 - 30*b150 <= 0;

e73:    x25 - 30*b151 <= 0;

e74:    x30 - 15*b150 <= 0;

e75:    x31 - 15*b151 <= 0;

e76: -1.25*log(1 + x32) + x42 + b152 <= 1;

e77: -1.25*log(1 + x33) + x43 + b153 <= 1;

e78:    x32 - 3.34221486003388*b152 <= 0;

e79:    x33 - 3.34221486003388*b153 <= 0;

e80:    x42 - 1.83548069293539*b152 <= 0;

e81:    x43 - 1.83548069293539*b153 <= 0;

e82: -0.9*log(1 + x34) + x44 + b154 <= 1;

e83: -0.9*log(1 + x35) + x45 + b155 <= 1;

e84:    x34 - 3.34221486003388*b154 <= 0;

e85:    x35 - 3.34221486003388*b155 <= 0;

e86:    x44 - 1.32154609891348*b154 <= 0;

e87:    x45 - 1.32154609891348*b155 <= 0;

e88: -log(1 + x28) + x46 + b156 <= 1;

e89: -log(1 + x29) + x47 + b157 <= 1;

e90:    x28 - 2.54515263975353*b156 <= 0;

e91:    x29 - 2.54515263975353*b157 <= 0;

e92:    x46 - 1.26558121681553*b156 <= 0;

e93:    x47 - 1.26558121681553*b157 <= 0;

e94:  - 0.9*x36 + x48 + b158 <= 1;

e95:  - 0.9*x37 + x49 + b159 <= 1;

e96:  - 0.9*x36 + x48 - b158 >= -1;

e97:  - 0.9*x37 + x49 - b159 >= -1;

e98:    x36 - 15*b158 <= 0;

e99:    x37 - 15*b159 <= 0;

e100:    x48 - 13.5*b158 <= 0;

e101:    x49 - 13.5*b159 <= 0;

e102:  - 0.6*x38 + x50 + b160 <= 1;

e103:  - 0.6*x39 + x51 + b161 <= 1;

e104:  - 0.6*x38 + x50 - b160 >= -1;

e105:  - 0.6*x39 + x51 - b161 >= -1;

e106:    x38 - 15*b160 <= 0;

e107:    x39 - 15*b161 <= 0;

e108:    x50 - 9*b160 <= 0;

e109:    x51 - 9*b161 <= 0;

e110: -1.1*log(1 + x40) + x52 + b162 <= 1;

e111: -1.1*log(1 + x41) + x53 + b163 <= 1;

e112:    x40 - 15*b162 <= 0;

e113:    x41 - 15*b163 <= 0;

e114:    x52 - 3.04984759446376*b162 <= 0;

e115:    x53 - 3.04984759446376*b163 <= 0;

e116:  - 0.9*x42 + x74 + b164 <= 1;

e117:  - 0.9*x43 + x75 + b165 <= 1;

e118:  - 0.9*x42 + x74 - b164 >= -1;

e119:  - 0.9*x43 + x75 - b165 >= -1;

e120:  - x58 + x74 + b164 <= 1;

e121:  - x59 + x75 + b165 <= 1;

e122:  - x58 + x74 - b164 >= -1;

e123:  - x59 + x75 - b165 >= -1;

e124:    x42 - 1.83548069293539*b164 <= 0;

e125:    x43 - 1.83548069293539*b165 <= 0;

e126:    x58 - 20*b164 <= 0;

e127:    x59 - 20*b165 <= 0;

e128:    x74 - 20*b164 <= 0;

e129:    x75 - 20*b165 <= 0;

e130: -log(1 + x44) + x76 + b166 <= 1;

e131: -log(1 + x45) + x77 + b167 <= 1;

e132:    x44 - 1.32154609891348*b166 <= 0;

e133:    x45 - 1.32154609891348*b167 <= 0;

e134:    x76 - 0.842233385663186*b166 <= 0;

e135:    x77 - 0.842233385663186*b167 <= 0;

e136: -0.7*log(1 + x54) + x78 + b168 <= 1;

e137: -0.7*log(1 + x55) + x79 + b169 <= 1;

e138:    x54 - 1.26558121681553*b168 <= 0;

e139:    x55 - 1.26558121681553*b169 <= 0;

e140:    x78 - 0.572481933717686*b168 <= 0;

e141:    x79 - 0.572481933717686*b169 <= 0;

e142: -0.65*log(1 + x56) + x80 + b170 <= 1;

e143: -0.65*log(1 + x57) + x81 + b171 <= 1;

e144: -0.65*log(1 + x62) + x80 + b170 <= 1;

e145: -0.65*log(1 + x63) + x81 + b171 <= 1;

e146:    x56 - 1.26558121681553*b170 <= 0;

e147:    x57 - 1.26558121681553*b171 <= 0;

e148:    x62 - 33.5*b170 <= 0;

e149:    x63 - 33.5*b171 <= 0;

e150:    x80 - 2.30162356062425*b170 <= 0;

e151:    x81 - 2.30162356062425*b171 <= 0;

e152:  - x64 + x82 + b172 <= 1;

e153:  - x65 + x83 + b173 <= 1;

e154:  - x64 + x82 - b172 >= -1;

e155:  - x65 + x83 - b173 >= -1;

e156:    x64 - 9*b172 <= 0;

e157:    x65 - 9*b173 <= 0;

e158:    x82 - 9*b172 <= 0;

e159:    x83 - 9*b173 <= 0;

e160:  - x66 + x84 + b174 <= 1;

e161:  - x67 + x85 + b175 <= 1;

e162:  - x66 + x84 - b174 >= -1;

e163:  - x67 + x85 - b175 >= -1;

e164:    x66 - 9*b174 <= 0;

e165:    x67 - 9*b175 <= 0;

e166:    x84 - 9*b174 <= 0;

e167:    x85 - 9*b175 <= 0;

e168: -0.75*log(1 + x68) + x86 + b176 <= 1;

e169: -0.75*log(1 + x69) + x87 + b177 <= 1;

e170:    x68 - 3.04984759446376*b176 <= 0;

e171:    x69 - 3.04984759446376*b177 <= 0;

e172:    x86 - 1.04900943706034*b176 <= 0;

e173:    x87 - 1.04900943706034*b177 <= 0;

e174: -0.8*log(1 + x70) + x88 + b178 <= 1;

e175: -0.8*log(1 + x71) + x89 + b179 <= 1;

e176:    x70 - 3.04984759446376*b178 <= 0;

e177:    x71 - 3.04984759446376*b179 <= 0;

e178:    x88 - 1.11894339953103*b178 <= 0;

e179:    x89 - 1.11894339953103*b179 <= 0;

e180: -0.85*log(1 + x72) + x90 + b180 <= 1;

e181: -0.85*log(1 + x73) + x91 + b181 <= 1;

e182:    x72 - 3.04984759446376*b180 <= 0;

e183:    x73 - 3.04984759446376*b181 <= 0;

e184:    x90 - 1.18887736200171*b180 <= 0;

e185:    x91 - 1.18887736200171*b181 <= 0;

e186: -log(1 + x94) + x98 + b182 <= 1;

e187: -log(1 + x95) + x99 + b183 <= 1;

e188:    x94 - 1.18887736200171*b182 <= 0;

e189:    x95 - 1.18887736200171*b183 <= 0;

e190:    x98 - 0.78338879230327*b182 <= 0;

e191:    x99 - 0.78338879230327*b183 <= 0;

e192: -1.2*log(1 + x96) + x100 + b184 <= 1;

e193: -1.2*log(1 + x97) + x101 + b185 <= 1;

e194:    x96 - 1.18887736200171*b184 <= 0;

e195:    x97 - 1.18887736200171*b185 <= 0;

e196:    x100 - 0.940066550763924*b184 <= 0;

e197:    x101 - 0.940066550763924*b185 <= 0;

e198:  - 0.75*x108 + x116 + b186 <= 1;

e199:  - 0.75*x109 + x117 + b187 <= 1;

e200:  - 0.75*x108 + x116 - b186 >= -1;

e201:  - 0.75*x109 + x117 - b187 >= -1;

e202:    x108 - 0.940066550763924*b186 <= 0;

e203:    x109 - 0.940066550763924*b187 <= 0;

e204:    x116 - 0.705049913072943*b186 <= 0;

e205:    x117 - 0.705049913072943*b187 <= 0;

e206: -1.5*log(1 + x110) + x118 + b188 <= 1;

e207: -1.5*log(1 + x111) + x119 + b189 <= 1;

e208:    x110 - 0.940066550763924*b188 <= 0;

e209:    x111 - 0.940066550763924*b189 <= 0;

e210:    x118 - 0.994083415506506*b188 <= 0;

e211:    x119 - 0.994083415506506*b189 <= 0;

e212:  - x112 + x120 + b190 <= 1;

e213:  - x113 + x121 + b191 <= 1;

e214:  - x112 + x120 - b190 >= -1;

e215:  - x113 + x121 - b191 >= -1;

e216:  - 0.5*x114 + x120 + b190 <= 1;

e217:  - 0.5*x115 + x121 + b191 <= 1;

e218:  - 0.5*x114 + x120 - b190 >= -1;

e219:  - 0.5*x115 + x121 - b191 >= -1;

e220:    x112 - 0.940066550763924*b190 <= 0;

e221:    x113 - 0.940066550763924*b191 <= 0;

e222:    x114 - 30*b190 <= 0;

e223:    x115 - 30*b191 <= 0;

e224:    x120 - 15*b190 <= 0;

e225:    x121 - 15*b191 <= 0;

e226: -1.25*log(1 + x122) + x132 + b192 <= 1;

e227: -1.25*log(1 + x123) + x133 + b193 <= 1;

e228:    x122 - 0.705049913072943*b192 <= 0;

e229:    x123 - 0.705049913072943*b193 <= 0;

e230:    x132 - 0.666992981045719*b192 <= 0;

e231:    x133 - 0.666992981045719*b193 <= 0;

e232: -0.9*log(1 + x124) + x134 + b194 <= 1;

e233: -0.9*log(1 + x125) + x135 + b195 <= 1;

e234:    x124 - 0.705049913072943*b194 <= 0;

e235:    x125 - 0.705049913072943*b195 <= 0;

e236:    x134 - 0.480234946352917*b194 <= 0;

e237:    x135 - 0.480234946352917*b195 <= 0;

e238: -log(1 + x118) + x136 + b196 <= 1;

e239: -log(1 + x119) + x137 + b197 <= 1;

e240:    x118 - 0.994083415506506*b196 <= 0;

e241:    x119 - 0.994083415506506*b197 <= 0;

e242:    x136 - 0.690184503917672*b196 <= 0;

e243:    x137 - 0.690184503917672*b197 <= 0;

e244:  - 0.9*x126 + x138 + b198 <= 1;

e245:  - 0.9*x127 + x139 + b199 <= 1;

e246:  - 0.9*x126 + x138 - b198 >= -1;

e247:  - 0.9*x127 + x139 - b199 >= -1;

e248:    x126 - 15*b198 <= 0;

e249:    x127 - 15*b199 <= 0;

e250:    x138 - 13.5*b198 <= 0;

e251:    x139 - 13.5*b199 <= 0;

e252:  - 0.6*x128 + x140 + b200 <= 1;

e253:  - 0.6*x129 + x141 + b201 <= 1;

e254:  - 0.6*x128 + x140 - b200 >= -1;

e255:  - 0.6*x129 + x141 - b201 >= -1;

e256:    x128 - 15*b200 <= 0;

e257:    x129 - 15*b201 <= 0;

e258:    x140 - 9*b200 <= 0;

e259:    x141 - 9*b201 <= 0;

e260:    5*b202 + x262 <= 0;

e261:    4*b203 + x263 <= 0;

e262:    8*b204 + x264 <= 0;

e263:    7*b205 + x265 <= 0;

e264:    6*b206 + x266 <= 0;

e265:    9*b207 + x267 <= 0;

e266:    10*b208 + x268 <= 0;

e267:    9*b209 + x269 <= 0;

e268:    6*b210 + x270 <= 0;

e269:    10*b211 + x271 <= 0;

e270:    7*b212 + x272 <= 0;

e271:    7*b213 + x273 <= 0;

e272:    4*b214 + x274 <= 0;

e273:    3*b215 + x275 <= 0;

e274:    5*b216 + x276 <= 0;

e275:    6*b217 + x277 <= 0;

e276:    2*b218 + x278 <= 0;

e277:    5*b219 + x279 <= 0;

e278:    4*b220 + x280 <= 0;

e279:    7*b221 + x281 <= 0;

e280:    3*b222 + x282 <= 0;

e281:    9*b223 + x283 <= 0;

e282:    7*b224 + x284 <= 0;

e283:    2*b225 + x285 <= 0;

e284:    3*b226 + x286 <= 0;

e285:    b227 + x287 <= 0;

e286:    2*b228 + x288 <= 0;

e287:    6*b229 + x289 <= 0;

e288:    4*b230 + x290 <= 0;

e289:    8*b231 + x291 <= 0;

e290:    2*b232 + x292 <= 0;

e291:    5*b233 + x293 <= 0;

e292:    3*b234 + x294 <= 0;

e293:    4*b235 + x295 <= 0;

e294:    5*b236 + x296 <= 0;

e295:    7*b237 + x297 <= 0;

e296:    2*b238 + x298 <= 0;

e297:    8*b239 + x299 <= 0;

e298:    b240 + x300 <= 0;

e299:    4*b241 + x301 <= 0;

e300:    2*b242 + x302 <= 0;

e301:    5*b243 + x303 <= 0;

e302:    9*b244 + x304 <= 0;

e303:    2*b245 + x305 <= 0;

e304:    5*b246 + x306 <= 0;

e305:    8*b247 + x307 <= 0;

e306:    2*b248 + x308 <= 0;

e307:    3*b249 + x309 <= 0;

e308:    10*b250 + x310 <= 0;

e309:    6*b251 + x311 <= 0;

e310:    4*b252 + x312 <= 0;

e311:    8*b253 + x313 <= 0;

e312:    7*b254 + x314 <= 0;

e313:    3*b255 + x315 <= 0;

e314:    4*b256 + x316 <= 0;

e315:    8*b257 + x317 <= 0;

e316:    2*b258 + x318 <= 0;

e317:    b259 + x319 <= 0;

e318:    8*b260 + x320 <= 0;

e319:    3*b261 + x321 <= 0;

e320:    5*b202 + x262 >= 0;

e321:    4*b203 + x263 >= 0;

e322:    8*b204 + x264 >= 0;

e323:    7*b205 + x265 >= 0;

e324:    6*b206 + x266 >= 0;

e325:    9*b207 + x267 >= 0;

e326:    10*b208 + x268 >= 0;

e327:    9*b209 + x269 >= 0;

e328:    6*b210 + x270 >= 0;

e329:    10*b211 + x271 >= 0;

e330:    7*b212 + x272 >= 0;

e331:    7*b213 + x273 >= 0;

e332:    4*b214 + x274 >= 0;

e333:    3*b215 + x275 >= 0;

e334:    5*b216 + x276 >= 0;

e335:    6*b217 + x277 >= 0;

e336:    2*b218 + x278 >= 0;

e337:    5*b219 + x279 >= 0;

e338:    4*b220 + x280 >= 0;

e339:    7*b221 + x281 >= 0;

e340:    3*b222 + x282 >= 0;

e341:    9*b223 + x283 >= 0;

e342:    7*b224 + x284 >= 0;

e343:    2*b225 + x285 >= 0;

e344:    3*b226 + x286 >= 0;

e345:    b227 + x287 >= 0;

e346:    2*b228 + x288 >= 0;

e347:    6*b229 + x289 >= 0;

e348:    4*b230 + x290 >= 0;

e349:    8*b231 + x291 >= 0;

e350:    2*b232 + x292 >= 0;

e351:    5*b233 + x293 >= 0;

e352:    3*b234 + x294 >= 0;

e353:    4*b235 + x295 >= 0;

e354:    5*b236 + x296 >= 0;

e355:    7*b237 + x297 >= 0;

e356:    2*b238 + x298 >= 0;

e357:    8*b239 + x299 >= 0;

e358:    b240 + x300 >= 0;

e359:    4*b241 + x301 >= 0;

e360:    2*b242 + x302 >= 0;

e361:    5*b243 + x303 >= 0;

e362:    9*b244 + x304 >= 0;

e363:    2*b245 + x305 >= 0;

e364:    5*b246 + x306 >= 0;

e365:    8*b247 + x307 >= 0;

e366:    2*b248 + x308 >= 0;

e367:    3*b249 + x309 >= 0;

e368:    10*b250 + x310 >= 0;

e369:    6*b251 + x311 >= 0;

e370:    4*b252 + x312 >= 0;

e371:    8*b253 + x313 >= 0;

e372:    7*b254 + x314 >= 0;

e373:    3*b255 + x315 >= 0;

e374:    4*b256 + x316 >= 0;

e375:    8*b257 + x317 >= 0;

e376:    2*b258 + x318 >= 0;

e377:    b259 + x319 >= 0;

e378:    8*b260 + x320 >= 0;

e379:    3*b261 + x321 >= 0;

e380:    b142 - b143 <= 0;

e381:    b144 - b145 <= 0;

e382:    b146 - b147 <= 0;

e383:    b148 - b149 <= 0;

e384:    b150 - b151 <= 0;

e385:    b152 - b153 <= 0;

e386:    b154 - b155 <= 0;

e387:    b156 - b157 <= 0;

e388:    b158 - b159 <= 0;

e389:    b160 - b161 <= 0;

e390:    b162 - b163 <= 0;

e391:    b164 - b165 <= 0;

e392:    b166 - b167 <= 0;

e393:    b168 - b169 <= 0;

e394:    b170 - b171 <= 0;

e395:    b172 - b173 <= 0;

e396:    b174 - b175 <= 0;

e397:    b176 - b177 <= 0;

e398:    b178 - b179 <= 0;

e399:    b180 - b181 <= 0;

e400:    b182 - b183 <= 0;

e401:    b184 - b185 <= 0;

e402:    b186 - b187 <= 0;

e403:    b188 - b189 <= 0;

e404:    b190 - b191 <= 0;

e405:    b192 - b193 <= 0;

e406:    b194 - b195 <= 0;

e407:    b196 - b197 <= 0;

e408:    b198 - b199 <= 0;

e409:    b200 - b201 <= 0;

e410:    b202 + b203 <= 1;

e411:    b202 + b203 <= 1;

e412:    b204 + b205 <= 1;

e413:    b204 + b205 <= 1;

e414:    b206 + b207 <= 1;

e415:    b206 + b207 <= 1;

e416:    b208 + b209 <= 1;

e417:    b208 + b209 <= 1;

e418:    b210 + b211 <= 1;

e419:    b210 + b211 <= 1;

e420:    b212 + b213 <= 1;

e421:    b212 + b213 <= 1;

e422:    b214 + b215 <= 1;

e423:    b214 + b215 <= 1;

e424:    b216 + b217 <= 1;

e425:    b216 + b217 <= 1;

e426:    b218 + b219 <= 1;

e427:    b218 + b219 <= 1;

e428:    b220 + b221 <= 1;

e429:    b220 + b221 <= 1;

e430:    b222 + b223 <= 1;

e431:    b222 + b223 <= 1;

e432:    b224 + b225 <= 1;

e433:    b224 + b225 <= 1;

e434:    b226 + b227 <= 1;

e435:    b226 + b227 <= 1;

e436:    b228 + b229 <= 1;

e437:    b228 + b229 <= 1;

e438:    b230 + b231 <= 1;

e439:    b230 + b231 <= 1;

e440:    b232 + b233 <= 1;

e441:    b232 + b233 <= 1;

e442:    b234 + b235 <= 1;

e443:    b234 + b235 <= 1;

e444:    b236 + b237 <= 1;

e445:    b236 + b237 <= 1;

e446:    b238 + b239 <= 1;

e447:    b238 + b239 <= 1;

e448:    b240 + b241 <= 1;

e449:    b240 + b241 <= 1;

e450:    b242 + b243 <= 1;

e451:    b242 + b243 <= 1;

e452:    b244 + b245 <= 1;

e453:    b244 + b245 <= 1;

e454:    b246 + b247 <= 1;

e455:    b246 + b247 <= 1;

e456:    b248 + b249 <= 1;

e457:    b248 + b249 <= 1;

e458:    b250 + b251 <= 1;

e459:    b250 + b251 <= 1;

e460:    b252 + b253 <= 1;

e461:    b252 + b253 <= 1;

e462:    b254 + b255 <= 1;

e463:    b254 + b255 <= 1;

e464:    b256 + b257 <= 1;

e465:    b256 + b257 <= 1;

e466:    b258 + b259 <= 1;

e467:    b258 + b259 <= 1;

e468:    b260 + b261 <= 1;

e469:    b260 + b261 <= 1;

e470:    b142 - b202 <= 0;

e471:  - b142 + b143 - b203 <= 0;

e472:    b144 - b204 <= 0;

e473:  - b144 + b145 - b205 <= 0;

e474:    b146 - b206 <= 0;

e475:  - b146 + b147 - b207 <= 0;

e476:    b148 - b208 <= 0;

e477:  - b148 + b149 - b209 <= 0;

e478:    b150 - b210 <= 0;

e479:  - b150 + b151 - b211 <= 0;

e480:    b152 - b212 <= 0;

e481:  - b152 + b153 - b213 <= 0;

e482:    b154 - b214 <= 0;

e483:  - b154 + b155 - b215 <= 0;

e484:    b156 - b216 <= 0;

e485:  - b156 + b157 - b217 <= 0;

e486:    b158 - b218 <= 0;

e487:  - b158 + b159 - b219 <= 0;

e488:    b160 - b220 <= 0;

e489:  - b160 + b161 - b221 <= 0;

e490:    b162 - b222 <= 0;

e491:  - b162 + b163 - b223 <= 0;

e492:    b164 - b224 <= 0;

e493:  - b164 + b165 - b225 <= 0;

e494:    b166 - b226 <= 0;

e495:  - b166 + b167 - b227 <= 0;

e496:    b168 - b228 <= 0;

e497:  - b168 + b169 - b229 <= 0;

e498:    b170 - b230 <= 0;

e499:  - b170 + b171 - b231 <= 0;

e500:    b172 - b232 <= 0;

e501:  - b172 + b173 - b233 <= 0;

e502:    b174 - b234 <= 0;

e503:  - b174 + b175 - b235 <= 0;

e504:    b176 - b236 <= 0;

e505:  - b176 + b177 - b237 <= 0;

e506:    b178 - b238 <= 0;

e507:  - b178 + b179 - b239 <= 0;

e508:    b180 - b240 <= 0;

e509:  - b180 + b181 - b241 <= 0;

e510:    b182 - b242 <= 0;

e511:  - b182 + b183 - b243 <= 0;

e512:    b184 - b244 <= 0;

e513:  - b184 + b185 - b245 <= 0;

e514:    b186 - b246 <= 0;

e515:  - b186 + b187 - b247 <= 0;

e516:    b188 - b248 <= 0;

e517:  - b188 + b189 - b249 <= 0;

e518:    b190 - b250 <= 0;

e519:  - b190 + b191 - b251 <= 0;

e520:    b192 - b252 <= 0;

e521:  - b192 + b193 - b253 <= 0;

e522:    b194 - b254 <= 0;

e523:  - b194 + b195 - b255 <= 0;

e524:    b196 - b256 <= 0;

e525:  - b196 + b197 - b257 <= 0;

e526:    b198 - b258 <= 0;

e527:  - b198 + b199 - b259 <= 0;

e528:    b200 - b260 <= 0;

e529:  - b200 + b201 - b261 <= 0;

e530:    b142 + b144 = 1;

e531:    b143 + b145 = 1;

e532:  - b146 + b152 + b154 >= 0;

e533:  - b147 + b153 + b155 >= 0;

e534:  - b152 + b164 >= 0;

e535:  - b153 + b165 >= 0;

e536:  - b154 + b166 >= 0;

e537:  - b155 + b167 >= 0;

e538:  - b148 + b156 >= 0;

e539:  - b149 + b157 >= 0;

e540:  - b156 + b168 + b170 >= 0;

e541:  - b157 + b169 + b171 >= 0;

e542:  - b150 + b158 + b160 + b162 >= 0;

e543:  - b151 + b159 + b161 + b163 >= 0;

e544:  - b158 + b170 >= 0;

e545:  - b159 + b171 >= 0;

e546:  - b160 + b172 + b174 >= 0;

e547:  - b161 + b173 + b175 >= 0;

e548:  - b162 + b176 + b178 + b180 >= 0;

e549:  - b163 + b177 + b179 + b181 >= 0;

e550:    b142 + b144 - b146 >= 0;

e551:    b143 + b145 - b147 >= 0;

e552:    b142 + b144 - b148 >= 0;

e553:    b143 + b145 - b149 >= 0;

e554:    b142 + b144 - b150 >= 0;

e555:    b143 + b145 - b151 >= 0;

e556:    b146 - b152 >= 0;

e557:    b147 - b153 >= 0;

e558:    b146 - b154 >= 0;

e559:    b147 - b155 >= 0;

e560:    b148 - b156 >= 0;

e561:    b149 - b157 >= 0;

e562:    b150 - b158 >= 0;

e563:    b151 - b159 >= 0;

e564:    b150 - b160 >= 0;

e565:    b151 - b161 >= 0;

e566:    b150 - b162 >= 0;

e567:    b151 - b163 >= 0;

e568:    b152 - b164 >= 0;

e569:    b153 - b165 >= 0;

e570:    b154 - b166 >= 0;

e571:    b155 - b167 >= 0;

e572:    b156 - b168 >= 0;

e573:    b157 - b169 >= 0;

e574:    b156 - b170 >= 0;

e575:    b157 - b171 >= 0;

e576:    b160 - b172 >= 0;

e577:    b161 - b173 >= 0;

e578:    b160 - b174 >= 0;

e579:    b161 - b175 >= 0;

e580:    b162 - b176 >= 0;

e581:    b163 - b177 >= 0;

e582:    b162 - b178 >= 0;

e583:    b163 - b179 >= 0;

e584:    b162 - b180 >= 0;

e585:    b163 - b181 >= 0;

e586:  - b180 + b182 + b184 >= 0;

e587:  - b181 + b183 + b185 >= 0;

e588:  - b186 + b192 + b194 >= 0;

e589:  - b187 + b193 + b195 >= 0;

e590:  - b188 + b196 >= 0;

e591:  - b189 + b197 >= 0;

e592:    b180 - b182 >= 0;

e593:    b181 - b183 >= 0;

e594:    b180 - b184 >= 0;

e595:    b181 - b185 >= 0;

e596:    b186 - b192 >= 0;

e597:    b187 - b193 >= 0;

e598:    b186 - b194 >= 0;

e599:    b187 - b195 >= 0;

e600:    b188 - b196 >= 0;

e601:    b189 - b197 >= 0;

e602:    b190 - b198 >= 0;

e603:    b191 - b199 >= 0;

e604:    b190 - b200 >= 0;

e605:    b191 - b201 >= 0;