#  QCP written by GAMS Convert at 02/15/18 15:46:35
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        281      281        0        0        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        781      781        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       6961     1561     5400        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, <= 525;
var x193 >= 0, <= 796;
var x194 >= 0, <= 1587;
var x195 >= 0, <= 2427;
var x196 >= 0, <= 1999;
var x197 >= 0, <= 672;
var x198 >= 0, <= 1515;
var x199 >= 0, <= 2287;
var x200 >= 0, <= 1249;
var x201 >= 0, <= 1258;
var x202 >= 0, <= 2243;
var x203 >= 0, <= 1348;
var x204 >= 0, <= 357;
var x205 >= 0, <= 1741;
var x206 >= 0, <= 2148;
var x207 >= 0, <= 2414;
var x208 >= 0, <= 2215;
var x209 >= 0, <= 580;
var x210 >= 0, <= 2339;
var x211 >= 0, <= 112;
var x212 >= 0, <= 1803;
var x213 >= 0, <= 949;
var x214 >= 0, <= 587;
var x215 >= 0, <= 1819;
var x216 >= 0, <= 223;
var x217 >= 0, <= 832;
var x218 >= 0, <= 1789;
var x219 >= 0, <= 308;
var x220 >= 0, <= 726;
var x221 >= 0, <= 2193;
var x222 >= 0, <= 2047;
var x223 >= 0, <= 2428;
var x224 >= 0, <= 2304;
var x225 >= 0, <= 2641;
var x226 >= 0, <= 2267;
var x227 >= 0, <= 2679;
var x228 >= 0, <= 569;
var x229 >= 0, <= 1638;
var x230 >= 0, <= 1754;
var x231 >= 0, <= 2336;
var x232 >= 0, <= 1057;
var x233 >= 0, <= 2567;
var x234 >= 0, <= 2130;
var x235 >= 0, <= 2835;
var x236 >= 0, <= 2267;
var x237 >= 0, <= 2042;
var x238 >= 0, <= 2629;
var x239 >= 0, <= 1459;
var x240 >= 0, <= 2217;
var x241 >= 0, <= 2289;
var x242 >= 0, <= 1993;
var x243 >= 0, <= 2643;
var x244 >= 0, <= 2727;
var x245 >= 0, <= 2034;
var x246 >= 0, <= 2573;
var x247 >= 0, <= 2353;
var x248 >= 0, <= 619;
var x249 >= 0, <= 2872;
var x250 >= 0, <= 2377;
var x251 >= 0, <= 2524;
var x252 >= 0, <= 2681;
var x253 >= 0, <= 2490;
var x254 >= 0, <= 2851;
var x255 >= 0, <= 897;
var x256 >= 0, <= 1219;
var x257 >= 0, <= 1306;
var x258 >= 0, <= 2705;
var x259 >= 0, <= 1826;
var x260 >= 0, <= 2649;
var x261 >= 0, <= 2633;
var x262 >= 0, <= 2070;
var x263 >= 0, <= 904;
var x264 >= 0, <= 541;
var x265 >= 0, <= 2200;
var x266 >= 0, <= 2554;
var x267 >= 0, <= 1849;
var x268 >= 0, <= 2278;
var x269 >= 0, <= 2816;
var x270 >= 0, <= 2714;
var x271 >= 0, <= 2154;
var x272 >= 0, <= 2920;
var x273 >= 0, <= 2306;
var x274 >= 0, <= 1896;
var x275 >= 0, <= 1437;
var x276 >= 0, <= 2529;
var x277 >= 0, <= 2207;
var x278 >= 0, <= 823;
var x279 >= 0, <= 2618;
var x280 >= 0, <= 2110;
var x281 >= 0, <= 2232;
var x282 >= 0, <= 2755;
var x283 >= 0, <= 2761;
var x284 >= 0, <= 1486;
var x285 >= 0, <= 2426;
var x286 >= 0, <= 866;
var x287 >= 0, <= 2645;
var x288 >= 0, <= 2035;
var x289 >= 0, <= 2802;
var x290 >= 0, <= 1260;
var x291 >= 0, <= 2367;
var x292 >= 0, <= 1969;
var x293 >= 0, <= 2320;
var x294 >= 0, <= 2675;
var x295 >= 0, <= 334;
var x296 >= 0, <= 2710;
var x297 >= 0, <= 2557;
var x298 >= 0, <= 2133;
var x299 >= 0, <= 1732;
var x300 >= 0, <= 2084;
var x301 >= 0, <= 1971;
var x302 >= 0, <= 1448;
var x303 >= 0, <= 1900;
var x304 >= 0, <= 2072;
var x305 >= 0, <= 2384;
var x306 >= 0, <= 2874;
var x307 >= 0, <= 2902;
var x308 >= 0, <= 1199;
var x309 >= 0, <= 1832;
var x310 >= 0, <= 1676;
var x311 >= 0, <= 2336;
var x312 >= 0, <= 1574;
var x313 >= 0, <= 2369;
var x314 >= 0, <= 2418;
var x315 >= 0, <= 2715;
var x316 >= 0, <= 2639;
var x317 >= 0, <= 2866;
var x318 >= 0, <= 1577;
var x319 >= 0, <= 2946;
var x320 >= 0, <= 1716;
var x321 >= 0, <= 2689;
var x322 >= 0, <= 2693;
var x323 >= 0, <= 2307;
var x324 >= 0, <= 1842;
var x325 >= 0, <= 2127;
var x326 >= 0, <= 2354;
var x327 >= 0, <= 2495;
var x328 >= 0, <= 2700;
var x329 >= 0, <= 2871;
var x330 >= 0, <= 2374;
var x331 >= 0, <= 2911;
var x332 >= 0, <= 2096;
var x333 >= 0, <= 1303;
var x334 >= 0, <= 2097;
var x335 >= 0, <= 2335;
var x336 >= 0, <= 1267;
var x337 >= 0, <= 1282;
var x338 >= 0, <= 2572;
var x339 >= 0, <= 2624;
var x340 >= 0, <= 2533;
var x341 >= 0, <= 2510;
var x342 >= 0, <= 134;
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, <= 74;
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, <= 26;
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, <= 88;
var x406 >= 0, <= 100000;
var x407 >= 0, <= 100000;
var x408 >= 0, <= 100000;
var x409 >= 0, <= 100000;
var x410 >= 0, <= 100000;
var x411 >= 0, <= 100000;
var x412 >= 0, <= 100000;
var x413 >= 0, <= 100000;
var x414 >= 0, <= 100000;
var x415 >= 0, <= 100000;
var x416 >= 0, <= 100000;
var x417 >= 0, <= 100000;
var x418 >= 0, <= 100000;
var x419 >= 0, <= 100000;
var x420 >= 0, <= 100000;
var x421 >= 0, <= 100000;
var x422 >= 0, <= 100000;
var x423 >= 0, <= 100000;
var x424 >= 0, <= 100000;
var x425 >= 0, <= 100000;
var x426 >= 0, <= 100;
var x427 >= 0, <= 100000;
var x428 >= 0, <= 100000;
var x429 >= 0, <= 100000;
var x430 >= 0, <= 100000;
var x431 >= 0, <= 100000;
var x432 >= 0, <= 100000;
var x433 >= 0, <= 100000;
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, <= 55;
var x448 >= 0, <= 100000;
var x449 >= 0, <= 100000;
var x450 >= 0, <= 100000;
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, <= 50;
var x469 >= 0, <= 100000;
var x470 >= 0, <= 100000;
var x471 >= 0, <= 100000;
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, <= 26;
var x490 >= 0, <= 100000;
var x491 >= 0, <= 100000;
var x492 >= 0, <= 100000;
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, <= 98;
var x511 >= 0, <= 100000;
var x512 >= 0, <= 100000;
var x513 >= 0, <= 100000;
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, <= 115;
var x532 >= 0, <= 100000;
var x533 >= 0, <= 100000;
var x534 >= 0, <= 100000;
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, <= 85;
var x553 >= 0, <= 100000;
var x554 >= 0, <= 100000;
var x555 >= 0, <= 100000;
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, <= 95;
var x574 >= 0, <= 100000;
var x575 >= 0, <= 100000;
var x576 >= 0, <= 100000;
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, <= 100;
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, <= 45;
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, <= 100;
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, <= 75;
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, <= 95;
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, <= 100;
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;
var x717 >= 0, <= 100000;
var x718 >= 0, <= 100000;
var x719 >= 0, <= 100000;
var x720 >= 0, <= 120;
var x721 >= 0, <= 100000;
var x722 >= 0, <= 100000;
var x723 >= 0, <= 100000;
var x724 >= 0, <= 100000;
var x725 >= 0, <= 100000;
var x726 >= 0, <= 100000;
var x727 >= 0, <= 100000;
var x728 >= 0, <= 100000;
var x729 >= 0, <= 100000;
var x730 >= 0, <= 100000;
var x731 >= 0, <= 100000;
var x732 >= 0, <= 100000;
var x733 >= 0, <= 100000;
var x734 >= 0, <= 100000;
var x735 >= 0, <= 100000;
var x736 >= 0, <= 100000;
var x737 >= 0, <= 100000;
var x738 >= 0, <= 100000;
var x739 >= 0, <= 100000;
var x740 >= 0, <= 100000;
var x741 >= 0, <= 70;
var x742 >= 0, <= 100000;
var x743 >= 0, <= 100000;
var x744 >= 0, <= 100000;
var x745 >= 0, <= 100000;
var x746 >= 0, <= 100000;
var x747 >= 0, <= 100000;
var x748 >= 0, <= 100000;
var x749 >= 0, <= 100000;
var x750 >= 0, <= 100000;
var x751 >= 0, <= 100000;
var x752 >= 0, <= 100000;
var x753 >= 0, <= 100000;
var x754 >= 0, <= 100000;
var x755 >= 0, <= 100000;
var x756 >= 0, <= 100000;
var x757 >= 0, <= 100000;
var x758 >= 0, <= 100000;
var x759 >= 0, <= 100000;
var x760 >= 0, <= 100000;
var x761 >= 0, <= 100000;
var x762 >= 0, <= 100000;
var x763 >= 0, <= 100000;
var x764 >= 0, <= 100000;
var x765 >= 0, <= 100000;
var x766 >= 0, <= 100000;
var x767 >= 0, <= 100000;
var x768 >= 0, <= 100000;
var x769 >= 0, <= 100000;
var x770 >= 0, <= 100000;
var x771 >= 0, <= 100000;
var x772 >= 0, <= 100000;
var x773 >= 0, <= 100000;
var x774 >= 0, <= 100000;
var x775 >= 0, <= 100000;
var x776 >= 0, <= 100000;
var x777 >= 0, <= 100000;
var x778 >= 0, <= 100000;
var x779 >= 0, <= 100000;
var x780 >= 0, <= 100000;
var x781 >= 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 + x342 - x343 - x344 - x345 - x346 - x347
     - x348 - x349 - x350 - x351 - x352 - x353 - x354 - x355 - x356 - x357
     - x358 - x359 - x360 - x361 - x362 = 0;

