#  MINLP written by GAMS Convert at 01/12/18 13:43:49
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        538       34      126      378        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        256      166       90        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1333     1300       33        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0, <= 40;
var x3 >= 0, <= 40;
var x4 >= 0, <= 40;
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, <= 30;
var x36 >= 0, <= 30;
var x37 >= 0, <= 30;
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, <= 20;
var x87 >= 0, <= 20;
var x88 >= 0, <= 20;
var x89 >= 0, <= 20;
var x90 >= 0, <= 20;
var x91 >= 0, <= 20;
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 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 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 x212;
var x213;
var x214;
var x215;
var x216;
var x217;
var x218;
var x219;
var x220;
var x221;
var x222;
var x223;
var x224;
var x225;
var x226;
var x227;
var x228;
var x229;
var x230;
var x231;
var x232;
var x233;
var x234;
var x235;
var x236;
var x237;
var x238;
var x239;
var x240;
var x241;
var x242;
var x243;
var x244;
var x245;
var x246;
var x247;
var x248;
var x249;
var x250;
var x251;
var x252;
var x253;
var x254;
var x255;
var x256;

maximize obj:  - x2 - x3 - x4 + 5*x20 + 10*x21 + 5*x22 - 2*x35 - x36 - 2*x37
     + 500*x74 + 600*x75 + 350*x76 + 350*x77 + 400*x78 + 450*x79 - 10*x86
     - 5*x87 - 5*x88 - 5*x89 - 5*x90 - 5*x91 + 80*x110 + 130*x111 + 215*x112
     + 110*x113 + 120*x114 + 125*x115 + 110*x116 + 130*x117 + 140*x118
     + 80*x119 + 90*x120 + 120*x121 - 5*b167 - 4*b168 - 6*b169 - 8*b170
     - 7*b171 - 6*b172 - 6*b173 - 9*b174 - 4*b175 - 10*b176 - 9*b177 - 5*b178
     - 6*b179 - 10*b180 - 6*b181 - 7*b182 - 7*b183 - 4*b184 - 4*b185 - 3*b186
     - 2*b187 - 5*b188 - 6*b189 - 7*b190 - 2*b191 - 5*b192 - 2*b193 - 4*b194
     - 7*b195 - 4*b196 - 3*b197 - 9*b198 - 3*b199 - 7*b200 - 2*b201 - 9*b202
     - 3*b203 - b204 - 9*b205 - 2*b206 - 6*b207 - 3*b208 - 4*b209 - 8*b210
     - b211;

subject to

e2:    x2 - x5 - x8 = 0;

e3:    x3 - x6 - x9 = 0;

e4:    x4 - x7 - x10 = 0;

e5:  - x11 - x14 + x17 = 0;

e6:  - x12 - x15 + x18 = 0;

e7:  - x13 - x16 + x19 = 0;

e8:    x17 - x20 - x23 = 0;

e9:    x18 - x21 - x24 = 0;

e10:    x19 - x22 - x25 = 0;

e11:    x23 - x26 - x29 - x32 = 0;

e12:    x24 - x27 - x30 - x33 = 0;

e13:    x25 - x28 - x31 - x34 = 0;

e14:    x38 - x47 - x50 = 0;

e15:    x39 - x48 - x51 = 0;

e16:    x40 - x49 - x52 = 0;

e17:    x44 - x53 - x56 - x59 = 0;

e18:    x45 - x54 - x57 - x60 = 0;

e19:    x46 - x55 - x58 - x61 = 0;

e20:    x68 - x80 - x83 = 0;

e21:    x69 - x81 - x84 = 0;

e22:    x70 - x82 - x85 = 0;

e23:  - x71 - x89 + x92 = 0;

e24:  - x72 - x90 + x93 = 0;

e25:  - x73 - x91 + x94 = 0;

e26:    x74 - x95 - x98 = 0;

e27:    x75 - x96 - x99 = 0;

e28:    x76 - x97 - x100 = 0;

e29:    x77 - x101 - x104 - x107 = 0;

e30:    x78 - x102 - x105 - x108 = 0;

e31:    x79 - x103 - x106 - x109 = 0;

e32: -log(1 + x5) + x11 + b122 <= 1;

e33: -log(1 + x6) + x12 + b123 <= 1;

e34: -log(1 + x7) + x13 + b124 <= 1;

e35:    x5 - 40*b122 <= 0;

