#  MINLP written by GAMS Convert at 01/12/18 13:42:31
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        406       46      180      180        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        291      111      180        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1371     1351       20        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x1 := 2.5, >= 2.5, <= 37.5;
var x2 := 3.5, >= 3.5, <= 36.5;
var x3 := 1.5, >= 1.5, <= 38.5;
var x4 := 1, >= 1, <= 39;
var x5 := 2, >= 2, <= 38;
var x6 := 2.5, >= 2.5, <= 37.5;
var x7 := 4, >= 4, <= 36;
var x8 := 2, >= 2, <= 38;
var x9 := 1, >= 1, <= 39;
var x10 := 3, >= 3, <= 37;
var x11 := 3, >= 3, <= 37;
var x12 := 2.5, >= 2.5, <= 37.5;
var x13 := 1.5, >= 1.5, <= 38.5;
var x14 := 1.5, >= 1.5, <= 38.5;
var x15 := 2, >= 2, <= 38;
var x16 := 1, >= 1, <= 39;
var x17 := 3, >= 3, <= 37;
var x18 := 3, >= 3, <= 37;
var x19 := 2.5, >= 2.5, <= 37.5;
var x20 := 1.5, >= 1.5, <= 38.5;
var b21 binary >= 0, <= 1;
var b22 binary >= 0, <= 1;
var b23 binary >= 0, <= 1;
var b24 binary >= 0, <= 1;
var b25 binary >= 0, <= 1;
var b26 binary >= 0, <= 1;
var b27 binary >= 0, <= 1;
var b28 binary >= 0, <= 1;
var b29 binary >= 0, <= 1;
var b30 binary >= 0, <= 1;
var b31 binary >= 0, <= 1;
var b32 binary >= 0, <= 1;
var b33 binary >= 0, <= 1;
var b34 binary >= 0, <= 1;
var b35 binary >= 0, <= 1;
var b36 binary >= 0, <= 1;
var b37 binary >= 0, <= 1;
var b38 binary >= 0, <= 1;
var b39 binary >= 0, <= 1;
var b40 binary >= 0, <= 1;
var b41 binary >= 0, <= 1;
var b42 binary >= 0, <= 1;
var b43 binary >= 0, <= 1;
var b44 binary >= 0, <= 1;
var b45 binary >= 0, <= 1;
var b46 binary >= 0, <= 1;
var b47 binary >= 0, <= 1;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var b50 binary >= 0, <= 1;
var b51 binary >= 0, <= 1;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var b54 binary >= 0, <= 1;
var b55 binary >= 0, <= 1;
var b56 binary >= 0, <= 1;
var b57 binary >= 0, <= 1;
var b58 binary >= 0, <= 1;
var b59 binary >= 0, <= 1;
var b60 binary >= 0, <= 1;
var b61 binary >= 0, <= 1;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var b64 binary >= 0, <= 1;
var b65 binary >= 0, <= 1;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var b68 binary >= 0, <= 1;
var b69 binary >= 0, <= 1;
var b70 binary >= 0, <= 1;
var b71 binary >= 0, <= 1;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var b76 binary >= 0, <= 1;
var b77 binary >= 0, <= 1;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var b80 binary >= 0, <= 1;
var b81 binary >= 0, <= 1;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
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 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 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 x233 >= 0;
var x234 >= 0;
var x235 >= 0;
var x236 >= 0;
var x237 >= 0;
var x238 >= 0;
var x239 >= 0;
var x240 >= 0;
var x241 >= 0;
var x242 >= 0;
var x243 >= 0;
var x244 >= 0;
var x245 >= 0;
var x246 >= 0;
var x247 >= 0;
var x248 >= 0;
var x249 >= 0;
var x250 >= 0;
var x251 >= 0;
var x252 >= 0;
var x253 >= 0;
var x254 >= 0;
var x255 >= 0;
var x256 >= 0;
var x257 >= 0;
var x258 >= 0;
var x259 >= 0;
var x260 >= 0;
var x261 >= 0;
var x262 >= 0;
var x263 >= 0;
var x264 >= 0;
var x265 >= 0;
var x266 >= 0;
var x267 >= 0;
var x268 >= 0;
var x269 >= 0;
var x270 >= 0;
var x271 >= 0;
var x272 >= 0;
var x273 >= 0;
var x274 >= 0;
var x275 >= 0;
var x276 >= 0;
var x277 >= 0;
var x278 >= 0;
var x279 >= 0;
var x280 >= 0;
var x281 >= 0;
var x282 >= 0;
var x283 >= 0;
var x284 >= 0;
var x285 >= 0;
var x286 >= 0;
var x287 >= 0;
var x288 >= 0;
var x289 >= 0;
var x290 >= 0;