e3:  - x3 - x23 - x43 - x63 - x83 + x363 - x364 - x365 - x366 - x367 - x368
     - x369 - x370 - x371 - x372 - x373 - x374 - x375 - x376 - x377 - x378
     - x379 - x380 - x381 - x382 - x383 = 0;

e4:  - x4 - x24 - x44 - x64 - x84 + x384 - x385 - x386 - x387 - x388 - x389
     - x390 - x391 - x392 - x393 - x394 - x395 - x396 - x397 - x398 - x399
     - x400 - x401 - x402 - x403 - x404 = 0;

e5:  - x5 - x25 - x45 - x65 - x85 + x405 - x406 - x407 - x408 - x409 - x410
     - x411 - x412 - x413 - x414 - x415 - x416 - x417 - x418 - x419 - x420
     - x421 - x422 - x423 - x424 - x425 = 0;

e6:  - x6 - x26 - x46 - x66 - x86 + x426 - x427 - x428 - x429 - x430 - x431
     - x432 - x433 - x434 - x435 - x436 - x437 - x438 - x439 - x440 - x441
     - x442 - x443 - x444 - x445 - x446 = 0;

e7:  - x7 - x27 - x47 - x67 - x87 + x447 - x448 - x449 - x450 - x451 - x452
     - x453 - x454 - x455 - x456 - x457 - x458 - x459 - x460 - x461 - x462
     - x463 - x464 - x465 - x466 - x467 = 0;

e8:  - x8 - x28 - x48 - x68 - x88 + x468 - x469 - x470 - x471 - x472 - x473
     - x474 - x475 - x476 - x477 - x478 - x479 - x480 - x481 - x482 - x483
     - x484 - x485 - x486 - x487 - x488 = 0;

e9:  - x9 - x29 - x49 - x69 - x89 + x489 - x490 - x491 - x492 - x493 - x494
     - x495 - x496 - x497 - x498 - x499 - x500 - x501 - x502 - x503 - x504
     - x505 - x506 - x507 - x508 - x509 = 0;

e10:  - x10 - x30 - x50 - x70 - x90 + x510 - x511 - x512 - x513 - x514 - x515
      - x516 - x517 - x518 - x519 - x520 - x521 - x522 - x523 - x524 - x525
      - x526 - x527 - x528 - x529 - x530 = 0;

e11:  - x11 - x31 - x51 - x71 - x91 + x531 - x532 - x533 - x534 - x535 - x536
      - x537 - x538 - x539 - x540 - x541 - x542 - x543 - x544 - x545 - x546
      - x547 - x548 - x549 - x550 - x551 = 0;

e12:  - x12 - x32 - x52 - x72 - x92 + x552 - x553 - x554 - x555 - x556 - x557
      - x558 - x559 - x560 - x561 - x562 - x563 - x564 - x565 - x566 - x567
      - x568 - x569 - x570 - x571 - x572 = 0;

e13:  - x13 - x33 - x53 - x73 - x93 + x573 - x574 - x575 - x576 - x577 - x578
      - x579 - x580 - x581 - x582 - x583 - x584 - x585 - x586 - x587 - x588
      - x589 - x590 - x591 - x592 - x593 = 0;

e14:  - x14 - x34 - x54 - x74 - x94 + x594 - x595 - x596 - x597 - x598 - x599
      - x600 - x601 - x602 - x603 - x604 - x605 - x606 - x607 - x608 - x609
      - x610 - x611 - x612 - x613 - x614 = 0;

e15:  - x15 - x35 - x55 - x75 - x95 + x615 - x616 - x617 - x618 - x619 - x620
      - x621 - x622 - x623 - x624 - x625 - x626 - x627 - x628 - x629 - x630
      - x631 - x632 - x633 - x634 - x635 = 0;

e16:  - x16 - x36 - x56 - x76 - x96 + x636 - x637 - x638 - x639 - x640 - x641
      - x642 - x643 - x644 - x645 - x646 - x647 - x648 - x649 - x650 - x651
      - x652 - x653 - x654 - x655 - x656 = 0;

e17:  - x17 - x37 - x57 - x77 - x97 + x657 - x658 - x659 - x660 - x661 - x662
      - x663 - x664 - x665 - x666 - x667 - x668 - x669 - x670 - x671 - x672
      - x673 - x674 - x675 - x676 - x677 = 0;

e18:  - x18 - x38 - x58 - x78 - x98 + x678 - x679 - x680 - x681 - x682 - x683
      - x684 - x685 - x686 - x687 - x688 - x689 - x690 - x691 - x692 - x693
      - x694 - x695 - x696 - x697 - x698 = 0;

e19:  - x19 - x39 - x59 - x79 - x99 + x699 - x700 - x701 - x702 - x703 - x704
      - x705 - x706 - x707 - x708 - x709 - x710 - x711 - x712 - x713 - x714
      - x715 - x716 - x717 - x718 - x719 = 0;

e20:  - x20 - x40 - x60 - x80 - x100 + x720 - x721 - x722 - x723 - x724 - x725
      - x726 - x727 - x728 - x729 - x730 - x731 - x732 - x733 - x734 - x735
      - x736 - x737 - x738 - x739 - x740 = 0;

e21:  - x21 - x41 - x61 - x81 - x101 + x741 - x742 - x743 - x744 - x745 - x746
      - x747 - x748 - x749 - x750 - x751 - x752 - x753 - x754 - x755 - x756
      - x757 - x758 - x759 - x760 - x761 = 0;

e22:    x342 - x343 - x364 - x385 - x406 - x427 - x448 - x469 - x490 - x511
      - x532 - x553 - x574 - x595 - x616 - x637 - x658 - x679 - x700 - x721
      - x742 - x762 = 0;

e23:  - x344 + x363 - x365 - x386 - x407 - x428 - x449 - x470 - x491 - x512
      - x533 - x554 - x575 - x596 - x617 - x638 - x659 - x680 - x701 - x722
      - x743 - x763 = 0;

e24:  - x345 - x366 + x384 - x387 - x408 - x429 - x450 - x471 - x492 - x513
      - x534 - x555 - x576 - x597 - x618 - x639 - x660 - x681 - x702 - x723
      - x744 - x764 = 0;

e25:  - x346 - x367 - x388 + x405 - x409 - x430 - x451 - x472 - x493 - x514
      - x535 - x556 - x577 - x598 - x619 - x640 - x661 - x682 - x703 - x724
      - x745 - x765 = 0;

e26:  - x347 - x368 - x389 - x410 + x426 - x431 - x452 - x473 - x494 - x515
      - x536 - x557 - x578 - x599 - x620 - x641 - x662 - x683 - x704 - x725
      - x746 - x766 = 0;

e27:  - x348 - x369 - x390 - x411 - x432 + x447 - x453 - x474 - x495 - x516
      - x537 - x558 - x579 - x600 - x621 - x642 - x663 - x684 - x705 - x726
      - x747 - x767 = 0;

e28:  - x349 - x370 - x391 - x412 - x433 - x454 + x468 - x475 - x496 - x517
      - x538 - x559 - x580 - x601 - x622 - x643 - x664 - x685 - x706 - x727
      - x748 - x768 = 0;

e29:  - x350 - x371 - x392 - x413 - x434 - x455 - x476 + x489 - x497 - x518
      - x539 - x560 - x581 - x602 - x623 - x644 - x665 - x686 - x707 - x728
      - x749 - x769 = 0;

e30:  - x351 - x372 - x393 - x414 - x435 - x456 - x477 - x498 + x510 - x519
      - x540 - x561 - x582 - x603 - x624 - x645 - x666 - x687 - x708 - x729
      - x750 - x770 = 0;

e31:  - x352 - x373 - x394 - x415 - x436 - x457 - x478 - x499 - x520 + x531
      - x541 - x562 - x583 - x604 - x625 - x646 - x667 - x688 - x709 - x730
      - x751 - x771 = 0;

e32:  - x353 - x374 - x395 - x416 - x437 - x458 - x479 - x500 - x521 - x542
      + x552 - x563 - x584 - x605 - x626 - x647 - x668 - x689 - x710 - x731
      - x752 - x772 = 0;

e33:  - x354 - x375 - x396 - x417 - x438 - x459 - x480 - x501 - x522 - x543
      - x564 + x573 - x585 - x606 - x627 - x648 - x669 - x690 - x711 - x732
      - x753 - x773 = 0;

e34:  - x355 - x376 - x397 - x418 - x439 - x460 - x481 - x502 - x523 - x544
      - x565 - x586 + x594 - x607 - x628 - x649 - x670 - x691 - x712 - x733
      - x754 - x774 = 0;

e35:  - x356 - x377 - x398 - x419 - x440 - x461 - x482 - x503 - x524 - x545
      - x566 - x587 - x608 + x615 - x629 - x650 - x671 - x692 - x713 - x734
      - x755 - x775 = 0;

e36:  - x357 - x378 - x399 - x420 - x441 - x462 - x483 - x504 - x525 - x546
      - x567 - x588 - x609 - x630 + x636 - x651 - x672 - x693 - x714 - x735
      - x756 - x776 = 0;

e37:  - x358 - x379 - x400 - x421 - x442 - x463 - x484 - x505 - x526 - x547
      - x568 - x589 - x610 - x631 - x652 + x657 - x673 - x694 - x715 - x736
      - x757 - x777 = 0;

e38:  - x359 - x380 - x401 - x422 - x443 - x464 - x485 - x506 - x527 - x548
      - x569 - x590 - x611 - x632 - x653 - x674 + x678 - x695 - x716 - x737
      - x758 - x778 = 0;

e39:  - x360 - x381 - x402 - x423 - x444 - x465 - x486 - x507 - x528 - x549
      - x570 - x591 - x612 - x633 - x654 - x675 - x696 + x699 - x717 - x738
      - x759 - x779 = 0;

e40:  - x361 - x382 - x403 - x424 - x445 - x466 - x487 - x508 - x529 - x550
      - x571 - x592 - x613 - x634 - x655 - x676 - x697 - x718 + x720 - x739
      - x760 - x780 = 0;