e36:    x6 - 40*b123 <= 0;

e37:    x7 - 40*b124 <= 0;

e38:    x11 - 3.71357206670431*b122 <= 0;

e39:    x12 - 3.71357206670431*b123 <= 0;

e40:    x13 - 3.71357206670431*b124 <= 0;

e41: -1.2*log(1 + x8) + x14 + b125 <= 1;

e42: -1.2*log(1 + x9) + x15 + b126 <= 1;

e43: -1.2*log(1 + x10) + x16 + b127 <= 1;

e44:    x8 - 40*b125 <= 0;

e45:    x9 - 40*b126 <= 0;

e46:    x10 - 40*b127 <= 0;

e47:    x14 - 4.45628648004517*b125 <= 0;

e48:    x15 - 4.45628648004517*b126 <= 0;

e49:    x16 - 4.45628648004517*b127 <= 0;

e50:  - 0.75*x26 + x38 + b128 <= 1;

e51:  - 0.75*x27 + x39 + b129 <= 1;

e52:  - 0.75*x28 + x40 + b130 <= 1;

e53:  - 0.75*x26 + x38 - b128 >= -1;

e54:  - 0.75*x27 + x39 - b129 >= -1;

e55:  - 0.75*x28 + x40 - b130 >= -1;

e56:    x26 - 4.45628648004517*b128 <= 0;

e57:    x27 - 4.45628648004517*b129 <= 0;

e58:    x28 - 4.45628648004517*b130 <= 0;

e59:    x38 - 3.34221486003388*b128 <= 0;

e60:    x39 - 3.34221486003388*b129 <= 0;

e61:    x40 - 3.34221486003388*b130 <= 0;

e62: -1.5*log(1 + x29) + x41 + b131 <= 1;

e63: -1.5*log(1 + x30) + x42 + b132 <= 1;

e64: -1.5*log(1 + x31) + x43 + b133 <= 1;

e65:    x29 - 4.45628648004517*b131 <= 0;

e66:    x30 - 4.45628648004517*b132 <= 0;

e67:    x31 - 4.45628648004517*b133 <= 0;

e68:    x41 - 2.54515263975353*b131 <= 0;

e69:    x42 - 2.54515263975353*b132 <= 0;

e70:    x43 - 2.54515263975353*b133 <= 0;

e71:  - x32 + x44 + b134 <= 1;

e72:  - x33 + x45 + b135 <= 1;

e73:  - x34 + x46 + b136 <= 1;

e74:  - x32 + x44 - b134 >= -1;

e75:  - x33 + x45 - b135 >= -1;

e76:  - x34 + x46 - b136 >= -1;

e77:  - 0.5*x35 + x44 + b134 <= 1;

e78:  - 0.5*x36 + x45 + b135 <= 1;

e79:  - 0.5*x37 + x46 + b136 <= 1;

e80:  - 0.5*x35 + x44 - b134 >= -1;

e81:  - 0.5*x36 + x45 - b135 >= -1;

e82:  - 0.5*x37 + x46 - b136 >= -1;

e83:    x32 - 4.45628648004517*b134 <= 0;

e84:    x33 - 4.45628648004517*b135 <= 0;

e85:    x34 - 4.45628648004517*b136 <= 0;

e86:    x35 - 30*b134 <= 0;

e87:    x36 - 30*b135 <= 0;

e88:    x37 - 30*b136 <= 0;

e89:    x44 - 15*b134 <= 0;

e90:    x45 - 15*b135 <= 0;

e91:    x46 - 15*b136 <= 0;

e92: -1.25*log(1 + x47) + x62 + b137 <= 1;

e93: -1.25*log(1 + x48) + x63 + b138 <= 1;

e94: -1.25*log(1 + x49) + x64 + b139 <= 1;

e95:    x47 - 3.34221486003388*b137 <= 0;

e96:    x48 - 3.34221486003388*b138 <= 0;

e97:    x49 - 3.34221486003388*b139 <= 0;

e98:    x62 - 1.83548069293539*b137 <= 0;

e99:    x63 - 1.83548069293539*b138 <= 0;

e100:    x64 - 1.83548069293539*b139 <= 0;

e101: -0.9*log(1 + x50) + x65 + b140 <= 1;

e102: -0.9*log(1 + x51) + x66 + b141 <= 1;

e103: -0.9*log(1 + x52) + x67 + b142 <= 1;

