#  MINLP written by GAMS Convert at 01/12/18 13:42:29
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        436       76       60      300        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        343      283       60        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1243     1231       12        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x1 := 2.5, >= 2.5, <= 27.5;
var x2 := 3.5, >= 3.5, <= 26.5;
var x3 := 1.5, >= 1.5, <= 28.5;
var x4 := 1, >= 1, <= 29;
var x5 := 2, >= 2, <= 28;
var x6 := 2.5, >= 2.5, <= 27.5;
var x7 := 3, >= 3, <= 27;
var x8 := 2.5, >= 2.5, <= 27.5;
var x9 := 1.5, >= 1.5, <= 28.5;
var x10 := 1.5, >= 1.5, <= 28.5;
var x11 := 2, >= 2, <= 28;
var x12 := 1, >= 1, <= 29;
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 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 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 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;
var b293 binary >= 0, <= 1;
var b294 binary >= 0, <= 1;
var b295 binary >= 0, <= 1;
var b296 binary >= 0, <= 1;
var b297 binary >= 0, <= 1;
var b298 binary >= 0, <= 1;
var b299 binary >= 0, <= 1;
var b300 binary >= 0, <= 1;
var b301 binary >= 0, <= 1;
var b302 binary >= 0, <= 1;
var b303 binary >= 0, <= 1;
var b304 binary >= 0, <= 1;
var b305 binary >= 0, <= 1;
var b306 binary >= 0, <= 1;
var b307 binary >= 0, <= 1;
var b308 binary >= 0, <= 1;
var b309 binary >= 0, <= 1;
var b310 binary >= 0, <= 1;
var b311 binary >= 0, <= 1;
var b312 binary >= 0, <= 1;
var x313 >= 0;
var x314 >= 0;
var x315 >= 0;
var x316 >= 0;
var x317 >= 0;
var x318 >= 0;
var x319 >= 0;
var x320 >= 0;
var x321 >= 0;
var x322 >= 0;
var x323 >= 0;
var x324 >= 0;
var x325 >= 0;
var x326 >= 0;
var x327 >= 0;
var x328 >= 0;
var x329 >= 0;
var x330 >= 0;
var x331 >= 0;
var x332 >= 0;
var x333 >= 0;
var x334 >= 0;
var x335 >= 0;
var x336 >= 0;
var x337 >= 0;
var x338 >= 0;
var x339 >= 0;
var x340 >= 0;
var x341 >= 0;
var x342 >= 0;

minimize obj: 150*((-4 + x1)^2 + (-10 + x7)^2) + 390*((-10 + x2)^2 + (-15 + x8)
    ^2) + 240*((-7 + x3)^2 + (-9 + x9)^2) + 70*((-3 + x4)^2 + (-3 + x10)^2) + 
    165*((-20 + x5)^2 + (-17 + x11)^2) + 100*((-18 + x6)^2 + (-8 + x12)^2)
     + 300*x313 + 240*x314 + 210*x315 + 140*x316 + 300*x317 + 100*x318
     + 150*x319 + 220*x320 + 200*x321 + 120*x322 + 300*x323 + 150*x324
     + 100*x325 + 120*x326 + 130*x327 + 300*x328 + 240*x329 + 210*x330
     + 140*x331 + 300*x332 + 100*x333 + 150*x334 + 220*x335 + 200*x336
     + 120*x337 + 300*x338 + 150*x339 + 100*x340 + 120*x341 + 130*x342;

subject to

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

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

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

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

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

e7:  - x2 + x3 + x318 >= 0;

e8:  - x2 + x4 + x319 >= 0;

e9:  - x2 + x5 + x320 >= 0;

e10:  - x2 + x6 + x321 >= 0;

e11:  - x3 + x4 + x322 >= 0;

e12:  - x3 + x5 + x323 >= 0;

e13:  - x3 + x6 + x324 >= 0;

e14:  - x4 + x5 + x325 >= 0;

e15:  - x4 + x6 + x326 >= 0;

e16:  - x5 + x6 + x327 >= 0;

e17:    x1 - x2 + x313 >= 0;

