#  QCP written by GAMS Convert at 02/15/18 15:46:51
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        141      121       20        0        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        420      420        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2787     1159     1628        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, <= 2250;
var x51 >= 0, <= 575;
var x52 >= 0, <= 203;
var x53 >= 0, <= 1393;
var x54 >= 0, <= 298;
var x55 >= 0, <= 2353;
var x56 >= 0, <= 364;
var x57 >= 0, <= 2396;
var x58 >= 0, <= 883;
var x59 >= 0, <= 1292;
var x60 >= 0, <= 2398;
var x61 >= 0, <= 862;
var x62 >= 0, <= 1257;
var x63 >= 0, <= 2354;
var x64 >= 0, <= 327;
var x65 >= 0, <= 341;
var x66 >= 0, <= 1680;
var x67 >= 0, <= 2476;
var x68 >= 0, <= 2105;
var x69 >= 0, <= 1092;
var x70 >= 0, <= 1759;
var x71 >= 0, <= 301;
var x72 >= 0, <= 139;
var x73 >= 0, <= 1354;
var x74 >= 0, <= 58;
var x75 >= 0, <= 2025;
var x76 >= 0, <= 511;
var x77 >= 0, <= 124;
var x78 >= 0, <= 2084;
var x79 >= 0, <= 538;
var x80 >= 0, <= 537;
var x81 >= 0, <= 225;
var x82 >= 0, <= 427;
var x83 >= 0, <= 2087;
var x84 >= 0, <= 1759;
var x85 >= 0, <= 482;
var x86 >= 0, <= 2086;
var x87 >= 0, <= 1863;
var x88 >= 0, <= 2195;
var x89 >= 0, <= 396;
var x90 >= 0, <= 2012;
var x91 >= 0, <= 994;
var x92 >= 0, <= 1923;
var x93 >= 0, <= 2076;
var x94 >= 0, <= 2278;
var x95 >= 0, <= 1665;
var x96 >= 0, <= 1333;
var x97 >= 0, <= 2093;
var x98 >= 0, <= 439;
var x99 >= 0, <= 2755;
var x100 >= 0, <= 935;
var x101 >= 0, <= 2669;
var x102 >= 0, <= 2730;
var x103 >= 0, <= 1823;
var x104 >= 0, <= 2960;
var x105 >= 0, <= 2369;
var x106 >= 0, <= 2664;
var x107 >= 0, <= 2616;
var x108 >= 0, <= 2706;
var x109 >= 0, <= 2563;
var x110 >= 0, <= 2755;
var x111 >= 0, <= 2722;
var x112 >= 0, <= 2904;
var x113 >= 0, <= 2952;
var x114 >= 0, <= 1855;
var x115 >= 0, <= 869;
var x116 >= 0, <= 1360;
var x117 >= 0, <= 2739;
var x118 >= 0, <= 1216;
var x119 >= 0, <= 2222;
var x120 >= 0, <= 1225;
var x121 >= 0, <= 2815;
var x122 >= 0, <= 2185;
var x123 >= 0, <= 1836;
var x124 >= 0, <= 1425;
var x125 >= 0, <= 2821;
var x126 >= 0, <= 2704;
var x127 >= 0, <= 2282;
var x128 >= 0, <= 2753;
var x129 >= 0, <= 716;
var x130 >= 0, <= 2504;
var x131 >= 0, <= 2858;
var x132 >= 0, <= 2823;
var x133 >= 0, <= 2142;
var x134 >= 0, <= 2966;
var x135 >= 0, <= 2563;
var x136 >= 0, <= 2218;
var x137 >= 0, <= 2127;
var x138 >= 0, <= 134;
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, <= 74;
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, <= 26;
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, <= 88;
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, <= 100;
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, <= 55;
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, <= 50;
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, <= 26;
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, <= 98;
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, <= 115;
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, <= 85;
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;

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;

subject to

e2:  - x2 - x18 - x34 + x138 - x139 - x140 - x141 - x142 - x143 - x144 - x145
     - x146 - x147 - x148 - x149 - x150 - x151 - x152 - x153 - x154 = 0;

e3:  - x3 - x19 - x35 + x155 - x156 - x157 - x158 - x159 - x160 - x161 - x162
     - x163 - x164 - x165 - x166 - x167 - x168 - x169 - x170 - x171 = 0;

e4:  - x4 - x20 - x36 + x172 - x173 - x174 - x175 - x176 - x177 - x178 - x179
     - x180 - x181 - x182 - x183 - x184 - x185 - x186 - x187 - x188 = 0;

e5:  - x5 - x21 - x37 + x189 - x190 - x191 - x192 - x193 - x194 - x195 - x196
     - x197 - x198 - x199 - x200 - x201 - x202 - x203 - x204 - x205 = 0;