e104:    x50 - 3.34221486003388*b140 <= 0;

e105:    x51 - 3.34221486003388*b141 <= 0;

e106:    x52 - 3.34221486003388*b142 <= 0;

e107:    x65 - 1.32154609891348*b140 <= 0;

e108:    x66 - 1.32154609891348*b141 <= 0;

e109:    x67 - 1.32154609891348*b142 <= 0;

e110: -log(1 + x41) + x68 + b143 <= 1;

e111: -log(1 + x42) + x69 + b144 <= 1;

e112: -log(1 + x43) + x70 + b145 <= 1;

e113:    x41 - 2.54515263975353*b143 <= 0;

e114:    x42 - 2.54515263975353*b144 <= 0;

e115:    x43 - 2.54515263975353*b145 <= 0;

e116:    x68 - 1.26558121681553*b143 <= 0;

e117:    x69 - 1.26558121681553*b144 <= 0;

e118:    x70 - 1.26558121681553*b145 <= 0;

e119:  - 0.9*x53 + x71 + b146 <= 1;

e120:  - 0.9*x54 + x72 + b147 <= 1;

e121:  - 0.9*x55 + x73 + b148 <= 1;

e122:  - 0.9*x53 + x71 - b146 >= -1;

e123:  - 0.9*x54 + x72 - b147 >= -1;

e124:  - 0.9*x55 + x73 - b148 >= -1;

e125:    x53 - 15*b146 <= 0;

e126:    x54 - 15*b147 <= 0;

e127:    x55 - 15*b148 <= 0;

e128:    x71 - 13.5*b146 <= 0;

e129:    x72 - 13.5*b147 <= 0;

e130:    x73 - 13.5*b148 <= 0;

e131:  - 0.6*x56 + x74 + b149 <= 1;

e132:  - 0.6*x57 + x75 + b150 <= 1;

e133:  - 0.6*x58 + x76 + b151 <= 1;

e134:  - 0.6*x56 + x74 - b149 >= -1;

e135:  - 0.6*x57 + x75 - b150 >= -1;

e136:  - 0.6*x58 + x76 - b151 >= -1;

e137:    x56 - 15*b149 <= 0;

e138:    x57 - 15*b150 <= 0;

e139:    x58 - 15*b151 <= 0;

e140:    x74 - 9*b149 <= 0;

e141:    x75 - 9*b150 <= 0;

e142:    x76 - 9*b151 <= 0;

e143: -1.1*log(1 + x59) + x77 + b152 <= 1;

e144: -1.1*log(1 + x60) + x78 + b153 <= 1;

e145: -1.1*log(1 + x61) + x79 + b154 <= 1;

e146:    x59 - 15*b152 <= 0;

e147:    x60 - 15*b153 <= 0;

e148:    x61 - 15*b154 <= 0;

e149:    x77 - 3.04984759446376*b152 <= 0;

e150:    x78 - 3.04984759446376*b153 <= 0;

e151:    x79 - 3.04984759446376*b154 <= 0;

e152:  - 0.9*x62 + x110 + b155 <= 1;

e153:  - 0.9*x63 + x111 + b156 <= 1;

e154:  - 0.9*x64 + x112 + b157 <= 1;

e155:  - 0.9*x62 + x110 - b155 >= -1;

e156:  - 0.9*x63 + x111 - b156 >= -1;

e157:  - 0.9*x64 + x112 - b157 >= -1;

e158:  - x86 + x110 + b155 <= 1;

e159:  - x87 + x111 + b156 <= 1;

e160:  - x88 + x112 + b157 <= 1;

e161:  - x86 + x110 - b155 >= -1;

e162:  - x87 + x111 - b156 >= -1;

e163:  - x88 + x112 - b157 >= -1;

e164:    x62 - 1.83548069293539*b155 <= 0;

e165:    x63 - 1.83548069293539*b156 <= 0;

e166:    x64 - 1.83548069293539*b157 <= 0;

e167:    x86 - 20*b155 <= 0;

e168:    x87 - 20*b156 <= 0;

e169:    x88 - 20*b157 <= 0;

e170:    x110 - 20*b155 <= 0;

e171:    x111 - 20*b156 <= 0;

e172:    x112 - 20*b157 <= 0;

e173: -log(1 + x65) + x113 + b158 <= 1;

e174: -log(1 + x66) + x114 + b159 <= 1;

e175: -log(1 + x67) + x115 + b160 <= 1;

