#  QCP written by GAMS Convert at 02/15/18 15:47:05
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        251      221       30        0        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        716      716        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       6201     2151     4050        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, <= 1587;
var x103 >= 0, <= 381;
var x104 >= 0, <= 1903;
var x105 >= 0, <= 2202;
var x106 >= 0, <= 1281;
var x107 >= 0, <= 1998;
var x108 >= 0, <= 381;
var x109 >= 0, <= 1566;
var x110 >= 0, <= 637;
var x111 >= 0, <= 1833;
var x112 >= 0, <= 899;
var x113 >= 0, <= 1956;
var x114 >= 0, <= 2037;
var x115 >= 0, <= 2324;
var x116 >= 0, <= 2233;
var x117 >= 0, <= 1157;
var x118 >= 0, <= 1815;
var x119 >= 0, <= 793;
var x120 >= 0, <= 803;
var x121 >= 0, <= 2251;
var x122 >= 0, <= 686;
var x123 >= 0, <= 1021;
var x124 >= 0, <= 2161;
var x125 >= 0, <= 93;
var x126 >= 0, <= 2278;
var x127 >= 0, <= 491;
var x128 >= 0, <= 392;
var x129 >= 0, <= 1237;
var x130 >= 0, <= 2161;
var x131 >= 0, <= 1004;
var x132 >= 0, <= 1863;
var x133 >= 0, <= 1922;
var x134 >= 0, <= 1219;
var x135 >= 0, <= 801;
var x136 >= 0, <= 538;
var x137 >= 0, <= 589;
var x138 >= 0, <= 2491;
var x139 >= 0, <= 1129;
var x140 >= 0, <= 2300;
var x141 >= 0, <= 1857;
var x142 >= 0, <= 886;
var x143 >= 0, <= 463;
var x144 >= 0, <= 292;
var x145 >= 0, <= 2185;
var x146 >= 0, <= 416;
var x147 >= 0, <= 1366;
var x148 >= 0, <= 1816;
var x149 >= 0, <= 2426;
var x150 >= 0, <= 1784;
var x151 >= 0, <= 2059;
var x152 >= 0, <= 1866;
var x153 >= 0, <= 1971;
var x154 >= 0, <= 867;
var x155 >= 0, <= 1365;
var x156 >= 0, <= 1612;
var x157 >= 0, <= 2188;
var x158 >= 0, <= 750;
var x159 >= 0, <= 2110;
var x160 >= 0, <= 46;
var x161 >= 0, <= 1152;
var x162 >= 0, <= 1618;
var x163 >= 0, <= 2242;
var x164 >= 0, <= 633;
var x165 >= 0, <= 440;
var x166 >= 0, <= 593;
var x167 >= 0, <= 2303;
var x168 >= 0, <= 673;
var x169 >= 0, <= 1992;
var x170 >= 0, <= 156;
var x171 >= 0, <= 2262;
var x172 >= 0, <= 1737;
var x173 >= 0, <= 2230;
var x174 >= 0, <= 146;
var x175 >= 0, <= 325;
var x176 >= 0, <= 2127;
var x177 >= 0, <= 2475;
var x178 >= 0, <= 757;
var x179 >= 0, <= 804;
var x180 >= 0, <= 453;
var x181 >= 0, <= 658;
var x182 >= 0, <= 1444;
var x183 >= 0, <= 1445;
var x184 >= 0, <= 1617;
var x185 >= 0, <= 736;
var x186 >= 0, <= 962;
var x187 >= 0, <= 2147;
var x188 >= 0, <= 916;
var x189 >= 0, <= 1620;
var x190 >= 0, <= 1255;
var x191 >= 0, <= 1972;
var x192 >= 0, <= 2047;
var x193 >= 0, <= 2428;
var x194 >= 0, <= 2304;
var x195 >= 0, <= 2641;
var x196 >= 0, <= 2267;
var x197 >= 0, <= 2679;
var x198 >= 0, <= 569;
var x199 >= 0, <= 1638;
var x200 >= 0, <= 1754;
var x201 >= 0, <= 2336;
var x202 >= 0, <= 1057;
var x203 >= 0, <= 2567;
var x204 >= 0, <= 2130;
var x205 >= 0, <= 2835;
var x206 >= 0, <= 2267;
var x207 >= 0, <= 2042;
var x208 >= 0, <= 2629;
var x209 >= 0, <= 1459;
var x210 >= 0, <= 2217;
var x211 >= 0, <= 2289;
var x212 >= 0, <= 1993;
var x213 >= 0, <= 2643;
var x214 >= 0, <= 2727;
var x215 >= 0, <= 2034;
var x216 >= 0, <= 2573;
var x217 >= 0, <= 2353;
var x218 >= 0, <= 619;
var x219 >= 0, <= 2872;
var x220 >= 0, <= 2377;
var x221 >= 0, <= 2524;
var x222 >= 0, <= 2681;
var x223 >= 0, <= 2490;
var x224 >= 0, <= 2851;
var x225 >= 0, <= 897;
var x226 >= 0, <= 1219;
var x227 >= 0, <= 1306;
var x228 >= 0, <= 2705;
var x229 >= 0, <= 1826;
var x230 >= 0, <= 2649;
var x231 >= 0, <= 2633;
var x232 >= 0, <= 2070;
var x233 >= 0, <= 904;
var x234 >= 0, <= 541;
var x235 >= 0, <= 2200;
var x236 >= 0, <= 2554;
var x237 >= 0, <= 1849;
var x238 >= 0, <= 2278;
var x239 >= 0, <= 2816;
var x240 >= 0, <= 2714;
var x241 >= 0, <= 2154;
var x242 >= 0, <= 2920;
var x243 >= 0, <= 2306;
var x244 >= 0, <= 1896;
var x245 >= 0, <= 1437;
var x246 >= 0, <= 2529;
var x247 >= 0, <= 2207;
var x248 >= 0, <= 823;
var x249 >= 0, <= 2618;
var x250 >= 0, <= 2110;
var x251 >= 0, <= 2232;
var x252 >= 0, <= 2755;
var x253 >= 0, <= 2761;
var x254 >= 0, <= 1486;
var x255 >= 0, <= 2426;
var x256 >= 0, <= 866;
var x257 >= 0, <= 2645;
var x258 >= 0, <= 2035;
var x259 >= 0, <= 2802;
var x260 >= 0, <= 1260;
var x261 >= 0, <= 2367;
var x262 >= 0, <= 1969;
var x263 >= 0, <= 2320;
var x264 >= 0, <= 2675;
var x265 >= 0, <= 334;
var x266 >= 0, <= 2710;
var x267 >= 0, <= 2557;
var x268 >= 0, <= 2133;
var x269 >= 0, <= 1732;
var x270 >= 0, <= 2084;
var x271 >= 0, <= 1971;
var x272 >= 0, <= 1448;
var x273 >= 0, <= 1900;
var x274 >= 0, <= 2072;
var x275 >= 0, <= 2384;
var x276 >= 0, <= 2874;
var x277 >= 0, <= 2902;
var x278 >= 0, <= 1199;
var x279 >= 0, <= 1832;
var x280 >= 0, <= 1676;
var x281 >= 0, <= 2336;
var x282 >= 0, <= 134;
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, <= 74;
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, <= 26;
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, <= 88;
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, <= 100;
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, <= 55;
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, <= 50;
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, <= 26;
var x430 >= 0, <= 100000;
var x431 >= 0, <= 100000;
var x432 >= 0, <= 100000;
var x433 >= 0, <= 100000;
var x434 >= 0, <= 100000;
var x435 >= 0, <= 100000;
var x436 >= 0, <= 100000;
var x437 >= 0, <= 100000;
var x438 >= 0, <= 100000;
var x439 >= 0, <= 100000;
var x440 >= 0, <= 100000;
var x441 >= 0, <= 100000;
var x442 >= 0, <= 100000;
var x443 >= 0, <= 100000;
var x444 >= 0, <= 100000;
var x445 >= 0, <= 100000;
var x446 >= 0, <= 100000;
var x447 >= 0, <= 100000;
var x448 >= 0, <= 100000;
var x449 >= 0, <= 100000;
var x450 >= 0, <= 98;
var x451 >= 0, <= 100000;
var x452 >= 0, <= 100000;
var x453 >= 0, <= 100000;
var x454 >= 0, <= 100000;
var x455 >= 0, <= 100000;
var x456 >= 0, <= 100000;
var x457 >= 0, <= 100000;
var x458 >= 0, <= 100000;
var x459 >= 0, <= 100000;
var x460 >= 0, <= 100000;
var x461 >= 0, <= 100000;
var x462 >= 0, <= 100000;
var x463 >= 0, <= 100000;
var x464 >= 0, <= 100000;
var x465 >= 0, <= 100000;
var x466 >= 0, <= 100000;
var x467 >= 0, <= 100000;
var x468 >= 0, <= 100000;
var x469 >= 0, <= 100000;
var x470 >= 0, <= 100000;
var x471 >= 0, <= 115;
var x472 >= 0, <= 100000;
var x473 >= 0, <= 100000;
var x474 >= 0, <= 100000;
var x475 >= 0, <= 100000;
var x476 >= 0, <= 100000;
var x477 >= 0, <= 100000;
var x478 >= 0, <= 100000;
var x479 >= 0, <= 100000;
var x480 >= 0, <= 100000;
var x481 >= 0, <= 100000;
var x482 >= 0, <= 100000;
var x483 >= 0, <= 100000;
var x484 >= 0, <= 100000;
var x485 >= 0, <= 100000;
var x486 >= 0, <= 100000;
var x487 >= 0, <= 100000;
var x488 >= 0, <= 100000;
var x489 >= 0, <= 100000;
var x490 >= 0, <= 100000;
var x491 >= 0, <= 100000;
var x492 >= 0, <= 85;
var x493 >= 0, <= 100000;
var x494 >= 0, <= 100000;
var x495 >= 0, <= 100000;
var x496 >= 0, <= 100000;
var x497 >= 0, <= 100000;
var x498 >= 0, <= 100000;
var x499 >= 0, <= 100000;
var x500 >= 0, <= 100000;
var x501 >= 0, <= 100000;
var x502 >= 0, <= 100000;
var x503 >= 0, <= 100000;
var x504 >= 0, <= 100000;
var x505 >= 0, <= 100000;
var x506 >= 0, <= 100000;
var x507 >= 0, <= 100000;
var x508 >= 0, <= 100000;
var x509 >= 0, <= 100000;
var x510 >= 0, <= 100000;
var x511 >= 0, <= 100000;
var x512 >= 0, <= 100000;
var x513 >= 0, <= 95;
var x514 >= 0, <= 100000;
var x515 >= 0, <= 100000;
var x516 >= 0, <= 100000;
var x517 >= 0, <= 100000;
var x518 >= 0, <= 100000;
var x519 >= 0, <= 100000;
var x520 >= 0, <= 100000;
var x521 >= 0, <= 100000;
var x522 >= 0, <= 100000;
var x523 >= 0, <= 100000;
var x524 >= 0, <= 100000;
var x525 >= 0, <= 100000;
var x526 >= 0, <= 100000;
var x527 >= 0, <= 100000;
var x528 >= 0, <= 100000;
var x529 >= 0, <= 100000;
var x530 >= 0, <= 100000;
var x531 >= 0, <= 100000;
var x532 >= 0, <= 100000;
var x533 >= 0, <= 100000;
var x534 >= 0, <= 100;
var x535 >= 0, <= 100000;
var x536 >= 0, <= 100000;
var x537 >= 0, <= 100000;
var x538 >= 0, <= 100000;
var x539 >= 0, <= 100000;
var x540 >= 0, <= 100000;
var x541 >= 0, <= 100000;
var x542 >= 0, <= 100000;
var x543 >= 0, <= 100000;
var x544 >= 0, <= 100000;
var x545 >= 0, <= 100000;
var x546 >= 0, <= 100000;
var x547 >= 0, <= 100000;
var x548 >= 0, <= 100000;
var x549 >= 0, <= 100000;
var x550 >= 0, <= 100000;
var x551 >= 0, <= 100000;
var x552 >= 0, <= 100000;
var x553 >= 0, <= 100000;
var x554 >= 0, <= 100000;
var x555 >= 0, <= 45;
var x556 >= 0, <= 100000;
var x557 >= 0, <= 100000;
var x558 >= 0, <= 100000;
var x559 >= 0, <= 100000;
var x560 >= 0, <= 100000;
var x561 >= 0, <= 100000;
var x562 >= 0, <= 100000;
var x563 >= 0, <= 100000;
var x564 >= 0, <= 100000;
var x565 >= 0, <= 100000;
var x566 >= 0, <= 100000;
var x567 >= 0, <= 100000;
var x568 >= 0, <= 100000;
var x569 >= 0, <= 100000;
var x570 >= 0, <= 100000;
var x571 >= 0, <= 100000;
var x572 >= 0, <= 100000;
var x573 >= 0, <= 100000;
var x574 >= 0, <= 100000;
var x575 >= 0, <= 100000;
var x576 >= 0, <= 100;
var x577 >= 0, <= 100000;
var x578 >= 0, <= 100000;
var x579 >= 0, <= 100000;
var x580 >= 0, <= 100000;
var x581 >= 0, <= 100000;
var x582 >= 0, <= 100000;
var x583 >= 0, <= 100000;
var x584 >= 0, <= 100000;
var x585 >= 0, <= 100000;
var x586 >= 0, <= 100000;
var x587 >= 0, <= 100000;
var x588 >= 0, <= 100000;
var x589 >= 0, <= 100000;
var x590 >= 0, <= 100000;
var x591 >= 0, <= 100000;
var x592 >= 0, <= 100000;
var x593 >= 0, <= 100000;
var x594 >= 0, <= 100000;
var x595 >= 0, <= 100000;
var x596 >= 0, <= 100000;
var x597 >= 0, <= 100000;
var x598 >= 0, <= 100000;
var x599 >= 0, <= 100000;
var x600 >= 0, <= 100000;
var x601 >= 0, <= 100000;
var x602 >= 0, <= 100000;
var x603 >= 0, <= 100000;
var x604 >= 0, <= 100000;
var x605 >= 0, <= 100000;
var x606 >= 0, <= 100000;
var x607 >= 0, <= 100000;
var x608 >= 0, <= 100000;
var x609 >= 0, <= 100000;
var x610 >= 0, <= 100000;
var x611 >= 0, <= 100000;
var x612 >= 0, <= 100000;
var x613 >= 0, <= 100000;
var x614 >= 0, <= 100000;
var x615 >= 0, <= 100000;
var x616 >= 0, <= 100000;
var x617 >= 0, <= 100000;
var x618 >= 0, <= 100000;
var x619 >= 0, <= 100000;
var x620 >= 0, <= 100000;
var x621 >= 0, <= 100000;
var x622 >= 0, <= 100000;
var x623 >= 0, <= 100000;
var x624 >= 0, <= 100000;
var x625 >= 0, <= 100000;
var x626 >= 0, <= 100000;
var x627 >= 0, <= 100000;
var x628 >= 0, <= 100000;
var x629 >= 0, <= 100000;
var x630 >= 0, <= 100000;
var x631 >= 0, <= 100000;
var x632 >= 0, <= 100000;
var x633 >= 0, <= 100000;
var x634 >= 0, <= 100000;
var x635 >= 0, <= 100000;
var x636 >= 0, <= 100000;
var x637 >= 0, <= 100000;
var x638 >= 0, <= 100000;
var x639 >= 0, <= 100000;
var x640 >= 0, <= 100000;
var x641 >= 0, <= 100000;
var x642 >= 0, <= 100000;
var x643 >= 0, <= 100000;
var x644 >= 0, <= 100000;
var x645 >= 0, <= 100000;
var x646 >= 0, <= 100000;
var x647 >= 0, <= 100000;
var x648 >= 0, <= 100000;
var x649 >= 0, <= 100000;
var x650 >= 0, <= 100000;
var x651 >= 0, <= 100000;
var x652 >= 0, <= 100000;
var x653 >= 0, <= 100000;
var x654 >= 0, <= 100000;
var x655 >= 0, <= 100000;
var x656 >= 0, <= 100000;
var x657 >= 0, <= 100000;
var x658 >= 0, <= 100000;
var x659 >= 0, <= 100000;
var x660 >= 0, <= 100000;
var x661 >= 0, <= 100000;
var x662 >= 0, <= 100000;
var x663 >= 0, <= 100000;
var x664 >= 0, <= 100000;
var x665 >= 0, <= 100000;
var x666 >= 0, <= 100000;
var x667 >= 0, <= 100000;
var x668 >= 0, <= 100000;
var x669 >= 0, <= 100000;
var x670 >= 0, <= 100000;
var x671 >= 0, <= 100000;
var x672 >= 0, <= 100000;
var x673 >= 0, <= 100000;
var x674 >= 0, <= 100000;
var x675 >= 0, <= 100000;
var x676 >= 0, <= 100000;
var x677 >= 0, <= 100000;
var x678 >= 0, <= 100000;
var x679 >= 0, <= 100000;
var x680 >= 0, <= 100000;
var x681 >= 0, <= 100000;
var x682 >= 0, <= 100000;
var x683 >= 0, <= 100000;
var x684 >= 0, <= 100000;
var x685 >= 0, <= 100000;
var x686 >= 0, <= 100000;
var x687 >= 0, <= 100000;
var x688 >= 0, <= 100000;
var x689 >= 0, <= 100000;
var x690 >= 0, <= 100000;
var x691 >= 0, <= 100000;
var x692 >= 0, <= 100000;
var x693 >= 0, <= 100000;
var x694 >= 0, <= 100000;
var x695 >= 0, <= 100000;
var x696 >= 0, <= 100000;
var x697 >= 0, <= 100000;
var x698 >= 0, <= 100000;
var x699 >= 0, <= 100000;
var x700 >= 0, <= 100000;
var x701 >= 0, <= 100000;
var x702 >= 0, <= 100000;
var x703 >= 0, <= 100000;
var x704 >= 0, <= 100000;
var x705 >= 0, <= 100000;
var x706 >= 0, <= 100000;
var x707 >= 0, <= 100000;
var x708 >= 0, <= 100000;
var x709 >= 0, <= 100000;
var x710 >= 0, <= 100000;
var x711 >= 0, <= 100000;
var x712 >= 0, <= 100000;
var x713 >= 0, <= 100000;
var x714 >= 0, <= 100000;
var x715 >= 0, <= 100000;
var x716 >= 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 + x82 + x83 + x84 + x85
     + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 + x97
     + x98 + x99 + x100 + x101;