e41:  - x362 - x383 - x404 - x425 - x446 - x467 - x488 - x509 - x530 - x551
      - x572 - x593 - x614 - x635 - x656 - x677 - x698 - x719 - x740 + x741
      - x761 - x781 = 0;

e42: x342*x102 - x343*x222 - x344*x228 - x345*x234 - x346*x240 - x347*x246 - 
     x348*x252 - x349*x258 - x350*x264 - x351*x270 - x352*x276 - x353*x282 - 
     x354*x288 - x355*x294 - x356*x300 - x357*x306 - x358*x312 - x359*x318 - 
     x360*x324 - x361*x330 - x362*x336 - 4*x2 - 7*x22 - 2*x42 - 6*x62 - 4*x82
      = 0;

e43: x342*x103 - x343*x223 - x344*x229 - x345*x235 - x346*x241 - x347*x247 - 
     x348*x253 - x349*x259 - x350*x265 - x351*x271 - x352*x277 - x353*x283 - 
     x354*x289 - x355*x295 - x356*x301 - x357*x307 - x358*x313 - x359*x319 - 
     x360*x325 - x361*x331 - x362*x337 - 9*x2 - 5*x22 - 3*x42 - 9*x62 = 0;

e44: x342*x104 - x343*x224 - x344*x230 - x345*x236 - x346*x242 - x347*x248 - 
     x348*x254 - x349*x260 - x350*x266 - x351*x272 - x352*x278 - x353*x284 - 
     x354*x290 - x355*x296 - x356*x302 - x357*x308 - x358*x314 - x359*x320 - 
     x360*x326 - x361*x332 - x362*x338 - 4*x2 - 5*x22 - 2*x42 - 8*x62 = 0;

e45: x342*x105 - x343*x225 - x344*x231 - x345*x237 - x346*x243 - x347*x249 - 
     x348*x255 - x349*x261 - x350*x267 - x351*x273 - x352*x279 - x353*x285 - 
     x354*x291 - x355*x297 - x356*x303 - x357*x309 - x358*x315 - x359*x321 - 
     x360*x327 - x361*x333 - x362*x339 - x2 - 5*x22 - 6*x42 - 6*x82 = 0;

e46: x342*x106 - x343*x226 - x344*x232 - x345*x238 - x346*x244 - x347*x250 - 
     x348*x256 - x349*x262 - x350*x268 - x351*x274 - x352*x280 - x353*x286 - 
     x354*x292 - x355*x298 - x356*x304 - x357*x310 - x358*x316 - x359*x322 - 
     x360*x328 - x361*x334 - x362*x340 - 7*x2 - 8*x22 - 10*x42 - 9*x62 = 0;

e47: x342*x107 - x343*x227 - x344*x233 - x345*x239 - x346*x245 - x347*x251 - 
     x348*x257 - x349*x263 - x350*x269 - x351*x275 - x352*x281 - x353*x287 - 
     x354*x293 - x355*x299 - x356*x305 - x357*x311 - x358*x317 - x359*x323 - 
     x360*x329 - x361*x335 - x362*x341 - 7*x2 - 10*x22 - 5*x62 - 4*x82 = 0;

e48: x363*x108 - x364*x222 - x365*x228 - x366*x234 - x367*x240 - x368*x246 - 
     x369*x252 - x370*x258 - x371*x264 - x372*x270 - x373*x276 - x374*x282 - 
     x375*x288 - x376*x294 - x377*x300 - x378*x306 - x379*x312 - x380*x318 - 
     x381*x324 - x382*x330 - x383*x336 - 4*x3 - 7*x23 - 2*x43 - 6*x63 - 4*x83
      = 0;

e49: x363*x109 - x364*x223 - x365*x229 - x366*x235 - x367*x241 - x368*x247 - 
     x369*x253 - x370*x259 - x371*x265 - x372*x271 - x373*x277 - x374*x283 - 
     x375*x289 - x376*x295 - x377*x301 - x378*x307 - x379*x313 - x380*x319 - 
     x381*x325 - x382*x331 - x383*x337 - 9*x3 - 5*x23 - 3*x43 - 9*x63 = 0;

e50: x363*x110 - x364*x224 - x365*x230 - x366*x236 - x367*x242 - x368*x248 - 
     x369*x254 - x370*x260 - x371*x266 - x372*x272 - x373*x278 - x374*x284 - 
     x375*x290 - x376*x296 - x377*x302 - x378*x308 - x379*x314 - x380*x320 - 
     x381*x326 - x382*x332 - x383*x338 - 4*x3 - 5*x23 - 2*x43 - 8*x63 = 0;

e51: x363*x111 - x364*x225 - x365*x231 - x366*x237 - x367*x243 - x368*x249 - 
     x369*x255 - x370*x261 - x371*x267 - x372*x273 - x373*x279 - x374*x285 - 
     x375*x291 - x376*x297 - x377*x303 - x378*x309 - x379*x315 - x380*x321 - 
     x381*x327 - x382*x333 - x383*x339 - x3 - 5*x23 - 6*x43 - 6*x83 = 0;

e52: x363*x112 - x364*x226 - x365*x232 - x366*x238 - x367*x244 - x368*x250 - 
     x369*x256 - x370*x262 - x371*x268 - x372*x274 - x373*x280 - x374*x286 - 
     x375*x292 - x376*x298 - x377*x304 - x378*x310 - x379*x316 - x380*x322 - 
     x381*x328 - x382*x334 - x383*x340 - 7*x3 - 8*x23 - 10*x43 - 9*x63 = 0;

e53: x363*x113 - x364*x227 - x365*x233 - x366*x239 - x367*x245 - x368*x251 - 
     x369*x257 - x370*x263 - x371*x269 - x372*x275 - x373*x281 - x374*x287 - 
     x375*x293 - x376*x299 - x377*x305 - x378*x311 - x379*x317 - x380*x323 - 
     x381*x329 - x382*x335 - x383*x341 - 7*x3 - 10*x23 - 5*x63 - 4*x83 = 0;

e54: x384*x114 - x385*x222 - x386*x228 - x387*x234 - x388*x240 - x389*x246 - 
     x390*x252 - x391*x258 - x392*x264 - x393*x270 - x394*x276 - x395*x282 - 
     x396*x288 - x397*x294 - x398*x300 - x399*x306 - x400*x312 - x401*x318 - 
     x402*x324 - x403*x330 - x404*x336 - 4*x4 - 7*x24 - 2*x44 - 6*x64 - 4*x84
      = 0;

e55: x384*x115 - x385*x223 - x386*x229 - x387*x235 - x388*x241 - x389*x247 - 
     x390*x253 - x391*x259 - x392*x265 - x393*x271 - x394*x277 - x395*x283 - 
     x396*x289 - x397*x295 - x398*x301 - x399*x307 - x400*x313 - x401*x319 - 
     x402*x325 - x403*x331 - x404*x337 - 9*x4 - 5*x24 - 3*x44 - 9*x64 = 0;

e56: x384*x116 - x385*x224 - x386*x230 - x387*x236 - x388*x242 - x389*x248 - 
     x390*x254 - x391*x260 - x392*x266 - x393*x272 - x394*x278 - x395*x284 - 
     x396*x290 - x397*x296 - x398*x302 - x399*x308 - x400*x314 - x401*x320 - 
     x402*x326 - x403*x332 - x404*x338 - 4*x4 - 5*x24 - 2*x44 - 8*x64 = 0;

e57: x384*x117 - x385*x225 - x386*x231 - x387*x237 - x388*x243 - x389*x249 - 
     x390*x255 - x391*x261 - x392*x267 - x393*x273 - x394*x279 - x395*x285 - 
     x396*x291 - x397*x297 - x398*x303 - x399*x309 - x400*x315 - x401*x321 - 
     x402*x327 - x403*x333 - x404*x339 - x4 - 5*x24 - 6*x44 - 6*x84 = 0;

e58: x384*x118 - x385*x226 - x386*x232 - x387*x238 - x388*x244 - x389*x250 - 
     x390*x256 - x391*x262 - x392*x268 - x393*x274 - x394*x280 - x395*x286 - 
     x396*x292 - x397*x298 - x398*x304 - x399*x310 - x400*x316 - x401*x322 - 
     x402*x328 - x403*x334 - x404*x340 - 7*x4 - 8*x24 - 10*x44 - 9*x64 = 0;

e59: x384*x119 - x385*x227 - x386*x233 - x387*x239 - x388*x245 - x389*x251 - 
     x390*x257 - x391*x263 - x392*x269 - x393*x275 - x394*x281 - x395*x287 - 
     x396*x293 - x397*x299 - x398*x305 - x399*x311 - x400*x317 - x401*x323 - 
     x402*x329 - x403*x335 - x404*x341 - 7*x4 - 10*x24 - 5*x64 - 4*x84 = 0;

e60: x405*x120 - x406*x222 - x407*x228 - x408*x234 - x409*x240 - x410*x246 - 
     x411*x252 - x412*x258 - x413*x264 - x414*x270 - x415*x276 - x416*x282 - 
     x417*x288 - x418*x294 - x419*x300 - x420*x306 - x421*x312 - x422*x318 - 
     x423*x324 - x424*x330 - x425*x336 - 4*x5 - 7*x25 - 2*x45 - 6*x65 - 4*x85
      = 0;

e61: x405*x121 - x406*x223 - x407*x229 - x408*x235 - x409*x241 - x410*x247 - 
     x411*x253 - x412*x259 - x413*x265 - x414*x271 - x415*x277 - x416*x283 - 
     x417*x289 - x418*x295 - x419*x301 - x420*x307 - x421*x313 - x422*x319 - 
     x423*x325 - x424*x331 - x425*x337 - 9*x5 - 5*x25 - 3*x45 - 9*x65 = 0;

e62: x405*x122 - x406*x224 - x407*x230 - x408*x236 - x409*x242 - x410*x248 - 
     x411*x254 - x412*x260 - x413*x266 - x414*x272 - x415*x278 - x416*x284 - 
     x417*x290 - x418*x296 - x419*x302 - x420*x308 - x421*x314 - x422*x320 - 
     x423*x326 - x424*x332 - x425*x338 - 4*x5 - 5*x25 - 2*x45 - 8*x65 = 0;

e63: x405*x123 - x406*x225 - x407*x231 - x408*x237 - x409*x243 - x410*x249 - 
     x411*x255 - x412*x261 - x413*x267 - x414*x273 - x415*x279 - x416*x285 - 
     x417*x291 - x418*x297 - x419*x303 - x420*x309 - x421*x315 - x422*x321 - 
     x423*x327 - x424*x333 - x425*x339 - x5 - 5*x25 - 6*x45 - 6*x85 = 0;

