# 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;
var x21;
var x22;
var x23;
var x24;
var x25;
var x26;
var x27;
var x28;
var x29;
var x30;
var x31;
minimize obj: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1022714 * x30 - 24395 * x31;
s.t. c1: - 583100 * x1 - 2349060 * x2 + 2153305 * x3 + 564480 * x4 - 35280 * x5 + 11660040 * x6 + 3420 * x7 - 1214808 * x8 - 1689324 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 1174530 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2738134 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 - 35700 * x24 + 121380 * x25 + 327250 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1022714 * x30 - 24395 * x31 >= 14875;
s.t. c2: - 374850 * x1 + 149940 * x2 + 487305 * x3 + 564480 * x4 - 35280 * x5 - 3333960 * x6 + 3420 * x7 - 1214808 * x8 + 809676 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 + 74970 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2321634 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 - 35700 * x24 + 121380 * x25 - 89250 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1022714 * x30 - 24395 * x31 >= 14875;
s.t. c3: - 124950 * x1 - 316540 * x2 + 304045 * x3 - 1181880 * x4 + 584080 * x5 + 1966860 * x6 + 2880 * x7 + 247548 * x8 - 859656 * x9 - 2009196 * x10 + 1281987 * x11 + 848680 * x12 - 624750 * x13 - 2681280 * x14 + 1703338 * x15 + 299880 * x16 - 935620 * x17 + 3679928 * x18 - 1892366 * x19 - 40854576 * x20 + 3964814 * x21 + 2246468 * x22 + 85232 * x23 - 89250 * x24 + 128520 * x25 + 47600 * x26 - 960120 * x27 - 156366 * x28 - 110670 * x29 - 785386 * x30 - 17255 * x31 >= 5950;
s.t. c4: - 124950 * x1 - 316540 * x2 + 304045 * x3 + 395920 * x4 - 170520 * x5 + 629160 * x6 + 4630 * x7 - 973532 * x8 + 73304 * x9 + 673064 * x10 - 292383 * x11 + 1020180 * x12 - 624750 * x13 - 2269680 * x14 + 825258 * x15 + 299880 * x16 - 969920 * x17 + 3968048 * x18 - 1954106 * x19 - 41842416 * x20 + 3903074 * x21 + 2157288 * x22 + 88662 * x23 - 41650 * x24 + 116620 * x25 - 1228920 * x27 + 181594 * x28 - 74970 * x29 - 800926 * x30 - 23205 * x31 >= 5950;
s.t. c5: - 41650 * x1 - 191590 * x2 + 220745 * x3 + 224420 * x4 + 241080 * x5 - 583590 * x6 - 2545 * x7 - 270382 * x8 + 198254 * x9 + 381514 * x10 - 292383 * x11 + 83790 * x12 - 241570 * x13 + 241080 * x14 - 111132 * x15 + 37485 * x16 + 37030 * x17 - 42112 * x18 + 83314 * x19 + 1751904 * x20 - 107086 * x21 - 197652 * x22 + 17122 * x23 + 35700 * x24 - 121380 * x25 + 47600 * x26 + 1215480 * x27 - 56406 * x28 - 60690 * x29 + 9394 * x30 + 24395 * x31 >= 2975;
s.t. c6: - 41650 * x1 - 191590 * x2 + 220745 * x3 + 224420 * x4 + 241080 * x5 - 583590 * x6 - 2545 * x7 - 270382 * x8 + 198254 * x9 + 381514 * x10 - 292383 * x11 + 83790 * x12 + 49980 * x13 + 241080 * x14 - 111132 * x15 + 37485 * x16 + 37030 * x17 - 42112 * x18 - 208236 * x19 + 1751904 * x20 - 107086 * x21 - 197652 * x22 + 17122 * x23 + 35700 * x24 - 121380 * x25 + 47600 * x26 + 1215480 * x27 - 56406 * x28 - 60690 * x29 + 9394 * x30 + 24395 * x31 >= 2975;
s.t. c7: - 41650 * x1 - 191590 * x2 + 220745 * x3 + 224420 * x4 + 241080 * x5 - 583590 * x6 - 2545 * x7 - 270382 * x8 + 489804 * x9 + 381514 * x10 - 292383 * x11 + 83790 * x12 + 49980 * x13 + 241080 * x14 - 111132 * x15 + 37485 * x16 + 37030 * x17 - 42112 * x18 + 83314 * x19 + 1751904 * x20 - 107086 * x21 - 197652 * x22 + 17122 * x23 + 35700 * x24 - 121380 * x25 + 47600 * x26 + 1215480 * x27 - 56406 * x28 - 60690 * x29 + 9394 * x30 + 24395 * x31 >= 2975;
s.t. c8: - 41650 * x1 + 99960 * x2 + 220745 * x3 + 224420 * x4 + 241080 * x5 - 1458240 * x6 - 2545 * x7 - 270382 * x8 + 198254 * x9 + 381514 * x10 - 292383 * x11 + 83790 * x12 + 49980 * x13 + 241080 * x14 - 111132 * x15 + 37485 * x16 + 37030 * x17 - 42112 * x18 + 83314 * x19 + 1751904 * x20 - 107086 * x21 - 197652 * x22 + 17122 * x23 + 35700 * x24 - 121380 * x25 + 47600 * x26 + 1215480 * x27 - 56406 * x28 - 60690 * x29 + 9394 * x30 + 24395 * x31 >= 2975;
s.t. c9: - 41650 * x1 + 99960 * x2 + 220745 * x3 + 224420 * x4 + 241080 * x5 - 583590 * x6 - 2545 * x7 - 270382 * x8 + 489804 * x9 + 381514 * x10 - 292383 * x11 + 83790 * x12 - 241570 * x13 + 241080 * x14 - 111132 * x15 + 37485 * x16 + 37030 * x17 - 42112 * x18 - 208236 * x19 + 1751904 * x20 - 107086 * x21 - 197652 * x22 + 17122 * x23 + 35700 * x24 - 121380 * x25 + 47600 * x26 + 1215480 * x27 - 56406 * x28 - 60690 * x29 + 9394 * x30 + 24395 * x31 >= 2975;
s.t. c10: - 83300 * x1 - 1007930 * x2 + 941290 * x3 - 95060 * x4 + 188160 * x5 + 5910870 * x6 - 3365 * x7 + 2105726 * x8 - 3068772 * x9 - 3660202 * x10 + 2638944 * x11 + 669830 * x12 - 1524390 * x13 - 3310440 * x14 + 2429126 * x15 + 637245 * x16 + 497210 * x17 - 1603784 * x18 + 386848 * x19 + 16975728 * x20 - 1017352 * x21 - 538664 * x22 + 12754 * x23 - 17850 * x24 - 230860 * x25 + 476000 * x26 + 2582160 * x27 - 817292 * x28 - 406980 * x29 + 262108 * x30 + 60690 * x31 >= 14875;
s.t. c11: 49 * x16 >= 1;
s.t. c12: 49 * x11 - 14 * x28 + x31 >= 1;
s.t. c13: 49 * x3 - 98 * x13 + 49 * x16 >= 1;
s.t. c14: 124950 * x1 - 49980 * x2 + 1295315 * x3 - 1217160 * x4 - 1017240 * x5 + 8828820 * x6 + 9360 * x7 + 1708336 * x8 - 2019192 * x9 - 2069172 * x10 + 1476909 * x11 + 250880 * x12 - 1774290 * x13 - 4515840 * x14 + 1235486 * x15 + 449820 * x16 - 520940 * x17 + 1438976 * x18 - 1529122 * x19 - 25770192 * x20 + 1767178 * x21 + 2448796 * x22 + 10444 * x23 - 196350 * x24 + 376040 * x25 + 238000 * x26 - 3495240 * x27 + 47838 * x28 - 103530 * x29 - 451262 * x30 - 61285 * x31 >= 29750;
s.t. c15: 11900 * x1 - 207060 * x2 + 308805 * x3 + 980 * x4 - 182280 * x5 + 535290 * x6 + 2795 * x7 - 153958 * x8 - 88774 * x9 + 1666 * x10 + 67473 * x11 + 107310 * x12 - 103530 * x13 - 182280 * x14 + 152292 * x15 - 37485 * x16 - 398930 * x17 + 1463672 * x18 - 752584 * x19 - 16458624 * x20 + 1478666 * x21 + 875112 * x22 + 19068 * x23 - 35700 * x24 + 121380 * x25 - 29750 * x26 - 1274280 * x27 + 106386 * x28 + 60690 * x29 - 298914 * x30 - 24395 * x31 >= 2125;
s.t. c16: 17850 * x1 - 185640 * x2 + 119595 * x3 + 111720 * x4 + 211680 * x5 - 23940 * x6 - 120 * x7 - 474712 * x8 + 304164 * x9 + 189924 * x10 + 7497 * x11 + 154840 * x12 - 217770 * x13 + 211680 * x14 - 339962 * x15 + 99960 * x16 - 20020 * x17 + 56308 * x18 - 25326 * x19 - 605136 * x20 + 57974 * x21 - 6832 * x22 + 2002 * x23 + 5950 * x24 + 21420 * x25 + 31080 * x27 + 19754 * x28 + 10710 * x29 - 12446 * x30 + 595 * x31 >= 2550;
s.t. c17: 17850 * x1 - 185640 * x2 + 119595 * x3 + 111720 * x4 + 211680 * x5 - 23940 * x6 - 120 * x7 - 224812 * x8 + 54264 * x9 + 189924 * x10 - 117453 * x11 - 95060 * x12 + 32130 * x13 + 211680 * x14 - 90062 * x15 - 24990 * x16 - 20020 * x17 + 56308 * x18 - 25326 * x19 - 605136 * x20 + 57974 * x21 - 6832 * x22 + 2002 * x23 + 5950 * x24 + 21420 * x25 + 31080 * x27 + 19754 * x28 + 10710 * x29 - 12446 * x30 + 595 * x31 >= 2550;
s.t. c18: 499800 * x1 - 3323670 * x2 + 1849260 * x3 + 129360 * x4 + 2178540 * x5 + 12824280 * x6 + 11940 * x7 - 5744956 * x8 - 2079168 * x9 + 219912 * x10 + 159936 * x11 + 3086020 * x12 - 2099160 * x13 - 3069360 * x14 + 4650394 * x15 + 237405 * x16 - 7379260 * x17 + 28758604 * x18 - 13982388 * x19 - 304143168 * x20 + 29280062 * x21 + 14174384 * x22 + 675451 * x23 - 190400 * x24 + 938910 * x25 + 357000 * x26 - 4698960 * x27 + 417452 * x28 + 32130 * x29 - 5892698 * x30 - 81515 * x31 >= 44625;
s.t. c19: 41650 * x1 - 649740 * x2 + 428995 * x3 + 224420 * x4 + 241080 * x5 + 2165310 * x6 - 2545 * x7 - 270382 * x8 - 259896 * x9 + 381514 * x10 - 292383 * x11 + 83790 * x12 - 324870 * x13 + 241080 * x14 - 111132 * x15 + 37485 * x16 + 37030 * x17 - 42112 * x18 - 41636 * x19 + 1751904 * x20 - 107086 * x21 - 197652 * x22 + 17122 * x23 + 35700 * x24 - 121380 * x25 + 172550 * x26 + 1215480 * x27 - 56406 * x28 - 60690 * x29 + 9394 * x30 + 24395 * x31 >= 2975;
s.t. c20: 3570 * x1 - 7140 * x2 + 8925 * x3 - 17640 * x4 + 7350 * x5 - 124740 * x6 + 690 * x7 - 49294 * x8 + 22848 * x9 - 69972 * x10 + 52479 * x11 + 29302 * x12 + 6426 * x13 - 47628 * x14 + 64288 * x15 - 2499 * x16 - 97300 * x17 + 363454 * x18 - 172998 * x19 - 4017468 * x20 + 375116 * x21 + 204218 * x22 + 7231 * x23 - 4760 * x24 + 17850 * x25 - 10710 * x26 - 146580 * x27 + 6188 * x28 + 6426 * x29 - 75698 * x30 - 2975 * x31 >= 255;
s.t. c21: 458150 * x1 - 2265760 * x2 + 1070405 * x3 - 101920 * x4 + 1464120 * x5 + 9660840 * x6 - 22930 * x7 + 1434132 * x8 - 1656004 * x9 - 173264 * x10 - 457317 * x11 - 1830640 * x12 - 841330 * x13 + 4962720 * x14 - 2135518 * x15 + 24990 * x16 + 3289720 * x17 - 11849488 * x18 + 5446686 * x19 + 132186096 * x20 - 11951114 * x21 - 7247548 * x22 - 120722 * x23 + 232050 * x24 - 1080520 * x25 + 892500 * x26 + 11502120 * x27 - 978894 * x28 - 248710 * x29 + 2354506 * x30 + 231455 * x31 >= 29750;
s.t. c22: 458150 * x1 - 2265760 * x2 + 1070405 * x3 - 101920 * x4 + 1464120 * x5 + 9660840 * x6 - 22930 * x7 + 1434132 * x8 - 1656004 * x9 - 173264 * x10 - 457317 * x11 - 81340 * x12 - 1424430 * x13 - 2034480 * x14 - 386218 * x15 + 899640 * x16 + 2456720 * x17 - 9017288 * x18 + 3947286 * x19 + 98199696 * x20 - 9118914 * x21 - 4665248 * x22 - 37422 * x23 + 232050 * x24 - 1080520 * x25 + 892500 * x26 + 11502120 * x27 - 978894 * x28 - 831810 * x29 + 1688106 * x30 + 231455 * x31 >= 29750;
s.t. c23: 458150 * x1 - 2265760 * x2 + 1070405 * x3 - 101920 * x4 + 1464120 * x5 + 9660840 * x6 - 22930 * x7 + 1434132 * x8 - 1656004 * x9 - 173264 * x10 - 457317 * x11 - 81340 * x12 - 1424430 * x13 - 2034480 * x14 - 386218 * x15 + 899640 * x16 + 3289720 * x17 - 13598788 * x18 + 6029786 * x19 + 153177696 * x20 - 13700414 * x21 - 8413748 * x22 + 170828 * x23 + 232050 * x24 - 1080520 * x25 + 892500 * x26 + 11502120 * x27 - 978894 * x28 - 831810 * x29 + 2937606 * x30 + 231455 * x31 >= 29750;
s.t. c24: 458150 * x1 - 2265760 * x2 + 1070405 * x3 - 101920 * x4 + 1464120 * x5 + 9660840 * x6 - 22930 * x7 + 3183432 * x8 - 2239104 * x9 - 3671864 * x10 + 2166633 * x11 - 81340 * x12 - 1424430 * x13 - 2034480 * x14 + 1363082 * x15 + 899640 * x16 + 3289720 * x17 - 11849488 * x18 + 5446686 * x19 + 132186096 * x20 - 11368014 * x21 - 6664448 * x22 - 120722 * x23 + 232050 * x24 - 1080520 * x25 + 892500 * x26 + 11502120 * x27 - 1561994 * x28 - 831810 * x29 + 2354506 * x30 + 231455 * x31 >= 29750;
s.t. c25: 249900 * x1 - 1099560 * x2 + 591430 * x3 - 1836520 * x4 + 479220 * x5 + 4677540 * x6 + 13045 * x7 - 700308 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 70560 * x12 - 549780 * x13 + 479220 * x14 - 259308 * x15 - 37485 * x16 - 201180 * x17 + 754572 * x18 - 545384 * x19 - 7728924 * x20 + 644616 * x21 + 437262 * x22 - 707 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1935780 * x27 + 231336 * x28 + 60690 * x29 - 140714 * x30 - 24395 * x31 >= 14875;
s.t. c26: 249900 * x1 - 1099560 * x2 + 591430 * x3 - 293020 * x4 + 2022720 * x5 + 1847790 * x6 - 32455 * x7 + 843192 * x8 - 439824 * x9 + 2417366 * x10 - 494802 * x11 - 1472940 * x12 - 549780 * x13 + 2022720 * x14 - 1802808 * x15 - 37485 * x16 + 3106320 * x17 - 12034428 * x18 + 5408116 * x19 + 128760576 * x20 - 12144384 * x21 - 5957238 * x22 - 331457 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 3479280 * x27 + 231336 * x28 + 60690 * x29 + 2505286 * x30 - 24395 * x31 >= 14875;
s.t. c27: 14700 * x1 - 64680 * x2 + 34790 * x3 + 2940 * x4 - 32340 * x5 + 214620 * x6 + 1385 * x7 - 101724 * x8 - 25872 * x9 + 56448 * x10 - 29106 * x11 + 64680 * x12 - 32340 * x13 - 32340 * x14 + 45276 * x15 - 2205 * x16 - 141540 * x17 + 545916 * x18 - 265552 * x19 - 5807172 * x20 + 539448 * x21 + 276486 * x22 + 12929 * x23 - 2100 * x24 + 7140 * x25 + 7000 * x26 - 53340 * x27 + 13608 * x28 + 3570 * x29 - 112042 * x30 - 1435 * x31 >= 875;
s.t. c28: 14700 * x1 - 64680 * x2 + 34790 * x3 + 2940 * x4 - 32340 * x5 + 471870 * x6 + 510 * x7 - 15974 * x8 - 25872 * x9 + 56448 * x10 - 29106 * x11 - 21070 * x12 - 32340 * x13 - 32340 * x14 - 40474 * x15 - 2205 * x16 + 42210 * x17 - 164584 * x18 + 65198 * x19 + 1689828 * x20 - 171052 * x21 - 78764 * x22 - 5446 * x23 - 2100 * x24 + 7140 * x25 + 7000 * x26 - 53340 * x27 + 13608 * x28 + 3570 * x29 + 34958 * x30 - 1435 * x31 >= 875;
s.t. c29: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 1493030 * x5 + 4163040 * x6 + 33170 * x7 - 2672558 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 2042810 * x12 - 549780 * x13 - 2950780 * x14 + 1712942 * x15 - 37485 * x16 - 4427430 * x17 + 17096072 * x18 - 8152634 * x19 - 180674424 * x20 + 16986116 * x21 + 8608012 * x22 + 421918 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 3521714 * x30 - 24395 * x31 >= 14875;
s.t. c30: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 1493030 * x5 + 4163040 * x6 + 33170 * x7 - 2672558 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 2042810 * x12 - 549780 * x13 - 35280 * x14 + 1712942 * x15 - 37485 * x16 - 4427430 * x17 + 17096072 * x18 - 8152634 * x19 - 189420924 * x20 + 16986116 * x21 + 8608012 * x22 + 421918 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 3521714 * x30 - 24395 * x31 >= 14875;
s.t. c31: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 1493030 * x5 + 4163040 * x6 + 33170 * x7 - 2672558 * x8 - 439824 * x9 + 2417366 * x10 - 494802 * x11 + 2042810 * x12 - 549780 * x13 - 35280 * x14 + 1712942 * x15 - 37485 * x16 - 4427430 * x17 + 17096072 * x18 - 8152634 * x19 - 180674424 * x20 + 16986116 * x21 + 8608012 * x22 + 421918 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 3521714 * x30 - 24395 * x31 >= 14875;
s.t. c32: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 5296508 * x8 + 1892576 * x9 + 9123016 * x10 - 4430727 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 - 2368758 * x15 - 37485 * x16 - 470680 * x17 + 2185372 * x18 - 1030484 * x19 - 19239024 * x20 + 1200766 * x21 + 569562 * x22 + 26243 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 1105986 * x28 + 60690 * x29 - 356314 * x30 - 24395 * x31 >= 14875;
s.t. c33: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 3547208 * x8 + 1309476 * x9 + 2708916 * x10 - 349027 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 - 619458 * x15 - 37485 * x16 - 1720180 * x17 + 6433672 * x18 - 3279584 * x19 - 70218624 * x20 + 6032166 * x21 + 3568362 * x22 + 151193 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 522886 * x28 + 60690 * x29 - 1355914 * x30 - 24395 * x31 >= 14875;
s.t. c34: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 2672558 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 1712942 * x15 - 37485 * x16 - 3386180 * x17 + 13555822 * x18 - 6278384 * x19 - 138191424 * x20 + 13445866 * x21 + 6109012 * x22 + 317793 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 2688714 * x30 - 24395 * x31 >= 14875;
s.t. c35: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 2672558 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 1712942 * x15 - 37485 * x16 - 2344930 * x17 + 8557822 * x18 - 4404134 * x19 - 95708424 * x20 + 9905616 * x21 + 5067762 * x22 + 213668 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1855714 * x30 - 24395 * x31 >= 14875;
s.t. c36: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 2672558 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 2042810 * x12 - 549780 * x13 - 35280 * x14 + 1712942 * x15 - 37485 * x16 - 4427430 * x17 + 17096072 * x18 - 8152634 * x19 - 180674424 * x20 + 16986116 * x21 + 8608012 * x22 + 421918 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 3521714 * x30 - 24395 * x31 >= 14875;
s.t. c37: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 2672558 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 2042810 * x12 - 549780 * x13 - 35280 * x14 + 1712942 * x15 - 37485 * x16 - 3386180 * x17 + 12098072 * x18 - 6278384 * x19 - 138191424 * x20 + 13445866 * x21 + 6109012 * x22 + 317793 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 2688714 * x30 - 24395 * x31 >= 14875;
s.t. c38: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 2672558 * x8 - 439824 * x9 + 2417366 * x10 + 962948 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 2344930 * x17 + 8557822 * x18 - 4404134 * x19 - 95708424 * x20 + 8447866 * x21 + 5067762 * x22 + 213668 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1855714 * x30 - 24395 * x31 >= 14875;
s.t. c39: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 2089458 * x8 - 148274 * x9 + 2708916 * x10 - 1077902 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 - 619458 * x15 - 37485 * x16 - 678930 * x17 + 2893422 * x18 - 1405334 * x19 - 27735624 * x20 + 2491916 * x21 + 1069362 * x22 + 47068 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 522886 * x28 + 60690 * x29 - 522914 * x30 - 24395 * x31 >= 14875;
s.t. c40: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 2089458 * x8 - 148274 * x9 + 2708916 * x10 - 1077902 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 - 619458 * x15 - 37485 * x16 - 678930 * x17 + 2893422 * x18 - 1405334 * x19 - 27735624 * x20 + 2491916 * x21 + 1069362 * x22 + 47068 * x23 + 53550 * x24 - 57120 * x25 + 238000 * x26 + 720720 * x27 + 136136 * x28 - 28560 * x29 - 552664 * x30 + 20230 * x31 >= 14875;
s.t. c41: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 - 3496640 * x12 + 1782620 * x13 + 16291520 * x14 - 3826508 * x15 - 1349460 * x16 - 2136680 * x17 + 7849772 * x18 - 4029284 * x19 - 87211824 * x20 + 7739816 * x21 + 3693312 * x22 + 192843 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 935340 * x29 - 1689114 * x30 - 24395 * x31 >= 14875;
s.t. c42: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 - 1747340 * x12 + 1199520 * x13 + 3463320 * x14 - 619458 * x15 - 474810 * x16 - 887180 * x17 + 3601472 * x18 - 1780184 * x19 - 36232224 * x20 + 3491516 * x21 + 1277612 * x22 + 67893 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 352240 * x29 - 689514 * x30 - 24395 * x31 >= 14875;
s.t. c43: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 - 872690 * x12 - 549780 * x13 - 35280 * x14 - 1202558 * x15 + 1420265 * x16 - 262430 * x17 + 1477322 * x18 - 655634 * x19 - 10742424 * x20 + 1367366 * x21 + 1527512 * x22 + 5418 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 189714 * x30 - 24395 * x31 >= 14875;
s.t. c44: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 - 872690 * x12 - 549780 * x13 + 2880220 * x14 + 255192 * x15 - 37485 * x16 - 262430 * x17 + 1477322 * x18 - 655634 * x19 - 10742424 * x20 + 1367366 * x21 + 69762 * x22 + 5418 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 189714 * x30 - 24395 * x31 >= 14875;
s.t. c45: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 - 289590 * x12 - 258230 * x13 + 3463320 * x14 - 619458 * x15 + 254065 * x16 - 1928430 * x17 + 7141722 * x18 - 3654434 * x19 - 78715224 * x20 + 7031766 * x21 + 3776612 * x22 + 172018 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 352240 * x29 - 1522514 * x30 - 24395 * x31 >= 14875;
s.t. c46: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 - 1202558 * x15 - 37485 * x16 - 262430 * x17 + 1477322 * x18 - 655634 * x19 - 10742424 * x20 + 1367366 * x21 + 69762 * x22 + 5418 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 189714 * x30 - 24395 * x31 >= 14875;
s.t. c47: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 - 1202558 * x15 - 37485 * x16 + 778820 * x17 - 2062928 * x18 + 1218616 * x19 + 31740576 * x20 - 3630634 * x21 - 971488 * x22 - 98707 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 + 643286 * x30 - 24395 * x31 >= 14875;
s.t. c48: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 2344930 * x17 + 8557822 * x18 - 4404134 * x19 - 95708424 * x20 + 8447866 * x21 + 3610012 * x22 + 1671418 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1855714 * x30 - 24395 * x31 >= 14875;
s.t. c49: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 2344930 * x17 + 8557822 * x18 - 4404134 * x19 - 95708424 * x20 + 8447866 * x21 + 5067762 * x22 + 213668 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1855714 * x30 - 24395 * x31 >= 14875;
s.t. c50: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 2344930 * x17 + 8557822 * x18 - 4404134 * x19 - 95708424 * x20 + 9905616 * x21 + 5067762 * x22 + 1671418 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1855714 * x30 - 24395 * x31 >= 14875;
s.t. c51: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 2344930 * x17 + 10015572 * x18 - 4404134 * x19 - 104454924 * x20 + 8447866 * x21 + 5067762 * x22 + 1671418 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1855714 * x30 - 24395 * x31 >= 14875;
s.t. c52: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 2344930 * x17 + 10015572 * x18 - 4404134 * x19 - 95708424 * x20 + 9905616 * x21 + 3610012 * x22 + 213668 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1855714 * x30 - 24395 * x31 >= 14875;
s.t. c53: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 2136680 * x17 + 3768072 * x18 - 1696884 * x19 - 38231424 * x20 + 3658116 * x21 + 1944012 * x22 + 630168 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 814464 * x30 - 24395 * x31 >= 14875;
s.t. c54: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1928430 * x17 + 6267072 * x18 - 3362884 * x19 - 68219424 * x20 + 6157116 * x21 + 3193512 * x22 + 1046668 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1230964 * x30 - 24395 * x31 >= 14875;
s.t. c55: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1720180 * x17 + 8766072 * x18 - 5028884 * x19 - 80714424 * x20 + 7198366 * x21 + 4443012 * x22 + 1463168 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1647464 * x30 - 24395 * x31 >= 14875;
s.t. c56: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 - 184450 * x24 + 627130 * x25 - 148750 * x26 - 7490280 * x27 + 737086 * x28 + 209440 * x29 - 903714 * x30 - 128520 * x31 >= 14875;
s.t. c57: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 - 184450 * x24 + 627130 * x25 - 148750 * x26 - 7490280 * x27 + 737086 * x28 + 417690 * x29 - 1111964 * x30 - 128520 * x31 >= 14875;
s.t. c58: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 - 184450 * x24 + 627130 * x25 - 148750 * x26 - 7490280 * x27 + 945336 * x28 + 417690 * x29 - 903714 * x30 - 128520 * x31 >= 14875;
s.t. c59: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 - 184450 * x24 + 835380 * x25 - 148750 * x26 - 8739780 * x27 + 737086 * x28 + 417690 * x29 - 903714 * x30 - 128520 * x31 >= 14875;
s.t. c60: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 - 184450 * x24 + 835380 * x25 - 148750 * x26 - 7490280 * x27 + 945336 * x28 + 209440 * x29 - 1111964 * x30 - 128520 * x31 >= 14875;
s.t. c61: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 - 154700 * x24 - 57120 * x25 + 238000 * x26 + 720720 * x27 + 52836 * x28 - 28560 * x29 - 1052464 * x30 + 20230 * x31 >= 14875;
s.t. c62: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 - 124950 * x24 + 299880 * x25 - 3563280 * x27 + 409836 * x28 + 149940 * x29 - 992964 * x30 - 39270 * x31 >= 14875;
s.t. c63: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 - 95200 * x24 + 656880 * x25 - 238000 * x26 - 5348280 * x27 + 558586 * x28 + 328440 * x29 - 933464 * x30 - 98770 * x31 >= 14875;
s.t. c64: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 + 23800 * x24 - 414120 * x25 + 476000 * x26 + 2505720 * x27 - 95914 * x28 - 207060 * x29 - 1111964 * x30 + 79730 * x31 >= 14875;
s.t. c65: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 + 53550 * x24 - 57120 * x25 + 238000 * x26 + 720720 * x27 + 52836 * x28 - 28560 * x29 - 1052464 * x30 + 20230 * x31 >= 14875;
s.t. c66: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 + 83300 * x24 + 299880 * x25 - 3563280 * x27 + 409836 * x28 + 149940 * x29 - 992964 * x30 - 39270 * x31 >= 14875;
s.t. c67: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 + 113050 * x24 - 592620 * x25 + 386750 * x26 + 4647720 * x27 - 482664 * x28 - 88060 * x29 - 933464 * x30 + 109480 * x31 >= 14875;
s.t. c68: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 + 113050 * x24 - 592620 * x25 + 386750 * x26 + 5897220 * x27 - 274414 * x28 - 296310 * x29 - 1141714 * x30 + 109480 * x31 >= 14875;
s.t. c69: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 + 113050 * x24 - 384370 * x25 + 386750 * x26 + 4647720 * x27 - 482664 * x28 - 296310 * x29 - 1141714 * x30 + 109480 * x31 >= 14875;
s.t. c70: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 + 113050 * x24 - 384370 * x25 + 386750 * x26 + 4647720 * x27 - 274414 * x28 - 296310 * x29 - 933464 * x30 + 109480 * x31 >= 14875;
s.t. c71: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2529884 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 + 113050 * x24 - 384370 * x25 + 386750 * x26 + 4647720 * x27 - 274414 * x28 - 88060 * x29 - 1141714 * x30 + 109480 * x31 >= 14875;
s.t. c72: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 887180 * x17 + 1269072 * x18 - 30884 * x19 - 25736424 * x20 + 2616866 * x21 + 694512 * x22 + 213668 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 397964 * x30 - 24395 * x31 >= 14875;
s.t. c73: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 678930 * x17 + 3768072 * x18 - 1696884 * x19 - 38231424 * x20 + 3658116 * x21 + 1944012 * x22 + 630168 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 814464 * x30 - 24395 * x31 >= 14875;
s.t. c74: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 470680 * x17 + 6267072 * x18 - 3362884 * x19 - 68219424 * x20 + 6157116 * x21 + 3193512 * x22 + 1046668 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1230964 * x30 - 24395 * x31 >= 14875;
s.t. c75: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 262430 * x17 + 19572 * x18 - 655634 * x19 - 10742424 * x20 - 90384 * x21 + 1527512 * x22 + 1463168 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 189714 * x30 - 24395 * x31 >= 14875;
s.t. c76: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 262430 * x17 + 19572 * x18 - 655634 * x19 - 1995924 * x20 + 1367366 * x21 + 69762 * x22 + 5418 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 189714 * x30 - 24395 * x31 >= 14875;
s.t. c77: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 262430 * x17 + 1477322 * x18 - 655634 * x19 - 10742424 * x20 - 90384 * x21 + 69762 * x22 + 5418 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 189714 * x30 - 24395 * x31 >= 14875;
s.t. c78: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 262430 * x17 + 1477322 * x18 - 655634 * x19 - 10742424 * x20 + 1367366 * x21 + 69762 * x22 + 1463168 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 189714 * x30 - 24395 * x31 >= 14875;
s.t. c79: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 262430 * x17 + 1477322 * x18 - 655634 * x19 - 10742424 * x20 + 1367366 * x21 + 1527512 * x22 + 5418 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 189714 * x30 - 24395 * x31 >= 14875;
s.t. c80: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 + 1420265 * x16 - 2344930 * x17 + 8557822 * x18 - 4404134 * x19 - 95708424 * x20 + 8447866 * x21 + 3610012 * x22 + 213668 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1855714 * x30 - 24395 * x31 >= 14875;
s.t. c81: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 + 1420265 * x16 - 262430 * x17 + 1477322 * x18 - 655634 * x19 - 10742424 * x20 + 1367366 * x21 + 69762 * x22 + 5418 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 189714 * x30 - 24395 * x31 >= 14875;
s.t. c82: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 1712942 * x15 + 1420265 * x16 - 2344930 * x17 + 8557822 * x18 - 4404134 * x19 - 95708424 * x20 + 8447866 * x21 + 5067762 * x22 + 213668 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1855714 * x30 - 24395 * x31 >= 14875;
s.t. c83: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 1459710 * x12 - 841330 * x13 - 3533880 * x14 + 1129842 * x15 + 1128715 * x16 - 678930 * x17 + 2893422 * x18 - 1405334 * x19 - 27735624 * x20 + 2783466 * x21 + 1360912 * x22 + 47068 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 - 230860 * x29 - 522914 * x30 - 24395 * x31 >= 14875;
s.t. c84: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 2042810 * x12 - 549780 * x13 - 2950780 * x14 + 255192 * x15 + 1420265 * x16 - 2344930 * x17 + 8557822 * x18 - 4404134 * x19 - 95708424 * x20 + 8447866 * x21 + 5067762 * x22 + 213668 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1855714 * x30 - 24395 * x31 >= 14875;
s.t. c85: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 2042810 * x12 - 549780 * x13 - 35280 * x14 + 1712942 * x15 - 37485 * x16 - 3386180 * x17 + 13555822 * x18 - 6278384 * x19 - 138191424 * x20 + 13445866 * x21 + 6109012 * x22 + 317793 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 2688714 * x30 - 24395 * x31 >= 14875;
s.t. c86: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 2042810 * x12 - 549780 * x13 - 35280 * x14 + 1712942 * x15 - 37485 * x16 - 2344930 * x17 + 8557822 * x18 - 4404134 * x19 - 95708424 * x20 + 8447866 * x21 + 3610012 * x22 + 213668 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1855714 * x30 - 24395 * x31 >= 14875;
s.t. c87: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 2917460 * x12 - 2299080 * x13 - 3533880 * x14 + 1129842 * x15 + 1857590 * x16 - 1720180 * x17 + 6433672 * x18 - 3279584 * x19 - 70218624 * x20 + 6323716 * x21 + 3859912 * x22 + 151193 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 - 230860 * x29 - 1355914 * x30 - 24395 * x31 >= 14875;
s.t. c88: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 4666760 * x12 - 2882180 * x13 - 16362080 * x14 + 4336892 * x15 + 2732240 * x16 - 470680 * x17 + 2185372 * x18 - 1030484 * x19 - 19239024 * x20 + 2075416 * x21 + 1444212 * x22 + 26243 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 - 813960 * x29 - 356314 * x30 - 24395 * x31 >= 14875;
s.t. c89: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 + 962948 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 2344930 * x17 + 8557822 * x18 - 4404134 * x19 - 95708424 * x20 + 9905616 * x21 + 5067762 * x22 + 213668 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1855714 * x30 - 24395 * x31 >= 14875;
s.t. c90: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 + 962948 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 262430 * x17 + 1477322 * x18 - 655634 * x19 - 10742424 * x20 + 1367366 * x21 + 69762 * x22 + 5418 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 189714 * x30 - 24395 * x31 >= 14875;
s.t. c91: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 1214808 * x8 - 439824 * x9 + 959616 * x10 + 962948 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 1712942 * x15 - 37485 * x16 - 2344930 * x17 + 8557822 * x18 - 4404134 * x19 - 95708424 * x20 + 8447866 * x21 + 5067762 * x22 + 213668 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1855714 * x30 - 24395 * x31 >= 14875;
s.t. c92: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 - 340158 * x8 - 731374 * x9 - 789684 * x10 + 1546048 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 1129842 * x15 - 37485 * x16 - 1928430 * x17 + 7141722 * x18 - 3654434 * x19 - 78715224 * x20 + 7323316 * x21 + 4068162 * x22 + 172018 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 - 60214 * x28 + 60690 * x29 - 1522514 * x30 - 24395 * x31 >= 14875;
s.t. c93: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 + 242942 * x8 - 439824 * x9 - 498134 * x10 - 494802 * x11 - 872690 * x12 - 549780 * x13 + 2880220 * x14 - 1202558 * x15 - 37485 * x16 + 1820070 * x17 - 7060928 * x18 + 3092866 * x19 + 82970076 * x20 - 7170884 * x21 - 3470488 * x22 - 202832 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 + 1476286 * x30 - 24395 * x31 >= 14875;
s.t. c94: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 + 242942 * x8 - 439824 * x9 - 498134 * x10 - 494802 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 262430 * x17 + 1477322 * x18 - 655634 * x19 - 10742424 * x20 + 1367366 * x21 + 69762 * x22 + 5418 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 189714 * x30 - 24395 * x31 >= 14875;
s.t. c95: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 + 242942 * x8 - 439824 * x9 + 959616 * x10 + 962948 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 - 1202558 * x15 - 37485 * x16 - 262430 * x17 + 1477322 * x18 - 655634 * x19 - 10742424 * x20 - 90384 * x21 + 69762 * x22 + 5418 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 189714 * x30 - 24395 * x31 >= 14875;
s.t. c96: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 + 1117592 * x8 - 2189124 * x9 - 789684 * x10 + 817173 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 1129842 * x15 - 37485 * x16 - 887180 * x17 + 3601472 * x18 - 1780184 * x19 - 36232224 * x20 + 3783066 * x21 + 1569162 * x22 + 67893 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 - 60214 * x28 + 60690 * x29 - 689514 * x30 - 24395 * x31 >= 14875;
s.t. c97: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 3420 * x7 + 2866892 * x8 - 2772224 * x9 - 7203784 * x10 + 4898873 * x11 + 585060 * x12 - 549780 * x13 - 35280 * x14 + 2879142 * x15 - 37485 * x16 - 2136680 * x17 + 7849772 * x18 - 4029284 * x19 - 87211824 * x20 + 8614466 * x21 + 4567962 * x22 + 192843 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 - 643314 * x28 + 60690 * x29 - 1689114 * x30 - 24395 * x31 >= 14875;
s.t. c98: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 33170 * x7 - 2672558 * x8 - 439824 * x9 + 2417366 * x10 - 494802 * x11 + 2042810 * x12 - 549780 * x13 - 2950780 * x14 + 1712942 * x15 - 37485 * x16 - 4427430 * x17 + 17096072 * x18 - 8152634 * x19 - 189420924 * x20 + 16986116 * x21 + 8608012 * x22 + 421918 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 3521714 * x30 - 24395 * x31 >= 14875;
s.t. c99: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 - 35280 * x5 + 4163040 * x6 + 33170 * x7 + 242942 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 - 872690 * x12 - 549780 * x13 - 35280 * x14 - 1202558 * x15 - 37485 * x16 + 1820070 * x17 - 7060928 * x18 + 3092866 * x19 + 74223576 * x20 - 7170884 * x21 - 3470488 * x22 - 202832 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 + 1476286 * x30 - 24395 * x31 >= 14875;
s.t. c100: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 + 1422470 * x5 + 4163040 * x6 + 3420 * x7 + 242942 * x8 - 439824 * x9 - 498134 * x10 - 494802 * x11 - 872690 * x12 - 549780 * x13 - 35280 * x14 - 1202558 * x15 - 37485 * x16 + 1820070 * x17 - 7060928 * x18 + 3092866 * x19 + 74223576 * x20 - 7170884 * x21 - 3470488 * x22 - 202832 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 + 1476286 * x30 - 24395 * x31 >= 14875;
s.t. c101: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 + 1422470 * x5 + 4163040 * x6 + 3420 * x7 + 242942 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 - 872690 * x12 - 549780 * x13 - 35280 * x14 - 1202558 * x15 - 37485 * x16 + 778820 * x17 - 3520678 * x18 + 1218616 * x19 + 31740576 * x20 - 3630634 * x21 - 971488 * x22 - 98707 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 + 643286 * x30 - 24395 * x31 >= 14875;
s.t. c102: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 + 1422470 * x5 + 4163040 * x6 + 3420 * x7 + 242942 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 - 872690 * x12 - 549780 * x13 - 35280 * x14 - 1202558 * x15 - 37485 * x16 + 1820070 * x17 - 7060928 * x18 + 3092866 * x19 + 82970076 * x20 - 7170884 * x21 - 3470488 * x22 - 202832 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 + 1476286 * x30 - 24395 * x31 >= 14875;
s.t. c103: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 564480 * x4 + 1422470 * x5 + 4163040 * x6 + 3420 * x7 + 242942 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 - 872690 * x12 - 549780 * x13 + 2880220 * x14 - 1202558 * x15 - 37485 * x16 + 1820070 * x17 - 7060928 * x18 + 3092866 * x19 + 74223576 * x20 - 7170884 * x21 - 3470488 * x22 - 202832 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 + 1476286 * x30 - 24395 * x31 >= 14875;
s.t. c104: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 1078980 * x4 + 479220 * x5 + 304290 * x6 + 27920 * x7 - 2158058 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 1528310 * x12 - 549780 * x13 + 479220 * x14 + 1198442 * x15 - 37485 * x16 - 3324930 * x17 + 12833072 * x18 - 6168134 * x19 - 135177924 * x20 + 12723116 * x21 + 6476512 * x22 + 311668 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1935780 * x27 + 231336 * x28 + 60690 * x29 - 2639714 * x30 - 24395 * x31 >= 14875;
s.t. c105: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 1078980 * x4 + 479220 * x5 + 4677540 * x6 + 13045 * x7 - 700308 * x8 - 439824 * x9 + 959616 * x10 - 494802 * x11 + 70560 * x12 - 549780 * x13 + 479220 * x14 - 259308 * x15 - 37485 * x16 - 201180 * x17 + 754572 * x18 - 545384 * x19 - 7728924 * x20 + 644616 * x21 + 437262 * x22 - 707 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 - 1935780 * x27 + 231336 * x28 + 60690 * x29 - 140714 * x30 - 24395 * x31 >= 14875;
s.t. c106: 249900 * x1 - 1099560 * x2 + 591430 * x3 + 1421980 * x4 - 2093280 * x5 + 6478290 * x6 + 69045 * x7 - 3272808 * x8 - 439824 * x9 - 498134 * x10 - 494802 * x11 + 2643060 * x12 - 549780 * x13 - 2093280 * x14 + 2313192 * x15 - 37485 * x16 - 5713680 * x17 + 22069572 * x18 - 10467884 * x19 - 235211424 * x20 + 21959616 * x21 + 11094762 * x22 + 550543 * x23 - 35700 * x24 + 121380 * x25 + 119000 * x26 + 636720 * x27 + 231336 * x28 + 60690 * x29 - 4550714 * x30 - 24395 * x31 >= 14875;
s.t. c107: 14700 * x1 - 64680 * x2 + 34790 * x3 + 174440 * x4 - 32340 * x5 + 214620 * x6 + 1385 * x7 - 101724 * x8 - 25872 * x9 + 56448 * x10 - 29106 * x11 + 64680 * x12 - 32340 * x13 - 32340 * x14 + 45276 * x15 - 2205 * x16 - 141540 * x17 + 545916 * x18 - 265552 * x19 - 5807172 * x20 + 539448 * x21 + 276486 * x22 + 12929 * x23 - 2100 * x24 + 7140 * x25 + 7000 * x26 - 53340 * x27 + 13608 * x28 + 3570 * x29 - 112042 * x30 - 1435 * x31 >= 875;
s.t. c108: 291550 * x1 - 1699320 * x2 + 828835 * x3 - 664440 * x4 + 1134840 * x5 + 9781380 * x6 - 20760 * x7 + 2341024 * x8 - 1929228 * x9 - 1129548 * x10 + 172431 * x11 - 1326430 * x12 - 849660 * x13 + 1134840 * x14 - 1211476 * x15 + 112455 * x16 + 3617040 * x17 - 13624366 * x18 + 6227452 * x19 + 148710072 * x20 - 13586048 * x21 - 7429436 * x22 - 299229 * x23 + 107100 * x24 - 364140 * x25 + 476000 * x26 + 3234840 * x27 - 402458 * x28 - 182070 * x29 + 2832942 * x30 + 73185 * x31 >= 14875;
s.t. c109: 291550 * x1 - 1699320 * x2 + 828835 * x3 + 2251060 * x4 + 1134840 * x5 + 5408130 * x6 - 5885 * x7 - 2323776 * x8 + 111622 * x9 + 3826802 * x10 - 2451519 * x11 + 131320 * x12 - 849660 * x13 + 1134840 * x14 - 1503026 * x15 + 112455 * x16 + 701540 * x17 - 2253916 * x18 + 979552 * x19 + 29757672 * x20 - 2798698 * x21 - 1889986 * x22 - 7679 * x23 + 107100 * x24 - 364140 * x25 + 476000 * x26 + 3234840 * x27 + 180642 * x28 - 182070 * x29 + 500542 * x30 + 73185 * x31 >= 14875;
s.t. c110: 41650 * x1 + 149940 * x2 + 70805 * x3 + 980 * x4 - 182280 * x5 - 357210 * x6 + 2795 * x7 - 153958 * x8 + 59976 * x9 + 1666 * x10 + 67473 * x11 + 107310 * x12 + 74970 * x13 - 182280 * x14 + 152292 * x15 - 37485 * x16 - 398930 * x17 + 1463672 * x18 - 693084 * x19 - 16458624 * x20 + 1478666 * x21 + 875112 * x22 + 19068 * x23 - 35700 * x24 + 121380 * x25 - 89250 * x26 - 1274280 * x27 + 106386 * x28 + 60690 * x29 - 298914 * x30 - 24395 * x31 >= 2125;
s.t. c111: 47600 * x1 - 828240 * x2 + 506345 * x3 + 420420 * x4 - 729120 * x5 + 1516410 * x6 + 17555 * x7 - 3239782 * x8 + 311304 * x9 + 2130814 * x10 - 854658 * x11 + 2386790 * x12 - 788970 * x13 - 3561320 * x14 + 1817018 * x15 + 204085 * x16 - 3767470 * x17 + 15196188 * x18 - 7294336 * x19 - 162938496 * x20 + 15006264 * x21 + 8129548 * x22 + 314272 * x23 - 142800 * x24 + 485520 * x25 - 119000 * x26 - 5097120 * x27 + 675444 * x28 + 76160 * x29 - 3099656 * x30 - 97580 * x31 >= 2125;
s.t. c112: 47600 * x1 - 828240 * x2 + 506345 * x3 + 836920 * x4 - 729120 * x5 + 1516410 * x6 + 17555 * x7 - 2531732 * x8 - 63546 * x9 + 714714 * x10 - 833 * x11 + 1678740 * x12 - 414120 * x13 - 729120 * x14 + 1608768 * x15 - 149940 * x16 - 4392220 * x17 + 16612288 * x18 - 8044036 * x19 - 179931696 * x20 + 16588964 * x21 + 8962548 * x22 + 355922 * x23 - 142800 * x24 + 485520 * x25 - 119000 * x26 - 5097120 * x27 + 508844 * x28 + 242760 * x29 - 3432856 * x30 - 97580 * x31 >= 2125;
s.t. c113: 83300 * x1 - 199920 * x2 + 141610 * x3 + 340060 * x4 - 276360 * x5 + 498330 * x6 + 5965 * x7 - 944426 * x8 + 69972 * x9 + 578102 * x10 - 202419 * x11 + 501270 * x12 - 99960 * x13 - 276360 * x14 + 366324 * x15 - 74970 * x16 - 1340710 * x17 + 5059684 * x18 - 2446598 * x19 - 54977328 * x20 + 5014702 * x21 + 2766414 * x22 + 92421 * x23 - 71400 * x24 + 242760 * x25 - 95200 * x26 - 2636760 * x27 + 287742 * x28 + 121380 * x29 - 1032108 * x30 - 48790 * x31 >= 2975;
s.t. c114: 83300 * x1 - 149940 * x2 + 95795 * x3 + 121520 * x4 + 138180 * x5 + 812910 * x6 - 1495 * x7 - 81732 * x8 - 51646 * x9 + 381514 * x10 - 292383 * x11 - 104860 * x12 - 74970 * x13 + 138180 * x14 - 299782 * x15 + 37485 * x16 + 441280 * x17 - 1605212 * x18 + 769314 * x19 + 18142404 * x20 - 1670186 * x21 - 979202 * x22 - 23303 * x23 + 35700 * x24 - 121380 * x25 + 89250 * x26 + 1318380 * x27 - 56406 * x28 - 60690 * x29 + 332794 * x30 + 24395 * x31 >= 2975;
s.t. c115: 83300 * x1 - 149940 * x2 + 95795 * x3 + 224420 * x4 + 241080 * x5 + 915810 * x6 - 2545 * x7 - 270382 * x8 - 51646 * x9 + 381514 * x10 - 292383 * x11 + 83790 * x12 - 74970 * x13 + 241080 * x14 - 111132 * x15 + 37485 * x16 + 37030 * x17 - 42112 * x18 + 41664 * x19 + 1751904 * x20 - 107086 * x21 - 197652 * x22 + 17122 * x23 + 35700 * x24 - 121380 * x25 + 89250 * x26 + 1215480 * x27 - 56406 * x28 - 60690 * x29 + 9394 * x30 + 24395 * x31 >= 2975;
s.t. c116: 83300 * x1 - 149940 * x2 + 95795 * x3 + 224420 * x4 + 241080 * x5 + 915810 * x6 - 2545 * x7 + 196098 * x8 - 109956 * x9 + 31654 * x10 - 29988 * x11 - 382690 * x12 - 16660 * x13 + 940800 * x14 - 402682 * x15 - 49980 * x16 + 286930 * x17 - 1358252 * x18 + 549794 * x19 + 14046984 * x20 - 1364916 * x21 - 739102 * x22 + 21287 * x23 + 35700 * x24 - 121380 * x25 + 89250 * x26 + 1215480 * x27 - 114716 * x28 - 2380 * x29 + 267624 * x30 + 24395 * x31 >= 2975;
s.t. c117: 1374450 * x1 - 1049580 * x2 + 1586865 * x3 + 5603640 * x4 + 2929710 * x5 + 11651220 * x6 + 6060 * x7 - 15886094 * x8 + 579768 * x9 + 9526188 * x10 - 5595261 * x11 + 2801330 * x12 - 524790 * x13 + 7302960 * x14 + 1986656 * x15 - 987105 * x16 - 10859240 * x17 + 42638246 * x18 - 19721562 * x19 - 435754032 * x20 + 42366688 * x21 + 18087916 * x22 + 1023449 * x23 + 101150 * x24 + 1113840 * x25 + 357000 * x26 - 3176040 * x27 + 1385398 * x28 + 556920 * x29 - 8501752 * x30 - 52360 * x31 >= 44625;
s.t. c118: 1374450 * x1 - 1049580 * x2 + 1586865 * x3 + 5603640 * x4 + 7302960 * x5 + 11651220 * x6 + 6060 * x7 - 11512844 * x8 + 579768 * x9 + 9526188 * x10 - 5595261 * x11 - 5945170 * x12 - 524790 * x13 + 7302960 * x14 - 6759844 * x15 - 987105 * x16 + 1635760 * x17 - 8591254 * x18 + 2769438 * x19 + 74041968 * x20 - 8862812 * x21 - 3153584 * x22 - 226051 * x23 + 101150 * x24 + 1113840 * x25 + 357000 * x26 - 3176040 * x27 + 1385398 * x28 + 556920 * x29 + 1494248 * x30 - 52360 * x31 >= 44625;
s.t. c119: 1374450 * x1 - 1049580 * x2 + 1586865 * x3 + 5603640 * x4 + 7302960 * x5 + 11651220 * x6 + 6060 * x7 - 11512844 * x8 + 579768 * x9 + 9526188 * x10 - 5595261 * x11 - 1571920 * x12 - 524790 * x13 + 7302960 * x14 + 1986656 * x15 - 987105 * x16 - 10859240 * x17 + 38264996 * x18 - 19721562 * x19 - 435754032 * x20 + 42366688 * x21 + 18087916 * x22 + 1023449 * x23 + 101150 * x24 + 1113840 * x25 + 357000 * x26 - 3176040 * x27 + 1385398 * x28 + 556920 * x29 - 8501752 * x30 - 52360 * x31 >= 44625;
s.t. c120: 1374450 * x1 - 1049580 * x2 + 1586865 * x3 + 5603640 * x4 + 7302960 * x5 + 11651220 * x6 + 6060 * x7 - 7139594 * x8 + 579768 * x9 + 9526188 * x10 - 5595261 * x11 - 5945170 * x12 - 524790 * x13 + 7302960 * x14 - 6759844 * x15 - 987105 * x16 + 1635760 * x17 - 4218004 * x18 + 2769438 * x19 + 74041968 * x20 - 8862812 * x21 - 3153584 * x22 - 226051 * x23 + 101150 * x24 + 1113840 * x25 + 357000 * x26 - 3176040 * x27 + 1385398 * x28 + 556920 * x29 + 1494248 * x30 - 52360 * x31 >= 44625;
s.t. c121: 1374450 * x1 - 1049580 * x2 + 1586865 * x3 + 5603640 * x4 + 7302960 * x5 + 11651220 * x6 + 6060 * x7 - 7139594 * x8 + 579768 * x9 + 9526188 * x10 - 5595261 * x11 - 1571920 * x12 - 524790 * x13 + 7302960 * x14 - 6759844 * x15 - 987105 * x16 + 1635760 * x17 - 8591254 * x18 + 2769438 * x19 + 74041968 * x20 - 8862812 * x21 - 3153584 * x22 - 226051 * x23 + 101150 * x24 + 1113840 * x25 + 357000 * x26 - 3176040 * x27 + 1385398 * x28 + 556920 * x29 + 1494248 * x30 - 52360 * x31 >= 44625;
s.t. c122: 1499400 * x1 - 11845260 * x2 + 6172530 * x3 + 3181080 * x4 + 3081120 * x5 + 47513340 * x6 - 30930 * x7 - 4112668 * x8 - 6487404 * x9 + 5407836 * x10 - 4018392 * x11 - 2114840 * x12 - 3298680 * x13 + 17075520 * x14 - 4793768 * x15 - 662235 * x16 - 1307530 * x17 + 4663162 * x18 - 3453114 * x19 - 36271704 * x20 + 3770186 * x21 + 154952 * x22 + 443128 * x23 + 827050 * x24 - 1645770 * x25 + 2588250 * x26 + 16668120 * x27 - 752794 * x28 - 385560 * x29 - 1174544 * x30 + 395080 * x31 >= 44625;
s.t. c123: 208250 * x1 - 399840 * x2 + 262395 * x3 + 395920 * x4 - 170520 * x5 + 1128960 * x6 + 4630 * x7 - 973532 * x8 - 9996 * x9 + 673064 * x10 - 292383 * x11 + 1020180 * x12 - 374850 * x13 - 2269680 * x14 + 825258 * x15 + 299880 * x16 - 969920 * x17 + 3968048 * x18 - 1870806 * x19 - 41842416 * x20 + 3903074 * x21 + 2157288 * x22 + 88662 * x23 - 89250 * x24 + 128520 * x25 - 35700 * x26 - 1371720 * x27 + 193494 * x28 - 110670 * x29 - 812826 * x30 - 17255 * x31 >= 5950;
s.t. c124: 1624350 * x1 - 1024590 * x2 + 1511895 * x3 + 7167720 * x4 + 5018580 * x5 + 11316060 * x6 + 4380 * x7 - 9412312 * x8 + 1339464 * x9 + 12185124 * x10 - 7239603 * x11 - 2902760 * x12 - 74970 * x13 + 10266480 * x14 - 6271412 * x15 - 1336965 * x16 - 1143520 * x17 + 3317608 * x18 - 2083326 * x19 - 36389136 * x20 + 2194724 * x21 + 999068 * x22 + 51877 * x23 + 184450 * x24 + 539070 * x25 + 357000 * x26 - 2740920 * x27 + 1661954 * x28 + 706860 * x29 - 679196 * x30 - 44030 * x31 >= 44625;
s.t. c125: 583100 * x1 - 3648540 * x2 + 1886745 * x3 + 1135820 * x4 - 1346520 * x5 + 12073110 * x6 + 26405 * x7 - 5839722 * x8 - 1209516 * x9 + 3680194 * x10 - 1829268 * x11 + 4253690 * x12 - 2115820 * x13 - 4845120 * x14 + 3034178 * x15 + 99960 * x16 - 6649370 * x17 + 26861548 * x18 - 12868506 * x19 - 283136616 * x20 + 26455044 * x21 + 13970558 * x22 + 331737 * x23 - 321300 * x24 + 1092420 * x25 + 29750 * x26 - 11762520 * x27 + 1498924 * x28 + 254660 * x29 - 5428976 * x30 - 219555 * x31 >= 14875;
s.t. c126: 583100 * x1 - 3648540 * x2 + 1886745 * x3 + 1650320 * x4 - 832020 * x5 + 12587610 * x6 + 21155 * x7 - 4450572 * x8 - 1501066 * x9 + 1930894 * x10 - 517293 * x11 + 2864540 * x12 - 1824270 * x13 - 832020 * x14 + 2519678 * x15 - 337365 * x16 - 7421120 * x17 + 28096348 * x18 - 13966106 * x19 - 303613716 * x20 + 27981394 * x21 + 15171058 * x22 + 554687 * x23 - 321300 * x24 + 1092420 * x25 + 29750 * x26 - 12277020 * x27 + 1207374 * x28 + 546210 * x29 - 5754826 * x30 - 219555 * x31 >= 14875;
s.t. c127: 583100 * x1 - 3398640 * x2 + 1657670 * x3 + 557620 * x4 + 1240680 * x5 + 14160510 * x6 - 16145 * x7 - 137102 * x8 - 2109156 * x9 + 947954 * x10 - 967113 * x11 - 166110 * x12 - 1699320 * x13 + 1240680 * x14 - 810852 * x15 + 224910 * x16 + 1488830 * x17 - 5228132 * x18 + 2113454 * x19 + 61984944 * x20 - 5443046 * x21 - 3557022 * x22 - 23933 * x23 + 214200 * x24 - 728280 * x25 + 952000 * x26 + 7498680 * x27 - 513366 * x28 - 364140 * x29 + 1069684 * x30 + 146370 * x31 >= 14875;
s.t. c128: 3873450 * x1 - 8546580 * x2 + 2836365 * x3 + 18245640 * x4 + 17445960 * x5 + 21794220 * x6 + 4560 * x7 - 35439544 * x8 + 4578168 * x9 + 31017588 * x10 - 18590061 * x11 - 386120 * x12 + 974610 * x13 + 27941760 * x14 - 6948494 * x15 - 3548580 * x16 - 15482740 * x17 + 59835496 * x18 - 27544062 * x19 - 603754032 * x20 + 57648038 * x21 + 23000516 * x22 + 1423324 * x23 + 577150 * x24 + 1827840 * x25 + 714000 * x26 - 4394040 * x27 + 4015298 * x28 + 1788570 * x29 - 11790002 * x30 - 67235 * x31 >= 89250;
s.t. c129: 101150 * x1 - 385560 * x2 + 219555 * x3 + 980 * x4 - 182280 * x5 + 1606290 * x6 + 2795 * x7 - 362208 * x8 - 267274 * x9 + 1666 * x10 + 67473 * x11 + 315560 * x12 - 192780 * x13 - 182280 * x14 + 360542 * x15 - 37485 * x16 - 845180 * x17 + 3189172 * x18 - 1585584 * x19 - 34665624 * x20 + 3204166 * x21 + 1737862 * x22 + 63693 * x23 - 35700 * x24 + 121380 * x25 - 1274280 * x27 + 106386 * x28 + 60690 * x29 - 655914 * x30 - 24395 * x31 >= 2125;
s.t. c130: 101150 * x1 - 385560 * x2 + 219555 * x3 + 980 * x4 - 182280 * x5 + 1606290 * x6 + 2795 * x7 - 153958 * x8 - 475524 * x9 + 1666 * x10 + 67473 * x11 + 107310 * x12 + 15470 * x13 - 182280 * x14 + 152292 * x15 - 37485 * x16 - 398930 * x17 + 1463672 * x18 - 574084 * x19 - 16458624 * x20 + 1478666 * x21 + 875112 * x22 + 19068 * x23 - 35700 * x24 + 121380 * x25 - 1274280 * x27 + 106386 * x28 + 60690 * x29 - 298914 * x30 - 24395 * x31 >= 2125;
s.t. c131: 101150 * x1 - 385560 * x2 + 219555 * x3 + 980 * x4 - 182280 * x5 + 2231040 * x6 + 2795 * x7 - 153958 * x8 - 267274 * x9 + 1666 * x10 + 67473 * x11 + 107310 * x12 - 192780 * x13 - 182280 * x14 + 152292 * x15 - 37485 * x16 - 398930 * x17 + 1463672 * x18 - 782334 * x19 - 16458624 * x20 + 1478666 * x21 + 875112 * x22 + 19068 * x23 - 35700 * x24 + 121380 * x25 - 1274280 * x27 + 106386 * x28 + 60690 * x29 - 298914 * x30 - 24395 * x31 >= 2125;
s.t. c132: 101150 * x1 - 385560 * x2 + 219555 * x3 + 417480 * x4 - 182280 * x5 + 981540 * x6 + 4920 * x7 - 1028608 * x8 + 24276 * x9 + 709716 * x10 - 307377 * x11 + 523810 * x12 - 192780 * x13 - 182280 * x14 + 318892 * x15 - 37485 * x16 - 1261680 * x17 + 4813522 * x18 - 2335284 * x19 - 51658824 * x20 + 4745216 * x21 + 2529212 * x22 + 105343 * x23 - 35700 * x24 + 121380 * x25 - 1274280 * x27 + 189686 * x28 + 60690 * x29 - 989114 * x30 - 24395 * x31 >= 2125;
s.t. c133: 101150 * x1 - 177310 * x2 + 219555 * x3 + 980 * x4 - 182280 * x5 + 1606290 * x6 + 2795 * x7 - 153958 * x8 - 475524 * x9 + 1666 * x10 + 67473 * x11 + 107310 * x12 - 192780 * x13 - 182280 * x14 + 152292 * x15 - 37485 * x16 - 398930 * x17 + 1463672 * x18 - 782334 * x19 - 16458624 * x20 + 1478666 * x21 + 875112 * x22 + 19068 * x23 - 35700 * x24 + 121380 * x25 - 1274280 * x27 + 106386 * x28 + 60690 * x29 - 298914 * x30 - 24395 * x31 >= 2125;
s.t. c134: 101150 * x1 - 177310 * x2 + 219555 * x3 + 980 * x4 - 182280 * x5 + 1606290 * x6 + 2795 * x7 - 153958 * x8 - 267274 * x9 + 1666 * x10 + 67473 * x11 + 107310 * x12 - 192780 * x13 - 182280 * x14 + 152292 * x15 - 37485 * x16 - 398930 * x17 + 1463672 * x18 - 574084 * x19 - 16458624 * x20 + 1478666 * x21 + 875112 * x22 + 19068 * x23 - 35700 * x24 + 121380 * x25 - 1274280 * x27 + 106386 * x28 + 60690 * x29 - 298914 * x30 - 24395 * x31 >= 2125;
s.t. c135: 101150 * x1 - 177310 * x2 + 219555 * x3 + 980 * x4 - 182280 * x5 + 1606290 * x6 + 2795 * x7 - 153958 * x8 - 267274 * x9 + 1666 * x10 + 67473 * x11 + 107310 * x12 + 15470 * x13 - 182280 * x14 + 152292 * x15 - 37485 * x16 - 398930 * x17 + 1463672 * x18 - 782334 * x19 - 16458624 * x20 + 1478666 * x21 + 875112 * x22 + 19068 * x23 - 35700 * x24 + 121380 * x25 - 1274280 * x27 + 106386 * x28 + 60690 * x29 - 298914 * x30 - 24395 * x31 >= 2125;
s.t. c136: 174930 * x1 - 1149540 * x2 + 587265 * x3 + 135240 * x4 + 35280 * x5 + 4083660 * x6 + 3720 * x7 - 1257536 * x8 - 479808 * x9 + 1069572 * x10 - 502299 * x11 + 977648 * x12 - 784686 * x13 - 2483712 * x14 + 642782 * x15 + 439824 * x16 - 878780 * x17 + 3942176 * x18 - 1936662 * x19 - 41696592 * x20 + 3830554 * x21 + 2260972 * x22 + 172844 * x23 - 55930 * x24 + 178500 * x25 + 114240 * x26 - 1477560 * x27 + 290122 * x28 - 120666 * x29 - 836542 * x30 - 25585 * x31 >= 3570;
s.t. c137: 174930 * x1 - 1149540 * x2 + 587265 * x3 + 382200 * x4 - 67620 * x5 + 4330620 * x6 + 4770 * x7 - 940604 * x8 - 619752 * x9 + 229908 * x10 - 47481 * x11 + 660716 * x12 - 644742 * x13 - 557424 * x14 + 745682 * x15 + 54978 * x16 - 1249220 * x17 + 4884740 * x18 - 2463510 * x19 - 51525600 * x20 + 4913062 * x21 + 2487352 * x22 + 104930 * x23 - 55930 * x24 + 178500 * x25 + 114240 * x26 - 1724520 * x27 + 150178 * x28 + 19278 * x29 - 992950 * x30 - 25585 * x31 >= 3570;
s.t. c138: 874650 * x1 - 2698920 * x2 + 1162035 * x3 - 1575840 * x4 + 2722440 * x5 + 15117480 * x6 - 49710 * x7 + 5577964 * x8 - 3228708 * x9 - 2678928 * x10 + 397341 * x11 - 6137740 * x12 + 224910 * x13 + 14617680 * x14 - 5872846 * x15 - 999600 * x16 + 8470840 * x17 - 30973516 * x18 + 14272902 * x19 + 336437472 * x20 - 30885218 * x21 - 17490956 * x22 - 547204 * x23 + 172550 * x24 - 1577940 * x25 + 1285200 * x26 + 16212840 * x27 - 1666238 * x28 - 89250 * x29 + 6280442 * x30 + 317135 * x31 >= 17850;
s.t. c139: 874650 * x1 - 2698920 * x2 + 1162035 * x3 - 1575840 * x4 + 2722440 * x5 + 15117480 * x6 - 49710 * x7 + 5577964 * x8 - 3228708 * x9 - 2678928 * x10 + 397341 * x11 - 190120 * x12 - 2923830 * x13 - 9172800 * x14 + 74774 * x15 + 1974210 * x16 + 8470840 * x17 - 36921136 * x18 + 17421642 * x19 + 407808912 * x20 - 36832838 * x21 - 20289836 * x22 - 722134 * x23 + 172550 * x24 - 1577940 * x25 + 1285200 * x26 + 16212840 * x27 - 1666238 * x28 - 1488690 * x29 + 7679882 * x30 + 317135 * x31 >= 17850;
s.t. c140: 874650 * x1 - 2698920 * x2 + 1162035 * x3 - 1575840 * x4 + 2722440 * x5 + 15117480 * x6 - 49710 * x7 + 11525584 * x8 - 6377448 * x9 - 14574168 * x10 + 7569471 * x11 - 190120 * x12 - 2923830 * x13 - 9172800 * x14 + 4273094 * x15 + 1974210 * x16 + 8470840 * x17 - 30973516 * x18 + 14272902 * x19 + 336437472 * x20 - 29485778 * x21 - 16091516 * x22 - 547204 * x23 + 172550 * x24 - 1577940 * x25 + 1285200 * x26 + 16212840 * x27 - 3065678 * x28 - 1488690 * x29 + 6280442 * x30 + 317135 * x31 >= 17850;
s.t. c141: 1541050 * x1 - 6530720 * x2 + 3661035 * x3 + 4617760 * x4 - 1746360 * x5 + 23643480 * x6 + 50290 * x7 - 12901896 * x8 - 1279488 * x9 + 11348792 * x10 - 6125049 * x11 + 4761820 * x12 - 2973810 * x13 + 1752240 * x14 + 678454 * x15 - 1199520 * x16 - 13719160 * x17 + 51990064 * x18 - 25685758 * x19 - 557989488 * x20 + 50628942 * x21 + 27214544 * x22 + 997066 * x23 - 517650 * x24 + 2051560 * x25 + 59500 * x26 - 22872360 * x27 + 3412682 * x28 + 1317330 * x29 - 10536218 * x30 - 426615 * x31 >= 29750;
s.t. c142: 1541050 * x1 - 6530720 * x2 + 3661035 * x3 + 4617760 * x4 - 1746360 * x5 + 23643480 * x6 + 50290 * x7 - 11152596 * x8 - 1862588 * x9 + 7850192 * x10 - 3501099 * x11 + 4761820 * x12 - 2973810 * x13 + 1752240 * x14 + 2427754 * x15 - 1199520 * x16 - 13719160 * x17 + 53739364 * x18 - 26268858 * x19 - 578981088 * x20 + 52961342 * x21 + 28963844 * x22 + 705516 * x23 - 517650 * x24 + 2051560 * x25 + 59500 * x26 - 22872360 * x27 + 2829582 * x28 + 1317330 * x29 - 11119318 * x30 - 426615 * x31 >= 29750;
s.t. c143: 1541050 * x1 - 6530720 * x2 + 3661035 * x3 + 4617760 * x4 - 1746360 * x5 + 23643480 * x6 + 50290 * x7 - 11152596 * x8 - 1862588 * x9 + 7850192 * x10 - 3501099 * x11 + 6511120 * x12 - 3556910 * x13 - 5244960 * x14 + 4177054 * x15 - 324870 * x16 - 13719160 * x17 + 51990064 * x18 - 25685758 * x19 - 557989488 * x20 + 51212042 * x21 + 27797644 * x22 + 997066 * x23 - 517650 * x24 + 2051560 * x25 + 59500 * x26 - 22872360 * x27 + 2829582 * x28 + 734230 * x29 - 10536218 * x30 - 426615 * x31 >= 29750;
s.t. c144: 2374050 * x1 - 11445420 * x2 + 6534885 * x3 + 129360 * x4 + 2178540 * x5 + 35315280 * x6 + 11940 * x7 - 5744956 * x8 - 5827668 * x9 + 219912 * x10 + 159936 * x11 + 3086020 * x12 - 3973410 * x13 - 3069360 * x14 + 4650394 * x15 + 237405 * x16 - 7379260 * x17 + 28758604 * x18 - 14607138 * x19 - 304143168 * x20 + 29280062 * x21 + 14174384 * x22 + 675451 * x23 - 190400 * x24 + 938910 * x25 + 981750 * x26 - 4698960 * x27 + 417452 * x28 + 32130 * x29 - 5892698 * x30 - 81515 * x31 >= 44625;
s.t. c145: 166600 * x1 - 899640 * x2 + 449820 * x3 + 224420 * x4 + 241080 * x5 + 3664710 * x6 - 2545 * x7 - 270382 * x8 - 509796 * x9 + 381514 * x10 - 292383 * x11 + 83790 * x12 - 449820 * x13 + 241080 * x14 - 111132 * x15 + 37485 * x16 + 37030 * x17 - 42112 * x18 - 83286 * x19 + 1751904 * x20 - 107086 * x21 - 197652 * x22 + 17122 * x23 + 35700 * x24 - 121380 * x25 + 214200 * x26 + 1215480 * x27 - 56406 * x28 - 60690 * x29 + 9394 * x30 + 24395 * x31 >= 2975;
s.t. c146: 166600 * x1 - 899640 * x2 + 449820 * x3 + 1390620 * x4 + 241080 * x5 + 3664710 * x6 - 2545 * x7 - 1261652 * x8 + 14994 * x9 + 2364054 * x10 - 1487738 * x11 + 83790 * x12 - 449820 * x13 + 241080 * x14 - 810852 * x15 + 37485 * x16 + 328580 * x17 - 1033382 * x18 + 441504 * x19 + 13647144 * x20 - 1331596 * x21 - 897372 * x22 - 12033 * x23 + 35700 * x24 - 121380 * x25 + 214200 * x26 + 1215480 * x27 + 176834 * x28 - 60690 * x29 + 242634 * x30 + 24395 * x31 >= 2975;
s.t. c147: 874650 * x1 - 2349060 * x2 + 2153305 * x3 + 564480 * x4 - 35280 * x5 + 11660040 * x6 + 3420 * x7 - 1214808 * x8 - 1689324 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 - 1174530 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2738134 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 - 35700 * x24 + 121380 * x25 + 327250 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1022714 * x30 - 24395 * x31 >= 14875;
s.t. c148: 916300 * x1 - 4531520 * x2 + 2140810 * x3 - 203840 * x4 + 2928240 * x5 + 19321680 * x6 - 45860 * x7 + 2868264 * x8 - 3312008 * x9 - 346528 * x10 - 914634 * x11 - 1911980 * x12 - 2265760 * x13 + 2928240 * x14 - 2521736 * x15 + 195755 * x16 + 5746440 * x17 - 20866776 * x18 + 9393972 * x19 + 230385792 * x20 - 21070028 * x21 - 11912796 * x22 - 158144 * x23 + 464100 * x24 - 2161040 * x25 + 1785000 * x26 + 23004240 * x27 - 1957788 * x28 - 1080520 * x29 + 4042612 * x30 + 462910 * x31 >= 14875;
s.t. c149: 916300 * x1 - 4531520 * x2 + 2140810 * x3 - 203840 * x4 + 2928240 * x5 + 19321680 * x6 - 45860 * x7 + 2868264 * x8 - 3312008 * x9 - 346528 * x10 - 914634 * x11 - 162680 * x12 - 2848860 * x13 - 4068960 * x14 - 772436 * x15 + 1799280 * x16 + 5746440 * x17 - 22616076 * x18 + 9977072 * x19 + 251377392 * x20 - 22819328 * x21 - 13078996 * x22 - 595469 * x23 + 464100 * x24 - 2161040 * x25 + 1785000 * x26 + 23004240 * x27 - 1957788 * x28 - 1663620 * x29 + 4625712 * x30 + 462910 * x31 >= 14875;
s.t. c150: 916300 * x1 - 4531520 * x2 + 2140810 * x3 - 203840 * x4 + 2928240 * x5 + 19321680 * x6 - 45860 * x7 + 4617564 * x8 - 3895108 * x9 - 3845128 * x10 + 980441 * x11 - 162680 * x12 - 2848860 * x13 - 4068960 * x14 + 976864 * x15 + 1799280 * x16 + 5746440 * x17 - 20866776 * x18 + 9393972 * x19 + 230385792 * x20 - 20486928 * x21 - 11329696 * x22 - 158144 * x23 + 464100 * x24 - 2161040 * x25 + 1785000 * x26 + 23004240 * x27 - 2540888 * x28 - 1663620 * x29 + 4042612 * x30 + 462910 * x31 >= 14875;
s.t. c151: 999600 * x1 - 4398240 * x2 + 2365720 * x3 + 2257920 * x4 - 141120 * x5 + 16652160 * x6 + 13680 * x7 - 6608532 * x8 - 1176196 * x9 + 7337064 * x10 - 3874283 * x11 + 2340240 * x12 - 2199120 * x13 - 141120 * x14 - 728532 * x15 - 149940 * x16 - 3965220 * x17 + 15821988 * x18 - 7870436 * x19 - 161922096 * x20 + 14799064 * x21 + 7276248 * x22 + 313222 * x23 - 142800 * x24 + 485520 * x25 + 476000 * x26 - 5685120 * x27 + 1508444 * x28 + 242760 * x29 - 3091256 * x30 - 97580 * x31 >= 14875;
s.t. c152: 999600 * x1 - 4398240 * x2 + 2365720 * x3 + 2257920 * x4 - 141120 * x5 + 16652160 * x6 + 13680 * x7 - 4859232 * x8 - 1759296 * x9 + 3838464 * x10 - 1979208 * x11 + 2340240 * x12 - 2199120 * x13 - 141120 * x14 + 1020768 * x15 - 149940 * x16 - 3965220 * x17 + 17571288 * x18 - 8453536 * x19 - 182913696 * x20 + 17131464 * x21 + 9025548 * x22 + 750547 * x23 - 142800 * x24 + 485520 * x25 + 476000 * x26 - 5685120 * x27 + 925344 * x28 + 242760 * x29 - 3674356 * x30 - 97580 * x31 >= 14875;
s.t. c153: 999600 * x1 - 4398240 * x2 + 2365720 * x3 + 2257920 * x4 - 141120 * x5 + 16652160 * x6 + 13680 * x7 - 4859232 * x8 - 1759296 * x9 + 3838464 * x10 - 1979208 * x11 + 4089540 * x12 - 2782220 * x13 - 7138320 * x14 + 2770068 * x15 + 1453585 * x16 - 3965220 * x17 + 15821988 * x18 - 7870436 * x19 - 161922096 * x20 + 15382164 * x21 + 7859348 * x22 + 313222 * x23 - 142800 * x24 + 485520 * x25 + 476000 * x26 - 5685120 * x27 + 925344 * x28 - 340340 * x29 - 3091256 * x30 - 97580 * x31 >= 14875;
s.t. c154: 6122550 * x1 - 3948420 * x2 + 2161635 * x3 + 32322360 * x4 + 5633040 * x5 + 18777780 * x6 - 10560 * x7 - 34027756 * x8 + 11415432 * x9 + 54948012 * x10 - 33389139 * x11 - 12363680 * x12 + 5022990 * x13 + 54613440 * x14 - 28792106 * x15 - 6697320 * x16 - 3011260 * x17 + 8953504 * x18 - 3745938 * x19 - 68245968 * x20 + 3477362 * x21 - 3350116 * x22 + 176176 * x23 + 1326850 * x24 + 1028160 * x25 + 714000 * x26 - 477960 * x27 + 6504302 * x28 + 3138030 * x29 - 1362998 * x30 + 7735 * x31 >= 89250;
s.t. c155: 154700 * x1 - 442680 * x2 + 286790 * x3 + 2940 * x4 - 546840 * x5 + 534870 * x6 + 12635 * x7 - 1503124 * x8 - 87822 * x9 + 4998 * x10 + 306544 * x11 + 1154930 * x12 - 221340 * x13 - 546840 * x14 + 1289876 * x15 - 112455 * x16 - 3130540 * x17 + 11798766 * x18 - 5708752 * x19 - 128272872 * x20 + 11843748 * x21 + 6433336 * x22 + 250579 * x23 - 107100 * x24 + 364140 * x25 - 119000 * x26 - 3822840 * x27 + 319158 * x28 + 182070 * x29 - 2443742 * x30 - 73185 * x31 >= 2125;
s.t. c156: 154700 * x1 - 442680 * x2 + 286790 * x3 + 835940 * x4 - 546840 * x5 + 534870 * x6 + 12635 * x7 - 2211174 * x8 + 287028 * x9 + 1421098 * x10 - 547281 * x11 + 1154930 * x12 - 221340 * x13 - 546840 * x14 + 790076 * x15 - 112455 * x16 - 2922290 * x17 + 11090716 * x18 - 5333902 * x19 - 119776272 * x20 + 10969098 * x21 + 5933536 * x22 + 229754 * x23 - 107100 * x24 + 364140 * x25 - 119000 * x26 - 3822840 * x27 + 485758 * x28 + 182070 * x29 - 2277142 * x30 - 73185 * x31 >= 2125;
s.t. c157: 1082900 * x1 + 149940 * x2 + 487305 * x3 + 564480 * x4 - 35280 * x5 - 3333960 * x6 + 3420 * x7 - 1214808 * x8 + 809676 * x9 + 959616 * x10 - 494802 * x11 + 585060 * x12 + 74970 * x13 - 35280 * x14 + 255192 * x15 - 37485 * x16 - 1303680 * x17 + 5017572 * x18 - 2321634 * x19 - 53225424 * x20 + 4907616 * x21 + 2568762 * x22 + 109543 * x23 - 35700 * x24 + 121380 * x25 - 89250 * x26 - 1421280 * x27 + 231336 * x28 + 60690 * x29 - 1022714 * x30 - 24395 * x31 >= 14875;
s.t. c158: 3373650 * x1 - 15343860 * x2 + 6984705 * x3 + 6032880 * x4 + 6182820 * x5 + 72606240 * x6 - 108480 * x7 - 227948 * x8 - 9386244 * x9 + 10255896 * x10 - 8841462 * x11 + 3446660 * x12 - 11170530 * x13 - 9560880 * x14 - 3905398 * x15 + 4710615 * x16 + 12722920 * x17 - 43892968 * x18 + 19177746 * x19 + 509534256 * x20 - 46343654 * x21 - 26334728 * x22 - 210217 * x23 + 1154300 * x24 - 5965470 * x25 + 5801250 * x26 + 56656320 * x27 - 3514784 * x28 - 4294710 * x29 + 8746766 * x30 + 1177505 * x31 >= 44625;
s.t. c159: 1017450 * x1 - 4583880 * x2 + 2818515 * x3 + 7103040 * x4 - 4192440 * x5 + 8116920 * x6 + 100410 * x7 - 22658384 * x8 + 4092648 * x9 + 20571768 * x10 - 9943521 * x11 + 7424480 * x12 - 1167390 * x13 + 4304160 * x14 + 1211966 * x15 - 1924230 * x16 - 23425640 * x17 + 88487756 * x18 - 42555282 * x19 - 951461952 * x20 + 86416918 * x21 + 46248076 * x22 + 1842764 * x23 - 612850 * x24 + 2791740 * x25 - 714000 * x26 - 29308440 * x27 + 4862578 * x28 + 1895670 * x29 - 18108622 * x30 - 561085 * x31 >= 12750;
s.t. c160: 1017450 * x1 - 4583880 * x2 + 2818515 * x3 + 7103040 * x4 - 4192440 * x5 + 8116920 * x6 + 100410 * x7 - 18410084 * x8 + 1843548 * x9 + 12075168 * x10 - 4820571 * x11 + 7424480 * x12 - 1167390 * x13 + 4304160 * x14 + 4210766 * x15 - 1924230 * x16 - 23425640 * x17 + 92736056 * x18 - 44804382 * x19 - 1002441552 * x20 + 91664818 * x21 + 49246876 * x22 + 1967714 * x23 - 612850 * x24 + 2791740 * x25 - 714000 * x26 - 29308440 * x27 + 3862978 * x28 + 1895670 * x29 - 19108222 * x30 - 561085 * x31 >= 12750;
s.t. c161: 1017450 * x1 - 4583880 * x2 + 2818515 * x3 + 7103040 * x4 - 4192440 * x5 + 8116920 * x6 + 100410 * x7 - 18410084 * x8 + 1843548 * x9 + 12075168 * x10 - 4820571 * x11 + 11672780 * x12 - 3416490 * x13 - 12689040 * x14 + 8459066 * x15 + 199920 * x16 - 23425640 * x17 + 88487756 * x18 - 42555282 * x19 - 951461952 * x20 + 87416518 * x21 + 47247676 * x22 + 1842764 * x23 - 612850 * x24 + 2791740 * x25 - 714000 * x26 - 29308440 * x27 + 3862978 * x28 + 896070 * x29 - 18108622 * x30 - 561085 * x31 >= 12750;
s.t. c162: 7122150 * x1 - 24840060 * x2 + 12357555 * x3 + 2769480 * x4 + 18413220 * x5 + 107577540 * x6 - 312330 * x7 + 11569292 * x8 - 14934024 * x9 + 15203916 * x10 - 16176027 * x11 - 3452540 * x12 - 14169330 * x13 - 11324880 * x14 - 17152058 * x15 + 8521590 * x16 + 41917820 * x17 - 152387228 * x18 + 70728966 * x19 + 1698922176 * x20 - 156953734 * x21 - 86504488 * x22 - 1692782 * x23 + 3326050 * x24 - 14515620 * x25 + 10710000 * x26 + 147027720 * x27 - 9949114 * x28 - 9007110 * x29 + 30531886 * x30 + 2831605 * x31 >= 89250;
s.t. c163: 7122150 * x1 - 24840060 * x2 + 12357555 * x3 + 8943480 * x4 + 15840720 * x5 + 113751540 * x6 - 286080 * x7 + 19492592 * x8 - 18432624 * x9 - 5787684 * x10 - 4805577 * x11 - 11375840 * x12 - 10670730 * x13 + 36832320 * x14 - 14579558 * x15 - 1099560 * x16 + 32656820 * x17 - 128823128 * x18 + 57557766 * x19 + 1453196976 * x20 - 129891034 * x21 - 80844988 * x22 - 3390632 * x23 + 3326050 * x24 - 14515620 * x25 + 10710000 * x26 + 140853720 * x27 - 13447714 * x28 - 5508510 * x29 + 26621686 * x30 + 2831605 * x31 >= 89250;
s.t. c164: 2790550 * x1 - 15860320 * x2 + 7701085 * x3 + 2128560 * x4 + 6426840 * x5 + 66302880 * x6 - 87510 * x7 + 885724 * x8 - 10092628 * x9 + 3618552 * x10 - 4325769 * x11 - 745780 * x12 - 8221710 * x13 + 2928240 * x14 - 3629626 * x15 + 1799280 * x16 + 8412040 * x17 - 29929816 * x18 + 12401102 * x19 + 346139472 * x20 - 30891098 * x21 - 18893336 * x22 - 133154 * x23 + 1088850 * x24 - 3993640 * x25 + 4700500 * x26 + 41496840 * x27 - 3032358 * x28 - 2288370 * x29 + 5966842 * x30 + 816935 * x31 >= 29750;
s.t. c165: 4248300 * x1 - 14944020 * x2 + 7347060 * x3 + 2981160 * x4 + 5280240 * x5 + 60408180 * x6 - 65610 * x7 - 1860236 * x8 - 8726508 * x9 + 5067972 * x10 - 4663134 * x11 + 8647520 * x12 - 11845260 * x13 - 29705760 * x14 + 5538764 * x15 + 5610255 * x16 + 6651190 * x17 - 19797526 * x18 + 8023722 * x19 + 241662792 * x20 - 20833778 * x21 - 12315296 * x22 + 22106 * x23 + 136850 * x24 - 3380790 * x25 + 4194750 * x26 + 35289240 * x27 - 2344538 * x28 - 3877020 * x29 + 4028612 * x30 + 700910 * x31 >= 44625;
s.t. c166: 1582700 * x1 - 1799280 * x2 + 712215 * x3 + 1115240 * x4 + 2481360 * x5 + 11452770 * x6 - 47165 * x7 + 891996 * x8 - 94962 * x9 + 6852258 * x10 - 5287051 * x11 - 3247720 * x12 - 899640 * x13 + 2481360 * x14 - 6286504 * x15 + 449820 * x16 + 10474660 * x17 - 38861564 * x18 + 18554508 * x19 + 429847488 * x20 - 39874492 * x21 - 22191344 * x22 - 797566 * x23 + 428400 * x24 - 1456560 * x25 + 1071000 * x26 + 14997360 * x27 - 443632 * x28 - 728280 * x29 + 8136968 * x30 + 292740 * x31 >= 14875;
s.t. c167: 1582700 * x1 - 1799280 * x2 + 712215 * x3 + 4030740 * x4 + 2481360 * x5 + 11452770 * x6 - 47165 * x7 + 5848346 * x8 - 2718912 * x9 - 3060442 * x10 + 689724 * x11 - 8204070 * x12 + 1724310 * x13 + 22306760 * x14 - 7744254 * x15 - 2028355 * x16 + 6101410 * x17 - 28948864 * x18 + 13306608 * x19 + 310895088 * x20 - 28795592 * x21 - 16360344 * x22 - 506016 * x23 + 428400 * x24 - 1456560 * x25 + 1071000 * x26 + 14997360 * x27 - 1609832 * x28 + 437920 * x29 + 5804568 * x30 + 292740 * x31 >= 14875;
s.t. c168: 3290350 * x1 - 5731040 * x2 + 4385745 * x3 - 1142680 * x4 - 9039520 * x5 - 3325140 * x6 + 221780 * x7 - 24569972 * x8 + 39984 * x9 - 1942556 * x10 + 6604857 * x11 + 23567040 * x12 - 4323270 * x13 - 32363520 * x14 + 27970278 * x15 + 599760 * x16 - 45952620 * x17 + 185636948 * x18 - 87071306 * x19 - 2047174416 * x20 + 190020194 * x21 + 103812408 * x22 + 4928462 * x23 - 1957550 * x24 + 6447420 * x25 - 2499000 * x26 - 67496520 * x27 + 5396174 * x28 + 1974210 * x29 - 38603026 * x30 - 1290555 * x31 >= 29750;
s.t. c169: 333200 * x1 - 1299480 * x2 + 733040 * x3 + 1281840 * x4 - 517440 * x5 + 3580920 * x6 + 14460 * x7 - 3123064 * x8 - 19992 * x9 + 2179128 * x10 - 959616 * x11 + 1583680 * x12 - 649740 * x13 - 517440 * x14 + 943936 * x15 - 112455 * x16 - 3793440 * x17 + 14481376 * x18 - 7044772 * x19 - 155289792 * x20 + 14268128 * x21 + 7595546 * x22 + 316869 * x23 - 107100 * x24 + 364140 * x25 + 23800 * x26 - 3852240 * x27 + 577388 * x28 + 182070 * x29 - 2974062 * x30 - 73185 * x31 >= 2975;
s.t. c170: 3373650 * x1 - 15593760 * x2 + 7942655 * x3 + 4210080 * x4 + 4110120 * x5 + 62286840 * x6 - 41430 * x7 - 5416068 * x8 - 8486604 * x9 + 7157136 * x10 - 5330367 * x11 + 4436460 * x12 - 8671530 * x13 - 6385680 * x14 + 882882 * x15 + 2399040 * x16 + 1105720 * x17 - 1072288 * x18 - 900214 * x19 + 38727696 * x20 - 2256814 * x21 - 3441648 * x22 + 347578 * x23 + 410550 * x24 - 2270520 * x25 + 3629500 * x26 + 23136120 * x27 - 1085994 * x28 - 2009910 * x29 + 214606 * x30 + 499205 * x31 >= 29750;
solve;
display x1, 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;
end;