minimize obj: 150*((-4 + x1)^2 + (-10 + x11)^2) + 390*((-10 + x2)^2 + (-15 + 
    x12)^2) + 240*((-7 + x3)^2 + (-9 + x13)^2) + 70*((-3 + x4)^2 + (-3 + x14)^2
    ) + 165*((-20 + x5)^2 + (-17 + x15)^2) + 100*((-18 + x6)^2 + (-8 + x16)^2)
     + 200*((-30 + x7)^2 + (-20 + x17)^2) + 400*((-24 + x8)^2 + (-10 + x18)^2)
     + 330*((-22 + x9)^2 + (-6 + x19)^2) + 220*((-11 + x10)^2 + (-12 + x20)^2)
     + 300*x201 + 240*x202 + 210*x203 + 140*x204 + 300*x205 + 250*x206
     + 300*x207 + 210*x208 + 320*x209 + 100*x210 + 150*x211 + 220*x212
     + 200*x213 + 300*x214 + 290*x215 + 400*x216 + 220*x217 + 120*x218
     + 300*x219 + 150*x220 + 150*x221 + 100*x222 + 290*x223 + 110*x224
     + 100*x225 + 120*x226 + 180*x227 + 220*x228 + 110*x229 + 100*x230
     + 130*x231 + 190*x232 + 110*x233 + 160*x234 + 400*x235 + 220*x236
     + 140*x237 + 120*x238 + 230*x239 + 260*x240 + 220*x241 + 310*x242
     + 140*x243 + 150*x244 + 130*x245 + 300*x246 + 240*x247 + 210*x248
     + 140*x249 + 300*x250 + 250*x251 + 300*x252 + 210*x253 + 320*x254
     + 100*x255 + 150*x256 + 220*x257 + 200*x258 + 300*x259 + 290*x260
     + 400*x261 + 220*x262 + 120*x263 + 300*x264 + 150*x265 + 150*x266
     + 100*x267 + 290*x268 + 110*x269 + 100*x270 + 120*x271 + 180*x272
     + 220*x273 + 110*x274 + 100*x275 + 130*x276 + 190*x277 + 110*x278
     + 160*x279 + 400*x280 + 220*x281 + 140*x282 + 120*x283 + 230*x284
     + 260*x285 + 220*x286 + 310*x287 + 140*x288 + 150*x289 + 130*x290;

subject to

e2:  - x1 + x2 + x201 >= 0;

e3:  - x1 + x3 + x202 >= 0;

e4:  - x1 + x4 + x203 >= 0;

e5:  - x1 + x5 + x204 >= 0;

e6:  - x1 + x6 + x205 >= 0;

e7:  - x1 + x7 + x206 >= 0;

e8:  - x1 + x8 + x207 >= 0;

e9:  - x1 + x9 + x208 >= 0;

e10:  - x1 + x10 + x209 >= 0;

e11:  - x2 + x3 + x210 >= 0;

e12:  - x2 + x4 + x211 >= 0;

e13:  - x2 + x5 + x212 >= 0;

e14:  - x2 + x6 + x213 >= 0;

