#  MINLP written by GAMS Convert at 09/25/19 11:21:47
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        487      193       30      264        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        292      232       60        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1114     1060       54        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2;
var x3;
var x4;
var x5;
var x6;
var x7;
var x8;
var x9;
var x10;
var x11;
var x12;
var x13;
var x14;
var x15;
var x16;
var x17;
var x18;
var x19;
var x20;
var x21;
var x22;
var x23;
var x24;
var x25;
var x26;
var x27;
var x28;
var x29;
var x30;
var x31;
var x32 >= 0, <= 40;
var x33 >= 0, <= 40;
var x34 >= 0, <= 40;
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, <= 30;
var x66 >= 0, <= 30;
var x67 >= 0, <= 30;
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 >= 0;
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;
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 x222 >= 0;
var x223 >= 0;
var x224 >= 0;
var x225 >= 0;
var x226 >= 0;
var x227 >= 0;
var x228 >= 0;
var x229 >= 0;
var x230 >= 0;
var x231 >= 0;
var x232 >= 0;
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 b262 binary >= 0, <= 1;
var b263 binary >= 0, <= 1;
var b264 binary >= 0, <= 1;
var b265 binary >= 0, <= 1;
var b266 binary >= 0, <= 1;
var b267 binary >= 0, <= 1;
var b268 binary >= 0, <= 1;
var b269 binary >= 0, <= 1;
var b270 binary >= 0, <= 1;
var b271 binary >= 0, <= 1;
var b272 binary >= 0, <= 1;
var b273 binary >= 0, <= 1;
var b274 binary >= 0, <= 1;
var b275 binary >= 0, <= 1;
var b276 binary >= 0, <= 1;
var b277 binary >= 0, <= 1;
var b278 binary >= 0, <= 1;
var b279 binary >= 0, <= 1;
var b280 binary >= 0, <= 1;
var b281 binary >= 0, <= 1;
var b282 binary >= 0, <= 1;
var b283 binary >= 0, <= 1;
var b284 binary >= 0, <= 1;
var b285 binary >= 0, <= 1;
var b286 binary >= 0, <= 1;
var b287 binary >= 0, <= 1;
var b288 binary >= 0, <= 1;
var b289 binary >= 0, <= 1;
var b290 binary >= 0, <= 1;
var b291 binary >= 0, <= 1;
var b292 binary >= 0, <= 1;

maximize obj:  - x32 - x33 - x34 + 5*x50 + 10*x51 + 5*x52 - 2*x65 - x66 - 2*x67
     + 80*x89 + 90*x90 + 120*x91 + 285*x92 + 390*x93 + 350*x94 + 290*x95
     + 405*x96 + 190*x97 + 280*x98 + 400*x99 + 430*x100 + 290*x101 + 300*x102
     + 240*x103 + 350*x104 + 250*x105 + 300*x106 - 5*b263 - 4*b264 - 6*b265
     - 8*b266 - 7*b267 - 6*b268 - 6*b269 - 9*b270 - 4*b271 - 10*b272 - 9*b273
     - 5*b274 - 6*b275 - 10*b276 - 6*b277 - 7*b278 - 7*b279 - 4*b280 - 4*b281
     - 3*b282 - 2*b283 - 5*b284 - 6*b285 - 7*b286 - 2*b287 - 5*b288 - 2*b289
     - 4*b290 - 7*b291 - 4*b292;

subject to

e2:    x32 - x35 - x38 = 0;

e3:    x33 - x36 - x39 = 0;

e4:    x34 - x37 - x40 = 0;

e5:  - x41 - x44 + x47 = 0;

e6:  - x42 - x45 + x48 = 0;

e7:  - x43 - x46 + x49 = 0;

e8:    x47 - x50 - x53 = 0;

e9:    x48 - x51 - x54 = 0;

e10:    x49 - x52 - x55 = 0;

e11:    x53 - x56 - x59 - x62 = 0;

e12:    x54 - x57 - x60 - x63 = 0;

e13:    x55 - x58 - x61 - x64 = 0;

e14:    x68 - x77 - x80 = 0;

e15:    x69 - x78 - x81 = 0;

e16:    x70 - x79 - x82 = 0;

e17:    x74 - x83 - x86 - x89 = 0;

e18:    x75 - x84 - x87 - x90 = 0;