e18:    x1 - x3 + x314 >= 0;

e19:    x1 - x4 + x315 >= 0;

e20:    x1 - x5 + x316 >= 0;

e21:    x1 - x6 + x317 >= 0;

e22:    x2 - x3 + x318 >= 0;

e23:    x2 - x4 + x319 >= 0;

e24:    x2 - x5 + x320 >= 0;

e25:    x2 - x6 + x321 >= 0;

e26:    x3 - x4 + x322 >= 0;

e27:    x3 - x5 + x323 >= 0;

e28:    x3 - x6 + x324 >= 0;

e29:    x4 - x5 + x325 >= 0;

e30:    x4 - x6 + x326 >= 0;

e31:    x5 - x6 + x327 >= 0;

e32:  - x7 + x8 + x328 >= 0;

e33:  - x7 + x9 + x329 >= 0;

e34:  - x7 + x10 + x330 >= 0;

e35:  - x7 + x11 + x331 >= 0;

e36:  - x7 + x12 + x332 >= 0;

e37:  - x8 + x9 + x333 >= 0;

e38:  - x8 + x10 + x334 >= 0;

e39:  - x8 + x11 + x335 >= 0;

e40:  - x8 + x12 + x336 >= 0;

e41:  - x9 + x10 + x337 >= 0;

e42:  - x9 + x11 + x338 >= 0;

e43:  - x9 + x12 + x339 >= 0;

e44:  - x10 + x11 + x340 >= 0;

e45:  - x10 + x12 + x341 >= 0;

e46:  - x11 + x12 + x342 >= 0;

e47:    x7 - x8 + x328 >= 0;

e48:    x7 - x9 + x329 >= 0;

e49:    x7 - x10 + x330 >= 0;

e50:    x7 - x11 + x331 >= 0;

e51:    x7 - x12 + x332 >= 0;

e52:    x8 - x9 + x333 >= 0;

e53:    x8 - x10 + x334 >= 0;

e54:    x8 - x11 + x335 >= 0;

e55:    x8 - x12 + x336 >= 0;

e56:    x9 - x10 + x337 >= 0;

e57:    x9 - x11 + x338 >= 0;

e58:    x9 - x12 + x339 >= 0;

e59:    x10 - x11 + x340 >= 0;

e60:    x10 - x12 + x341 >= 0;

e61:    x11 - x12 + x342 >= 0;

e62:    x1 - x13 - x18 - x23 - x28 = 0;

e63:    x1 - x14 - x19 - x24 - x29 = 0;

e64:    x1 - x15 - x20 - x25 - x30 = 0;

e65:    x1 - x16 - x21 - x26 - x31 = 0;

e66:    x1 - x17 - x22 - x27 - x32 = 0;

e67:    x2 - x33 - x38 - x43 - x48 = 0;

e68:    x2 - x34 - x39 - x44 - x49 = 0;

e69:    x2 - x35 - x40 - x45 - x50 = 0;

e70:    x2 - x36 - x41 - x46 - x51 = 0;

e71:    x2 - x37 - x42 - x47 - x52 = 0;

e72:    x3 - x53 - x58 - x63 - x68 = 0;

e73:    x3 - x54 - x59 - x64 - x69 = 0;

e74:    x3 - x55 - x60 - x65 - x70 = 0;

e75:    x3 - x56 - x61 - x66 - x71 = 0;

e76:    x3 - x57 - x62 - x67 - x72 = 0;

e77:    x4 - x73 - x78 - x83 - x88 = 0;

e78:    x4 - x74 - x79 - x84 - x89 = 0;

e79:    x4 - x75 - x80 - x85 - x90 = 0;

e80:    x4 - x76 - x81 - x86 - x91 = 0;

e81:    x4 - x77 - x82 - x87 - x92 = 0;

e82:    x5 - x93 - x98 - x103 - x108 = 0;

e83:    x5 - x94 - x99 - x104 - x109 = 0;

e84:    x5 - x95 - x100 - x105 - x110 = 0;

e85:    x5 - x96 - x101 - x106 - x111 = 0;