e6:  - x6 - x22 - x38 + x206 - x207 - x208 - x209 - x210 - x211 - x212 - x213
     - x214 - x215 - x216 - x217 - x218 - x219 - x220 - x221 - x222 = 0;

e7:  - x7 - x23 - x39 + x223 - x224 - x225 - x226 - x227 - x228 - x229 - x230
     - x231 - x232 - x233 - x234 - x235 - x236 - x237 - x238 - x239 = 0;

e8:  - x8 - x24 - x40 + x240 - x241 - x242 - x243 - x244 - x245 - x246 - x247
     - x248 - x249 - x250 - x251 - x252 - x253 - x254 - x255 - x256 = 0;

e9:  - x9 - x25 - x41 + x257 - x258 - x259 - x260 - x261 - x262 - x263 - x264
     - x265 - x266 - x267 - x268 - x269 - x270 - x271 - x272 - x273 = 0;

e10:  - x10 - x26 - x42 + x274 - x275 - x276 - x277 - x278 - x279 - x280 - x281
      - x282 - x283 - x284 - x285 - x286 - x287 - x288 - x289 - x290 = 0;

e11:  - x11 - x27 - x43 + x291 - x292 - x293 - x294 - x295 - x296 - x297 - x298
      - x299 - x300 - x301 - x302 - x303 - x304 - x305 - x306 - x307 = 0;

e12:  - x12 - x28 - x44 + x308 - x309 - x310 - x311 - x312 - x313 - x314 - x315
      - x316 - x317 - x318 - x319 - x320 - x321 - x322 - x323 - x324 = 0;

e13:  - x13 - x29 - x45 - x325 - x326 - x327 - x328 - x329 - x330 - x331 - x332
      - x333 - x334 - x335 - x336 - x337 - x338 - x339 - x340 = -195;

e14:  - x14 - x30 - x46 - x341 - x342 - x343 - x344 - x345 - x346 - x347 - x348
      - x349 - x350 - x351 - x352 - x353 - x354 - x355 - x356 = -60;

e15:  - x15 - x31 - x47 - x357 - x358 - x359 - x360 - x361 - x362 - x363 - x364
      - x365 - x366 - x367 - x368 - x369 - x370 - x371 - x372 = -23;

e16:  - x16 - x32 - x48 - x373 - x374 - x375 - x376 - x377 - x378 - x379 - x380
      - x381 - x382 - x383 - x384 - x385 - x386 - x387 - x388 = -100;

e17:  - x17 - x33 - x49 - x389 - x390 - x391 - x392 - x393 - x394 - x395 - x396
      - x397 - x398 - x399 - x400 - x401 - x402 - x403 - x404 = -45;

e18:    x138 - x139 - x156 - x173 - x190 - x207 - x224 - x241 - x258 - x275
      - x292 - x309 - x325 - x341 - x357 - x373 - x389 - x405 = 0;

e19:  - x140 + x155 - x157 - x174 - x191 - x208 - x225 - x242 - x259 - x276
      - x293 - x310 - x326 - x342 - x358 - x374 - x390 - x406 = 0;

e20:  - x141 - x158 + x172 - x175 - x192 - x209 - x226 - x243 - x260 - x277
      - x294 - x311 - x327 - x343 - x359 - x375 - x391 - x407 = 0;

e21:  - x142 - x159 - x176 + x189 - x193 - x210 - x227 - x244 - x261 - x278
      - x295 - x312 - x328 - x344 - x360 - x376 - x392 - x408 = 0;

e22:  - x143 - x160 - x177 - x194 + x206 - x211 - x228 - x245 - x262 - x279
      - x296 - x313 - x329 - x345 - x361 - x377 - x393 - x409 = 0;

e23:  - x144 - x161 - x178 - x195 - x212 + x223 - x229 - x246 - x263 - x280
      - x297 - x314 - x330 - x346 - x362 - x378 - x394 - x410 = 0;

e24:  - x145 - x162 - x179 - x196 - x213 - x230 + x240 - x247 - x264 - x281
      - x298 - x315 - x331 - x347 - x363 - x379 - x395 - x411 = 0;

e25:  - x146 - x163 - x180 - x197 - x214 - x231 - x248 + x257 - x265 - x282
      - x299 - x316 - x332 - x348 - x364 - x380 - x396 - x412 = 0;

e26:  - x147 - x164 - x181 - x198 - x215 - x232 - x249 - x266 + x274 - x283
      - x300 - x317 - x333 - x349 - x365 - x381 - x397 - x413 = 0;

e27:  - x148 - x165 - x182 - x199 - x216 - x233 - x250 - x267 - x284 + x291
      - x301 - x318 - x334 - x350 - x366 - x382 - x398 - x414 = 0;