e19:    x76 - x85 - x88 - x91 = 0;

e20: (x119/(0.001 + 0.999*b233) - log(1 + x107/(0.001 + 0.999*b233)))*(0.001 + 
     0.999*b233) <= 0;

e21: (x120/(0.001 + 0.999*b234) - log(1 + x108/(0.001 + 0.999*b234)))*(0.001 + 
     0.999*b234) <= 0;

e22: (x121/(0.001 + 0.999*b235) - log(1 + x109/(0.001 + 0.999*b235)))*(0.001 + 
     0.999*b235) <= 0;

e23:    x110 = 0;

e24:    x111 = 0;

e25:    x112 = 0;

e26:    x122 = 0;

e27:    x123 = 0;

e28:    x124 = 0;

e29:    x35 - x107 - x110 = 0;

e30:    x36 - x108 - x111 = 0;

e31:    x37 - x109 - x112 = 0;

e32:    x41 - x119 - x122 = 0;

e33:    x42 - x120 - x123 = 0;

e34:    x43 - x121 - x124 = 0;

e35:    x107 - 40*b233 <= 0;

e36:    x108 - 40*b234 <= 0;

e37:    x109 - 40*b235 <= 0;

e38:    x110 + 40*b233 <= 40;

e39:    x111 + 40*b234 <= 40;

e40:    x112 + 40*b235 <= 40;

e41:    x119 - 3.71357206670431*b233 <= 0;

e42:    x120 - 3.71357206670431*b234 <= 0;

e43:    x121 - 3.71357206670431*b235 <= 0;

e44:    x122 + 3.71357206670431*b233 <= 3.71357206670431;

e45:    x123 + 3.71357206670431*b234 <= 3.71357206670431;

e46:    x124 + 3.71357206670431*b235 <= 3.71357206670431;

e47: (x125/(0.001 + 0.999*b236) - 1.2*log(1 + x113/(0.001 + 0.999*b236)))*(
     0.001 + 0.999*b236) <= 0;

e48: (x126/(0.001 + 0.999*b237) - 1.2*log(1 + x114/(0.001 + 0.999*b237)))*(
     0.001 + 0.999*b237) <= 0;

e49: (x127/(0.001 + 0.999*b238) - 1.2*log(1 + x115/(0.001 + 0.999*b238)))*(
     0.001 + 0.999*b238) <= 0;

e50:    x116 = 0;

e51:    x117 = 0;

e52:    x118 = 0;

e53:    x128 = 0;

e54:    x129 = 0;

e55:    x130 = 0;

e56:    x38 - x113 - x116 = 0;

e57:    x39 - x114 - x117 = 0;

e58:    x40 - x115 - x118 = 0;

e59:    x44 - x125 - x128 = 0;

e60:    x45 - x126 - x129 = 0;

e61:    x46 - x127 - x130 = 0;

e62:    x113 - 40*b236 <= 0;

e63:    x114 - 40*b237 <= 0;

e64:    x115 - 40*b238 <= 0;

e65:    x116 + 40*b236 <= 40;

e66:    x117 + 40*b237 <= 40;

e67:    x118 + 40*b238 <= 40;

e68:    x125 - 4.45628648004517*b236 <= 0;

e69:    x126 - 4.45628648004517*b237 <= 0;

e70:    x127 - 4.45628648004517*b238 <= 0;

e71:    x128 + 4.45628648004517*b236 <= 4.45628648004517;

e72:    x129 + 4.45628648004517*b237 <= 4.45628648004517;

e73:    x130 + 4.45628648004517*b238 <= 4.45628648004517;

e74:  - 0.75*x131 + x155 = 0;

e75:  - 0.75*x132 + x156 = 0;

e76:  - 0.75*x133 + x157 = 0;

e77:    x134 = 0;

e78:    x135 = 0;

e79:    x136 = 0;

e80:    x158 = 0;

e81:    x159 = 0;

e82:    x160 = 0;

e83:    x56 - x131 - x134 = 0;

e84:    x57 - x132 - x135 = 0;

e85:    x58 - x133 - x136 = 0;

e86:    x68 - x155 - x158 = 0;

e87:    x69 - x156 - x159 = 0;

e88:    x70 - x157 - x160 = 0;

e89:    x131 - 4.45628648004517*b239 <= 0;