e86:    x5 - x97 - x102 - x107 - x112 = 0;

e87:    x6 - x113 - x118 - x123 - x128 = 0;

e88:    x6 - x114 - x119 - x124 - x129 = 0;

e89:    x6 - x115 - x120 - x125 - x130 = 0;

e90:    x6 - x116 - x121 - x126 - x131 = 0;

e91:    x6 - x117 - x122 - x127 - x132 = 0;

e92:    x7 - x133 - x138 - x143 - x148 = 0;

e93:    x7 - x134 - x139 - x144 - x149 = 0;

e94:    x7 - x135 - x140 - x145 - x150 = 0;

e95:    x7 - x136 - x141 - x146 - x151 = 0;

e96:    x7 - x137 - x142 - x147 - x152 = 0;

e97:    x8 - x153 - x158 - x163 - x168 = 0;

e98:    x8 - x154 - x159 - x164 - x169 = 0;

e99:    x8 - x155 - x160 - x165 - x170 = 0;

e100:    x8 - x156 - x161 - x166 - x171 = 0;

e101:    x8 - x157 - x162 - x167 - x172 = 0;

e102:    x9 - x173 - x178 - x183 - x188 = 0;

e103:    x9 - x174 - x179 - x184 - x189 = 0;

e104:    x9 - x175 - x180 - x185 - x190 = 0;

e105:    x9 - x176 - x181 - x186 - x191 = 0;

e106:    x9 - x177 - x182 - x187 - x192 = 0;

e107:    x10 - x193 - x198 - x203 - x208 = 0;

e108:    x10 - x194 - x199 - x204 - x209 = 0;

e109:    x10 - x195 - x200 - x205 - x210 = 0;

e110:    x10 - x196 - x201 - x206 - x211 = 0;

e111:    x10 - x197 - x202 - x207 - x212 = 0;

e112:    x11 - x213 - x218 - x223 - x228 = 0;

e113:    x11 - x214 - x219 - x224 - x229 = 0;

e114:    x11 - x215 - x220 - x225 - x230 = 0;

e115:    x11 - x216 - x221 - x226 - x231 = 0;

e116:    x11 - x217 - x222 - x227 - x232 = 0;

e117:    x12 - x233 - x238 - x243 - x248 = 0;

e118:    x12 - x234 - x239 - x244 - x249 = 0;

e119:    x12 - x235 - x240 - x245 - x250 = 0;

e120:    x12 - x236 - x241 - x246 - x251 = 0;

e121:    x12 - x237 - x242 - x247 - x252 = 0;

e122:    x13 - 27.5*b253 <= 0;

e123:    x14 - 27.5*b254 <= 0;

e124:    x15 - 27.5*b255 <= 0;

e125:    x16 - 27.5*b256 <= 0;

e126:    x17 - 27.5*b257 <= 0;

e127:    x18 - 27.5*b268 <= 0;

e128:    x19 - 27.5*b269 <= 0;

e129:    x20 - 27.5*b270 <= 0;

e130:    x21 - 27.5*b271 <= 0;

e131:    x22 - 27.5*b272 <= 0;

e132:    x23 - 27.5*b283 <= 0;

e133:    x24 - 27.5*b284 <= 0;

e134:    x25 - 27.5*b285 <= 0;

e135:    x26 - 27.5*b286 <= 0;

e136:    x27 - 27.5*b287 <= 0;

e137:    x28 - 27.5*b298 <= 0;

e138:    x29 - 27.5*b299 <= 0;

e139:    x30 - 27.5*b300 <= 0;

e140:    x31 - 27.5*b301 <= 0;

e141:    x32 - 27.5*b302 <= 0;

e142:    x33 - 27.5*b253 <= 0;

e143:    x34 - 26.5*b258 <= 0;

e144:    x35 - 26.5*b259 <= 0;

e145:    x36 - 26.5*b260 <= 0;

e146:    x37 - 26.5*b261 <= 0;

e147:    x38 - 27.5*b268 <= 0;

e148:    x39 - 26.5*b273 <= 0;