e28:  - x149 - x166 - x183 - x200 - x217 - x234 - x251 - x268 - x285 - x302
      + x308 - x319 - x335 - x351 - x367 - x383 - x399 - x415 = 0;

e29:  - x150 - x167 - x184 - x201 - x218 - x235 - x252 - x269 - x286 - x303
      - x320 - x336 - x352 - x368 - x384 - x400 - x416 = -200;

e30:  - x151 - x168 - x185 - x202 - x219 - x236 - x253 - x270 - x287 - x304
      - x321 - x337 - x353 - x369 - x385 - x401 - x417 = -40;

e31:  - x152 - x169 - x186 - x203 - x220 - x237 - x254 - x271 - x288 - x305
      - x322 - x338 - x354 - x370 - x386 - x402 - x418 = -45;

e32:  - x153 - x170 - x187 - x204 - x221 - x238 - x255 - x272 - x289 - x306
      - x323 - x339 - x355 - x371 - x387 - x403 - x419 = -120;

e33:  - x154 - x171 - x188 - x205 - x222 - x239 - x256 - x273 - x290 - x307
      - x324 - x340 - x356 - x372 - x388 - x404 - x420 = -75;

e34: x138*x50 - x139*x94 - x140*x98 - x141*x102 - x142*x106 - x143*x110 - x144*
     x114 - x145*x118 - x146*x122 - x147*x126 - x148*x130 - x149*x134 - 2*x2
      - 7*x18 - 7*x34 - 1446*x150 - 2236*x151 - 2808*x152 - 1753*x153
      - 1379*x154 = 0;

e35: x138*x51 - x139*x95 - x140*x99 - x141*x103 - x142*x107 - x143*x111 - x144*
     x115 - x145*x119 - x146*x123 - x147*x127 - x148*x131 - x149*x135 - 9*x2
      - 6*x18 - 9*x34 - 1730*x150 - 2292*x151 - 1630*x152 - 1716*x153
      - 2352*x154 = 0;

e36: x138*x52 - x139*x96 - x140*x100 - x141*x104 - x142*x108 - x143*x112 - x144
     *x116 - x145*x120 - x146*x124 - x147*x128 - x148*x132 - x149*x136 - 8*x2
      - 4*x18 - 7*x34 - 2830*x150 - 1911*x151 - 2281*x152 - 890*x153
      - 2532*x154 = 0;

e37: x138*x53 - x139*x97 - x140*x101 - x141*x105 - x142*x109 - x143*x113 - x144
     *x117 - x145*x121 - x146*x125 - x147*x129 - x148*x133 - x149*x137 - x2
      - 6*x18 - x34 - 2558*x150 - 2001*x151 - 1996*x152 - 1853*x153 - 626*x154
      = 0;

e38: x155*x54 - x156*x94 - x157*x98 - x158*x102 - x159*x106 - x160*x110 - x161*
     x114 - x162*x118 - x163*x122 - x164*x126 - x165*x130 - x166*x134 - 2*x3
      - 7*x19 - 7*x35 - 1446*x167 - 2236*x168 - 2808*x169 - 1753*x170
      - 1379*x171 = 0;

e39: x155*x55 - x156*x95 - x157*x99 - x158*x103 - x159*x107 - x160*x111 - x161*
     x115 - x162*x119 - x163*x123 - x164*x127 - x165*x131 - x166*x135 - 9*x3
      - 6*x19 - 9*x35 - 1730*x167 - 2292*x168 - 1630*x169 - 1716*x170
      - 2352*x171 = 0;

e40: x155*x56 - x156*x96 - x157*x100 - x158*x104 - x159*x108 - x160*x112 - x161
     *x116 - x162*x120 - x163*x124 - x164*x128 - x165*x132 - x166*x136 - 8*x3
      - 4*x19 - 7*x35 - 2830*x167 - 1911*x168 - 2281*x169 - 890*x170
      - 2532*x171 = 0;

e41: x155*x57 - x156*x97 - x157*x101 - x158*x105 - x159*x109 - x160*x113 - x161
     *x117 - x162*x121 - x163*x125 - x164*x129 - x165*x133 - x166*x137 - x3
      - 6*x19 - x35 - 2558*x167 - 2001*x168 - 1996*x169 - 1853*x170 - 626*x171
      = 0;

e42: x172*x58 - x173*x94 - x174*x98 - x175*x102 - x176*x106 - x177*x110 - x178*
     x114 - x179*x118 - x180*x122 - x181*x126 - x182*x130 - x183*x134 - 2*x4
      - 7*x20 - 7*x36 - 1446*x184 - 2236*x185 - 2808*x186 - 1753*x187
      - 1379*x188 = 0;