e90:    x132 - 4.45628648004517*b240 <= 0;

e91:    x133 - 4.45628648004517*b241 <= 0;

e92:    x134 + 4.45628648004517*b239 <= 4.45628648004517;

e93:    x135 + 4.45628648004517*b240 <= 4.45628648004517;

e94:    x136 + 4.45628648004517*b241 <= 4.45628648004517;

e95:    x155 - 3.34221486003388*b239 <= 0;

e96:    x156 - 3.34221486003388*b240 <= 0;

e97:    x157 - 3.34221486003388*b241 <= 0;

e98:    x158 + 3.34221486003388*b239 <= 3.34221486003388;

e99:    x159 + 3.34221486003388*b240 <= 3.34221486003388;

e100:    x160 + 3.34221486003388*b241 <= 3.34221486003388;

e101: (x161/(0.001 + 0.999*b242) - 1.5*log(1 + x137/(0.001 + 0.999*b242)))*(
      0.001 + 0.999*b242) <= 0;

e102: (x162/(0.001 + 0.999*b243) - 1.5*log(1 + x138/(0.001 + 0.999*b243)))*(
      0.001 + 0.999*b243) <= 0;

e103: (x163/(0.001 + 0.999*b244) - 1.5*log(1 + x139/(0.001 + 0.999*b244)))*(
      0.001 + 0.999*b244) <= 0;

e104:    x140 = 0;

e105:    x141 = 0;

e106:    x142 = 0;

e107:    x167 = 0;

e108:    x168 = 0;

e109:    x169 = 0;

e110:    x59 - x137 - x140 = 0;

e111:    x60 - x138 - x141 = 0;

e112:    x61 - x139 - x142 = 0;

e113:    x71 - x161 - x167 = 0;

e114:    x72 - x162 - x168 = 0;

e115:    x73 - x163 - x169 = 0;

e116:    x137 - 4.45628648004517*b242 <= 0;

e117:    x138 - 4.45628648004517*b243 <= 0;

e118:    x139 - 4.45628648004517*b244 <= 0;

e119:    x140 + 4.45628648004517*b242 <= 4.45628648004517;

e120:    x141 + 4.45628648004517*b243 <= 4.45628648004517;

e121:    x142 + 4.45628648004517*b244 <= 4.45628648004517;

e122:    x161 - 2.54515263975353*b242 <= 0;

e123:    x162 - 2.54515263975353*b243 <= 0;

e124:    x163 - 2.54515263975353*b244 <= 0;

e125:    x167 + 2.54515263975353*b242 <= 2.54515263975353;

e126:    x168 + 2.54515263975353*b243 <= 2.54515263975353;

e127:    x169 + 2.54515263975353*b244 <= 2.54515263975353;

e128:  - x143 + x173 = 0;

e129:  - x144 + x174 = 0;

e130:  - x145 + x175 = 0;

e131:  - 0.5*x149 + x173 = 0;

e132:  - 0.5*x150 + x174 = 0;

e133:  - 0.5*x151 + x175 = 0;

e134:    x146 = 0;

e135:    x147 = 0;

e136:    x148 = 0;

e137:    x152 = 0;

e138:    x153 = 0;

e139:    x154 = 0;

e140:    x176 = 0;

e141:    x177 = 0;

e142:    x178 = 0;

e143:    x62 - x143 - x146 = 0;

e144:    x63 - x144 - x147 = 0;

e145:    x64 - x145 - x148 = 0;

e146:    x65 - x149 - x152 = 0;

e147:    x66 - x150 - x153 = 0;

e148:    x67 - x151 - x154 = 0;

e149:    x74 - x173 - x176 = 0;

e150:    x75 - x174 - x177 = 0;

e151:    x76 - x175 - x178 = 0;

e152:    x143 - 4.45628648004517*b245 <= 0;

e153:    x144 - 4.45628648004517*b246 <= 0;

e154:    x145 - 4.45628648004517*b247 <= 0;

e155:    x146 + 4.45628648004517*b245 <= 4.45628648004517;

e156:    x147 + 4.45628648004517*b246 <= 4.45628648004517;

e157:    x148 + 4.45628648004517*b247 <= 4.45628648004517;

e158:    x149 - 30*b245 <= 0;

e159:    x150 - 30*b246 <= 0;

