* Cute AMPL model  (translation to GAMS)
*
*
***************************
* 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

        parameter   n;   n =      8 ;
        parameter ip1; ip1 = 1 + (8);

Positive Variable x1,x2,x3,x4,x5,x6,x7,x8;
Variable Obj ;

Equation  c1,  c2,  c3,  c4,  c5,  c6,  c7,  c8,  c9,  c10,
         c11, c12, c13, c14, c15, c16, c17, c18, c19,  c20,
         c21, c22, c23, c24, c25, c26, c27, c28, c29,  c30,
         c31, c32, c33, c34, c35, c36, c37, c38, c39,  c40,
         c41, c42, c43, c44, c45, c46, c47, c48, c49,  c50,
         c51, c52, c53, c54, c55, c56, c57, c58, c59,  c60,
         c61, c62, c63, c64, c65, c66, c67, c68, c69,  c70,
         c71, c72, c73, c74, c75, c76, c77, c78, c79,  c80,
         c81, c82, c83, c84, c85, c86, c87, c88, c89,  c90,
         c91, c92, c93, c94, c95, c96, c97, c98, c99, c100,

        c101,c102,c103,c104,c105,c106,c107,c108,c109, c110,
        c111,c112,c113,c114,c115,c116,c117,c118,c119, c120,
        c121,c122,c123,c124,c125,c126,c127,c128,c129, c130,
        c131,c132,c133,c134,c135,c136,c137,c138,c139, c140,
        c141,c142,c143,c144,c145,c146,c147,c148,c149, c150,
        c151,c152,c153,c154,c155,c156,c157,c158,c159, c160,
        c161,c162,c163,c164,c165,c166,c167,c168,c169, c170,
        c171,c172,c173,c174,c175,c176,c177,c178,c179, c180,
        c181,c182,c183,c184,c185,c186,c187,c188,c189, c190,
        c191,c192,c193,c194,c195,c196,c197,c198,c199, c200,

        c201,c202,c203,c204,c205,c206,c207,c208,c209, c210,
        c211,c212,c213,c214,c215,c216,c217,c218,c219, c220,
        c221,c222,c223,c224,c225,c226,c227,c228,c229, c230,
        c231,c232,c233,c234,c235,c236,c237,c238,c239, c240,
        c241,c242,c243,c244,c245,c246,c247,c248,c249, c250,
        c251,c252,c253,c254,c255,c256,c257,c258,c259, c260,
        c261,c262,c263,c264,c265,c266,c267,c268,c269, c270,
        c271,c272,c273,c274,c275,c276,c277,c278,c279, c280,
        c281,c282,c283,c284,c285,c286,c287,c288,c289, c290,
        c291,c292,c293,c294,c295,c296,c297,c298,c299, c300,

        c301,c302,c303,c304,c305,c306,c307,c308,c309, c310,
        c311,c312,c313,c314,c315,c316,c317,c318,c319, c320,
        c321,c322,c323,c324,c325,c326,c327,c328,c329, c330,
        c331,c332,c333,c334,c335,c336,c337,c338,c339, c340,
        c341,c342,c343,c344,c345,c346,c347,c348,c349, c350,
        c351,c352,c353,c354,c355,c356,c357,c358,c359, c360,
        c361,c362,c363,c364,c365,c366,c367,c368,c369, c370,
        c371,c372,c373,c374,c375,c376,c377,c378,c379, c380,
        c381,c382,c383,c384,c385,c386,c387,c388,c389, c390,
        c391,c392,c393,c394,c395,c396,c397,c398,c399, c400,

        c401,c402,c403,c404,c405,c406,c407,c408,c409, c410,
        c411,c412,c413,c414,c415,c416,c417,c418,c419, c420,
        c421,c422,c423,c424,c425,c426,c427,c428,c429, c430,
        c431,c432,c433,c434,c435,c436,c437,c438,c439, c440,
        c441,c442,c443,c444,c445,c446,c447,c448,c449, c450,
        c451,c452,c453,c454,c455,c456,c457,c458,c459, c460,
        c461,c462,c463,c464,c465,c466,c467,c468,c469, c470,
        c471,c472,c473,c474,c475,c476,c477,c478,c479, c480,
        c481,c482,c483,c484,c485,c486,c487,c488,c489, c490,
        c491,c492,c493,c494,c495,c496,c497,c498,c499, c500,

        c501,c502,c503,  Def_obj ;

Def_obj..

Obj =e=
      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                           ;


c1..
        x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 =e= 1;

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

x1.up = 1 ;
x2.up = 1 ;
x3.up = 1 ;
x4.up = 1 ;
x5.up = 1 ;
x6.up = 1 ;
x7.up = 1 ;
x8.up = 1 ;

x1.l  = 0 ;
x2.l  = 0 ;
x3.l  = 0 ;
x4.l  = 0 ;
x5.l  = 0 ;
x6.l  = 0 ;
x7.l  = 0 ;
x8.l  = 0 ;

Model dualc8 /all/;

Solve dualc8  using qcp minimize Obj;


display x1.l  ; display x2.l ; display x3.l  ;
display x4.l  ; display x5.l ; display x6.l  ;
display x7.l  ; display x8.l ; display Obj.l ;