e64: x405*x124 - x406*x226 - x407*x232 - x408*x238 - x409*x244 - x410*x250 - 
     x411*x256 - x412*x262 - x413*x268 - x414*x274 - x415*x280 - x416*x286 - 
     x417*x292 - x418*x298 - x419*x304 - x420*x310 - x421*x316 - x422*x322 - 
     x423*x328 - x424*x334 - x425*x340 - 7*x5 - 8*x25 - 10*x45 - 9*x65 = 0;

e65: x405*x125 - x406*x227 - x407*x233 - x408*x239 - x409*x245 - x410*x251 - 
     x411*x257 - x412*x263 - x413*x269 - x414*x275 - x415*x281 - x416*x287 - 
     x417*x293 - x418*x299 - x419*x305 - x420*x311 - x421*x317 - x422*x323 - 
     x423*x329 - x424*x335 - x425*x341 - 7*x5 - 10*x25 - 5*x65 - 4*x85 = 0;

e66: x426*x126 - x427*x222 - x428*x228 - x429*x234 - x430*x240 - x431*x246 - 
     x432*x252 - x433*x258 - x434*x264 - x435*x270 - x436*x276 - x437*x282 - 
     x438*x288 - x439*x294 - x440*x300 - x441*x306 - x442*x312 - x443*x318 - 
     x444*x324 - x445*x330 - x446*x336 - 4*x6 - 7*x26 - 2*x46 - 6*x66 - 4*x86
      = 0;

e67: x426*x127 - x427*x223 - x428*x229 - x429*x235 - x430*x241 - x431*x247 - 
     x432*x253 - x433*x259 - x434*x265 - x435*x271 - x436*x277 - x437*x283 - 
     x438*x289 - x439*x295 - x440*x301 - x441*x307 - x442*x313 - x443*x319 - 
     x444*x325 - x445*x331 - x446*x337 - 9*x6 - 5*x26 - 3*x46 - 9*x66 = 0;

e68: x426*x128 - x427*x224 - x428*x230 - x429*x236 - x430*x242 - x431*x248 - 
     x432*x254 - x433*x260 - x434*x266 - x435*x272 - x436*x278 - x437*x284 - 
     x438*x290 - x439*x296 - x440*x302 - x441*x308 - x442*x314 - x443*x320 - 
     x444*x326 - x445*x332 - x446*x338 - 4*x6 - 5*x26 - 2*x46 - 8*x66 = 0;

e69: x426*x129 - x427*x225 - x428*x231 - x429*x237 - x430*x243 - x431*x249 - 
     x432*x255 - x433*x261 - x434*x267 - x435*x273 - x436*x279 - x437*x285 - 
     x438*x291 - x439*x297 - x440*x303 - x441*x309 - x442*x315 - x443*x321 - 
     x444*x327 - x445*x333 - x446*x339 - x6 - 5*x26 - 6*x46 - 6*x86 = 0;

e70: x426*x130 - x427*x226 - x428*x232 - x429*x238 - x430*x244 - x431*x250 - 
     x432*x256 - x433*x262 - x434*x268 - x435*x274 - x436*x280 - x437*x286 - 
     x438*x292 - x439*x298 - x440*x304 - x441*x310 - x442*x316 - x443*x322 - 
     x444*x328 - x445*x334 - x446*x340 - 7*x6 - 8*x26 - 10*x46 - 9*x66 = 0;

e71: x426*x131 - x427*x227 - x428*x233 - x429*x239 - x430*x245 - x431*x251 - 
     x432*x257 - x433*x263 - x434*x269 - x435*x275 - x436*x281 - x437*x287 - 
     x438*x293 - x439*x299 - x440*x305 - x441*x311 - x442*x317 - x443*x323 - 
     x444*x329 - x445*x335 - x446*x341 - 7*x6 - 10*x26 - 5*x66 - 4*x86 = 0;

e72: x447*x132 - x448*x222 - x449*x228 - x450*x234 - x451*x240 - x452*x246 - 
     x453*x252 - x454*x258 - x455*x264 - x456*x270 - x457*x276 - x458*x282 - 
     x459*x288 - x460*x294 - x461*x300 - x462*x306 - x463*x312 - x464*x318 - 
     x465*x324 - x466*x330 - x467*x336 - 4*x7 - 7*x27 - 2*x47 - 6*x67 - 4*x87
      = 0;

e73: x447*x133 - x448*x223 - x449*x229 - x450*x235 - x451*x241 - x452*x247 - 
     x453*x253 - x454*x259 - x455*x265 - x456*x271 - x457*x277 - x458*x283 - 
     x459*x289 - x460*x295 - x461*x301 - x462*x307 - x463*x313 - x464*x319 - 
     x465*x325 - x466*x331 - x467*x337 - 9*x7 - 5*x27 - 3*x47 - 9*x67 = 0;

e74: x447*x134 - x448*x224 - x449*x230 - x450*x236 - x451*x242 - x452*x248 - 
     x453*x254 - x454*x260 - x455*x266 - x456*x272 - x457*x278 - x458*x284 - 
     x459*x290 - x460*x296 - x461*x302 - x462*x308 - x463*x314 - x464*x320 - 
     x465*x326 - x466*x332 - x467*x338 - 4*x7 - 5*x27 - 2*x47 - 8*x67 = 0;

e75: x447*x135 - x448*x225 - x449*x231 - x450*x237 - x451*x243 - x452*x249 - 
     x453*x255 - x454*x261 - x455*x267 - x456*x273 - x457*x279 - x458*x285 - 
     x459*x291 - x460*x297 - x461*x303 - x462*x309 - x463*x315 - x464*x321 - 
     x465*x327 - x466*x333 - x467*x339 - x7 - 5*x27 - 6*x47 - 6*x87 = 0;

e76: x447*x136 - x448*x226 - x449*x232 - x450*x238 - x451*x244 - x452*x250 - 
     x453*x256 - x454*x262 - x455*x268 - x456*x274 - x457*x280 - x458*x286 - 
     x459*x292 - x460*x298 - x461*x304 - x462*x310 - x463*x316 - x464*x322 - 
     x465*x328 - x466*x334 - x467*x340 - 7*x7 - 8*x27 - 10*x47 - 9*x67 = 0;

e77: x447*x137 - x448*x227 - x449*x233 - x450*x239 - x451*x245 - x452*x251 - 
     x453*x257 - x454*x263 - x455*x269 - x456*x275 - x457*x281 - x458*x287 - 
     x459*x293 - x460*x299 - x461*x305 - x462*x311 - x463*x317 - x464*x323 - 
     x465*x329 - x466*x335 - x467*x341 - 7*x7 - 10*x27 - 5*x67 - 4*x87 = 0;

e78: x468*x138 - x469*x222 - x470*x228 - x471*x234 - x472*x240 - x473*x246 - 
     x474*x252 - x475*x258 - x476*x264 - x477*x270 - x478*x276 - x479*x282 - 
     x480*x288 - x481*x294 - x482*x300 - x483*x306 - x484*x312 - x485*x318 - 
     x486*x324 - x487*x330 - x488*x336 - 4*x8 - 7*x28 - 2*x48 - 6*x68 - 4*x88
      = 0;

e79: x468*x139 - x469*x223 - x470*x229 - x471*x235 - x472*x241 - x473*x247 - 
     x474*x253 - x475*x259 - x476*x265 - x477*x271 - x478*x277 - x479*x283 - 
     x480*x289 - x481*x295 - x482*x301 - x483*x307 - x484*x313 - x485*x319 - 
     x486*x325 - x487*x331 - x488*x337 - 9*x8 - 5*x28 - 3*x48 - 9*x68 = 0;

e80: x468*x140 - x469*x224 - x470*x230 - x471*x236 - x472*x242 - x473*x248 - 
     x474*x254 - x475*x260 - x476*x266 - x477*x272 - x478*x278 - x479*x284 - 
     x480*x290 - x481*x296 - x482*x302 - x483*x308 - x484*x314 - x485*x320 - 
     x486*x326 - x487*x332 - x488*x338 - 4*x8 - 5*x28 - 2*x48 - 8*x68 = 0;

e81: x468*x141 - x469*x225 - x470*x231 - x471*x237 - x472*x243 - x473*x249 - 
     x474*x255 - x475*x261 - x476*x267 - x477*x273 - x478*x279 - x479*x285 - 
     x480*x291 - x481*x297 - x482*x303 - x483*x309 - x484*x315 - x485*x321 - 
     x486*x327 - x487*x333 - x488*x339 - x8 - 5*x28 - 6*x48 - 6*x88 = 0;

e82: x468*x142 - x469*x226 - x470*x232 - x471*x238 - x472*x244 - x473*x250 - 
     x474*x256 - x475*x262 - x476*x268 - x477*x274 - x478*x280 - x479*x286 - 
     x480*x292 - x481*x298 - x482*x304 - x483*x310 - x484*x316 - x485*x322 - 
     x486*x328 - x487*x334 - x488*x340 - 7*x8 - 8*x28 - 10*x48 - 9*x68 = 0;

e83: x468*x143 - x469*x227 - x470*x233 - x471*x239 - x472*x245 - x473*x251 - 
     x474*x257 - x475*x263 - x476*x269 - x477*x275 - x478*x281 - x479*x287 - 
     x480*x293 - x481*x299 - x482*x305 - x483*x311 - x484*x317 - x485*x323 - 
     x486*x329 - x487*x335 - x488*x341 - 7*x8 - 10*x28 - 5*x68 - 4*x88 = 0;

e84: x489*x144 - x490*x222 - x491*x228 - x492*x234 - x493*x240 - x494*x246 - 
     x495*x252 - x496*x258 - x497*x264 - x498*x270 - x499*x276 - x500*x282 - 
     x501*x288 - x502*x294 - x503*x300 - x504*x306 - x505*x312 - x506*x318 - 
     x507*x324 - x508*x330 - x509*x336 - 4*x9 - 7*x29 - 2*x49 - 6*x69 - 4*x89
      = 0;

e85: x489*x145 - x490*x223 - x491*x229 - x492*x235 - x493*x241 - x494*x247 - 
     x495*x253 - x496*x259 - x497*x265 - x498*x271 - x499*x277 - x500*x283 - 
     x501*x289 - x502*x295 - x503*x301 - x504*x307 - x505*x313 - x506*x319 - 
     x507*x325 - x508*x331 - x509*x337 - 9*x9 - 5*x29 - 3*x49 - 9*x69 = 0;