e176:    x65 - 1.32154609891348*b158 <= 0;

e177:    x66 - 1.32154609891348*b159 <= 0;

e178:    x67 - 1.32154609891348*b160 <= 0;

e179:    x113 - 0.842233385663186*b158 <= 0;

e180:    x114 - 0.842233385663186*b159 <= 0;

e181:    x115 - 0.842233385663186*b160 <= 0;

e182: -0.7*log(1 + x80) + x116 + b161 <= 1;

e183: -0.7*log(1 + x81) + x117 + b162 <= 1;

e184: -0.7*log(1 + x82) + x118 + b163 <= 1;

e185:    x80 - 1.26558121681553*b161 <= 0;

e186:    x81 - 1.26558121681553*b162 <= 0;

e187:    x82 - 1.26558121681553*b163 <= 0;

e188:    x116 - 0.572481933717686*b161 <= 0;

e189:    x117 - 0.572481933717686*b162 <= 0;

e190:    x118 - 0.572481933717686*b163 <= 0;

e191: -0.65*log(1 + x83) + x119 + b164 <= 1;

e192: -0.65*log(1 + x84) + x120 + b165 <= 1;

e193: -0.65*log(1 + x85) + x121 + b166 <= 1;

e194: -0.65*log(1 + x92) + x119 + b164 <= 1;

e195: -0.65*log(1 + x93) + x120 + b165 <= 1;

e196: -0.65*log(1 + x94) + x121 + b166 <= 1;

e197:    x83 - 1.26558121681553*b164 <= 0;

e198:    x84 - 1.26558121681553*b165 <= 0;

e199:    x85 - 1.26558121681553*b166 <= 0;

e200:    x92 - 33.5*b164 <= 0;

e201:    x93 - 33.5*b165 <= 0;

e202:    x94 - 33.5*b166 <= 0;

e203:    x119 - 2.30162356062425*b164 <= 0;

e204:    x120 - 2.30162356062425*b165 <= 0;

e205:    x121 - 2.30162356062425*b166 <= 0;

e206:    5*b167 + x212 <= 0;

e207:    4*b168 + x213 <= 0;

e208:    6*b169 + x214 <= 0;

e209:    8*b170 + x215 <= 0;

e210:    7*b171 + x216 <= 0;

e211:    6*b172 + x217 <= 0;

e212:    6*b173 + x218 <= 0;

e213:    9*b174 + x219 <= 0;

e214:    4*b175 + x220 <= 0;

e215:    10*b176 + x221 <= 0;

e216:    9*b177 + x222 <= 0;

e217:    5*b178 + x223 <= 0;

e218:    6*b179 + x224 <= 0;

e219:    10*b180 + x225 <= 0;

e220:    6*b181 + x226 <= 0;

e221:    7*b182 + x227 <= 0;

e222:    7*b183 + x228 <= 0;

e223:    4*b184 + x229 <= 0;

e224:    4*b185 + x230 <= 0;

e225:    3*b186 + x231 <= 0;

e226:    2*b187 + x232 <= 0;

e227:    5*b188 + x233 <= 0;

e228:    6*b189 + x234 <= 0;

e229:    7*b190 + x235 <= 0;

e230:    2*b191 + x236 <= 0;

e231:    5*b192 + x237 <= 0;

e232:    2*b193 + x238 <= 0;

e233:    4*b194 + x239 <= 0;

e234:    7*b195 + x240 <= 0;

e235:    4*b196 + x241 <= 0;

e236:    3*b197 + x242 <= 0;

e237:    9*b198 + x243 <= 0;

e238:    3*b199 + x244 <= 0;

e239:    7*b200 + x245 <= 0;

e240:    2*b201 + x246 <= 0;

e241:    9*b202 + x247 <= 0;

e242:    3*b203 + x248 <= 0;

e243:    b204 + x249 <= 0;

e244:    9*b205 + x250 <= 0;

e245:    2*b206 + x251 <= 0;

e246:    6*b207 + x252 <= 0;

e247:    3*b208 + x253 <= 0;

e248:    4*b209 + x254 <= 0;

e249:    8*b210 + x255 <= 0;

e250:    b211 + x256 <= 0;

e251:    5*b167 + x212 >= 0;

e252:    4*b168 + x213 >= 0;

e253:    6*b169 + x214 >= 0;

e254:    8*b170 + x215 >= 0;

