#  MINLP written by GAMS Convert at 01/12/18 13:42:14
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        426       86      129      211        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        251      157       94        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1131     1111       20        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0;
var x3 >= 0;
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;
var x25 >= 0;
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;
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 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, <= 1;
var b113 binary >= 0, <= 1;
var b114 binary >= 0, <= 1;
var b115 binary >= 0, <= 1;
var b116 binary >= 0, <= 1;
var b117 binary >= 0, <= 1;
var b118 binary >= 0, <= 1;
var b119 binary >= 0, <= 1;
var b120 binary >= 0, <= 1;
var b121 binary >= 0, <= 1;
var b122 binary >= 0, <= 1;
var b123 binary >= 0, <= 1;
var b124 binary >= 0, <= 1;
var b125 binary >= 0, <= 1;
var b126 binary >= 0, <= 1;
var b127 binary >= 0, <= 1;
var b128 binary >= 0, <= 1;
var b129 binary >= 0, <= 1;
var b130 binary >= 0, <= 1;
var b131 binary >= 0, <= 1;
var b132 binary >= 0, <= 1;
var b133 binary >= 0, <= 1;
var b134 binary >= 0, <= 1;
var b135 binary >= 0, <= 1;
var b136 binary >= 0, <= 1;
var b137 binary >= 0, <= 1;
var b138 binary >= 0, <= 1;
var b139 binary >= 0, <= 1;
var b140 binary >= 0, <= 1;
var b141 binary >= 0, <= 1;
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 x152 >= 0, <= 40;
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, <= 30;
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, <= 20;
var x181 >= 0, <= 20;
var x182 >= 0;
var x183 >= 0;
var x184 >= 0;
var x185 >= 0;
var x186 >= 0;
var x187 >= 0;
var x188 >= 0;
var x189 >= 0;
var x190 >= 0;
var x191 >= 0;
var x192 >= 0;
var x193 >= 0;
var x194 >= 0;
var x195 >= 0;
var x196 >= 0;
var x197 >= 0;
var x198 >= 0;
var x199 >= 0;
var x200 >= 0;
var x201 >= 0;
var x202 >= 0;
var x203 >= 0;
var x204 >= 0;
var x205 >= 0;
var x206 >= 0;
var x207 >= 0;
var x208 >= 0, <= 30;
var x209 >= 0;
var x210 >= 0;
var x211 >= 0;
var x212 >= 0;
var x213 >= 0;
var x214 >= 0;
var x215 >= 0;
var x216 >= 0;
var x217 >= 0;
var x218 >= 0;
var x219 >= 0;
var x220 >= 0;
var x221 >= 0;
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;

maximize obj:  - 10*x2 - 15*x7 - 18*x11 - 19*x23 + 35*x27 + 28*x29 - 16*x30
     + 2*x33 + 3*x34 + 5*x35 + 4*x36 - 6*b89 - 40*b90 - 46*b91 - 7*b93 - 30*b94
     - 37*b95 - 7*b97 - 15*b98 - 22*b99 - 11*b101 - 13*b102 - 24*b103 - 10*b105
     - 13*b106 - 23*b107 - 9*b109 - 30*b110 - 39*b111 - 8*b113 - 20*b114
     - 28*b115 - 8*b117 - 15*b118 - 23*b119 - x152 + 5*x158 - 2*x163 - 10*x180
     - 5*x181 + 40*x188 + 15*x189 + 10*x190 + 30*x191 + 35*x192 + 20*x193
     + 25*x194 + 15*x195 + 30*x203 - x208 + 80*x216 + 285*x217 + 290*x218
     + 280*x219 + 290*x220 + 350*x221 - 5*b222 - 8*b223 - 6*b224 - 10*b225
     - 6*b226 - 7*b227 - 4*b228 - 5*b229 - 2*b230 - 4*b231 - 3*b232 - 7*b233
     - 3*b234 - 2*b235 - 4*b236 - 2*b237 - 3*b238 - 5*b239 - 2*b240 - b241
     - 2*b242 - 9*b243 - 5*b244 - 2*b245 - 10*b246 - 4*b247 - 7*b248 - 4*b249
     - 2*b250 - 8*b251;

subject to

e2:    x2 - 0.2*x37 = 0;

e3:    x3 - 0.2*x38 = 0;

e4:    x4 - 0.2*x39 = 0;

