#  NLP written by GAMS Convert at 01/12/18 13:52:11
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        209       97       32       80        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        433      433        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2801     1617     1184        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0, <= 100000;
var x3 >= 0, <= 100000;
var x4 >= 0, <= 100000;
var x5 >= 0, <= 100000;
var x6 >= 0, <= 100000;
var x7 >= 0, <= 100000;
var x8 >= 0, <= 100000;
var x9 >= 0, <= 100000;
var x10 >= 0, <= 100000;
var x11 >= 0, <= 100000;
var x12 >= 0, <= 100000;
var x13 >= 0, <= 100000;
var x14 >= 0, <= 100000;
var x15 >= 0, <= 100000;
var x16 >= 0, <= 100000;
var x17 >= 0, <= 100000;
var x18 >= 0, <= 100000;
var x19 >= 0, <= 100000;
var x20 >= 0, <= 100000;
var x21 >= 0, <= 100000;
var x22 >= 0, <= 100000;
var x23 >= 0, <= 100000;
var x24 >= 0, <= 100000;
var x25 >= 0, <= 100000;
var x26 >= 0, <= 100000;
var x27 >= 0, <= 100000;
var x28 >= 0, <= 100000;
var x29 >= 0, <= 100000;
var x30 >= 0, <= 100000;
var x31 >= 0, <= 100000;
var x32 >= 0, <= 100000;
var x33 >= 0, <= 100000;
var x34 >= 0, <= 100000;
var x35 >= 0, <= 100000;
var x36 >= 0, <= 100000;
var x37 >= 0, <= 100000;
var x38 >= 0, <= 100000;
var x39 >= 0, <= 100000;
var x40 >= 0, <= 100000;
var x41 >= 0, <= 100000;
var x42 >= 0, <= 100000;
var x43 >= 0, <= 100000;
var x44 >= 0, <= 100000;
var x45 >= 0, <= 100000;
var x46 >= 0, <= 100000;
var x47 >= 0, <= 100000;
var x48 >= 0, <= 100000;
var x49 >= 0, <= 100000;
var x50 >= 0, <= 100000;
var x51 >= 0, <= 100000;
var x52 >= 0, <= 100000;
var x53 >= 0, <= 100000;
var x54 >= 0, <= 100000;
var x55 >= 0, <= 100000;
var x56 >= 0, <= 100000;
var x57 >= 0, <= 100000;
var x58 >= 0, <= 100000;
var x59 >= 0, <= 100000;
var x60 >= 0, <= 100000;
var x61 >= 0, <= 100000;
var x62 >= 0, <= 100000;
var x63 >= 0, <= 100000;
var x64 >= 0, <= 100000;
var x65 >= 0, <= 100000;
var x66 >= 0, <= 100000;
var x67 >= 0, <= 100000;
var x68 >= 0, <= 100000;
var x69 >= 0, <= 100000;
var x70 >= 0, <= 100000;
var x71 >= 0, <= 100000;
var x72 >= 0, <= 100000;
var x73 >= 0, <= 100000;
var x74 >= 0, <= 100000;
var x75 >= 0, <= 100000;
var x76 >= 0, <= 100000;
var x77 >= 0, <= 100000;
var x78 >= 0, <= 100000;
var x79 >= 0, <= 100000;
var x80 >= 0, <= 100000;
var x81 >= 0, <= 100000;
var x82 >= 0, <= 100000;
var x83 >= 0, <= 100000;
var x84 >= 0, <= 100000;
var x85 >= 0, <= 100000;
var x86 >= 0, <= 100000;
var x87 >= 0, <= 100000;
var x88 >= 0, <= 100000;
var x89 >= 0, <= 100000;
var x90 >= 0, <= 100000;
var x91 >= 0, <= 100000;
var x92 >= 0, <= 100000;
var x93 >= 0, <= 100000;
var x94 >= 0, <= 100000;
var x95 >= 0, <= 100000;
var x96 >= 0, <= 100000;
var x97 >= 0, <= 100000;
var x98 >= 0, <= 100000;
var x99 >= 0, <= 100000;
var x100 >= 0, <= 100000;
var x101 >= 0, <= 100000;
var x102 >= 0, <= 100000;
var x103 >= 0, <= 100000;
var x104 >= 0, <= 100000;
var x105 >= 0, <= 100000;
var x106 >= 0, <= 100000;
var x107 >= 0, <= 100000;
var x108 >= 0, <= 100000;
var x109 >= 0, <= 100000;
var x110 >= 0, <= 100000;
var x111 >= 0, <= 100000;
var x112 >= 0, <= 100000;
var x113 >= 0, <= 100000;
var x114 >= 0, <= 100000;
var x115 >= 0, <= 100000;
var x116 >= 0, <= 100000;
var x117 >= 0, <= 100000;
var x118 >= 0, <= 100000;
var x119 >= 0, <= 100000;
var x120 >= 0, <= 100000;
var x121 >= 0, <= 100000;
var x122 >= 0, <= 100000;
var x123 >= 0, <= 100000;
var x124 >= 0, <= 100000;
var x125 >= 0, <= 100000;
var x126 >= 0, <= 100000;
var x127 >= 0, <= 100000;
var x128 >= 0, <= 100000;
var x129 >= 0, <= 100000;
var x130 >= 0, <= 100000;
var x131 >= 0, <= 100000;
var x132 >= 0, <= 100000;
var x133 >= 0, <= 100000;
var x134 >= 0, <= 100000;
var x135 >= 0, <= 100000;
var x136 >= 0, <= 100000;
var x137 >= 0, <= 100000;
var x138 >= 0, <= 100000;
var x139 >= 0, <= 100000;
var x140 >= 0, <= 100000;
var x141 >= 0, <= 100000;
var x142 >= 0, <= 100000;
var x143 >= 0, <= 100000;
var x144 >= 0, <= 100000;
var x145 >= 0, <= 100000;
var x146 >= 0, <= 100000;
var x147 >= 0, <= 100000;
var x148 >= 0, <= 100000;
var x149 >= 0, <= 100000;
var x150 >= 0, <= 100000;
var x151 >= 0, <= 100000;
var x152 >= 0, <= 100000;
var x153 >= 0, <= 100000;
var x154 >= 0, <= 100000;
var x155 >= 0, <= 100000;
var x156 >= 0, <= 100000;
var x157 >= 0, <= 100000;
var x158 >= 0, <= 100000;
var x159 >= 0, <= 100000;
var x160 >= 0, <= 100000;
var x161 >= 0, <= 100000;
var x162 >= 0, <= 100000;
var x163 >= 0, <= 100000;
var x164 >= 0, <= 100000;
var x165 >= 0, <= 100000;
var x166 >= 0, <= 100000;
var x167 >= 0, <= 100000;
var x168 >= 0, <= 100000;
var x169 >= 0, <= 100000;
var x170 >= 0, <= 100000;
var x171 >= 0, <= 100000;
var x172 >= 0, <= 100000;
var x173 >= 0, <= 100000;
var x174 >= 0, <= 100000;
var x175 >= 0, <= 100000;
var x176 >= 0, <= 100000;
var x177 >= 0, <= 100000;
var x178 >= 0, <= 100000;
var x179 >= 0, <= 100000;
var x180 >= 0, <= 100000;
var x181 >= 0, <= 100000;
var x182 >= 0, <= 100000;
var x183 >= 0, <= 100000;
var x184 >= 0, <= 100000;
var x185 >= 0, <= 100000;
var x186 >= 0, <= 100000;
var x187 >= 0, <= 100000;
var x188 >= 0, <= 100000;
var x189 >= 0, <= 100000;
var x190 >= 0, <= 100000;
var x191 >= 0, <= 100000;
var x192 >= 0, <= 100000;
var x193 >= 0, <= 100000;
var x194 >= 0, <= 100000;
var x195 >= 0, <= 100000;
var x196 >= 0, <= 100000;
var x197 >= 0, <= 100000;
var x198 >= 0, <= 100000;
var x199 >= 0, <= 100000;
var x200 >= 0, <= 100000;
var x201 >= 0, <= 100000;
var x202 >= 0, <= 100000;
var x203 >= 0, <= 100000;
var x204 >= 0, <= 100000;
var x205 >= 0, <= 100000;
var x206 >= 0, <= 100000;
var x207 >= 0, <= 100000;
var x208 >= 0, <= 100000;
var x209 >= 0, <= 100000;
var x210 >= 0, <= 100000;
var x211 >= 0, <= 100000;
var x212 >= 0, <= 100000;
var x213 >= 0, <= 100000;
var x214 >= 0, <= 100000;
var x215 >= 0, <= 100000;
var x216 >= 0, <= 100000;
var x217 >= 0, <= 100000;
var x218 >= 0, <= 100000;
var x219 >= 0, <= 100000;
var x220 >= 0, <= 100000;
var x221 >= 0, <= 100000;
var x222 >= 0, <= 100000;
var x223 >= 0, <= 100000;
var x224 >= 0, <= 100000;
var x225 >= 0, <= 100000;
var x226 >= 0, <= 100000;
var x227 >= 0, <= 100000;
var x228 >= 0, <= 100000;
var x229 >= 0, <= 100000;
var x230 >= 0, <= 100000;
var x231 >= 0, <= 100000;
var x232 >= 0, <= 100000;
var x233 >= 0, <= 100000;
var x234 >= 0, <= 100000;
var x235 >= 0, <= 100000;
var x236 >= 0, <= 100000;
var x237 >= 0, <= 100000;
var x238 >= 0, <= 100000;
var x239 >= 0, <= 100000;
var x240 >= 0, <= 100000;
var x241 >= 0, <= 100000;
var x242 >= 0, <= 100000;
var x243 >= 0, <= 100000;
var x244 >= 0, <= 100000;
var x245 >= 0, <= 100000;
var x246 >= 0, <= 100000;
var x247 >= 0, <= 100000;
var x248 >= 0, <= 100000;
var x249 >= 0, <= 100000;
var x250 >= 0, <= 100000;
var x251 >= 0, <= 100000;
var x252 >= 0, <= 100000;
var x253 >= 0, <= 100000;
var x254 >= 0, <= 100000;
var x255 >= 0, <= 100000;
var x256 >= 0, <= 100000;
var x257 >= 0, <= 100000;
var x258 >= 0, <= 100000;
var x259 >= 0, <= 100000;
var x260 >= 0, <= 100000;
var x261 >= 0, <= 100000;
var x262 >= 0, <= 100000;
var x263 >= 0, <= 100000;
var x264 >= 0, <= 100000;
var x265 >= 0, <= 100000;
var x266 >= 0, <= 100000;
var x267 >= 0, <= 100000;
var x268 >= 0, <= 100000;
var x269 >= 0, <= 100000;
var x270 >= 0, <= 100000;
var x271 >= 0, <= 100000;
var x272 >= 0, <= 100000;
var x273 >= 0, <= 100000;
var x274 >= 0, <= 100000;
var x275 >= 0, <= 100000;
var x276 >= 0, <= 100000;
var x277 >= 0, <= 100000;
var x278 >= 0, <= 100000;
var x279 >= 0, <= 100000;
var x280 >= 0, <= 100000;
var x281 >= 0, <= 100000;
var x282 >= 0, <= 100000;
var x283 >= 0, <= 100000;
var x284 >= 0, <= 100000;
var x285 >= 0, <= 100000;
var x286 >= 0, <= 100000;
var x287 >= 0, <= 100000;
var x288 >= 0, <= 100000;
var x289 >= 0, <= 100000;
var x290 >= 0, <= 100000;
var x291 >= 0, <= 100000;
var x292 >= 0, <= 100000;
var x293 >= 0, <= 100000;
var x294 >= 0, <= 100000;
var x295 >= 0, <= 100000;
var x296 >= 0, <= 100000;
var x297 >= 0, <= 100000;
var x298 >= 0, <= 100000;
var x299 >= 0, <= 100000;
var x300 >= 0, <= 100000;
var x301 >= 0, <= 100000;
var x302 >= 0, <= 100000;
var x303 >= 0, <= 100000;
var x304 >= 0, <= 100000;
var x305 >= 0, <= 100000;
var x306 >= 0, <= 100000;
var x307 >= 0, <= 100000;
var x308 >= 0, <= 100000;
var x309 >= 0, <= 100000;
var x310 >= 0, <= 100000;
var x311 >= 0, <= 100000;
var x312 >= 0, <= 100000;
var x313 >= 0, <= 100000;
var x314 >= 0, <= 100000;
var x315 >= 0, <= 100000;
var x316 >= 0, <= 100000;
var x317 >= 0, <= 100000;
var x318 >= 0, <= 100000;
var x319 >= 0, <= 100000;
var x320 >= 0, <= 100000;
var x321 >= 0, <= 100000;
var x322 >= 0, <= 100000;
var x323 >= 0, <= 100000;
var x324 >= 0, <= 100000;
var x325 >= 0, <= 100000;
var x326 >= 0, <= 100000;
var x327 >= 0, <= 100000;
var x328 >= 0, <= 100000;
var x329 >= 0, <= 100000;
var x330 >= 0, <= 100000;
var x331 >= 0, <= 100000;
var x332 >= 0, <= 100000;
var x333 >= 0, <= 100000;
var x334 >= 0, <= 100000;
var x335 >= 0, <= 100000;
var x336 >= 0, <= 100000;
var x337 >= 0, <= 100000;
var x338 >= 0, <= 100000;
var x339 >= 0, <= 100000;
var x340 >= 0, <= 100000;
var x341 >= 0, <= 100000;
var x342 >= 0, <= 100000;
var x343 >= 0, <= 100000;
var x344 >= 0, <= 100000;
var x345 >= 0, <= 100000;
var x346 >= 0, <= 100000;
var x347 >= 0, <= 100000;
var x348 >= 0, <= 100000;
var x349 >= 0, <= 100000;
var x350 >= 0, <= 100000;
var x351 >= 0, <= 100000;
var x352 >= 0, <= 100000;
var x353 >= 0, <= 100000;
var x354 >= 0, <= 100000;
var x355 >= 0, <= 100000;
var x356 >= 0, <= 100000;
var x357 >= 0, <= 100000;
var x358 >= 0, <= 100000;
var x359 >= 0, <= 100000;
var x360 >= 0, <= 100000;
var x361 >= 0, <= 100000;
var x362 >= 0, <= 100000;
var x363 >= 0, <= 100000;
var x364 >= 0, <= 100000;
var x365 >= 0, <= 100000;
var x366 >= 0, <= 100000;
var x367 >= 0, <= 100000;
var x368 >= 0, <= 100000;
var x369 >= 0, <= 100000;
var x370 >= 0, <= 100000;
var x371 >= 0, <= 100000;
var x372 >= 0, <= 100000;
var x373 >= 0, <= 100000;
var x374 >= 0, <= 100000;
var x375 >= 0, <= 100000;
var x376 >= 0, <= 100000;
var x377 >= 0, <= 100000;
var x378 >= 0, <= 100000;
var x379 >= 0, <= 100000;
var x380 >= 0, <= 100000;
var x381 >= 0, <= 100000;
var x382 >= 0, <= 100000;
var x383 >= 0, <= 100000;
var x384 >= 0, <= 100000;
var x385 >= 0, <= 100000;
var x386 >= 0, <= 100000;
var x387 >= 0, <= 100000;
var x388 >= 0, <= 100000;
var x389 >= 0, <= 100000;
var x390 >= 0, <= 100000;
var x391 >= 0, <= 100000;
var x392 >= 0, <= 100000;
var x393 >= 0, <= 100000;
var x394 >= 0, <= 100000;
var x395 >= 0, <= 100000;
var x396 >= 0, <= 100000;
var x397 >= 0, <= 100000;
var x398 >= 0, <= 100000;
var x399 >= 0, <= 100000;
var x400 >= 0, <= 100000;
var x401 >= 0, <= 100000;
var x402 >= 0, <= 100000;
var x403 >= 0, <= 100000;
var x404 >= 0, <= 100000;
var x405 >= 0, <= 100000;
var x406 >= 0, <= 100000;
var x407 >= 0, <= 100000;
var x408 >= 0, <= 100000;
var x409 >= 0, <= 100000;
var x410 >= 0, <= 100000;
var x411 >= 0, <= 100000;
var x412 >= 0, <= 100000;
var x413 >= 0, <= 100000;
var x414 >= 0, <= 100000;
var x415 >= 0, <= 100000;
var x416 >= 0, <= 100000;
var x417 >= 0, <= 100000;
var x418 >= 0, <= 100000;
var x419 >= 0, <= 100000;
var x420 >= 0, <= 100000;
var x421 >= 0, <= 100000;
var x422 >= 0, <= 100000;
var x423 >= 0, <= 100000;
var x424 >= 0, <= 100000;
var x425 >= 0, <= 100000;
var x426 >= 0, <= 100000;
var x427 >= 0, <= 100000;
var x428 >= 0, <= 100000;
var x429 >= 0, <= 100000;
var x430 >= 0, <= 100000;
var x431 >= 0, <= 100000;
var x432 >= 0, <= 100000;
var x433 >= 0, <= 100000;