e43: x172*x59 - x173*x95 - x174*x99 - x175*x103 - x176*x107 - x177*x111 - x178*
     x115 - x179*x119 - x180*x123 - x181*x127 - x182*x131 - x183*x135 - 9*x4
      - 6*x20 - 9*x36 - 1730*x184 - 2292*x185 - 1630*x186 - 1716*x187
      - 2352*x188 = 0;

e44: x172*x60 - x173*x96 - x174*x100 - x175*x104 - x176*x108 - x177*x112 - x178
     *x116 - x179*x120 - x180*x124 - x181*x128 - x182*x132 - x183*x136 - 8*x4
      - 4*x20 - 7*x36 - 2830*x184 - 1911*x185 - 2281*x186 - 890*x187
      - 2532*x188 = 0;

e45: x172*x61 - x173*x97 - x174*x101 - x175*x105 - x176*x109 - x177*x113 - x178
     *x117 - x179*x121 - x180*x125 - x181*x129 - x182*x133 - x183*x137 - x4
      - 6*x20 - x36 - 2558*x184 - 2001*x185 - 1996*x186 - 1853*x187 - 626*x188
      = 0;

e46: x189*x62 - x190*x94 - x191*x98 - x192*x102 - x193*x106 - x194*x110 - x195*
     x114 - x196*x118 - x197*x122 - x198*x126 - x199*x130 - x200*x134 - 2*x5
      - 7*x21 - 7*x37 - 1446*x201 - 2236*x202 - 2808*x203 - 1753*x204
      - 1379*x205 = 0;

e47: x189*x63 - x190*x95 - x191*x99 - x192*x103 - x193*x107 - x194*x111 - x195*
     x115 - x196*x119 - x197*x123 - x198*x127 - x199*x131 - x200*x135 - 9*x5
      - 6*x21 - 9*x37 - 1730*x201 - 2292*x202 - 1630*x203 - 1716*x204
      - 2352*x205 = 0;

e48: x189*x64 - x190*x96 - x191*x100 - x192*x104 - x193*x108 - x194*x112 - x195
     *x116 - x196*x120 - x197*x124 - x198*x128 - x199*x132 - x200*x136 - 8*x5
      - 4*x21 - 7*x37 - 2830*x201 - 1911*x202 - 2281*x203 - 890*x204
      - 2532*x205 = 0;

e49: x189*x65 - x190*x97 - x191*x101 - x192*x105 - x193*x109 - x194*x113 - x195
     *x117 - x196*x121 - x197*x125 - x198*x129 - x199*x133 - x200*x137 - x5
      - 6*x21 - x37 - 2558*x201 - 2001*x202 - 1996*x203 - 1853*x204 - 626*x205
      = 0;

e50: x206*x66 - x207*x94 - x208*x98 - x209*x102 - x210*x106 - x211*x110 - x212*
     x114 - x213*x118 - x214*x122 - x215*x126 - x216*x130 - x217*x134 - 2*x6
      - 7*x22 - 7*x38 - 1446*x218 - 2236*x219 - 2808*x220 - 1753*x221
      - 1379*x222 = 0;

e51: x206*x67 - x207*x95 - x208*x99 - x209*x103 - x210*x107 - x211*x111 - x212*
     x115 - x213*x119 - x214*x123 - x215*x127 - x216*x131 - x217*x135 - 9*x6
      - 6*x22 - 9*x38 - 1730*x218 - 2292*x219 - 1630*x220 - 1716*x221
      - 2352*x222 = 0;

e52: x206*x68 - x207*x96 - x208*x100 - x209*x104 - x210*x108 - x211*x112 - x212
     *x116 - x213*x120 - x214*x124 - x215*x128 - x216*x132 - x217*x136 - 8*x6
      - 4*x22 - 7*x38 - 2830*x218 - 1911*x219 - 2281*x220 - 890*x221
      - 2532*x222 = 0;

e53: x206*x69 - x207*x97 - x208*x101 - x209*x105 - x210*x109 - x211*x113 - x212
     *x117 - x213*x121 - x214*x125 - x215*x129 - x216*x133 - x217*x137 - x6
      - 6*x22 - x38 - 2558*x218 - 2001*x219 - 1996*x220 - 1853*x221 - 626*x222
      = 0;

e54: x223*x70 - x224*x94 - x225*x98 - x226*x102 - x227*x106 - x228*x110 - x229*
     x114 - x230*x118 - x231*x122 - x232*x126 - x233*x130 - x234*x134 - 2*x7
      - 7*x23 - 7*x39 - 1446*x235 - 2236*x236 - 2808*x237 - 1753*x238
      - 1379*x239 = 0;