e15:  - x2 + x7 + x214 >= 0;

e16:  - x2 + x8 + x215 >= 0;

e17:  - x2 + x9 + x216 >= 0;

e18:  - x2 + x10 + x217 >= 0;

e19:  - x3 + x4 + x218 >= 0;

e20:  - x3 + x5 + x219 >= 0;

e21:  - x3 + x6 + x220 >= 0;

e22:  - x3 + x7 + x221 >= 0;

e23:  - x3 + x8 + x222 >= 0;

e24:  - x3 + x9 + x223 >= 0;

e25:  - x3 + x10 + x224 >= 0;

e26:  - x4 + x5 + x225 >= 0;

e27:  - x4 + x6 + x226 >= 0;

e28:  - x4 + x7 + x227 >= 0;

e29:  - x4 + x8 + x228 >= 0;

e30:  - x4 + x9 + x229 >= 0;

e31:  - x4 + x10 + x230 >= 0;

e32:  - x5 + x6 + x231 >= 0;

e33:  - x5 + x7 + x232 >= 0;

e34:  - x5 + x8 + x233 >= 0;

e35:  - x5 + x9 + x234 >= 0;

e36:  - x5 + x10 + x235 >= 0;

e37:  - x6 + x7 + x236 >= 0;

e38:  - x6 + x8 + x237 >= 0;

e39:  - x6 + x9 + x238 >= 0;

e40:  - x6 + x10 + x239 >= 0;

e41:  - x7 + x8 + x240 >= 0;

e42:  - x7 + x9 + x241 >= 0;

e43:  - x7 + x10 + x242 >= 0;

e44:  - x8 + x9 + x243 >= 0;

e45:  - x8 + x10 + x244 >= 0;

e46:  - x9 + x10 + x245 >= 0;

e47:    x1 - x2 + x201 >= 0;

e48:    x1 - x3 + x202 >= 0;

e49:    x1 - x4 + x203 >= 0;

e50:    x1 - x5 + x204 >= 0;

e51:    x1 - x6 + x205 >= 0;

e52:    x1 - x7 + x206 >= 0;

e53:    x1 - x8 + x207 >= 0;

e54:    x1 - x9 + x208 >= 0;

e55:    x1 - x10 + x209 >= 0;

e56:    x2 - x3 + x210 >= 0;

e57:    x2 - x4 + x211 >= 0;

e58:    x2 - x5 + x212 >= 0;

e59:    x2 - x6 + x213 >= 0;

e60:    x2 - x7 + x214 >= 0;

e61:    x2 - x8 + x215 >= 0;

e62:    x2 - x9 + x216 >= 0;

e63:    x2 - x10 + x217 >= 0;

e64:    x3 - x4 + x218 >= 0;

e65:    x3 - x5 + x219 >= 0;

e66:    x3 - x6 + x220 >= 0;

e67:    x3 - x7 + x221 >= 0;

e68:    x3 - x8 + x222 >= 0;

e69:    x3 - x9 + x223 >= 0;

e70:    x3 - x10 + x224 >= 0;

e71:    x4 - x5 + x225 >= 0;

e72:    x4 - x6 + x226 >= 0;

e73:    x4 - x7 + x227 >= 0;

e74:    x4 - x8 + x228 >= 0;

e75:    x4 - x9 + x229 >= 0;

e76:    x4 - x10 + x230 >= 0;

e77:    x5 - x6 + x231 >= 0;

e78:    x5 - x7 + x232 >= 0;

e79:    x5 - x8 + x233 >= 0;

e80:    x5 - x9 + x234 >= 0;

e81:    x5 - x10 + x235 >= 0;

e82:    x6 - x7 + x236 >= 0;

e83:    x6 - x8 + x237 >= 0;

e84:    x6 - x9 + x238 >= 0;

e85:    x6 - x10 + x239 >= 0;

e86:    x7 - x8 + x240 >= 0;