e160:    x151 - 30*b247 <= 0;

e161:    x152 + 30*b245 <= 30;

e162:    x153 + 30*b246 <= 30;

e163:    x154 + 30*b247 <= 30;

e164:    x173 - 15*b245 <= 0;

e165:    x174 - 15*b246 <= 0;

e166:    x175 - 15*b247 <= 0;

e167:    x176 + 15*b245 <= 15;

e168:    x177 + 15*b246 <= 15;

e169:    x178 + 15*b247 <= 15;

e170: (x203/(0.001 + 0.999*b248) - 1.25*log(1 + x179/(0.001 + 0.999*b248)))*(
      0.001 + 0.999*b248) <= 0;

e171: (x204/(0.001 + 0.999*b249) - 1.25*log(1 + x180/(0.001 + 0.999*b249)))*(
      0.001 + 0.999*b249) <= 0;

e172: (x205/(0.001 + 0.999*b250) - 1.25*log(1 + x181/(0.001 + 0.999*b250)))*(
      0.001 + 0.999*b250) <= 0;

e173:    x182 = 0;

e174:    x183 = 0;

e175:    x184 = 0;

e176:    x206 = 0;

e177:    x207 = 0;

e178:    x208 = 0;

e179:    x77 - x179 - x182 = 0;

e180:    x78 - x180 - x183 = 0;

e181:    x79 - x181 - x184 = 0;

e182:    x92 - x203 - x206 = 0;

e183:    x93 - x204 - x207 = 0;

e184:    x94 - x205 - x208 = 0;

e185:    x179 - 3.34221486003388*b248 <= 0;

e186:    x180 - 3.34221486003388*b249 <= 0;

e187:    x181 - 3.34221486003388*b250 <= 0;

e188:    x182 + 3.34221486003388*b248 <= 3.34221486003388;

e189:    x183 + 3.34221486003388*b249 <= 3.34221486003388;

e190:    x184 + 3.34221486003388*b250 <= 3.34221486003388;

e191:    x203 - 1.83548069293539*b248 <= 0;

e192:    x204 - 1.83548069293539*b249 <= 0;

e193:    x205 - 1.83548069293539*b250 <= 0;

e194:    x206 + 1.83548069293539*b248 <= 1.83548069293539;

e195:    x207 + 1.83548069293539*b249 <= 1.83548069293539;

e196:    x208 + 1.83548069293539*b250 <= 1.83548069293539;

e197: (x209/(0.001 + 0.999*b251) - 0.9*log(1 + x185/(0.001 + 0.999*b251)))*(
      0.001 + 0.999*b251) <= 0;

e198: (x210/(0.001 + 0.999*b252) - 0.9*log(1 + x186/(0.001 + 0.999*b252)))*(
      0.001 + 0.999*b252) <= 0;

e199: (x211/(0.001 + 0.999*b253) - 0.9*log(1 + x187/(0.001 + 0.999*b253)))*(
      0.001 + 0.999*b253) <= 0;

e200:    x188 = 0;

e201:    x189 = 0;

e202:    x190 = 0;

e203:    x212 = 0;

e204:    x213 = 0;

e205:    x214 = 0;

e206:    x80 - x185 - x188 = 0;

e207:    x81 - x186 - x189 = 0;

e208:    x82 - x187 - x190 = 0;

e209:    x95 - x209 - x212 = 0;

e210:    x96 - x210 - x213 = 0;

e211:    x97 - x211 - x214 = 0;

e212:    x185 - 3.34221486003388*b251 <= 0;

e213:    x186 - 3.34221486003388*b252 <= 0;

e214:    x187 - 3.34221486003388*b253 <= 0;

e215:    x188 + 3.34221486003388*b251 <= 3.34221486003388;

e216:    x189 + 3.34221486003388*b252 <= 3.34221486003388;

e217:    x190 + 3.34221486003388*b253 <= 3.34221486003388;

e218:    x209 - 1.32154609891348*b251 <= 0;

e219:    x210 - 1.32154609891348*b252 <= 0;

e220:    x211 - 1.32154609891348*b253 <= 0;

e221:    x212 + 1.32154609891348*b251 <= 1.32154609891348;

e222:    x213 + 1.32154609891348*b252 <= 1.32154609891348;

e223:    x214 + 1.32154609891348*b253 <= 1.32154609891348;