e55: x223*x71 - x224*x95 - x225*x99 - x226*x103 - x227*x107 - x228*x111 - x229*
     x115 - x230*x119 - x231*x123 - x232*x127 - x233*x131 - x234*x135 - 9*x7
      - 6*x23 - 9*x39 - 1730*x235 - 2292*x236 - 1630*x237 - 1716*x238
      - 2352*x239 = 0;

e56: x223*x72 - x224*x96 - x225*x100 - x226*x104 - x227*x108 - x228*x112 - x229
     *x116 - x230*x120 - x231*x124 - x232*x128 - x233*x132 - x234*x136 - 8*x7
      - 4*x23 - 7*x39 - 2830*x235 - 1911*x236 - 2281*x237 - 890*x238
      - 2532*x239 = 0;

e57: x223*x73 - x224*x97 - x225*x101 - x226*x105 - x227*x109 - x228*x113 - x229
     *x117 - x230*x121 - x231*x125 - x232*x129 - x233*x133 - x234*x137 - x7
      - 6*x23 - x39 - 2558*x235 - 2001*x236 - 1996*x237 - 1853*x238 - 626*x239
      = 0;

e58: x240*x74 - x241*x94 - x242*x98 - x243*x102 - x244*x106 - x245*x110 - x246*
     x114 - x247*x118 - x248*x122 - x249*x126 - x250*x130 - x251*x134 - 2*x8
      - 7*x24 - 7*x40 - 1446*x252 - 2236*x253 - 2808*x254 - 1753*x255
      - 1379*x256 = 0;

e59: x240*x75 - x241*x95 - x242*x99 - x243*x103 - x244*x107 - x245*x111 - x246*
     x115 - x247*x119 - x248*x123 - x249*x127 - x250*x131 - x251*x135 - 9*x8
      - 6*x24 - 9*x40 - 1730*x252 - 2292*x253 - 1630*x254 - 1716*x255
      - 2352*x256 = 0;

e60: x240*x76 - x241*x96 - x242*x100 - x243*x104 - x244*x108 - x245*x112 - x246
     *x116 - x247*x120 - x248*x124 - x249*x128 - x250*x132 - x251*x136 - 8*x8
      - 4*x24 - 7*x40 - 2830*x252 - 1911*x253 - 2281*x254 - 890*x255
      - 2532*x256 = 0;

e61: x240*x77 - x241*x97 - x242*x101 - x243*x105 - x244*x109 - x245*x113 - x246
     *x117 - x247*x121 - x248*x125 - x249*x129 - x250*x133 - x251*x137 - x8
      - 6*x24 - x40 - 2558*x252 - 2001*x253 - 1996*x254 - 1853*x255 - 626*x256
      = 0;

e62: x257*x78 - x258*x94 - x259*x98 - x260*x102 - x261*x106 - x262*x110 - x263*
     x114 - x264*x118 - x265*x122 - x266*x126 - x267*x130 - x268*x134 - 2*x9
      - 7*x25 - 7*x41 - 1446*x269 - 2236*x270 - 2808*x271 - 1753*x272
      - 1379*x273 = 0;

e63: x257*x79 - x258*x95 - x259*x99 - x260*x103 - x261*x107 - x262*x111 - x263*
     x115 - x264*x119 - x265*x123 - x266*x127 - x267*x131 - x268*x135 - 9*x9
      - 6*x25 - 9*x41 - 1730*x269 - 2292*x270 - 1630*x271 - 1716*x272
      - 2352*x273 = 0;

e64: x257*x80 - x258*x96 - x259*x100 - x260*x104 - x261*x108 - x262*x112 - x263
     *x116 - x264*x120 - x265*x124 - x266*x128 - x267*x132 - x268*x136 - 8*x9
      - 4*x25 - 7*x41 - 2830*x269 - 1911*x270 - 2281*x271 - 890*x272
      - 2532*x273 = 0;

e65: x257*x81 - x258*x97 - x259*x101 - x260*x105 - x261*x109 - x262*x113 - x263
     *x117 - x264*x121 - x265*x125 - x266*x129 - x267*x133 - x268*x137 - x9
      - 6*x25 - x41 - 2558*x269 - 2001*x270 - 1996*x271 - 1853*x272 - 626*x273
      = 0;

e66: x274*x82 - x275*x94 - x276*x98 - x277*x102 - x278*x106 - x279*x110 - x280*
     x114 - x281*x118 - x282*x122 - x283*x126 - x284*x130 - x285*x134 - 2*x10
      - 7*x26 - 7*x42 - 1446*x286 - 2236*x287 - 2808*x288 - 1753*x289
      - 1379*x290 = 0;