e87:    x7 - x9 + x241 >= 0;

e88:    x7 - x10 + x242 >= 0;

e89:    x8 - x9 + x243 >= 0;

e90:    x8 - x10 + x244 >= 0;

e91:    x9 - x10 + x245 >= 0;

e92:  - x11 + x12 + x246 >= 0;

e93:  - x11 + x13 + x247 >= 0;

e94:  - x11 + x14 + x248 >= 0;

e95:  - x11 + x15 + x249 >= 0;

e96:  - x11 + x16 + x250 >= 0;

e97:  - x11 + x17 + x251 >= 0;

e98:  - x11 + x18 + x252 >= 0;

e99:  - x11 + x19 + x253 >= 0;

e100:  - x11 + x20 + x254 >= 0;

e101:  - x12 + x13 + x255 >= 0;

e102:  - x12 + x14 + x256 >= 0;

e103:  - x12 + x15 + x257 >= 0;

e104:  - x12 + x16 + x258 >= 0;

e105:  - x12 + x17 + x259 >= 0;

e106:  - x12 + x18 + x260 >= 0;

e107:  - x12 + x19 + x261 >= 0;

e108:  - x12 + x20 + x262 >= 0;

e109:  - x13 + x14 + x263 >= 0;

e110:  - x13 + x15 + x264 >= 0;

e111:  - x13 + x16 + x265 >= 0;

e112:  - x13 + x17 + x266 >= 0;

e113:  - x13 + x18 + x267 >= 0;

e114:  - x13 + x19 + x268 >= 0;

e115:  - x13 + x20 + x269 >= 0;

e116:  - x14 + x15 + x270 >= 0;

e117:  - x14 + x16 + x271 >= 0;

e118:  - x14 + x17 + x272 >= 0;

e119:  - x14 + x18 + x273 >= 0;

e120:  - x14 + x19 + x274 >= 0;

e121:  - x14 + x20 + x275 >= 0;

e122:  - x15 + x16 + x276 >= 0;

e123:  - x15 + x17 + x277 >= 0;

e124:  - x15 + x18 + x278 >= 0;

e125:  - x15 + x19 + x279 >= 0;

e126:  - x15 + x20 + x280 >= 0;

e127:  - x16 + x17 + x281 >= 0;

e128:  - x16 + x18 + x282 >= 0;

e129:  - x16 + x19 + x283 >= 0;

e130:  - x16 + x20 + x284 >= 0;

e131:  - x17 + x18 + x285 >= 0;

e132:  - x17 + x19 + x286 >= 0;

e133:  - x17 + x20 + x287 >= 0;

e134:  - x18 + x19 + x288 >= 0;

e135:  - x18 + x20 + x289 >= 0;

e136:  - x19 + x20 + x290 >= 0;

e137:    x11 - x12 + x246 >= 0;

e138:    x11 - x13 + x247 >= 0;

e139:    x11 - x14 + x248 >= 0;

e140:    x11 - x15 + x249 >= 0;

e141:    x11 - x16 + x250 >= 0;

e142:    x11 - x17 + x251 >= 0;

e143:    x11 - x18 + x252 >= 0;

e144:    x11 - x19 + x253 >= 0;

e145:    x11 - x20 + x254 >= 0;

e146:    x12 - x13 + x255 >= 0;

e147:    x12 - x14 + x256 >= 0;

e148:    x12 - x15 + x257 >= 0;

e149:    x12 - x16 + x258 >= 0;

e150:    x12 - x17 + x259 >= 0;

e151:    x12 - x18 + x260 >= 0;

e152:    x12 - x19 + x261 >= 0;

e153:    x12 - x20 + x262 >= 0;

e154:    x13 - x14 + x263 >= 0;

e155:    x13 - x15 + x264 >= 0;

e156:    x13 - x16 + x265 >= 0;

e157:    x13 - x17 + x266 >= 0;