e224: (x215/(0.001 + 0.999*b254) - log(1 + x164/(0.001 + 0.999*b254)))*(0.001
       + 0.999*b254) <= 0;

e225: (x216/(0.001 + 0.999*b255) - log(1 + x165/(0.001 + 0.999*b255)))*(0.001
       + 0.999*b255) <= 0;

e226: (x217/(0.001 + 0.999*b256) - log(1 + x166/(0.001 + 0.999*b256)))*(0.001
       + 0.999*b256) <= 0;

e227:    x170 = 0;

e228:    x171 = 0;

e229:    x172 = 0;

e230:    x218 = 0;

e231:    x219 = 0;

e232:    x220 = 0;

e233:    x71 - x164 - x170 = 0;

e234:    x72 - x165 - x171 = 0;

e235:    x73 - x166 - x172 = 0;

e236:    x98 - x215 - x218 = 0;

e237:    x99 - x216 - x219 = 0;

e238:    x100 - x217 - x220 = 0;

e239:    x164 - 2.54515263975353*b254 <= 0;

e240:    x165 - 2.54515263975353*b255 <= 0;

e241:    x166 - 2.54515263975353*b256 <= 0;

e242:    x170 + 2.54515263975353*b254 <= 2.54515263975353;

e243:    x171 + 2.54515263975353*b255 <= 2.54515263975353;

e244:    x172 + 2.54515263975353*b256 <= 2.54515263975353;

e245:    x215 - 1.26558121681553*b254 <= 0;

e246:    x216 - 1.26558121681553*b255 <= 0;

e247:    x217 - 1.26558121681553*b256 <= 0;

e248:    x218 + 1.26558121681553*b254 <= 1.26558121681553;

e249:    x219 + 1.26558121681553*b255 <= 1.26558121681553;

e250:    x220 + 1.26558121681553*b256 <= 1.26558121681553;

e251:  - 0.9*x191 + x221 = 0;

e252:  - 0.9*x192 + x222 = 0;

e253:  - 0.9*x193 + x223 = 0;

e254:    x194 = 0;

e255:    x195 = 0;

e256:    x196 = 0;

e257:    x224 = 0;

e258:    x225 = 0;

e259:    x226 = 0;

e260:    x83 - x191 - x194 = 0;

e261:    x84 - x192 - x195 = 0;

e262:    x85 - x193 - x196 = 0;

e263:    x101 - x221 - x224 = 0;

e264:    x102 - x222 - x225 = 0;

e265:    x103 - x223 - x226 = 0;

e266:    x191 - 15*b257 <= 0;

e267:    x192 - 15*b258 <= 0;

e268:    x193 - 15*b259 <= 0;

e269:    x194 + 15*b257 <= 15;

e270:    x195 + 15*b258 <= 15;

e271:    x196 + 15*b259 <= 15;

e272:    x221 - 13.5*b257 <= 0;

e273:    x222 - 13.5*b258 <= 0;

e274:    x223 - 13.5*b259 <= 0;

e275:    x224 + 13.5*b257 <= 13.5;

e276:    x225 + 13.5*b258 <= 13.5;

e277:    x226 + 13.5*b259 <= 13.5;

e278:  - 0.6*x197 + x227 = 0;

e279:  - 0.6*x198 + x228 = 0;

e280:  - 0.6*x199 + x229 = 0;

e281:    x200 = 0;

e282:    x201 = 0;

e283:    x202 = 0;

e284:    x230 = 0;

e285:    x231 = 0;

e286:    x232 = 0;

e287:    x86 - x197 - x200 = 0;

e288:    x87 - x198 - x201 = 0;

e289:    x88 - x199 - x202 = 0;

e290:    x104 - x227 - x230 = 0;

e291:    x105 - x228 - x231 = 0;

e292:    x106 - x229 - x232 = 0;

e293:    x197 - 15*b260 <= 0;

e294:    x198 - 15*b261 <= 0;

e295:    x199 - 15*b262 <= 0;

e296:    x200 + 15*b260 <= 15;

e297:    x201 + 15*b261 <= 15;

e298:    x202 + 15*b262 <= 15;

e299:    x227 - 9*b260 <= 0;

e300:    x228 - 9*b261 <= 0;

e301:    x229 - 9*b262 <= 0;