e149:    x40 - 26.5*b274 <= 0;

e150:    x41 - 26.5*b275 <= 0;

e151:    x42 - 26.5*b276 <= 0;

e152:    x43 - 27.5*b283 <= 0;

e153:    x44 - 26.5*b288 <= 0;

e154:    x45 - 26.5*b289 <= 0;

e155:    x46 - 26.5*b290 <= 0;

e156:    x47 - 26.5*b291 <= 0;

e157:    x48 - 27.5*b298 <= 0;

e158:    x49 - 26.5*b303 <= 0;

e159:    x50 - 26.5*b304 <= 0;

e160:    x51 - 26.5*b305 <= 0;

e161:    x52 - 26.5*b306 <= 0;

e162:    x53 - 27.5*b254 <= 0;

e163:    x54 - 26.5*b258 <= 0;

e164:    x55 - 28.5*b262 <= 0;

e165:    x56 - 28.5*b263 <= 0;

e166:    x57 - 28.5*b264 <= 0;

e167:    x58 - 27.5*b269 <= 0;

e168:    x59 - 26.5*b273 <= 0;

e169:    x60 - 28.5*b277 <= 0;

e170:    x61 - 28.5*b278 <= 0;

e171:    x62 - 28.5*b279 <= 0;

e172:    x63 - 27.5*b284 <= 0;

e173:    x64 - 26.5*b288 <= 0;

e174:    x65 - 28.5*b292 <= 0;

e175:    x66 - 28.5*b293 <= 0;

e176:    x67 - 28.5*b294 <= 0;

e177:    x68 - 27.5*b299 <= 0;

e178:    x69 - 26.5*b303 <= 0;

e179:    x70 - 28.5*b307 <= 0;

e180:    x71 - 28.5*b308 <= 0;

e181:    x72 - 28.5*b309 <= 0;

e182:    x73 - 27.5*b255 <= 0;

e183:    x74 - 26.5*b259 <= 0;

e184:    x75 - 28.5*b262 <= 0;

e185:    x76 - 29*b265 <= 0;

e186:    x77 - 29*b266 <= 0;

e187:    x78 - 27.5*b270 <= 0;

e188:    x79 - 26.5*b274 <= 0;

e189:    x80 - 28.5*b277 <= 0;

e190:    x81 - 29*b280 <= 0;

e191:    x82 - 29*b281 <= 0;

e192:    x83 - 27.5*b285 <= 0;

e193:    x84 - 26.5*b289 <= 0;

e194:    x85 - 28.5*b292 <= 0;

e195:    x86 - 29*b295 <= 0;

e196:    x87 - 29*b296 <= 0;

e197:    x88 - 27.5*b300 <= 0;

e198:    x89 - 26.5*b304 <= 0;

e199:    x90 - 28.5*b307 <= 0;

e200:    x91 - 29*b310 <= 0;

e201:    x92 - 29*b311 <= 0;

e202:    x93 - 27.5*b256 <= 0;

e203:    x94 - 26.5*b260 <= 0;

e204:    x95 - 28.5*b263 <= 0;

e205:    x96 - 29*b265 <= 0;

e206:    x97 - 28*b267 <= 0;

e207:    x98 - 27.5*b271 <= 0;

e208:    x99 - 26.5*b275 <= 0;

e209:    x100 - 28.5*b278 <= 0;

e210:    x101 - 29*b280 <= 0;

e211:    x102 - 28*b282 <= 0;

e212:    x103 - 27.5*b286 <= 0;

e213:    x104 - 26.5*b290 <= 0;

e214:    x105 - 28.5*b293 <= 0;

e215:    x106 - 29*b295 <= 0;

e216:    x107 - 28*b297 <= 0;

e217:    x108 - 27.5*b301 <= 0;

e218:    x109 - 26.5*b305 <= 0;

e219:    x110 - 28.5*b308 <= 0;

e220:    x111 - 29*b310 <= 0;

e221:    x112 - 28*b312 <= 0;

e222:    x113 - 27.5*b257 <= 0;

e223:    x114 - 26.5*b261 <= 0;