minimize obj:    x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13
     + x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25
     + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 + x37
     + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 + x49
     + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 + x61
     + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 + x71 + x72 + x73
     + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81;

subject to

e2:  - x2 - x18 - x34 - x50 - x66 + x82 - x114 - x130 - x146 - x162 - x178
     - x194 - x210 - x226 - x242 - x258 - x274 - x290 - x306 - x322 - x338
     - x354 = 0;

e3:  - x3 - x19 - x35 - x51 - x67 + x83 - x115 - x131 - x147 - x163 - x179
     - x195 - x211 - x227 - x243 - x259 - x275 - x291 - x307 - x323 - x339
     - x355 = 0;

e4:  - x4 - x20 - x36 - x52 - x68 + x84 - x116 - x132 - x148 - x164 - x180
     - x196 - x212 - x228 - x244 - x260 - x276 - x292 - x308 - x324 - x340
     - x356 = 0;

e5:  - x5 - x21 - x37 - x53 - x69 + x85 - x117 - x133 - x149 - x165 - x181
     - x197 - x213 - x229 - x245 - x261 - x277 - x293 - x309 - x325 - x341
     - x357 = 0;

e6:  - x6 - x22 - x38 - x54 - x70 + x86 - x118 - x134 - x150 - x166 - x182
     - x198 - x214 - x230 - x246 - x262 - x278 - x294 - x310 - x326 - x342
     - x358 = 0;