e158:    x13 - x18 + x267 >= 0;

e159:    x13 - x19 + x268 >= 0;

e160:    x13 - x20 + x269 >= 0;

e161:    x14 - x15 + x270 >= 0;

e162:    x14 - x16 + x271 >= 0;

e163:    x14 - x17 + x272 >= 0;

e164:    x14 - x18 + x273 >= 0;

e165:    x14 - x19 + x274 >= 0;

e166:    x14 - x20 + x275 >= 0;

e167:    x15 - x16 + x276 >= 0;

e168:    x15 - x17 + x277 >= 0;

e169:    x15 - x18 + x278 >= 0;

e170:    x15 - x19 + x279 >= 0;

e171:    x15 - x20 + x280 >= 0;

e172:    x16 - x17 + x281 >= 0;

e173:    x16 - x18 + x282 >= 0;

e174:    x16 - x19 + x283 >= 0;

e175:    x16 - x20 + x284 >= 0;

e176:    x17 - x18 + x285 >= 0;

e177:    x17 - x19 + x286 >= 0;

e178:    x17 - x20 + x287 >= 0;

e179:    x18 - x19 + x288 >= 0;

e180:    x18 - x20 + x289 >= 0;

e181:    x19 - x20 + x290 >= 0;

e182:    x1 - x2 + 40*b21 <= 34;

e183:    x1 - x3 + 40*b22 <= 36;

e184:    x1 - x4 + 40*b23 <= 36.5;

e185:    x1 - x5 + 40*b24 <= 35.5;

e186:    x1 - x6 + 40*b25 <= 35;

e187:    x1 - x7 + 40*b26 <= 33.5;

e188:    x1 - x8 + 40*b27 <= 35.5;

e189:    x1 - x9 + 40*b28 <= 36.5;

e190:    x1 - x10 + 40*b29 <= 34.5;

e191:    x2 - x3 + 40*b30 <= 35;

e192:    x2 - x4 + 40*b31 <= 35.5;

e193:    x2 - x5 + 40*b32 <= 34.5;

e194:    x2 - x6 + 40*b33 <= 34;

e195:    x2 - x7 + 40*b34 <= 32.5;

e196:    x2 - x8 + 40*b35 <= 34.5;

e197:    x2 - x9 + 40*b36 <= 35.5;

e198:    x2 - x10 + 40*b37 <= 33.5;

e199:    x3 - x4 + 40*b38 <= 37.5;

e200:    x3 - x5 + 40*b39 <= 36.5;

e201:    x3 - x6 + 40*b40 <= 36;

e202:    x3 - x7 + 40*b41 <= 34.5;

e203:    x3 - x8 + 40*b42 <= 36.5;

e204:    x3 - x9 + 40*b43 <= 37.5;

e205:    x3 - x10 + 40*b44 <= 35.5;

e206:    x4 - x5 + 40*b45 <= 37;

e207:    x4 - x6 + 40*b46 <= 36.5;

e208:    x4 - x7 + 40*b47 <= 35;

e209:    x4 - x8 + 40*b48 <= 37;

e210:    x4 - x9 + 40*b49 <= 38;

e211:    x4 - x10 + 40*b50 <= 36;

e212:    x5 - x6 + 40*b51 <= 35.5;

e213:    x5 - x7 + 40*b52 <= 34;

e214:    x5 - x8 + 40*b53 <= 36;

e215:    x5 - x9 + 40*b54 <= 37;

e216:    x5 - x10 + 40*b55 <= 35;

e217:    x6 - x7 + 40*b56 <= 33.5;

e218:    x6 - x8 + 40*b57 <= 35.5;

e219:    x6 - x9 + 40*b58 <= 36.5;

e220:    x6 - x10 + 40*b59 <= 34.5;

e221:    x7 - x8 + 40*b60 <= 34;

e222:    x7 - x9 + 40*b61 <= 35;

e223:    x7 - x10 + 40*b62 <= 33;