subject to

e2:  - x2 - x22 - x42 - x62 - x82 + x282 - x283 - x284 - x285 - x286 - x287
     - x288 - x289 - x290 - x291 - x292 - x293 - x294 - x295 - x296 - x297
     - x298 - x299 - x300 - x301 - x302 = 0;

e3:  - x3 - x23 - x43 - x63 - x83 + x303 - x304 - x305 - x306 - x307 - x308
     - x309 - x310 - x311 - x312 - x313 - x314 - x315 - x316 - x317 - x318
     - x319 - x320 - x321 - x322 - x323 = 0;

e4:  - x4 - x24 - x44 - x64 - x84 + x324 - x325 - x326 - x327 - x328 - x329
     - x330 - x331 - x332 - x333 - x334 - x335 - x336 - x337 - x338 - x339
     - x340 - x341 - x342 - x343 - x344 = 0;

e5:  - x5 - x25 - x45 - x65 - x85 + x345 - x346 - x347 - x348 - x349 - x350
     - x351 - x352 - x353 - x354 - x355 - x356 - x357 - x358 - x359 - x360
     - x361 - x362 - x363 - x364 - x365 = 0;

e6:  - x6 - x26 - x46 - x66 - x86 + x366 - x367 - x368 - x369 - x370 - x371
     - x372 - x373 - x374 - x375 - x376 - x377 - x378 - x379 - x380 - x381
     - x382 - x383 - x384 - x385 - x386 = 0;

e7:  - x7 - x27 - x47 - x67 - x87 + x387 - x388 - x389 - x390 - x391 - x392
     - x393 - x394 - x395 - x396 - x397 - x398 - x399 - x400 - x401 - x402
     - x403 - x404 - x405 - x406 - x407 = 0;

e8:  - x8 - x28 - x48 - x68 - x88 + x408 - x409 - x410 - x411 - x412 - x413
     - x414 - x415 - x416 - x417 - x418 - x419 - x420 - x421 - x422 - x423
     - x424 - x425 - x426 - x427 - x428 = 0;

e9:  - x9 - x29 - x49 - x69 - x89 + x429 - x430 - x431 - x432 - x433 - x434
     - x435 - x436 - x437 - x438 - x439 - x440 - x441 - x442 - x443 - x444
     - x445 - x446 - x447 - x448 - x449 = 0;

e10:  - x10 - x30 - x50 - x70 - x90 + x450 - x451 - x452 - x453 - x454 - x455
      - x456 - x457 - x458 - x459 - x460 - x461 - x462 - x463 - x464 - x465
      - x466 - x467 - x468 - x469 - x470 = 0;

e11:  - x11 - x31 - x51 - x71 - x91 + x471 - x472 - x473 - x474 - x475 - x476
      - x477 - x478 - x479 - x480 - x481 - x482 - x483 - x484 - x485 - x486
      - x487 - x488 - x489 - x490 - x491 = 0;

e12:  - x12 - x32 - x52 - x72 - x92 + x492 - x493 - x494 - x495 - x496 - x497
      - x498 - x499 - x500 - x501 - x502 - x503 - x504 - x505 - x506 - x507
      - x508 - x509 - x510 - x511 - x512 = 0;

e13:  - x13 - x33 - x53 - x73 - x93 + x513 - x514 - x515 - x516 - x517 - x518
      - x519 - x520 - x521 - x522 - x523 - x524 - x525 - x526 - x527 - x528
      - x529 - x530 - x531 - x532 - x533 = 0;

e14:  - x14 - x34 - x54 - x74 - x94 + x534 - x535 - x536 - x537 - x538 - x539
      - x540 - x541 - x542 - x543 - x544 - x545 - x546 - x547 - x548 - x549
      - x550 - x551 - x552 - x553 - x554 = 0;

e15:  - x15 - x35 - x55 - x75 - x95 + x555 - x556 - x557 - x558 - x559 - x560
      - x561 - x562 - x563 - x564 - x565 - x566 - x567 - x568 - x569 - x570
      - x571 - x572 - x573 - x574 - x575 = 0;