e7:  - x7 - x23 - x39 - x55 - x71 + x87 - x119 - x135 - x151 - x167 - x183
     - x199 - x215 - x231 - x247 - x263 - x279 - x295 - x311 - x327 - x343
     - x359 = 0;

e8:  - x8 - x24 - x40 - x56 - x72 + x88 - x120 - x136 - x152 - x168 - x184
     - x200 - x216 - x232 - x248 - x264 - x280 - x296 - x312 - x328 - x344
     - x360 = 0;

e9:  - x9 - x25 - x41 - x57 - x73 + x89 - x121 - x137 - x153 - x169 - x185
     - x201 - x217 - x233 - x249 - x265 - x281 - x297 - x313 - x329 - x345
     - x361 = 0;

e10:  - x10 - x26 - x42 - x58 - x74 - x122 - x138 - x154 - x170 - x186 - x202
      - x218 - x234 - x250 - x266 - x282 - x298 - x314 - x330 - x346 - x362
      = -98;

e11:  - x11 - x27 - x43 - x59 - x75 - x123 - x139 - x155 - x171 - x187 - x203
      - x219 - x235 - x251 - x267 - x283 - x299 - x315 - x331 - x347 - x363
      = -75;

e12:  - x12 - x28 - x44 - x60 - x76 - x124 - x140 - x156 - x172 - x188 - x204
      - x220 - x236 - x252 - x268 - x284 - x300 - x316 - x332 - x348 - x364
      = -85;

e13:  - x13 - x29 - x45 - x61 - x77 - x125 - x141 - x157 - x173 - x189 - x205
      - x221 - x237 - x253 - x269 - x285 - x301 - x317 - x333 - x349 - x365
      = -195;

e14:  - x14 - x30 - x46 - x62 - x78 - x126 - x142 - x158 - x174 - x190 - x206
      - x222 - x238 - x254 - x270 - x286 - x302 - x318 - x334 - x350 - x366
      = -60;

e15:  - x15 - x31 - x47 - x63 - x79 - x127 - x143 - x159 - x175 - x191 - x207
      - x223 - x239 - x255 - x271 - x287 - x303 - x319 - x335 - x351 - x367
      = -23;