e224:    x8 - x9 + 40*b63 <= 37;

e225:    x8 - x10 + 40*b64 <= 35;

e226:    x9 - x10 + 40*b65 <= 36;

e227:  - x1 + x2 + 40*b66 <= 34;

e228:  - x1 + x3 + 40*b67 <= 36;

e229:  - x1 + x4 + 40*b68 <= 36.5;

e230:  - x1 + x5 + 40*b69 <= 35.5;

e231:  - x1 + x6 + 40*b70 <= 35;

e232:  - x1 + x7 + 40*b71 <= 33.5;

e233:  - x1 + x8 + 40*b72 <= 35.5;

e234:  - x1 + x9 + 40*b73 <= 36.5;

e235:  - x1 + x10 + 40*b74 <= 34.5;

e236:  - x2 + x3 + 40*b75 <= 35;

e237:  - x2 + x4 + 40*b76 <= 35.5;

e238:  - x2 + x5 + 40*b77 <= 34.5;

e239:  - x2 + x6 + 40*b78 <= 34;

e240:  - x2 + x7 + 40*b79 <= 32.5;

e241:  - x2 + x8 + 40*b80 <= 34.5;

e242:  - x2 + x9 + 40*b81 <= 35.5;

e243:  - x2 + x10 + 40*b82 <= 33.5;

e244:  - x3 + x4 + 40*b83 <= 37.5;

e245:  - x3 + x5 + 40*b84 <= 36.5;

e246:  - x3 + x6 + 40*b85 <= 36;

e247:  - x3 + x7 + 40*b86 <= 34.5;

e248:  - x3 + x8 + 40*b87 <= 36.5;

e249:  - x3 + x9 + 40*b88 <= 37.5;

e250:  - x3 + x10 + 40*b89 <= 35.5;

e251:  - x4 + x5 + 40*b90 <= 37;

e252:  - x4 + x6 + 40*b91 <= 36.5;

e253:  - x4 + x7 + 40*b92 <= 35;

e254:  - x4 + x8 + 40*b93 <= 37;

e255:  - x4 + x9 + 40*b94 <= 38;

e256:  - x4 + x10 + 40*b95 <= 36;

e257:  - x5 + x6 + 40*b96 <= 35.5;

e258:  - x5 + x7 + 40*b97 <= 34;

e259:  - x5 + x8 + 40*b98 <= 36;

e260:  - x5 + x9 + 40*b99 <= 37;

e261:  - x5 + x10 + 40*b100 <= 35;

e262:  - x6 + x7 + 40*b101 <= 33.5;

e263:  - x6 + x8 + 40*b102 <= 35.5;

e264:  - x6 + x9 + 40*b103 <= 36.5;

e265:  - x6 + x10 + 40*b104 <= 34.5;

e266:  - x7 + x8 + 40*b105 <= 34;

e267:  - x7 + x9 + 40*b106 <= 35;

e268:  - x7 + x10 + 40*b107 <= 33;

e269:  - x8 + x9 + 40*b108 <= 37;

e270:  - x8 + x10 + 40*b109 <= 35;

e271:  - x9 + x10 + 40*b110 <= 36;

e272:    x11 - x12 + 40*b111 <= 34.5;

e273:    x11 - x13 + 40*b112 <= 35.5;

e274:    x11 - x14 + 40*b113 <= 35.5;

e275:    x11 - x15 + 40*b114 <= 35;

e276:    x11 - x16 + 40*b115 <= 36;

e277:    x11 - x17 + 40*b116 <= 34;

e278:    x11 - x18 + 40*b117 <= 34;

e279:    x11 - x19 + 40*b118 <= 34.5;

e280:    x11 - x20 + 40*b119 <= 35.5;

e281:    x12 - x13 + 40*b120 <= 36;

e282:    x12 - x14 + 40*b121 <= 36;

e283:    x12 - x15 + 40*b122 <= 35.5;