e67: x274*x83 - x275*x95 - x276*x99 - x277*x103 - x278*x107 - x279*x111 - x280*
     x115 - x281*x119 - x282*x123 - x283*x127 - x284*x131 - x285*x135 - 9*x10
      - 6*x26 - 9*x42 - 1730*x286 - 2292*x287 - 1630*x288 - 1716*x289
      - 2352*x290 = 0;

e68: x274*x84 - x275*x96 - x276*x100 - x277*x104 - x278*x108 - x279*x112 - x280
     *x116 - x281*x120 - x282*x124 - x283*x128 - x284*x132 - x285*x136 - 8*x10
      - 4*x26 - 7*x42 - 2830*x286 - 1911*x287 - 2281*x288 - 890*x289
      - 2532*x290 = 0;

e69: x274*x85 - x275*x97 - x276*x101 - x277*x105 - x278*x109 - x279*x113 - x280
     *x117 - x281*x121 - x282*x125 - x283*x129 - x284*x133 - x285*x137 - x10
      - 6*x26 - x42 - 2558*x286 - 2001*x287 - 1996*x288 - 1853*x289 - 626*x290
      = 0;

e70: x291*x86 - x292*x94 - x293*x98 - x294*x102 - x295*x106 - x296*x110 - x297*
     x114 - x298*x118 - x299*x122 - x300*x126 - x301*x130 - x302*x134 - 2*x11
      - 7*x27 - 7*x43 - 1446*x303 - 2236*x304 - 2808*x305 - 1753*x306
      - 1379*x307 = 0;

e71: x291*x87 - x292*x95 - x293*x99 - x294*x103 - x295*x107 - x296*x111 - x297*
     x115 - x298*x119 - x299*x123 - x300*x127 - x301*x131 - x302*x135 - 9*x11
      - 6*x27 - 9*x43 - 1730*x303 - 2292*x304 - 1630*x305 - 1716*x306
      - 2352*x307 = 0;

e72: x291*x88 - x292*x96 - x293*x100 - x294*x104 - x295*x108 - x296*x112 - x297
     *x116 - x298*x120 - x299*x124 - x300*x128 - x301*x132 - x302*x136 - 8*x11
      - 4*x27 - 7*x43 - 2830*x303 - 1911*x304 - 2281*x305 - 890*x306
      - 2532*x307 = 0;

e73: x291*x89 - x292*x97 - x293*x101 - x294*x105 - x295*x109 - x296*x113 - x297
     *x117 - x298*x121 - x299*x125 - x300*x129 - x301*x133 - x302*x137 - x11
      - 6*x27 - x43 - 2558*x303 - 2001*x304 - 1996*x305 - 1853*x306 - 626*x307
      = 0;

e74: x308*x90 - x309*x94 - x310*x98 - x311*x102 - x312*x106 - x313*x110 - x314*
     x114 - x315*x118 - x316*x122 - x317*x126 - x318*x130 - x319*x134 - 2*x12
      - 7*x28 - 7*x44 - 1446*x320 - 2236*x321 - 2808*x322 - 1753*x323
      - 1379*x324 = 0;

e75: x308*x91 - x309*x95 - x310*x99 - x311*x103 - x312*x107 - x313*x111 - x314*
     x115 - x315*x119 - x316*x123 - x317*x127 - x318*x131 - x319*x135 - 9*x12
      - 6*x28 - 9*x44 - 1730*x320 - 2292*x321 - 1630*x322 - 1716*x323
      - 2352*x324 = 0;

e76: x308*x92 - x309*x96 - x310*x100 - x311*x104 - x312*x108 - x313*x112 - x314
     *x116 - x315*x120 - x316*x124 - x317*x128 - x318*x132 - x319*x136 - 8*x12
      - 4*x28 - 7*x44 - 2830*x320 - 1911*x321 - 2281*x322 - 890*x323
      - 2532*x324 = 0;

e77: x308*x93 - x309*x97 - x310*x101 - x311*x105 - x312*x109 - x313*x113 - x314
     *x117 - x315*x121 - x316*x125 - x317*x129 - x318*x133 - x319*x137 - x12
      - 6*x28 - x44 - 2558*x320 - 2001*x321 - 1996*x322 - 1853*x323 - 626*x324
      = 0;

e78: (-x325*x94) - x326*x98 - x327*x102 - x328*x106 - x329*x110 - x330*x114 - 
     x331*x118 - x332*x122 - x333*x126 - x334*x130 - x335*x134 - 2*x13 - 7*x29
      - 7*x45 - 1446*x336 - 2236*x337 - 2808*x338 - 1753*x339 - 1379*x340
      >= -126165;

e79: (-x325*x95) - x326*x99 - x327*x103 - x328*x107 - x329*x111 - x330*x115 - 
     x331*x119 - x332*x123 - x333*x127 - x334*x131 - x335*x135 - 9*x13 - 6*x29
      - 9*x45 - 1730*x336 - 2292*x337 - 1630*x338 - 1716*x339 - 2352*x340
      >= -108615;