e16:  - x16 - x32 - x48 - x64 - x80 - x128 - x144 - x160 - x176 - x192 - x208
      - x224 - x240 - x256 - x272 - x288 - x304 - x320 - x336 - x352 - x368
      = -100;

e17:  - x17 - x33 - x49 - x65 - x81 - x129 - x145 - x161 - x177 - x193 - x209
      - x225 - x241 - x257 - x273 - x289 - x305 - x321 - x337 - x353 - x369
      = -45;

e18:    x82 - x98 - x114 - x115 - x116 - x117 - x118 - x119 - x120 - x121
      - x122 - x123 - x124 - x125 - x126 - x127 - x128 - x129 = 0;

e19:    x83 - x99 - x130 - x131 - x132 - x133 - x134 - x135 - x136 - x137
      - x138 - x139 - x140 - x141 - x142 - x143 - x144 - x145 = 0;

e20:    x84 - x100 - x146 - x147 - x148 - x149 - x150 - x151 - x152 - x153
      - x154 - x155 - x156 - x157 - x158 - x159 - x160 - x161 = 0;

e21:    x85 - x101 - x162 - x163 - x164 - x165 - x166 - x167 - x168 - x169
      - x170 - x171 - x172 - x173 - x174 - x175 - x176 - x177 = 0;

e22:    x86 - x102 - x178 - x179 - x180 - x181 - x182 - x183 - x184 - x185
      - x186 - x187 - x188 - x189 - x190 - x191 - x192 - x193 = 0;

e23:    x87 - x103 - x194 - x195 - x196 - x197 - x198 - x199 - x200 - x201
      - x202 - x203 - x204 - x205 - x206 - x207 - x208 - x209 = 0;

e24:    x88 - x104 - x210 - x211 - x212 - x213 - x214 - x215 - x216 - x217
      - x218 - x219 - x220 - x221 - x222 - x223 - x224 - x225 = 0;

e25:    x89 - x105 - x226 - x227 - x228 - x229 - x230 - x231 - x232 - x233
      - x234 - x235 - x236 - x237 - x238 - x239 - x240 - x241 = 0;

e26:  - x106 - x242 - x243 - x244 - x245 - x246 - x247 - x248 - x249 - x250
      - x251 - x252 - x253 - x254 - x255 - x256 - x257 = -58;

e27:  - x107 - x258 - x259 - x260 - x261 - x262 - x263 - x264 - x265 - x266
      - x267 - x268 - x269 - x270 - x271 - x272 - x273 = -115;

e28:  - x108 - x274 - x275 - x276 - x277 - x278 - x279 - x280 - x281 - x282
      - x283 - x284 - x285 - x286 - x287 - x288 - x289 = -85;

e29:  - x109 - x290 - x291 - x292 - x293 - x294 - x295 - x296 - x297 - x298
      - x299 - x300 - x301 - x302 - x303 - x304 - x305 = -200;

e30:  - x110 - x306 - x307 - x308 - x309 - x310 - x311 - x312 - x313 - x314
      - x315 - x316 - x317 - x318 - x319 - x320 - x321 = -40;

e31:  - x111 - x322 - x323 - x324 - x325 - x326 - x327 - x328 - x329 - x330
      - x331 - x332 - x333 - x334 - x335 - x336 - x337 = -45;

e32:  - x112 - x338 - x339 - x340 - x341 - x342 - x343 - x344 - x345 - x346
      - x347 - x348 - x349 - x350 - x351 - x352 - x353 = -120;

e33:  - x113 - x354 - x355 - x356 - x357 - x358 - x359 - x360 - x361 - x362
      - x363 - x364 - x365 - x366 - x367 - x368 - x369 = -75;

e34: x82*x370 - (x114*x402 + x130*x406 + x146*x410 + x162*x414 + x178*x418 + 
     x194*x422 + x210*x426 + x226*x430) - 2*x2 - 7*x18 - 7*x34 - 7*x50 - 6*x66
      - 2704*x242 - 2504*x258 - 2966*x274 - 1446*x290 - 2236*x306 - 2808*x322
      - 1753*x338 - 1379*x354 = 0;

e35: x82*x371 - (x114*x403 + x130*x407 + x146*x411 + x162*x415 + x178*x419 + 
     x194*x423 + x210*x427 + x226*x431) - 9*x2 - 6*x18 - 9*x34 - 9*x50 - 9*x66
      - 2282*x242 - 2858*x258 - 2563*x274 - 1730*x290 - 2292*x306 - 1630*x322
      - 1716*x338 - 2352*x354 = 0;

e36: x82*x372 - (x114*x404 + x130*x408 + x146*x412 + x162*x416 + x178*x420 + 
     x194*x424 + x210*x428 + x226*x432) - 8*x2 - 4*x18 - 7*x34 - 5*x50 - 2*x66
      - 2753*x242 - 2823*x258 - 2218*x274 - 2830*x290 - 1911*x306 - 2281*x322
      - 890*x338 - 2532*x354 = 0;

e37: x82*x373 - (x114*x405 + x130*x409 + x146*x413 + x162*x417 + x178*x421 + 
     x194*x425 + x210*x429 + x226*x433) - x2 - 6*x18 - x34 - x50 - x66
      - 716*x242 - 2142*x258 - 2127*x274 - 2558*x290 - 2001*x306 - 1996*x322
      - 1853*x338 - 626*x354 = 0;

e38: x83*x374 - (x115*x402 + x131*x406 + x147*x410 + x163*x414 + x179*x418 + 
     x195*x422 + x211*x426 + x227*x430) - 2*x3 - 7*x19 - 7*x35 - 7*x51 - 6*x67
      - 2704*x243 - 2504*x259 - 2966*x275 - 1446*x291 - 2236*x307 - 2808*x323
      - 1753*x339 - 1379*x355 = 0;

e39: x83*x375 - (x115*x403 + x131*x407 + x147*x411 + x163*x415 + x179*x419 + 
     x195*x423 + x211*x427 + x227*x431) - 9*x3 - 6*x19 - 9*x35 - 9*x51 - 9*x67
      - 2282*x243 - 2858*x259 - 2563*x275 - 1730*x291 - 2292*x307 - 1630*x323
      - 1716*x339 - 2352*x355 = 0;

e40: x83*x376 - (x115*x404 + x131*x408 + x147*x412 + x163*x416 + x179*x420 + 
     x195*x424 + x211*x428 + x227*x432) - 8*x3 - 4*x19 - 7*x35 - 5*x51 - 2*x67
      - 2753*x243 - 2823*x259 - 2218*x275 - 2830*x291 - 1911*x307 - 2281*x323
      - 890*x339 - 2532*x355 = 0;

e41: x83*x377 - (x115*x405 + x131*x409 + x147*x413 + x163*x417 + x179*x421 + 
     x195*x425 + x211*x429 + x227*x433) - x3 - 6*x19 - x35 - x51 - x67
      - 716*x243 - 2142*x259 - 2127*x275 - 2558*x291 - 2001*x307 - 1996*x323
      - 1853*x339 - 626*x355 = 0;