e5:    x5 - 0.2*x40 = 0;

e6:    x6 - 0.2*x41 = 0;

e7:    x7 - 0.5*x42 = 0;

e8:    x8 - 0.5*x43 = 0;

e9:    x9 - 0.7*x44 = 0;

e10:    x10 - 0.7*x45 = 0;

e11:    x11 - 1.2*x46 = 0;

e12:    x12 - 1.2*x47 = 0;

e13:    x13 - 0.5*x48 = 0;

e14:    x14 - 0.7*x49 = 0;

e15:    x15 - 1.2*x50 = 0;

e16:    x16 - 1.2*x51 = 0;

e17:    x17 - 1.2*x52 = 0;

e18:    x18 - 1.2*x53 = 0;

e19:    x19 - 0.3*x54 = 0;

e20:    x20 - 0.9*x55 = 0;

e21:    x21 - 0.3*x56 = 0;

e22:    x22 - 0.9*x57 = 0;

e23:    x23 - 0.4*x58 = 0;

e24:    x24 - 0.4*x59 = 0;

e25:    x25 - 0.4*x60 = 0;

e26:    x26 - 1.6*x61 = 0;

e27:    x27 - 1.6*x62 = 0;

e28:    x28 - 1.1*x63 = 0;

e29:    x29 - 1.1*x64 = 0;

e30:    x30 - 0.7*x65 = 0;

e31:    x31 - 0.7*x66 = 0;

e32:    x32 - 0.7*x67 = 0;

e33:    x33 - 0.2*x68 = 0;

e34:    x34 - 0.7*x69 = 0;

e35:    x35 - 0.3*x70 = 0;

e36:    x36 - 0.9*x71 = 0;

e37:    x27 >= 0.4;

e38:    x29 >= 0.3;

e39:    x33 >= 0.2;

e40:    x34 >= 0.5;

e41:    x35 >= 0.2;

e42:    x36 >= 0.3;

e43:    x2 <= 35;

e44:    x7 <= 36;

e45:    x11 <= 25;

e46:    x23 <= 24;

e47:    x30 <= 30;

e48:    x2 - x3 - x4 = 0;

e49:    x5 - x6 = 0;

e50:    x7 - x8 + x13 = 0;

e51:    x9 - x10 + x14 = 0;

e52:    x11 - x12 - x15 = 0;

e53:    x16 - x17 - x18 = 0;

e54:    x19 - x21 = 0;

e55:    x20 - x22 = 0;

e56:    x23 - x24 - x25 = 0;

e57:    x26 - x27 = 0;

e58:    x28 - x29 = 0;

e59:    x30 - x31 = 0;

e60:    x3 - x5 - x72 = 0;

e61:    x4 + x8 - x9 - x73 = 0;

e62:    x12 - x13 - x14 - x74 = 0;

e63:    x15 - x16 - x75 = 0;

e64:    x18 - x19 - x20 - x76 = 0;

e65:    x17 + x24 - x26 - x77 = 0;

e66:    x25 - x28 + x32 - x78 = 0;

e67:    x31 - x32 - x79 = 0;

e68:    x39 - x43 <= 0;

e69:    x52 - x59 <= 0;

e70:    x60 - x67 <= 0;

e71:  - 0.8*x38 + x40 + 148.75*b88 <= 148.75;

e72:  - 0.85*x38 + x40 + 148.75*b89 <= 148.75;

e73:  - 0.8*x38 + x40 + 148.75*b90 <= 148.75;

e74:  - 0.85*x38 + x40 + 148.75*b91 <= 148.75;

e75:  - 0.8*x38 + x40 - 148.75*b88 >= -148.75;

e76:  - 0.85*x38 + x40 - 148.75*b89 >= -148.75;

e77:  - 0.8*x38 + x40 - 148.75*b90 >= -148.75;

e78:  - 0.85*x38 + x40 - 148.75*b91 >= -148.75;

e79:  - 0.9*x39 + x44 + 254.045833333333*b92 <= 254.045833333333;

e80:  - 0.95*x39 + x44 + 254.045833333333*b93 <= 254.045833333333;

e81:  - 0.9*x39 + x44 + 254.045833333333*b94 <= 254.045833333333;

e82:  - 0.95*x39 + x44 + 254.045833333333*b95 <= 254.045833333333;

e83:  - 0.9*x39 + x44 - 166.25*b92 >= -166.25;