e86: x489*x146 - x490*x224 - x491*x230 - x492*x236 - x493*x242 - x494*x248 - 
     x495*x254 - x496*x260 - x497*x266 - x498*x272 - x499*x278 - x500*x284 - 
     x501*x290 - x502*x296 - x503*x302 - x504*x308 - x505*x314 - x506*x320 - 
     x507*x326 - x508*x332 - x509*x338 - 4*x9 - 5*x29 - 2*x49 - 8*x69 = 0;

e87: x489*x147 - x490*x225 - x491*x231 - x492*x237 - x493*x243 - x494*x249 - 
     x495*x255 - x496*x261 - x497*x267 - x498*x273 - x499*x279 - x500*x285 - 
     x501*x291 - x502*x297 - x503*x303 - x504*x309 - x505*x315 - x506*x321 - 
     x507*x327 - x508*x333 - x509*x339 - x9 - 5*x29 - 6*x49 - 6*x89 = 0;

e88: x489*x148 - x490*x226 - x491*x232 - x492*x238 - x493*x244 - x494*x250 - 
     x495*x256 - x496*x262 - x497*x268 - x498*x274 - x499*x280 - x500*x286 - 
     x501*x292 - x502*x298 - x503*x304 - x504*x310 - x505*x316 - x506*x322 - 
     x507*x328 - x508*x334 - x509*x340 - 7*x9 - 8*x29 - 10*x49 - 9*x69 = 0;

e89: x489*x149 - x490*x227 - x491*x233 - x492*x239 - x493*x245 - x494*x251 - 
     x495*x257 - x496*x263 - x497*x269 - x498*x275 - x499*x281 - x500*x287 - 
     x501*x293 - x502*x299 - x503*x305 - x504*x311 - x505*x317 - x506*x323 - 
     x507*x329 - x508*x335 - x509*x341 - 7*x9 - 10*x29 - 5*x69 - 4*x89 = 0;

e90: x510*x150 - x511*x222 - x512*x228 - x513*x234 - x514*x240 - x515*x246 - 
     x516*x252 - x517*x258 - x518*x264 - x519*x270 - x520*x276 - x521*x282 - 
     x522*x288 - x523*x294 - x524*x300 - x525*x306 - x526*x312 - x527*x318 - 
     x528*x324 - x529*x330 - x530*x336 - 4*x10 - 7*x30 - 2*x50 - 6*x70 - 4*x90
      = 0;

e91: x510*x151 - x511*x223 - x512*x229 - x513*x235 - x514*x241 - x515*x247 - 
     x516*x253 - x517*x259 - x518*x265 - x519*x271 - x520*x277 - x521*x283 - 
     x522*x289 - x523*x295 - x524*x301 - x525*x307 - x526*x313 - x527*x319 - 
     x528*x325 - x529*x331 - x530*x337 - 9*x10 - 5*x30 - 3*x50 - 9*x70 = 0;

e92: x510*x152 - x511*x224 - x512*x230 - x513*x236 - x514*x242 - x515*x248 - 
     x516*x254 - x517*x260 - x518*x266 - x519*x272 - x520*x278 - x521*x284 - 
     x522*x290 - x523*x296 - x524*x302 - x525*x308 - x526*x314 - x527*x320 - 
     x528*x326 - x529*x332 - x530*x338 - 4*x10 - 5*x30 - 2*x50 - 8*x70 = 0;

e93: x510*x153 - x511*x225 - x512*x231 - x513*x237 - x514*x243 - x515*x249 - 
     x516*x255 - x517*x261 - x518*x267 - x519*x273 - x520*x279 - x521*x285 - 
     x522*x291 - x523*x297 - x524*x303 - x525*x309 - x526*x315 - x527*x321 - 
     x528*x327 - x529*x333 - x530*x339 - x10 - 5*x30 - 6*x50 - 6*x90 = 0;

e94: x510*x154 - x511*x226 - x512*x232 - x513*x238 - x514*x244 - x515*x250 - 
     x516*x256 - x517*x262 - x518*x268 - x519*x274 - x520*x280 - x521*x286 - 
     x522*x292 - x523*x298 - x524*x304 - x525*x310 - x526*x316 - x527*x322 - 
     x528*x328 - x529*x334 - x530*x340 - 7*x10 - 8*x30 - 10*x50 - 9*x70 = 0;

e95: x510*x155 - x511*x227 - x512*x233 - x513*x239 - x514*x245 - x515*x251 - 
     x516*x257 - x517*x263 - x518*x269 - x519*x275 - x520*x281 - x521*x287 - 
     x522*x293 - x523*x299 - x524*x305 - x525*x311 - x526*x317 - x527*x323 - 
     x528*x329 - x529*x335 - x530*x341 - 7*x10 - 10*x30 - 5*x70 - 4*x90 = 0;

e96: x531*x156 - x532*x222 - x533*x228 - x534*x234 - x535*x240 - x536*x246 - 
     x537*x252 - x538*x258 - x539*x264 - x540*x270 - x541*x276 - x542*x282 - 
     x543*x288 - x544*x294 - x545*x300 - x546*x306 - x547*x312 - x548*x318 - 
     x549*x324 - x550*x330 - x551*x336 - 4*x11 - 7*x31 - 2*x51 - 6*x71 - 4*x91
      = 0;

e97: x531*x157 - x532*x223 - x533*x229 - x534*x235 - x535*x241 - x536*x247 - 
     x537*x253 - x538*x259 - x539*x265 - x540*x271 - x541*x277 - x542*x283 - 
     x543*x289 - x544*x295 - x545*x301 - x546*x307 - x547*x313 - x548*x319 - 
     x549*x325 - x550*x331 - x551*x337 - 9*x11 - 5*x31 - 3*x51 - 9*x71 = 0;

e98: x531*x158 - x532*x224 - x533*x230 - x534*x236 - x535*x242 - x536*x248 - 
     x537*x254 - x538*x260 - x539*x266 - x540*x272 - x541*x278 - x542*x284 - 
     x543*x290 - x544*x296 - x545*x302 - x546*x308 - x547*x314 - x548*x320 - 
     x549*x326 - x550*x332 - x551*x338 - 4*x11 - 5*x31 - 2*x51 - 8*x71 = 0;

e99: x531*x159 - x532*x225 - x533*x231 - x534*x237 - x535*x243 - x536*x249 - 
     x537*x255 - x538*x261 - x539*x267 - x540*x273 - x541*x279 - x542*x285 - 
     x543*x291 - x544*x297 - x545*x303 - x546*x309 - x547*x315 - x548*x321 - 
     x549*x327 - x550*x333 - x551*x339 - x11 - 5*x31 - 6*x51 - 6*x91 = 0;

e100: x531*x160 - x532*x226 - x533*x232 - x534*x238 - x535*x244 - x536*x250 - 
      x537*x256 - x538*x262 - x539*x268 - x540*x274 - x541*x280 - x542*x286 - 
      x543*x292 - x544*x298 - x545*x304 - x546*x310 - x547*x316 - x548*x322 - 
      x549*x328 - x550*x334 - x551*x340 - 7*x11 - 8*x31 - 10*x51 - 9*x71 = 0;

e101: x531*x161 - x532*x227 - x533*x233 - x534*x239 - x535*x245 - x536*x251 - 
      x537*x257 - x538*x263 - x539*x269 - x540*x275 - x541*x281 - x542*x287 - 
      x543*x293 - x544*x299 - x545*x305 - x546*x311 - x547*x317 - x548*x323 - 
      x549*x329 - x550*x335 - x551*x341 - 7*x11 - 10*x31 - 5*x71 - 4*x91 = 0;

e102: x552*x162 - x553*x222 - x554*x228 - x555*x234 - x556*x240 - x557*x246 - 
      x558*x252 - x559*x258 - x560*x264 - x561*x270 - x562*x276 - x563*x282 - 
      x564*x288 - x565*x294 - x566*x300 - x567*x306 - x568*x312 - x569*x318 - 
      x570*x324 - x571*x330 - x572*x336 - 4*x12 - 7*x32 - 2*x52 - 6*x72 - 4*x92
       = 0;

e103: x552*x163 - x553*x223 - x554*x229 - x555*x235 - x556*x241 - x557*x247 - 
      x558*x253 - x559*x259 - x560*x265 - x561*x271 - x562*x277 - x563*x283 - 
      x564*x289 - x565*x295 - x566*x301 - x567*x307 - x568*x313 - x569*x319 - 
      x570*x325 - x571*x331 - x572*x337 - 9*x12 - 5*x32 - 3*x52 - 9*x72 = 0;

e104: x552*x164 - x553*x224 - x554*x230 - x555*x236 - x556*x242 - x557*x248 - 
      x558*x254 - x559*x260 - x560*x266 - x561*x272 - x562*x278 - x563*x284 - 
      x564*x290 - x565*x296 - x566*x302 - x567*x308 - x568*x314 - x569*x320 - 
      x570*x326 - x571*x332 - x572*x338 - 4*x12 - 5*x32 - 2*x52 - 8*x72 = 0;

e105: x552*x165 - x553*x225 - x554*x231 - x555*x237 - x556*x243 - x557*x249 - 
      x558*x255 - x559*x261 - x560*x267 - x561*x273 - x562*x279 - x563*x285 - 
      x564*x291 - x565*x297 - x566*x303 - x567*x309 - x568*x315 - x569*x321 - 
      x570*x327 - x571*x333 - x572*x339 - x12 - 5*x32 - 6*x52 - 6*x92 = 0;

e106: x552*x166 - x553*x226 - x554*x232 - x555*x238 - x556*x244 - x557*x250 - 
      x558*x256 - x559*x262 - x560*x268 - x561*x274 - x562*x280 - x563*x286 - 
      x564*x292 - x565*x298 - x566*x304 - x567*x310 - x568*x316 - x569*x322 - 
      x570*x328 - x571*x334 - x572*x340 - 7*x12 - 8*x32 - 10*x52 - 9*x72 = 0;

e107: x552*x167 - x553*x227 - x554*x233 - x555*x239 - x556*x245 - x557*x251 - 
      x558*x257 - x559*x263 - x560*x269 - x561*x275 - x562*x281 - x563*x287 - 
      x564*x293 - x565*x299 - x566*x305 - x567*x311 - x568*x317 - x569*x323 - 
      x570*x329 - x571*x335 - x572*x341 - 7*x12 - 10*x32 - 5*x72 - 4*x92 = 0;

e108: x573*x168 - x574*x222 - x575*x228 - x576*x234 - x577*x240 - x578*x246 - 
      x579*x252 - x580*x258 - x581*x264 - x582*x270 - x583*x276 - x584*x282 - 
      x585*x288 - x586*x294 - x587*x300 - x588*x306 - x589*x312 - x590*x318 - 
      x591*x324 - x592*x330 - x593*x336 - 4*x13 - 7*x33 - 2*x53 - 6*x73 - 4*x93
       = 0;