e42: x84*x378 - (x116*x402 + x132*x406 + x148*x410 + x164*x414 + x180*x418 + 
     x196*x422 + x212*x426 + x228*x430) - 2*x4 - 7*x20 - 7*x36 - 7*x52 - 6*x68
      - 2704*x244 - 2504*x260 - 2966*x276 - 1446*x292 - 2236*x308 - 2808*x324
      - 1753*x340 - 1379*x356 = 0;

e43: x84*x379 - (x116*x403 + x132*x407 + x148*x411 + x164*x415 + x180*x419 + 
     x196*x423 + x212*x427 + x228*x431) - 9*x4 - 6*x20 - 9*x36 - 9*x52 - 9*x68
      - 2282*x244 - 2858*x260 - 2563*x276 - 1730*x292 - 2292*x308 - 1630*x324
      - 1716*x340 - 2352*x356 = 0;

e44: x84*x380 - (x116*x404 + x132*x408 + x148*x412 + x164*x416 + x180*x420 + 
     x196*x424 + x212*x428 + x228*x432) - 8*x4 - 4*x20 - 7*x36 - 5*x52 - 2*x68
      - 2753*x244 - 2823*x260 - 2218*x276 - 2830*x292 - 1911*x308 - 2281*x324
      - 890*x340 - 2532*x356 = 0;

e45: x84*x381 - (x116*x405 + x132*x409 + x148*x413 + x164*x417 + x180*x421 + 
     x196*x425 + x212*x429 + x228*x433) - x4 - 6*x20 - x36 - x52 - x68
      - 716*x244 - 2142*x260 - 2127*x276 - 2558*x292 - 2001*x308 - 1996*x324
      - 1853*x340 - 626*x356 = 0;

e46: x85*x382 - (x117*x402 + x133*x406 + x149*x410 + x165*x414 + x181*x418 + 
     x197*x422 + x213*x426 + x229*x430) - 2*x5 - 7*x21 - 7*x37 - 7*x53 - 6*x69
      - 2704*x245 - 2504*x261 - 2966*x277 - 1446*x293 - 2236*x309 - 2808*x325
      - 1753*x341 - 1379*x357 = 0;

e47: x85*x383 - (x117*x403 + x133*x407 + x149*x411 + x165*x415 + x181*x419 + 
     x197*x423 + x213*x427 + x229*x431) - 9*x5 - 6*x21 - 9*x37 - 9*x53 - 9*x69
      - 2282*x245 - 2858*x261 - 2563*x277 - 1730*x293 - 2292*x309 - 1630*x325
      - 1716*x341 - 2352*x357 = 0;

e48: x85*x384 - (x117*x404 + x133*x408 + x149*x412 + x165*x416 + x181*x420 + 
     x197*x424 + x213*x428 + x229*x432) - 8*x5 - 4*x21 - 7*x37 - 5*x53 - 2*x69
      - 2753*x245 - 2823*x261 - 2218*x277 - 2830*x293 - 1911*x309 - 2281*x325
      - 890*x341 - 2532*x357 = 0;

e49: x85*x385 - (x117*x405 + x133*x409 + x149*x413 + x165*x417 + x181*x421 + 
     x197*x425 + x213*x429 + x229*x433) - x5 - 6*x21 - x37 - x53 - x69
      - 716*x245 - 2142*x261 - 2127*x277 - 2558*x293 - 2001*x309 - 1996*x325
      - 1853*x341 - 626*x357 = 0;

e50: x86*x386 - (x118*x402 + x134*x406 + x150*x410 + x166*x414 + x182*x418 + 
     x198*x422 + x214*x426 + x230*x430) - 2*x6 - 7*x22 - 7*x38 - 7*x54 - 6*x70
      - 2704*x246 - 2504*x262 - 2966*x278 - 1446*x294 - 2236*x310 - 2808*x326
      - 1753*x342 - 1379*x358 = 0;

e51: x86*x387 - (x118*x403 + x134*x407 + x150*x411 + x166*x415 + x182*x419 + 
     x198*x423 + x214*x427 + x230*x431) - 9*x6 - 6*x22 - 9*x38 - 9*x54 - 9*x70
      - 2282*x246 - 2858*x262 - 2563*x278 - 1730*x294 - 2292*x310 - 1630*x326
      - 1716*x342 - 2352*x358 = 0;

e52: x86*x388 - (x118*x404 + x134*x408 + x150*x412 + x166*x416 + x182*x420 + 
     x198*x424 + x214*x428 + x230*x432) - 8*x6 - 4*x22 - 7*x38 - 5*x54 - 2*x70
      - 2753*x246 - 2823*x262 - 2218*x278 - 2830*x294 - 1911*x310 - 2281*x326
      - 890*x342 - 2532*x358 = 0;

e53: x86*x389 - (x118*x405 + x134*x409 + x150*x413 + x166*x417 + x182*x421 + 
     x198*x425 + x214*x429 + x230*x433) - x6 - 6*x22 - x38 - x54 - x70
      - 716*x246 - 2142*x262 - 2127*x278 - 2558*x294 - 2001*x310 - 1996*x326
      - 1853*x342 - 626*x358 = 0;

e54: x87*x390 - (x119*x402 + x135*x406 + x151*x410 + x167*x414 + x183*x418 + 
     x199*x422 + x215*x426 + x231*x430) - 2*x7 - 7*x23 - 7*x39 - 7*x55 - 6*x71
      - 2704*x247 - 2504*x263 - 2966*x279 - 1446*x295 - 2236*x311 - 2808*x327
      - 1753*x343 - 1379*x359 = 0;

e55: x87*x391 - (x119*x403 + x135*x407 + x151*x411 + x167*x415 + x183*x419 + 
     x199*x423 + x215*x427 + x231*x431) - 9*x7 - 6*x23 - 9*x39 - 9*x55 - 9*x71
      - 2282*x247 - 2858*x263 - 2563*x279 - 1730*x295 - 2292*x311 - 1630*x327
      - 1716*x343 - 2352*x359 = 0;

e56: x87*x392 - (x119*x404 + x135*x408 + x151*x412 + x167*x416 + x183*x420 + 
     x199*x424 + x215*x428 + x231*x432) - 8*x7 - 4*x23 - 7*x39 - 5*x55 - 2*x71
      - 2753*x247 - 2823*x263 - 2218*x279 - 2830*x295 - 1911*x311 - 2281*x327
      - 890*x343 - 2532*x359 = 0;

e57: x87*x393 - (x119*x405 + x135*x409 + x151*x413 + x167*x417 + x183*x421 + 
     x199*x425 + x215*x429 + x231*x433) - x7 - 6*x23 - x39 - x55 - x71
      - 716*x247 - 2142*x263 - 2127*x279 - 2558*x295 - 2001*x311 - 1996*x327
      - 1853*x343 - 626*x359 = 0;