e16:  - x16 - x36 - x56 - x76 - x96 + x576 - x577 - x578 - x579 - x580 - x581
      - x582 - x583 - x584 - x585 - x586 - x587 - x588 - x589 - x590 - x591
      - x592 - x593 - x594 - x595 - x596 = 0;

e17:  - x17 - x37 - x57 - x77 - x97 - x597 - x598 - x599 - x600 - x601 - x602
      - x603 - x604 - x605 - x606 - x607 - x608 - x609 - x610 - x611 - x612
      - x613 - x614 - x615 - x616 = -75;

e18:  - x18 - x38 - x58 - x78 - x98 - x617 - x618 - x619 - x620 - x621 - x622
      - x623 - x624 - x625 - x626 - x627 - x628 - x629 - x630 - x631 - x632
      - x633 - x634 - x635 - x636 = -95;

e19:  - x19 - x39 - x59 - x79 - x99 - x637 - x638 - x639 - x640 - x641 - x642
      - x643 - x644 - x645 - x646 - x647 - x648 - x649 - x650 - x651 - x652
      - x653 - x654 - x655 - x656 = -100;

e20:  - x20 - x40 - x60 - x80 - x100 - x657 - x658 - x659 - x660 - x661 - x662
      - x663 - x664 - x665 - x666 - x667 - x668 - x669 - x670 - x671 - x672
      - x673 - x674 - x675 - x676 = -120;

e21:  - x21 - x41 - x61 - x81 - x101 - x677 - x678 - x679 - x680 - x681 - x682
      - x683 - x684 - x685 - x686 - x687 - x688 - x689 - x690 - x691 - x692
      - x693 - x694 - x695 - x696 = -70;

e22:    x282 - x283 - x304 - x325 - x346 - x367 - x388 - x409 - x430 - x451
      - x472 - x493 - x514 - x535 - x556 - x577 - x597 - x617 - x637 - x657
      - x677 - x697 = 0;

e23:  - x284 + x303 - x305 - x326 - x347 - x368 - x389 - x410 - x431 - x452
      - x473 - x494 - x515 - x536 - x557 - x578 - x598 - x618 - x638 - x658
      - x678 - x698 = 0;

e24:  - x285 - x306 + x324 - x327 - x348 - x369 - x390 - x411 - x432 - x453
      - x474 - x495 - x516 - x537 - x558 - x579 - x599 - x619 - x639 - x659
      - x679 - x699 = 0;

e25:  - x286 - x307 - x328 + x345 - x349 - x370 - x391 - x412 - x433 - x454
      - x475 - x496 - x517 - x538 - x559 - x580 - x600 - x620 - x640 - x660
      - x680 - x700 = 0;

e26:  - x287 - x308 - x329 - x350 + x366 - x371 - x392 - x413 - x434 - x455
      - x476 - x497 - x518 - x539 - x560 - x581 - x601 - x621 - x641 - x661
      - x681 - x701 = 0;

e27:  - x288 - x309 - x330 - x351 - x372 + x387 - x393 - x414 - x435 - x456
      - x477 - x498 - x519 - x540 - x561 - x582 - x602 - x622 - x642 - x662
      - x682 - x702 = 0;

e28:  - x289 - x310 - x331 - x352 - x373 - x394 + x408 - x415 - x436 - x457
      - x478 - x499 - x520 - x541 - x562 - x583 - x603 - x623 - x643 - x663
      - x683 - x703 = 0;

e29:  - x290 - x311 - x332 - x353 - x374 - x395 - x416 + x429 - x437 - x458
      - x479 - x500 - x521 - x542 - x563 - x584 - x604 - x624 - x644 - x664
      - x684 - x704 = 0;

e30:  - x291 - x312 - x333 - x354 - x375 - x396 - x417 - x438 + x450 - x459
      - x480 - x501 - x522 - x543 - x564 - x585 - x605 - x625 - x645 - x665
      - x685 - x705 = 0;

e31:  - x292 - x313 - x334 - x355 - x376 - x397 - x418 - x439 - x460 + x471
      - x481 - x502 - x523 - x544 - x565 - x586 - x606 - x626 - x646 - x666
      - x686 - x706 = 0;

e32:  - x293 - x314 - x335 - x356 - x377 - x398 - x419 - x440 - x461 - x482
      + x492 - x503 - x524 - x545 - x566 - x587 - x607 - x627 - x647 - x667
      - x687 - x707 = 0;

e33:  - x294 - x315 - x336 - x357 - x378 - x399 - x420 - x441 - x462 - x483
      - x504 + x513 - x525 - x546 - x567 - x588 - x608 - x628 - x648 - x668
      - x688 - x708 = 0;

e34:  - x295 - x316 - x337 - x358 - x379 - x400 - x421 - x442 - x463 - x484
      - x505 - x526 + x534 - x547 - x568 - x589 - x609 - x629 - x649 - x669
      - x689 - x709 = 0;

e35:  - x296 - x317 - x338 - x359 - x380 - x401 - x422 - x443 - x464 - x485
      - x506 - x527 - x548 + x555 - x569 - x590 - x610 - x630 - x650 - x670
      - x690 - x710 = 0;

e36:  - x297 - x318 - x339 - x360 - x381 - x402 - x423 - x444 - x465 - x486
      - x507 - x528 - x549 - x570 + x576 - x591 - x611 - x631 - x651 - x671
      - x691 - x711 = 0;

e37:  - x298 - x319 - x340 - x361 - x382 - x403 - x424 - x445 - x466 - x487
      - x508 - x529 - x550 - x571 - x592 - x612 - x632 - x652 - x672 - x692
      - x712 = -90;

e38:  - x299 - x320 - x341 - x362 - x383 - x404 - x425 - x446 - x467 - x488
      - x509 - x530 - x551 - x572 - x593 - x613 - x633 - x653 - x673 - x693
      - x713 = -58;

e39:  - x300 - x321 - x342 - x363 - x384 - x405 - x426 - x447 - x468 - x489
      - x510 - x531 - x552 - x573 - x594 - x614 - x634 - x654 - x674 - x694
      - x714 = -200;

e40:  - x301 - x322 - x343 - x364 - x385 - x406 - x427 - x448 - x469 - x490
      - x511 - x532 - x553 - x574 - x595 - x615 - x635 - x655 - x675 - x695
      - x715 = -75;

e41:  - x302 - x323 - x344 - x365 - x386 - x407 - x428 - x449 - x470 - x491
      - x512 - x533 - x554 - x575 - x596 - x616 - x636 - x656 - x676 - x696
      - x716 = -90;

e42: x282*x102 - x283*x192 - x284*x198 - x285*x204 - x286*x210 - x287*x216 - 
     x288*x222 - x289*x228 - x290*x234 - x291*x240 - x292*x246 - x293*x252 - 
     x294*x258 - x295*x264 - x296*x270 - x297*x276 - 4*x2 - 7*x22 - 2*x42
      - 6*x62 - 4*x82 - 1574*x298 - 1577*x299 - 1842*x300 - 2374*x301
      - 1267*x302 = 0;

e43: x282*x103 - x283*x193 - x284*x199 - x285*x205 - x286*x211 - x287*x217 - 
     x288*x223 - x289*x229 - x290*x235 - x291*x241 - x292*x247 - x293*x253 - 
     x294*x259 - x295*x265 - x296*x271 - x297*x277 - 9*x2 - 5*x22 - 3*x42
      - 9*x62 - 2369*x298 - 2946*x299 - 2127*x300 - 2911*x301 - 1282*x302 = 0;

e44: x282*x104 - x283*x194 - x284*x200 - x285*x206 - x286*x212 - x287*x218 - 
     x288*x224 - x289*x230 - x290*x236 - x291*x242 - x292*x248 - x293*x254 - 
     x294*x260 - x295*x266 - x296*x272 - x297*x278 - 4*x2 - 5*x22 - 2*x42
      - 8*x62 - 2418*x298 - 1716*x299 - 2354*x300 - 2096*x301 - 2572*x302 = 0;

e45: x282*x105 - x283*x195 - x284*x201 - x285*x207 - x286*x213 - x287*x219 - 
     x288*x225 - x289*x231 - x290*x237 - x291*x243 - x292*x249 - x293*x255 - 
     x294*x261 - x295*x267 - x296*x273 - x297*x279 - x2 - 5*x22 - 6*x42 - 6*x82
      - 2715*x298 - 2689*x299 - 2495*x300 - 1303*x301 - 2624*x302 = 0;

e46: x282*x106 - x283*x196 - x284*x202 - x285*x208 - x286*x214 - x287*x220 - 
     x288*x226 - x289*x232 - x290*x238 - x291*x244 - x292*x250 - x293*x256 - 
     x294*x262 - x295*x268 - x296*x274 - x297*x280 - 7*x2 - 8*x22 - 10*x42
      - 9*x62 - 2639*x298 - 2693*x299 - 2700*x300 - 2097*x301 - 2533*x302 = 0;

e47: x282*x107 - x283*x197 - x284*x203 - x285*x209 - x286*x215 - x287*x221 - 
     x288*x227 - x289*x233 - x290*x239 - x291*x245 - x292*x251 - x293*x257 - 
     x294*x263 - x295*x269 - x296*x275 - x297*x281 - 7*x2 - 10*x22 - 5*x62
      - 4*x82 - 2866*x298 - 2307*x299 - 2871*x300 - 2335*x301 - 2510*x302 = 0;

e48: x303*x108 - x304*x192 - x305*x198 - x306*x204 - x307*x210 - x308*x216 - 
     x309*x222 - x310*x228 - x311*x234 - x312*x240 - x313*x246 - x314*x252 - 
     x315*x258 - x316*x264 - x317*x270 - x318*x276 - 4*x3 - 7*x23 - 2*x43
      - 6*x63 - 4*x83 - 1574*x319 - 1577*x320 - 1842*x321 - 2374*x322
      - 1267*x323 = 0;

e49: x303*x109 - x304*x193 - x305*x199 - x306*x205 - x307*x211 - x308*x217 - 
     x309*x223 - x310*x229 - x311*x235 - x312*x241 - x313*x247 - x314*x253 - 
     x315*x259 - x316*x265 - x317*x271 - x318*x277 - 9*x3 - 5*x23 - 3*x43
      - 9*x63 - 2369*x319 - 2946*x320 - 2127*x321 - 2911*x322 - 1282*x323 = 0;

e50: x303*x110 - x304*x194 - x305*x200 - x306*x206 - x307*x212 - x308*x218 - 
     x309*x224 - x310*x230 - x311*x236 - x312*x242 - x313*x248 - x314*x254 - 
     x315*x260 - x316*x266 - x317*x272 - x318*x278 - 4*x3 - 5*x23 - 2*x43
      - 8*x63 - 2418*x319 - 1716*x320 - 2354*x321 - 2096*x322 - 2572*x323 = 0;

e51: x303*x111 - x304*x195 - x305*x201 - x306*x207 - x307*x213 - x308*x219 - 
     x309*x225 - x310*x231 - x311*x237 - x312*x243 - x313*x249 - x314*x255 - 
     x315*x261 - x316*x267 - x317*x273 - x318*x279 - x3 - 5*x23 - 6*x43 - 6*x83
      - 2715*x319 - 2689*x320 - 2495*x321 - 1303*x322 - 2624*x323 = 0;