e109: x573*x169 - x574*x223 - x575*x229 - x576*x235 - x577*x241 - x578*x247 - 
      x579*x253 - x580*x259 - x581*x265 - x582*x271 - x583*x277 - x584*x283 - 
      x585*x289 - x586*x295 - x587*x301 - x588*x307 - x589*x313 - x590*x319 - 
      x591*x325 - x592*x331 - x593*x337 - 9*x13 - 5*x33 - 3*x53 - 9*x73 = 0;

e110: x573*x170 - x574*x224 - x575*x230 - x576*x236 - x577*x242 - x578*x248 - 
      x579*x254 - x580*x260 - x581*x266 - x582*x272 - x583*x278 - x584*x284 - 
      x585*x290 - x586*x296 - x587*x302 - x588*x308 - x589*x314 - x590*x320 - 
      x591*x326 - x592*x332 - x593*x338 - 4*x13 - 5*x33 - 2*x53 - 8*x73 = 0;

e111: x573*x171 - x574*x225 - x575*x231 - x576*x237 - x577*x243 - x578*x249 - 
      x579*x255 - x580*x261 - x581*x267 - x582*x273 - x583*x279 - x584*x285 - 
      x585*x291 - x586*x297 - x587*x303 - x588*x309 - x589*x315 - x590*x321 - 
      x591*x327 - x592*x333 - x593*x339 - x13 - 5*x33 - 6*x53 - 6*x93 = 0;

e112: x573*x172 - x574*x226 - x575*x232 - x576*x238 - x577*x244 - x578*x250 - 
      x579*x256 - x580*x262 - x581*x268 - x582*x274 - x583*x280 - x584*x286 - 
      x585*x292 - x586*x298 - x587*x304 - x588*x310 - x589*x316 - x590*x322 - 
      x591*x328 - x592*x334 - x593*x340 - 7*x13 - 8*x33 - 10*x53 - 9*x73 = 0;

e113: x573*x173 - x574*x227 - x575*x233 - x576*x239 - x577*x245 - x578*x251 - 
      x579*x257 - x580*x263 - x581*x269 - x582*x275 - x583*x281 - x584*x287 - 
      x585*x293 - x586*x299 - x587*x305 - x588*x311 - x589*x317 - x590*x323 - 
      x591*x329 - x592*x335 - x593*x341 - 7*x13 - 10*x33 - 5*x73 - 4*x93 = 0;

e114: x594*x174 - x595*x222 - x596*x228 - x597*x234 - x598*x240 - x599*x246 - 
      x600*x252 - x601*x258 - x602*x264 - x603*x270 - x604*x276 - x605*x282 - 
      x606*x288 - x607*x294 - x608*x300 - x609*x306 - x610*x312 - x611*x318 - 
      x612*x324 - x613*x330 - x614*x336 - 4*x14 - 7*x34 - 2*x54 - 6*x74 - 4*x94
       = 0;

e115: x594*x175 - x595*x223 - x596*x229 - x597*x235 - x598*x241 - x599*x247 - 
      x600*x253 - x601*x259 - x602*x265 - x603*x271 - x604*x277 - x605*x283 - 
      x606*x289 - x607*x295 - x608*x301 - x609*x307 - x610*x313 - x611*x319 - 
      x612*x325 - x613*x331 - x614*x337 - 9*x14 - 5*x34 - 3*x54 - 9*x74 = 0;

e116: x594*x176 - x595*x224 - x596*x230 - x597*x236 - x598*x242 - x599*x248 - 
      x600*x254 - x601*x260 - x602*x266 - x603*x272 - x604*x278 - x605*x284 - 
      x606*x290 - x607*x296 - x608*x302 - x609*x308 - x610*x314 - x611*x320 - 
      x612*x326 - x613*x332 - x614*x338 - 4*x14 - 5*x34 - 2*x54 - 8*x74 = 0;

e117: x594*x177 - x595*x225 - x596*x231 - x597*x237 - x598*x243 - x599*x249 - 
      x600*x255 - x601*x261 - x602*x267 - x603*x273 - x604*x279 - x605*x285 - 
      x606*x291 - x607*x297 - x608*x303 - x609*x309 - x610*x315 - x611*x321 - 
      x612*x327 - x613*x333 - x614*x339 - x14 - 5*x34 - 6*x54 - 6*x94 = 0;

e118: x594*x178 - x595*x226 - x596*x232 - x597*x238 - x598*x244 - x599*x250 - 
      x600*x256 - x601*x262 - x602*x268 - x603*x274 - x604*x280 - x605*x286 - 
      x606*x292 - x607*x298 - x608*x304 - x609*x310 - x610*x316 - x611*x322 - 
      x612*x328 - x613*x334 - x614*x340 - 7*x14 - 8*x34 - 10*x54 - 9*x74 = 0;

e119: x594*x179 - x595*x227 - x596*x233 - x597*x239 - x598*x245 - x599*x251 - 
      x600*x257 - x601*x263 - x602*x269 - x603*x275 - x604*x281 - x605*x287 - 
      x606*x293 - x607*x299 - x608*x305 - x609*x311 - x610*x317 - x611*x323 - 
      x612*x329 - x613*x335 - x614*x341 - 7*x14 - 10*x34 - 5*x74 - 4*x94 = 0;

e120: x615*x180 - x616*x222 - x617*x228 - x618*x234 - x619*x240 - x620*x246 - 
      x621*x252 - x622*x258 - x623*x264 - x624*x270 - x625*x276 - x626*x282 - 
      x627*x288 - x628*x294 - x629*x300 - x630*x306 - x631*x312 - x632*x318 - 
      x633*x324 - x634*x330 - x635*x336 - 4*x15 - 7*x35 - 2*x55 - 6*x75 - 4*x95
       = 0;

e121: x615*x181 - x616*x223 - x617*x229 - x618*x235 - x619*x241 - x620*x247 - 
      x621*x253 - x622*x259 - x623*x265 - x624*x271 - x625*x277 - x626*x283 - 
      x627*x289 - x628*x295 - x629*x301 - x630*x307 - x631*x313 - x632*x319 - 
      x633*x325 - x634*x331 - x635*x337 - 9*x15 - 5*x35 - 3*x55 - 9*x75 = 0;

e122: x615*x182 - x616*x224 - x617*x230 - x618*x236 - x619*x242 - x620*x248 - 
      x621*x254 - x622*x260 - x623*x266 - x624*x272 - x625*x278 - x626*x284 - 
      x627*x290 - x628*x296 - x629*x302 - x630*x308 - x631*x314 - x632*x320 - 
      x633*x326 - x634*x332 - x635*x338 - 4*x15 - 5*x35 - 2*x55 - 8*x75 = 0;

e123: x615*x183 - x616*x225 - x617*x231 - x618*x237 - x619*x243 - x620*x249 - 
      x621*x255 - x622*x261 - x623*x267 - x624*x273 - x625*x279 - x626*x285 - 
      x627*x291 - x628*x297 - x629*x303 - x630*x309 - x631*x315 - x632*x321 - 
      x633*x327 - x634*x333 - x635*x339 - x15 - 5*x35 - 6*x55 - 6*x95 = 0;

e124: x615*x184 - x616*x226 - x617*x232 - x618*x238 - x619*x244 - x620*x250 - 
      x621*x256 - x622*x262 - x623*x268 - x624*x274 - x625*x280 - x626*x286 - 
      x627*x292 - x628*x298 - x629*x304 - x630*x310 - x631*x316 - x632*x322 - 
      x633*x328 - x634*x334 - x635*x340 - 7*x15 - 8*x35 - 10*x55 - 9*x75 = 0;

e125: x615*x185 - x616*x227 - x617*x233 - x618*x239 - x619*x245 - x620*x251 - 
      x621*x257 - x622*x263 - x623*x269 - x624*x275 - x625*x281 - x626*x287 - 
      x627*x293 - x628*x299 - x629*x305 - x630*x311 - x631*x317 - x632*x323 - 
      x633*x329 - x634*x335 - x635*x341 - 7*x15 - 10*x35 - 5*x75 - 4*x95 = 0;

e126: x636*x186 - x637*x222 - x638*x228 - x639*x234 - x640*x240 - x641*x246 - 
      x642*x252 - x643*x258 - x644*x264 - x645*x270 - x646*x276 - x647*x282 - 
      x648*x288 - x649*x294 - x650*x300 - x651*x306 - x652*x312 - x653*x318 - 
      x654*x324 - x655*x330 - x656*x336 - 4*x16 - 7*x36 - 2*x56 - 6*x76 - 4*x96
       = 0;

e127: x636*x187 - x637*x223 - x638*x229 - x639*x235 - x640*x241 - x641*x247 - 
      x642*x253 - x643*x259 - x644*x265 - x645*x271 - x646*x277 - x647*x283 - 
      x648*x289 - x649*x295 - x650*x301 - x651*x307 - x652*x313 - x653*x319 - 
      x654*x325 - x655*x331 - x656*x337 - 9*x16 - 5*x36 - 3*x56 - 9*x76 = 0;

e128: x636*x188 - x637*x224 - x638*x230 - x639*x236 - x640*x242 - x641*x248 - 
      x642*x254 - x643*x260 - x644*x266 - x645*x272 - x646*x278 - x647*x284 - 
      x648*x290 - x649*x296 - x650*x302 - x651*x308 - x652*x314 - x653*x320 - 
      x654*x326 - x655*x332 - x656*x338 - 4*x16 - 5*x36 - 2*x56 - 8*x76 = 0;

e129: x636*x189 - x637*x225 - x638*x231 - x639*x237 - x640*x243 - x641*x249 - 
      x642*x255 - x643*x261 - x644*x267 - x645*x273 - x646*x279 - x647*x285 - 
      x648*x291 - x649*x297 - x650*x303 - x651*x309 - x652*x315 - x653*x321 - 
      x654*x327 - x655*x333 - x656*x339 - x16 - 5*x36 - 6*x56 - 6*x96 = 0;

e130: x636*x190 - x637*x226 - x638*x232 - x639*x238 - x640*x244 - x641*x250 - 
      x642*x256 - x643*x262 - x644*x268 - x645*x274 - x646*x280 - x647*x286 - 
      x648*x292 - x649*x298 - x650*x304 - x651*x310 - x652*x316 - x653*x322 - 
      x654*x328 - x655*x334 - x656*x340 - 7*x16 - 8*x36 - 10*x56 - 9*x76 = 0;