e80: (-x325*x96) - x326*x100 - x327*x104 - x328*x108 - x329*x112 - x330*x116 - 
     x331*x120 - x332*x124 - x333*x128 - x334*x132 - x335*x136 - 8*x13 - 4*x29
      - 7*x45 - 2830*x336 - 1911*x337 - 2281*x338 - 890*x339 - 2532*x340
      >= -326625;

e81: (-x325*x97) - x326*x101 - x327*x105 - x328*x109 - x329*x113 - x330*x117 - 
     x331*x121 - x332*x125 - x333*x129 - x334*x133 - x335*x137 - x13 - 6*x29
      - x45 - 2558*x336 - 2001*x337 - 1996*x338 - 1853*x339 - 626*x340
      >= -454350;

e82: (-x341*x94) - x342*x98 - x343*x102 - x344*x106 - x345*x110 - x346*x114 - 
     x347*x118 - x348*x122 - x349*x126 - x350*x130 - x351*x134 - 2*x14 - 7*x30
      - 7*x46 - 1446*x352 - 2236*x353 - 2808*x354 - 1753*x355 - 1379*x356
      >= -113880;

e83: (-x341*x95) - x342*x99 - x343*x103 - x344*x107 - x345*x111 - x346*x115 - 
     x347*x119 - x348*x123 - x349*x127 - x350*x131 - x351*x135 - 9*x14 - 6*x30
      - 9*x46 - 1730*x352 - 2292*x353 - 1630*x354 - 1716*x355 - 2352*x356
      >= -31620;

e84: (-x341*x96) - x342*x100 - x343*x104 - x344*x108 - x345*x112 - x346*x116 - 
     x347*x120 - x348*x124 - x349*x128 - x350*x132 - x351*x136 - 8*x14 - 4*x30
      - 7*x46 - 2830*x352 - 1911*x353 - 2281*x354 - 890*x355 - 2532*x356
      >= -22860;

e85: (-x341*x97) - x342*x101 - x343*x105 - x344*x109 - x345*x113 - x346*x117 - 
     x347*x121 - x348*x125 - x349*x129 - x350*x133 - x351*x137 - x14 - 6*x30
      - x46 - 2558*x352 - 2001*x353 - 1996*x354 - 1853*x355 - 626*x356
      >= -75420;

e86: (-x357*x94) - x358*x98 - x359*x102 - x360*x106 - x361*x110 - x362*x114 - 
     x363*x118 - x364*x122 - x365*x126 - x366*x130 - x367*x134 - 2*x15 - 7*x31
      - 7*x47 - 1446*x368 - 2236*x369 - 2808*x370 - 1753*x371 - 1379*x372
      >= -39514;

e87: (-x357*x95) - x358*x99 - x359*x103 - x360*x107 - x361*x111 - x362*x115 - 
     x363*x119 - x364*x123 - x365*x127 - x366*x131 - x367*x135 - 9*x15 - 6*x31
      - 9*x47 - 1730*x368 - 2292*x369 - 1630*x370 - 1716*x371 - 2352*x372
      >= -19734;

e88: (-x357*x96) - x358*x100 - x359*x104 - x360*x108 - x361*x112 - x362*x116 - 
     x363*x120 - x364*x124 - x365*x128 - x366*x132 - x367*x136 - 8*x15 - 4*x31
      - 7*x47 - 2830*x368 - 1911*x369 - 2281*x370 - 890*x371 - 2532*x372
      >= -7429;

e89: (-x357*x97) - x358*x101 - x359*x105 - x360*x109 - x361*x113 - x362*x117 - 
     x363*x121 - x364*x125 - x365*x129 - x366*x133 - x367*x137 - x15 - 6*x31
      - x47 - 2558*x368 - 2001*x369 - 1996*x370 - 1853*x371 - 626*x372
      >= -4393;

e90: (-x373*x94) - x374*x98 - x375*x102 - x376*x106 - x377*x110 - x378*x114 - 
     x379*x118 - x380*x122 - x381*x126 - x382*x130 - x383*x134 - 2*x16 - 7*x32
      - 7*x48 - 1446*x384 - 2236*x385 - 2808*x386 - 1753*x387 - 1379*x388
      >= -166100;

e91: (-x373*x95) - x374*x99 - x375*x103 - x376*x107 - x377*x111 - x378*x115 - 
     x379*x119 - x380*x123 - x381*x127 - x382*x131 - x383*x135 - 9*x16 - 6*x32
      - 9*x48 - 1730*x384 - 2292*x385 - 1630*x386 - 1716*x387 - 2352*x388
      >= -136600;