e52: x303*x112 - x304*x196 - x305*x202 - x306*x208 - x307*x214 - x308*x220 - 
     x309*x226 - x310*x232 - x311*x238 - x312*x244 - x313*x250 - x314*x256 - 
     x315*x262 - x316*x268 - x317*x274 - x318*x280 - 7*x3 - 8*x23 - 10*x43
      - 9*x63 - 2639*x319 - 2693*x320 - 2700*x321 - 2097*x322 - 2533*x323 = 0;

e53: x303*x113 - x304*x197 - x305*x203 - x306*x209 - x307*x215 - x308*x221 - 
     x309*x227 - x310*x233 - x311*x239 - x312*x245 - x313*x251 - x314*x257 - 
     x315*x263 - x316*x269 - x317*x275 - x318*x281 - 7*x3 - 10*x23 - 5*x63
      - 4*x83 - 2866*x319 - 2307*x320 - 2871*x321 - 2335*x322 - 2510*x323 = 0;

e54: x324*x114 - x325*x192 - x326*x198 - x327*x204 - x328*x210 - x329*x216 - 
     x330*x222 - x331*x228 - x332*x234 - x333*x240 - x334*x246 - x335*x252 - 
     x336*x258 - x337*x264 - x338*x270 - x339*x276 - 4*x4 - 7*x24 - 2*x44
      - 6*x64 - 4*x84 - 1574*x340 - 1577*x341 - 1842*x342 - 2374*x343
      - 1267*x344 = 0;

e55: x324*x115 - x325*x193 - x326*x199 - x327*x205 - x328*x211 - x329*x217 - 
     x330*x223 - x331*x229 - x332*x235 - x333*x241 - x334*x247 - x335*x253 - 
     x336*x259 - x337*x265 - x338*x271 - x339*x277 - 9*x4 - 5*x24 - 3*x44
      - 9*x64 - 2369*x340 - 2946*x341 - 2127*x342 - 2911*x343 - 1282*x344 = 0;

e56: x324*x116 - x325*x194 - x326*x200 - x327*x206 - x328*x212 - x329*x218 - 
     x330*x224 - x331*x230 - x332*x236 - x333*x242 - x334*x248 - x335*x254 - 
     x336*x260 - x337*x266 - x338*x272 - x339*x278 - 4*x4 - 5*x24 - 2*x44
      - 8*x64 - 2418*x340 - 1716*x341 - 2354*x342 - 2096*x343 - 2572*x344 = 0;

e57: x324*x117 - x325*x195 - x326*x201 - x327*x207 - x328*x213 - x329*x219 - 
     x330*x225 - x331*x231 - x332*x237 - x333*x243 - x334*x249 - x335*x255 - 
     x336*x261 - x337*x267 - x338*x273 - x339*x279 - x4 - 5*x24 - 6*x44 - 6*x84
      - 2715*x340 - 2689*x341 - 2495*x342 - 1303*x343 - 2624*x344 = 0;

e58: x324*x118 - x325*x196 - x326*x202 - x327*x208 - x328*x214 - x329*x220 - 
     x330*x226 - x331*x232 - x332*x238 - x333*x244 - x334*x250 - x335*x256 - 
     x336*x262 - x337*x268 - x338*x274 - x339*x280 - 7*x4 - 8*x24 - 10*x44
      - 9*x64 - 2639*x340 - 2693*x341 - 2700*x342 - 2097*x343 - 2533*x344 = 0;

e59: x324*x119 - x325*x197 - x326*x203 - x327*x209 - x328*x215 - x329*x221 - 
     x330*x227 - x331*x233 - x332*x239 - x333*x245 - x334*x251 - x335*x257 - 
     x336*x263 - x337*x269 - x338*x275 - x339*x281 - 7*x4 - 10*x24 - 5*x64
      - 4*x84 - 2866*x340 - 2307*x341 - 2871*x342 - 2335*x343 - 2510*x344 = 0;

e60: x345*x120 - x346*x192 - x347*x198 - x348*x204 - x349*x210 - x350*x216 - 
     x351*x222 - x352*x228 - x353*x234 - x354*x240 - x355*x246 - x356*x252 - 
     x357*x258 - x358*x264 - x359*x270 - x360*x276 - 4*x5 - 7*x25 - 2*x45
      - 6*x65 - 4*x85 - 1574*x361 - 1577*x362 - 1842*x363 - 2374*x364
      - 1267*x365 = 0;

e61: x345*x121 - x346*x193 - x347*x199 - x348*x205 - x349*x211 - x350*x217 - 
     x351*x223 - x352*x229 - x353*x235 - x354*x241 - x355*x247 - x356*x253 - 
     x357*x259 - x358*x265 - x359*x271 - x360*x277 - 9*x5 - 5*x25 - 3*x45
      - 9*x65 - 2369*x361 - 2946*x362 - 2127*x363 - 2911*x364 - 1282*x365 = 0;

e62: x345*x122 - x346*x194 - x347*x200 - x348*x206 - x349*x212 - x350*x218 - 
     x351*x224 - x352*x230 - x353*x236 - x354*x242 - x355*x248 - x356*x254 - 
     x357*x260 - x358*x266 - x359*x272 - x360*x278 - 4*x5 - 5*x25 - 2*x45
      - 8*x65 - 2418*x361 - 1716*x362 - 2354*x363 - 2096*x364 - 2572*x365 = 0;

e63: x345*x123 - x346*x195 - x347*x201 - x348*x207 - x349*x213 - x350*x219 - 
     x351*x225 - x352*x231 - x353*x237 - x354*x243 - x355*x249 - x356*x255 - 
     x357*x261 - x358*x267 - x359*x273 - x360*x279 - x5 - 5*x25 - 6*x45 - 6*x85
      - 2715*x361 - 2689*x362 - 2495*x363 - 1303*x364 - 2624*x365 = 0;

e64: x345*x124 - x346*x196 - x347*x202 - x348*x208 - x349*x214 - x350*x220 - 
     x351*x226 - x352*x232 - x353*x238 - x354*x244 - x355*x250 - x356*x256 - 
     x357*x262 - x358*x268 - x359*x274 - x360*x280 - 7*x5 - 8*x25 - 10*x45
      - 9*x65 - 2639*x361 - 2693*x362 - 2700*x363 - 2097*x364 - 2533*x365 = 0;

e65: x345*x125 - x346*x197 - x347*x203 - x348*x209 - x349*x215 - x350*x221 - 
     x351*x227 - x352*x233 - x353*x239 - x354*x245 - x355*x251 - x356*x257 - 
     x357*x263 - x358*x269 - x359*x275 - x360*x281 - 7*x5 - 10*x25 - 5*x65
      - 4*x85 - 2866*x361 - 2307*x362 - 2871*x363 - 2335*x364 - 2510*x365 = 0;

e66: x366*x126 - x367*x192 - x368*x198 - x369*x204 - x370*x210 - x371*x216 - 
     x372*x222 - x373*x228 - x374*x234 - x375*x240 - x376*x246 - x377*x252 - 
     x378*x258 - x379*x264 - x380*x270 - x381*x276 - 4*x6 - 7*x26 - 2*x46
      - 6*x66 - 4*x86 - 1574*x382 - 1577*x383 - 1842*x384 - 2374*x385
      - 1267*x386 = 0;

e67: x366*x127 - x367*x193 - x368*x199 - x369*x205 - x370*x211 - x371*x217 - 
     x372*x223 - x373*x229 - x374*x235 - x375*x241 - x376*x247 - x377*x253 - 
     x378*x259 - x379*x265 - x380*x271 - x381*x277 - 9*x6 - 5*x26 - 3*x46
      - 9*x66 - 2369*x382 - 2946*x383 - 2127*x384 - 2911*x385 - 1282*x386 = 0;

e68: x366*x128 - x367*x194 - x368*x200 - x369*x206 - x370*x212 - x371*x218 - 
     x372*x224 - x373*x230 - x374*x236 - x375*x242 - x376*x248 - x377*x254 - 
     x378*x260 - x379*x266 - x380*x272 - x381*x278 - 4*x6 - 5*x26 - 2*x46
      - 8*x66 - 2418*x382 - 1716*x383 - 2354*x384 - 2096*x385 - 2572*x386 = 0;

e69: x366*x129 - x367*x195 - x368*x201 - x369*x207 - x370*x213 - x371*x219 - 
     x372*x225 - x373*x231 - x374*x237 - x375*x243 - x376*x249 - x377*x255 - 
     x378*x261 - x379*x267 - x380*x273 - x381*x279 - x6 - 5*x26 - 6*x46 - 6*x86
      - 2715*x382 - 2689*x383 - 2495*x384 - 1303*x385 - 2624*x386 = 0;

e70: x366*x130 - x367*x196 - x368*x202 - x369*x208 - x370*x214 - x371*x220 - 
     x372*x226 - x373*x232 - x374*x238 - x375*x244 - x376*x250 - x377*x256 - 
     x378*x262 - x379*x268 - x380*x274 - x381*x280 - 7*x6 - 8*x26 - 10*x46
      - 9*x66 - 2639*x382 - 2693*x383 - 2700*x384 - 2097*x385 - 2533*x386 = 0;

e71: x366*x131 - x367*x197 - x368*x203 - x369*x209 - x370*x215 - x371*x221 - 
     x372*x227 - x373*x233 - x374*x239 - x375*x245 - x376*x251 - x377*x257 - 
     x378*x263 - x379*x269 - x380*x275 - x381*x281 - 7*x6 - 10*x26 - 5*x66
      - 4*x86 - 2866*x382 - 2307*x383 - 2871*x384 - 2335*x385 - 2510*x386 = 0;

e72: x387*x132 - x388*x192 - x389*x198 - x390*x204 - x391*x210 - x392*x216 - 
     x393*x222 - x394*x228 - x395*x234 - x396*x240 - x397*x246 - x398*x252 - 
     x399*x258 - x400*x264 - x401*x270 - x402*x276 - 4*x7 - 7*x27 - 2*x47
      - 6*x67 - 4*x87 - 1574*x403 - 1577*x404 - 1842*x405 - 2374*x406
      - 1267*x407 = 0;

e73: x387*x133 - x388*x193 - x389*x199 - x390*x205 - x391*x211 - x392*x217 - 
     x393*x223 - x394*x229 - x395*x235 - x396*x241 - x397*x247 - x398*x253 - 
     x399*x259 - x400*x265 - x401*x271 - x402*x277 - 9*x7 - 5*x27 - 3*x47
      - 9*x67 - 2369*x403 - 2946*x404 - 2127*x405 - 2911*x406 - 1282*x407 = 0;

e74: x387*x134 - x388*x194 - x389*x200 - x390*x206 - x391*x212 - x392*x218 - 
     x393*x224 - x394*x230 - x395*x236 - x396*x242 - x397*x248 - x398*x254 - 
     x399*x260 - x400*x266 - x401*x272 - x402*x278 - 4*x7 - 5*x27 - 2*x47
      - 8*x67 - 2418*x403 - 1716*x404 - 2354*x405 - 2096*x406 - 2572*x407 = 0;

e75: x387*x135 - x388*x195 - x389*x201 - x390*x207 - x391*x213 - x392*x219 - 
     x393*x225 - x394*x231 - x395*x237 - x396*x243 - x397*x249 - x398*x255 - 
     x399*x261 - x400*x267 - x401*x273 - x402*x279 - x7 - 5*x27 - 6*x47 - 6*x87
      - 2715*x403 - 2689*x404 - 2495*x405 - 1303*x406 - 2624*x407 = 0;