e255:    7*b171 + x216 >= 0;

e256:    6*b172 + x217 >= 0;

e257:    6*b173 + x218 >= 0;

e258:    9*b174 + x219 >= 0;

e259:    4*b175 + x220 >= 0;

e260:    10*b176 + x221 >= 0;

e261:    9*b177 + x222 >= 0;

e262:    5*b178 + x223 >= 0;

e263:    6*b179 + x224 >= 0;

e264:    10*b180 + x225 >= 0;

e265:    6*b181 + x226 >= 0;

e266:    7*b182 + x227 >= 0;

e267:    7*b183 + x228 >= 0;

e268:    4*b184 + x229 >= 0;

e269:    4*b185 + x230 >= 0;

e270:    3*b186 + x231 >= 0;

e271:    2*b187 + x232 >= 0;

e272:    5*b188 + x233 >= 0;

e273:    6*b189 + x234 >= 0;

e274:    7*b190 + x235 >= 0;

e275:    2*b191 + x236 >= 0;

e276:    5*b192 + x237 >= 0;

e277:    2*b193 + x238 >= 0;

e278:    4*b194 + x239 >= 0;

e279:    7*b195 + x240 >= 0;

e280:    4*b196 + x241 >= 0;

e281:    3*b197 + x242 >= 0;

e282:    9*b198 + x243 >= 0;

e283:    3*b199 + x244 >= 0;

e284:    7*b200 + x245 >= 0;

e285:    2*b201 + x246 >= 0;

e286:    9*b202 + x247 >= 0;

e287:    3*b203 + x248 >= 0;

e288:    b204 + x249 >= 0;

e289:    9*b205 + x250 >= 0;

e290:    2*b206 + x251 >= 0;

e291:    6*b207 + x252 >= 0;

e292:    3*b208 + x253 >= 0;

e293:    4*b209 + x254 >= 0;

e294:    8*b210 + x255 >= 0;

e295:    b211 + x256 >= 0;

e296:    b122 - b123 <= 0;

e297:    b122 - b124 <= 0;

e298:    b123 - b124 <= 0;

e299:    b125 - b126 <= 0;

e300:    b125 - b127 <= 0;

e301:    b126 - b127 <= 0;

e302:    b128 - b129 <= 0;

e303:    b128 - b130 <= 0;

e304:    b129 - b130 <= 0;

e305:    b131 - b132 <= 0;

e306:    b131 - b133 <= 0;

e307:    b132 - b133 <= 0;

e308:    b134 - b135 <= 0;

e309:    b134 - b136 <= 0;

e310:    b135 - b136 <= 0;

e311:    b137 - b138 <= 0;

e312:    b137 - b139 <= 0;

e313:    b138 - b139 <= 0;

e314:    b140 - b141 <= 0;

e315:    b140 - b142 <= 0;

e316:    b141 - b142 <= 0;

e317:    b143 - b144 <= 0;

e318:    b143 - b145 <= 0;

e319:    b144 - b145 <= 0;

e320:    b146 - b147 <= 0;

e321:    b146 - b148 <= 0;

e322:    b147 - b148 <= 0;

e323:    b149 - b150 <= 0;

e324:    b149 - b151 <= 0;

e325:    b150 - b151 <= 0;

e326:    b152 - b153 <= 0;

e327:    b152 - b154 <= 0;

e328:    b153 - b154 <= 0;

e329:    b155 - b156 <= 0;

e330:    b155 - b157 <= 0;

e331:    b156 - b157 <= 0;

e332:    b158 - b159 <= 0;

e333:    b158 - b160 <= 0;

e334:    b159 - b160 <= 0;

e335:    b161 - b162 <= 0;

e336:    b161 - b163 <= 0;

e337:    b162 - b163 <= 0;

e338:    b164 - b165 <= 0;

e339:    b164 - b166 <= 0;

e340:    b165 - b166 <= 0;

e341:    b167 + b168 <= 1;

e342:    b167 + b169 <= 1;

e343:    b167 + b168 <= 1;

e344:    b168 + b169 <= 1;

e345:    b167 + b169 <= 1;

e346:    b168 + b169 <= 1;

e347:    b170 + b171 <= 1;

e348:    b170 + b172 <= 1;

e349:    b170 + b171 <= 1;

e350:    b171 + b172 <= 1;

e351:    b170 + b172 <= 1;

e352:    b171 + b172 <= 1;