e84:  - 0.95*x39 + x44 - 166.25*b93 >= -166.25;

e85:  - 0.9*x39 + x44 - 166.25*b94 >= -166.25;

e86:  - 0.95*x39 + x44 - 166.25*b95 >= -166.25;

e87:  - 0.85*x47 + x48 + 20.4166666666667*b96 <= 20.4166666666667;

e88:  - 0.98*x47 + x48 + 20.4166666666667*b97 <= 20.4166666666667;

e89:  - 0.85*x47 + x48 + 20.4166666666667*b98 <= 20.4166666666667;

e90:  - 0.98*x47 + x48 + 20.4166666666667*b99 <= 20.4166666666667;

e91:  - 0.85*x47 + x49 + 20.4166666666667*b96 <= 20.4166666666667;

e92:  - 0.98*x47 + x49 + 20.4166666666667*b97 <= 20.4166666666667;

e93:  - 0.85*x47 + x49 + 20.4166666666667*b98 <= 20.4166666666667;

e94:  - 0.98*x47 + x49 + 20.4166666666667*b99 <= 20.4166666666667;

e95:  - 0.85*x47 + x48 - 20.4166666666667*b96 >= -20.4166666666667;

e96:  - 0.98*x47 + x48 - 20.4166666666667*b97 >= -20.4166666666667;

e97:  - 0.85*x47 + x48 - 20.4166666666667*b98 >= -20.4166666666667;

e98:  - 0.98*x47 + x48 - 20.4166666666667*b99 >= -20.4166666666667;

e99:  - 0.85*x47 + x49 - 20.4166666666667*b96 >= -20.4166666666667;

e100:  - 0.98*x47 + x49 - 20.4166666666667*b97 >= -20.4166666666667;

e101:  - 0.85*x47 + x49 - 20.4166666666667*b98 >= -20.4166666666667;

e102:  - 0.98*x47 + x49 - 20.4166666666667*b99 >= -20.4166666666667;

e103:  - 0.85*x50 + x51 + 18.75*b100 <= 18.75;

e104:  - 0.9*x50 + x51 + 18.75*b101 <= 18.75;

e105:  - 0.85*x50 + x51 + 18.75*b102 <= 18.75;

e106:  - 0.9*x50 + x51 + 18.75*b103 <= 18.75;

e107:  - 0.85*x50 + x51 - 18.75*b100 >= -18.75;

e108:  - 0.9*x50 + x51 - 18.75*b101 >= -18.75;

e109:  - 0.85*x50 + x51 - 18.75*b102 >= -18.75;

e110:  - 0.9*x50 + x51 - 18.75*b103 >= -18.75;

e111:  - 0.75*x53 + x54 + 17.8125*b104 <= 17.8125;

e112:  - 0.95*x53 + x54 + 17.8125*b105 <= 17.8125;

e113:  - 0.9*x53 + x54 + 17.8125*b106 <= 17.8125;

e114:  - 0.95*x53 + x54 + 17.8125*b107 <= 17.8125;

e115:  - 0.75*x53 + x55 + 17.8125*b104 <= 17.8125;

e116:  - 0.95*x53 + x55 + 17.8125*b105 <= 17.8125;

e117:  - 0.9*x53 + x55 + 17.8125*b106 <= 17.8125;

e118:  - 0.95*x53 + x55 + 17.8125*b107 <= 17.8125;

e119:  - 0.75*x53 + x54 - 17.8125*b104 >= -17.8125;

e120:  - 0.95*x53 + x54 - 17.8125*b105 >= -17.8125;

e121:  - 0.9*x53 + x54 - 17.8125*b106 >= -17.8125;

e122:  - 0.95*x53 + x54 - 17.8125*b107 >= -17.8125;

e123:  - 0.75*x53 + x55 - 17.8125*b104 >= -17.8125;

e124:  - 0.95*x53 + x55 - 17.8125*b105 >= -17.8125;

e125:  - 0.9*x53 + x55 - 17.8125*b106 >= -17.8125;

e126:  - 0.95*x53 + x55 - 17.8125*b107 >= -17.8125;

e127:  - 0.8*x52 + x61 + 66.9375*b108 <= 66.9375;

e128:  - 0.85*x52 + x61 + 66.9375*b109 <= 66.9375;