e76: x387*x136 - x388*x196 - x389*x202 - x390*x208 - x391*x214 - x392*x220 - 
     x393*x226 - x394*x232 - x395*x238 - x396*x244 - x397*x250 - x398*x256 - 
     x399*x262 - x400*x268 - x401*x274 - x402*x280 - 7*x7 - 8*x27 - 10*x47
      - 9*x67 - 2639*x403 - 2693*x404 - 2700*x405 - 2097*x406 - 2533*x407 = 0;

e77: x387*x137 - x388*x197 - x389*x203 - x390*x209 - x391*x215 - x392*x221 - 
     x393*x227 - x394*x233 - x395*x239 - x396*x245 - x397*x251 - x398*x257 - 
     x399*x263 - x400*x269 - x401*x275 - x402*x281 - 7*x7 - 10*x27 - 5*x67
      - 4*x87 - 2866*x403 - 2307*x404 - 2871*x405 - 2335*x406 - 2510*x407 = 0;

e78: x408*x138 - x409*x192 - x410*x198 - x411*x204 - x412*x210 - x413*x216 - 
     x414*x222 - x415*x228 - x416*x234 - x417*x240 - x418*x246 - x419*x252 - 
     x420*x258 - x421*x264 - x422*x270 - x423*x276 - 4*x8 - 7*x28 - 2*x48
      - 6*x68 - 4*x88 - 1574*x424 - 1577*x425 - 1842*x426 - 2374*x427
      - 1267*x428 = 0;

e79: x408*x139 - x409*x193 - x410*x199 - x411*x205 - x412*x211 - x413*x217 - 
     x414*x223 - x415*x229 - x416*x235 - x417*x241 - x418*x247 - x419*x253 - 
     x420*x259 - x421*x265 - x422*x271 - x423*x277 - 9*x8 - 5*x28 - 3*x48
      - 9*x68 - 2369*x424 - 2946*x425 - 2127*x426 - 2911*x427 - 1282*x428 = 0;

e80: x408*x140 - x409*x194 - x410*x200 - x411*x206 - x412*x212 - x413*x218 - 
     x414*x224 - x415*x230 - x416*x236 - x417*x242 - x418*x248 - x419*x254 - 
     x420*x260 - x421*x266 - x422*x272 - x423*x278 - 4*x8 - 5*x28 - 2*x48
      - 8*x68 - 2418*x424 - 1716*x425 - 2354*x426 - 2096*x427 - 2572*x428 = 0;

e81: x408*x141 - x409*x195 - x410*x201 - x411*x207 - x412*x213 - x413*x219 - 
     x414*x225 - x415*x231 - x416*x237 - x417*x243 - x418*x249 - x419*x255 - 
     x420*x261 - x421*x267 - x422*x273 - x423*x279 - x8 - 5*x28 - 6*x48 - 6*x88
      - 2715*x424 - 2689*x425 - 2495*x426 - 1303*x427 - 2624*x428 = 0;

e82: x408*x142 - x409*x196 - x410*x202 - x411*x208 - x412*x214 - x413*x220 - 
     x414*x226 - x415*x232 - x416*x238 - x417*x244 - x418*x250 - x419*x256 - 
     x420*x262 - x421*x268 - x422*x274 - x423*x280 - 7*x8 - 8*x28 - 10*x48
      - 9*x68 - 2639*x424 - 2693*x425 - 2700*x426 - 2097*x427 - 2533*x428 = 0;

e83: x408*x143 - x409*x197 - x410*x203 - x411*x209 - x412*x215 - x413*x221 - 
     x414*x227 - x415*x233 - x416*x239 - x417*x245 - x418*x251 - x419*x257 - 
     x420*x263 - x421*x269 - x422*x275 - x423*x281 - 7*x8 - 10*x28 - 5*x68
      - 4*x88 - 2866*x424 - 2307*x425 - 2871*x426 - 2335*x427 - 2510*x428 = 0;

e84: x429*x144 - x430*x192 - x431*x198 - x432*x204 - x433*x210 - x434*x216 - 
     x435*x222 - x436*x228 - x437*x234 - x438*x240 - x439*x246 - x440*x252 - 
     x441*x258 - x442*x264 - x443*x270 - x444*x276 - 4*x9 - 7*x29 - 2*x49
      - 6*x69 - 4*x89 - 1574*x445 - 1577*x446 - 1842*x447 - 2374*x448
      - 1267*x449 = 0;

e85: x429*x145 - x430*x193 - x431*x199 - x432*x205 - x433*x211 - x434*x217 - 
     x435*x223 - x436*x229 - x437*x235 - x438*x241 - x439*x247 - x440*x253 - 
     x441*x259 - x442*x265 - x443*x271 - x444*x277 - 9*x9 - 5*x29 - 3*x49
      - 9*x69 - 2369*x445 - 2946*x446 - 2127*x447 - 2911*x448 - 1282*x449 = 0;

e86: x429*x146 - x430*x194 - x431*x200 - x432*x206 - x433*x212 - x434*x218 - 
     x435*x224 - x436*x230 - x437*x236 - x438*x242 - x439*x248 - x440*x254 - 
     x441*x260 - x442*x266 - x443*x272 - x444*x278 - 4*x9 - 5*x29 - 2*x49
      - 8*x69 - 2418*x445 - 1716*x446 - 2354*x447 - 2096*x448 - 2572*x449 = 0;

e87: x429*x147 - x430*x195 - x431*x201 - x432*x207 - x433*x213 - x434*x219 - 
     x435*x225 - x436*x231 - x437*x237 - x438*x243 - x439*x249 - x440*x255 - 
     x441*x261 - x442*x267 - x443*x273 - x444*x279 - x9 - 5*x29 - 6*x49 - 6*x89
      - 2715*x445 - 2689*x446 - 2495*x447 - 1303*x448 - 2624*x449 = 0;

e88: x429*x148 - x430*x196 - x431*x202 - x432*x208 - x433*x214 - x434*x220 - 
     x435*x226 - x436*x232 - x437*x238 - x438*x244 - x439*x250 - x440*x256 - 
     x441*x262 - x442*x268 - x443*x274 - x444*x280 - 7*x9 - 8*x29 - 10*x49
      - 9*x69 - 2639*x445 - 2693*x446 - 2700*x447 - 2097*x448 - 2533*x449 = 0;

e89: x429*x149 - x430*x197 - x431*x203 - x432*x209 - x433*x215 - x434*x221 - 
     x435*x227 - x436*x233 - x437*x239 - x438*x245 - x439*x251 - x440*x257 - 
     x441*x263 - x442*x269 - x443*x275 - x444*x281 - 7*x9 - 10*x29 - 5*x69
      - 4*x89 - 2866*x445 - 2307*x446 - 2871*x447 - 2335*x448 - 2510*x449 = 0;

e90: x450*x150 - x451*x192 - x452*x198 - x453*x204 - x454*x210 - x455*x216 - 
     x456*x222 - x457*x228 - x458*x234 - x459*x240 - x460*x246 - x461*x252 - 
     x462*x258 - x463*x264 - x464*x270 - x465*x276 - 4*x10 - 7*x30 - 2*x50
      - 6*x70 - 4*x90 - 1574*x466 - 1577*x467 - 1842*x468 - 2374*x469
      - 1267*x470 = 0;

e91: x450*x151 - x451*x193 - x452*x199 - x453*x205 - x454*x211 - x455*x217 - 
     x456*x223 - x457*x229 - x458*x235 - x459*x241 - x460*x247 - x461*x253 - 
     x462*x259 - x463*x265 - x464*x271 - x465*x277 - 9*x10 - 5*x30 - 3*x50
      - 9*x70 - 2369*x466 - 2946*x467 - 2127*x468 - 2911*x469 - 1282*x470 = 0;

e92: x450*x152 - x451*x194 - x452*x200 - x453*x206 - x454*x212 - x455*x218 - 
     x456*x224 - x457*x230 - x458*x236 - x459*x242 - x460*x248 - x461*x254 - 
     x462*x260 - x463*x266 - x464*x272 - x465*x278 - 4*x10 - 5*x30 - 2*x50
      - 8*x70 - 2418*x466 - 1716*x467 - 2354*x468 - 2096*x469 - 2572*x470 = 0;

e93: x450*x153 - x451*x195 - x452*x201 - x453*x207 - x454*x213 - x455*x219 - 
     x456*x225 - x457*x231 - x458*x237 - x459*x243 - x460*x249 - x461*x255 - 
     x462*x261 - x463*x267 - x464*x273 - x465*x279 - x10 - 5*x30 - 6*x50
      - 6*x90 - 2715*x466 - 2689*x467 - 2495*x468 - 1303*x469 - 2624*x470 = 0;

e94: x450*x154 - x451*x196 - x452*x202 - x453*x208 - x454*x214 - x455*x220 - 
     x456*x226 - x457*x232 - x458*x238 - x459*x244 - x460*x250 - x461*x256 - 
     x462*x262 - x463*x268 - x464*x274 - x465*x280 - 7*x10 - 8*x30 - 10*x50
      - 9*x70 - 2639*x466 - 2693*x467 - 2700*x468 - 2097*x469 - 2533*x470 = 0;

e95: x450*x155 - x451*x197 - x452*x203 - x453*x209 - x454*x215 - x455*x221 - 
     x456*x227 - x457*x233 - x458*x239 - x459*x245 - x460*x251 - x461*x257 - 
     x462*x263 - x463*x269 - x464*x275 - x465*x281 - 7*x10 - 10*x30 - 5*x70
      - 4*x90 - 2866*x466 - 2307*x467 - 2871*x468 - 2335*x469 - 2510*x470 = 0;

e96: x471*x156 - x472*x192 - x473*x198 - x474*x204 - x475*x210 - x476*x216 - 
     x477*x222 - x478*x228 - x479*x234 - x480*x240 - x481*x246 - x482*x252 - 
     x483*x258 - x484*x264 - x485*x270 - x486*x276 - 4*x11 - 7*x31 - 2*x51
      - 6*x71 - 4*x91 - 1574*x487 - 1577*x488 - 1842*x489 - 2374*x490
      - 1267*x491 = 0;

e97: x471*x157 - x472*x193 - x473*x199 - x474*x205 - x475*x211 - x476*x217 - 
     x477*x223 - x478*x229 - x479*x235 - x480*x241 - x481*x247 - x482*x253 - 
     x483*x259 - x484*x265 - x485*x271 - x486*x277 - 9*x11 - 5*x31 - 3*x51
      - 9*x71 - 2369*x487 - 2946*x488 - 2127*x489 - 2911*x490 - 1282*x491 = 0;

e98: x471*x158 - x472*x194 - x473*x200 - x474*x206 - x475*x212 - x476*x218 - 
     x477*x224 - x478*x230 - x479*x236 - x480*x242 - x481*x248 - x482*x254 - 
     x483*x260 - x484*x266 - x485*x272 - x486*x278 - 4*x11 - 5*x31 - 2*x51
      - 8*x71 - 2418*x487 - 1716*x488 - 2354*x489 - 2096*x490 - 2572*x491 = 0;

e99: x471*x159 - x472*x195 - x473*x201 - x474*x207 - x475*x213 - x476*x219 - 
     x477*x225 - x478*x231 - x479*x237 - x480*x243 - x481*x249 - x482*x255 - 
     x483*x261 - x484*x267 - x485*x273 - x486*x279 - x11 - 5*x31 - 6*x51
      - 6*x91 - 2715*x487 - 2689*x488 - 2495*x489 - 1303*x490 - 2624*x491 = 0;