e131: x636*x191 - x637*x227 - x638*x233 - x639*x239 - x640*x245 - x641*x251 - 
      x642*x257 - x643*x263 - x644*x269 - x645*x275 - x646*x281 - x647*x287 - 
      x648*x293 - x649*x299 - x650*x305 - x651*x311 - x652*x317 - x653*x323 - 
      x654*x329 - x655*x335 - x656*x341 - 7*x16 - 10*x36 - 5*x76 - 4*x96 = 0;

e132: x657*x192 - x658*x222 - x659*x228 - x660*x234 - x661*x240 - x662*x246 - 
      x663*x252 - x664*x258 - x665*x264 - x666*x270 - x667*x276 - x668*x282 - 
      x669*x288 - x670*x294 - x671*x300 - x672*x306 - x673*x312 - x674*x318 - 
      x675*x324 - x676*x330 - x677*x336 - 4*x17 - 7*x37 - 2*x57 - 6*x77 - 4*x97
       = 0;

e133: x657*x193 - x658*x223 - x659*x229 - x660*x235 - x661*x241 - x662*x247 - 
      x663*x253 - x664*x259 - x665*x265 - x666*x271 - x667*x277 - x668*x283 - 
      x669*x289 - x670*x295 - x671*x301 - x672*x307 - x673*x313 - x674*x319 - 
      x675*x325 - x676*x331 - x677*x337 - 9*x17 - 5*x37 - 3*x57 - 9*x77 = 0;

e134: x657*x194 - x658*x224 - x659*x230 - x660*x236 - x661*x242 - x662*x248 - 
      x663*x254 - x664*x260 - x665*x266 - x666*x272 - x667*x278 - x668*x284 - 
      x669*x290 - x670*x296 - x671*x302 - x672*x308 - x673*x314 - x674*x320 - 
      x675*x326 - x676*x332 - x677*x338 - 4*x17 - 5*x37 - 2*x57 - 8*x77 = 0;

e135: x657*x195 - x658*x225 - x659*x231 - x660*x237 - x661*x243 - x662*x249 - 
      x663*x255 - x664*x261 - x665*x267 - x666*x273 - x667*x279 - x668*x285 - 
      x669*x291 - x670*x297 - x671*x303 - x672*x309 - x673*x315 - x674*x321 - 
      x675*x327 - x676*x333 - x677*x339 - x17 - 5*x37 - 6*x57 - 6*x97 = 0;

e136: x657*x196 - x658*x226 - x659*x232 - x660*x238 - x661*x244 - x662*x250 - 
      x663*x256 - x664*x262 - x665*x268 - x666*x274 - x667*x280 - x668*x286 - 
      x669*x292 - x670*x298 - x671*x304 - x672*x310 - x673*x316 - x674*x322 - 
      x675*x328 - x676*x334 - x677*x340 - 7*x17 - 8*x37 - 10*x57 - 9*x77 = 0;

e137: x657*x197 - x658*x227 - x659*x233 - x660*x239 - x661*x245 - x662*x251 - 
      x663*x257 - x664*x263 - x665*x269 - x666*x275 - x667*x281 - x668*x287 - 
      x669*x293 - x670*x299 - x671*x305 - x672*x311 - x673*x317 - x674*x323 - 
      x675*x329 - x676*x335 - x677*x341 - 7*x17 - 10*x37 - 5*x77 - 4*x97 = 0;

e138: x678*x198 - x679*x222 - x680*x228 - x681*x234 - x682*x240 - x683*x246 - 
      x684*x252 - x685*x258 - x686*x264 - x687*x270 - x688*x276 - x689*x282 - 
      x690*x288 - x691*x294 - x692*x300 - x693*x306 - x694*x312 - x695*x318 - 
      x696*x324 - x697*x330 - x698*x336 - 4*x18 - 7*x38 - 2*x58 - 6*x78 - 4*x98
       = 0;

e139: x678*x199 - x679*x223 - x680*x229 - x681*x235 - x682*x241 - x683*x247 - 
      x684*x253 - x685*x259 - x686*x265 - x687*x271 - x688*x277 - x689*x283 - 
      x690*x289 - x691*x295 - x692*x301 - x693*x307 - x694*x313 - x695*x319 - 
      x696*x325 - x697*x331 - x698*x337 - 9*x18 - 5*x38 - 3*x58 - 9*x78 = 0;

e140: x678*x200 - x679*x224 - x680*x230 - x681*x236 - x682*x242 - x683*x248 - 
      x684*x254 - x685*x260 - x686*x266 - x687*x272 - x688*x278 - x689*x284 - 
      x690*x290 - x691*x296 - x692*x302 - x693*x308 - x694*x314 - x695*x320 - 
      x696*x326 - x697*x332 - x698*x338 - 4*x18 - 5*x38 - 2*x58 - 8*x78 = 0;

e141: x678*x201 - x679*x225 - x680*x231 - x681*x237 - x682*x243 - x683*x249 - 
      x684*x255 - x685*x261 - x686*x267 - x687*x273 - x688*x279 - x689*x285 - 
      x690*x291 - x691*x297 - x692*x303 - x693*x309 - x694*x315 - x695*x321 - 
      x696*x327 - x697*x333 - x698*x339 - x18 - 5*x38 - 6*x58 - 6*x98 = 0;

e142: x678*x202 - x679*x226 - x680*x232 - x681*x238 - x682*x244 - x683*x250 - 
      x684*x256 - x685*x262 - x686*x268 - x687*x274 - x688*x280 - x689*x286 - 
      x690*x292 - x691*x298 - x692*x304 - x693*x310 - x694*x316 - x695*x322 - 
      x696*x328 - x697*x334 - x698*x340 - 7*x18 - 8*x38 - 10*x58 - 9*x78 = 0;

e143: x678*x203 - x679*x227 - x680*x233 - x681*x239 - x682*x245 - x683*x251 - 
      x684*x257 - x685*x263 - x686*x269 - x687*x275 - x688*x281 - x689*x287 - 
      x690*x293 - x691*x299 - x692*x305 - x693*x311 - x694*x317 - x695*x323 - 
      x696*x329 - x697*x335 - x698*x341 - 7*x18 - 10*x38 - 5*x78 - 4*x98 = 0;

e144: x699*x204 - x700*x222 - x701*x228 - x702*x234 - x703*x240 - x704*x246 - 
      x705*x252 - x706*x258 - x707*x264 - x708*x270 - x709*x276 - x710*x282 - 
      x711*x288 - x712*x294 - x713*x300 - x714*x306 - x715*x312 - x716*x318 - 
      x717*x324 - x718*x330 - x719*x336 - 4*x19 - 7*x39 - 2*x59 - 6*x79 - 4*x99
       = 0;

e145: x699*x205 - x700*x223 - x701*x229 - x702*x235 - x703*x241 - x704*x247 - 
      x705*x253 - x706*x259 - x707*x265 - x708*x271 - x709*x277 - x710*x283 - 
      x711*x289 - x712*x295 - x713*x301 - x714*x307 - x715*x313 - x716*x319 - 
      x717*x325 - x718*x331 - x719*x337 - 9*x19 - 5*x39 - 3*x59 - 9*x79 = 0;

e146: x699*x206 - x700*x224 - x701*x230 - x702*x236 - x703*x242 - x704*x248 - 
      x705*x254 - x706*x260 - x707*x266 - x708*x272 - x709*x278 - x710*x284 - 
      x711*x290 - x712*x296 - x713*x302 - x714*x308 - x715*x314 - x716*x320 - 
      x717*x326 - x718*x332 - x719*x338 - 4*x19 - 5*x39 - 2*x59 - 8*x79 = 0;

e147: x699*x207 - x700*x225 - x701*x231 - x702*x237 - x703*x243 - x704*x249 - 
      x705*x255 - x706*x261 - x707*x267 - x708*x273 - x709*x279 - x710*x285 - 
      x711*x291 - x712*x297 - x713*x303 - x714*x309 - x715*x315 - x716*x321 - 
      x717*x327 - x718*x333 - x719*x339 - x19 - 5*x39 - 6*x59 - 6*x99 = 0;

e148: x699*x208 - x700*x226 - x701*x232 - x702*x238 - x703*x244 - x704*x250 - 
      x705*x256 - x706*x262 - x707*x268 - x708*x274 - x709*x280 - x710*x286 - 
      x711*x292 - x712*x298 - x713*x304 - x714*x310 - x715*x316 - x716*x322 - 
      x717*x328 - x718*x334 - x719*x340 - 7*x19 - 8*x39 - 10*x59 - 9*x79 = 0;

e149: x699*x209 - x700*x227 - x701*x233 - x702*x239 - x703*x245 - x704*x251 - 
      x705*x257 - x706*x263 - x707*x269 - x708*x275 - x709*x281 - x710*x287 - 
      x711*x293 - x712*x299 - x713*x305 - x714*x311 - x715*x317 - x716*x323 - 
      x717*x329 - x718*x335 - x719*x341 - 7*x19 - 10*x39 - 5*x79 - 4*x99 = 0;

e150: x720*x210 - x721*x222 - x722*x228 - x723*x234 - x724*x240 - x725*x246 - 
      x726*x252 - x727*x258 - x728*x264 - x729*x270 - x730*x276 - x731*x282 - 
      x732*x288 - x733*x294 - x734*x300 - x735*x306 - x736*x312 - x737*x318 - 
      x738*x324 - x739*x330 - x740*x336 - 4*x20 - 7*x40 - 2*x60 - 6*x80
       - 4*x100 = 0;

e151: x720*x211 - x721*x223 - x722*x229 - x723*x235 - x724*x241 - x725*x247 - 
      x726*x253 - x727*x259 - x728*x265 - x729*x271 - x730*x277 - x731*x283 - 
      x732*x289 - x733*x295 - x734*x301 - x735*x307 - x736*x313 - x737*x319 - 
      x738*x325 - x739*x331 - x740*x337 - 9*x20 - 5*x40 - 3*x60 - 9*x80 = 0;

e152: x720*x212 - x721*x224 - x722*x230 - x723*x236 - x724*x242 - x725*x248 - 
      x726*x254 - x727*x260 - x728*x266 - x729*x272 - x730*x278 - x731*x284 - 
      x732*x290 - x733*x296 - x734*x302 - x735*x308 - x736*x314 - x737*x320 - 
      x738*x326 - x739*x332 - x740*x338 - 4*x20 - 5*x40 - 2*x60 - 8*x80 = 0;