e302:    x230 + 9*b260 <= 9;

e303:    x231 + 9*b261 <= 9;

e304:    x232 + 9*b262 <= 9;

e305:    x2 + 5*b263 = 0;

e306:    x3 + 4*b264 = 0;

e307:    x4 + 6*b265 = 0;

e308:    x5 + 8*b266 = 0;

e309:    x6 + 7*b267 = 0;

e310:    x7 + 6*b268 = 0;

e311:    x8 + 6*b269 = 0;

e312:    x9 + 9*b270 = 0;

e313:    x10 + 4*b271 = 0;

e314:    x11 + 10*b272 = 0;

e315:    x12 + 9*b273 = 0;

e316:    x13 + 5*b274 = 0;

e317:    x14 + 6*b275 = 0;

e318:    x15 + 10*b276 = 0;

e319:    x16 + 6*b277 = 0;

e320:    x17 + 7*b278 = 0;

e321:    x18 + 7*b279 = 0;

e322:    x19 + 4*b280 = 0;

e323:    x20 + 4*b281 = 0;

e324:    x21 + 3*b282 = 0;

e325:    x22 + 2*b283 = 0;

e326:    x23 + 5*b284 = 0;

e327:    x24 + 6*b285 = 0;

e328:    x25 + 7*b286 = 0;

e329:    x26 + 2*b287 = 0;

e330:    x27 + 5*b288 = 0;

e331:    x28 + 2*b289 = 0;

e332:    x29 + 4*b290 = 0;

e333:    x30 + 7*b291 = 0;

e334:    x31 + 4*b292 = 0;

e335:    b233 - b234 <= 0;

e336:    b233 - b235 <= 0;

e337:    b234 - b235 <= 0;

e338:    b236 - b237 <= 0;

e339:    b236 - b238 <= 0;

e340:    b237 - b238 <= 0;

e341:    b239 - b240 <= 0;

e342:    b239 - b241 <= 0;

e343:    b240 - b241 <= 0;

e344:    b242 - b243 <= 0;

e345:    b242 - b244 <= 0;

e346:    b243 - b244 <= 0;

e347:    b245 - b246 <= 0;

e348:    b245 - b247 <= 0;

e349:    b246 - b247 <= 0;

e350:    b248 - b249 <= 0;

e351:    b248 - b250 <= 0;

e352:    b249 - b250 <= 0;

e353:    b251 - b252 <= 0;

e354:    b251 - b253 <= 0;

e355:    b252 - b253 <= 0;

e356:    b254 - b255 <= 0;

e357:    b254 - b256 <= 0;

e358:    b255 - b256 <= 0;

e359:    b257 - b258 <= 0;

e360:    b257 - b259 <= 0;

e361:    b258 - b259 <= 0;

e362:    b260 - b261 <= 0;

e363:    b260 - b262 <= 0;

e364:    b261 - b262 <= 0;

e365:    b263 + b264 <= 1;

e366:    b263 + b265 <= 1;

e367:    b263 + b264 <= 1;

e368:    b264 + b265 <= 1;

e369:    b263 + b265 <= 1;

e370:    b264 + b265 <= 1;

e371:    b266 + b267 <= 1;

e372:    b266 + b268 <= 1;

e373:    b266 + b267 <= 1;

e374:    b267 + b268 <= 1;

e375:    b266 + b268 <= 1;

e376:    b267 + b268 <= 1;

e377:    b269 + b270 <= 1;

e378:    b269 + b271 <= 1;

e379:    b269 + b270 <= 1;

e380:    b270 + b271 <= 1;

e381:    b269 + b271 <= 1;

e382:    b270 + b271 <= 1;

e383:    b272 + b273 <= 1;

e384:    b272 + b274 <= 1;

e385:    b272 + b273 <= 1;

e386:    b273 + b274 <= 1;

e387:    b272 + b274 <= 1;

e388:    b273 + b274 <= 1;

e389:    b275 + b276 <= 1;

e390:    b275 + b277 <= 1;

e391:    b275 + b276 <= 1;

e392:    b276 + b277 <= 1;

e393:    b275 + b277 <= 1;

e394:    b276 + b277 <= 1;

e395:    b278 + b279 <= 1;

e396:    b278 + b280 <= 1;

e397:    b278 + b279 <= 1;

e398:    b279 + b280 <= 1;