e100: x471*x160 - x472*x196 - x473*x202 - x474*x208 - x475*x214 - x476*x220 - 
      x477*x226 - x478*x232 - x479*x238 - x480*x244 - x481*x250 - x482*x256 - 
      x483*x262 - x484*x268 - x485*x274 - x486*x280 - 7*x11 - 8*x31 - 10*x51
       - 9*x71 - 2639*x487 - 2693*x488 - 2700*x489 - 2097*x490 - 2533*x491 = 0;

e101: x471*x161 - x472*x197 - x473*x203 - x474*x209 - x475*x215 - x476*x221 - 
      x477*x227 - x478*x233 - x479*x239 - x480*x245 - x481*x251 - x482*x257 - 
      x483*x263 - x484*x269 - x485*x275 - x486*x281 - 7*x11 - 10*x31 - 5*x71
       - 4*x91 - 2866*x487 - 2307*x488 - 2871*x489 - 2335*x490 - 2510*x491 = 0;

e102: x492*x162 - x493*x192 - x494*x198 - x495*x204 - x496*x210 - x497*x216 - 
      x498*x222 - x499*x228 - x500*x234 - x501*x240 - x502*x246 - x503*x252 - 
      x504*x258 - x505*x264 - x506*x270 - x507*x276 - 4*x12 - 7*x32 - 2*x52
       - 6*x72 - 4*x92 - 1574*x508 - 1577*x509 - 1842*x510 - 2374*x511
       - 1267*x512 = 0;

e103: x492*x163 - x493*x193 - x494*x199 - x495*x205 - x496*x211 - x497*x217 - 
      x498*x223 - x499*x229 - x500*x235 - x501*x241 - x502*x247 - x503*x253 - 
      x504*x259 - x505*x265 - x506*x271 - x507*x277 - 9*x12 - 5*x32 - 3*x52
       - 9*x72 - 2369*x508 - 2946*x509 - 2127*x510 - 2911*x511 - 1282*x512 = 0;

e104: x492*x164 - x493*x194 - x494*x200 - x495*x206 - x496*x212 - x497*x218 - 
      x498*x224 - x499*x230 - x500*x236 - x501*x242 - x502*x248 - x503*x254 - 
      x504*x260 - x505*x266 - x506*x272 - x507*x278 - 4*x12 - 5*x32 - 2*x52
       - 8*x72 - 2418*x508 - 1716*x509 - 2354*x510 - 2096*x511 - 2572*x512 = 0;

e105: x492*x165 - x493*x195 - x494*x201 - x495*x207 - x496*x213 - x497*x219 - 
      x498*x225 - x499*x231 - x500*x237 - x501*x243 - x502*x249 - x503*x255 - 
      x504*x261 - x505*x267 - x506*x273 - x507*x279 - x12 - 5*x32 - 6*x52
       - 6*x92 - 2715*x508 - 2689*x509 - 2495*x510 - 1303*x511 - 2624*x512 = 0;

e106: x492*x166 - x493*x196 - x494*x202 - x495*x208 - x496*x214 - x497*x220 - 
      x498*x226 - x499*x232 - x500*x238 - x501*x244 - x502*x250 - x503*x256 - 
      x504*x262 - x505*x268 - x506*x274 - x507*x280 - 7*x12 - 8*x32 - 10*x52
       - 9*x72 - 2639*x508 - 2693*x509 - 2700*x510 - 2097*x511 - 2533*x512 = 0;

e107: x492*x167 - x493*x197 - x494*x203 - x495*x209 - x496*x215 - x497*x221 - 
      x498*x227 - x499*x233 - x500*x239 - x501*x245 - x502*x251 - x503*x257 - 
      x504*x263 - x505*x269 - x506*x275 - x507*x281 - 7*x12 - 10*x32 - 5*x72
       - 4*x92 - 2866*x508 - 2307*x509 - 2871*x510 - 2335*x511 - 2510*x512 = 0;

e108: x513*x168 - x514*x192 - x515*x198 - x516*x204 - x517*x210 - x518*x216 - 
      x519*x222 - x520*x228 - x521*x234 - x522*x240 - x523*x246 - x524*x252 - 
      x525*x258 - x526*x264 - x527*x270 - x528*x276 - 4*x13 - 7*x33 - 2*x53
       - 6*x73 - 4*x93 - 1574*x529 - 1577*x530 - 1842*x531 - 2374*x532
       - 1267*x533 = 0;

e109: x513*x169 - x514*x193 - x515*x199 - x516*x205 - x517*x211 - x518*x217 - 
      x519*x223 - x520*x229 - x521*x235 - x522*x241 - x523*x247 - x524*x253 - 
      x525*x259 - x526*x265 - x527*x271 - x528*x277 - 9*x13 - 5*x33 - 3*x53
       - 9*x73 - 2369*x529 - 2946*x530 - 2127*x531 - 2911*x532 - 1282*x533 = 0;

e110: x513*x170 - x514*x194 - x515*x200 - x516*x206 - x517*x212 - x518*x218 - 
      x519*x224 - x520*x230 - x521*x236 - x522*x242 - x523*x248 - x524*x254 - 
      x525*x260 - x526*x266 - x527*x272 - x528*x278 - 4*x13 - 5*x33 - 2*x53
       - 8*x73 - 2418*x529 - 1716*x530 - 2354*x531 - 2096*x532 - 2572*x533 = 0;

e111: x513*x171 - x514*x195 - x515*x201 - x516*x207 - x517*x213 - x518*x219 - 
      x519*x225 - x520*x231 - x521*x237 - x522*x243 - x523*x249 - x524*x255 - 
      x525*x261 - x526*x267 - x527*x273 - x528*x279 - x13 - 5*x33 - 6*x53
       - 6*x93 - 2715*x529 - 2689*x530 - 2495*x531 - 1303*x532 - 2624*x533 = 0;

e112: x513*x172 - x514*x196 - x515*x202 - x516*x208 - x517*x214 - x518*x220 - 
      x519*x226 - x520*x232 - x521*x238 - x522*x244 - x523*x250 - x524*x256 - 
      x525*x262 - x526*x268 - x527*x274 - x528*x280 - 7*x13 - 8*x33 - 10*x53
       - 9*x73 - 2639*x529 - 2693*x530 - 2700*x531 - 2097*x532 - 2533*x533 = 0;

e113: x513*x173 - x514*x197 - x515*x203 - x516*x209 - x517*x215 - x518*x221 - 
      x519*x227 - x520*x233 - x521*x239 - x522*x245 - x523*x251 - x524*x257 - 
      x525*x263 - x526*x269 - x527*x275 - x528*x281 - 7*x13 - 10*x33 - 5*x73
       - 4*x93 - 2866*x529 - 2307*x530 - 2871*x531 - 2335*x532 - 2510*x533 = 0;

e114: x534*x174 - x535*x192 - x536*x198 - x537*x204 - x538*x210 - x539*x216 - 
      x540*x222 - x541*x228 - x542*x234 - x543*x240 - x544*x246 - x545*x252 - 
      x546*x258 - x547*x264 - x548*x270 - x549*x276 - 4*x14 - 7*x34 - 2*x54
       - 6*x74 - 4*x94 - 1574*x550 - 1577*x551 - 1842*x552 - 2374*x553
       - 1267*x554 = 0;

e115: x534*x175 - x535*x193 - x536*x199 - x537*x205 - x538*x211 - x539*x217 - 
      x540*x223 - x541*x229 - x542*x235 - x543*x241 - x544*x247 - x545*x253 - 
      x546*x259 - x547*x265 - x548*x271 - x549*x277 - 9*x14 - 5*x34 - 3*x54
       - 9*x74 - 2369*x550 - 2946*x551 - 2127*x552 - 2911*x553 - 1282*x554 = 0;

e116: x534*x176 - x535*x194 - x536*x200 - x537*x206 - x538*x212 - x539*x218 - 
      x540*x224 - x541*x230 - x542*x236 - x543*x242 - x544*x248 - x545*x254 - 
      x546*x260 - x547*x266 - x548*x272 - x549*x278 - 4*x14 - 5*x34 - 2*x54
       - 8*x74 - 2418*x550 - 1716*x551 - 2354*x552 - 2096*x553 - 2572*x554 = 0;

e117: x534*x177 - x535*x195 - x536*x201 - x537*x207 - x538*x213 - x539*x219 - 
      x540*x225 - x541*x231 - x542*x237 - x543*x243 - x544*x249 - x545*x255 - 
      x546*x261 - x547*x267 - x548*x273 - x549*x279 - x14 - 5*x34 - 6*x54
       - 6*x94 - 2715*x550 - 2689*x551 - 2495*x552 - 1303*x553 - 2624*x554 = 0;

e118: x534*x178 - x535*x196 - x536*x202 - x537*x208 - x538*x214 - x539*x220 - 
      x540*x226 - x541*x232 - x542*x238 - x543*x244 - x544*x250 - x545*x256 - 
      x546*x262 - x547*x268 - x548*x274 - x549*x280 - 7*x14 - 8*x34 - 10*x54
       - 9*x74 - 2639*x550 - 2693*x551 - 2700*x552 - 2097*x553 - 2533*x554 = 0;

e119: x534*x179 - x535*x197 - x536*x203 - x537*x209 - x538*x215 - x539*x221 - 
      x540*x227 - x541*x233 - x542*x239 - x543*x245 - x544*x251 - x545*x257 - 
      x546*x263 - x547*x269 - x548*x275 - x549*x281 - 7*x14 - 10*x34 - 5*x74
       - 4*x94 - 2866*x550 - 2307*x551 - 2871*x552 - 2335*x553 - 2510*x554 = 0;

e120: x555*x180 - x556*x192 - x557*x198 - x558*x204 - x559*x210 - x560*x216 - 
      x561*x222 - x562*x228 - x563*x234 - x564*x240 - x565*x246 - x566*x252 - 
      x567*x258 - x568*x264 - x569*x270 - x570*x276 - 4*x15 - 7*x35 - 2*x55
       - 6*x75 - 4*x95 - 1574*x571 - 1577*x572 - 1842*x573 - 2374*x574
       - 1267*x575 = 0;

e121: x555*x181 - x556*x193 - x557*x199 - x558*x205 - x559*x211 - x560*x217 - 
      x561*x223 - x562*x229 - x563*x235 - x564*x241 - x565*x247 - x566*x253 - 
      x567*x259 - x568*x265 - x569*x271 - x570*x277 - 9*x15 - 5*x35 - 3*x55
       - 9*x75 - 2369*x571 - 2946*x572 - 2127*x573 - 2911*x574 - 1282*x575 = 0;

e122: x555*x182 - x556*x194 - x557*x200 - x558*x206 - x559*x212 - x560*x218 - 
      x561*x224 - x562*x230 - x563*x236 - x564*x242 - x565*x248 - x566*x254 - 
      x567*x260 - x568*x266 - x569*x272 - x570*x278 - 4*x15 - 5*x35 - 2*x55
       - 8*x75 - 2418*x571 - 1716*x572 - 2354*x573 - 2096*x574 - 2572*x575 = 0;

e123: x555*x183 - x556*x195 - x557*x201 - x558*x207 - x559*x213 - x560*x219 - 
      x561*x225 - x562*x231 - x563*x237 - x564*x243 - x565*x249 - x566*x255 - 
      x567*x261 - x568*x267 - x569*x273 - x570*x279 - x15 - 5*x35 - 6*x55
       - 6*x95 - 2715*x571 - 2689*x572 - 2495*x573 - 1303*x574 - 2624*x575 = 0;