e224:    x115 - 28.5*b264 <= 0;

e225:    x116 - 29*b266 <= 0;

e226:    x117 - 28*b267 <= 0;

e227:    x118 - 27.5*b272 <= 0;

e228:    x119 - 26.5*b276 <= 0;

e229:    x120 - 28.5*b279 <= 0;

e230:    x121 - 29*b281 <= 0;

e231:    x122 - 28*b282 <= 0;

e232:    x123 - 27.5*b287 <= 0;

e233:    x124 - 26.5*b291 <= 0;

e234:    x125 - 28.5*b294 <= 0;

e235:    x126 - 29*b296 <= 0;

e236:    x127 - 28*b297 <= 0;

e237:    x128 - 27.5*b302 <= 0;

e238:    x129 - 26.5*b306 <= 0;

e239:    x130 - 28.5*b309 <= 0;

e240:    x131 - 29*b311 <= 0;

e241:    x132 - 28*b312 <= 0;

e242:    x133 - 27*b253 <= 0;

e243:    x134 - 27*b254 <= 0;

e244:    x135 - 27*b255 <= 0;

e245:    x136 - 27*b256 <= 0;

e246:    x137 - 27*b257 <= 0;

e247:    x138 - 27*b268 <= 0;

e248:    x139 - 27*b269 <= 0;

e249:    x140 - 27*b270 <= 0;

e250:    x141 - 27*b271 <= 0;

e251:    x142 - 27*b272 <= 0;

e252:    x143 - 27*b283 <= 0;

e253:    x144 - 27*b284 <= 0;

e254:    x145 - 27*b285 <= 0;

e255:    x146 - 27*b286 <= 0;

e256:    x147 - 27*b287 <= 0;

e257:    x148 - 27*b298 <= 0;

e258:    x149 - 27*b299 <= 0;

e259:    x150 - 27*b300 <= 0;

e260:    x151 - 27*b301 <= 0;

e261:    x152 - 27*b302 <= 0;

e262:    x153 - 27*b253 <= 0;

e263:    x154 - 27.5*b258 <= 0;

e264:    x155 - 27.5*b259 <= 0;

e265:    x156 - 27.5*b260 <= 0;

e266:    x157 - 27.5*b261 <= 0;

e267:    x158 - 27*b268 <= 0;

e268:    x159 - 27.5*b273 <= 0;

e269:    x160 - 27.5*b274 <= 0;

e270:    x161 - 27.5*b275 <= 0;

e271:    x162 - 27.5*b276 <= 0;

e272:    x163 - 27*b283 <= 0;

e273:    x164 - 27.5*b288 <= 0;

e274:    x165 - 27.5*b289 <= 0;

e275:    x166 - 27.5*b290 <= 0;

e276:    x167 - 27.5*b291 <= 0;

e277:    x168 - 27*b298 <= 0;

e278:    x169 - 27.5*b303 <= 0;

e279:    x170 - 27.5*b304 <= 0;

e280:    x171 - 27.5*b305 <= 0;

e281:    x172 - 27.5*b306 <= 0;

e282:    x173 - 27*b254 <= 0;

e283:    x174 - 27.5*b258 <= 0;

e284:    x175 - 28.5*b262 <= 0;

e285:    x176 - 28.5*b263 <= 0;

e286:    x177 - 28.5*b264 <= 0;

e287:    x178 - 27*b269 <= 0;

e288:    x179 - 27.5*b273 <= 0;

e289:    x180 - 28.5*b277 <= 0;

e290:    x181 - 28.5*b278 <= 0;

e291:    x182 - 28.5*b279 <= 0;

e292:    x183 - 27*b284 <= 0;

e293:    x184 - 27.5*b288 <= 0;

e294:    x185 - 28.5*b292 <= 0;

e295:    x186 - 28.5*b293 <= 0;

e296:    x187 - 28.5*b294 <= 0;

e297:    x188 - 27*b299 <= 0;

e298:    x189 - 27.5*b303 <= 0;

e299:    x190 - 28.5*b307 <= 0;