e353:    b173 + b174 <= 1;

e354:    b173 + b175 <= 1;

e355:    b173 + b174 <= 1;

e356:    b174 + b175 <= 1;

e357:    b173 + b175 <= 1;

e358:    b174 + b175 <= 1;

e359:    b176 + b177 <= 1;

e360:    b176 + b178 <= 1;

e361:    b176 + b177 <= 1;

e362:    b177 + b178 <= 1;

e363:    b176 + b178 <= 1;

e364:    b177 + b178 <= 1;

e365:    b179 + b180 <= 1;

e366:    b179 + b181 <= 1;

e367:    b179 + b180 <= 1;

e368:    b180 + b181 <= 1;

e369:    b179 + b181 <= 1;

e370:    b180 + b181 <= 1;

e371:    b182 + b183 <= 1;

e372:    b182 + b184 <= 1;

e373:    b182 + b183 <= 1;

e374:    b183 + b184 <= 1;

e375:    b182 + b184 <= 1;

e376:    b183 + b184 <= 1;

e377:    b185 + b186 <= 1;

e378:    b185 + b187 <= 1;

e379:    b185 + b186 <= 1;

e380:    b186 + b187 <= 1;

e381:    b185 + b187 <= 1;

e382:    b186 + b187 <= 1;

e383:    b188 + b189 <= 1;

e384:    b188 + b190 <= 1;

e385:    b188 + b189 <= 1;

e386:    b189 + b190 <= 1;

e387:    b188 + b190 <= 1;

e388:    b189 + b190 <= 1;

e389:    b191 + b192 <= 1;

e390:    b191 + b193 <= 1;

e391:    b191 + b192 <= 1;

e392:    b192 + b193 <= 1;

e393:    b191 + b193 <= 1;

e394:    b192 + b193 <= 1;

e395:    b194 + b195 <= 1;

e396:    b194 + b196 <= 1;

e397:    b194 + b195 <= 1;

e398:    b195 + b196 <= 1;

e399:    b194 + b196 <= 1;

e400:    b195 + b196 <= 1;

e401:    b197 + b198 <= 1;

e402:    b197 + b199 <= 1;

e403:    b197 + b198 <= 1;

e404:    b198 + b199 <= 1;

e405:    b197 + b199 <= 1;

e406:    b198 + b199 <= 1;

e407:    b200 + b201 <= 1;

e408:    b200 + b202 <= 1;

e409:    b200 + b201 <= 1;

e410:    b201 + b202 <= 1;

e411:    b200 + b202 <= 1;

e412:    b201 + b202 <= 1;

e413:    b203 + b204 <= 1;

e414:    b203 + b205 <= 1;

e415:    b203 + b204 <= 1;

e416:    b204 + b205 <= 1;

e417:    b203 + b205 <= 1;

e418:    b204 + b205 <= 1;

e419:    b206 + b207 <= 1;

e420:    b206 + b208 <= 1;

e421:    b206 + b207 <= 1;

e422:    b207 + b208 <= 1;

e423:    b206 + b208 <= 1;

e424:    b207 + b208 <= 1;

e425:    b209 + b210 <= 1;

e426:    b209 + b211 <= 1;

e427:    b209 + b210 <= 1;

e428:    b210 + b211 <= 1;

e429:    b209 + b211 <= 1;

e430:    b210 + b211 <= 1;

e431:    b122 - b167 <= 0;

e432:  - b122 + b123 - b168 <= 0;

e433:  - b122 - b123 + b124 - b169 <= 0;

e434:    b125 - b170 <= 0;

e435:  - b125 + b126 - b171 <= 0;

e436:  - b125 - b126 + b127 - b172 <= 0;

e437:    b128 - b173 <= 0;

e438:  - b128 + b129 - b174 <= 0;

e439:  - b128 - b129 + b130 - b175 <= 0;

e440:    b131 - b176 <= 0;

e441:  - b131 + b132 - b177 <= 0;

e442:  - b131 - b132 + b133 - b178 <= 0;

e443:    b134 - b179 <= 0;

e444:  - b134 + b135 - b180 <= 0;

e445:  - b134 - b135 + b136 - b181 <= 0;

e446:    b137 - b182 <= 0;

e447:  - b137 + b138 - b183 <= 0;

e448:  - b137 - b138 + b139 - b184 <= 0;

e449:    b140 - b185 <= 0;

