# #************************** # SET UP THE INITIAL DATA * #************************** # Problem : # ********* # A dual quadratic program from Antonio Frangioni (frangio@DI.UniPi.IT) # This is the dual of PRIMALC8.SIF # SIF input: Irv Lustig and Nick Gould, June 1996. # classification QLR2-MN-8-503 # Solution param n := 8; param ip1 := 1 + (8); var x1 >= 0.0 , <= 1.0, :=0; var x2 >= 0.0 , <= 1.0, :=0; var x3 >= 0.0 , <= 1.0, :=0; var x4 >= 0.0 , <= 1.0, :=0; var x5 >= 0.0 , <= 1.0, :=0; var x6 >= 0.0 , <= 1.0, :=0; var x7 >= 0.0 , <= 1.0, :=0; var x8 >= 0.0 , <= 1.0, :=0; minimize obj: 178836.0*0.5 * x1 * x1 + 178836.0*x1 * x2 + 178836.0*x1 * x3 + 179790.0*x1 * x4 + 149678.0*x1 * x5 + 78662.0*x1 * x6 + 462746.0*x1 * x7 - 32271.0*x1 * x8 + 178836.0*0.5 * x2 * x2 + 178836.0*x2 * x3 + 179790.0*x2 * x4 + 149678.0*x2 * x5 + 78662.0*x2 * x6 + 462746.0*x2 * x7 - 32271.0*x2 * x8 + 178836.0*0.5 * x3 * x3 + 179790.0*x3 * x4 + 149678.0*x3 * x5 + 78662.0*x3 * x6 + 462746.0*x3 * x7 - 32271.0*x3 * x8 + 180848.0*0.5 * x4 * x4 + 151248.0*x4 * x5 + 79164.0*x4 * x6 + 461894.0*x4 * x7 - 31137.0*x4 * x8 + 182553.0*0.5 * x5 * x5 + 133438.0*x5 * x6 + 569115.0*x5 * x7 - 41722.0*x5 * x8 + 1323220.0*0.5 * x6 * x6 + 2334540.0*x6 * x7 - 875455.0*x6 * x8 + 5703880.0*0.5 * x7 * x7 - 1509560.0*x7 * x8 + 668378.0*0.5 * x8 * x8 + 0.5890148067*x4 + 32.720735483*x5 + 3879.4127355*x6 + 29480.193955*x7 + 3879.4127355*x8; subject to c1: x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 = 1; subject to c2: 0 <= 1147.0*x1 + 1136.0*x2 + 1137.0*x3 + 1138.0*x4 + 1142.0*x5 + 1144.0*x6 + 1121.0*x7 + 1175.0*x8; subject to c3: 0 <= 1095.0*x1 + 1095.0*x2 + 1095.0*x3 + 1095.0*x4 + 1099.0*x5 + 1059.0*x6 + 928.0*x7 + 1160.0*x8; subject to c4: 0 <= 863.0*x1 + 863.0*x2 + 863.0*x3 + 863.0*x4 + 862.0*x5 + 860.0*x6 + 858.0*x7 + 882.0*x8; subject to c5: 0 <= 394.0*x1 + 394.0*x2 + 394.0*x3 + 394.0*x4 + 398.0*x5 + 333.0*x6 + 305.0*x7 + 411.0*x8; subject to c6: 0 <= 1663.0*x1 + 1661.0*x2 + 1663.0*x3 + 1661.0*x4 + 1663.0*x5 + 1582.0*x6 + 1559.0*x7 + 1680.0*x8; subject to c7: 0 <= 1055.0*x1 + 1055.0*x2 + 1055.0*x3 + 1055.0*x4 + 1055.0*x5 + 958.0*x6 + 952.0*x7 + 1075.0*x8; subject to c8: 0 <= 428.0*x1 + 430.0*x2 + 428.0*x3 + 430.0*x4 + 428.0*x5 + 401.0*x6 + 388.0*x7 + 431.0*x8; subject to c9: 0 <= 523.0*x1 + 523.0*x2 + 534.0*x3 + 534.0*x4 + 534.0*x5 + 531.0*x6 + 502.0*x7 + 532.0*x8; subject to c10: 0 <= 1459.0*x1 + 1459.0*x2 + 1459.0*x3 + 1459.0*x4 + 1465.0*x5 + 1462.0*x6 + 1411.0*x7 + 1495.0*x8; subject to c11: 0 <= 677.0*x1 + 677.0*x2 + 677.0*x3 + 677.0*x4 + 689.0*x5 + 688.0*x6 + 677.0*x7 + 694.0*x8; subject to c12: 0 <= 488.0*x1 + 488.0*x2 + 488.0*x3 + 488.0*x4 + 520.0*x5 + 579.0*x6 + 606.0*x7 + 546.0*x8; subject to c13: 0 <= 324.0*x1 + 311.0*x2 + 311.0*x3 + 311.0*x4 + 311.0*x5 + 299.0*x6 + 265.0*x7 + 341.0*x8; subject to c14: 0 <= 437.0*x1 + 449.0*x2 + 449.0*x3 + 449.0*x4 + 449.0*x5 + 464.0*x6 + 460.0*x7 + 447.0*x8; subject to c15: 0 <= 1257.0*x1 + 1257.0*x2 + 1257.0*x3 + 1257.0*x4 + 1243.0*x5 + 1255.0*x6 + 1206.0*x7 + 1246.0*x8; subject to c16: 0 <= 988.0*x1 + 987.0*x2 + 986.0*x3 + 985.0*x4 + 951.0*x5 + 924.0*x6 + 908.0*x7 + 934.0*x8; subject to c17: 0 <= 304.0*x1 + 304.0*x2 + 304.0*x3 + 279.0*x4 + 285.0*x5 + 301.0*x6 + 294.0*x7 + 311.0*x8; subject to c18: 0 <= 1802.0*x1 + 1802.0*x2 + 1802.0*x3 + 1802.0*x4 + 1796.0*x5 + 1798.0*x6 + 1792.0*x7 + 1773.0*x8; subject to c19: 0 <= 1641.0*x1 + 1641.0*x2 + 1641.0*x3 + 1641.0*x4 + 1641.0*x5 + 1598.0*x6 + 1577.0*x7 + 1657.0*x8; subject to c20: 0 <= 808.0*x1 + 808.0*x2 + 808.0*x3 + 808.0*x4 + 806.0*x5 + 801.0*x6 + 823.0*x7 + 838.0*x8; subject to c21: 0 <= 1305.0*x1 + 1305.0*x2 + 1305.0*x3 + 1306.0*x4 + 1306.0*x5 + 1307.0*x6 + 1281.0*x7 + 1317.0*x8; subject to c22: 0 <= 191.0*x1 + 191.0*x2 + 191.0*x3 + 191.0*x4 + 191.0*x5 + 191.0*x6 + 212.0*x7 + 320.0*x8; subject to c23: 0 <= 1400.0*x1 + 1400.0*x2 + 1400.0*x3 + 1400.0*x4 + 1400.0*x5 + 1394.0*x6 + 1326.0*x7 + 1405.0*x8; subject to c24: 0 <= 1159.0*x1 + 1159.0*x2 + 1159.0*x3 + 1159.0*x4 + 1174.0*x5 + 1130.0*x6 + 1072.0*x7 + 1187.0*x8; subject to c25: 0 <= 182.0*x1 + 182.0*x2 + 182.0*x3 + 182.0*x4 + 176.0*x5 + 170.0*x6 + 168.0*x7 + 160.0*x8; subject to c26: 0 <= 123.0*x1 + 123.0*x2 + 123.0*x3 + 123.0*x4 + 130.0*x5 + 144.0*x6 + 76.0*x7 + 159.0*x8; subject to c27: 0 <= 1661.0*x1 + 1661.0*x2 + 1661.0*x3 + 1661.0*x4 + 1661.0*x5 + 1655.0*x6 + 1690.0*x7 + 1688.0*x8; subject to c28: 0 <= 369.0*x1 + 369.0*x2 + 369.0*x3 + 369.0*x4 + 362.0*x5 + 331.0*x6 + 256.0*x7 + 450.0*x8; subject to c29: 0 <= 376.0*x1 + 364.0*x2 + 364.0*x3 + 364.0*x4 + 364.0*x5 + 364.0*x6 + 343.0*x7 + 357.0*x8; subject to c30: 0 <= 564.0*x1 + 564.0*x2 + 564.0*x3 + 564.0*x4 + 576.0*x5 + 562.0*x6 + 516.0*x7 + 612.0*x8; subject to c31: 0 <= 415.0*x1 + 415.0*x2 + 415.0*x3 + 415.0*x4 + 415.0*x5 + 352.0*x6 + 343.0*x7 + 403.0*x8; subject to c32: 0 <= 514.0*x1 + 514.0*x2 + 514.0*x3 + 514.0*x4 + 516.0*x5 + 491.0*x6 + 399.0*x7 + 552.0*x8; subject to c33: 0 <= 1103.0*x1 + 1101.0*x2 + 1103.0*x3 + 1101.0*x4 + 1103.0*x5 + 1048.0*x6 + 983.0*x7 + 1155.0*x8; subject to c34: 0 <= 1811.0*x1 + 1811.0*x2 + 1811.0*x3 + 1811.0*x4 + 1800.0*x5 + 1794.0*x6 + 1794.0*x7 + 1788.0*x8; subject to c35: 0 <= 374.0*x1 + 374.0*x2 + 374.0*x3 + 374.0*x4 + 373.0*x5 + 385.0*x6 + 204.0*x7 + 349.0*x8; subject to c36: 0 <= 786.0*x1 + 786.0*x2 + 786.0*x3 + 786.0*x4 + 786.0*x5 + 825.0*x6 + 811.0*x7 + 798.0*x8; subject to c37: 0 <= 1367.0*x1 + 1367.0*x2 + 1367.0*x3 + 1367.0*x4 + 1369.0*x5 + 1384.0*x6 + 1312.0*x7 + 1364.0*x8; subject to c38: 0 <= 254.0*x1 + 254.0*x2 + 254.0*x3 + 254.0*x4 + 270.0*x5 + 274.0*x6 + 269.0*x7 + 295.0*x8; subject to c39: 0 <= 160.0*x1 + 160.0*x2 + 160.0*x3 + 160.0*x4 - 10.0*x5 - 5.0*x6 - 9.0*x7 + 2.0*x8; subject to c40: 0 <= 1571.0*x1 + 1571.0*x2 + 1571.0*x3 + 1571.0*x4 + 1588.0*x5 + 1592.0*x6 + 1609.0*x7 + 1596.0*x8; subject to c41: 0 <= 970.0*x1 + 970.0*x2 + 970.0*x3 + 970.0*x4 + 978.0*x5 + 971.0*x6 + 985.0*x7 + 982.0*x8; subject to c42: 0 <= 671.0*x1 + 671.0*x2 + 671.0*x3 + 671.0*x4 + 671.0*x5 + 669.0*x6 + 691.0*x7 + 654.0*x8; subject to c43: 0 <= 565.0*x1 + 565.0*x2 + 565.0*x3 + 562.0*x4 + 561.0*x5 + 535.0*x6 + 479.0*x7 + 602.0*x8; subject to c44: 0 <= 750.0*x1 + 751.0*x2 + 750.0*x3 + 742.0*x4 + 784.0*x5 + 755.0*x6 + 738.0*x7 + 861.0*x8; subject to c45: 0 <= 1129.0*x1 + 1129.0*x2 + 1129.0*x3 + 1129.0*x4 + 1130.0*x5 + 1128.0*x6 + 1130.0*x7 + 1081.0*x8; subject to c46: 0 <= 294.0*x1 + 294.0*x2 + 294.0*x3 + 294.0*x4 + 312.0*x5 + 283.0*x6 + 291.0*x7 + 330.0*x8; subject to c47: 0 <= 656.0*x1 + 656.0*x2 + 656.0*x3 + 656.0*x4 + 648.0*x5 + 648.0*x6 + 564.0*x7 + 667.0*x8; subject to c48: 0 <= 1630.0*x1 + 1630.0*x2 + 1630.0*x3 + 1630.0*x4 + 1649.0*x5 + 1630.0*x6 + 1627.0*x7 + 1659.0*x8; subject to c49: 0 <= 1560.0*x1 + 1560.0*x2 + 1560.0*x3 + 1560.0*x4 + 1528.0*x5 + 1516.0*x6 + 1517.0*x7 + 1535.0*x8; subject to c50: 0 <= 1168.0*x1 + 1168.0*x2 + 1174.0*x3 + 1174.0*x4 + 1183.0*x5 + 1165.0*x6 + 1158.0*x7 + 1182.0*x8; subject to c51: 0 <= 267.0*x1 + 267.0*x2 + 267.0*x3 + 267.0*x4 + 283.0*x5 + 296.0*x6 + 288.0*x7 + 288.0*x8; subject to c52: 0 <= 446.0*x1 + 446.0*x2 + 446.0*x3 + 446.0*x4 + 506.0*x5 + 496.0*x6 + 498.0*x7 + 558.0*x8; subject to c53: 0 <= 1178.0*x1 + 1176.0*x2 + 1178.0*x3 + 1183.0*x4 + 1181.0*x5 + 1194.0*x6 + 1199.0*x7 + 1177.0*x8; subject to c54: 0 <= 834.0*x1 + 836.0*x2 + 834.0*x3 + 836.0*x4 + 838.0*x5 + 828.0*x6 + 792.0*x7 + 825.0*x8; subject to c55: 0 <= 716.0*x1 + 716.0*x2 + 705.0*x3 + 705.0*x4 + 697.0*x5 + 749.0*x6 + 700.0*x7 + 730.0*x8; subject to c56: 0 <= 191.0*x1 + 191.0*x2 + 192.0*x3 + 197.0*x4 + 201.0*x5 + 150.0*x6 + 53.0*x7 + 221.0*x8; subject to c57: 0 <= 80.0*x1 + 80.0*x2 + 80.0*x3 + 80.0*x4 + 74.0*x5 + 99.0*x6 + 115.0*x7 + 89.0*x8; subject to c58: 0 <= 1083.0*x1 + 1083.0*x2 + 1083.0*x3 + 1088.0*x4 + 1096.0*x5 + 999.0*x6 + 875.0*x7 + 1174.0*x8; subject to c59: 0 <= 331.0*x1 + 330.0*x2 + 329.0*x3 + 325.0*x4 + 287.0*x5 + 321.0*x6 + 346.0*x7 + 324.0*x8; subject to c60: 0 <= 791.0*x1 + 791.0*x2 + 791.0*x3 + 791.0*x4 + 784.0*x5 + 748.0*x6 + 752.0*x7 + 803.0*x8; subject to c61: 0 <= 1254.0*x1 + 1254.0*x2 + 1254.0*x3 + 1254.0*x4 + 1253.0*x5 + 1287.0*x6 + 1224.0*x7 + 1269.0*x8; subject to c62: 0 <= 1022.0*x1 + 1014.0*x2 + 1014.0*x3 + 1014.0*x4 + 1000.0*x5 + 978.0*x6 + 984.0*x7 + 999.0*x8; subject to c63: 0 <= 1641.0*x1 + 1641.0*x2 + 1641.0*x3 + 1641.0*x4 + 1641.0*x5 + 1680.0*x6 + 1701.0*x7 + 1648.0*x8; subject to c64: 0 <= 1192.0*x1 + 1192.0*x2 + 1192.0*x3 + 1192.0*x4 + 1192.0*x5 + 1159.0*x6 + 1171.0*x7 + 1190.0*x8; subject to c65: 0 <= 199.0*x1 + 199.0*x2 + 199.0*x3 + 197.0*x4 + 191.0*x5 + 215.0*x6 + 195.0*x7 + 165.0*x8; subject to c66: 0 <= 939.0*x1 + 939.0*x2 + 939.0*x3 + 935.0*x4 + 934.0*x5 + 923.0*x6 + 884.0*x7 + 927.0*x8; subject to c67: 0 <= 176.0*x1 + 176.0*x2 + 176.0*x3 + 176.0*x4 + 174.0*x5 + 124.0*x6 + 117.0*x7 + 241.0*x8; subject to c68: 0 <= 1137.0*x1 + 1110.0*x2 + 1110.0*x3 + 1110.0*x4 + 1145.0*x5 + 1092.0*x6 + 898.0*x7 + 1253.0*x8; subject to c69: 0 <= 425.0*x1 + 416.0*x2 + 416.0*x3 + 415.0*x4 + 421.0*x5 + 380.0*x6 + 222.0*x7 + 659.0*x8; subject to c70: 0 <= 1162.0*x1 + 1149.0*x2 + 1149.0*x3 + 1150.0*x4 + 1168.0*x5 + 1009.0*x6 + 852.0*x7 + 1245.0*x8; subject to c71: 0 <= 462.0*x1 + 471.0*x2 + 471.0*x3 + 471.0*x4 + 472.0*x5 + 436.0*x6 + 334.0*x7 + 478.0*x8; subject to c72: 0 <= 1150.0*x1 + 1150.0*x2 + 1150.0*x3 + 1150.0*x4 + 1207.0*x5 + 1162.0*x6 + 937.0*x7 + 1290.0*x8; subject to c73: 0 <= -2.0*x1 - 14.0*x2 - 14.0*x3 - 14.0*x4 - 2.0*x5 - 48.0*x6 - 267.0*x7 + 89.0*x8; subject to c74: 0 >= 96.0*x1 + 96.0*x2 + 96.0*x3 + 96.0*x4 - 115.0*x5 - 182.0*x6 - 439.0*x7 + 35.0*x8; subject to c75: 0 <= 1822.0*x1 + 1822.0*x2 + 1822.0*x3 + 1822.0*x4 + 1822.0*x5 + 1809.0*x6 + 1824.0*x7 + 1816.0*x8; subject to c76: 0 <= 1905.0*x1 + 1905.0*x2 + 1905.0*x3 + 1905.0*x4 + 1906.0*x5 + 1911.0*x6 + 1915.0*x7 + 1882.0*x8; subject to c77: 0 <= 417.0*x1 + 417.0*x2 + 417.0*x3 + 417.0*x4 + 421.0*x5 + 416.0*x6 + 460.0*x7 + 483.0*x8; subject to c78: 0 <= 726.0*x1 + 726.0*x2 + 726.0*x3 + 718.0*x4 + 702.0*x5 + 723.0*x6 + 724.0*x7 + 695.0*x8; subject to c79: 0 <= 328.0*x1 + 292.0*x2 + 292.0*x3 + 292.0*x4 + 292.0*x5 + 312.0*x6 + 285.0*x7 + 338.0*x8; subject to c80: 0 <= 886.0*x1 + 886.0*x2 + 886.0*x3 + 886.0*x4 + 888.0*x5 + 869.0*x6 + 823.0*x7 + 900.0*x8; subject to c81: 0 <= 811.0*x1 + 811.0*x2 + 811.0*x3 + 811.0*x4 + 811.0*x5 + 846.0*x6 + 829.0*x7 + 813.0*x8; subject to c82: 0 <= 702.0*x1 + 701.0*x2 + 700.0*x3 + 699.0*x4 + 699.0*x5 + 646.0*x6 + 586.0*x7 + 790.0*x8; subject to c83: 0 <= 1040.0*x1 + 1041.0*x2 + 1041.0*x3 + 1041.0*x4 + 1041.0*x5 + 1116.0*x6 + 1067.0*x7 + 1010.0*x8; subject to c84: 0 <= 896.0*x1 + 896.0*x2 + 896.0*x3 + 896.0*x4 + 894.0*x5 + 879.0*x6 + 922.0*x7 + 925.0*x8; subject to c85: 0 <= 1301.0*x1 + 1301.0*x2 + 1301.0*x3 + 1301.0*x4 + 1301.0*x5 + 1303.0*x6 + 1325.0*x7 + 1283.0*x8; subject to c86: 0 <= 407.0*x1 + 407.0*x2 + 407.0*x3 + 407.0*x4 + 417.0*x5 + 430.0*x6 + 420.0*x7 + 414.0*x8; subject to c87: 0 <= 751.0*x1 + 751.0*x2 + 751.0*x3 + 751.0*x4 + 777.0*x5 + 748.0*x6 + 719.0*x7 + 737.0*x8; subject to c88: 0 <= 624.0*x1 + 624.0*x2 + 624.0*x3 + 632.0*x4 + 629.0*x5 + 541.0*x6 + 572.0*x7 + 584.0*x8; subject to c89: 0 <= 322.0*x1 + 322.0*x2 + 322.0*x3 + 322.0*x4 + 307.0*x5 + 298.0*x6 + 278.0*x7 + 325.0*x8; subject to c90: 0 <= 1767.0*x1 + 1780.0*x2 + 1775.0*x3 + 1775.0*x4 + 1775.0*x5 + 1796.0*x6 + 1759.0*x7 + 1746.0*x8; subject to c91: 0 <= 1117.0*x1 + 1104.0*x2 + 1109.0*x3 + 1109.0*x4 + 1112.0*x5 + 1116.0*x6 + 1107.0*x7 + 1117.0*x8; subject to c92: 0 <= 638.0*x1 + 638.0*x2 + 638.0*x3 + 638.0*x4 + 638.0*x5 + 688.0*x6 + 720.0*x7 + 614.0*x8; subject to c93: 0 <= 1479.0*x1 + 1476.0*x2 + 1476.0*x3 + 1476.0*x4 + 1476.0*x5 + 1484.0*x6 + 1486.0*x7 + 1477.0*x8; subject to c94: 0 <= 811.0*x1 + 811.0*x2 + 811.0*x3 + 811.0*x4 + 809.0*x5 + 813.0*x6 + 827.0*x7 + 794.0*x8; subject to c95: 0 <= 160.0*x1 + 160.0*x2 + 160.0*x3 + 168.0*x4 + 188.0*x5 + 186.0*x6 + 202.0*x7 + 193.0*x8; subject to c96: 0 <= 222.0*x1 + 222.0*x2 + 222.0*x3 + 222.0*x4 + 202.0*x5 + 191.0*x6 + 175.0*x7 + 202.0*x8; subject to c97: 0 <= 929.0*x1 + 929.0*x2 + 929.0*x3 + 929.0*x4 + 929.0*x5 + 929.0*x6 + 920.0*x7 + 984.0*x8; subject to c98: 0 <= 1313.0*x1 + 1313.0*x2 + 1313.0*x3 + 1313.0*x4 + 1313.0*x5 + 1311.0*x6 + 1278.0*x7 + 1322.0*x8; subject to c99: 0 <= 1199.0*x1 + 1199.0*x2 + 1199.0*x3 + 1197.0*x4 + 1195.0*x5 + 1190.0*x6 + 1200.0*x7 + 1247.0*x8; subject to c100: 0 <= 1378.0*x1 + 1377.0*x2 + 1377.0*x3 + 1377.0*x4 + 1386.0*x5 + 1400.0*x6 + 1385.0*x7 + 1368.0*x8; subject to c101: 0 <= 548.0*x1 + 548.0*x2 + 548.0*x3 + 543.0*x4 + 543.0*x5 + 546.0*x6 + 536.0*x7 + 560.0*x8; subject to c102: 0 <= 1435.0*x1 + 1435.0*x2 + 1435.0*x3 + 1435.0*x4 + 1430.0*x5 + 1454.0*x6 + 1387.0*x7 + 1441.0*x8; subject to c103: 0 <= 235.0*x1 + 236.0*x2 + 237.0*x3 + 240.0*x4 + 240.0*x5 + 215.0*x6 + 189.0*x7 + 212.0*x8; subject to c104: 0 <= 584.0*x1 + 584.0*x2 + 584.0*x3 + 584.0*x4 + 587.0*x5 + 502.0*x6 + 554.0*x7 + 603.0*x8; subject to c105: 0 <= 109.0*x1 + 109.0*x2 + 113.0*x3 + 113.0*x4 + 156.0*x5 + 159.0*x6 + 160.0*x7 + 151.0*x8; subject to c106: 0 <= 1402.0*x1 + 1403.0*x2 + 1403.0*x3 + 1403.0*x4 + 1407.0*x5 + 1396.0*x6 + 1423.0*x7 + 1417.0*x8; subject to c107: 0 <= 1117.0*x1 + 1117.0*x2 + 1117.0*x3 + 1117.0*x4 + 1117.0*x5 + 1104.0*x6 + 1124.0*x7 + 1143.0*x8; subject to c108: 0 <= 753.0*x1 + 753.0*x2 + 753.0*x3 + 753.0*x4 + 776.0*x5 + 819.0*x6 + 772.0*x7 + 766.0*x8; subject to c109: 0 <= 440.0*x1 + 440.0*x2 + 440.0*x3 + 440.0*x4 + 440.0*x5 + 446.0*x6 + 426.0*x7 + 438.0*x8; subject to c110: 0 <= 405.0*x1 + 405.0*x2 + 405.0*x3 + 410.0*x4 + 415.0*x5 + 391.0*x6 + 388.0*x7 + 417.0*x8; subject to c111: 0 <= 575.0*x1 + 575.0*x2 + 566.0*x3 + 569.0*x4 + 569.0*x5 + 570.0*x6 + 547.0*x7 + 573.0*x8; subject to c112: 0 <= 1319.0*x1 + 1319.0*x2 + 1319.0*x3 + 1316.0*x4 + 1316.0*x5 + 1333.0*x6 + 1293.0*x7 + 1323.0*x8; subject to c113: 0 <= 744.0*x1 + 744.0*x2 + 745.0*x3 + 745.0*x4 + 722.0*x5 + 698.0*x6 + 682.0*x7 + 728.0*x8; subject to c114: 0 <= 860.0*x1 + 859.0*x2 + 858.0*x3 + 862.0*x4 + 864.0*x5 + 892.0*x6 + 844.0*x7 + 857.0*x8; subject to c115: 0 <= 756.0*x1 + 756.0*x2 + 756.0*x3 + 756.0*x4 + 756.0*x5 + 772.0*x6 + 773.0*x7 + 757.0*x8; subject to c116: 0 <= 458.0*x1 + 458.0*x2 + 458.0*x3 + 458.0*x4 + 466.0*x5 + 475.0*x6 + 507.0*x7 + 474.0*x8; subject to c117: 0 <= 1259.0*x1 + 1259.0*x2 + 1259.0*x3 + 1259.0*x4 + 1288.0*x5 + 1298.0*x6 + 1289.0*x7 + 1305.0*x8; subject to c118: 0 <= 1159.0*x1 + 1159.0*x2 + 1159.0*x3 + 1159.0*x4 + 1154.0*x5 + 1167.0*x6 + 1184.0*x7 + 1171.0*x8; subject to c119: 0 <= 997.0*x1 + 997.0*x2 + 997.0*x3 + 997.0*x4 + 989.0*x5 + 992.0*x6 + 973.0*x7 + 983.0*x8; subject to c120: 0 <= 209.0*x1 + 209.0*x2 + 209.0*x3 + 209.0*x4 + 209.0*x5 + 224.0*x6 + 229.0*x7 + 191.0*x8; subject to c121: 0 <= 1325.0*x1 + 1325.0*x2 + 1325.0*x3 + 1322.0*x4 + 1336.0*x5 + 1288.0*x6 + 1295.0*x7 + 1365.0*x8; subject to c122: 0 <= 226.0*x1 + 235.0*x2 + 235.0*x3 + 238.0*x4 + 248.0*x5 + 260.0*x6 + 297.0*x7 + 209.0*x8; subject to c123: 0 <= 1160.0*x1 + 1160.0*x2 + 1163.0*x3 + 1163.0*x4 + 1163.0*x5 + 1107.0*x6 + 1083.0*x7 + 1138.0*x8; subject to c124: 0 <= 334.0*x1 + 322.0*x2 + 322.0*x3 + 322.0*x4 + 319.0*x5 + 345.0*x6 + 342.0*x7 + 381.0*x8; subject to c125: 0 <= 1451.0*x1 + 1451.0*x2 + 1451.0*x3 + 1451.0*x4 + 1446.0*x5 + 1411.0*x6 + 1377.0*x7 + 1403.0*x8; subject to c126: 0 <= 15.0*x1 + 15.0*x2 + 15.0*x3 + 15.0*x4 + 7.0*x5 + 10.0*x6 + 35.0*x7 + 34.0*x8; subject to c127: 0 <= 750.0*x1 + 750.0*x2 + 750.0*x3 + 750.0*x4 + 750.0*x5 + 751.0*x6 + 690.0*x7 + 709.0*x8; subject to c128: 0 <= 366.0*x1 + 366.0*x2 + 366.0*x3 + 366.0*x4 + 376.0*x5 + 391.0*x6 + 390.0*x7 + 386.0*x8; subject to c129: 0 <= 277.0*x1 + 289.0*x2 + 289.0*x3 + 289.0*x4 + 289.0*x5 + 270.0*x6 + 255.0*x7 + 305.0*x8; subject to c130: 0 <= 474.0*x1 + 474.0*x2 + 474.0*x3 + 474.0*x4 + 474.0*x5 + 419.0*x6 + 401.0*x7 + 536.0*x8; subject to c131: 0 <= 1003.0*x1 + 1003.0*x2 + 1003.0*x3 + 1003.0*x4 + 991.0*x5 + 1021.0*x6 + 996.0*x7 + 950.0*x8; subject to c132: 0 <= 1782.0*x1 + 1762.0*x2 + 1762.0*x3 + 1762.0*x4 + 1777.0*x5 + 1795.0*x6 + 1801.0*x7 + 1780.0*x8; subject to c133: 0 >= 77.0*x1 + 77.0*x2 + 77.0*x3 + 73.0*x4 - 55.0*x5 - 124.0*x6 - 114.0*x7 + 25.0*x8; subject to c134: 0 <= 1730.0*x1 + 1730.0*x2 + 1724.0*x3 + 1724.0*x4 + 1726.0*x5 + 1705.0*x6 + 1695.0*x7 + 1712.0*x8; subject to c135: 0 <= 813.0*x1 + 813.0*x2 + 813.0*x3 + 813.0*x4 + 813.0*x5 + 804.0*x6 + 819.0*x7 + 760.0*x8; subject to c136: 0 <= 102.0*x1 + 102.0*x2 + 102.0*x3 + 102.0*x4 + 138.0*x5 + 110.0*x6 + 155.0*x7 + 178.0*x8; subject to c137: 0 <= 1684.0*x1 + 1684.0*x2 + 1684.0*x3 + 1688.0*x4 + 1687.0*x5 + 1638.0*x6 + 1592.0*x7 + 1678.0*x8; subject to c138: 0 <= 204.0*x1 + 231.0*x2 + 231.0*x3 + 232.0*x4 + 231.0*x5 + 316.0*x6 + 331.0*x7 + 249.0*x8; subject to c139: 0 <= 1166.0*x1 + 1166.0*x2 + 1166.0*x3 + 1165.0*x4 + 1166.0*x5 + 1165.0*x6 + 1137.0*x7 + 1136.0*x8; subject to c140: 0 <= 1522.0*x1 + 1522.0*x2 + 1522.0*x3 + 1522.0*x4 + 1547.0*x5 + 1551.0*x6 + 1550.0*x7 + 1508.0*x8; subject to c141: 0 <= 764.0*x1 + 764.0*x2 + 764.0*x3 + 764.0*x4 + 760.0*x5 + 703.0*x6 + 684.0*x7 + 825.0*x8; subject to c142: 0 <= 574.0*x1 + 547.0*x2 + 547.0*x3 + 547.0*x4 + 583.0*x5 + 611.0*x6 + 618.0*x7 + 560.0*x8; subject to c143: 0 <= 384.0*x1 + 384.0*x2 + 384.0*x3 + 384.0*x4 + 383.0*x5 + 380.0*x6 + 361.0*x7 + 377.0*x8; subject to c144: 0 <= 207.0*x1 + 207.0*x2 + 207.0*x3 + 207.0*x4 + 200.0*x5 + 227.0*x6 + 233.0*x7 + 220.0*x8; subject to c145: 0 <= 1351.0*x1 + 1351.0*x2 + 1351.0*x3 + 1351.0*x4 + 1347.0*x5 + 1333.0*x6 + 1327.0*x7 + 1335.0*x8; subject to c146: 0 <= 212.0*x1 + 240.0*x2 + 243.0*x3 + 243.0*x4 + 260.0*x5 + 228.0*x6 + 158.0*x7 + 249.0*x8; subject to c147: 0 <= 971.0*x1 + 971.0*x2 + 974.0*x3 + 974.0*x4 + 975.0*x5 + 980.0*x6 + 985.0*x7 + 984.0*x8; subject to c148: 0 <= 1049.0*x1 + 1049.0*x2 + 1049.0*x3 + 1049.0*x4 + 1049.0*x5 + 1018.0*x6 + 1032.0*x7 + 1068.0*x8; subject to c149: 0 <= 1390.0*x1 + 1390.0*x2 + 1390.0*x3 + 1388.0*x4 + 1376.0*x5 + 1347.0*x6 + 1267.0*x7 + 1360.0*x8; subject to c150: 0 <= 1252.0*x1 + 1252.0*x2 + 1252.0*x3 + 1252.0*x4 + 1252.0*x5 + 1186.0*x6 + 1114.0*x7 + 1272.0*x8; subject to c151: 0 <= 142.0*x1 + 142.0*x2 + 145.0*x3 + 145.0*x4 + 133.0*x5 + 122.0*x6 + 58.0*x7 + 243.0*x8; subject to c152: 0 <= 124.0*x1 + 124.0*x2 + 121.0*x3 + 121.0*x4 + 121.0*x5 + 123.0*x6 + 48.0*x7 + 115.0*x8; subject to c153: 0 <= 1005.0*x1 + 1005.0*x2 + 1005.0*x3 + 1005.0*x4 + 1002.0*x5 + 968.0*x6 + 930.0*x7 + 1015.0*x8; subject to c154: 0 <= 1048.0*x1 + 1020.0*x2 + 1014.0*x3 + 1014.0*x4 + 1014.0*x5 + 962.0*x6 + 892.0*x7 + 1072.0*x8; subject to c155: 0 <= 1228.0*x1 + 1228.0*x2 + 1228.0*x3 + 1228.0*x4 + 1231.0*x5 + 1239.0*x6 + 1120.0*x7 + 1227.0*x8; subject to c156: 0 <= 977.0*x1 + 977.0*x2 + 977.0*x3 + 979.0*x4 + 983.0*x5 + 910.0*x6 + 870.0*x7 + 1090.0*x8; subject to c157: 0 <= 1174.0*x1 + 1202.0*x2 + 1208.0*x3 + 1208.0*x4 + 1216.0*x5 + 1189.0*x6 + 1140.0*x7 + 1213.0*x8; subject to c158: 0 <= 949.0*x1 + 949.0*x2 + 949.0*x3 + 949.0*x4 + 947.0*x5 + 951.0*x6 + 851.0*x7 + 922.0*x8; subject to c159: 0 <= 1334.0*x1 + 1334.0*x2 + 1334.0*x3 + 1334.0*x4 + 1334.0*x5 + 1309.0*x6 + 1228.0*x7 + 1326.0*x8; subject to c160: 0 <= 823.0*x1 + 823.0*x2 + 823.0*x3 + 823.0*x4 + 823.0*x5 + 745.0*x6 + 720.0*x7 + 852.0*x8; subject to c161: 0 <= 1329.0*x1 + 1329.0*x2 + 1329.0*x3 + 1329.0*x4 + 1329.0*x5 + 1328.0*x6 + 1329.0*x7 + 1332.0*x8; subject to c162: 0 <= 1137.0*x1 + 1130.0*x2 + 1151.0*x3 + 1151.0*x4 + 1149.0*x5 + 1070.0*x6 + 1044.0*x7 + 1151.0*x8; subject to c163: 0 <= 758.0*x1 + 758.0*x2 + 758.0*x3 + 758.0*x4 + 758.0*x5 + 731.0*x6 + 798.0*x7 + 753.0*x8; subject to c164: 0 <= 364.0*x1 + 364.0*x2 + 364.0*x3 + 364.0*x4 + 365.0*x5 + 250.0*x6 + 166.0*x7 + 462.0*x8; subject to c165: 0 <= 1180.0*x1 + 1180.0*x2 + 1180.0*x3 + 1180.0*x4 + 1187.0*x5 + 1191.0*x6 + 1163.0*x7 + 1196.0*x8; subject to c166: 0 <= 914.0*x1 + 914.0*x2 + 914.0*x3 + 914.0*x4 + 916.0*x5 + 909.0*x6 + 900.0*x7 + 946.0*x8; subject to c167: 0 <= 216.0*x1 + 216.0*x2 + 216.0*x3 + 216.0*x4 + 234.0*x5 + 251.0*x6 + 108.0*x7 + 267.0*x8; subject to c168: 0 <= 1553.0*x1 + 1553.0*x2 + 1553.0*x3 + 1553.0*x4 + 1553.0*x5 + 1581.0*x6 + 1611.0*x7 + 1603.0*x8; subject to c169: 0 <= 1704.0*x1 + 1704.0*x2 + 1704.0*x3 + 1704.0*x4 + 1690.0*x5 + 1676.0*x6 + 1672.0*x7 + 1739.0*x8; subject to c170: 0 <= 1626.0*x1 + 1626.0*x2 + 1626.0*x3 + 1624.0*x4 + 1624.0*x5 + 1615.0*x6 + 1621.0*x7 + 1623.0*x8; subject to c171: 0 <= 1602.0*x1 + 1610.0*x2 + 1589.0*x3 + 1585.0*x4 + 1574.0*x5 + 1546.0*x6 + 1496.0*x7 + 1597.0*x8; subject to c172: 0 <= 447.0*x1 + 447.0*x2 + 447.0*x3 + 447.0*x4 + 439.0*x5 + 418.0*x6 + 462.0*x7 + 448.0*x8; subject to c173: 0 <= 146.0*x1 + 174.0*x2 + 174.0*x3 + 168.0*x4 + 172.0*x5 + 182.0*x6 + 162.0*x7 + 133.0*x8; subject to c174: 0 <= 1309.0*x1 + 1313.0*x2 + 1309.0*x3 + 1313.0*x4 + 1297.0*x5 + 1293.0*x6 + 1281.0*x7 + 1237.0*x8; subject to c175: 0 <= 990.0*x1 + 1016.0*x2 + 1016.0*x3 + 1016.0*x4 + 1011.0*x5 + 1036.0*x6 + 1065.0*x7 + 996.0*x8; subject to c176: 0 <= 728.0*x1 + 719.0*x2 + 719.0*x3 + 719.0*x4 + 783.0*x5 + 784.0*x6 + 519.0*x7 + 772.0*x8; subject to c177: 0 <= 192.0*x1 + 192.0*x2 + 192.0*x3 + 192.0*x4 + 203.0*x5 + 196.0*x6 + 105.0*x7 + 195.0*x8; subject to c178: 0 <= 166.0*x1 + 175.0*x2 + 175.0*x3 + 181.0*x4 + 150.0*x5 + 80.0*x6 + 149.0*x7 + 200.0*x8; subject to c179: 0 <= 1277.0*x1 + 1277.0*x2 + 1277.0*x3 + 1275.0*x4 + 1277.0*x5 + 1199.0*x6 + 1197.0*x7 + 1308.0*x8; subject to c180: 0 <= 1653.0*x1 + 1653.0*x2 + 1653.0*x3 + 1653.0*x4 + 1643.0*x5 + 1521.0*x6 + 1446.0*x7 + 1666.0*x8; subject to c181: 0 <= 893.0*x1 + 893.0*x2 + 893.0*x3 + 893.0*x4 + 832.0*x5 + 813.0*x6 + 665.0*x7 + 872.0*x8; subject to c182: 0 <= 451.0*x1 + 451.0*x2 + 451.0*x3 + 451.0*x4 + 450.0*x5 + 462.0*x6 + 369.0*x7 + 512.0*x8; subject to c183: 0 <= 374.0*x1 + 372.0*x2 + 374.0*x3 + 376.0*x4 + 380.0*x5 + 331.0*x6 + 219.0*x7 + 388.0*x8; subject to c184: 0 <= 1170.0*x1 + 1170.0*x2 + 1181.0*x3 + 1181.0*x4 + 1181.0*x5 + 1181.0*x6 + 1113.0*x7 + 1129.0*x8; subject to c185: 0 <= 1073.0*x1 + 1073.0*x2 + 1078.0*x3 + 1078.0*x4 + 1078.0*x5 + 1116.0*x6 + 1017.0*x7 + 1194.0*x8; subject to c186: 0 <= 856.0*x1 + 856.0*x2 + 856.0*x3 + 856.0*x4 + 856.0*x5 + 853.0*x6 + 869.0*x7 + 880.0*x8; subject to c187: 0 <= 788.0*x1 + 788.0*x2 + 788.0*x3 + 788.0*x4 + 790.0*x5 + 766.0*x6 + 739.0*x7 + 783.0*x8; subject to c188: 0 <= 499.0*x1 + 499.0*x2 + 499.0*x3 + 499.0*x4 + 499.0*x5 + 502.0*x6 + 485.0*x7 + 491.0*x8; subject to c189: 0 <= 1372.0*x1 + 1372.0*x2 + 1369.0*x3 + 1372.0*x4 + 1373.0*x5 + 1360.0*x6 + 1359.0*x7 + 1384.0*x8; subject to c190: 0 <= 188.0*x1 + 188.0*x2 + 191.0*x3 + 191.0*x4 + 183.0*x5 + 189.0*x6 + 144.0*x7 + 169.0*x8; subject to c191: 0 <= 603.0*x1 + 603.0*x2 + 603.0*x3 + 603.0*x4 + 603.0*x5 + 624.0*x6 + 600.0*x7 + 618.0*x8; subject to c192: 0 <= 1573.0*x1 + 1574.0*x2 + 1573.0*x3 + 1573.0*x4 + 1554.0*x5 + 1521.0*x6 + 1535.0*x7 + 1654.0*x8; subject to c193: 0 <= 1532.0*x1 + 1532.0*x2 + 1532.0*x3 + 1532.0*x4 + 1522.0*x5 + 1498.0*x6 + 1502.0*x7 + 1531.0*x8; subject to c194: 0 <= 1475.0*x1 + 1475.0*x2 + 1475.0*x3 + 1475.0*x4 + 1487.0*x5 + 1477.0*x6 + 1494.0*x7 + 1487.0*x8; subject to c195: 0 <= 1440.0*x1 + 1440.0*x2 + 1440.0*x3 + 1437.0*x4 + 1436.0*x5 + 1436.0*x6 + 1409.0*x7 + 1410.0*x8; subject to c196: 0 <= 811.0*x1 + 811.0*x2 + 811.0*x3 + 811.0*x4 + 811.0*x5 + 825.0*x6 + 808.0*x7 + 814.0*x8; subject to c197: 0 <= 952.0*x1 + 952.0*x2 + 952.0*x3 + 952.0*x4 + 951.0*x5 + 957.0*x6 + 959.0*x7 + 954.0*x8; subject to c198: 0 <= 1479.0*x1 + 1479.0*x2 + 1479.0*x3 + 1479.0*x4 + 1489.0*x5 + 1489.0*x6 + 1488.0*x7 + 1477.0*x8; subject to c199: 0 <= 1323.0*x1 + 1323.0*x2 + 1323.0*x3 + 1323.0*x4 + 1369.0*x5 + 1383.0*x6 + 1370.0*x7 + 1404.0*x8; subject to c200: 0 <= 248.0*x1 + 248.0*x2 + 248.0*x3 + 248.0*x4 + 248.0*x5 + 221.0*x6 + 209.0*x7 + 244.0*x8; subject to c201: 0 <= 138.0*x1 + 138.0*x2 + 138.0*x3 + 138.0*x4 + 124.0*x5 + 135.0*x6 + 121.0*x7 + 170.0*x8; subject to c202: 0 <= 556.0*x1 + 556.0*x2 + 556.0*x3 + 556.0*x4 + 553.0*x5 + 550.0*x6 + 571.0*x7 + 518.0*x8; subject to c203: 0 <= 1488.0*x1 + 1488.0*x2 + 1488.0*x3 + 1488.0*x4 + 1476.0*x5 + 1458.0*x6 + 1398.0*x7 + 1492.0*x8; subject to c204: 0 <= 1176.0*x1 + 1204.0*x2 + 1211.0*x3 + 1212.0*x4 + 1189.0*x5 + 1189.0*x6 + 1156.0*x7 + 1206.0*x8; subject to c205: 0 <= 1689.0*x1 + 1689.0*x2 + 1689.0*x3 + 1689.0*x4 + 1712.0*x5 + 1722.0*x6 + 1728.0*x7 + 1732.0*x8; subject to c206: 0 <= 313.0*x1 + 313.0*x2 + 313.0*x3 + 313.0*x4 + 284.0*x5 + 294.0*x6 + 312.0*x7 + 292.0*x8; subject to c207: 0 <= 282.0*x1 + 282.0*x2 + 282.0*x3 + 282.0*x4 + 311.0*x5 + 322.0*x6 + 326.0*x7 + 292.0*x8; subject to c208: 0 <= 21.0*x1 + 21.0*x2 + 22.0*x3 + 22.0*x4 + 21.0*x5 + 22.0*x6 + 28.0*x7 + 44.0*x8; subject to c209: 0 <= 1230.0*x1 + 1230.0*x2 + 1229.0*x3 + 1228.0*x4 + 1230.0*x5 + 1224.0*x6 + 1168.0*x7 + 1181.0*x8; subject to c210: 0 <= 1575.0*x1 + 1548.0*x2 + 1548.0*x3 + 1548.0*x4 + 1548.0*x5 + 1572.0*x6 + 1572.0*x7 + 1586.0*x8; subject to c211: 0 <= 1376.0*x1 + 1376.0*x2 + 1376.0*x3 + 1376.0*x4 + 1376.0*x5 + 1341.0*x6 + 1212.0*x7 + 1389.0*x8; subject to c212: 0 <= 1333.0*x1 + 1333.0*x2 + 1333.0*x3 + 1333.0*x4 + 1330.0*x5 + 1327.0*x6 + 1302.0*x7 + 1322.0*x8; subject to c213: 0 <= 217.0*x1 + 217.0*x2 + 217.0*x3 + 217.0*x4 + 200.0*x5 + 200.0*x6 + 203.0*x7 + 195.0*x8; subject to c214: 0 <= 91.0*x1 + 91.0*x2 + 91.0*x3 + 91.0*x4 + 94.0*x5 + 101.0*x6 + 128.0*x7 + 130.0*x8; subject to c215: 0 <= 1407.0*x1 + 1407.0*x2 + 1407.0*x3 + 1407.0*x4 + 1407.0*x5 + 1392.0*x6 + 1379.0*x7 + 1439.0*x8; subject to c216: 0 <= 1412.0*x1 + 1412.0*x2 + 1412.0*x3 + 1412.0*x4 + 1414.0*x5 + 1413.0*x6 + 1413.0*x7 + 1418.0*x8; subject to c217: 0 <= 590.0*x1 + 591.0*x2 + 590.0*x3 + 590.0*x4 + 590.0*x5 + 580.0*x6 + 551.0*x7 + 612.0*x8; subject to c218: 0 <= 1690.0*x1 + 1689.0*x2 + 1689.0*x3 + 1689.0*x4 + 1689.0*x5 + 1698.0*x6 + 1666.0*x7 + 1676.0*x8; subject to c219: 0 <= 248.0*x1 + 248.0*x2 + 248.0*x3 + 248.0*x4 + 248.0*x5 + 243.0*x6 + 268.0*x7 + 258.0*x8; subject to c220: 0 <= 1742.0*x1 + 1743.0*x2 + 1744.0*x3 + 1745.0*x4 + 1745.0*x5 + 1767.0*x6 + 1780.0*x7 + 1767.0*x8; subject to c221: 0 <= 1778.0*x1 + 1778.0*x2 + 1778.0*x3 + 1778.0*x4 + 1782.0*x5 + 1759.0*x6 + 1761.0*x7 + 1771.0*x8; subject to c222: 0 <= 1303.0*x1 + 1303.0*x2 + 1303.0*x3 + 1303.0*x4 + 1303.0*x5 + 1296.0*x6 + 1292.0*x7 + 1317.0*x8; subject to c223: 0 <= 1661.0*x1 + 1661.0*x2 + 1661.0*x3 + 1661.0*x4 + 1661.0*x5 + 1645.0*x6 + 1595.0*x7 + 1678.0*x8; subject to c224: 0 <= 329.0*x1 + 329.0*x2 + 329.0*x3 + 328.0*x4 + 329.0*x5 + 346.0*x6 + 356.0*x7 + 338.0*x8; subject to c225: 0 <= 230.0*x1 + 230.0*x2 + 230.0*x3 + 230.0*x4 + 265.0*x5 + 265.0*x6 + 225.0*x7 + 309.0*x8; subject to c226: 0 <= 1075.0*x1 + 1074.0*x2 + 1070.0*x3 + 1074.0*x4 + 1087.0*x5 + 1072.0*x6 + 1066.0*x7 + 1139.0*x8; subject to c227: 0 <= 150.0*x1 + 150.0*x2 + 150.0*x3 + 150.0*x4 + 128.0*x5 + 139.0*x6 + 74.0*x7 + 160.0*x8; subject to c228: 0 <= 1286.0*x1 + 1286.0*x2 + 1286.0*x3 + 1286.0*x4 + 1285.0*x5 + 1271.0*x6 + 1265.0*x7 + 1321.0*x8; subject to c229: 0 <= 1239.0*x1 + 1239.0*x2 + 1239.0*x3 + 1240.0*x4 + 1222.0*x5 + 1235.0*x6 + 1267.0*x7 + 1213.0*x8; subject to c230: 0 <= 449.0*x1 + 449.0*x2 + 449.0*x3 + 449.0*x4 + 446.0*x5 + 446.0*x6 + 433.0*x7 + 450.0*x8; subject to c231: 0 <= 434.0*x1 + 434.0*x2 + 433.0*x3 + 432.0*x4 + 426.0*x5 + 393.0*x6 + 376.0*x7 + 469.0*x8; subject to c232: 0 <= 402.0*x1 + 402.0*x2 + 402.0*x3 + 402.0*x4 + 405.0*x5 + 409.0*x6 + 391.0*x7 + 446.0*x8; subject to c233: 0 <= 1033.0*x1 + 1033.0*x2 + 1033.0*x3 + 1033.0*x4 + 1034.0*x5 + 993.0*x6 + 1027.0*x7 + 1014.0*x8; subject to c234: 0 <= 1690.0*x1 + 1690.0*x2 + 1690.0*x3 + 1690.0*x4 + 1696.0*x5 + 1692.0*x6 + 1700.0*x7 + 1677.0*x8; subject to c235: 0 <= 114.0*x1 + 114.0*x2 + 114.0*x3 + 114.0*x4 + 113.0*x5 + 108.0*x6 + 24.0*x7 + 156.0*x8; subject to c236: 0 <= 1160.0*x1 + 1162.0*x2 + 1160.0*x3 + 1160.0*x4 + 1155.0*x5 + 1132.0*x6 + 1133.0*x7 + 1167.0*x8; subject to c237: 0 <= 718.0*x1 + 718.0*x2 + 718.0*x3 + 718.0*x4 + 718.0*x5 + 718.0*x6 + 712.0*x7 + 717.0*x8; subject to c238: 0 <= 678.0*x1 + 678.0*x2 + 678.0*x3 + 677.0*x4 + 685.0*x5 + 673.0*x6 + 647.0*x7 + 683.0*x8; subject to c239: 0 <= 1129.0*x1 + 1130.0*x2 + 1134.0*x3 + 1130.0*x4 + 1136.0*x5 + 1113.0*x6 + 957.0*x7 + 1160.0*x8; subject to c240: 0 <= 1238.0*x1 + 1238.0*x2 + 1238.0*x3 + 1238.0*x4 + 1238.0*x5 + 1238.0*x6 + 1194.0*x7 + 1192.0*x8; subject to c241: 0 <= 866.0*x1 + 866.0*x2 + 866.0*x3 + 866.0*x4 + 866.0*x5 + 866.0*x6 + 870.0*x7 + 861.0*x8; subject to c242: 0 <= 1233.0*x1 + 1233.0*x2 + 1238.0*x3 + 1233.0*x4 + 1238.0*x5 + 1212.0*x6 + 1132.0*x7 + 1225.0*x8; subject to c243: 0 <= 167.0*x1 + 167.0*x2 + 167.0*x3 + 167.0*x4 + 126.0*x5 + 116.0*x6 + 180.0*x7 + 110.0*x8; subject to c244: 0 <= 896.0*x1 + 896.0*x2 + 896.0*x3 + 872.0*x4 + 876.0*x5 + 906.0*x6 + 905.0*x7 + 903.0*x8; subject to c245: 0 <= 409.0*x1 + 397.0*x2 + 392.0*x3 + 392.0*x4 + 392.0*x5 + 414.0*x6 + 395.0*x7 + 431.0*x8; subject to c246: 0 <= 456.0*x1 + 456.0*x2 + 456.0*x3 + 456.0*x4 + 451.0*x5 + 454.0*x6 + 462.0*x7 + 465.0*x8; subject to c247: 0 <= 807.0*x1 + 803.0*x2 + 798.0*x3 + 794.0*x4 + 807.0*x5 + 788.0*x6 + 776.0*x7 + 847.0*x8; subject to c248: 0 <= 27.0*x1 + 27.0*x2 + 27.0*x3 + 26.0*x4 + 26.0*x5 + 19.0*x6 - 42.0*x7 + 27.0*x8; subject to c249: 0 <= 301.0*x1 + 314.0*x2 + 314.0*x3 + 314.0*x4 + 311.0*x5 + 311.0*x6 + 363.0*x7 + 315.0*x8; subject to c250: 0 <= 751.0*x1 + 750.0*x2 + 750.0*x3 + 747.0*x4 + 737.0*x5 + 729.0*x6 + 748.0*x7 + 703.0*x8; subject to c251: 0 <= 480.0*x1 + 480.0*x2 + 480.0*x3 + 480.0*x4 + 485.0*x5 + 484.0*x6 + 480.0*x7 + 491.0*x8; subject to c252: 0 <= 937.0*x1 + 941.0*x2 + 937.0*x3 + 966.0*x4 + 962.0*x5 + 938.0*x6 + 914.0*x7 + 1025.0*x8; subject to c253: 0 <= 526.0*x1 + 526.0*x2 + 526.0*x3 + 529.0*x4 + 529.0*x5 + 536.0*x6 + 577.0*x7 + 576.0*x8; subject to c254: 0 <= 232.0*x1 + 232.0*x2 + 232.0*x3 + 232.0*x4 + 230.0*x5 + 264.0*x6 + 250.0*x7 + 259.0*x8; subject to c255: 0 <= 183.0*x1 + 183.0*x2 + 183.0*x3 + 183.0*x4 + 204.0*x5 + 201.0*x6 + 258.0*x7 + 166.0*x8; subject to c256: 0 <= 1704.0*x1 + 1704.0*x2 + 1704.0*x3 + 1704.0*x4 + 1704.0*x5 + 1721.0*x6 + 1684.0*x7 + 1701.0*x8; subject to c257: 0 <= 871.0*x1 + 871.0*x2 + 871.0*x3 + 871.0*x4 + 876.0*x5 + 872.0*x6 + 846.0*x7 + 858.0*x8; subject to c258: 0 <= 519.0*x1 + 519.0*x2 + 519.0*x3 + 519.0*x4 + 519.0*x5 + 513.0*x6 + 510.0*x7 + 492.0*x8; subject to c259: 0 <= 1028.0*x1 + 1028.0*x2 + 1028.0*x3 + 1028.0*x4 + 1018.0*x5 + 1018.0*x6 + 1016.0*x7 + 1027.0*x8; subject to c260: 0 <= 978.0*x1 + 978.0*x2 + 978.0*x3 + 978.0*x4 + 978.0*x5 + 978.0*x6 + 963.0*x7 + 964.0*x8; subject to c261: 0 <= 876.0*x1 + 876.0*x2 + 876.0*x3 + 876.0*x4 + 876.0*x5 + 878.0*x6 + 889.0*x7 + 821.0*x8; subject to c262: 0 <= 1210.0*x1 + 1210.0*x2 + 1210.0*x3 + 1210.0*x4 + 1225.0*x5 + 1218.0*x6 + 1109.0*x7 + 1290.0*x8; subject to c263: 0 <= 534.0*x1 + 534.0*x2 + 534.0*x3 + 534.0*x4 + 523.0*x5 + 548.0*x6 + 596.0*x7 + 518.0*x8; subject to c264: 0 <= 1729.0*x1 + 1729.0*x2 + 1729.0*x3 + 1729.0*x4 + 1723.0*x5 + 1732.0*x6 + 1731.0*x7 + 1727.0*x8; subject to c265: 0 <= 428.0*x1 + 455.0*x2 + 455.0*x3 + 430.0*x4 + 407.0*x5 + 397.0*x6 + 405.0*x7 + 412.0*x8; subject to c266: 0 <= 1021.0*x1 + 1021.0*x2 + 1021.0*x3 + 1021.0*x4 + 1021.0*x5 + 1014.0*x6 + 1054.0*x7 + 1002.0*x8; subject to c267: 0 <= 189.0*x1 + 197.0*x2 + 176.0*x3 + 176.0*x4 + 209.0*x5 + 213.0*x6 + 190.0*x7 + 219.0*x8; subject to c268: 0 <= 653.0*x1 + 653.0*x2 + 653.0*x3 + 653.0*x4 + 671.0*x5 + 677.0*x6 + 673.0*x7 + 675.0*x8; subject to c269: 0 <= 1069.0*x1 + 1066.0*x2 + 1066.0*x3 + 1066.0*x4 + 1097.0*x5 + 1000.0*x6 + 1095.0*x7 + 1221.0*x8; subject to c270: 0 <= 166.0*x1 + 139.0*x2 + 139.0*x3 + 139.0*x4 + 104.0*x5 + 90.0*x6 + 84.0*x7 + 124.0*x8; subject to c271: 0 <= 898.0*x1 + 898.0*x2 + 898.0*x3 + 898.0*x4 + 897.0*x5 + 839.0*x6 + 875.0*x7 + 877.0*x8; subject to c272: 0 <= 1403.0*x1 + 1406.0*x2 + 1406.0*x3 + 1406.0*x4 + 1406.0*x5 + 1404.0*x6 + 1393.0*x7 + 1374.0*x8; subject to c273: 0 <= 65.0*x1 + 65.0*x2 + 65.0*x3 + 90.0*x4 + 90.0*x5 + 89.0*x6 + 141.0*x7 + 60.0*x8; subject to c274: 0 <= 1177.0*x1 + 1177.0*x2 + 1177.0*x3 + 1177.0*x4 + 1160.0*x5 + 1160.0*x6 + 1147.0*x7 + 1179.0*x8; subject to c275: 0 <= 1853.0*x1 + 1853.0*x2 + 1853.0*x3 + 1853.0*x4 + 1848.0*x5 + 1847.0*x6 + 1767.0*x7 + 1872.0*x8; subject to c276: 0 <= 1033.0*x1 + 1034.0*x2 + 1035.0*x3 + 1036.0*x4 + 1036.0*x5 + 957.0*x6 + 856.0*x7 + 1079.0*x8; subject to c277: 0 <= 1192.0*x1 + 1192.0*x2 + 1192.0*x3 + 1192.0*x4 + 1197.0*x5 + 1208.0*x6 + 1216.0*x7 + 1246.0*x8; subject to c278: 0 <= 1411.0*x1 + 1411.0*x2 + 1411.0*x3 + 1411.0*x4 + 1411.0*x5 + 1397.0*x6 + 1457.0*x7 + 1448.0*x8; subject to c279: 0 <= 901.0*x1 + 901.0*x2 + 901.0*x3 + 893.0*x4 + 882.0*x5 + 905.0*x6 + 900.0*x7 + 880.0*x8; subject to c280: 0 <= 347.0*x1 + 338.0*x2 + 338.0*x3 + 338.0*x4 + 331.0*x5 + 318.0*x6 + 287.0*x7 + 369.0*x8; subject to c281: 0 <= 1019.0*x1 + 1019.0*x2 + 1019.0*x3 + 1019.0*x4 + 1019.0*x5 + 1015.0*x6 + 1005.0*x7 + 1018.0*x8; subject to c282: 0 <= 1454.0*x1 + 1454.0*x2 + 1454.0*x3 + 1454.0*x4 + 1454.0*x5 + 1456.0*x6 + 1428.0*x7 + 1465.0*x8; subject to c283: 0 <= 358.0*x1 + 358.0*x2 + 358.0*x3 + 358.0*x4 + 358.0*x5 + 358.0*x6 + 358.0*x7 + 359.0*x8; subject to c284: 0 <= 1638.0*x1 + 1638.0*x2 + 1638.0*x3 + 1638.0*x4 + 1626.0*x5 + 1589.0*x6 + 1581.0*x7 + 1654.0*x8; subject to c285: 0 <= 1250.0*x1 + 1250.0*x2 + 1250.0*x3 + 1246.0*x4 + 1246.0*x5 + 1234.0*x6 + 1238.0*x7 + 1240.0*x8; subject to c286: 0 <= 350.0*x1 + 350.0*x2 + 350.0*x3 + 350.0*x4 + 348.0*x5 + 355.0*x6 + 369.0*x7 + 318.0*x8; subject to c287: 0 <= 2007.0*x1 + 2007.0*x2 + 2007.0*x3 + 2007.0*x4 + 2007.0*x5 + 2000.0*x6 + 1994.0*x7 + 2007.0*x8; subject to c288: 0 <= 1162.0*x1 + 1162.0*x2 + 1162.0*x3 + 1162.0*x4 + 1166.0*x5 + 1140.0*x6 + 1097.0*x7 + 1157.0*x8; subject to c289: 0 <= 1440.0*x1 + 1440.0*x2 + 1440.0*x3 + 1440.0*x4 + 1448.0*x5 + 1422.0*x6 + 1420.0*x7 + 1422.0*x8; subject to c290: 0 <= 1033.0*x1 + 1033.0*x2 + 1033.0*x3 + 1033.0*x4 + 1033.0*x5 + 1032.0*x6 + 1026.0*x7 + 983.0*x8; subject to c291: 0 <= 1646.0*x1 + 1646.0*x2 + 1645.0*x3 + 1644.0*x4 + 1641.0*x5 + 1651.0*x6 + 1597.0*x7 + 1681.0*x8; subject to c292: 0 <= 603.0*x1 + 603.0*x2 + 603.0*x3 + 603.0*x4 + 603.0*x5 + 607.0*x6 + 617.0*x7 + 615.0*x8; subject to c293: 0 <= 1312.0*x1 + 1312.0*x2 + 1312.0*x3 + 1320.0*x4 + 1323.0*x5 + 1285.0*x6 + 1325.0*x7 + 1277.0*x8; subject to c294: 0 <= 1077.0*x1 + 1077.0*x2 + 1077.0*x3 + 1081.0*x4 + 1092.0*x5 + 1029.0*x6 + 1040.0*x7 + 1108.0*x8; subject to c295: 0 <= 877.0*x1 + 877.0*x2 + 877.0*x3 + 877.0*x4 + 898.0*x5 + 930.0*x6 + 941.0*x7 + 933.0*x8; subject to c296: 0 <= 1529.0*x1 + 1526.0*x2 + 1526.0*x3 + 1526.0*x4 + 1526.0*x5 + 1533.0*x6 + 1496.0*x7 + 1543.0*x8; subject to c297: 0 <= 319.0*x1 + 319.0*x2 + 319.0*x3 + 319.0*x4 + 313.0*x5 + 319.0*x6 + 309.0*x7 + 334.0*x8; subject to c298: 0 <= 673.0*x1 + 673.0*x2 + 673.0*x3 + 673.0*x4 + 673.0*x5 + 673.0*x6 + 625.0*x7 + 718.0*x8; subject to c299: 0 <= 179.0*x1 + 179.0*x2 + 179.0*x3 + 179.0*x4 + 216.0*x5 + 151.0*x6 + 108.0*x7 + 232.0*x8; subject to c300: 0 <= 138.0*x1 + 138.0*x2 + 138.0*x3 + 136.0*x4 + 136.0*x5 - 51.0*x6 - 53.0*x7 + 231.0*x8; subject to c301: 0 <= 84.0*x1 + 84.0*x2 + 84.0*x3 + 90.0*x4 + 91.0*x5 - 37.0*x6 - 212.0*x7 + 229.0*x8; subject to c302: 0 <= 1353.0*x1 + 1353.0*x2 + 1349.0*x3 + 1349.0*x4 + 1359.0*x5 + 1228.0*x6 + 1179.0*x7 + 1422.0*x8; subject to c303: 0 <= 1098.0*x1 + 1098.0*x2 + 1098.0*x3 + 1108.0*x4 + 1115.0*x5 + 963.0*x6 + 932.0*x7 + 1194.0*x8; subject to c304: 0 <= 114.0*x1 + 126.0*x2 + 130.0*x3 + 139.0*x4 + 139.0*x5 - 81.0*x6 - 171.0*x7 + 232.0*x8; subject to c305: 0 <= 652.0*x1 + 652.0*x2 + 652.0*x3 + 644.0*x4 + 637.0*x5 + 440.0*x6 + 386.0*x7 + 753.0*x8; subject to c306: 0 <= 626.0*x1 + 626.0*x2 + 626.0*x3 + 626.0*x4 + 617.0*x5 + 517.0*x6 + 355.0*x7 + 778.0*x8; subject to c307: 0 <= 474.0*x1 + 474.0*x2 + 474.0*x3 + 474.0*x4 + 425.0*x5 + 406.0*x6 + 383.0*x7 + 449.0*x8; subject to c308: 0 <= 1712.0*x1 + 1712.0*x2 + 1712.0*x3 + 1712.0*x4 + 1718.0*x5 + 1724.0*x6 + 1724.0*x7 + 1709.0*x8; subject to c309: 0 <= 460.0*x1 + 460.0*x2 + 460.0*x3 + 460.0*x4 + 460.0*x5 + 470.0*x6 + 491.0*x7 + 349.0*x8; subject to c310: 0 <= 1008.0*x1 + 1008.0*x2 + 1008.0*x3 + 1008.0*x4 + 1002.0*x5 + 995.0*x6 + 982.0*x7 + 999.0*x8; subject to c311: 0 <= 762.0*x1 + 762.0*x2 + 762.0*x3 + 762.0*x4 + 762.0*x5 + 774.0*x6 + 747.0*x7 + 738.0*x8; subject to c312: 0 <= 816.0*x1 + 816.0*x2 + 816.0*x3 + 816.0*x4 + 816.0*x5 + 829.0*x6 + 801.0*x7 + 901.0*x8; subject to c313: 0 <= 1284.0*x1 + 1284.0*x2 + 1284.0*x3 + 1284.0*x4 + 1277.0*x5 + 1275.0*x6 + 1275.0*x7 + 1299.0*x8; subject to c314: 0 <= 1130.0*x1 + 1129.0*x2 + 1129.0*x3 + 1133.0*x4 + 1133.0*x5 + 1126.0*x6 + 1135.0*x7 + 1152.0*x8; subject to c315: 0 <= 1719.0*x1 + 1719.0*x2 + 1719.0*x3 + 1719.0*x4 + 1720.0*x5 + 1692.0*x6 + 1688.0*x7 + 1718.0*x8; subject to c316: 0 <= 315.0*x1 + 315.0*x2 + 315.0*x3 + 315.0*x4 + 318.0*x5 + 319.0*x6 + 336.0*x7 + 307.0*x8; subject to c317: 0 <= 1219.0*x1 + 1219.0*x2 + 1219.0*x3 + 1217.0*x4 + 1219.0*x5 + 1224.0*x6 + 1222.0*x7 + 1224.0*x8; subject to c318: 0 <= 1800.0*x1 + 1801.0*x2 + 1801.0*x3 + 1801.0*x4 + 1801.0*x5 + 1794.0*x6 + 1789.0*x7 + 1792.0*x8; subject to c319: 0 <= 980.0*x1 + 980.0*x2 + 980.0*x3 + 980.0*x4 + 979.0*x5 + 991.0*x6 + 986.0*x7 + 975.0*x8; subject to c320: 0 <= 423.0*x1 + 423.0*x2 + 423.0*x3 + 423.0*x4 + 402.0*x5 + 402.0*x6 + 396.0*x7 + 367.0*x8; subject to c321: 0 <= 1112.0*x1 + 1113.0*x2 + 1113.0*x3 + 1113.0*x4 + 1113.0*x5 + 1116.0*x6 + 1112.0*x7 + 1069.0*x8; subject to c322: 0 <= 1691.0*x1 + 1691.0*x2 + 1691.0*x3 + 1687.0*x4 + 1686.0*x5 + 1712.0*x6 + 1721.0*x7 + 1696.0*x8; subject to c323: 0 <= 762.0*x1 + 762.0*x2 + 762.0*x3 + 762.0*x4 + 766.0*x5 + 783.0*x6 + 779.0*x7 + 728.0*x8; subject to c324: 0 <= 288.0*x1 + 288.0*x2 + 288.0*x3 + 288.0*x4 + 288.0*x5 + 284.0*x6 + 248.0*x7 + 268.0*x8; subject to c325: 0 <= 1518.0*x1 + 1518.0*x2 + 1518.0*x3 + 1518.0*x4 + 1519.0*x5 + 1521.0*x6 + 1497.0*x7 + 1519.0*x8; subject to c326: 0 <= 525.0*x1 + 525.0*x2 + 526.0*x3 + 526.0*x4 + 541.0*x5 + 522.0*x6 + 510.0*x7 + 589.0*x8; subject to c327: 0 <= 80.0*x1 + 80.0*x2 + 80.0*x3 + 80.0*x4 + 86.0*x5 + 92.0*x6 + 128.0*x7 + 116.0*x8; subject to c328: 0 <= 1529.0*x1 + 1529.0*x2 + 1529.0*x3 + 1529.0*x4 + 1537.0*x5 + 1530.0*x6 + 1459.0*x7 + 1519.0*x8; subject to c329: 0 <= 475.0*x1 + 475.0*x2 + 475.0*x3 + 475.0*x4 + 475.0*x5 + 456.0*x6 + 382.0*x7 + 490.0*x8; subject to c330: 0 <= 944.0*x1 + 944.0*x2 + 939.0*x3 + 939.0*x4 + 937.0*x5 + 836.0*x6 + 817.0*x7 + 965.0*x8; subject to c331: 0 <= 510.0*x1 + 511.0*x2 + 511.0*x3 + 514.0*x4 + 510.0*x5 + 560.0*x6 + 549.0*x7 + 542.0*x8; subject to c332: 0 <= 1656.0*x1 + 1656.0*x2 + 1656.0*x3 + 1656.0*x4 + 1657.0*x5 + 1657.0*x6 + 1656.0*x7 + 1659.0*x8; subject to c333: 0 <= 939.0*x1 + 939.0*x2 + 930.0*x3 + 930.0*x4 + 931.0*x5 + 938.0*x6 + 930.0*x7 + 936.0*x8; subject to c334: 0 <= 180.0*x1 + 180.0*x2 + 169.0*x3 + 169.0*x4 + 192.0*x5 + 208.0*x6 + 177.0*x7 + 214.0*x8; subject to c335: 0 <= 323.0*x1 + 323.0*x2 + 323.0*x3 + 323.0*x4 + 334.0*x5 + 300.0*x6 + 218.0*x7 + 325.0*x8; subject to c336: 0 <= 1010.0*x1 + 1010.0*x2 + 1007.0*x3 + 1007.0*x4 + 1008.0*x5 + 1022.0*x6 + 1002.0*x7 + 1032.0*x8; subject to c337: 0 <= 1616.0*x1 + 1616.0*x2 + 1615.0*x3 + 1615.0*x4 + 1615.0*x5 + 1612.0*x6 + 1580.0*x7 + 1643.0*x8; subject to c338: 0 <= 363.0*x1 + 363.0*x2 + 363.0*x3 + 360.0*x4 + 353.0*x5 + 365.0*x6 + 346.0*x7 + 388.0*x8; subject to c339: 0 <= 923.0*x1 + 923.0*x2 + 923.0*x3 + 923.0*x4 + 936.0*x5 + 931.0*x6 + 905.0*x7 + 956.0*x8; subject to c340: 0 <= 951.0*x1 + 951.0*x2 + 951.0*x3 + 951.0*x4 + 948.0*x5 + 935.0*x6 + 940.0*x7 + 954.0*x8; subject to c341: 0 <= 1873.0*x1 + 1873.0*x2 + 1873.0*x3 + 1873.0*x4 + 1873.0*x5 + 1880.0*x6 + 1878.0*x7 + 1869.0*x8; subject to c342: 0 <= 116.0*x1 + 116.0*x2 + 116.0*x3 + 116.0*x4 + 120.0*x5 + 124.0*x6 + 86.0*x7 + 115.0*x8; subject to c343: 0 <= 465.0*x1 + 465.0*x2 + 465.0*x3 + 465.0*x4 + 473.0*x5 + 363.0*x6 + 376.0*x7 + 489.0*x8; subject to c344: 0 <= 935.0*x1 + 935.0*x2 + 935.0*x3 + 943.0*x4 + 935.0*x5 + 897.0*x6 + 942.0*x7 + 931.0*x8; subject to c345: 0 <= 226.0*x1 + 226.0*x2 + 226.0*x3 + 226.0*x4 + 226.0*x5 + 239.0*x6 + 255.0*x7 + 239.0*x8; subject to c346: 0 <= 658.0*x1 + 658.0*x2 + 658.0*x3 + 658.0*x4 + 659.0*x5 + 635.0*x6 + 677.0*x7 + 687.0*x8; subject to c347: 0 <= 1146.0*x1 + 1146.0*x2 + 1145.0*x3 + 1144.0*x4 + 1147.0*x5 + 1144.0*x6 + 1127.0*x7 + 1136.0*x8; subject to c348: 0 <= 618.0*x1 + 618.0*x2 + 618.0*x3 + 618.0*x4 + 610.0*x5 + 616.0*x6 + 631.0*x7 + 615.0*x8; subject to c349: 0 <= 797.0*x1 + 797.0*x2 + 797.0*x3 + 797.0*x4 + 811.0*x5 + 817.0*x6 + 790.0*x7 + 808.0*x8; subject to c350: 0 <= 838.0*x1 + 859.0*x2 + 838.0*x3 + 863.0*x4 + 863.0*x5 + 842.0*x6 + 840.0*x7 + 874.0*x8; subject to c351: 0 <= 1490.0*x1 + 1490.0*x2 + 1490.0*x3 + 1490.0*x4 + 1490.0*x5 + 1497.0*x6 + 1478.0*x7 + 1462.0*x8; subject to c352: 0 <= 847.0*x1 + 847.0*x2 + 847.0*x3 + 847.0*x4 + 847.0*x5 + 840.0*x6 + 828.0*x7 + 843.0*x8; subject to c353: 0 <= 775.0*x1 + 775.0*x2 + 775.0*x3 + 775.0*x4 + 771.0*x5 + 773.0*x6 + 789.0*x7 + 768.0*x8; subject to c354: 0 <= 1207.0*x1 + 1186.0*x2 + 1207.0*x3 + 1182.0*x4 + 1182.0*x5 + 1216.0*x6 + 1133.0*x7 + 1213.0*x8; subject to c355: 0 <= 67.0*x1 + 67.0*x2 + 67.0*x3 + 67.0*x4 + 54.0*x5 + 56.0*x6 + 64.0*x7 + 52.0*x8; subject to c356: 0 <= 126.0*x1 + 126.0*x2 + 126.0*x3 + 126.0*x4 + 122.0*x5 + 119.0*x6 + 133.0*x7 + 133.0*x8; subject to c357: 0 <= 688.0*x1 + 687.0*x2 + 687.0*x3 + 687.0*x4 + 658.0*x5 + 669.0*x6 + 684.0*x7 + 675.0*x8; subject to c358: 0 <= 72.0*x1 + 72.0*x2 + 72.0*x3 + 72.0*x4 + 72.0*x5 + 74.0*x6 + 72.0*x7 + 76.0*x8; subject to c359: 0 <= 1728.0*x1 + 1728.0*x2 + 1725.0*x3 + 1725.0*x4 + 1725.0*x5 + 1723.0*x6 + 1628.0*x7 + 1743.0*x8; subject to c360: 0 <= 1188.0*x1 + 1188.0*x2 + 1188.0*x3 + 1188.0*x4 + 1188.0*x5 + 1206.0*x6 + 1209.0*x7 + 1171.0*x8; subject to c361: 0 <= 1011.0*x1 + 1011.0*x2 + 1011.0*x3 + 1016.0*x4 + 1021.0*x5 + 1011.0*x6 + 1023.0*x7 + 1025.0*x8; subject to c362: 0 <= 569.0*x1 + 560.0*x2 + 564.0*x3 + 564.0*x4 + 564.0*x5 + 577.0*x6 + 608.0*x7 + 566.0*x8; subject to c363: 0 <= 786.0*x1 + 786.0*x2 + 786.0*x3 + 786.0*x4 + 789.0*x5 + 791.0*x6 + 736.0*x7 + 805.0*x8; subject to c364: 0 <= 209.0*x1 + 209.0*x2 + 209.0*x3 + 209.0*x4 + 238.0*x5 + 293.0*x6 + 326.0*x7 + 235.0*x8; subject to c365: 0 <= 635.0*x1 + 635.0*x2 + 635.0*x3 + 635.0*x4 + 635.0*x5 + 630.0*x6 + 631.0*x7 + 649.0*x8; subject to c366: 0 <= 1587.0*x1 + 1587.0*x2 + 1587.0*x3 + 1587.0*x4 + 1579.0*x5 + 1581.0*x6 + 1559.0*x7 + 1548.0*x8; subject to c367: 0 <= 574.0*x1 + 574.0*x2 + 574.0*x3 + 574.0*x4 + 574.0*x5 + 603.0*x6 + 625.0*x7 + 566.0*x8; subject to c368: 0 <= 36.0*x1 + 36.0*x2 + 36.0*x3 + 36.0*x4 + 28.0*x5 + 42.0*x6 + 46.0*x7 + 51.0*x8; subject to c369: 0 <= 1325.0*x1 + 1325.0*x2 + 1325.0*x3 + 1325.0*x4 + 1332.0*x5 + 1345.0*x6 + 1340.0*x7 + 1291.0*x8; subject to c370: 0 <= 770.0*x1 + 770.0*x2 + 770.0*x3 + 770.0*x4 + 767.0*x5 + 702.0*x6 + 658.0*x7 + 770.0*x8; subject to c371: 0 <= 873.0*x1 + 882.0*x2 + 882.0*x3 + 882.0*x4 + 895.0*x5 + 910.0*x6 + 920.0*x7 + 906.0*x8; subject to c372: 0 <= 1844.0*x1 + 1846.0*x2 + 1846.0*x3 + 1837.0*x4 + 1844.0*x5 + 1858.0*x6 + 1841.0*x7 + 1857.0*x8; subject to c373: 0 <= 1498.0*x1 + 1498.0*x2 + 1498.0*x3 + 1496.0*x4 + 1493.0*x5 + 1496.0*x6 + 1477.0*x7 + 1540.0*x8; subject to c374: 0 <= 1179.0*x1 + 1166.0*x2 + 1157.0*x3 + 1132.0*x4 + 1132.0*x5 + 1088.0*x6 + 994.0*x7 + 1173.0*x8; subject to c375: 0 <= 176.0*x1 + 176.0*x2 + 176.0*x3 + 176.0*x4 + 169.0*x5 + 183.0*x6 + 156.0*x7 + 210.0*x8; subject to c376: 0 <= 1084.0*x1 + 1084.0*x2 + 1084.0*x3 + 1084.0*x4 + 1082.0*x5 + 1075.0*x6 + 1064.0*x7 + 1015.0*x8; subject to c377: 0 <= 14.0*x1 + 14.0*x2 + 13.0*x3 + 15.0*x4 + 15.0*x5 - 13.0*x6 + 49.0*x7 + 66.0*x8; subject to c378: 0 <= 239.0*x1 + 239.0*x2 + 239.0*x3 + 239.0*x4 + 249.0*x5 + 227.0*x6 + 225.0*x7 + 220.0*x8; subject to c379: 0 <= 1405.0*x1 + 1405.0*x2 + 1405.0*x3 + 1397.0*x4 + 1371.0*x5 + 1345.0*x6 + 1439.0*x7 + 1398.0*x8; subject to c380: 0 <= 1414.0*x1 + 1414.0*x2 + 1414.0*x3 + 1414.0*x4 + 1414.0*x5 + 1420.0*x6 + 1433.0*x7 + 1428.0*x8; subject to c381: 0 <= 864.0*x1 + 864.0*x2 + 859.0*x3 + 850.0*x4 + 838.0*x5 + 867.0*x6 + 839.0*x7 + 825.0*x8; subject to c382: 0 <= 837.0*x1 + 837.0*x2 + 837.0*x3 + 837.0*x4 + 842.0*x5 + 829.0*x6 + 826.0*x7 + 835.0*x8; subject to c383: 0 <= 397.0*x1 + 397.0*x2 + 397.0*x3 + 397.0*x4 + 397.0*x5 + 410.0*x6 + 376.0*x7 + 482.0*x8; subject to c384: 0 <= 430.0*x1 + 418.0*x2 + 418.0*x3 + 427.0*x4 + 435.0*x5 + 415.0*x6 + 405.0*x7 + 457.0*x8; subject to c385: 0 <= 26.0*x1 + 27.0*x2 + 27.0*x3 + 27.0*x4 + 40.0*x5 + 8.0*x6 + 39.0*x7 + 92.0*x8; subject to c386: 0 <= 1435.0*x1 + 1435.0*x2 + 1435.0*x3 + 1435.0*x4 + 1453.0*x5 + 1450.0*x6 + 1458.0*x7 + 1452.0*x8; subject to c387: 0 <= 1210.0*x1 + 1210.0*x2 + 1210.0*x3 + 1209.0*x4 + 1197.0*x5 + 1152.0*x6 + 1197.0*x7 + 1152.0*x8; subject to c388: 0 <= 189.0*x1 + 189.0*x2 + 189.0*x3 + 199.0*x4 + 201.0*x5 + 176.0*x6 + 276.0*x7 + 193.0*x8; subject to c389: 0 <= 1748.0*x1 + 1760.0*x2 + 1761.0*x3 + 1786.0*x4 + 1793.0*x5 + 1787.0*x6 + 1825.0*x7 + 1781.0*x8; subject to c390: 0 <= 323.0*x1 + 326.0*x2 + 335.0*x3 + 335.0*x4 + 342.0*x5 + 308.0*x6 + 300.0*x7 + 345.0*x8; subject to c391: 0 <= 330.0*x1 + 330.0*x2 + 330.0*x3 + 330.0*x4 + 347.0*x5 + 351.0*x6 + 349.0*x7 + 316.0*x8; subject to c392: 0 <= 374.0*x1 + 374.0*x2 + 374.0*x3 + 374.0*x4 + 376.0*x5 + 406.0*x6 + 448.0*x7 + 381.0*x8; subject to c393: 0 <= 647.0*x1 + 647.0*x2 + 650.0*x3 + 650.0*x4 + 649.0*x5 + 642.0*x6 + 681.0*x7 + 622.0*x8; subject to c394: 0 <= 1189.0*x1 + 1189.0*x2 + 1189.0*x3 + 1189.0*x4 + 1188.0*x5 + 1164.0*x6 + 1160.0*x7 + 1171.0*x8; subject to c395: 0 <= 1708.0*x1 + 1692.0*x2 + 1686.0*x3 + 1686.0*x4 + 1689.0*x5 + 1653.0*x6 + 1637.0*x7 + 1614.0*x8; subject to c396: 0 <= 688.0*x1 + 688.0*x2 + 688.0*x3 + 688.0*x4 + 689.0*x5 + 685.0*x6 + 678.0*x7 + 667.0*x8; subject to c397: 0 <= 742.0*x1 + 742.0*x2 + 742.0*x3 + 742.0*x4 + 729.0*x5 + 677.0*x6 + 716.0*x7 + 754.0*x8; subject to c398: 0 <= 1155.0*x1 + 1155.0*x2 + 1155.0*x3 + 1155.0*x4 + 1156.0*x5 + 1175.0*x6 + 1184.0*x7 + 1146.0*x8; subject to c399: 0 <= 1687.0*x1 + 1687.0*x2 + 1687.0*x3 + 1687.0*x4 + 1685.0*x5 + 1719.0*x6 + 1678.0*x7 + 1733.0*x8; subject to c400: 0 <= 1376.0*x1 + 1376.0*x2 + 1376.0*x3 + 1376.0*x4 + 1393.0*x5 + 1405.0*x6 + 1432.0*x7 + 1451.0*x8; subject to c401: 0 <= 1021.0*x1 + 1021.0*x2 + 1021.0*x3 + 1021.0*x4 + 1020.0*x5 + 1055.0*x6 + 1082.0*x7 + 1090.0*x8; subject to c402: 0 <= 1091.0*x1 + 1091.0*x2 + 1092.0*x3 + 1093.0*x4 + 1094.0*x5 + 1092.0*x6 + 1079.0*x7 + 1110.0*x8; subject to c403: 0 <= 802.0*x1 + 802.0*x2 + 802.0*x3 + 802.0*x4 + 811.0*x5 + 819.0*x6 + 809.0*x7 + 823.0*x8; subject to c404: 0 <= 1212.0*x1 + 1200.0*x2 + 1200.0*x3 + 1200.0*x4 + 1198.0*x5 + 1214.0*x6 + 1223.0*x7 + 1204.0*x8; subject to c405: 0 <= 1373.0*x1 + 1373.0*x2 + 1373.0*x3 + 1373.0*x4 + 1371.0*x5 + 1360.0*x6 + 1348.0*x7 + 1350.0*x8; subject to c406: 0 <= 1158.0*x1 + 1158.0*x2 + 1158.0*x3 + 1158.0*x4 + 1161.0*x5 + 1160.0*x6 + 1124.0*x7 + 1174.0*x8; subject to c407: 0 <= 1538.0*x1 + 1538.0*x2 + 1538.0*x3 + 1538.0*x4 + 1552.0*x5 + 1524.0*x6 + 1460.0*x7 + 1555.0*x8; subject to c408: 0 <= 787.0*x1 + 787.0*x2 + 787.0*x3 + 787.0*x4 + 787.0*x5 + 766.0*x6 + 716.0*x7 + 767.0*x8; subject to c409: 0 <= 506.0*x1 + 506.0*x2 + 506.0*x3 + 510.0*x4 + 476.0*x5 + 426.0*x6 + 456.0*x7 + 532.0*x8; subject to c410: 0 <= 1508.0*x1 + 1536.0*x2 + 1539.0*x3 + 1539.0*x4 + 1525.0*x5 + 1515.0*x6 + 1508.0*x7 + 1534.0*x8; subject to c411: 0 <= 740.0*x1 + 740.0*x2 + 740.0*x3 + 740.0*x4 + 753.0*x5 + 778.0*x6 + 770.0*x7 + 759.0*x8; subject to c412: 0 <= 282.0*x1 + 261.0*x2 + 283.0*x3 + 264.0*x4 + 265.0*x5 + 268.0*x6 + 276.0*x7 + 269.0*x8; subject to c413: 0 <= 1706.0*x1 + 1706.0*x2 + 1706.0*x3 + 1706.0*x4 + 1720.0*x5 + 1685.0*x6 + 1622.0*x7 + 1736.0*x8; subject to c414: 0 <= 333.0*x1 + 332.0*x2 + 328.0*x3 + 332.0*x4 + 332.0*x5 + 340.0*x6 + 363.0*x7 + 374.0*x8; subject to c415: 0 <= 1696.0*x1 + 1696.0*x2 + 1696.0*x3 + 1696.0*x4 + 1682.0*x5 + 1682.0*x6 + 1688.0*x7 + 1676.0*x8; subject to c416: 0 <= 558.0*x1 + 558.0*x2 + 558.0*x3 + 558.0*x4 + 572.0*x5 + 570.0*x6 + 585.0*x7 + 572.0*x8; subject to c417: 0 <= 878.0*x1 + 878.0*x2 + 878.0*x3 + 905.0*x4 + 905.0*x5 + 922.0*x6 + 929.0*x7 + 918.0*x8; subject to c418: 0 <= 826.0*x1 + 834.0*x2 + 834.0*x3 + 834.0*x4 + 834.0*x5 + 807.0*x6 + 829.0*x7 + 817.0*x8; subject to c419: 0 <= 257.0*x1 + 257.0*x2 + 257.0*x3 + 230.0*x4 + 230.0*x5 + 266.0*x6 + 223.0*x7 + 243.0*x8; subject to c420: 0 <= 564.0*x1 + 564.0*x2 + 564.0*x3 + 564.0*x4 + 564.0*x5 + 554.0*x6 + 570.0*x7 + 575.0*x8; subject to c421: 0 <= 1745.0*x1 + 1737.0*x2 + 1737.0*x3 + 1737.0*x4 + 1737.0*x5 + 1748.0*x6 + 1768.0*x7 + 1728.0*x8; subject to c422: 0 <= 1660.0*x1 + 1660.0*x2 + 1660.0*x3 + 1660.0*x4 + 1660.0*x5 + 1677.0*x6 + 1689.0*x7 + 1670.0*x8; subject to c423: 0 <= 319.0*x1 + 319.0*x2 + 319.0*x3 + 319.0*x4 + 319.0*x5 + 327.0*x6 + 286.0*x7 + 323.0*x8; subject to c424: 0 <= 889.0*x1 + 889.0*x2 + 889.0*x3 + 883.0*x4 + 881.0*x5 + 896.0*x6 + 859.0*x7 + 902.0*x8; subject to c425: 0 <= 938.0*x1 + 938.0*x2 + 935.0*x3 + 935.0*x4 + 935.0*x5 + 931.0*x6 + 962.0*x7 + 920.0*x8; subject to c426: 0 <= 703.0*x1 + 703.0*x2 + 703.0*x3 + 703.0*x4 + 703.0*x5 + 675.0*x6 + 706.0*x7 + 646.0*x8; subject to c427: 0 <= 1229.0*x1 + 1229.0*x2 + 1229.0*x3 + 1229.0*x4 + 1229.0*x5 + 1191.0*x6 + 1150.0*x7 + 1240.0*x8; subject to c428: 0 <= 1652.0*x1 + 1652.0*x2 + 1651.0*x3 + 1650.0*x4 + 1649.0*x5 + 1639.0*x6 + 1657.0*x7 + 1657.0*x8; subject to c429: 0 <= 674.0*x1 + 674.0*x2 + 674.0*x3 + 674.0*x4 + 679.0*x5 + 670.0*x6 + 673.0*x7 + 729.0*x8; subject to c430: 0 <= 884.0*x1 + 884.0*x2 + 884.0*x3 + 879.0*x4 + 880.0*x5 + 905.0*x6 + 883.0*x7 + 891.0*x8; subject to c431: 0 <= 229.0*x1 + 229.0*x2 + 229.0*x3 + 229.0*x4 + 248.0*x5 + 256.0*x6 + 278.0*x7 + 332.0*x8; subject to c432: 0 <= 1246.0*x1 + 1246.0*x2 + 1246.0*x3 + 1242.0*x4 + 1244.0*x5 + 1254.0*x6 + 1290.0*x7 + 1269.0*x8; subject to c433: 0 <= 868.0*x1 + 868.0*x2 + 868.0*x3 + 868.0*x4 + 868.0*x5 + 869.0*x6 + 871.0*x7 + 852.0*x8; subject to c434: 0 <= 681.0*x1 + 681.0*x2 + 681.0*x3 + 679.0*x4 + 676.0*x5 + 680.0*x6 + 707.0*x7 + 712.0*x8; subject to c435: 0 <= 1687.0*x1 + 1687.0*x2 + 1687.0*x3 + 1687.0*x4 + 1704.0*x5 + 1717.0*x6 + 1737.0*x7 + 1703.0*x8; subject to c436: 0 <= 75.0*x1 + 39.0*x2 + 39.0*x3 + 39.0*x4 + 22.0*x5 + 33.0*x6 - 6.0*x7 + 41.0*x8; subject to c437: 0 <= 1296.0*x1 + 1296.0*x2 + 1296.0*x3 + 1299.0*x4 + 1307.0*x5 + 1297.0*x6 + 1293.0*x7 + 1345.0*x8; subject to c438: 0 <= 1733.0*x1 + 1733.0*x2 + 1733.0*x3 + 1733.0*x4 + 1747.0*x5 + 1727.0*x6 + 1731.0*x7 + 1725.0*x8; subject to c439: 0 <= 731.0*x1 + 731.0*x2 + 737.0*x3 + 742.0*x4 + 742.0*x5 + 753.0*x6 + 737.0*x7 + 704.0*x8; subject to c440: 0 <= 90.0*x1 + 90.0*x2 + 90.0*x3 + 90.0*x4 + 84.0*x5 + 91.0*x6 + 81.0*x7 + 64.0*x8; subject to c441: 0 <= 1656.0*x1 + 1692.0*x2 + 1692.0*x3 + 1692.0*x4 + 1698.0*x5 + 1704.0*x6 + 1722.0*x7 + 1668.0*x8; subject to c442: 0 <= 313.0*x1 + 313.0*x2 + 313.0*x3 + 313.0*x4 + 313.0*x5 + 322.0*x6 + 282.0*x7 + 256.0*x8; subject to c443: 0 <= 1090.0*x1 + 1090.0*x2 + 1095.0*x3 + 1095.0*x4 + 1095.0*x5 + 1097.0*x6 + 1135.0*x7 + 1089.0*x8; subject to c444: 0 <= 1664.0*x1 + 1664.0*x2 + 1664.0*x3 + 1664.0*x4 + 1664.0*x5 + 1672.0*x6 + 1629.0*x7 + 1669.0*x8; subject to c445: 0 <= 349.0*x1 + 349.0*x2 + 349.0*x3 + 349.0*x4 + 349.0*x5 + 327.0*x6 + 241.0*x7 + 349.0*x8; subject to c446: 0 <= 895.0*x1 + 895.0*x2 + 895.0*x3 + 895.0*x4 + 902.0*x5 + 871.0*x6 + 876.0*x7 + 883.0*x8; subject to c447: 0 <= 650.0*x1 + 650.0*x2 + 650.0*x3 + 650.0*x4 + 650.0*x5 + 634.0*x6 + 632.0*x7 + 657.0*x8; subject to c448: 0 <= 1772.0*x1 + 1772.0*x2 + 1772.0*x3 + 1772.0*x4 + 1740.0*x5 + 1723.0*x6 + 1723.0*x7 + 1758.0*x8; subject to c449: 0 <= 1477.0*x1 + 1477.0*x2 + 1477.0*x3 + 1477.0*x4 + 1468.0*x5 + 1464.0*x6 + 1449.0*x7 + 1470.0*x8; subject to c450: 0 <= 1184.0*x1 + 1184.0*x2 + 1184.0*x3 + 1184.0*x4 + 1191.0*x5 + 1207.0*x6 + 1196.0*x7 + 1195.0*x8; subject to c451: 0 <= 97.0*x1 + 97.0*x2 + 97.0*x3 + 97.0*x4 + 68.0*x5 + 120.0*x6 + 163.0*x7 + 110.0*x8; subject to c452: 0 <= 816.0*x1 + 816.0*x2 + 816.0*x3 + 816.0*x4 + 842.0*x5 + 870.0*x6 + 898.0*x7 + 829.0*x8; subject to c453: 0 <= 451.0*x1 + 452.0*x2 + 452.0*x3 + 452.0*x4 + 446.0*x5 + 450.0*x6 + 437.0*x7 + 496.0*x8; subject to c454: 0 <= 828.0*x1 + 828.0*x2 + 828.0*x3 + 825.0*x4 + 815.0*x5 + 816.0*x6 + 783.0*x7 + 939.0*x8; subject to c455: 0 <= 417.0*x1 + 417.0*x2 + 417.0*x3 + 417.0*x4 + 425.0*x5 + 443.0*x6 + 381.0*x7 + 428.0*x8; subject to c456: 0 <= 958.0*x1 + 958.0*x2 + 958.0*x3 + 958.0*x4 + 955.0*x5 + 960.0*x6 + 963.0*x7 + 1002.0*x8; subject to c457: 0 <= 724.0*x1 + 715.0*x2 + 715.0*x3 + 715.0*x4 + 719.0*x5 + 738.0*x6 + 711.0*x7 + 745.0*x8; subject to c458: 0 <= 715.0*x1 + 715.0*x2 + 715.0*x3 + 715.0*x4 + 710.0*x5 + 696.0*x6 + 566.0*x7 + 731.0*x8; subject to c459: 0 <= 1242.0*x1 + 1241.0*x2 + 1241.0*x3 + 1241.0*x4 + 1241.0*x5 + 1257.0*x6 + 1178.0*x7 + 1217.0*x8; subject to c460: 0 <= 202.0*x1 + 202.0*x2 + 202.0*x3 + 202.0*x4 + 202.0*x5 + 185.0*x6 + 174.0*x7 + 217.0*x8; subject to c461: 0 <= 680.0*x1 + 680.0*x2 + 680.0*x3 + 680.0*x4 + 683.0*x5 + 665.0*x6 + 671.0*x7 + 691.0*x8; subject to c462: 0 <= 132.0*x1 + 132.0*x2 + 132.0*x3 + 132.0*x4 + 132.0*x5 + 155.0*x6 + 113.0*x7 + 133.0*x8; subject to c463: 0 <= 1343.0*x1 + 1343.0*x2 + 1343.0*x3 + 1343.0*x4 + 1333.0*x5 + 1349.0*x6 + 1302.0*x7 + 1344.0*x8; subject to c464: 0 <= 1172.0*x1 + 1172.0*x2 + 1172.0*x3 + 1172.0*x4 + 1168.0*x5 + 1152.0*x6 + 1155.0*x7 + 1144.0*x8; subject to c465: 0 <= 850.0*x1 + 850.0*x2 + 850.0*x3 + 853.0*x4 + 866.0*x5 + 855.0*x6 + 807.0*x7 + 858.0*x8; subject to c466: 0 <= 107.0*x1 + 107.0*x2 + 107.0*x3 + 107.0*x4 + 121.0*x5 + 147.0*x6 + 89.0*x7 + 174.0*x8; subject to c467: 0 <= 226.0*x1 + 226.0*x2 + 226.0*x3 + 231.0*x4 + 236.0*x5 + 264.0*x6 + 188.0*x7 + 188.0*x8; subject to c468: 0 <= 1153.0*x1 + 1153.0*x2 + 1153.0*x3 + 1148.0*x4 + 1143.0*x5 + 1177.0*x6 + 1174.0*x7 + 1187.0*x8; subject to c469: 0 <= 1395.0*x1 + 1395.0*x2 + 1395.0*x3 + 1395.0*x4 + 1396.0*x5 + 1380.0*x6 + 1343.0*x7 + 1412.0*x8; subject to c470: 0 <= 683.0*x1 + 683.0*x2 + 674.0*x3 + 674.0*x4 + 664.0*x5 + 617.0*x6 + 604.0*x7 + 665.0*x8; subject to c471: 0 <= 472.0*x1 + 472.0*x2 + 472.0*x3 + 472.0*x4 + 482.0*x5 + 411.0*x6 + 344.0*x7 + 553.0*x8; subject to c472: 0 <= 1156.0*x1 + 1156.0*x2 + 1156.0*x3 + 1156.0*x4 + 1169.0*x5 + 1138.0*x6 + 1125.0*x7 + 1204.0*x8; subject to c473: 0 <= 1652.0*x1 + 1652.0*x2 + 1652.0*x3 + 1652.0*x4 + 1652.0*x5 + 1650.0*x6 + 1659.0*x7 + 1647.0*x8; subject to c474: 0 <= 463.0*x1 + 463.0*x2 + 463.0*x3 + 463.0*x4 + 463.0*x5 + 468.0*x6 + 411.0*x7 + 457.0*x8; subject to c475: 0 <= 840.0*x1 + 840.0*x2 + 840.0*x3 + 840.0*x4 + 840.0*x5 + 845.0*x6 + 769.0*x7 + 879.0*x8; subject to c476: 0 <= 1269.0*x1 + 1269.0*x2 + 1278.0*x3 + 1278.0*x4 + 1283.0*x5 + 1299.0*x6 + 1252.0*x7 + 1283.0*x8; subject to c477: 0 <= 1302.0*x1 + 1302.0*x2 + 1302.0*x3 + 1302.0*x4 + 1307.0*x5 + 1305.0*x6 + 1302.0*x7 + 1272.0*x8; subject to c478: 0 <= 1541.0*x1 + 1541.0*x2 + 1541.0*x3 + 1541.0*x4 + 1541.0*x5 + 1594.0*x6 + 1621.0*x7 + 1535.0*x8; subject to c479: 0 <= 1796.0*x1 + 1796.0*x2 + 1796.0*x3 + 1796.0*x4 + 1796.0*x5 + 1769.0*x6 + 1845.0*x7 + 1794.0*x8; subject to c480: 0 <= 1055.0*x1 + 1055.0*x2 + 1055.0*x3 + 1055.0*x4 + 1069.0*x5 + 1086.0*x6 + 1081.0*x7 + 1097.0*x8; subject to c481: 0 <= 935.0*x1 + 935.0*x2 + 935.0*x3 + 935.0*x4 + 932.0*x5 + 942.0*x6 + 969.0*x7 + 941.0*x8; subject to c482: 0 <= 1722.0*x1 + 1722.0*x2 + 1722.0*x3 + 1724.0*x4 + 1723.0*x5 + 1775.0*x6 + 1785.0*x7 + 1780.0*x8; subject to c483: 0 <= 1732.0*x1 + 1732.0*x2 + 1732.0*x3 + 1728.0*x4 + 1732.0*x5 + 1715.0*x6 + 1742.0*x7 + 1696.0*x8; subject to c484: 0 <= 365.0*x1 + 365.0*x2 + 365.0*x3 + 365.0*x4 + 365.0*x5 + 373.0*x6 + 371.0*x7 + 417.0*x8; subject to c485: 0 <= 276.0*x1 + 276.0*x2 + 276.0*x3 + 276.0*x4 + 264.0*x5 + 231.0*x6 + 277.0*x7 + 257.0*x8; subject to c486: 0 <= 629.0*x1 + 629.0*x2 + 629.0*x3 + 633.0*x4 + 642.0*x5 + 642.0*x6 + 642.0*x7 + 627.0*x8; subject to c487: 0 <= 1383.0*x1 + 1383.0*x2 + 1383.0*x3 + 1383.0*x4 + 1382.0*x5 + 1335.0*x6 + 1371.0*x7 + 1347.0*x8; subject to c488: 0 <= 1128.0*x1 + 1128.0*x2 + 1128.0*x3 + 1128.0*x4 + 1129.0*x5 + 1136.0*x6 + 1110.0*x7 + 1089.0*x8; subject to c489: 0 <= 1107.0*x1 + 1107.0*x2 + 1107.0*x3 + 1107.0*x4 + 1107.0*x5 + 1108.0*x6 + 1116.0*x7 + 1096.0*x8; subject to c490: 0 <= 928.0*x1 + 931.0*x2 + 931.0*x3 + 931.0*x4 + 933.0*x5 + 916.0*x6 + 909.0*x7 + 981.0*x8; subject to c491: 0 <= 736.0*x1 + 736.0*x2 + 732.0*x3 + 736.0*x4 + 736.0*x5 + 770.0*x6 + 822.0*x7 + 739.0*x8; subject to c492: 0 <= 1587.0*x1 + 1587.0*x2 + 1587.0*x3 + 1614.0*x4 + 1614.0*x5 + 1632.0*x6 + 1581.0*x7 + 1642.0*x8; subject to c493: 0 <= 1659.0*x1 + 1659.0*x2 + 1659.0*x3 + 1659.0*x4 + 1660.0*x5 + 1681.0*x6 + 1736.0*x7 + 1645.0*x8; subject to c494: 0 <= 1955.0*x1 + 1955.0*x2 + 1955.0*x3 + 1955.0*x4 + 1955.0*x5 + 1959.0*x6 + 1961.0*x7 + 1951.0*x8; subject to c495: 0 <= 164.0*x1 + 164.0*x2 + 168.0*x3 + 164.0*x4 + 173.0*x5 + 184.0*x6 + 176.0*x7 + 99.0*x8; subject to c496: 0 <= 1635.0*x1 + 1635.0*x2 + 1635.0*x3 + 1635.0*x4 + 1621.0*x5 + 1624.0*x6 + 1625.0*x7 + 1599.0*x8; subject to c497: 0 <= 1661.0*x1 + 1661.0*x2 + 1661.0*x3 + 1664.0*x4 + 1673.0*x5 + 1667.0*x6 + 1687.0*x7 + 1655.0*x8; subject to c498: 0 <= 1576.0*x1 + 1576.0*x2 + 1576.0*x3 + 1576.0*x4 + 1578.0*x5 + 1565.0*x6 + 1573.0*x7 + 1559.0*x8; subject to c499: 0 <= 418.0*x1 + 418.0*x2 + 418.0*x3 + 391.0*x4 + 392.0*x5 + 428.0*x6 + 431.0*x7 + 399.0*x8; subject to c500: 0 <= 63.0*x1 + 63.0*x2 + 63.0*x3 + 69.0*x4 + 90.0*x5 + 66.0*x6 + 39.0*x7 - 5.0*x8; subject to c501: 0 <= 72.0*x1 + 81.0*x2 + 81.0*x3 + 84.0*x4 + 85.0*x5 + 91.0*x6 + 74.0*x7 - 8.0*x8; subject to c502: 0 <= 27.0*x1 + 25.0*x2 + 60.0*x3 + 60.0*x4 + 60.0*x5 + 100.0*x6 + 327.0*x7 - 11.0*x8; subject to c503: 0 <= -4.0*x1 + 78.0*x2 + 78.0*x3 + 78.0*x4 + 116.0*x5 + 141.0*x6 + 463.0*x7 - 16.0*x8; solve; display x1; display x2; display x3; display x4; display x5; display x6; display x7; display x8; display obj;