e58: x88*x394 - (x120*x402 + x136*x406 + x152*x410 + x168*x414 + x184*x418 + 
     x200*x422 + x216*x426 + x232*x430) - 2*x8 - 7*x24 - 7*x40 - 7*x56 - 6*x72
      - 2704*x248 - 2504*x264 - 2966*x280 - 1446*x296 - 2236*x312 - 2808*x328
      - 1753*x344 - 1379*x360 = 0;

e59: x88*x395 - (x120*x403 + x136*x407 + x152*x411 + x168*x415 + x184*x419 + 
     x200*x423 + x216*x427 + x232*x431) - 9*x8 - 6*x24 - 9*x40 - 9*x56 - 9*x72
      - 2282*x248 - 2858*x264 - 2563*x280 - 1730*x296 - 2292*x312 - 1630*x328
      - 1716*x344 - 2352*x360 = 0;

e60: x88*x396 - (x120*x404 + x136*x408 + x152*x412 + x168*x416 + x184*x420 + 
     x200*x424 + x216*x428 + x232*x432) - 8*x8 - 4*x24 - 7*x40 - 5*x56 - 2*x72
      - 2753*x248 - 2823*x264 - 2218*x280 - 2830*x296 - 1911*x312 - 2281*x328
      - 890*x344 - 2532*x360 = 0;

e61: x88*x397 - (x120*x405 + x136*x409 + x152*x413 + x168*x417 + x184*x421 + 
     x200*x425 + x216*x429 + x232*x433) - x8 - 6*x24 - x40 - x56 - x72
      - 716*x248 - 2142*x264 - 2127*x280 - 2558*x296 - 2001*x312 - 1996*x328
      - 1853*x344 - 626*x360 = 0;

e62: x89*x398 - (x121*x402 + x137*x406 + x153*x410 + x169*x414 + x185*x418 + 
     x201*x422 + x217*x426 + x233*x430) - 2*x9 - 7*x25 - 7*x41 - 7*x57 - 6*x73
      - 2704*x249 - 2504*x265 - 2966*x281 - 1446*x297 - 2236*x313 - 2808*x329
      - 1753*x345 - 1379*x361 = 0;

e63: x89*x399 - (x121*x403 + x137*x407 + x153*x411 + x169*x415 + x185*x419 + 
     x201*x423 + x217*x427 + x233*x431) - 9*x9 - 6*x25 - 9*x41 - 9*x57 - 9*x73
      - 2282*x249 - 2858*x265 - 2563*x281 - 1730*x297 - 2292*x313 - 1630*x329
      - 1716*x345 - 2352*x361 = 0;

e64: x89*x400 - (x121*x404 + x137*x408 + x153*x412 + x169*x416 + x185*x420 + 
     x201*x424 + x217*x428 + x233*x432) - 8*x9 - 4*x25 - 7*x41 - 5*x57 - 2*x73
      - 2753*x249 - 2823*x265 - 2218*x281 - 2830*x297 - 1911*x313 - 2281*x329
      - 890*x345 - 2532*x361 = 0;

e65: x89*x401 - (x121*x405 + x137*x409 + x153*x413 + x169*x417 + x185*x421 + 
     x201*x425 + x217*x429 + x233*x433) - x9 - 6*x25 - x41 - x57 - x73
      - 716*x249 - 2142*x265 - 2127*x281 - 2558*x297 - 2001*x313 - 1996*x329
      - 1853*x345 - 626*x361 = 0;

e66: -x82*(x402 - x370) = -3752;

e67: -x82*(x403 - x371) = -146060;

e68: -x82*(x404 - x372) = -151420;

e69: -x82*(x405 - x373) = -93800;

e70: -x83*(x406 - x374) = -10434;

e71: -x83*(x407 - x375) = -29748;

e72: -x83*(x408 - x376) = -42254;

e73: -x83*(x409 - x377) = -20202;

e74: -x84*(x410 - x378) = -48022;

e75: -x84*(x411 - x379) = -13806;

e76: -x84*(x412 - x380) = -14612;

e77: -x84*(x413 - x381) = -39182;

e78: -x85*(x414 - x382) = -123816;

e79: -x85*(x415 - x383) = -23056;

e80: -x85*(x416 - x384) = -209352;

e81: -x85*(x417 - x385) = -195536;

e82: -x86*(x418 - x386) = -107500;

e83: -x86*(x419 - x387) = -24600;

e84: -x86*(x420 - x388) = -79900;

e85: -x86*(x421 - x389) = -186000;

e86: -x87*(x422 - x390) = -5280;

e87: -x87*(x423 - x391) = -31240;

e88: -x87*(x424 - x392) = -67155;

e89: -x87*(x425 - x393) = -76175;

e90: -x88*(x426 - x394) = -57900;

e91: -x88*(x427 - x395) = -9850;

e92: -x88*(x428 - x396) = -35700;

e93: -x88*(x429 - x397) = -134550;

e94: -x89*(x430 - x398) = -2626;

e95: -x89*(x431 - x399) = -33748;

e96: -x89*(x432 - x400) = -23088;

e97: -x89*(x433 - x401) = -67496;

e98:    x370 <= 2250;

e99:    x371 <= 575;

e100:    x372 <= 203;

e101:    x373 <= 1393;

e102:    x374 <= 298;

e103:    x375 <= 2353;

e104:    x376 <= 364;

e105:    x377 <= 2396;

e106:    x378 <= 883;

e107:    x379 <= 1292;

e108:    x380 <= 2398;

e109:    x381 <= 862;

e110:    x382 <= 1257;

e111:    x383 <= 2354;

e112:    x384 <= 327;

e113:    x385 <= 341;

e114:    x386 <= 1680;

e115:    x387 <= 2476;

e116:    x388 <= 2105;

e117:    x389 <= 1092;

e118:    x390 <= 1759;

e119:    x391 <= 301;

e120:    x392 <= 139;

e121:    x393 <= 1354;

e122:    x394 <= 58;

e123:    x395 <= 2025;

e124:    x396 <= 511;

e125:    x397 <= 124;

e126:    x398 <= 2084;

e127:    x399 <= 538;

e128:    x400 <= 537;

e129:    x401 <= 225;

e130:    x402 <= 2278;

e131:    x403 <= 1665;

e132:    x404 <= 1333;

e133:    x405 <= 2093;

e134:    x406 <= 439;

e135:    x407 <= 2755;

e136:    x408 <= 935;

e137:    x409 <= 2669;

e138:    x410 <= 2730;

e139:    x411 <= 1823;

e140:    x412 <= 2960;

e141:    x413 <= 2369;

e142:    x414 <= 2664;

e143:    x415 <= 2616;

e144:    x416 <= 2706;

e145:    x417 <= 2563;

e146:    x418 <= 2755;

e147:    x419 <= 2722;

e148:    x420 <= 2904;

e149:    x421 <= 2952;

e150:    x422 <= 1855;

e151:    x423 <= 869;

e152:    x424 <= 1360;

e153:    x425 <= 2739;

e154:    x426 <= 1216;