e129:  - 0.8*x52 + x61 + 66.9375*b110 <= 66.9375;

e130:  - 0.85*x52 + x61 + 66.9375*b111 <= 66.9375;

e131:  - 0.8*x52 + x61 - 15.9375*b108 >= -15.9375;

e132:  - 0.85*x52 + x61 - 15.9375*b109 >= -15.9375;

e133:  - 0.8*x52 + x61 - 15.9375*b110 >= -15.9375;

e134:  - 0.85*x52 + x61 - 15.9375*b111 >= -15.9375;

e135:  - 0.85*x60 + x63 + 94.4571428571429*b112 <= 94.4571428571429;

e136:  - 0.95*x60 + x63 + 94.4571428571429*b113 <= 94.4571428571429;

e137:  - 0.85*x60 + x63 + 94.4571428571429*b114 <= 94.4571428571429;

e138:  - 0.95*x60 + x63 + 94.4571428571429*b115 <= 94.4571428571429;

e139:  - 0.85*x60 + x63 - 57*b112 >= -57;

e140:  - 0.95*x60 + x63 - 57*b113 >= -57;

e141:  - 0.85*x60 + x63 - 57*b114 >= -57;

e142:  - 0.95*x60 + x63 - 57*b115 >= -57;

e143:  - 0.8*x66 + x67 + 39.4285714285714*b116 <= 39.4285714285714;

e144:  - 0.92*x66 + x67 + 39.4285714285714*b117 <= 39.4285714285714;

e145:  - 0.8*x66 + x67 + 39.4285714285714*b118 <= 39.4285714285714;

e146:  - 0.92*x66 + x67 + 39.4285714285714*b119 <= 39.4285714285714;

e147:  - 0.8*x66 + x67 - 39.4285714285714*b116 >= -39.4285714285714;

e148:  - 0.92*x66 + x67 - 39.4285714285714*b117 >= -39.4285714285714;

e149:  - 0.8*x66 + x67 - 39.4285714285714*b118 >= -39.4285714285714;

e150:  - 0.92*x66 + x67 - 39.4285714285714*b119 >= -39.4285714285714;

e151:    x3 + 25*b88 <= 35;

e152:    x3 + 25*b89 <= 35;

e153:    x3 - 15*b90 <= 35;

e154:    x3 - 15*b91 <= 35;

e155:    x4 + x8 + 56*b92 <= 96;

e156:    x4 + x8 + 56*b93 <= 96;

e157:    x4 + x8 + 36*b94 <= 96;

e158:    x4 + x8 + 36*b95 <= 96;

e159:    x12 + 10*b96 <= 25;

e160:    x12 + 10*b97 <= 25;

e161:    x12 <= 25;

e162:    x12 <= 25;

e163:    x15 + 10*b100 <= 25;

e164:    x15 + 10*b101 <= 25;

e165:    x15 + 5*b102 <= 25;

e166:    x15 + 5*b103 <= 25;

e167:    x18 + 15*b104 <= 25;

e168:    x18 + 15*b105 <= 25;

e169:    x18 + 5*b106 <= 25;

e170:    x18 + 5*b107 <= 25;

e171:    x17 + x24 + 29*b108 <= 49;

e172:    x17 + x24 + 29*b109 <= 49;

e173:    x17 + x24 - 6*b110 <= 49;

e174:    x17 + x24 - 6*b111 <= 49;

e175:    x25 + x32 + 29*b112 <= 54;

e176:    x25 + x32 + 29*b113 <= 54;

e177:    x25 + x32 + 4*b114 <= 54;

e178:    x25 + x32 + 4*b115 <= 54;

e179:    x31 + 15*b116 <= 30;

e180:    x31 + 15*b117 <= 30;

e181:    x31 - 5*b118 <= 30;

e182:    x31 - 5*b119 <= 30;

e183:    x80 + 46*b120 <= 46;

e184:    x80 + 40*b121 <= 46;

e185:    x80 + 6*b122 <= 46;

e186:    x80 <= 46;

e187:    x81 + 37*b124 <= 37;

e188:    x81 + 30*b125 <= 37;

e189:    x81 + 7*b126 <= 37;

e190:    x81 <= 37;

e191:    x82 + 22*b128 <= 22;

e192:    x82 + 15*b129 <= 22;

e193:    x82 + 7*b130 <= 22;

e194:    x82 <= 22;