e124: x555*x184 - x556*x196 - x557*x202 - x558*x208 - x559*x214 - x560*x220 - 
      x561*x226 - x562*x232 - x563*x238 - x564*x244 - x565*x250 - x566*x256 - 
      x567*x262 - x568*x268 - x569*x274 - x570*x280 - 7*x15 - 8*x35 - 10*x55
       - 9*x75 - 2639*x571 - 2693*x572 - 2700*x573 - 2097*x574 - 2533*x575 = 0;

e125: x555*x185 - x556*x197 - x557*x203 - x558*x209 - x559*x215 - x560*x221 - 
      x561*x227 - x562*x233 - x563*x239 - x564*x245 - x565*x251 - x566*x257 - 
      x567*x263 - x568*x269 - x569*x275 - x570*x281 - 7*x15 - 10*x35 - 5*x75
       - 4*x95 - 2866*x571 - 2307*x572 - 2871*x573 - 2335*x574 - 2510*x575 = 0;

e126: x576*x186 - x577*x192 - x578*x198 - x579*x204 - x580*x210 - x581*x216 - 
      x582*x222 - x583*x228 - x584*x234 - x585*x240 - x586*x246 - x587*x252 - 
      x588*x258 - x589*x264 - x590*x270 - x591*x276 - 4*x16 - 7*x36 - 2*x56
       - 6*x76 - 4*x96 - 1574*x592 - 1577*x593 - 1842*x594 - 2374*x595
       - 1267*x596 = 0;

e127: x576*x187 - x577*x193 - x578*x199 - x579*x205 - x580*x211 - x581*x217 - 
      x582*x223 - x583*x229 - x584*x235 - x585*x241 - x586*x247 - x587*x253 - 
      x588*x259 - x589*x265 - x590*x271 - x591*x277 - 9*x16 - 5*x36 - 3*x56
       - 9*x76 - 2369*x592 - 2946*x593 - 2127*x594 - 2911*x595 - 1282*x596 = 0;

e128: x576*x188 - x577*x194 - x578*x200 - x579*x206 - x580*x212 - x581*x218 - 
      x582*x224 - x583*x230 - x584*x236 - x585*x242 - x586*x248 - x587*x254 - 
      x588*x260 - x589*x266 - x590*x272 - x591*x278 - 4*x16 - 5*x36 - 2*x56
       - 8*x76 - 2418*x592 - 1716*x593 - 2354*x594 - 2096*x595 - 2572*x596 = 0;

e129: x576*x189 - x577*x195 - x578*x201 - x579*x207 - x580*x213 - x581*x219 - 
      x582*x225 - x583*x231 - x584*x237 - x585*x243 - x586*x249 - x587*x255 - 
      x588*x261 - x589*x267 - x590*x273 - x591*x279 - x16 - 5*x36 - 6*x56
       - 6*x96 - 2715*x592 - 2689*x593 - 2495*x594 - 1303*x595 - 2624*x596 = 0;

e130: x576*x190 - x577*x196 - x578*x202 - x579*x208 - x580*x214 - x581*x220 - 
      x582*x226 - x583*x232 - x584*x238 - x585*x244 - x586*x250 - x587*x256 - 
      x588*x262 - x589*x268 - x590*x274 - x591*x280 - 7*x16 - 8*x36 - 10*x56
       - 9*x76 - 2639*x592 - 2693*x593 - 2700*x594 - 2097*x595 - 2533*x596 = 0;

e131: x576*x191 - x577*x197 - x578*x203 - x579*x209 - x580*x215 - x581*x221 - 
      x582*x227 - x583*x233 - x584*x239 - x585*x245 - x586*x251 - x587*x257 - 
      x588*x263 - x589*x269 - x590*x275 - x591*x281 - 7*x16 - 10*x36 - 5*x76
       - 4*x96 - 2866*x592 - 2307*x593 - 2871*x594 - 2335*x595 - 2510*x596 = 0;

e132: (-x597*x192) - x598*x198 - x599*x204 - x600*x210 - x601*x216 - x602*x222
       - x603*x228 - x604*x234 - x605*x240 - x606*x246 - x607*x252 - x608*x258
       - x609*x264 - x610*x270 - x611*x276 - 4*x17 - 7*x37 - 2*x57 - 6*x77
       - 4*x97 - 1574*x612 - 1577*x613 - 1842*x614 - 2374*x615 - 1267*x616
       >= -39375;

e133: (-x597*x193) - x598*x199 - x599*x205 - x600*x211 - x601*x217 - x602*x223
       - x603*x229 - x604*x235 - x605*x241 - x606*x247 - x607*x253 - x608*x259
       - x609*x265 - x610*x271 - x611*x277 - 9*x17 - 5*x37 - 3*x57 - 9*x77
       - 2369*x612 - 2946*x613 - 2127*x614 - 2911*x615 - 1282*x616 >= -59700;

e134: (-x597*x194) - x598*x200 - x599*x206 - x600*x212 - x601*x218 - x602*x224
       - x603*x230 - x604*x236 - x605*x242 - x606*x248 - x607*x254 - x608*x260
       - x609*x266 - x610*x272 - x611*x278 - 4*x17 - 5*x37 - 2*x57 - 8*x77
       - 2418*x612 - 1716*x613 - 2354*x614 - 2096*x615 - 2572*x616 >= -119025;

e135: (-x597*x195) - x598*x201 - x599*x207 - x600*x213 - x601*x219 - x602*x225
       - x603*x231 - x604*x237 - x605*x243 - x606*x249 - x607*x255 - x608*x261
       - x609*x267 - x610*x273 - x611*x279 - x17 - 5*x37 - 6*x57 - 6*x97
       - 2715*x612 - 2689*x613 - 2495*x614 - 1303*x615 - 2624*x616 >= -182025;

e136: (-x597*x196) - x598*x202 - x599*x208 - x600*x214 - x601*x220 - x602*x226
       - x603*x232 - x604*x238 - x605*x244 - x606*x250 - x607*x256 - x608*x262
       - x609*x268 - x610*x274 - x611*x280 - 7*x17 - 8*x37 - 10*x57 - 9*x77
       - 2639*x612 - 2693*x613 - 2700*x614 - 2097*x615 - 2533*x616 >= -149925;

e137: (-x597*x197) - x598*x203 - x599*x209 - x600*x215 - x601*x221 - x602*x227
       - x603*x233 - x604*x239 - x605*x245 - x606*x251 - x607*x257 - x608*x263
       - x609*x269 - x610*x275 - x611*x281 - 7*x17 - 10*x37 - 5*x77 - 4*x97
       - 2866*x612 - 2307*x613 - 2871*x614 - 2335*x615 - 2510*x616 >= -50400;

e138: (-x617*x192) - x618*x198 - x619*x204 - x620*x210 - x621*x216 - x622*x222
       - x623*x228 - x624*x234 - x625*x240 - x626*x246 - x627*x252 - x628*x258
       - x629*x264 - x630*x270 - x631*x276 - 4*x18 - 7*x38 - 2*x58 - 6*x78
       - 4*x98 - 1574*x632 - 1577*x633 - 1842*x634 - 2374*x635 - 1267*x636
       >= -143925;

e139: (-x617*x193) - x618*x199 - x619*x205 - x620*x211 - x621*x217 - x622*x223
       - x623*x229 - x624*x235 - x625*x241 - x626*x247 - x627*x253 - x628*x259
       - x629*x265 - x630*x271 - x631*x277 - 9*x18 - 5*x38 - 3*x58 - 9*x78
       - 2369*x632 - 2946*x633 - 2127*x634 - 2911*x635 - 1282*x636 >= -217265;

e140: (-x617*x194) - x618*x200 - x619*x206 - x620*x212 - x621*x218 - x622*x224
       - x623*x230 - x624*x236 - x625*x242 - x626*x248 - x627*x254 - x628*x260
       - x629*x266 - x630*x272 - x631*x278 - 4*x18 - 5*x38 - 2*x58 - 8*x78
       - 2418*x632 - 1716*x633 - 2354*x634 - 2096*x635 - 2572*x636 >= -118655;

e141: (-x617*x195) - x618*x201 - x619*x207 - x620*x213 - x621*x219 - x622*x225
       - x623*x231 - x624*x237 - x625*x243 - x626*x249 - x627*x255 - x628*x261
       - x629*x267 - x630*x273 - x631*x279 - x18 - 5*x38 - 6*x58 - 6*x98
       - 2715*x632 - 2689*x633 - 2495*x634 - 1303*x635 - 2624*x636 >= -119510;

e142: (-x617*x196) - x618*x202 - x619*x208 - x620*x214 - x621*x220 - x622*x226
       - x623*x232 - x624*x238 - x625*x244 - x626*x250 - x627*x256 - x628*x262
       - x629*x268 - x630*x274 - x631*x280 - 7*x18 - 8*x38 - 10*x58 - 9*x78
       - 2639*x632 - 2693*x633 - 2700*x634 - 2097*x635 - 2533*x636 >= -213085;

e143: (-x617*x197) - x618*x203 - x619*x209 - x620*x215 - x621*x221 - x622*x227
       - x623*x233 - x624*x239 - x625*x245 - x626*x251 - x627*x257 - x628*x263
       - x629*x269 - x630*x275 - x631*x281 - 7*x18 - 10*x38 - 5*x78 - 4*x98
       - 2866*x632 - 2307*x633 - 2871*x634 - 2335*x635 - 2510*x636 >= -128060;

e144: (-x637*x192) - x638*x198 - x639*x204 - x640*x210 - x641*x216 - x642*x222
       - x643*x228 - x644*x234 - x645*x240 - x646*x246 - x647*x252 - x648*x258
       - x649*x264 - x650*x270 - x651*x276 - 4*x19 - 7*x39 - 2*x59 - 6*x79
       - 4*x99 - 1574*x652 - 1577*x653 - 1842*x654 - 2374*x655 - 1267*x656
       >= -35700;

e145: (-x637*x193) - x638*x199 - x639*x205 - x640*x211 - x641*x217 - x642*x223
       - x643*x229 - x644*x235 - x645*x241 - x646*x247 - x647*x253 - x648*x259
       - x649*x265 - x650*x271 - x651*x277 - 9*x19 - 5*x39 - 3*x59 - 9*x79
       - 2369*x652 - 2946*x653 - 2127*x654 - 2911*x655 - 1282*x656 >= -174100;

e146: (-x637*x194) - x638*x200 - x639*x206 - x640*x212 - x641*x218 - x642*x224
       - x643*x230 - x644*x236 - x645*x242 - x646*x248 - x647*x254 - x648*x260
       - x649*x266 - x650*x272 - x651*x278 - 4*x19 - 5*x39 - 2*x59 - 8*x79
       - 2418*x652 - 1716*x653 - 2354*x654 - 2096*x655 - 2572*x656 >= -214800;

e147: (-x637*x195) - x638*x201 - x639*x207 - x640*x213 - x641*x219 - x642*x225
       - x643*x231 - x644*x237 - x645*x243 - x646*x249 - x647*x255 - x648*x261
       - x649*x267 - x650*x273 - x651*x279 - x19 - 5*x39 - 6*x59 - 6*x99
       - 2715*x652 - 2689*x653 - 2495*x654 - 1303*x655 - 2624*x656 >= -241400;