e399:    b278 + b280 <= 1;

e400:    b279 + b280 <= 1;

e401:    b281 + b282 <= 1;

e402:    b281 + b283 <= 1;

e403:    b281 + b282 <= 1;

e404:    b282 + b283 <= 1;

e405:    b281 + b283 <= 1;

e406:    b282 + b283 <= 1;

e407:    b284 + b285 <= 1;

e408:    b284 + b286 <= 1;

e409:    b284 + b285 <= 1;

e410:    b285 + b286 <= 1;

e411:    b284 + b286 <= 1;

e412:    b285 + b286 <= 1;

e413:    b287 + b288 <= 1;

e414:    b287 + b289 <= 1;

e415:    b287 + b288 <= 1;

e416:    b288 + b289 <= 1;

e417:    b287 + b289 <= 1;

e418:    b288 + b289 <= 1;

e419:    b290 + b291 <= 1;

e420:    b290 + b292 <= 1;

e421:    b290 + b291 <= 1;

e422:    b291 + b292 <= 1;

e423:    b290 + b292 <= 1;

e424:    b291 + b292 <= 1;

e425:    b233 - b263 <= 0;

e426:  - b233 + b234 - b264 <= 0;

e427:  - b233 - b234 + b235 - b265 <= 0;

e428:    b236 - b266 <= 0;

e429:  - b236 + b237 - b267 <= 0;

e430:  - b236 - b237 + b238 - b268 <= 0;

e431:    b239 - b269 <= 0;

e432:  - b239 + b240 - b270 <= 0;

e433:  - b239 - b240 + b241 - b271 <= 0;

e434:    b242 - b272 <= 0;

e435:  - b242 + b243 - b273 <= 0;

e436:  - b242 - b243 + b244 - b274 <= 0;

e437:    b245 - b275 <= 0;

e438:  - b245 + b246 - b276 <= 0;

e439:  - b245 - b246 + b247 - b277 <= 0;

e440:    b248 - b278 <= 0;

e441:  - b248 + b249 - b279 <= 0;

e442:  - b248 - b249 + b250 - b280 <= 0;

e443:    b251 - b281 <= 0;

e444:  - b251 + b252 - b282 <= 0;

e445:  - b251 - b252 + b253 - b283 <= 0;

e446:    b254 - b284 <= 0;

e447:  - b254 + b255 - b285 <= 0;

e448:  - b254 - b255 + b256 - b286 <= 0;

e449:    b257 - b287 <= 0;

e450:  - b257 + b258 - b288 <= 0;

e451:  - b257 - b258 + b259 - b289 <= 0;

e452:    b260 - b290 <= 0;

e453:  - b260 + b261 - b291 <= 0;

e454:  - b260 - b261 + b262 - b292 <= 0;

e455:    b233 + b236 = 1;

e456:    b234 + b237 = 1;

e457:    b235 + b238 = 1;

e458:  - b239 + b248 + b251 >= 0;

e459:  - b240 + b249 + b252 >= 0;

e460:  - b241 + b250 + b253 >= 0;

e461:  - b242 + b254 >= 0;

e462:  - b243 + b255 >= 0;

e463:  - b244 + b256 >= 0;

e464:    b233 + b236 - b239 >= 0;

e465:    b234 + b237 - b240 >= 0;

e466:    b235 + b238 - b241 >= 0;

e467:    b233 + b236 - b242 >= 0;

e468:    b234 + b237 - b243 >= 0;

e469:    b235 + b238 - b244 >= 0;

e470:    b233 + b236 - b245 >= 0;

e471:    b234 + b237 - b246 >= 0;

e472:    b235 + b238 - b247 >= 0;

e473:    b239 - b248 >= 0;

e474:    b240 - b249 >= 0;

e475:    b241 - b250 >= 0;

e476:    b239 - b251 >= 0;

e477:    b240 - b252 >= 0;

e478:    b241 - b253 >= 0;

e479:    b242 - b254 >= 0;

e480:    b243 - b255 >= 0;

e481:    b244 - b256 >= 0;

e482:    b245 - b257 >= 0;

e483:    b246 - b258 >= 0;

e484:    b247 - b259 >= 0;

e485:    b245 - b260 >= 0;

e486:    b246 - b261 >= 0;

e487:    b247 - b262 >= 0;