e153: x720*x213 - x721*x225 - x722*x231 - x723*x237 - x724*x243 - x725*x249 - 
      x726*x255 - x727*x261 - x728*x267 - x729*x273 - x730*x279 - x731*x285 - 
      x732*x291 - x733*x297 - x734*x303 - x735*x309 - x736*x315 - x737*x321 - 
      x738*x327 - x739*x333 - x740*x339 - x20 - 5*x40 - 6*x60 - 6*x100 = 0;

e154: x720*x214 - x721*x226 - x722*x232 - x723*x238 - x724*x244 - x725*x250 - 
      x726*x256 - x727*x262 - x728*x268 - x729*x274 - x730*x280 - x731*x286 - 
      x732*x292 - x733*x298 - x734*x304 - x735*x310 - x736*x316 - x737*x322 - 
      x738*x328 - x739*x334 - x740*x340 - 7*x20 - 8*x40 - 10*x60 - 9*x80 = 0;

e155: x720*x215 - x721*x227 - x722*x233 - x723*x239 - x724*x245 - x725*x251 - 
      x726*x257 - x727*x263 - x728*x269 - x729*x275 - x730*x281 - x731*x287 - 
      x732*x293 - x733*x299 - x734*x305 - x735*x311 - x736*x317 - x737*x323 - 
      x738*x329 - x739*x335 - x740*x341 - 7*x20 - 10*x40 - 5*x80 - 4*x100 = 0;

e156: x741*x216 - x742*x222 - x743*x228 - x744*x234 - x745*x240 - x746*x246 - 
      x747*x252 - x748*x258 - x749*x264 - x750*x270 - x751*x276 - x752*x282 - 
      x753*x288 - x754*x294 - x755*x300 - x756*x306 - x757*x312 - x758*x318 - 
      x759*x324 - x760*x330 - x761*x336 - 4*x21 - 7*x41 - 2*x61 - 6*x81
       - 4*x101 = 0;

e157: x741*x217 - x742*x223 - x743*x229 - x744*x235 - x745*x241 - x746*x247 - 
      x747*x253 - x748*x259 - x749*x265 - x750*x271 - x751*x277 - x752*x283 - 
      x753*x289 - x754*x295 - x755*x301 - x756*x307 - x757*x313 - x758*x319 - 
      x759*x325 - x760*x331 - x761*x337 - 9*x21 - 5*x41 - 3*x61 - 9*x81 = 0;

e158: x741*x218 - x742*x224 - x743*x230 - x744*x236 - x745*x242 - x746*x248 - 
      x747*x254 - x748*x260 - x749*x266 - x750*x272 - x751*x278 - x752*x284 - 
      x753*x290 - x754*x296 - x755*x302 - x756*x308 - x757*x314 - x758*x320 - 
      x759*x326 - x760*x332 - x761*x338 - 4*x21 - 5*x41 - 2*x61 - 8*x81 = 0;

e159: x741*x219 - x742*x225 - x743*x231 - x744*x237 - x745*x243 - x746*x249 - 
      x747*x255 - x748*x261 - x749*x267 - x750*x273 - x751*x279 - x752*x285 - 
      x753*x291 - x754*x297 - x755*x303 - x756*x309 - x757*x315 - x758*x321 - 
      x759*x327 - x760*x333 - x761*x339 - x21 - 5*x41 - 6*x61 - 6*x101 = 0;

e160: x741*x220 - x742*x226 - x743*x232 - x744*x238 - x745*x244 - x746*x250 - 
      x747*x256 - x748*x262 - x749*x268 - x750*x274 - x751*x280 - x752*x286 - 
      x753*x292 - x754*x298 - x755*x304 - x756*x310 - x757*x316 - x758*x322 - 
      x759*x328 - x760*x334 - x761*x340 - 7*x21 - 8*x41 - 10*x61 - 9*x81 = 0;

e161: x741*x221 - x742*x227 - x743*x233 - x744*x239 - x745*x245 - x746*x251 - 
      x747*x257 - x748*x263 - x749*x269 - x750*x275 - x751*x281 - x752*x287 - 
      x753*x293 - x754*x299 - x755*x305 - x756*x311 - x757*x317 - x758*x323 - 
      x759*x329 - x760*x335 - x761*x341 - 7*x21 - 10*x41 - 5*x81 - 4*x101 = 0;

e162: x342*x102 - x342*x222 = -61640;

e163: x342*x103 - x342*x223 = -274298;

e164: x342*x104 - x342*x224 = -53734;

e165: x342*x105 - x342*x225 = -58826;

e166: x342*x106 - x342*x226 = -132124;

e167: x342*x107 - x342*x227 = -91254;

e168: x363*x108 - x363*x228 = -13912;

e169: x363*x109 - x363*x229 = -5328;

e170: x363*x110 - x363*x230 = -82658;

e171: x363*x111 - x363*x231 = -37222;

e172: x363*x112 - x363*x232 = -11692;

e173: x363*x113 - x363*x233 = -45214;

e174: x384*x114 - x384*x234 = -2418;

e175: x384*x115 - x384*x235 = -13286;

e176: x384*x116 - x384*x236 = -884;

e177: x384*x117 - x384*x237 = -23010;

e178: x384*x118 - x384*x238 = -21164;

e179: x384*x119 - x384*x239 = -17316;

e180: x405*x120 - x405*x240 = -124432;

e181: x405*x121 - x405*x241 = -3344;

e182: x405*x122 - x405*x242 = -115016;

e183: x405*x123 - x405*x243 = -142736;

e184: x405*x124 - x405*x244 = -49808;

e185: x405*x125 - x405*x245 = -170808;

e186: x426*x126 - x426*x246 = -29500;

e187: x426*x127 - x426*x247 = -186200;

e188: x426*x128 - x426*x248 = -22700;

e189: x426*x129 - x426*x249 = -163500;

e190: x426*x130 - x426*x250 = -21600;

e191: x426*x131 - x426*x251 = -152000;

e192: x447*x132 - x447*x252 = -44990;

e193: x447*x133 - x447*x253 = -31240;

e194: x447*x134 - x447*x254 = -89760;

e195: x447*x135 - x447*x255 = -5280;

e196: x447*x136 - x447*x256 = -37455;

e197: x447*x137 - x447*x257 = -39435;

e198: x468*x138 - x468*x258 = -10700;

e199: x468*x139 - x468*x259 = -34850;

e200: x468*x140 - x468*x260 = -17450;

e201: x468*x141 - x468*x261 = -38800;

e202: x468*x142 - x468*x262 = -59200;

e203: x468*x143 - x468*x263 = -22050;

e204: x489*x144 - x489*x264 = -6474;

e205: x489*x145 - x489*x265 = -390;

e206: x489*x146 - x489*x266 = -55588;

e207: x489*x147 - x489*x267 = -12558;

e208: x489*x148 - x489*x268 = -12012;

e209: x489*x149 - x489*x269 = -10140;

e210: x510*x150 - x510*x270 = -91140;

e211: x510*x151 - x510*x271 = -9310;

e212: x510*x152 - x510*x272 = -103292;

e213: x510*x153 - x510*x273 = -32830;

e214: x510*x154 - x510*x274 = -100842;

e215: x510*x155 - x510*x275 = -7056;

e216: x531*x156 - x531*x276 = -105455;

e217: x531*x157 - x531*x277 = -2185;

e218: x531*x158 - x531*x278 = -8395;

e219: x531*x159 - x531*x279 = -58420;

e220: x531*x160 - x531*x280 = -237360;

e221: x531*x161 - x531*x281 = -124200;

e222: x552*x162 - x552*x282 = -96645;

e223: x552*x163 - x552*x283 = -44115;

e224: x552*x164 - x552*x284 = -72505;

e225: x552*x165 - x552*x285 = -168810;

e226: x552*x166 - x552*x286 = -23205;

e227: x552*x167 - x552*x287 = -29070;

e228: x573*x168 - x573*x288 = -129390;

e229: x573*x169 - x573*x289 = -76950;

e230: x573*x170 - x573*x290 = -104880;

e231: x573*x171 - x573*x291 = -9975;

e232: x573*x172 - x573*x292 = -22040;

e233: x573*x173 - x573*x293 = -8550;

e234: x594*x174 - x594*x294 = -252900;

e235: x594*x175 - x594*x295 = -900;

e236: x594*x176 - x594*x296 = -58300;

e237: x594*x177 - x594*x297 = -8200;

e238: x594*x178 - x594*x298 = -137600;

e239: x594*x179 - x594*x299 = -92800;

e240: x615*x180 - x615*x300 = -73395;

e241: x615*x181 - x615*x301 = -59085;

e242: x615*x182 - x615*x302 = -180;

e243: x615*x183 - x615*x303 = -20475;

e244: x615*x184 - x615*x304 = -20475;

e245: x615*x185 - x615*x305 = -74160;

e246: x636*x186 - x636*x306 = -191200;

e247: x636*x187 - x636*x307 = -75500;

e248: x636*x188 - x636*x308 = -28300;

e249: x636*x189 - x636*x309 = -21200;

e250: x636*x190 - x636*x310 = -42100;

e251: x636*x191 - x636*x311 = -36400;

e252: x657*x192 - x657*x312 = -78675;

e253: x657*x193 - x657*x313 = -117975;

e254: x657*x194 - x657*x314 = -62325;

e255: x657*x195 - x657*x315 = -21600;

e256: x657*x196 - x657*x316 = -48000;

e257: x657*x197 - x657*x317 = -164550;

e258: x678*x198 - x678*x318 = -5890;

e259: x678*x199 - x678*x319 = -62605;

e260: x678*x200 - x678*x320 = -44365;

e261: x678*x201 - x678*x321 = -135945;

e262: x678*x202 - x678*x322 = -42750;

e263: x678*x203 - x678*x323 = -91105;

e264: x699*x204 - x699*x324 = -148500;

e265: x699*x205 - x699*x325 = -38600;

e266: x699*x206 - x699*x326 = -20600;

e267: x699*x207 - x699*x327 = -8100;

e268: x699*x208 - x699*x328 = -48500;

e269: x699*x209 - x699*x329 = -229100;

e270: x720*x210 - x720*x330 = -4200;

e271: x720*x211 - x720*x331 = -335880;

e272: x720*x212 - x720*x332 = -35160;

e273: x720*x213 - x720*x333 = -42480;

e274: x720*x214 - x720*x334 = -181200;

e275: x720*x215 - x720*x335 = -61920;

e276: x741*x216 - x741*x336 = -73080;

e277: x741*x217 - x741*x337 = -31500;

e278: x741*x218 - x741*x338 = -54810;

e279: x741*x219 - x741*x339 = -162120;

e280: x741*x220 - x741*x340 = -126490;

e281: x741*x221 - x741*x341 = -22190;