e195:    x83 + 24*b132 <= 24;

e196:    x83 + 13*b133 <= 24;

e197:    x83 + 11*b134 <= 24;

e198:    x83 <= 24;

e199:    x84 + 23*b136 <= 23;

e200:    x84 + 13*b137 <= 23;

e201:    x84 + 10*b138 <= 23;

e202:    x84 <= 23;

e203:    x85 + 39*b140 <= 39;

e204:    x85 + 30*b141 <= 39;

e205:    x85 + 9*b142 <= 39;

e206:    x85 <= 39;

e207:    x86 + 28*b144 <= 28;

e208:    x86 + 20*b145 <= 28;

e209:    x86 + 8*b146 <= 28;

e210:    x86 <= 28;

e211:    x87 + 23*b148 <= 23;

e212:    x87 + 15*b149 <= 23;

e213:    x87 + 8*b150 <= 23;

e214:    x87 <= 23;

e215:    x80 >= 0;

e216:    x80 - 6*b121 >= 0;

e217:    x80 - 40*b122 >= 0;

e218:    x80 - 46*b123 >= 0;

e219:    x81 >= 0;

e220:    x81 - 7*b125 >= 0;

e221:    x81 - 30*b126 >= 0;

e222:    x81 - 37*b127 >= 0;

e223:    x82 >= 0;

e224:    x82 - 7*b129 >= 0;

e225:    x82 - 15*b130 >= 0;

e226:    x82 - 22*b131 >= 0;

e227:    x83 >= 0;

e228:    x83 - 11*b133 >= 0;

e229:    x83 - 13*b134 >= 0;

e230:    x83 - 24*b135 >= 0;

e231:    x84 >= 0;

e232:    x84 - 10*b137 >= 0;

e233:    x84 - 13*b138 >= 0;

e234:    x84 - 23*b139 >= 0;

e235:    x85 >= 0;

e236:    x85 - 9*b141 >= 0;

e237:    x85 - 30*b142 >= 0;

e238:    x85 - 39*b143 >= 0;

e239:    x86 >= 0;

e240:    x86 - 8*b145 >= 0;

e241:    x86 - 20*b146 >= 0;

e242:    x86 - 28*b147 >= 0;

e243:    x87 >= 0;

e244:    x87 - 8*b149 >= 0;

e245:    x87 - 15*b150 >= 0;

e246:    x87 - 23*b151 >= 0;

e247:    10*x2 + 15*x7 + 18*x11 + 19*x23 + 16*x30 + x80 + x81 + x82 + x83 + x84
       + x85 + x86 + x87 <= 4000;

e248:    b88 + b89 + b90 + b91 = 1;

e249:    b92 + b93 + b94 + b95 = 1;

e250:    b96 + b97 + b98 + b99 = 1;

e251:    b100 + b101 + b102 + b103 = 1;

e252:    b104 + b105 + b106 + b107 = 1;

e253:    b108 + b109 + b110 + b111 = 1;

e254:    b112 + b113 + b114 + b115 = 1;

e255:    b116 + b117 + b118 + b119 = 1;

e256:    x6 - x33 - x152 = 0;

e257:    x10 - x34 - x163 = 0;

e258:    x21 - x35 - x180 = 0;

e259:    x22 - x36 - x181 = 0;

e260:    x152 - x153 - x154 = 0;

e261:  - x155 - x156 + x157 = 0;

e262:    x157 - x158 - x159 = 0;

e263:    x159 - x160 - x161 - x162 = 0;

e264:    x164 - x167 - x168 = 0;

e265:    x166 - x169 - x170 - x171 = 0;

e266:    x174 - x178 - x179 = 0;

e267:  - x175 - x181 + x182 = 0;

e268:    x176 - x183 - x184 = 0;

e269:    x177 - x185 - x186 - x187 = 0;

e270:    x196 - x197 = 0;

e271:    x197 - x198 - x199 = 0;

e272:  - x200 - x201 + x202 = 0;

e273:    x202 - x203 - x204 = 0;

e274:    x204 - x205 - x206 - x207 = 0;

e275:    x209 - x212 - x213 = 0;

e276:    x211 - x214 - x215 - x216 = 0;

e277: -log(1 + x153) + x155 + b222 <= 1;

e278:    x153 - 40*b222 <= 0;

e279:    x155 - 3.71357206670431*b222 <= 0;