e300:    x191 - 28.5*b308 <= 0;

e301:    x192 - 28.5*b309 <= 0;

e302:    x193 - 27*b255 <= 0;

e303:    x194 - 27.5*b259 <= 0;

e304:    x195 - 28.5*b262 <= 0;

e305:    x196 - 28.5*b265 <= 0;

e306:    x197 - 28.5*b266 <= 0;

e307:    x198 - 27*b270 <= 0;

e308:    x199 - 27.5*b274 <= 0;

e309:    x200 - 28.5*b277 <= 0;

e310:    x201 - 28.5*b280 <= 0;

e311:    x202 - 28.5*b281 <= 0;

e312:    x203 - 27*b285 <= 0;

e313:    x204 - 27.5*b289 <= 0;

e314:    x205 - 28.5*b292 <= 0;

e315:    x206 - 28.5*b295 <= 0;

e316:    x207 - 28.5*b296 <= 0;

e317:    x208 - 27*b300 <= 0;

e318:    x209 - 27.5*b304 <= 0;

e319:    x210 - 28.5*b307 <= 0;

e320:    x211 - 28.5*b310 <= 0;

e321:    x212 - 28.5*b311 <= 0;

e322:    x213 - 27*b256 <= 0;

e323:    x214 - 27.5*b260 <= 0;

e324:    x215 - 28.5*b263 <= 0;

e325:    x216 - 28.5*b265 <= 0;

e326:    x217 - 28*b267 <= 0;

e327:    x218 - 27*b271 <= 0;

e328:    x219 - 27.5*b275 <= 0;

e329:    x220 - 28.5*b278 <= 0;

e330:    x221 - 28.5*b280 <= 0;

e331:    x222 - 28*b282 <= 0;

e332:    x223 - 27*b286 <= 0;

e333:    x224 - 27.5*b290 <= 0;

e334:    x225 - 28.5*b293 <= 0;

e335:    x226 - 28.5*b295 <= 0;

e336:    x227 - 28*b297 <= 0;

e337:    x228 - 27*b301 <= 0;

e338:    x229 - 27.5*b305 <= 0;

e339:    x230 - 28.5*b308 <= 0;

e340:    x231 - 28.5*b310 <= 0;

e341:    x232 - 28*b312 <= 0;

e342:    x233 - 27*b257 <= 0;

e343:    x234 - 27.5*b261 <= 0;

e344:    x235 - 28.5*b264 <= 0;

e345:    x236 - 28.5*b266 <= 0;

e346:    x237 - 28*b267 <= 0;

e347:    x238 - 27*b272 <= 0;

e348:    x239 - 27.5*b276 <= 0;

e349:    x240 - 28.5*b279 <= 0;

e350:    x241 - 28.5*b281 <= 0;

e351:    x242 - 28*b282 <= 0;

e352:    x243 - 27*b287 <= 0;

e353:    x244 - 27.5*b291 <= 0;

e354:    x245 - 28.5*b294 <= 0;

e355:    x246 - 28.5*b296 <= 0;

e356:    x247 - 28*b297 <= 0;

e357:    x248 - 27*b302 <= 0;

e358:    x249 - 27.5*b306 <= 0;

e359:    x250 - 28.5*b309 <= 0;

e360:    x251 - 28.5*b311 <= 0;

e361:    x252 - 28*b312 <= 0;

e362:    x13 - x33 + 6*b253 <= 0;

e363:    x14 - x53 + 4*b254 <= 0;

e364:    x15 - x73 + 3.5*b255 <= 0;

e365:    x16 - x93 + 4.5*b256 <= 0;

e366:    x17 - x113 + 5*b257 <= 0;

e367:    x34 - x54 + 5*b258 <= 0;

e368:    x35 - x74 + 4.5*b259 <= 0;

e369:    x36 - x94 + 5.5*b260 <= 0;

e370:    x37 - x114 + 6*b261 <= 0;

e371:    x55 - x75 + 2.5*b262 <= 0;

e372:    x56 - x95 + 3.5*b263 <= 0;