e155:    x427 <= 2222;

e156:    x428 <= 1225;

e157:    x429 <= 2815;

e158:    x430 <= 2185;

e159:    x431 <= 1836;

e160:    x432 <= 1425;

e161:    x433 <= 2821;

e162: -(x122*x402 + x138*x406 + x154*x410 + x170*x414 + x186*x418 + x202*x422
       + x218*x426 + x234*x430) - 2*x10 - 7*x26 - 7*x42 - 7*x58 - 6*x74
       - 2704*x250 - 2504*x266 - 2966*x282 - 1446*x298 - 2236*x314 - 2808*x330
       - 1753*x346 - 1379*x362 >= -41846;

e163: -(x122*x403 + x138*x407 + x154*x411 + x170*x415 + x186*x419 + x202*x423
       + x218*x427 + x234*x431) - 9*x10 - 6*x26 - 9*x42 - 9*x58 - 9*x74
       - 2282*x250 - 2858*x266 - 2563*x282 - 1730*x298 - 2292*x314 - 1630*x330
       - 1716*x346 - 2352*x362 >= -204526;

e164: -(x122*x404 + x138*x408 + x154*x412 + x170*x416 + x186*x420 + x202*x424
       + x218*x428 + x234*x432) - 8*x10 - 4*x26 - 7*x42 - 5*x58 - 2*x74
       - 2753*x250 - 2823*x266 - 2218*x282 - 2830*x298 - 1911*x314 - 2281*x330
       - 890*x346 - 2532*x362 >= -172382;

e165: -(x122*x405 + x138*x409 + x154*x413 + x170*x417 + x186*x421 + x202*x425
       + x218*x429 + x234*x433) - x10 - 6*x26 - x42 - x58 - x74 - 716*x250
       - 2142*x266 - 2127*x282 - 2558*x298 - 2001*x314 - 1996*x330 - 1853*x346
       - 626*x362 >= -47236;

e166: -(x123*x402 + x139*x406 + x155*x410 + x171*x414 + x187*x418 + x203*x422
       + x219*x426 + x235*x430) - 2*x11 - 7*x27 - 7*x43 - 7*x59 - 6*x75
       - 2704*x251 - 2504*x267 - 2966*x283 - 1446*x299 - 2236*x315 - 2808*x331
       - 1753*x347 - 1379*x363 >= -156450;

e167: -(x123*x403 + x139*x407 + x155*x411 + x171*x415 + x187*x419 + x203*x423
       + x219*x427 + x235*x431) - 9*x11 - 6*x27 - 9*x43 - 9*x59 - 9*x75
       - 2282*x251 - 2858*x267 - 2563*x283 - 1730*x299 - 2292*x315 - 1630*x331
       - 1716*x347 - 2352*x363 >= -139725;

e168: -(x123*x404 + x139*x408 + x155*x412 + x171*x416 + x187*x420 + x203*x424
       + x219*x428 + x235*x432) - 8*x11 - 4*x27 - 7*x43 - 5*x59 - 2*x75
       - 2753*x251 - 2823*x267 - 2218*x283 - 2830*x299 - 1911*x315 - 2281*x331
       - 890*x347 - 2532*x363 >= -164625;

e169: -(x123*x405 + x139*x409 + x155*x413 + x171*x417 + x187*x421 + x203*x425
       + x219*x429 + x235*x433) - x11 - 6*x27 - x43 - x59 - x75 - 716*x251
       - 2142*x267 - 2127*x283 - 2558*x299 - 2001*x315 - 1996*x331 - 1853*x347
       - 626*x363 >= -29700;

e170: -(x124*x402 + x140*x406 + x156*x410 + x172*x414 + x188*x418 + x204*x422
       + x220*x426 + x236*x430) - 2*x12 - 7*x28 - 7*x44 - 7*x60 - 6*x76
       - 2704*x252 - 2504*x268 - 2966*x284 - 1446*x300 - 2236*x316 - 2808*x332
       - 1753*x348 - 1379*x364 >= -171020;

e171: -(x124*x403 + x140*x407 + x156*x411 + x172*x415 + x188*x419 + x204*x423
       + x220*x427 + x236*x431) - 9*x12 - 6*x28 - 9*x44 - 9*x60 - 9*x76
       - 2282*x252 - 2858*x268 - 2563*x284 - 1730*x300 - 2292*x316 - 1630*x332
       - 1716*x348 - 2352*x364 >= -84490;

e172: -(x124*x404 + x140*x408 + x156*x412 + x172*x416 + x188*x420 + x204*x424
       + x220*x428 + x236*x432) - 8*x12 - 4*x28 - 7*x44 - 5*x60 - 2*x76
       - 2753*x252 - 2823*x268 - 2218*x284 - 2830*x300 - 1911*x316 - 2281*x332
       - 890*x348 - 2532*x364 >= -163455;

e173: -(x124*x405 + x140*x409 + x156*x413 + x172*x417 + x188*x421 + x204*x425
       + x220*x429 + x236*x433) - x12 - 6*x28 - x44 - x60 - x76 - 716*x252
       - 2142*x268 - 2127*x284 - 2558*x300 - 2001*x316 - 1996*x332 - 1853*x348
       - 626*x364 >= -176460;

e174: -(x125*x402 + x141*x406 + x157*x410 + x173*x414 + x189*x418 + x205*x422
       + x221*x426 + x237*x430) - 2*x13 - 7*x29 - 7*x45 - 7*x61 - 6*x77
       - 2704*x253 - 2504*x269 - 2966*x285 - 1446*x301 - 2236*x317 - 2808*x333
       - 1753*x349 - 1379*x365 >= -126165;

e175: -(x125*x403 + x141*x407 + x157*x411 + x173*x415 + x189*x419 + x205*x423
       + x221*x427 + x237*x431) - 9*x13 - 6*x29 - 9*x45 - 9*x61 - 9*x77
       - 2282*x253 - 2858*x269 - 2563*x285 - 1730*x301 - 2292*x317 - 1630*x333
       - 1716*x349 - 2352*x365 >= -108615;

e176: -(x125*x404 + x141*x408 + x157*x412 + x173*x416 + x189*x420 + x205*x424
       + x221*x428 + x237*x432) - 8*x13 - 4*x29 - 7*x45 - 5*x61 - 2*x77
       - 2753*x253 - 2823*x269 - 2218*x285 - 2830*x301 - 1911*x317 - 2281*x333
       - 890*x349 - 2532*x365 >= -326625;

e177: -(x125*x405 + x141*x409 + x157*x413 + x173*x417 + x189*x421 + x205*x425
       + x221*x429 + x237*x433) - x13 - 6*x29 - x45 - x61 - x77 - 716*x253
       - 2142*x269 - 2127*x285 - 2558*x301 - 2001*x317 - 1996*x333 - 1853*x349
       - 626*x365 >= -454350;