e284:    x12 - x16 + 40*b123 <= 36.5;

e285:    x12 - x17 + 40*b124 <= 34.5;

e286:    x12 - x18 + 40*b125 <= 34.5;

e287:    x12 - x19 + 40*b126 <= 35;

e288:    x12 - x20 + 40*b127 <= 36;

e289:    x13 - x14 + 40*b128 <= 37;

e290:    x13 - x15 + 40*b129 <= 36.5;

e291:    x13 - x16 + 40*b130 <= 37.5;

e292:    x13 - x17 + 40*b131 <= 35.5;

e293:    x13 - x18 + 40*b132 <= 35.5;

e294:    x13 - x19 + 40*b133 <= 36;

e295:    x13 - x20 + 40*b134 <= 37;

e296:    x14 - x15 + 40*b135 <= 36.5;

e297:    x14 - x16 + 40*b136 <= 37.5;

e298:    x14 - x17 + 40*b137 <= 35.5;

e299:    x14 - x18 + 40*b138 <= 35.5;

e300:    x14 - x19 + 40*b139 <= 36;

e301:    x14 - x20 + 40*b140 <= 37;

e302:    x15 - x16 + 40*b141 <= 37;

e303:    x15 - x17 + 40*b142 <= 35;

e304:    x15 - x18 + 40*b143 <= 35;

e305:    x15 - x19 + 40*b144 <= 35.5;

e306:    x15 - x20 + 40*b145 <= 36.5;

e307:    x16 - x17 + 40*b146 <= 36;

e308:    x16 - x18 + 40*b147 <= 36;

e309:    x16 - x19 + 40*b148 <= 36.5;

e310:    x16 - x20 + 40*b149 <= 37.5;

e311:    x17 - x18 + 40*b150 <= 34;

e312:    x17 - x19 + 40*b151 <= 34.5;

e313:    x17 - x20 + 40*b152 <= 35.5;

e314:    x18 - x19 + 40*b153 <= 34.5;

e315:    x18 - x20 + 40*b154 <= 35.5;

e316:    x19 - x20 + 40*b155 <= 36;

e317:  - x11 + x12 + 40*b156 <= 34.5;

e318:  - x11 + x13 + 40*b157 <= 35.5;

e319:  - x11 + x14 + 40*b158 <= 35.5;

e320:  - x11 + x15 + 40*b159 <= 35;

e321:  - x11 + x16 + 40*b160 <= 36;

e322:  - x11 + x17 + 40*b161 <= 34;

e323:  - x11 + x18 + 40*b162 <= 34;

e324:  - x11 + x19 + 40*b163 <= 34.5;

e325:  - x11 + x20 + 40*b164 <= 35.5;

e326:  - x12 + x13 + 40*b165 <= 36;

e327:  - x12 + x14 + 40*b166 <= 36;

e328:  - x12 + x15 + 40*b167 <= 35.5;

e329:  - x12 + x16 + 40*b168 <= 36.5;

e330:  - x12 + x17 + 40*b169 <= 34.5;

e331:  - x12 + x18 + 40*b170 <= 34.5;

e332:  - x12 + x19 + 40*b171 <= 35;

e333:  - x12 + x20 + 40*b172 <= 36;

e334:  - x13 + x14 + 40*b173 <= 37;

e335:  - x13 + x15 + 40*b174 <= 36.5;

e336:  - x13 + x16 + 40*b175 <= 37.5;

e337:  - x13 + x17 + 40*b176 <= 35.5;

e338:  - x13 + x18 + 40*b177 <= 35.5;

e339:  - x13 + x19 + 40*b178 <= 36;

e340:  - x13 + x20 + 40*b179 <= 37;

e341:  - x14 + x15 + 40*b180 <= 36.5;

e342:  - x14 + x16 + 40*b181 <= 37.5;

e343:  - x14 + x17 + 40*b182 <= 35.5;