e450:  - b140 + b141 - b186 <= 0;

e451:  - b140 - b141 + b142 - b187 <= 0;

e452:    b143 - b188 <= 0;

e453:  - b143 + b144 - b189 <= 0;

e454:  - b143 - b144 + b145 - b190 <= 0;

e455:    b146 - b191 <= 0;

e456:  - b146 + b147 - b192 <= 0;

e457:  - b146 - b147 + b148 - b193 <= 0;

e458:    b149 - b194 <= 0;

e459:  - b149 + b150 - b195 <= 0;

e460:  - b149 - b150 + b151 - b196 <= 0;

e461:    b152 - b197 <= 0;

e462:  - b152 + b153 - b198 <= 0;

e463:  - b152 - b153 + b154 - b199 <= 0;

e464:    b155 - b200 <= 0;

e465:  - b155 + b156 - b201 <= 0;

e466:  - b155 - b156 + b157 - b202 <= 0;

e467:    b158 - b203 <= 0;

e468:  - b158 + b159 - b204 <= 0;

e469:  - b158 - b159 + b160 - b205 <= 0;

e470:    b161 - b206 <= 0;

e471:  - b161 + b162 - b207 <= 0;

e472:  - b161 - b162 + b163 - b208 <= 0;

e473:    b164 - b209 <= 0;

e474:  - b164 + b165 - b210 <= 0;

e475:  - b164 - b165 + b166 - b211 <= 0;

e476:    b122 + b125 = 1;

e477:    b123 + b126 = 1;

e478:    b124 + b127 = 1;

e479:  - b128 + b137 + b140 >= 0;

e480:  - b129 + b138 + b141 >= 0;

e481:  - b130 + b139 + b142 >= 0;

e482:  - b137 + b155 >= 0;

e483:  - b138 + b156 >= 0;

e484:  - b139 + b157 >= 0;

e485:  - b140 + b158 >= 0;

e486:  - b141 + b159 >= 0;

e487:  - b142 + b160 >= 0;

e488:  - b131 + b143 >= 0;

e489:  - b132 + b144 >= 0;

e490:  - b133 + b145 >= 0;

e491:  - b143 + b161 + b164 >= 0;

e492:  - b144 + b162 + b165 >= 0;

e493:  - b145 + b163 + b166 >= 0;

e494:  - b134 + b146 + b149 + b152 >= 0;

e495:  - b135 + b147 + b150 + b153 >= 0;

e496:  - b136 + b148 + b151 + b154 >= 0;

e497:  - b146 + b164 >= 0;

e498:  - b147 + b165 >= 0;

e499:  - b148 + b166 >= 0;

e500:    b122 + b125 - b128 >= 0;

e501:    b123 + b126 - b129 >= 0;

e502:    b124 + b127 - b130 >= 0;

e503:    b122 + b125 - b131 >= 0;

e504:    b123 + b126 - b132 >= 0;

e505:    b124 + b127 - b133 >= 0;

e506:    b122 + b125 - b134 >= 0;

e507:    b123 + b126 - b135 >= 0;

e508:    b124 + b127 - b136 >= 0;

e509:    b128 - b137 >= 0;

e510:    b129 - b138 >= 0;

e511:    b130 - b139 >= 0;

e512:    b128 - b140 >= 0;

e513:    b129 - b141 >= 0;

e514:    b130 - b142 >= 0;

e515:    b131 - b143 >= 0;

e516:    b132 - b144 >= 0;

e517:    b133 - b145 >= 0;

e518:    b134 - b146 >= 0;

e519:    b135 - b147 >= 0;

e520:    b136 - b148 >= 0;

e521:    b134 - b149 >= 0;

e522:    b135 - b150 >= 0;

e523:    b136 - b151 >= 0;

e524:    b134 - b152 >= 0;

e525:    b135 - b153 >= 0;

e526:    b136 - b154 >= 0;

e527:    b137 - b155 >= 0;

e528:    b138 - b156 >= 0;

e529:    b139 - b157 >= 0;

e530:    b140 - b158 >= 0;

e531:    b141 - b159 >= 0;

e532:    b142 - b160 >= 0;

e533:    b143 - b161 >= 0;

e534:    b144 - b162 >= 0;

e535:    b145 - b163 >= 0;

e536:    b143 - b164 >= 0;

e537:    b144 - b165 >= 0;

e538:    b145 - b166 >= 0;