e148: (-x637*x196) - x638*x202 - x639*x208 - x640*x214 - x641*x220 - x642*x226
       - x643*x232 - x644*x238 - x645*x244 - x646*x250 - x647*x256 - x648*x262
       - x649*x268 - x650*x274 - x651*x280 - 7*x19 - 8*x39 - 10*x59 - 9*x79
       - 2639*x652 - 2693*x653 - 2700*x654 - 2097*x655 - 2533*x656 >= -221500;

e149: (-x637*x197) - x638*x203 - x639*x209 - x640*x215 - x641*x221 - x642*x227
       - x643*x233 - x644*x239 - x645*x245 - x646*x251 - x647*x257 - x648*x263
       - x649*x269 - x650*x275 - x651*x281 - 7*x19 - 10*x39 - 5*x79 - 4*x99
       - 2866*x652 - 2307*x653 - 2871*x654 - 2335*x655 - 2510*x656 >= -58000;

e150: (-x657*x192) - x658*x198 - x659*x204 - x660*x210 - x661*x216 - x662*x222
       - x663*x228 - x664*x234 - x665*x240 - x666*x246 - x667*x252 - x668*x258
       - x669*x264 - x670*x270 - x671*x276 - 4*x20 - 7*x40 - 2*x60 - 6*x80
       - 4*x100 - 1574*x672 - 1577*x673 - 1842*x674 - 2374*x675 - 1267*x676
       >= -280680;

e151: (-x657*x193) - x658*x199 - x659*x205 - x660*x211 - x661*x217 - x662*x223
       - x663*x229 - x664*x235 - x665*x241 - x666*x247 - x667*x253 - x668*x259
       - x669*x265 - x670*x271 - x671*x277 - 9*x20 - 5*x40 - 3*x60 - 9*x80
       - 2369*x672 - 2946*x673 - 2127*x674 - 2911*x675 - 1282*x676 >= -13440;

e152: (-x657*x194) - x658*x200 - x659*x206 - x660*x212 - x661*x218 - x662*x224
       - x663*x230 - x664*x236 - x665*x242 - x666*x248 - x667*x254 - x668*x260
       - x669*x266 - x670*x272 - x671*x278 - 4*x20 - 5*x40 - 2*x60 - 8*x80
       - 2418*x672 - 1716*x673 - 2354*x674 - 2096*x675 - 2572*x676 >= -216360;

e153: (-x657*x195) - x658*x201 - x659*x207 - x660*x213 - x661*x219 - x662*x225
       - x663*x231 - x664*x237 - x665*x243 - x666*x249 - x667*x255 - x668*x261
       - x669*x267 - x670*x273 - x671*x279 - x20 - 5*x40 - 6*x60 - 6*x100
       - 2715*x672 - 2689*x673 - 2495*x674 - 1303*x675 - 2624*x676 >= -113880;

e154: (-x657*x196) - x658*x202 - x659*x208 - x660*x214 - x661*x220 - x662*x226
       - x663*x232 - x664*x238 - x665*x244 - x666*x250 - x667*x256 - x668*x262
       - x669*x268 - x670*x274 - x671*x280 - 7*x20 - 8*x40 - 10*x60 - 9*x80
       - 2639*x672 - 2693*x673 - 2700*x674 - 2097*x675 - 2533*x676 >= -70440;

e155: (-x657*x197) - x658*x203 - x659*x209 - x660*x215 - x661*x221 - x662*x227
       - x663*x233 - x664*x239 - x665*x245 - x666*x251 - x667*x257 - x668*x263
       - x669*x269 - x670*x275 - x671*x281 - 7*x20 - 10*x40 - 5*x80 - 4*x100
       - 2866*x672 - 2307*x673 - 2871*x674 - 2335*x675 - 2510*x676 >= -218280;

e156: (-x677*x192) - x678*x198 - x679*x204 - x680*x210 - x681*x216 - x682*x222
       - x683*x228 - x684*x234 - x685*x240 - x686*x246 - x687*x252 - x688*x258
       - x689*x264 - x690*x270 - x691*x276 - 4*x21 - 7*x41 - 2*x61 - 6*x81
       - 4*x101 - 1574*x692 - 1577*x693 - 1842*x694 - 2374*x695 - 1267*x696
       >= -15610;

e157: (-x677*x193) - x678*x199 - x679*x205 - x680*x211 - x681*x217 - x682*x223
       - x683*x229 - x684*x235 - x685*x241 - x686*x247 - x687*x253 - x688*x259
       - x689*x265 - x690*x271 - x691*x277 - 9*x21 - 5*x41 - 3*x61 - 9*x81
       - 2369*x692 - 2946*x693 - 2127*x694 - 2911*x695 - 1282*x696 >= -58240;

e158: (-x677*x194) - x678*x200 - x679*x206 - x680*x212 - x681*x218 - x682*x224
       - x683*x230 - x684*x236 - x685*x242 - x686*x248 - x687*x254 - x688*x260
       - x689*x266 - x690*x272 - x691*x278 - 4*x21 - 5*x41 - 2*x61 - 8*x81
       - 2418*x692 - 1716*x693 - 2354*x694 - 2096*x695 - 2572*x696 >= -125230;

e159: (-x677*x195) - x678*x201 - x679*x207 - x680*x213 - x681*x219 - x682*x225
       - x683*x231 - x684*x237 - x685*x243 - x686*x249 - x687*x255 - x688*x261
       - x689*x267 - x690*x273 - x691*x279 - x21 - 5*x41 - 6*x61 - 6*x101
       - 2715*x692 - 2689*x693 - 2495*x694 - 1303*x695 - 2624*x696 >= -21560;

e160: (-x677*x196) - x678*x202 - x679*x208 - x680*x214 - x681*x220 - x682*x226
       - x683*x232 - x684*x238 - x685*x244 - x686*x250 - x687*x256 - x688*x262
       - x689*x268 - x690*x274 - x691*x280 - 7*x21 - 8*x41 - 10*x61 - 9*x81
       - 2639*x692 - 2693*x693 - 2700*x694 - 2097*x695 - 2533*x696 >= -50820;

e161: (-x677*x197) - x678*x203 - x679*x209 - x680*x215 - x681*x221 - x682*x227
       - x683*x233 - x684*x239 - x685*x245 - x686*x251 - x687*x257 - x688*x263
       - x689*x269 - x690*x275 - x691*x281 - 7*x21 - 10*x41 - 5*x81 - 4*x101
       - 2866*x692 - 2307*x693 - 2871*x694 - 2335*x695 - 2510*x696 >= -153510;

e162: x282*x102 - x282*x192 = -61640;

e163: x282*x103 - x282*x193 = -274298;

e164: x282*x104 - x282*x194 = -53734;

e165: x282*x105 - x282*x195 = -58826;

e166: x282*x106 - x282*x196 = -132124;

e167: x282*x107 - x282*x197 = -91254;

e168: x303*x108 - x303*x198 = -13912;

e169: x303*x109 - x303*x199 = -5328;

e170: x303*x110 - x303*x200 = -82658;

e171: x303*x111 - x303*x201 = -37222;

e172: x303*x112 - x303*x202 = -11692;

e173: x303*x113 - x303*x203 = -45214;

e174: x324*x114 - x324*x204 = -2418;

e175: x324*x115 - x324*x205 = -13286;

e176: x324*x116 - x324*x206 = -884;

e177: x324*x117 - x324*x207 = -23010;

e178: x324*x118 - x324*x208 = -21164;

e179: x324*x119 - x324*x209 = -17316;

e180: x345*x120 - x345*x210 = -124432;

e181: x345*x121 - x345*x211 = -3344;

e182: x345*x122 - x345*x212 = -115016;

e183: x345*x123 - x345*x213 = -142736;

e184: x345*x124 - x345*x214 = -49808;

e185: x345*x125 - x345*x215 = -170808;

e186: x366*x126 - x366*x216 = -29500;

e187: x366*x127 - x366*x217 = -186200;

e188: x366*x128 - x366*x218 = -22700;

e189: x366*x129 - x366*x219 = -163500;

e190: x366*x130 - x366*x220 = -21600;

e191: x366*x131 - x366*x221 = -152000;

e192: x387*x132 - x387*x222 = -44990;

e193: x387*x133 - x387*x223 = -31240;

e194: x387*x134 - x387*x224 = -89760;

e195: x387*x135 - x387*x225 = -5280;

e196: x387*x136 - x387*x226 = -37455;

e197: x387*x137 - x387*x227 = -39435;

e198: x408*x138 - x408*x228 = -10700;

e199: x408*x139 - x408*x229 = -34850;

e200: x408*x140 - x408*x230 = -17450;

e201: x408*x141 - x408*x231 = -38800;

e202: x408*x142 - x408*x232 = -59200;

e203: x408*x143 - x408*x233 = -22050;

e204: x429*x144 - x429*x234 = -6474;

e205: x429*x145 - x429*x235 = -390;

e206: x429*x146 - x429*x236 = -55588;

e207: x429*x147 - x429*x237 = -12558;

e208: x429*x148 - x429*x238 = -12012;

e209: x429*x149 - x429*x239 = -10140;

e210: x450*x150 - x450*x240 = -91140;

e211: x450*x151 - x450*x241 = -9310;

e212: x450*x152 - x450*x242 = -103292;

e213: x450*x153 - x450*x243 = -32830;

e214: x450*x154 - x450*x244 = -100842;

e215: x450*x155 - x450*x245 = -7056;

e216: x471*x156 - x471*x246 = -105455;

e217: x471*x157 - x471*x247 = -2185;

e218: x471*x158 - x471*x248 = -8395;

e219: x471*x159 - x471*x249 = -58420;

e220: x471*x160 - x471*x250 = -237360;

e221: x471*x161 - x471*x251 = -124200;

e222: x492*x162 - x492*x252 = -96645;

e223: x492*x163 - x492*x253 = -44115;

e224: x492*x164 - x492*x254 = -72505;

e225: x492*x165 - x492*x255 = -168810;

e226: x492*x166 - x492*x256 = -23205;

e227: x492*x167 - x492*x257 = -29070;

e228: x513*x168 - x513*x258 = -129390;

e229: x513*x169 - x513*x259 = -76950;

e230: x513*x170 - x513*x260 = -104880;

e231: x513*x171 - x513*x261 = -9975;

e232: x513*x172 - x513*x262 = -22040;

e233: x513*x173 - x513*x263 = -8550;

e234: x534*x174 - x534*x264 = -252900;

e235: x534*x175 - x534*x265 = -900;

e236: x534*x176 - x534*x266 = -58300;

e237: x534*x177 - x534*x267 = -8200;

e238: x534*x178 - x534*x268 = -137600;

e239: x534*x179 - x534*x269 = -92800;

e240: x555*x180 - x555*x270 = -73395;

e241: x555*x181 - x555*x271 = -59085;

e242: x555*x182 - x555*x272 = -180;

e243: x555*x183 - x555*x273 = -20475;

e244: x555*x184 - x555*x274 = -20475;

e245: x555*x185 - x555*x275 = -74160;

e246: x576*x186 - x576*x276 = -191200;

e247: x576*x187 - x576*x277 = -75500;

e248: x576*x188 - x576*x278 = -28300;

e249: x576*x189 - x576*x279 = -21200;

e250: x576*x190 - x576*x280 = -42100;

e251: x576*x191 - x576*x281 = -36400;