e280: -1.2*log(1 + x154) + x156 + b223 <= 1;

e281:    x154 - 40*b223 <= 0;

e282:    x156 - 4.45628648004517*b223 <= 0;

e283:  - 0.75*x160 + x164 + b224 <= 1;

e284:  - 0.75*x160 + x164 - b224 >= -1;

e285:    x160 - 4.45628648004517*b224 <= 0;

e286:    x164 - 3.34221486003388*b224 <= 0;

e287: -1.5*log(1 + x161) + x165 + b225 <= 1;

e288:    x161 - 4.45628648004517*b225 <= 0;

e289:    x165 - 2.54515263975353*b225 <= 0;

e290:  - x162 + x166 + b226 <= 1;

e291:  - x162 + x166 - b226 >= -1;

e292:  - 0.5*x163 + x166 + b226 <= 1;

e293:  - 0.5*x163 + x166 - b226 >= -1;

e294:    x162 - 4.45628648004517*b226 <= 0;

e295:    x163 - 30*b226 <= 0;

e296:    x166 - 15*b226 <= 0;

e297: -1.25*log(1 + x167) + x172 + b227 <= 1;

e298:    x167 - 3.34221486003388*b227 <= 0;

e299:    x172 - 1.83548069293539*b227 <= 0;

e300: -0.9*log(1 + x168) + x173 + b228 <= 1;

e301:    x168 - 3.34221486003388*b228 <= 0;

e302:    x173 - 1.32154609891348*b228 <= 0;

e303: -log(1 + x165) + x174 + b229 <= 1;

e304:    x165 - 2.54515263975353*b229 <= 0;

e305:    x174 - 1.26558121681553*b229 <= 0;

e306:  - 0.9*x169 + x175 + b230 <= 1;

e307:  - 0.9*x169 + x175 - b230 >= -1;

e308:    x169 - 15*b230 <= 0;

e309:    x175 - 13.5*b230 <= 0;

e310:  - 0.6*x170 + x176 + b231 <= 1;

e311:  - 0.6*x170 + x176 - b231 >= -1;

e312:    x170 - 15*b231 <= 0;

e313:    x176 - 9*b231 <= 0;

e314: -1.1*log(1 + x171) + x177 + b232 <= 1;

e315:    x171 - 15*b232 <= 0;

e316:    x177 - 3.04984759446376*b232 <= 0;

e317:  - 0.9*x172 + x188 + b233 <= 1;

e318:  - 0.9*x172 + x188 - b233 >= -1;

e319:  - x180 + x188 + b233 <= 1;

e320:  - x180 + x188 - b233 >= -1;

e321:    x172 - 1.83548069293539*b233 <= 0;

e322:    x180 - 20*b233 <= 0;

e323:    x188 - 20*b233 <= 0;

e324: -log(1 + x173) + x189 + b234 <= 1;

e325:    x173 - 1.32154609891348*b234 <= 0;

e326:    x189 - 0.842233385663186*b234 <= 0;

e327: -0.7*log(1 + x178) + x190 + b235 <= 1;

e328:    x178 - 1.26558121681553*b235 <= 0;

e329:    x190 - 0.572481933717686*b235 <= 0;

e330: -0.65*log(1 + x179) + x191 + b236 <= 1;

e331: -0.65*log(1 + x182) + x191 + b236 <= 1;

e332:    x179 - 1.26558121681553*b236 <= 0;

e333:    x182 - 33.5*b236 <= 0;

e334:    x191 - 2.30162356062425*b236 <= 0;

e335:  - x183 + x192 + b237 <= 1;

e336:  - x183 + x192 - b237 >= -1;

e337:    x183 - 9*b237 <= 0;

e338:    x192 - 9*b237 <= 0;

e339:  - x184 + x193 + b238 <= 1;

e340:  - x184 + x193 - b238 >= -1;

e341:    x184 - 9*b238 <= 0;

e342:    x193 - 9*b238 <= 0;

e343: -0.75*log(1 + x185) + x194 + b239 <= 1;

e344:    x185 - 3.04984759446376*b239 <= 0;

e345:    x194 - 1.04900943706034*b239 <= 0;

e346: -0.8*log(1 + x186) + x195 + b240 <= 1;

e347:    x186 - 3.04984759446376*b240 <= 0;

e348:    x195 - 1.11894339953103*b240 <= 0;

