# GLP_IntegerLinearProgramming
var x1;
var x2;
var x3;
var x4;
var x5;
var x6;
var x7;
var x8;
var x9;
var x10;
var x11;
var x12;
var x13;
var x14;
var x15;
var x16;
var x17;
var x18;
var x19;
var x20;
minimize obj: x7;
s.t. c1: - 9831360 * x1 - 1340640 * x2 + 18816 * x3 - 1787520 * x4 + 10107328 * x5 + 1378272 * x6 - 137880512 * x7 + 35111440 * x8 - 91672 * x9 + 34834688 * x10 - 44652916 * x11 + 86042432 * x12 - 13741952 * x13 + 45486 * x14 - 670320 * x15 + 14850528 * x16 + 2025072 * x17 + 3370416 * x18 - 149676576 * x19 + 2018016 * x20 >= 1;
s.t. c2: - 3725568 * x1 - 497280 * x2 - 1792 * x3 - 634368 * x4 + 3646720 * x5 + 495488 * x6 - 49088704 * x7 + 12513536 * x8 - 32672 * x9 + 12400192 * x10 - 15920828 * x11 + 30643648 * x12 - 4889920 * x13 + 16200 * x14 - 221760 * x15 + 5529216 * x16 + 745920 * x17 + 1194816 * x18 - 53312448 * x19 + 685440 * x20 >= 1;
s.t. c3: - 9244928 * x1 - 1259888 * x2 + 17248 * x3 - 1679328 * x4 + 9486400 * x5 + 1295952 * x6 - 129581088 * x7 + 33009816 * x8 - 86180 * x9 + 32755072 * x10 - 41978552 * x11 + 80897824 * x12 - 12918528 * x13 + 42765 * x14 - 629160 * x15 + 13945008 * x16 + 1903944 * x17 + 3169320 * x18 - 140724528 * x19 + 1898064 * x20 >= 4;
s.t. c4: - 8141056 * x1 - 1140720 * x2 + 4704 * x3 - 1500576 * x4 + 8313536 * x5 + 1154832 * x6 - 114522016 * x7 + 29181656 * x8 - 76188 * x9 + 28932736 * x10 - 37113384 * x11 + 71489824 * x12 - 11421312 * x13 + 37793 * x14 - 539784 * x15 + 12392688 * x16 + 1711080 * x17 + 2807112 * x18 - 124366704 * x19 + 1644048 * x20 >= 4;
s.t. c5: - 7865088 * x1 - 1053360 * x2 + 7392 * x3 - 1404480 * x4 + 7973504 * x5 + 1082928 * x6 - 108319456 * x7 + 27587560 * x8 - 72028 * x9 + 27370112 * x10 - 35089208 * x11 + 67604768 * x12 - 10797248 * x13 + 35739 * x14 - 526680 * x15 + 11838288 * x16 + 1591128 * x17 + 2648184 * x18 - 117603024 * x19 + 1585584 * x20 >= 4;
s.t. c6: - 1897280 * x1 - 268240 * x2 - 2464 * x3 - 344960 * x4 + 1897280 * x5 + 263312 * x6 - 26020512 * x7 + 6637680 * x8 - 17330 * x9 + 6574400 * x10 - 8443512 * x11 + 16250080 * x12 - 2598848 * x13 + 8591 * x14 - 115080 * x15 + 2886576 * x16 + 401352 * x17 + 639912 * x18 - 28273392 * x19 + 357840 * x20 >= 1;
s.t. c7: - 7037184 * x1 - 910896 * x2 - 6944 * x3 - 1201536 * x4 + 6859776 * x5 + 960624 * x6 - 94371424 * x7 + 24058328 * x8 - 62820 * x9 + 23868544 * x10 - 30609656 * x11 + 58970016 * x12 - 9377984 * x13 + 31165 * x14 - 465192 * x15 + 10574256 * x16 + 1373064 * x17 + 2277576 * x18 - 102565680 * x19 + 1398096 * x20 >= 4;
s.t. c8: - 1483328 * x1 - 194656 * x2 - 1792 * x3 - 231616 * x4 + 1384768 * x5 + 193312 * x6 - 19014912 * x7 + 4849488 * x8 - 12664 * x9 + 4806144 * x10 - 6172012 * x11 + 11871552 * x12 - 1879808 * x13 + 6278 * x14 - 89712 * x15 + 2195424 * x16 + 291312 * x17 + 448560 * x18 - 20663328 * x19 + 272160 * x20 >= 1;
s.t. c9: - 1483328 * x1 - 187040 * x2 - 3584 * x3 - 239232 * x4 + 1404480 * x5 + 194208 * x6 - 19016704 * x7 + 4849488 * x8 - 12664 * x9 + 4806144 * x10 - 6172012 * x11 + 11879616 * x12 - 1887872 * x13 + 6278 * x14 - 89712 * x15 + 2195424 * x16 + 283248 * x17 + 456624 * x18 - 20663328 * x19 + 272160 * x20 >= 1;
s.t. c10: - 4829440 * x1 - 662480 * x2 + 14112 * x3 - 885920 * x4 + 5001920 * x5 + 682864 * x6 - 68331872 * x7 + 17405192 * x8 - 45444 * x9 + 17266816 * x10 - 22133496 * x11 + 42654304 * x12 - 6811392 * x13 + 22547 * x14 - 335160 * x15 + 7270032 * x16 + 998424 * x17 + 1671096 * x18 - 74198544 * x19 + 1009008 * x20 >= 4;
s.t. c11: - 2000768 * x1 - 272832 * x2 - 329840 * x4 + 1934240 * x5 + 263760 * x6 - 26271392 * x7 + 6697208 * x8 - 17488 * x9 + 6638464 * x10 - 8521744 * x11 + 16391872 * x12 - 2607584 * x13 + 8671 * x14 - 119448 * x15 + 2967888 * x16 + 404712 * x17 + 631848 * x18 - 28533456 * x19 + 367920 * x20 >= 2;
s.t. c12: - 2000768 * x1 - 261520 * x2 - 2016 * x3 - 341152 * x4 + 1956416 * x5 + 263984 * x6 - 26271840 * x7 + 6697208 * x8 - 17488 * x9 + 6638464 * x10 - 8521744 * x11 + 16403296 * x12 - 2619008 * x13 + 8671 * x14 - 119448 * x15 + 2967888 * x16 + 395640 * x17 + 640920 * x18 - 28533456 * x19 + 367920 * x20 >= 2;
s.t. c13: - 965888 * x1 - 126560 * x2 + 448 * x3 - 170464 * x4 + 970816 * x5 + 131264 * x6 - 13147008 * x7 + 3350984 * x8 - 8750 * x9 + 3323264 * x10 - 4262720 * x11 + 8212736 * x12 - 1310848 * x13 + 4340 * x14 - 65856 * x15 + 1448832 * x16 + 190176 * x17 + 321888 * x18 - 14285376 * x19 + 197568 * x20 >= 1;
s.t. c14: - 1724800 * x1 - 225008 * x2 - 1568 * x3 - 293216 * x4 + 1690304 * x5 + 229712 * x6 - 22800288 * x7 + 5812968 * x8 - 15176 * x9 + 5757696 * x10 - 7395080 * x11 + 14239008 * x12 - 2270464 * x13 + 7525 * x14 - 102312 * x15 + 2561328 * x16 + 342216 * x17 + 553896 * x18 - 24764208 * x19 + 317520 * x20 >= 2;
s.t. c15: - 517440 * x1 - 70560 * x2 - 90384 * x4 + 514976 * x5 + 70224 * x6 - 6954528 * x7 + 1772456 * x8 - 4628 * x9 + 1757056 * x10 - 2254868 * x11 + 4340224 * x12 - 693280 * x13 + 2295 * x14 - 33432 * x15 + 774928 * x16 + 105672 * x17 + 170184 * x18 - 7553616 * x19 + 100912 * x20 >= 1;
s.t. c16: - 413952 * x1 - 51744 * x2 - 62720 * x4 + 344960 * x5 + 51744 * x6 - 5127360 * x7 + 1308496 * x8 - 3416 * x9 + 1298304 * x10 - 1665510 * x11 + 3204992 * x12 - 508032 * x13 + 1695 * x14 - 24304 * x15 + 603680 * x16 + 77616 * x17 + 121520 * x18 - 5577376 * x19 + 73696 * x20 >= 1;
s.t. c17: - 379456 * x1 - 54880 * x2 - 68992 * x4 + 379456 * x5 + 54880 * x6 - 5127360 * x7 + 1308496 * x8 - 3416 * x9 + 1295168 * x10 - 1664432 * x11 + 3204992 * x12 - 511168 * x13 + 1694 * x14 - 21168 * x15 + 569184 * x16 + 77616 * x17 + 124656 * x18 - 5574240 * x19 + 70560 * x20 >= 1;
s.t. c18: - 1517824 * x1 - 206976 * x2 - 269584 * x4 + 1544928 * x5 + 210672 * x6 - 20876128 * x7 + 5327448 * x8 - 13908 * x9 + 5280128 * x10 - 6776616 * x11 + 13048896 * x12 - 2081184 * x13 + 6897 * x14 - 93912 * x15 + 2317392 * x16 + 316008 * x17 + 507528 * x18 - 22695120 * x19 + 287280 * x20 >= 4;
s.t. c19: - 379456 * x1 - 51744 * x2 - 65856 * x4 + 379456 * x5 + 51744 * x6 - 5133632 * x7 + 1308496 * x8 - 3416 * x9 + 1295168 * x10 - 1664432 * x11 + 3204992 * x12 - 511168 * x13 + 1694 * x14 - 21168 * x15 + 569184 * x16 + 77616 * x17 + 124656 * x18 - 5574240 * x19 + 70560 * x20 >= 1;
s.t. c20: - 689920 * x1 - 95760 * x2 + 672 * x3 - 127680 * x4 + 699776 * x5 + 98448 * x6 - 9818144 * x7 + 2501240 * x8 - 6532 * x9 + 2480128 * x10 - 3179176 * x11 + 6127072 * x12 - 980672 * x13 + 3241 * x14 - 47880 * x15 + 1038576 * x16 + 144648 * x17 + 240744 * x18 - 10661616 * x19 + 144144 * x20 >= 2;
s.t. c21: - 275968 * x1 - 37632 * x2 - 50176 * x4 + 275968 * x5 + 37632 * x6 - 3785152 * x7 + 964320 * x8 - 2520 * x9 + 956480 * x10 - 1226764 * x11 + 2361408 * x12 - 379456 * x13 + 1250 * x14 - 18816 * x15 + 413952 * x16 + 56448 * x17 + 94080 * x18 - 4111296 * x19 + 56448 * x20 >= 1;
s.t. c22: - 965888 * x1 - 117600 * x2 - 3136 * x3 - 157584 * x4 + 914144 * x5 + 123088 * x6 - 12219424 * x7 + 3120712 * x8 - 8148 * x9 + 3092096 * x10 - 3971352 * x11 + 7645568 * x12 - 1218336 * x13 + 4039 * x14 - 59976 * x15 + 1422960 * x16 + 179928 * x17 + 297528 * x18 - 13295856 * x19 + 176400 * x20 >= 4;
s.t. c23: - 689920 * x1 - 95760 * x2 + 672 * x3 - 127680 * x4 + 699776 * x5 + 98448 * x6 - 9824416 * x7 + 2507960 * x8 - 6548 * x9 + 2488192 * x10 - 3187184 * x11 + 6145888 * x12 - 981568 * x13 + 3249 * x14 - 47880 * x15 + 1038576 * x16 + 144648 * x17 + 240744 * x18 - 10691184 * x19 + 144144 * x20 >= 4;
s.t. c24: - 137984 * x1 - 18816 * x2 - 25088 * x4 + 137984 * x5 + 18816 * x6 - 1894144 * x7 + 483840 * x8 - 1264 * x9 + 480256 * x10 - 615384 * x11 + 1185408 * x12 - 189952 * x13 + 627 * x14 - 9408 * x15 + 206976 * x16 + 28224 * x17 + 47040 * x18 - 2063040 * x19 + 28224 * x20 >= 1;
s.t. c25: - 137984 * x1 - 18816 * x2 - 24528 * x4 + 135520 * x5 + 18480 * x6 - 1802080 * x7 + 460600 * x8 - 1204 * x9 + 457856 * x10 - 586432 * x11 + 1125824 * x12 - 181664 * x13 + 597 * x14 - 8568 * x15 + 203280 * x16 + 27720 * x17 + 44520 * x18 - 1961232 * x19 + 25200 * x20 >= 2;
s.t. c26: - 68992 * x1 - 9408 * x2 - 12544 * x4 + 68992 * x5 + 9408 * x6 - 947072 * x7 + 242088 * x8 - 632 * x9 + 239232 * x10 - 308000 * x11 + 592704 * x12 - 94528 * x13 + 313 * x14 - 2968 * x15 + 109648 * x16 + 14952 * x17 + 22904 * x18 - 1029840 * x19 + 11312 * x20 >= 2;
s.t. c27: - 137984 * x1 - 18816 * x2 - 24528 * x4 + 135520 * x5 + 18480 * x6 - 1808352 * x7 + 467320 * x8 - 1220 * x9 + 465920 * x10 - 594440 * x11 + 1144640 * x12 - 182560 * x13 + 605 * x14 - 8568 * x15 + 203280 * x16 + 27720 * x17 + 44520 * x18 - 1990800 * x19 + 25200 * x20 >= 4;
s.t. c28: - 17248 * x1 + 6272 * x7 >= 1;
s.t. c29: - 3192 * x2 - 1232 * x3 + 728 * x6 + 2576 * x7 - 3472 * x12 + 3864 * x17 >= 1;
s.t. c30: - 1568 * x2 + 6272 * x7 >= 1;
s.t. c31: - 560 * x2 + 224 * x3 + 1008 * x6 + 16352 * x7 - 3360 * x8 + 8 * x9 - 4032 * x10 + 4004 * x11 - 12768 * x12 + 448 * x13 - 4 * x14 + 1008 * x17 + 14784 * x19 >= 1;
s.t. c32: - 280 * x2 + 112 * x3 + 504 * x6 + 6608 * x7 - 1680 * x12 + 504 * x17 >= 1;
s.t. c33: - 3136 * x3 + 6272 * x7 >= 1;
s.t. c34: - 3192 * x4 - 13552 * x5 - 1848 * x6 + 7728 * x7 - 3472 * x13 + 3864 * x18 >= 1;
s.t. c35: - 1568 * x4 + 6272 * x7 >= 1;
s.t. c36: - 560 * x4 + 2464 * x5 + 336 * x6 + 17696 * x7 - 3360 * x8 + 8 * x9 - 4032 * x10 + 4004 * x11 - 9408 * x12 - 2912 * x13 - 4 * x14 + 1008 * x18 + 14784 * x19 >= 1;
s.t. c37: - 280 * x4 + 1232 * x5 + 168 * x6 + 7280 * x7 - 1680 * x13 + 504 * x18 >= 1;
s.t. c38: - 34496 * x5 + 6272 * x7 >= 1;
s.t. c39: - 3136 * x6 + 6272 * x7 >= 1;
s.t. c40: - 1736 * x8 + 6 * x9 + 896 * x10 + 2464 * x11 - 3136 * x12 - 448 * x13 + 4032 * x19 >= 1;
s.t. c41: 3136 * x7 - 1960 * x8 + 4 * x9 - 3136 * x10 + 2156 * x11 - 6272 * x12 - x14 + 9408 * x19 >= 1;
s.t. c42: 3136 * x7 - 1736 * x8 + 4 * x9 + 896 * x10 + 2464 * x11 - 3136 * x12 - 448 * x13 + x14 + 4032 * x19 >= 1;
s.t. c43: 3136 * x7 - 1400 * x8 + 4 * x9 - 896 * x10 + 1848 * x11 - 3136 * x12 + 448 * x13 - x14 + 5376 * x19 >= 1;
s.t. c44: 3136 * x7 - 2 * x9 + x14 >= 1;
s.t. c45: 3136 * x7 - 1568 * x10 + x14 >= 1;
s.t. c46: 3136 * x7 - 1078 * x11 + x14 >= 1;
s.t. c47: 3136 * x7 - 3136 * x12 + x14 >= 1;
s.t. c48: 3136 * x7 - 3136 * x13 + x14 >= 1;
s.t. c49: 3136 * x7 - 3192 * x15 - 13552 * x16 - 1848 * x17 + 728 * x18 - 3472 * x19 + 10864 * x20 >= 1;
s.t. c50: 3136 * x7 - 1568 * x15 + 3136 * x20 >= 1;
s.t. c51: 3136 * x7 - 280 * x15 + 1232 * x16 + 168 * x17 + 504 * x18 - 1680 * x19 + 4144 * x20 >= 1;
s.t. c52: 3136 * x7 - 34496 * x16 + 3136 * x20 >= 1;
s.t. c53: 3136 * x7 - 3136 * x17 + 3136 * x20 >= 1;
s.t. c54: 3136 * x7 - 3136 * x18 + 3136 * x20 >= 1;
s.t. c55: 3136 * x7 + 3136 * x18 + 3136 * x20 >= 1;
s.t. c56: 3136 * x7 + 3136 * x17 + 3136 * x20 >= 1;
s.t. c57: 3136 * x7 + 34496 * x16 + 3136 * x20 >= 1;
s.t. c58: 3136 * x7 + 280 * x15 - 1232 * x16 - 168 * x17 - 504 * x18 + 1680 * x19 + 2128 * x20 >= 1;
s.t. c59: 3136 * x7 + 1568 * x15 + 3136 * x20 >= 1;
s.t. c60: 3136 * x7 + 3192 * x15 + 13552 * x16 + 1848 * x17 - 728 * x18 + 3472 * x19 - 4592 * x20 >= 1;
s.t. c61: 3136 * x7 + 3136 * x13 + x14 >= 1;
s.t. c62: 3136 * x7 + 3136 * x12 + x14 >= 1;
s.t. c63: 3136 * x7 + 1078 * x11 + x14 >= 1;
s.t. c64: 3136 * x7 + 1568 * x10 + x14 >= 1;
s.t. c65: 3136 * x7 + 2 * x9 + x14 >= 1;
s.t. c66: 3136 * x7 + 1400 * x8 - 4 * x9 + 896 * x10 - 1848 * x11 + 3136 * x12 - 448 * x13 + 3 * x14 - 5376 * x19 >= 1;
s.t. c67: 3136 * x7 + 1736 * x8 - 4 * x9 - 896 * x10 - 2464 * x11 + 3136 * x12 + 448 * x13 + x14 - 4032 * x19 >= 1;
s.t. c68: 3136 * x7 + 1960 * x8 - 4 * x9 + 3136 * x10 - 2156 * x11 + 6272 * x12 + 3 * x14 - 9408 * x19 >= 1;
s.t. c69: 12544 * x7 - 2800 * x8 + 8 * x9 - 1792 * x10 + 3696 * x11 - 6272 * x12 + 896 * x13 - 3 * x14 + 10752 * x19 >= 1;
s.t. c70: 12544 * x7 + 1736 * x8 - 6 * x9 - 896 * x10 - 2464 * x11 + 3136 * x12 + 448 * x13 - 4032 * x19 >= 1;
s.t. c71: 28224 * x7 - 6720 * x8 + 16 * x9 - 8064 * x10 + 8008 * x11 - 18816 * x12 + 896 * x13 - 8 * x14 + 29568 * x19 >= 1;
s.t. c72: 3136 * x6 + 6272 * x7 >= 1;
s.t. c73: 34496 * x5 + 6272 * x7 >= 1;
s.t. c74: 280 * x4 - 1232 * x5 - 168 * x6 + 5264 * x7 + 1680 * x13 - 504 * x18 >= 1;
s.t. c75: 560 * x4 - 2464 * x5 - 336 * x6 + 13664 * x7 - 3360 * x8 + 8 * x9 - 4032 * x10 + 4004 * x11 - 9408 * x12 + 3808 * x13 - 4 * x14 - 1008 * x18 + 14784 * x19 >= 1;
s.t. c76: 1400 * x4 - 6160 * x5 - 840 * x6 + 76496 * x7 - 19152 * x8 + 50 * x9 - 20160 * x10 + 24332 * x11 - 47040 * x12 + 7504 * x13 - 25 * x14 + 1400 * x15 - 6160 * x16 - 840 * x17 - 1904 * x18 + 82320 * x19 - 1904 * x20 >= 1;
s.t. c77: 1568 * x4 + 6272 * x7 >= 1;
s.t. c78: 1960 * x4 - 8624 * x5 - 1176 * x6 + 149744 * x7 - 37632 * x8 + 98 * x9 - 37632 * x10 + 47432 * x11 - 94080 * x12 + 14896 * x13 - 49 * x14 - 3528 * x18 + 159936 * x19 >= 1;
s.t. c79: 3192 * x4 + 13552 * x5 + 1848 * x6 + 4816 * x7 + 3472 * x13 - 3864 * x18 >= 1;
s.t. c80: 3136 * x3 + 6272 * x7 >= 1;
s.t. c81: 280 * x2 - 112 * x3 - 504 * x6 + 5936 * x7 + 1680 * x12 - 504 * x17 >= 1;
s.t. c82: 560 * x2 - 224 * x3 - 1008 * x6 + 15008 * x7 - 3360 * x8 + 8 * x9 - 4032 * x10 + 4004 * x11 - 6048 * x12 + 448 * x13 - 4 * x14 - 1008 * x17 + 14784 * x19 >= 1;
s.t. c83: 560 * x2 - 224 * x3 - 1008 * x6 + 15008 * x7 - 2800 * x8 + 8 * x9 - 1792 * x10 + 3696 * x11 - 6048 * x12 + 896 * x13 - 3 * x14 - 1008 * x17 + 10752 * x19 >= 1;
s.t. c84: 1568 * x2 + 6272 * x7 >= 1;
s.t. c85: 1680 * x2 - 672 * x3 + 1680 * x4 - 7392 * x5 - 896 * x6 + 111104 * x7 - 26712 * x8 + 70 * x9 - 26880 * x10 + 33880 * x11 - 65184 * x12 + 10976 * x13 - 35 * x14 - 3024 * x17 - 3024 * x18 + 114240 * x19 >= 1;
s.t. c86: 1960 * x2 - 784 * x3 - 3528 * x6 + 154448 * x7 - 37632 * x8 + 98 * x9 - 37632 * x10 + 47432 * x11 - 91728 * x12 + 12544 * x13 - 49 * x14 - 3528 * x17 + 159936 * x19 >= 1;
s.t. c87: 1960 * x2 - 784 * x3 + 3920 * x4 - 17248 * x5 + 392 * x6 + 152880 * x7 - 37632 * x8 + 98 * x9 - 37632 * x10 + 47432 * x11 - 91728 * x12 + 17248 * x13 - 49 * x14 - 3528 * x17 - 7056 * x18 + 159936 * x19 >= 1;
s.t. c88: 2240 * x2 - 896 * x3 + 2240 * x4 - 9856 * x5 - 2240 * x6 + 196224 * x7 - 48552 * x8 + 126 * x9 - 48384 * x10 + 60984 * x11 - 118272 * x12 + 18816 * x13 - 63 * x14 - 4032 * x17 - 4032 * x18 + 205632 * x19 >= 1;
s.t. c89: 3192 * x2 + 1232 * x3 - 728 * x6 + 9968 * x7 + 3472 * x12 - 3864 * x17 >= 1;
s.t. c90: 3920 * x2 - 1568 * x3 + 1960 * x4 - 8624 * x5 - 1960 * x6 + 157584 * x7 - 37632 * x8 + 98 * x9 - 37632 * x10 + 47432 * x11 - 89376 * x12 + 14896 * x13 - 49 * x14 - 7056 * x17 - 3528 * x18 + 159936 * x19 >= 1;
s.t. c91: 3920 * x2 - 1568 * x3 + 7840 * x4 - 34496 * x5 - 5488 * x6 + 597408 * x7 - 150528 * x8 + 392 * x9 - 150528 * x10 + 189728 * x11 - 371616 * x12 + 59584 * x13 - 196 * x14 + 3920 * x15 - 17248 * x16 - 6272 * x17 - 14896 * x18 + 644448 * x19 - 10976 * x20 >= 1;
s.t. c92: 3920 * x2 - 1568 * x3 + 11760 * x4 - 51744 * x5 - 4704 * x6 + 598976 * x7 - 150528 * x8 + 392 * x9 - 150528 * x10 + 189728 * x11 - 371616 * x12 + 64288 * x13 - 196 * x14 + 3920 * x15 - 17248 * x16 - 6272 * x17 - 18816 * x18 + 644448 * x19 - 10976 * x20 >= 1;
s.t. c93: 17248 * x1 + 6272 * x7 >= 1;
s.t. c94: 137984 * x1 + 18816 * x2 + 24528 * x4 - 135520 * x5 - 18480 * x6 + 1858528 * x7 - 467320 * x8 + 1220 * x9 - 465920 * x10 + 594440 * x11 - 1144640 * x12 + 182560 * x13 - 605 * x14 + 8568 * x15 - 203280 * x16 - 27720 * x17 - 44520 * x18 + 1990800 * x19 - 25200 * x20 >= 4;
s.t. c95: 137984 * x1 + 18816 * x2 + 24528 * x4 - 135520 * x5 - 18480 * x6 + 1864800 * x7 - 474040 * x8 + 1236 * x9 - 473984 * x10 + 602448 * x11 - 1163456 * x12 + 183456 * x13 - 613 * x14 + 8568 * x15 - 203280 * x16 - 27720 * x17 - 44520 * x18 + 2020368 * x19 - 25200 * x20 >= 2;
s.t. c96: 137984 * x1 + 18816 * x2 + 25088 * x4 - 137984 * x5 - 18816 * x6 + 1906688 * x7 - 483840 * x8 + 1264 * x9 - 480256 * x10 + 615384 * x11 - 1185408 * x12 + 189952 * x13 - 627 * x14 + 9408 * x15 - 206976 * x16 - 28224 * x17 - 47040 * x18 + 2063040 * x19 - 28224 * x20 >= 1;
s.t. c97: 689920 * x1 + 95760 * x2 - 672 * x3 + 127680 * x4 - 699776 * x5 - 98448 * x6 + 9874592 * x7 - 2507960 * x8 + 6548 * x9 - 2488192 * x10 + 3187184 * x11 - 6145888 * x12 + 981568 * x13 - 3249 * x14 + 47880 * x15 - 1038576 * x16 - 144648 * x17 - 240744 * x18 + 10691184 * x19 - 144144 * x20 >= 4;
s.t. c98: 965888 * x1 + 133280 * x2 - 3136 * x3 + 173264 * x4 - 983136 * x5 - 135632 * x6 + 13448736 * x7 - 3421768 * x8 + 8932 * x9 - 3393152 * x10 + 4350808 * x11 - 8379392 * x12 + 1337504 * x13 - 4431 * x14 + 59976 * x15 - 1422960 * x16 - 208152 * x17 - 325752 * x18 + 14575344 * x19 - 176400 * x20 >= 4;
s.t. c99: 275968 * x1 + 37632 * x2 + 50176 * x4 - 275968 * x5 - 37632 * x6 + 3816512 * x7 - 971040 * x8 + 2536 * x9 - 964544 * x10 + 1234772 * x11 - 2380224 * x12 + 380352 * x13 - 1258 * x14 + 18816 * x15 - 413952 * x16 - 56448 * x17 - 94080 * x18 + 4140864 * x19 - 56448 * x20 >= 1;
s.t. c100: 310464 * x1 + 42000 * x2 - 1120 * x3 + 56112 * x4 - 322784 * x5 - 42784 * x6 + 4339328 * x7 - 1104712 * x8 + 2884 * x9 - 1096256 * x10 + 1405096 * x11 - 2708384 * x12 + 431648 * x13 - 1431 * x14 + 21000 * x15 - 471856 * x16 - 63112 * x17 - 105560 * x18 + 4709040 * x19 - 63056 * x20 >= 1;
s.t. c101: 689920 * x1 + 95760 * x2 - 672 * x3 + 127680 * x4 - 699776 * x5 - 98448 * x6 + 9880864 * x7 - 2514680 * x8 + 6564 * x9 - 2496256 * x10 + 3195192 * x11 - 6164704 * x12 + 982464 * x13 - 3257 * x14 + 47880 * x15 - 1038576 * x16 - 144648 * x17 - 240744 * x18 + 10720752 * x19 - 144144 * x20 >= 2;
s.t. c102: 379456 * x1 + 51744 * x2 + 65856 * x4 - 379456 * x5 - 51744 * x6 + 5146176 * x7 - 1308496 * x8 + 3416 * x9 - 1295168 * x10 + 1664432 * x11 - 3204992 * x12 + 511168 * x13 - 1694 * x14 + 21168 * x15 - 569184 * x16 - 77616 * x17 - 124656 * x18 + 5574240 * x19 - 70560 * x20 >= 1;
s.t. c103: 1517824 * x1 + 206976 * x2 + 269584 * x4 - 1544928 * x5 - 210672 * x6 + 20926304 * x7 - 5327448 * x8 + 13908 * x9 - 5280128 * x10 + 6776616 * x11 - 13048896 * x12 + 2081184 * x13 - 6897 * x14 + 93912 * x15 - 2317392 * x16 - 316008 * x17 - 507528 * x18 + 22695120 * x19 - 287280 * x20 >= 4;
s.t. c104: 586432 * x1 + 80752 * x2 - 1568 * x3 + 107408 * x4 - 603680 * x5 - 83104 * x6 + 8297856 * x7 - 2112488 * x8 + 5516 * x9 - 2094848 * x10 + 2686376 * x11 - 5175968 * x12 + 826336 * x13 - 2736 * x14 + 40376 * x15 - 888272 * x16 - 121912 * x17 - 202664 * x18 + 9004240 * x19 - 121520 * x20 >= 1;
s.t. c105: 965888 * x1 + 130480 * x2 - 2016 * x3 + 174384 * x4 - 988064 * x5 - 134400 * x6 + 13454336 * x7 - 3426248 * x8 + 8946 * x9 - 3398528 * x10 + 4357584 * x11 - 8396192 * x12 + 1340640 * x13 - 4438 * x14 + 65856 * x15 - 1448832 * x16 - 197232 * x17 - 328944 * x18 + 14605248 * x19 - 197568 * x20 >= 1;
s.t. c106: 4829440 * x1 + 678160 * x2 - 20384 * x3 + 901600 * x4 - 5070912 * x5 - 695408 * x6 + 69561184 * x7 - 17706248 * x8 + 46228 * x9 - 17567872 * x10 + 22512952 * x11 - 43388128 * x12 + 6930560 * x13 - 22939 * x14 + 335160 * x15 - 7270032 * x16 - 1026648 * x17 - 1699320 * x18 + 75478032 * x19 - 1009008 * x20 >= 4;
s.t. c107: 6209280 * x1 + 882000 * x2 - 39200 * x3 + 1179360 * x4 - 6844992 * x5 - 865200 * x6 + 89704160 * x7 - 22822968 * x8 + 59580 * x9 - 22646400 * x10 + 29011752 * x11 - 55907040 * x12 + 8972544 * x13 - 29565 * x14 + 430920 * x15 - 9347184 * x16 - 1338120 * x17 - 2221128 * x18 + 97285104 * x19 - 1297296 * x20 >= 4;
s.t. c108: 7865088 * x1 + 1053360 * x2 - 7392 * x3 + 1404480 * x4 - 7973504 * x5 - 1082928 * x6 + 108369632 * x7 - 27587560 * x8 + 72028 * x9 - 27370112 * x10 + 35089208 * x11 - 67604768 * x12 + 10797248 * x13 - 35739 * x14 + 526680 * x15 - 11838288 * x16 - 1591128 * x17 - 2648184 * x18 + 117603024 * x19 - 1585584 * x20 >= 4;
s.t. c109: 4346496 * x1 + 589008 * x2 - 6048 * x3 + 786576 * x4 - 4413024 * x5 - 603904 * x6 + 60546304 * x7 - 15415512 * x8 + 40248 * x9 - 15294720 * x10 + 19605432 * x11 - 37776480 * x12 + 6035232 * x13 - 19971 * x14 + 294504 * x15 - 6553008 * x16 - 889448 * x17 - 1481816 * x18 + 65715888 * x19 - 886480 * x20 >= 2;
s.t. c110: 2380224 * x1 + 323008 * x2 - 3136 * x3 + 429632 * x4 - 2449216 * x5 - 332416 * x6 + 33191424 * x7 - 8449896 * x8 + 22062 * x9 - 8383872 * x10 + 10746120 * x11 - 20707008 * x12 + 3307584 * x13 - 10947 * x14 + 161504 * x15 - 3587584 * x16 - 487648 * x17 - 810656 * x18 + 36021888 * x19 - 486080 * x20 >= 1;
s.t. c111: 3035648 * x1 + 407344 * x2 - 7392 * x3 + 545328 * x4 - 3116960 * x5 - 420672 * x6 + 42187712 * x7 - 10739456 * x8 + 28040 * x9 - 10657024 * x10 + 13657952 * x11 - 26319328 * x12 + 4203808 * x13 - 13914 * x14 + 206976 * x15 - 4553472 * x16 - 616560 * x17 - 1030512 * x18 + 45784704 * x19 - 620928 * x20 >= 1;
s.t. c112: 6830208 * x1 + 931056 * x2 - 7392 * x3 + 1240848 * x4 - 7074144 * x5 - 960288 * x6 + 95746112 * x7 - 24376296 * x8 + 63644 * x9 - 24183936 * x10 + 31001432 * x11 - 59733408 * x12 + 9539488 * x13 - 31579 * x14 + 465192 * x15 - 10367280 * x16 - 1409352 * x17 - 2337048 * x18 + 103912368 * x19 - 1398096 * x20 >= 2;
s.t. c113: 9831360 * x1 + 1340640 * x2 - 18816 * x3 + 1787520 * x4 - 10107328 * x5 - 1378272 * x6 + 137893056 * x7 - 35111440 * x8 + 91672 * x9 - 34834688 * x10 + 44652916 * x11 - 86042432 * x12 + 13741952 * x13 - 45486 * x14 + 670320 * x15 - 14850528 * x16 - 2025072 * x17 - 3370416 * x18 + 149676576 * x19 - 2018016 * x20 >= 1;
s.t. c114: 22215424 * x1 + 3040464 * x2 - 57120 * x3 + 4056416 * x4 - 23215808 * x5 - 3112368 * x6 + 312578784 * x7 - 79583336 * x8 + 207784 * x9 - 78954624 * x10 + 101208184 * x11 - 195020896 * x12 + 31151232 * x13 - 103097 * x14 + 1520232 * x15 - 33637296 * x16 - 4589928 * x17 - 7640808 * x18 + 339254832 * x19 - 4575312 * x20 >= 2;
solve;
display x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20;
end;