e92: (-x373*x96) - x374*x100 - x375*x104 - x376*x108 - x377*x112 - x378*x116 - 
     x379*x120 - x380*x124 - x381*x128 - x382*x132 - x383*x136 - 8*x16 - 4*x32
      - 7*x48 - 2830*x384 - 1911*x385 - 2281*x386 - 890*x387 - 2532*x388
      >= -41300;

e93: (-x373*x97) - x374*x101 - x375*x105 - x376*x109 - x377*x113 - x378*x117 - 
     x379*x121 - x380*x125 - x381*x129 - x382*x133 - x383*x137 - x16 - 6*x32
      - x48 - 2558*x384 - 2001*x385 - 1996*x386 - 1853*x387 - 626*x388
      >= -154600;

e94: (-x389*x94) - x390*x98 - x391*x102 - x392*x106 - x393*x110 - x394*x114 - 
     x395*x118 - x396*x122 - x397*x126 - x398*x130 - x399*x134 - 2*x17 - 7*x33
      - 7*x49 - 1446*x400 - 2236*x401 - 2808*x402 - 1753*x403 - 1379*x404
      >= -55935;

e95: (-x389*x95) - x390*x99 - x391*x103 - x392*x107 - x393*x111 - x394*x115 - 
     x395*x119 - x396*x123 - x397*x127 - x398*x131 - x399*x135 - 9*x17 - 6*x33
      - 9*x49 - 1730*x400 - 2292*x401 - 1630*x402 - 1716*x403 - 2352*x404
      >= -28755;

e96: (-x389*x96) - x390*x100 - x391*x104 - x392*x108 - x393*x112 - x394*x116 - 
     x395*x120 - x396*x124 - x397*x128 - x398*x132 - x399*x136 - 8*x17 - 4*x33
      - 7*x49 - 2830*x400 - 1911*x401 - 2281*x402 - 890*x403 - 2532*x404
      >= -93510;

e97: (-x389*x97) - x390*x101 - x391*x105 - x392*x109 - x393*x113 - x394*x117 - 
     x395*x121 - x396*x125 - x397*x129 - x398*x133 - x399*x137 - x17 - 6*x33
      - x49 - 2558*x400 - 2001*x401 - 1996*x402 - 1853*x403 - 626*x404
      >= -11205;

e98: x138*x50 - x138*x94 = -3752;

e99: x138*x51 - x138*x95 = -146060;

e100: x138*x52 - x138*x96 = -151420;

e101: x138*x53 - x138*x97 = -93800;

e102: x155*x54 - x155*x98 = -10434;

e103: x155*x55 - x155*x99 = -29748;

e104: x155*x56 - x155*x100 = -42254;

e105: x155*x57 - x155*x101 = -20202;

e106: x172*x58 - x172*x102 = -48022;

e107: x172*x59 - x172*x103 = -13806;

e108: x172*x60 - x172*x104 = -14612;

e109: x172*x61 - x172*x105 = -39182;

e110: x189*x62 - x189*x106 = -123816;

e111: x189*x63 - x189*x107 = -23056;

e112: x189*x64 - x189*x108 = -209352;

e113: x189*x65 - x189*x109 = -195536;

e114: x206*x66 - x206*x110 = -107500;

e115: x206*x67 - x206*x111 = -24600;

e116: x206*x68 - x206*x112 = -79900;

e117: x206*x69 - x206*x113 = -186000;

e118: x223*x70 - x223*x114 = -5280;

e119: x223*x71 - x223*x115 = -31240;

e120: x223*x72 - x223*x116 = -67155;

e121: x223*x73 - x223*x117 = -76175;

e122: x240*x74 - x240*x118 = -57900;

e123: x240*x75 - x240*x119 = -9850;

e124: x240*x76 - x240*x120 = -35700;

e125: x240*x77 - x240*x121 = -134550;

e126: x257*x78 - x257*x122 = -2626;

e127: x257*x79 - x257*x123 = -33748;

e128: x257*x80 - x257*x124 = -23088;

e129: x257*x81 - x257*x125 = -67496;

e130: x274*x82 - x274*x126 = -223146;

e131: x274*x83 - x274*x127 = -19110;

e132: x274*x84 - x274*x128 = -97412;

e133: x274*x85 - x274*x129 = -22932;

e134: x291*x86 - x291*x130 = -48070;

e135: x291*x87 - x291*x131 = -114425;

e136: x291*x88 - x291*x132 = -72220;

e137: x291*x89 - x291*x133 = -200790;

e138: x308*x90 - x308*x134 = -81090;

e139: x308*x91 - x308*x135 = -133365;

e140: x308*x92 - x308*x136 = -25075;

e141: x308*x93 - x308*x137 = -4335;