e349: -0.85*log(1 + x187) + x196 + b241 <= 1;

e350:    x187 - 3.04984759446376*b241 <= 0;

e351:    x196 - 1.18887736200171*b241 <= 0;

e352: -log(1 + x198) + x200 + b242 <= 1;

e353:    x198 - 1.18887736200171*b242 <= 0;

e354:    x200 - 0.78338879230327*b242 <= 0;

e355: -1.2*log(1 + x199) + x201 + b243 <= 1;

e356:    x199 - 1.18887736200171*b243 <= 0;

e357:    x201 - 0.940066550763924*b243 <= 0;

e358:  - 0.75*x205 + x209 + b244 <= 1;

e359:  - 0.75*x205 + x209 - b244 >= -1;

e360:    x205 - 0.940066550763924*b244 <= 0;

e361:    x209 - 0.705049913072943*b244 <= 0;

e362: -1.5*log(1 + x206) + x210 + b245 <= 1;

e363:    x206 - 0.940066550763924*b245 <= 0;

e364:    x210 - 0.994083415506506*b245 <= 0;

e365:  - x207 + x211 + b246 <= 1;

e366:  - x207 + x211 - b246 >= -1;

e367:  - 0.5*x208 + x211 + b246 <= 1;

e368:  - 0.5*x208 + x211 - b246 >= -1;

e369:    x207 - 0.940066550763924*b246 <= 0;

e370:    x208 - 30*b246 <= 0;

e371:    x211 - 15*b246 <= 0;

e372: -1.25*log(1 + x212) + x217 + b247 <= 1;

e373:    x212 - 0.705049913072943*b247 <= 0;

e374:    x217 - 0.666992981045719*b247 <= 0;

e375: -0.9*log(1 + x213) + x218 + b248 <= 1;

e376:    x213 - 0.705049913072943*b248 <= 0;

e377:    x218 - 0.480234946352917*b248 <= 0;

e378: -log(1 + x210) + x219 + b249 <= 1;

e379:    x210 - 0.994083415506506*b249 <= 0;

e380:    x219 - 0.690184503917672*b249 <= 0;

e381:  - 0.9*x214 + x220 + b250 <= 1;

e382:  - 0.9*x214 + x220 - b250 >= -1;

e383:    x214 - 15*b250 <= 0;

e384:    x220 - 13.5*b250 <= 0;

e385:  - 0.6*x215 + x221 + b251 <= 1;

e386:  - 0.6*x215 + x221 - b251 >= -1;

e387:    x215 - 15*b251 <= 0;

e388:    x221 - 9*b251 <= 0;

e389:    b222 + b223 = 1;

e390:  - b224 + b227 + b228 >= 0;

e391:  - b227 + b233 >= 0;

e392:  - b228 + b234 >= 0;

e393:  - b225 + b229 >= 0;

e394:  - b229 + b235 + b236 >= 0;

e395:  - b226 + b230 + b231 + b232 >= 0;

e396:  - b230 + b236 >= 0;

e397:  - b231 + b237 + b238 >= 0;

e398:  - b232 + b239 + b240 + b241 >= 0;

e399:    b222 + b223 - b224 >= 0;

e400:    b222 + b223 - b225 >= 0;

e401:    b222 + b223 - b226 >= 0;

e402:    b224 - b227 >= 0;

e403:    b224 - b228 >= 0;

e404:    b225 - b229 >= 0;

e405:    b226 - b230 >= 0;

e406:    b226 - b231 >= 0;

e407:    b226 - b232 >= 0;

e408:    b227 - b233 >= 0;

e409:    b228 - b234 >= 0;

e410:    b229 - b235 >= 0;

e411:    b229 - b236 >= 0;

e412:    b231 - b237 >= 0;

e413:    b231 - b238 >= 0;

e414:    b232 - b239 >= 0;

e415:    b232 - b240 >= 0;

e416:    b232 - b241 >= 0;

e417:  - b241 + b242 + b243 >= 0;

e418:  - b244 + b247 + b248 >= 0;

e419:  - b245 + b249 >= 0;

e420:    b241 - b242 >= 0;

e421:    b241 - b243 >= 0;

e422:    b244 - b247 >= 0;

e423:    b244 - b248 >= 0;

e424:    b245 - b249 >= 0;

e425:    b246 - b250 >= 0;

e426:    b246 - b251 >= 0;