e373:    x57 - x115 + 4*b264 <= 0;

e374:    x76 - x96 + 3*b265 <= 0;

e375:    x77 - x116 + 3.5*b266 <= 0;

e376:    x97 - x117 + 4.5*b267 <= 0;

e377:  - x18 + x38 + 6*b268 <= 0;

e378:  - x19 + x58 + 4*b269 <= 0;

e379:  - x20 + x78 + 3.5*b270 <= 0;

e380:  - x21 + x98 + 4.5*b271 <= 0;

e381:  - x22 + x118 + 5*b272 <= 0;

e382:  - x39 + x59 + 5*b273 <= 0;

e383:  - x40 + x79 + 4.5*b274 <= 0;

e384:  - x41 + x99 + 5.5*b275 <= 0;

e385:  - x42 + x119 + 6*b276 <= 0;

e386:  - x60 + x80 + 2.5*b277 <= 0;

e387:  - x61 + x100 + 3.5*b278 <= 0;

e388:  - x62 + x120 + 4*b279 <= 0;

e389:  - x81 + x101 + 3*b280 <= 0;

e390:  - x82 + x121 + 3.5*b281 <= 0;

e391:  - x102 + x122 + 4.5*b282 <= 0;

e392:    x143 - x163 + 5.5*b283 <= 0;

e393:    x144 - x183 + 4.5*b284 <= 0;

e394:    x145 - x203 + 4.5*b285 <= 0;

e395:    x146 - x223 + 5*b286 <= 0;

e396:    x147 - x243 + 4*b287 <= 0;

e397:    x164 - x184 + 4*b288 <= 0;

e398:    x165 - x204 + 4*b289 <= 0;

e399:    x166 - x224 + 4.5*b290 <= 0;

e400:    x167 - x244 + 3.5*b291 <= 0;

e401:    x185 - x205 + 3*b292 <= 0;

e402:    x186 - x225 + 3.5*b293 <= 0;

e403:    x187 - x245 + 2.5*b294 <= 0;

e404:    x206 - x226 + 3.5*b295 <= 0;

e405:    x207 - x246 + 2.5*b296 <= 0;

e406:    x227 - x247 + 3*b297 <= 0;

e407:  - x148 + x168 + 5.5*b298 <= 0;

e408:  - x149 + x188 + 4.5*b299 <= 0;

e409:  - x150 + x208 + 4.5*b300 <= 0;

e410:  - x151 + x228 + 5*b301 <= 0;

e411:  - x152 + x248 + 4*b302 <= 0;

e412:  - x169 + x189 + 4*b303 <= 0;

e413:  - x170 + x209 + 4*b304 <= 0;

e414:  - x171 + x229 + 4.5*b305 <= 0;

e415:  - x172 + x249 + 3.5*b306 <= 0;

e416:  - x190 + x210 + 3*b307 <= 0;

e417:  - x191 + x230 + 3.5*b308 <= 0;

e418:  - x192 + x250 + 2.5*b309 <= 0;

e419:  - x211 + x231 + 3.5*b310 <= 0;

e420:  - x212 + x251 + 2.5*b311 <= 0;

e421:  - x232 + x252 + 3*b312 <= 0;

e422:    b253 + b268 + b283 + b298 = 1;

e423:    b254 + b269 + b284 + b299 = 1;

e424:    b255 + b270 + b285 + b300 = 1;

e425:    b256 + b271 + b286 + b301 = 1;

e426:    b257 + b272 + b287 + b302 = 1;

e427:    b258 + b273 + b288 + b303 = 1;

e428:    b259 + b274 + b289 + b304 = 1;

e429:    b260 + b275 + b290 + b305 = 1;

e430:    b261 + b276 + b291 + b306 = 1;

e431:    b262 + b277 + b292 + b307 = 1;

e432:    b263 + b278 + b293 + b308 = 1;

e433:    b264 + b279 + b294 + b309 = 1;

e434:    b265 + b280 + b295 + b310 = 1;

e435:    b266 + b281 + b296 + b311 = 1;

e436:    b267 + b282 + b297 + b312 = 1;