e344:  - x14 + x18 + 40*b183 <= 35.5;

e345:  - x14 + x19 + 40*b184 <= 36;

e346:  - x14 + x20 + 40*b185 <= 37;

e347:  - x15 + x16 + 40*b186 <= 37;

e348:  - x15 + x17 + 40*b187 <= 35;

e349:  - x15 + x18 + 40*b188 <= 35;

e350:  - x15 + x19 + 40*b189 <= 35.5;

e351:  - x15 + x20 + 40*b190 <= 36.5;

e352:  - x16 + x17 + 40*b191 <= 36;

e353:  - x16 + x18 + 40*b192 <= 36;

e354:  - x16 + x19 + 40*b193 <= 36.5;

e355:  - x16 + x20 + 40*b194 <= 37.5;

e356:  - x17 + x18 + 40*b195 <= 34;

e357:  - x17 + x19 + 40*b196 <= 34.5;

e358:  - x17 + x20 + 40*b197 <= 35.5;

e359:  - x18 + x19 + 40*b198 <= 34.5;

e360:  - x18 + x20 + 40*b199 <= 35.5;

e361:  - x19 + x20 + 40*b200 <= 36;

e362:    b21 + b66 + b111 + b156 = 1;

e363:    b22 + b67 + b112 + b157 = 1;

e364:    b23 + b68 + b113 + b158 = 1;

e365:    b24 + b69 + b114 + b159 = 1;

e366:    b25 + b70 + b115 + b160 = 1;

e367:    b26 + b71 + b116 + b161 = 1;

e368:    b27 + b72 + b117 + b162 = 1;

e369:    b28 + b73 + b118 + b163 = 1;

e370:    b29 + b74 + b119 + b164 = 1;

e371:    b30 + b75 + b120 + b165 = 1;

e372:    b31 + b76 + b121 + b166 = 1;

e373:    b32 + b77 + b122 + b167 = 1;

e374:    b33 + b78 + b123 + b168 = 1;

e375:    b34 + b79 + b124 + b169 = 1;

e376:    b35 + b80 + b125 + b170 = 1;

e377:    b36 + b81 + b126 + b171 = 1;

e378:    b37 + b82 + b127 + b172 = 1;

e379:    b38 + b83 + b128 + b173 = 1;

e380:    b39 + b84 + b129 + b174 = 1;

e381:    b40 + b85 + b130 + b175 = 1;

e382:    b41 + b86 + b131 + b176 = 1;

e383:    b42 + b87 + b132 + b177 = 1;

e384:    b43 + b88 + b133 + b178 = 1;

e385:    b44 + b89 + b134 + b179 = 1;

e386:    b45 + b90 + b135 + b180 = 1;

e387:    b46 + b91 + b136 + b181 = 1;

e388:    b47 + b92 + b137 + b182 = 1;

e389:    b48 + b93 + b138 + b183 = 1;

e390:    b49 + b94 + b139 + b184 = 1;

e391:    b50 + b95 + b140 + b185 = 1;

e392:    b51 + b96 + b141 + b186 = 1;

e393:    b52 + b97 + b142 + b187 = 1;

e394:    b53 + b98 + b143 + b188 = 1;

e395:    b54 + b99 + b144 + b189 = 1;

e396:    b55 + b100 + b145 + b190 = 1;

e397:    b56 + b101 + b146 + b191 = 1;

e398:    b57 + b102 + b147 + b192 = 1;

e399:    b58 + b103 + b148 + b193 = 1;

e400:    b59 + b104 + b149 + b194 = 1;

e401:    b60 + b105 + b150 + b195 = 1;

e402:    b61 + b106 + b151 + b196 = 1;

e403:    b62 + b107 + b152 + b197 = 1;

e404:    b63 + b108 + b153 + b198 = 1;

e405:    b64 + b109 + b154 + b199 = 1;

e406:    b65 + b110 + b155 + b200 = 1;