e178: -(x126*x402 + x142*x406 + x158*x410 + x174*x414 + x190*x418 + x206*x422
       + x222*x426 + x238*x430) - 2*x14 - 7*x30 - 7*x46 - 7*x62 - 6*x78
       - 2704*x254 - 2504*x270 - 2966*x286 - 1446*x302 - 2236*x318 - 2808*x334
       - 1753*x350 - 1379*x366 >= -113880;

e179: -(x126*x403 + x142*x407 + x158*x411 + x174*x415 + x190*x419 + x206*x423
       + x222*x427 + x238*x431) - 9*x14 - 6*x30 - 9*x46 - 9*x62 - 9*x78
       - 2282*x254 - 2858*x270 - 2563*x286 - 1730*x302 - 2292*x318 - 1630*x334
       - 1716*x350 - 2352*x366 >= -31620;

e180: -(x126*x404 + x142*x408 + x158*x412 + x174*x416 + x190*x420 + x206*x424
       + x222*x428 + x238*x432) - 8*x14 - 4*x30 - 7*x46 - 5*x62 - 2*x78
       - 2753*x254 - 2823*x270 - 2218*x286 - 2830*x302 - 1911*x318 - 2281*x334
       - 890*x350 - 2532*x366 >= -22860;

e181: -(x126*x405 + x142*x409 + x158*x413 + x174*x417 + x190*x421 + x206*x425
       + x222*x429 + x238*x433) - x14 - 6*x30 - x46 - x62 - x78 - 716*x254
       - 2142*x270 - 2127*x286 - 2558*x302 - 2001*x318 - 1996*x334 - 1853*x350
       - 626*x366 >= -75420;

e182: -(x127*x402 + x143*x406 + x159*x410 + x175*x414 + x191*x418 + x207*x422
       + x223*x426 + x239*x430) - 2*x15 - 7*x31 - 7*x47 - 7*x63 - 6*x79
       - 2704*x255 - 2504*x271 - 2966*x287 - 1446*x303 - 2236*x319 - 2808*x335
       - 1753*x351 - 1379*x367 >= -39514;

e183: -(x127*x403 + x143*x407 + x159*x411 + x175*x415 + x191*x419 + x207*x423
       + x223*x427 + x239*x431) - 9*x15 - 6*x31 - 9*x47 - 9*x63 - 9*x79
       - 2282*x255 - 2858*x271 - 2563*x287 - 1730*x303 - 2292*x319 - 1630*x335
       - 1716*x351 - 2352*x367 >= -19734;

e184: -(x127*x404 + x143*x408 + x159*x412 + x175*x416 + x191*x420 + x207*x424
       + x223*x428 + x239*x432) - 8*x15 - 4*x31 - 7*x47 - 5*x63 - 2*x79
       - 2753*x255 - 2823*x271 - 2218*x287 - 2830*x303 - 1911*x319 - 2281*x335
       - 890*x351 - 2532*x367 >= -7429;

e185: -(x127*x405 + x143*x409 + x159*x413 + x175*x417 + x191*x421 + x207*x425
       + x223*x429 + x239*x433) - x15 - 6*x31 - x47 - x63 - x79 - 716*x255
       - 2142*x271 - 2127*x287 - 2558*x303 - 2001*x319 - 1996*x335 - 1853*x351
       - 626*x367 >= -4393;

e186: -(x128*x402 + x144*x406 + x160*x410 + x176*x414 + x192*x418 + x208*x422
       + x224*x426 + x240*x430) - 2*x16 - 7*x32 - 7*x48 - 7*x64 - 6*x80
       - 2704*x256 - 2504*x272 - 2966*x288 - 1446*x304 - 2236*x320 - 2808*x336
       - 1753*x352 - 1379*x368 >= -166100;

e187: -(x128*x403 + x144*x407 + x160*x411 + x176*x415 + x192*x419 + x208*x423
       + x224*x427 + x240*x431) - 9*x16 - 6*x32 - 9*x48 - 9*x64 - 9*x80
       - 2282*x256 - 2858*x272 - 2563*x288 - 1730*x304 - 2292*x320 - 1630*x336
       - 1716*x352 - 2352*x368 >= -136600;

e188: -(x128*x404 + x144*x408 + x160*x412 + x176*x416 + x192*x420 + x208*x424
       + x224*x428 + x240*x432) - 8*x16 - 4*x32 - 7*x48 - 5*x64 - 2*x80
       - 2753*x256 - 2823*x272 - 2218*x288 - 2830*x304 - 1911*x320 - 2281*x336
       - 890*x352 - 2532*x368 >= -41300;

e189: -(x128*x405 + x144*x409 + x160*x413 + x176*x417 + x192*x421 + x208*x425
       + x224*x429 + x240*x433) - x16 - 6*x32 - x48 - x64 - x80 - 716*x256
       - 2142*x272 - 2127*x288 - 2558*x304 - 2001*x320 - 1996*x336 - 1853*x352
       - 626*x368 >= -154600;

e190: -(x129*x402 + x145*x406 + x161*x410 + x177*x414 + x193*x418 + x209*x422
       + x225*x426 + x241*x430) - 2*x17 - 7*x33 - 7*x49 - 7*x65 - 6*x81
       - 2704*x257 - 2504*x273 - 2966*x289 - 1446*x305 - 2236*x321 - 2808*x337
       - 1753*x353 - 1379*x369 >= -55935;

e191: -(x129*x403 + x145*x407 + x161*x411 + x177*x415 + x193*x419 + x209*x423
       + x225*x427 + x241*x431) - 9*x17 - 6*x33 - 9*x49 - 9*x65 - 9*x81
       - 2282*x257 - 2858*x273 - 2563*x289 - 1730*x305 - 2292*x321 - 1630*x337
       - 1716*x353 - 2352*x369 >= -28755;

e192: -(x129*x404 + x145*x408 + x161*x412 + x177*x416 + x193*x420 + x209*x424
       + x225*x428 + x241*x432) - 8*x17 - 4*x33 - 7*x49 - 5*x65 - 2*x81
       - 2753*x257 - 2823*x273 - 2218*x289 - 2830*x305 - 1911*x321 - 2281*x337
       - 890*x353 - 2532*x369 >= -93510;

e193: -(x129*x405 + x145*x409 + x161*x413 + x177*x417 + x193*x421 + x209*x425
       + x225*x429 + x241*x433) - x17 - 6*x33 - x49 - x65 - x81 - 716*x257
       - 2142*x273 - 2127*x289 - 2558*x305 - 2001*x321 - 1996*x337 - 1853*x353
       - 626*x369 >= -11205;

e194:    x82 <= 134;

e195:    x83 <= 74;

e196:    x84 <= 26;

e197:    x85 <= 88;

e198:    x86 <= 100;

e199:    x87 <= 55;

e200:    x88 <= 50;

e201:    x89 <= 26;

e202:    x90 <= 0;

e203:    x91 <= 0;

e204:    x92 <= 0;

e205:    x93 <= 0;

e206:    x94 <= 0;

e207:    x95 <= 0;

e208:    x96 <= 0;

e209:    x97 <= 0;