## ams_version=1.0 Model Main_fdesign10 { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; Variable x7; Variable x8; Variable x9; Variable x10; Variable objvar; Variable x12; Variable x13 { Range: nonnegative; } Variable x14 { Range: nonnegative; } Variable x15; Constraint e1 { Definition: { 2*x1 + 2*x2 + 2*x3 + 2*x4 + 2*x5 + 2*x6 + 2*x7 + 2*x8 + 2*x9 + 2*x10 - objvar <= 0 } } Constraint e2 { Definition: { 1.97257120307446*x1 + 1.97803172672383*x2 + 1.98288972274762*x3 + 1.98714371135317*x4 + 1.99079239673436*x5 + 1.99383466746626*x6 + 1.99626959684373*x7 + 1.99809644316372*x8 + 1.99931464995111*x9 + 1.99992384612834*x10 - objvar <= 0 } } Constraint e3 { Definition: { 1.89103715119863*x1 + 1.91260951192607*x2 + 1.93185165257814*x3 + 1.94874012957047*x4 + 1.96325436689533*x5 + 1.97537668119028*x6 + 1.98509230328264*x7 + 1.99238939618349*x8 + 1.99725906950915*x9 + 1.99969539031278*x10 - objvar <= 0 } } Constraint e4 { Definition: { 1.75763422532393*x1 + 1.80517056869972*x2 + 1.84775906502257*x3 + 1.88528298218436*x4 + 1.91763946973639*x5 + 1.94473984079535*x6 + 1.96650981512791*x7 + 1.98288972274762*x8 + 1.99383466746626*x9 + 1.99931464995111*x10 - objvar <= 0 } } Constraint e5 { Definition: { 1.57602150721344*x1 + 1.65807514511008*x2 + 1.73205080756888*x3 + 1.79758809259833*x4 + 1.85436770913357*x5 + 1.90211303259031*x6 + 1.94059145255199*x7 + 1.96961550602442*x8 + 1.98904379073655*x9 + 1.99878165403819*x10 - objvar <= 0 } } Constraint e6 { Definition: { 1.35118041523132*x1 + 1.47455467362025*x2 + 1.58670668058247*x3 + 1.68678289162577*x4 + 1.77402166635644*x5 + 1.84775906502257*x6 + 1.90743390149645*x7 + 1.95259201423987*x8 + 1.98288972274762*x9 + 1.99809644316372*x10 - objvar <= 0 } } Constraint e7 { Definition: { 1.08927807003005*x1 + 1.25864078209968*x2 + 1.41421356237309*x3 + 1.55429192291394*x4 + 1.67734113589085*x5 + 1.78201304837674*x6 + 1.8671608529944*x7 + 1.93185165257814*x8 + 1.97537668119028*x9 + 1.99725906950915*x10 - objvar <= 0 } } Constraint e8 { Definition: { 0.797498137850493*x1 + 1.01507672592141*x2 + 1.21752285801744*x3 + 1.4018185285997*x4 + 1.56521631370483*x5 + 1.70528032870818*x6 + 1.81992254175309*x7 + 1.90743390149645*x8 + 1.96650981512791*x9 + 1.99626959684373*x10 - objvar <= 0 } } Constraint e9 { Definition: { 0.483843791199335*x1 + 0.749213186831824*x2 + x3 + 1.23132295065132*x4 + 1.4386796006773*x5 + 1.61803398874989*x6 + 1.76589518571785*x7 + 1.87938524157182*x8 + 1.95629520146761*x9 + 1.99512810051965*x10 - objvar <= 0 } } Constraint e10 { Definition: { 0.15691819145569*x1 + 0.466890727711811*x2 + 0.76536686473018*x3 + 1.0449971294319*x4 + 1.29889609666037*x5 + 1.52081193120006*x6 + 1.70528032870818*x7 + 1.84775906502257*x8 + 1.94473984079535*x9 + 1.99383466746626*x10 - objvar <= 0 } } Constraint e11 { Definition: { - 0.174311485495316*x1 + 0.174311485495317*x2 + 0.517638090205041*x3 + 0.845236523481399*x4 + 1.14715287270209*x5 + 1.4142135623731*x6 + 1.63830408857798*x7 + 1.8126155740733*x8 + 1.93185165257814*x9 + 1.99238939618349*x10 - objvar <= 0 } } Constraint e12 { Definition: { - 0.500760008108883*x1 - 0.122097079069714*x2 + 0.261052384440103*x3 + 0.634609312810185*x4 + 0.984847120206934*x5 + 1.29889609666037*x6 + 1.56521631370483*x7 + 1.77402166635644*x8 + 1.91763946973639*x9 + 1.99079239673436*x10 - objvar <= 0 } } Constraint e13 { Definition: { - 0.813473286151601*x1 - 0.415823381635519*x2 - 3.21624529935327E-16*x3 + 0.415823381635518*x4 + 0.8134732861516*x5 + 1.17557050458495*x6 + 1.48628965095479*x7 + 1.73205080756888*x8 + 1.90211303259031*x9 + 1.98904379073655*x10 - objvar <= 0 } } Constraint e14 { Definition: { - 1.10387397062412*x1 - 0.700414762518935*x2 - 0.261052384440103*x3 + 0.191691505040448*x4 + 0.634609312810184*x5 + 1.0449971294319*x6 + 1.4018185285997*x7 + 1.68678289162577*x8 + 1.88528298218436*x9 + 1.98714371135317*x10 - objvar <= 0 } } Constraint e15 { Definition: { - 1.363996720125*x1 - 0.969619240492674*x2 - 0.517638090205042*x3 - 0.034904812874567*x4 + 0.44990210868773*x5 + 0.907980999479094*x6 + 1.31211805798101*x7 + 1.63830408857798*x8 + 1.8671608529944*x9 + 1.98509230328264*x10 - objvar <= 0 } } Constraint e16 { Definition: { - 1.58670668058247*x1 - 1.21752285801744*x2 - 0.765366864730179*x3 - 0.261052384440103*x4 + 0.261052384440103*x5 + 0.76536686473018*x6 + 1.21752285801744*x7 + 1.58670668058247*x8 + 1.84775906502257*x9 + 1.98288972274762*x10 - objvar <= 0 } } Constraint e17 { Definition: { - 1.76589518571785*x1 - 1.4386796006773*x2 - x3 - 0.483843791199336*x4 + 0.0697989934050022*x5 + 0.618033988749895*x6 + 1.11838580694149*x7 + 1.53208888623796*x8 + 1.8270909152852*x9 + 1.98053613748314*x10 - objvar <= 0 } } Constraint e18 { Definition: { - 1.8966473104124*x1 - 1.62823103671264*x2 - 1.21752285801744*x3 - 0.700414762518935*x4 - 0.122097079069714*x5 + 0.466890727711811*x6 + 1.01507672592141*x7 + 1.47455467362025*x8 + 1.80517056869972*x9 + 1.97803172672383*x10 - objvar <= 0 } } Constraint e19 { Definition: { - 1.97537668119028*x1 - 1.78201304837674*x2 - 1.41421356237309*x3 - 0.907980999479093*x4 - 0.312868930080462*x5 + 0.312868930080462*x6 + 0.907980999479094*x7 + 1.4142135623731*x8 + 1.78201304837674*x9 + 1.97537668119028*x10 - objvar <= 0 } } Constraint e20 { Definition: { - 1.99992384612834*x1 - 1.8966473104124*x2 - 1.58670668058247*x3 - 1.10387397062412*x4 - 0.500760008108883*x5 + 0.15691819145569*x6 + 0.797498137850492*x7 + 1.35118041523132*x8 + 1.75763422532393*x9 + 1.97257120307446*x10 - objvar <= 0 } } Constraint e21 { Definition: { - 1.96961550602442*x1 - 1.96961550602442*x2 - 1.73205080756888*x3 - 1.28557521937308*x4 - 0.684040286651337*x5 + 1.22464679914735E-16*x6 + 0.684040286651338*x7 + 1.28557521937308*x8 + 1.73205080756888*x9 + 1.96961550602442*x10 - objvar <= 0 } } Constraint e22 { Definition: { - 1.88528298218436*x1 - 1.99931464995111*x2 - 1.84775906502257*x3 - 1.45074874202458*x4 - 0.861022193616591*x5 - 0.15691819145569*x6 + 0.568030689407845*x7 + 1.21752285801744*x8 + 1.70528032870818*x9 + 1.96650981512791*x10 - objvar <= 0 } } Constraint e23 { Definition: { - 1.74923941427879*x1 - 1.98509230328264*x2 - 1.93185165257814*x3 - 1.59727102009459*x4 - 1.03007614982011*x5 - 0.312868930080462*x6 + 0.44990210868773*x7 + 1.14715287270209*x8 + 1.67734113589085*x9 + 1.96325436689533*x10 - objvar <= 0 } } Constraint e24 { Definition: { - 1.56521631370483*x1 - 1.92726090641725*x2 - 1.98288972274762*x3 - 1.72325832088305*x4 - 1.18964557350268*x5 - 0.466890727711811*x6 + 0.330095211721355*x7 + 1.07459921669365*x8 + 1.64825237724403*x9 + 1.95984940924166*x10 - objvar <= 0 } } Constraint e25 { Definition: { - 1.33826121271772*x1 - 1.8270909152852*x2 - 2*x3 - 1.8270909152852*x4 - 1.33826121271772*x5 - 0.618033988749895*x6 + 0.209056926535307*x7 + x8 + 1.61803398874989*x9 + 1.95629520146761*x10 - objvar <= 0 } } Constraint e26 { Definition: { - 1.07459921669365*x1 - 1.68678289162577*x2 - 1.98288972274762*x3 - 1.90743390149645*x4 - 1.47455467362025*x5 - 0.765366864730179*x6 + 0.087238774730672*x7 + 0.923497226470068*x8 + 1.58670668058247*x9 + 1.95259201423987*x10 - objvar <= 0 } } Constraint e27 { Definition: { - 0.781462256978548*x1 - 1.50941916044554*x2 - 1.93185165257814*x3 - 1.96325436689533*x4 - 1.59727102009459*x5 - 0.907980999479093*x6 - 0.034904812874567*x7 + 0.845236523481399*x8 + 1.55429192291394*x9 + 1.94874012957047*x10 - objvar <= 0 } } Constraint e28 { Definition: { - 0.46689072771181*x1 - 1.29889609666037*x2 - 1.84775906502257*x3 - 1.99383466746626*x4 - 1.70528032870818*x5 - 1.0449971294319*x6 - 0.15691819145569*x7 + 0.76536686473018*x8 + 1.52081193120006*x9 + 1.94473984079535*x10 - objvar <= 0 } } Constraint e29 { Definition: { - 0.139512947488251*x1 - 1.05983852846641*x2 - 1.73205080756888*x3 - 1.99878165403819*x4 - 1.79758809259833*x5 - 1.17557050458495*x6 - 0.278346201920131*x7 + 0.684040286651338*x8 + 1.48628965095479*x9 + 1.94059145255199*x10 - objvar <= 0 } } Constraint e30 { Definition: { 0.191691505040448*x1 - 0.797498137850492*x2 - 1.58670668058247*x3 - 1.97803172672383*x4 - 1.8733443784968*x5 - 1.29889609666037*x6 - 0.398735868834395*x7 + 0.601411599008546*x8 + 1.45074874202458*x9 + 1.93629528075622*x10 - objvar <= 0 } } Constraint e31 { Definition: { 0.517638090205041*x1 - 0.517638090205043*x2 - 1.4142135623731*x3 - 1.93185165257814*x4 - 1.93185165257814*x5 - 1.41421356237309*x6 - 0.517638090205041*x7 + 0.517638090205042*x8 + 1.4142135623731*x9 + 1.93185165257814*x10 - objvar <= 0 } } Constraint e32 { Definition: { 0.829386485312478*x1 - 0.226406427535814*x2 - 1.21752285801744*x3 - 1.86083513596405*x4 - 1.97257120307446*x5 - 1.52081193120006*x6 - 0.634609312810184*x7 + 0.432879227876206*x8 + 1.37670915138751*x9 + 1.92726090641725*x10 - objvar <= 0 } } Constraint e33 { Definition: { 1.11838580694149*x1 + 0.0697989934050026*x2 - x3 - 1.76589518571785*x4 - 1.99512810051965*x5 - 1.61803398874989*x6 - 0.749213186831824*x7 + 0.347296355333861*x8 + 1.33826121271772*x9 + 1.92252339187664*x10 - objvar <= 0 } } Constraint e34 { Definition: { 1.37670915138751*x1 + 0.364471050984295*x2 - 0.765366864730179*x3 - 1.64825237724403*x4 - 1.99931464995111*x5 - 1.70528032870818*x6 - 0.861022193616591*x7 + 0.261052384440103*x8 + 1.29889609666037*x9 + 1.91763946973639*x10 - objvar <= 0 } } Constraint e35 { Definition: { 1.59727102009459*x1 + 0.651136308914314*x2 - 0.517638090205041*x3 - 1.50941916044554*x4 - 1.98509230328264*x5 - 1.78201304837674*x6 - 0.969619240492674*x7 + 0.174311485495316*x8 + 1.25864078209967*x9 + 1.91260951192607*x10 - objvar <= 0 } } Constraint e36 { Definition: { 1.77402166635644*x1 + 0.923497226470066*x2 - 0.261052384440103*x3 - 1.35118041523132*x4 - 1.95259201423987*x5 - 1.84775906502257*x6 - 1.07459921669365*x7 + 0.087238774730672*x8 + 1.21752285801744*x9 + 1.90743390149645*x10 - objvar <= 0 } } Constraint e37 { Definition: { 1.90211303259031*x1 + 1.17557050458495*x2 - 3.67394039744206E-16*x3 - 1.17557050458495*x4 - 1.90211303259031*x5 - 1.90211303259031*x6 - 1.17557050458495*x7 + 1.22464679914735E-16*x8 + 1.17557050458495*x9 + 1.90211303259031*x10 - objvar <= 0 } } Constraint e38 { Definition: { 1.97803172672383*x1 + 1.4018185285997*x2 + 0.261052384440103*x3 - 0.984847120206934*x4 - 1.83412014877025*x5 - 1.94473984079535*x6 - 1.27215644055553*x7 - 0.0872387747306718*x8 + 1.13281247384967*x9 + 1.8966473104124*x10 - objvar <= 0 } } Constraint e39 { Definition: { 1.99969539031278*x1 + 1.59727102009459*x2 + 0.517638090205042*x3 - 0.781462256978548*x4 - 1.74923941427879*x5 - 1.97537668119028*x6 - 1.363996720125*x7 - 0.174311485495316*x8 + 1.08927807003005*x9 + 1.89103715119863*x10 - objvar <= 0 } } Constraint e40 { Definition: { 1.96650981512791*x1 + 1.75763422532393*x2 + 0.765366864730178*x3 - 0.568030689407845*x4 - 1.64825237724403*x5 - 1.99383466746626*x6 - 1.45074874202457*x7 - 0.261052384440103*x8 + 1.0449971294319*x9 + 1.88528298218436*x10 - objvar <= 0 } } Constraint e41 { Definition: { 1.87938524157182*x1 + 1.87938524157182*x2 + x3 - 0.347296355333861*x4 - 1.53208888623796*x5 - 2*x6 - 1.53208888623796*x7 - 0.347296355333861*x8 + x9 + 1.87938524157182*x10 - objvar <= 0 } } Constraint e42 { Definition: { 1.7407113918798*x1 + 1.95984940924166*x2 + 1.21752285801744*x3 - 0.122097079069714*x4 - 1.4018185285997*x5 - 1.99383466746626*x6 - 1.60771372123443*x7 - 0.432879227876206*x8 + 0.954317520519217*x9 + 1.8733443784968*x10 - objvar <= 0 } } Constraint e43 { Definition: { 1.55429192291394*x1 + 1.99725906950915*x2 + 1.41421356237309*x3 + 0.104671912485888*x4 - 1.25864078209967*x5 - 1.97537668119028*x6 - 1.67734113589085*x7 - 0.517638090205042*x8 + 0.907980999479094*x9 + 1.8671608529944*x10 - objvar <= 0 } } Constraint e44 { Definition: { 1.32524009643147*x1 + 1.99079239673436*x2 + 1.58670668058247*x3 + 0.330095211721356*x4 - 1.10387397062412*x5 - 1.94473984079535*x6 - 1.7407113918798*x7 - 0.601411599008546*x8 + 0.86102219361659*x9 + 1.86083513596405*x10 - objvar <= 0 } } Constraint e45 { Definition: { 1.05983852846641*x1 + 1.94059145255199*x2 + 1.73205080756888*x3 + 0.551274711633997*x4 - 0.938943125571782*x5 - 1.90211303259031*x6 - 1.79758809259833*x7 - 0.684040286651337*x8 + 0.813473286151601*x9 + 1.85436770913357*x10 - objvar <= 0 } } Constraint e46 { Definition: { 0.765366864730181*x1 + 1.84775906502257*x2 + 1.84775906502257*x3 + 0.76536686473018*x4 - 0.765366864730181*x5 - 1.84775906502257*x6 - 1.84775906502257*x7 - 0.765366864730179*x8 + 0.76536686473018*x9 + 1.84775906502257*x10 - objvar <= 0 } } Constraint e47 { Definition: { 0.449902108687731*x1 + 1.71433460140422*x2 + 1.93185165257814*x3 + 0.969619240492675*x4 - 0.584743409445474*x5 - 1.78201304837674*x6 - 1.89103715119863*x7 - 0.845236523481399*x8 + 0.7167358990906*x9 + 1.84100970690488*x10 - objvar <= 0 } } Constraint e48 { Definition: { 0.122097079069714*x1 + 1.54324916677544*x2 + 1.98288972274762*x3 + 1.16140591142188*x4 - 0.398735868834395*x5 - 1.70528032870818*x6 - 1.92726090641725*x7 - 0.923497226470068*x8 + 0.667613718467542*x9 + 1.83412014877025*x10 - objvar <= 0 } } Constraint e49 { Definition: { - 0.209056926535307*x1 + 1.33826121271772*x2 + 2*x3 + 1.33826121271772*x4 - 0.209056926535307*x5 - 1.61803398874989*x6 - 1.95629520146761*x7 - x8 + 0.618033988749895*x9 + 1.8270909152852*x10 - objvar <= 0 } } Constraint e50 { Definition: { - 0.534476752156511*x1 + 1.10387397062412*x2 + 1.98288972274762*x3 + 1.497911441578*x4 - 0.0174530709967489*x5 - 1.52081193120006*x6 - 1.97803172672383*x7 - 1.07459921669365*x8 + 0.568030689407846*x9 + 1.81992254175309*x10 - objvar <= 0 } } Constraint e51 { Definition: { - 0.845236523481397*x1 + 0.845236523481399*x2 + 1.93185165257814*x3 + 1.63830408857798*x4 + 0.174311485495316*x5 - 1.4142135623731*x6 - 1.99238939618349*x7 - 1.14715287270209*x8 + 0.517638090205041*x9 + 1.8126155740733*x10 - objvar <= 0 } } Constraint e52 { Definition: { - 1.13281247384966*x1 + 0.568030689407846*x2 + 1.84775906502257*x3 + 1.75763422532393*x4 + 0.364471050984295*x5 - 1.29889609666037*x6 - 1.99931464995111*x7 - 1.21752285801744*x8 + 0.466890727711811*x9 + 1.80517056869972*x10 - objvar <= 0 } } Constraint e53 { Definition: { - 1.38931674091799*x1 + 0.27834620192013*x2 + 1.73205080756888*x3 + 1.85436770913358*x4 + 0.551274711633999*x5 - 1.17557050458495*x6 - 1.99878165403819*x7 - 1.28557521937308*x8 + 0.415823381635518*x9 + 1.79758809259833*x10 - objvar <= 0 } } Constraint e54 { Definition: { - 1.60771372123443*x1 - 0.0174530709967462*x2 + 1.58670668058247*x3 + 1.92726090641725*x4 + 0.733002453448594*x5 - 1.0449971294319*x6 - 1.99079239673436*x7 - 1.35118041523132*x8 + 0.364471050984295*x9 + 1.78986872320405*x10 - objvar <= 0 } } Constraint e55 { Definition: { - 1.78201304837674*x1 - 0.312868930080459*x2 + 1.4142135623731*x3 + 1.97537668119028*x4 + 0.907980999479093*x5 - 0.907980999479094*x6 - 1.97537668119028*x7 - 1.41421356237309*x8 + 0.312868930080462*x9 + 1.78201304837674*x10 - objvar <= 0 } } Constraint e56 { Definition: { - 1.90743390149645*x1 - 0.601411599008547*x2 + 1.21752285801744*x3 + 1.99809644316372*x4 + 1.07459921669365*x5 - 0.765366864730179*x6 - 1.95259201423987*x7 - 1.47455467362025*x8 + 0.261052384440103*x9 + 1.77402166635644*x10 - objvar <= 0 } } Constraint e57 { Definition: { - 1.98053613748314*x1 - 0.876742293578155*x2 + x3 + 1.99512810051965*x4 + 1.23132295065132*x5 - 0.618033988749895*x6 - 1.92252339187664*x7 - 1.53208888623796*x8 + 0.209056926535307*x9 + 1.76589518571785*x10 - objvar <= 0 } } Constraint e58 { Definition: { - 1.99931464995111*x1 - 1.13281247384966*x2 + 0.765366864730179*x3 + 1.96650981512791*x4 + 1.37670915138751*x5 - 0.46689072771181*x6 - 1.88528298218436*x7 - 1.58670668058247*x8 + 0.15691819145569*x9 + 1.75763422532393*x10 - objvar <= 0 } } Constraint e59 { Definition: { - 1.96325436689533*x1 - 1.363996720125*x2 + 0.517638090205041*x3 + 1.91260951192607*x4 + 1.50941916044554*x5 - 0.31286893008046*x6 - 1.84100970690488*x7 - 1.63830408857798*x8 + 0.104671912485887*x9 + 1.74923941427879*x10 - objvar <= 0 } } Constraint e60 { Definition: { - 1.87334437849679*x1 - 1.56521631370483*x2 + 0.261052384440102*x3 + 1.83412014877025*x4 + 1.62823103671264*x5 - 0.156918191455689*x6 - 1.78986872320405*x7 - 1.68678289162577*x8 + 0.0523538966157458*x9 + 1.7407113918798*x10 - objvar <= 0 } } Constraint e61 { Definition: { - 1.73205080756888*x1 - 1.73205080756888*x2 + 2.38868023897393E-15*x3 + 1.73205080756888*x4 + 1.73205080756888*x5 - 3.67394039744206E-16*x6 - 1.73205080756888*x7 - 1.73205080756888*x8 + 1.22464679914735E-16*x9 + 1.73205080756888*x10 - objvar <= 0 } } Constraint e62 { Definition: { - 1.54324916677544*x1 - 1.86083513596405*x2 - 0.261052384440102*x3 + 1.60771372123444*x4 + 1.81992254175309*x5 + 0.156918191455689*x6 - 1.66777164413434*x7 - 1.77402166635644*x8 - 0.052353896615746*x9 + 1.72325832088305*x10 - objvar <= 0 } } Constraint e63 { Definition: { - 1.31211805798101*x1 - 1.94874012957047*x2 - 0.51763809020504*x3 + 1.46270740323834*x4 + 1.89103715119863*x5 + 0.312868930080461*x6 - 1.59727102009459*x7 - 1.8126155740733*x8 - 0.104671912485887*x9 + 1.71433460140422*x10 - objvar <= 0 } } Constraint e64 { Definition: { - 1.0449971294319*x1 - 1.99383466746626*x2 - 0.76536686473018*x3 + 1.29889609666037*x4 + 1.94473984079535*x5 + 0.46689072771181*x6 - 1.52081193120006*x7 - 1.84775906502257*x8 - 0.15691819145569*x9 + 1.70528032870818*x10 - objvar <= 0 } } Constraint e65 { Definition: { - 0.749213186831823*x1 - 1.99512810051965*x2 - 0.999999999999998*x3 + 1.11838580694149*x4 + 1.98053613748314*x5 + 0.618033988749894*x6 - 1.4386796006773*x7 - 1.87938524157182*x8 - 0.209056926535307*x9 + 1.69609619231285*x10 - objvar <= 0 } } Constraint e66 { Definition: { - 0.432879227876204*x1 - 1.95259201423987*x2 - 1.21752285801744*x3 + 0.923497226470067*x4 + 1.99809644316372*x5 + 0.76536686473018*x6 - 1.35118041523132*x7 - 1.90743390149645*x8 - 0.261052384440103*x9 + 1.68678289162577*x10 - objvar <= 0 } } Constraint e67 { Definition: { - 0.104671912485886*x1 - 1.8671608529944*x2 - 1.4142135623731*x3 + 0.7167358990906*x4 + 1.99725906950915*x5 + 0.907980999479093*x6 - 1.25864078209967*x7 - 1.93185165257814*x8 - 0.312868930080462*x9 + 1.67734113589085*x10 - objvar <= 0 } } Constraint e68 { Definition: { 0.226406427535813*x1 - 1.7407113918798*x2 - 1.58670668058247*x3 + 0.500760008108882*x4 + 1.97803172672383*x5 + 1.0449971294319*x6 - 1.16140591142188*x7 - 1.95259201423987*x8 - 0.364471050984295*x9 + 1.66777164413434*x10 - objvar <= 0 } } Constraint e69 { Definition: { 0.551274711633998*x1 - 1.57602150721344*x2 - 1.73205080756888*x3 + 0.27834620192013*x4 + 1.94059145255199*x5 + 1.17557050458495*x6 - 1.05983852846641*x7 - 1.96961550602442*x8 - 0.415823381635519*x9 + 1.65807514511008*x10 - objvar <= 0 } } Constraint e70 { Definition: { 0.861022193616588*x1 - 1.37670915138751*x2 - 1.84775906502257*x3 + 0.0523538966157472*x4 + 1.88528298218436*x5 + 1.29889609666037*x6 - 0.954317520519217*x7 - 1.98288972274762*x8 - 0.466890727711811*x9 + 1.64825237724403*x10 - objvar <= 0 } } Constraint e71 { Definition: { 1.14715287270209*x1 - 1.14715287270209*x2 - 1.93185165257814*x3 - 0.174311485495316*x4 + 1.8126155740733*x5 + 1.41421356237309*x6 - 0.8452365234814*x7 - 1.99238939618349*x8 - 0.517638090205041*x9 + 1.63830408857798*x10 - objvar <= 0 } } Constraint e72 { Definition: { 1.4018185285997*x1 - 0.892395626219618*x2 - 1.98288972274762*x3 - 0.398735868834394*x4 + 1.72325832088305*x5 + 1.52081193120006*x6 - 0.733002453448594*x7 - 1.99809644316372*x8 - 0.568030689407845*x9 + 1.62823103671264*x10 - objvar <= 0 } } Constraint e73 { Definition: { 1.61803398874989*x1 - 0.618033988749896*x2 - 2*x3 - 0.618033988749894*x4 + 1.6180339887499*x5 + 1.61803398874989*x6 - 0.618033988749895*x7 - 2*x8 - 0.618033988749895*x9 + 1.61803398874989*x10 - objvar <= 0 } } Constraint e74 { Definition: { 1.78986872320405*x1 - 0.330095211721357*x2 - 1.98288972274762*x3 - 0.829386485312478*x4 + 1.497911441578*x5 + 1.70528032870818*x6 - 0.500760008108884*x7 - 1.99809644316372*x8 - 0.667613718467542*x9 + 1.60771372123443*x10 - objvar <= 0 } } Constraint e75 { Definition: { 1.91260951192607*x1 - 0.0349048128745657*x2 - 1.93185165257814*x3 - 1.03007614982011*x4 + 1.363996720125*x5 + 1.78201304837674*x6 - 0.381617990753089*x7 - 1.99238939618349*x8 - 0.716735899090601*x9 + 1.59727102009459*x10 - objvar <= 0 } } Constraint e76 { Definition: { 1.98288972274762*x1 + 0.261052384440104*x2 - 1.84775906502257*x3 - 1.21752285801744*x4 + 1.21752285801744*x5 + 1.84775906502257*x6 - 0.261052384440103*x7 - 1.98288972274762*x8 - 0.765366864730179*x9 + 1.58670668058247*x10 - objvar <= 0 } } Constraint e77 { Definition: { 1.99878165403819*x1 + 0.551274711633998*x2 - 1.73205080756888*x3 - 1.38931674091799*x4 + 1.05983852846641*x5 + 1.90211303259031*x6 - 0.139512947488249*x7 - 1.96961550602442*x8 - 0.813473286151601*x9 + 1.57602150721344*x10 - objvar <= 0 } } Constraint e78 { Definition: { 1.95984940924166*x1 + 0.829386485312481*x2 - 1.58670668058247*x3 - 1.54324916677544*x4 + 0.892395626219618*x5 + 1.94473984079535*x6 - 0.0174530709967472*x7 - 1.95259201423987*x8 - 0.861022193616591*x9 + 1.56521631370483*x10 - objvar <= 0 } } Constraint e79 { Definition: { 1.8671608529944*x1 + 1.08927807003005*x2 - 1.4142135623731*x3 - 1.67734113589085*x4 + 0.716735899090602*x5 + 1.97537668119028*x6 + 0.104671912485886*x7 - 1.93185165257814*x8 - 0.907980999479093*x9 + 1.55429192291394*x10 - objvar <= 0 } } Constraint e80 { Definition: { 1.72325832088305*x1 + 1.32524009643147*x2 - 1.21752285801744*x3 - 1.78986872320405*x4 + 0.534476752156514*x5 + 1.99383466746626*x6 + 0.226406427535813*x7 - 1.90743390149645*x8 - 0.954317520519217*x9 + 1.54324916677544*x10 - objvar <= 0 } } Constraint e81 { Definition: { 1.53208888623796*x1 + 1.53208888623795*x2 - x3 - 1.87938524157182*x4 + 0.347296355333861*x5 + 2*x6 + 0.34729635533386*x7 - 1.87938524157182*x8 - x9 + 1.53208888623796*x10 - objvar <= 0 } } Constraint e82 { Definition: { 1.29889609666037*x1 + 1.70528032870818*x2 - 0.765366864730181*x3 - 1.94473984079535*x4 + 0.156918191455691*x5 + 1.99383466746626*x6 + 0.46689072771181*x7 - 1.84775906502257*x8 - 1.0449971294319*x9 + 1.52081193120006*x10 - objvar <= 0 } } Constraint e83 { Definition: { 1.03007614982011*x1 + 1.84100970690488*x2 - 0.517638090205042*x3 - 1.98509230328264*x4 - 0.034904812874566*x5 + 1.97537668119028*x6 + 0.584743409445473*x7 - 1.8126155740733*x8 - 1.08927807003005*x9 + 1.50941916044554*x10 - objvar <= 0 } } Constraint e84 { Definition: { 0.733002453448595*x1 + 1.93629528075622*x2 - 0.261052384440102*x3 - 1.99992384612834*x4 - 0.226406427535813*x5 + 1.94473984079535*x6 + 0.700414762518934*x7 - 1.77402166635644*x8 - 1.13281247384967*x9 + 1.497911441578*x10 - objvar <= 0 } } Constraint e85 { Definition: { 0.415823381635519*x1 + 1.98904379073655*x2 - 8.57252759403147E-16*x3 - 1.98904379073655*x4 - 0.41582338163552*x5 + 1.90211303259031*x6 + 0.813473286151601*x7 - 1.73205080756888*x8 - 1.17557050458495*x9 + 1.48628965095479*x10 - objvar <= 0 } } Constraint e86 { Definition: { 0.0872387747306712*x1 + 1.99809644316372*x2 + 0.261052384440104*x3 - 1.95259201423987*x4 - 0.601411599008547*x5 + 1.84775906502257*x6 + 0.923497226470068*x7 - 1.68678289162577*x8 - 1.21752285801744*x9 + 1.47455467362025*x10 - objvar <= 0 } } Constraint e87 { Definition: { - 0.243738686810296*x1 + 1.96325436689533*x2 + 0.517638090205044*x3 - 1.89103715119863*x4 - 0.781462256978547*x5 + 1.78201304837674*x6 + 1.03007614982011*x7 - 1.63830408857798*x8 - 1.25864078209968*x9 + 1.46270740323834*x10 - objvar <= 0 } } Constraint e88 { Definition: { - 0.568030689407844*x1 + 1.88528298218436*x2 + 0.765366864730176*x3 - 1.80517056869972*x4 - 0.954317520519215*x5 + 1.70528032870819*x6 + 1.13281247384966*x7 - 1.58670668058247*x8 - 1.29889609666037*x9 + 1.45074874202458*x10 - objvar <= 0 } } Constraint e89 { Definition: { - 0.876742293578154*x1 + 1.76589518571785*x2 + 0.999999999999998*x3 - 1.69609619231285*x4 - 1.11838580694149*x5 + 1.6180339887499*x6 + 1.23132295065132*x7 - 1.53208888623796*x8 - 1.33826121271772*x9 + 1.4386796006773*x10 - objvar <= 0 } } Constraint e90 { Definition: { - 1.16140591142188*x1 + 1.60771372123444*x2 + 1.21752285801744*x3 - 1.56521631370483*x4 - 1.27215644055553*x5 + 1.52081193120006*x6 + 1.32524009643148*x7 - 1.47455467362025*x8 - 1.37670915138751*x9 + 1.42650089830836*x10 - objvar <= 0 } } Constraint e91 { Definition: { - 1.41421356237309*x1 + 1.41421356237309*x2 + 1.41421356237309*x3 - 1.41421356237309*x4 - 1.41421356237309*x5 + 1.4142135623731*x6 + 1.41421356237309*x7 - 1.4142135623731*x8 - 1.41421356237309*x9 + 1.4142135623731*x10 - objvar <= 0 } } Constraint e92 { Definition: - objvar + x13 - x14 = 0; } Constraint e93 { Definition: objvar + x12 - x14 = 0; } Constraint e94 { Definition: sqr(x13) - (sqr(x15) + sqr(x12)) >= 0; } Constraint e95 { Definition: { - 2*x1 - 2*x2 - 2*x3 - 2*x4 - 2*x5 - 2*x6 - 2*x7 - 2*x8 - 2*x9 - 2*x10 + x14 <= 0 } } Constraint e96 { Definition: { - 1.97257120307446*x1 - 1.97803172672383*x2 - 1.98288972274762*x3 - 1.98714371135317*x4 - 1.99079239673436*x5 - 1.99383466746626*x6 - 1.99626959684373*x7 - 1.99809644316372*x8 - 1.99931464995111*x9 - 1.99992384612834*x10 + x14 <= 0 } } Constraint e97 { Definition: { - 1.89103715119863*x1 - 1.91260951192607*x2 - 1.93185165257814*x3 - 1.94874012957047*x4 - 1.96325436689533*x5 - 1.97537668119028*x6 - 1.98509230328264*x7 - 1.99238939618349*x8 - 1.99725906950915*x9 - 1.99969539031278*x10 + x14 <= 0 } } Constraint e98 { Definition: { - 1.75763422532393*x1 - 1.80517056869972*x2 - 1.84775906502257*x3 - 1.88528298218436*x4 - 1.91763946973639*x5 - 1.94473984079535*x6 - 1.96650981512791*x7 - 1.98288972274762*x8 - 1.99383466746626*x9 - 1.99931464995111*x10 + x14 <= 0 } } Constraint e99 { Definition: { - 1.57602150721344*x1 - 1.65807514511008*x2 - 1.73205080756888*x3 - 1.79758809259833*x4 - 1.85436770913357*x5 - 1.90211303259031*x6 - 1.94059145255199*x7 - 1.96961550602442*x8 - 1.98904379073655*x9 - 1.99878165403819*x10 + x14 <= 0 } } Constraint e100 { Definition: { - 1.35118041523132*x1 - 1.47455467362025*x2 - 1.58670668058247*x3 - 1.68678289162577*x4 - 1.77402166635644*x5 - 1.84775906502257*x6 - 1.90743390149645*x7 - 1.95259201423987*x8 - 1.98288972274762*x9 - 1.99809644316372*x10 + x14 <= 0 } } Constraint e101 { Definition: { - 1.08927807003005*x1 - 1.25864078209968*x2 - 1.41421356237309*x3 - 1.55429192291394*x4 - 1.67734113589085*x5 - 1.78201304837674*x6 - 1.8671608529944*x7 - 1.93185165257814*x8 - 1.97537668119028*x9 - 1.99725906950915*x10 + x14 <= 0 } } Constraint e102 { Definition: { - 0.797498137850493*x1 - 1.01507672592141*x2 - 1.21752285801744*x3 - 1.4018185285997*x4 - 1.56521631370483*x5 - 1.70528032870818*x6 - 1.81992254175309*x7 - 1.90743390149645*x8 - 1.96650981512791*x9 - 1.99626959684373*x10 + x14 <= 0 } } Constraint e103 { Definition: { - 0.483843791199335*x1 - 0.749213186831824*x2 - x3 - 1.23132295065132*x4 - 1.4386796006773*x5 - 1.61803398874989*x6 - 1.76589518571785*x7 - 1.87938524157182*x8 - 1.95629520146761*x9 - 1.99512810051965*x10 + x14 <= 0 } } Constraint e104 { Definition: { - 0.15691819145569*x1 - 0.466890727711811*x2 - 0.76536686473018*x3 - 1.0449971294319*x4 - 1.29889609666037*x5 - 1.52081193120006*x6 - 1.70528032870818*x7 - 1.84775906502257*x8 - 1.94473984079535*x9 - 1.99383466746626*x10 + x14 <= 0 } } Constraint e105 { Definition: { 0.174311485495316*x1 - 0.174311485495317*x2 - 0.517638090205041*x3 - 0.845236523481399*x4 - 1.14715287270209*x5 - 1.4142135623731*x6 - 1.63830408857798*x7 - 1.8126155740733*x8 - 1.93185165257814*x9 - 1.99238939618349*x10 + x14 <= 0 } } Constraint e106 { Definition: { 0.500760008108883*x1 + 0.122097079069714*x2 - 0.261052384440103*x3 - 0.634609312810185*x4 - 0.984847120206934*x5 - 1.29889609666037*x6 - 1.56521631370483*x7 - 1.77402166635644*x8 - 1.91763946973639*x9 - 1.99079239673436*x10 + x14 <= 0 } } Constraint e107 { Definition: { 0.813473286151601*x1 + 0.415823381635519*x2 + 3.21624529935327E-16*x3 - 0.415823381635518*x4 - 0.8134732861516*x5 - 1.17557050458495*x6 - 1.48628965095479*x7 - 1.73205080756888*x8 - 1.90211303259031*x9 - 1.98904379073655*x10 + x14 <= 0 } } Constraint e108 { Definition: { 1.10387397062412*x1 + 0.700414762518935*x2 + 0.261052384440103*x3 - 0.191691505040448*x4 - 0.634609312810184*x5 - 1.0449971294319*x6 - 1.4018185285997*x7 - 1.68678289162577*x8 - 1.88528298218436*x9 - 1.98714371135317*x10 + x14 <= 0 } } Constraint e109 { Definition: { 1.363996720125*x1 + 0.969619240492674*x2 + 0.517638090205042*x3 + 0.034904812874567*x4 - 0.44990210868773*x5 - 0.907980999479094*x6 - 1.31211805798101*x7 - 1.63830408857798*x8 - 1.8671608529944*x9 - 1.98509230328264*x10 + x14 <= 0 } } Constraint e110 { Definition: { 1.58670668058247*x1 + 1.21752285801744*x2 + 0.765366864730179*x3 + 0.261052384440103*x4 - 0.261052384440103*x5 - 0.76536686473018*x6 - 1.21752285801744*x7 - 1.58670668058247*x8 - 1.84775906502257*x9 - 1.98288972274762*x10 + x14 <= 0 } } Constraint e111 { Definition: { 1.76589518571785*x1 + 1.4386796006773*x2 + x3 + 0.483843791199336*x4 - 0.0697989934050022*x5 - 0.618033988749895*x6 - 1.11838580694149*x7 - 1.53208888623796*x8 - 1.8270909152852*x9 - 1.98053613748314*x10 + x14 <= 0 } } Constraint e112 { Definition: { 1.8966473104124*x1 + 1.62823103671264*x2 + 1.21752285801744*x3 + 0.700414762518935*x4 + 0.122097079069714*x5 - 0.466890727711811*x6 - 1.01507672592141*x7 - 1.47455467362025*x8 - 1.80517056869972*x9 - 1.97803172672383*x10 + x14 <= 0 } } Constraint e113 { Definition: { 1.97537668119028*x1 + 1.78201304837674*x2 + 1.41421356237309*x3 + 0.907980999479093*x4 + 0.312868930080462*x5 - 0.312868930080462*x6 - 0.907980999479094*x7 - 1.4142135623731*x8 - 1.78201304837674*x9 - 1.97537668119028*x10 + x14 <= 0 } } Constraint e114 { Definition: { 1.99992384612834*x1 + 1.8966473104124*x2 + 1.58670668058247*x3 + 1.10387397062412*x4 + 0.500760008108883*x5 - 0.15691819145569*x6 - 0.797498137850492*x7 - 1.35118041523132*x8 - 1.75763422532393*x9 - 1.97257120307446*x10 + x14 <= 0 } } Constraint e115 { Definition: { 1.96961550602442*x1 + 1.96961550602442*x2 + 1.73205080756888*x3 + 1.28557521937308*x4 + 0.684040286651337*x5 - 1.22464679914735E-16*x6 - 0.684040286651338*x7 - 1.28557521937308*x8 - 1.73205080756888*x9 - 1.96961550602442*x10 + x14 <= 0 } } Constraint e116 { Definition: { 1.88528298218436*x1 + 1.99931464995111*x2 + 1.84775906502257*x3 + 1.45074874202458*x4 + 0.861022193616591*x5 + 0.15691819145569*x6 - 0.568030689407845*x7 - 1.21752285801744*x8 - 1.70528032870818*x9 - 1.96650981512791*x10 + x14 <= 0 } } Constraint e117 { Definition: { 1.74923941427879*x1 + 1.98509230328264*x2 + 1.93185165257814*x3 + 1.59727102009459*x4 + 1.03007614982011*x5 + 0.312868930080462*x6 - 0.44990210868773*x7 - 1.14715287270209*x8 - 1.67734113589085*x9 - 1.96325436689533*x10 + x14 <= 0 } } Constraint e118 { Definition: { 1.56521631370483*x1 + 1.92726090641725*x2 + 1.98288972274762*x3 + 1.72325832088305*x4 + 1.18964557350268*x5 + 0.466890727711811*x6 - 0.330095211721355*x7 - 1.07459921669365*x8 - 1.64825237724403*x9 - 1.95984940924166*x10 + x14 <= 0 } } Constraint e119 { Definition: { 1.33826121271772*x1 + 1.8270909152852*x2 + 2*x3 + 1.8270909152852*x4 + 1.33826121271772*x5 + 0.618033988749895*x6 - 0.209056926535307*x7 - x8 - 1.61803398874989*x9 - 1.95629520146761*x10 + x14 <= 0 } } Constraint e120 { Definition: { 1.07459921669365*x1 + 1.68678289162577*x2 + 1.98288972274762*x3 + 1.90743390149645*x4 + 1.47455467362025*x5 + 0.765366864730179*x6 - 0.087238774730672*x7 - 0.923497226470068*x8 - 1.58670668058247*x9 - 1.95259201423987*x10 + x14 <= 0 } } Constraint e121 { Definition: { 0.781462256978548*x1 + 1.50941916044554*x2 + 1.93185165257814*x3 + 1.96325436689533*x4 + 1.59727102009459*x5 + 0.907980999479093*x6 + 0.034904812874567*x7 - 0.845236523481399*x8 - 1.55429192291394*x9 - 1.94874012957047*x10 + x14 <= 0 } } Constraint e122 { Definition: { 0.46689072771181*x1 + 1.29889609666037*x2 + 1.84775906502257*x3 + 1.99383466746626*x4 + 1.70528032870818*x5 + 1.0449971294319*x6 + 0.15691819145569*x7 - 0.76536686473018*x8 - 1.52081193120006*x9 - 1.94473984079535*x10 + x14 <= 0 } } Constraint e123 { Definition: { 0.139512947488251*x1 + 1.05983852846641*x2 + 1.73205080756888*x3 + 1.99878165403819*x4 + 1.79758809259833*x5 + 1.17557050458495*x6 + 0.278346201920131*x7 - 0.684040286651338*x8 - 1.48628965095479*x9 - 1.94059145255199*x10 + x14 <= 0 } } Constraint e124 { Definition: { - 0.191691505040448*x1 + 0.797498137850492*x2 + 1.58670668058247*x3 + 1.97803172672383*x4 + 1.8733443784968*x5 + 1.29889609666037*x6 + 0.398735868834395*x7 - 0.601411599008546*x8 - 1.45074874202458*x9 - 1.93629528075622*x10 + x14 <= 0 } } Constraint e125 { Definition: { - 0.517638090205041*x1 + 0.517638090205043*x2 + 1.4142135623731*x3 + 1.93185165257814*x4 + 1.93185165257814*x5 + 1.41421356237309*x6 + 0.517638090205041*x7 - 0.517638090205042*x8 - 1.4142135623731*x9 - 1.93185165257814*x10 + x14 <= 0 } } Constraint e126 { Definition: { - 0.829386485312478*x1 + 0.226406427535814*x2 + 1.21752285801744*x3 + 1.86083513596405*x4 + 1.97257120307446*x5 + 1.52081193120006*x6 + 0.634609312810184*x7 - 0.432879227876206*x8 - 1.37670915138751*x9 - 1.92726090641725*x10 + x14 <= 0 } } Constraint e127 { Definition: { - 1.11838580694149*x1 - 0.0697989934050026*x2 + x3 + 1.76589518571785*x4 + 1.99512810051965*x5 + 1.61803398874989*x6 + 0.749213186831824*x7 - 0.347296355333861*x8 - 1.33826121271772*x9 - 1.92252339187664*x10 + x14 <= 0 } } Constraint e128 { Definition: { - 1.37670915138751*x1 - 0.364471050984295*x2 + 0.765366864730179*x3 + 1.64825237724403*x4 + 1.99931464995111*x5 + 1.70528032870818*x6 + 0.861022193616591*x7 - 0.261052384440103*x8 - 1.29889609666037*x9 - 1.91763946973639*x10 + x14 <= 0 } } Constraint e129 { Definition: { - 1.59727102009459*x1 - 0.651136308914314*x2 + 0.517638090205041*x3 + 1.50941916044554*x4 + 1.98509230328264*x5 + 1.78201304837674*x6 + 0.969619240492674*x7 - 0.174311485495316*x8 - 1.25864078209967*x9 - 1.91260951192607*x10 + x14 <= 0 } } Constraint e130 { Definition: { - 1.77402166635644*x1 - 0.923497226470066*x2 + 0.261052384440103*x3 + 1.35118041523132*x4 + 1.95259201423987*x5 + 1.84775906502257*x6 + 1.07459921669365*x7 - 0.087238774730672*x8 - 1.21752285801744*x9 - 1.90743390149645*x10 + x14 <= 0 } } Constraint e131 { Definition: { - 1.90211303259031*x1 - 1.17557050458495*x2 + 3.67394039744206E-16*x3 + 1.17557050458495*x4 + 1.90211303259031*x5 + 1.90211303259031*x6 + 1.17557050458495*x7 - 1.22464679914735E-16*x8 - 1.17557050458495*x9 - 1.90211303259031*x10 + x14 <= 0 } } Constraint e132 { Definition: { - 1.97803172672383*x1 - 1.4018185285997*x2 - 0.261052384440103*x3 + 0.984847120206934*x4 + 1.83412014877025*x5 + 1.94473984079535*x6 + 1.27215644055553*x7 + 0.0872387747306718*x8 - 1.13281247384967*x9 - 1.8966473104124*x10 + x14 <= 0 } } Constraint e133 { Definition: { - 1.99969539031278*x1 - 1.59727102009459*x2 - 0.517638090205042*x3 + 0.781462256978548*x4 + 1.74923941427879*x5 + 1.97537668119028*x6 + 1.363996720125*x7 + 0.174311485495316*x8 - 1.08927807003005*x9 - 1.89103715119863*x10 + x14 <= 0 } } Constraint e134 { Definition: { - 1.96650981512791*x1 - 1.75763422532393*x2 - 0.765366864730178*x3 + 0.568030689407845*x4 + 1.64825237724403*x5 + 1.99383466746626*x6 + 1.45074874202457*x7 + 0.261052384440103*x8 - 1.0449971294319*x9 - 1.88528298218436*x10 + x14 <= 0 } } Constraint e135 { Definition: { - 1.87938524157182*x1 - 1.87938524157182*x2 - x3 + 0.347296355333861*x4 + 1.53208888623796*x5 + 2*x6 + 1.53208888623796*x7 + 0.347296355333861*x8 - x9 - 1.87938524157182*x10 + x14 <= 0 } } Constraint e136 { Definition: { - 1.7407113918798*x1 - 1.95984940924166*x2 - 1.21752285801744*x3 + 0.122097079069714*x4 + 1.4018185285997*x5 + 1.99383466746626*x6 + 1.60771372123443*x7 + 0.432879227876206*x8 - 0.954317520519217*x9 - 1.8733443784968*x10 + x14 <= 0 } } Constraint e137 { Definition: { - 1.55429192291394*x1 - 1.99725906950915*x2 - 1.41421356237309*x3 - 0.104671912485888*x4 + 1.25864078209967*x5 + 1.97537668119028*x6 + 1.67734113589085*x7 + 0.517638090205042*x8 - 0.907980999479094*x9 - 1.8671608529944*x10 + x14 <= 0 } } Constraint e138 { Definition: { - 1.32524009643147*x1 - 1.99079239673436*x2 - 1.58670668058247*x3 - 0.330095211721356*x4 + 1.10387397062412*x5 + 1.94473984079535*x6 + 1.7407113918798*x7 + 0.601411599008546*x8 - 0.86102219361659*x9 - 1.86083513596405*x10 + x14 <= 0 } } Constraint e139 { Definition: { - 1.05983852846641*x1 - 1.94059145255199*x2 - 1.73205080756888*x3 - 0.551274711633997*x4 + 0.938943125571782*x5 + 1.90211303259031*x6 + 1.79758809259833*x7 + 0.684040286651337*x8 - 0.813473286151601*x9 - 1.85436770913357*x10 + x14 <= 0 } } Constraint e140 { Definition: { - 0.765366864730181*x1 - 1.84775906502257*x2 - 1.84775906502257*x3 - 0.76536686473018*x4 + 0.765366864730181*x5 + 1.84775906502257*x6 + 1.84775906502257*x7 + 0.765366864730179*x8 - 0.76536686473018*x9 - 1.84775906502257*x10 + x14 <= 0 } } Constraint e141 { Definition: { - 0.449902108687731*x1 - 1.71433460140422*x2 - 1.93185165257814*x3 - 0.969619240492675*x4 + 0.584743409445474*x5 + 1.78201304837674*x6 + 1.89103715119863*x7 + 0.845236523481399*x8 - 0.7167358990906*x9 - 1.84100970690488*x10 + x14 <= 0 } } Constraint e142 { Definition: { - 0.122097079069714*x1 - 1.54324916677544*x2 - 1.98288972274762*x3 - 1.16140591142188*x4 + 0.398735868834395*x5 + 1.70528032870818*x6 + 1.92726090641725*x7 + 0.923497226470068*x8 - 0.667613718467542*x9 - 1.83412014877025*x10 + x14 <= 0 } } Constraint e143 { Definition: { 0.209056926535307*x1 - 1.33826121271772*x2 - 2*x3 - 1.33826121271772*x4 + 0.209056926535307*x5 + 1.61803398874989*x6 + 1.95629520146761*x7 + x8 - 0.618033988749895*x9 - 1.8270909152852*x10 + x14 <= 0 } } Constraint e144 { Definition: { 0.534476752156511*x1 - 1.10387397062412*x2 - 1.98288972274762*x3 - 1.497911441578*x4 + 0.0174530709967489*x5 + 1.52081193120006*x6 + 1.97803172672383*x7 + 1.07459921669365*x8 - 0.568030689407846*x9 - 1.81992254175309*x10 + x14 <= 0 } } Constraint e145 { Definition: { 0.845236523481397*x1 - 0.845236523481399*x2 - 1.93185165257814*x3 - 1.63830408857798*x4 - 0.174311485495316*x5 + 1.4142135623731*x6 + 1.99238939618349*x7 + 1.14715287270209*x8 - 0.517638090205041*x9 - 1.8126155740733*x10 + x14 <= 0 } } Constraint e146 { Definition: { 1.13281247384966*x1 - 0.568030689407846*x2 - 1.84775906502257*x3 - 1.75763422532393*x4 - 0.364471050984295*x5 + 1.29889609666037*x6 + 1.99931464995111*x7 + 1.21752285801744*x8 - 0.466890727711811*x9 - 1.80517056869972*x10 + x14 <= 0 } } Constraint e147 { Definition: { 1.38931674091799*x1 - 0.27834620192013*x2 - 1.73205080756888*x3 - 1.85436770913358*x4 - 0.551274711633999*x5 + 1.17557050458495*x6 + 1.99878165403819*x7 + 1.28557521937308*x8 - 0.415823381635518*x9 - 1.79758809259833*x10 + x14 <= 0 } } Constraint e148 { Definition: { 1.60771372123443*x1 + 0.0174530709967462*x2 - 1.58670668058247*x3 - 1.92726090641725*x4 - 0.733002453448594*x5 + 1.0449971294319*x6 + 1.99079239673436*x7 + 1.35118041523132*x8 - 0.364471050984295*x9 - 1.78986872320405*x10 + x14 <= 0 } } Constraint e149 { Definition: { 1.78201304837674*x1 + 0.312868930080459*x2 - 1.4142135623731*x3 - 1.97537668119028*x4 - 0.907980999479093*x5 + 0.907980999479094*x6 + 1.97537668119028*x7 + 1.41421356237309*x8 - 0.312868930080462*x9 - 1.78201304837674*x10 + x14 <= 0 } } Constraint e150 { Definition: { 1.90743390149645*x1 + 0.601411599008547*x2 - 1.21752285801744*x3 - 1.99809644316372*x4 - 1.07459921669365*x5 + 0.765366864730179*x6 + 1.95259201423987*x7 + 1.47455467362025*x8 - 0.261052384440103*x9 - 1.77402166635644*x10 + x14 <= 0 } } Constraint e151 { Definition: { 1.98053613748314*x1 + 0.876742293578155*x2 - x3 - 1.99512810051965*x4 - 1.23132295065132*x5 + 0.618033988749895*x6 + 1.92252339187664*x7 + 1.53208888623796*x8 - 0.209056926535307*x9 - 1.76589518571785*x10 + x14 <= 0 } } Constraint e152 { Definition: { 1.99931464995111*x1 + 1.13281247384966*x2 - 0.765366864730179*x3 - 1.96650981512791*x4 - 1.37670915138751*x5 + 0.46689072771181*x6 + 1.88528298218436*x7 + 1.58670668058247*x8 - 0.15691819145569*x9 - 1.75763422532393*x10 + x14 <= 0 } } Constraint e153 { Definition: { 1.96325436689533*x1 + 1.363996720125*x2 - 0.517638090205041*x3 - 1.91260951192607*x4 - 1.50941916044554*x5 + 0.31286893008046*x6 + 1.84100970690488*x7 + 1.63830408857798*x8 - 0.104671912485887*x9 - 1.74923941427879*x10 + x14 <= 0 } } Constraint e154 { Definition: { 1.87334437849679*x1 + 1.56521631370483*x2 - 0.261052384440102*x3 - 1.83412014877025*x4 - 1.62823103671264*x5 + 0.156918191455689*x6 + 1.78986872320405*x7 + 1.68678289162577*x8 - 0.0523538966157458*x9 - 1.7407113918798*x10 + x14 <= 0 } } Constraint e155 { Definition: { 1.73205080756888*x1 + 1.73205080756888*x2 - 2.38868023897393E-15*x3 - 1.73205080756888*x4 - 1.73205080756888*x5 + 3.67394039744206E-16*x6 + 1.73205080756888*x7 + 1.73205080756888*x8 - 1.22464679914735E-16*x9 - 1.73205080756888*x10 + x14 <= 0 } } Constraint e156 { Definition: { 1.54324916677544*x1 + 1.86083513596405*x2 + 0.261052384440102*x3 - 1.60771372123444*x4 - 1.81992254175309*x5 - 0.156918191455689*x6 + 1.66777164413434*x7 + 1.77402166635644*x8 + 0.052353896615746*x9 - 1.72325832088305*x10 + x14 <= 0 } } Constraint e157 { Definition: { 1.31211805798101*x1 + 1.94874012957047*x2 + 0.51763809020504*x3 - 1.46270740323834*x4 - 1.89103715119863*x5 - 0.312868930080461*x6 + 1.59727102009459*x7 + 1.8126155740733*x8 + 0.104671912485887*x9 - 1.71433460140422*x10 + x14 <= 0 } } Constraint e158 { Definition: { 1.0449971294319*x1 + 1.99383466746626*x2 + 0.76536686473018*x3 - 1.29889609666037*x4 - 1.94473984079535*x5 - 0.46689072771181*x6 + 1.52081193120006*x7 + 1.84775906502257*x8 + 0.15691819145569*x9 - 1.70528032870818*x10 + x14 <= 0 } } Constraint e159 { Definition: { 0.749213186831823*x1 + 1.99512810051965*x2 + 0.999999999999998*x3 - 1.11838580694149*x4 - 1.98053613748314*x5 - 0.618033988749894*x6 + 1.4386796006773*x7 + 1.87938524157182*x8 + 0.209056926535307*x9 - 1.69609619231285*x10 + x14 <= 0 } } Constraint e160 { Definition: { 0.432879227876204*x1 + 1.95259201423987*x2 + 1.21752285801744*x3 - 0.923497226470067*x4 - 1.99809644316372*x5 - 0.76536686473018*x6 + 1.35118041523132*x7 + 1.90743390149645*x8 + 0.261052384440103*x9 - 1.68678289162577*x10 + x14 <= 0 } } Constraint e161 { Definition: { 0.104671912485886*x1 + 1.8671608529944*x2 + 1.4142135623731*x3 - 0.7167358990906*x4 - 1.99725906950915*x5 - 0.907980999479093*x6 + 1.25864078209967*x7 + 1.93185165257814*x8 + 0.312868930080462*x9 - 1.67734113589085*x10 + x14 <= 0 } } Constraint e162 { Definition: { - 0.226406427535813*x1 + 1.7407113918798*x2 + 1.58670668058247*x3 - 0.500760008108882*x4 - 1.97803172672383*x5 - 1.0449971294319*x6 + 1.16140591142188*x7 + 1.95259201423987*x8 + 0.364471050984295*x9 - 1.66777164413434*x10 + x14 <= 0 } } Constraint e163 { Definition: { - 0.551274711633998*x1 + 1.57602150721344*x2 + 1.73205080756888*x3 - 0.27834620192013*x4 - 1.94059145255199*x5 - 1.17557050458495*x6 + 1.05983852846641*x7 + 1.96961550602442*x8 + 0.415823381635519*x9 - 1.65807514511008*x10 + x14 <= 0 } } Constraint e164 { Definition: { - 0.861022193616588*x1 + 1.37670915138751*x2 + 1.84775906502257*x3 - 0.0523538966157472*x4 - 1.88528298218436*x5 - 1.29889609666037*x6 + 0.954317520519217*x7 + 1.98288972274762*x8 + 0.466890727711811*x9 - 1.64825237724403*x10 + x14 <= 0 } } Constraint e165 { Definition: { - 1.14715287270209*x1 + 1.14715287270209*x2 + 1.93185165257814*x3 + 0.174311485495316*x4 - 1.8126155740733*x5 - 1.41421356237309*x6 + 0.8452365234814*x7 + 1.99238939618349*x8 + 0.517638090205041*x9 - 1.63830408857798*x10 + x14 <= 0 } } Constraint e166 { Definition: { - 1.4018185285997*x1 + 0.892395626219618*x2 + 1.98288972274762*x3 + 0.398735868834394*x4 - 1.72325832088305*x5 - 1.52081193120006*x6 + 0.733002453448594*x7 + 1.99809644316372*x8 + 0.568030689407845*x9 - 1.62823103671264*x10 + x14 <= 0 } } Constraint e167 { Definition: { - 1.61803398874989*x1 + 0.618033988749896*x2 + 2*x3 + 0.618033988749894*x4 - 1.6180339887499*x5 - 1.61803398874989*x6 + 0.618033988749895*x7 + 2*x8 + 0.618033988749895*x9 - 1.61803398874989*x10 + x14 <= 0 } } Constraint e168 { Definition: { - 1.78986872320405*x1 + 0.330095211721357*x2 + 1.98288972274762*x3 + 0.829386485312478*x4 - 1.497911441578*x5 - 1.70528032870818*x6 + 0.500760008108884*x7 + 1.99809644316372*x8 + 0.667613718467542*x9 - 1.60771372123443*x10 + x14 <= 0 } } Constraint e169 { Definition: { - 1.91260951192607*x1 + 0.0349048128745657*x2 + 1.93185165257814*x3 + 1.03007614982011*x4 - 1.363996720125*x5 - 1.78201304837674*x6 + 0.381617990753089*x7 + 1.99238939618349*x8 + 0.716735899090601*x9 - 1.59727102009459*x10 + x14 <= 0 } } Constraint e170 { Definition: { - 1.98288972274762*x1 - 0.261052384440104*x2 + 1.84775906502257*x3 + 1.21752285801744*x4 - 1.21752285801744*x5 - 1.84775906502257*x6 + 0.261052384440103*x7 + 1.98288972274762*x8 + 0.765366864730179*x9 - 1.58670668058247*x10 + x14 <= 0 } } Constraint e171 { Definition: { - 1.99878165403819*x1 - 0.551274711633998*x2 + 1.73205080756888*x3 + 1.38931674091799*x4 - 1.05983852846641*x5 - 1.90211303259031*x6 + 0.139512947488249*x7 + 1.96961550602442*x8 + 0.813473286151601*x9 - 1.57602150721344*x10 + x14 <= 0 } } Constraint e172 { Definition: { - 1.95984940924166*x1 - 0.829386485312481*x2 + 1.58670668058247*x3 + 1.54324916677544*x4 - 0.892395626219618*x5 - 1.94473984079535*x6 + 0.0174530709967472*x7 + 1.95259201423987*x8 + 0.861022193616591*x9 - 1.56521631370483*x10 + x14 <= 0 } } Constraint e173 { Definition: { - 1.8671608529944*x1 - 1.08927807003005*x2 + 1.4142135623731*x3 + 1.67734113589085*x4 - 0.716735899090602*x5 - 1.97537668119028*x6 - 0.104671912485886*x7 + 1.93185165257814*x8 + 0.907980999479093*x9 - 1.55429192291394*x10 + x14 <= 0 } } Constraint e174 { Definition: { - 1.72325832088305*x1 - 1.32524009643147*x2 + 1.21752285801744*x3 + 1.78986872320405*x4 - 0.534476752156514*x5 - 1.99383466746626*x6 - 0.226406427535813*x7 + 1.90743390149645*x8 + 0.954317520519217*x9 - 1.54324916677544*x10 + x14 <= 0 } } Constraint e175 { Definition: { - 1.53208888623796*x1 - 1.53208888623795*x2 + x3 + 1.87938524157182*x4 - 0.347296355333861*x5 - 2*x6 - 0.34729635533386*x7 + 1.87938524157182*x8 + x9 - 1.53208888623796*x10 + x14 <= 0 } } Constraint e176 { Definition: { - 1.29889609666037*x1 - 1.70528032870818*x2 + 0.765366864730181*x3 + 1.94473984079535*x4 - 0.156918191455691*x5 - 1.99383466746626*x6 - 0.46689072771181*x7 + 1.84775906502257*x8 + 1.0449971294319*x9 - 1.52081193120006*x10 + x14 <= 0 } } Constraint e177 { Definition: { - 1.03007614982011*x1 - 1.84100970690488*x2 + 0.517638090205042*x3 + 1.98509230328264*x4 + 0.034904812874566*x5 - 1.97537668119028*x6 - 0.584743409445473*x7 + 1.8126155740733*x8 + 1.08927807003005*x9 - 1.50941916044554*x10 + x14 <= 0 } } Constraint e178 { Definition: { - 0.733002453448595*x1 - 1.93629528075622*x2 + 0.261052384440102*x3 + 1.99992384612834*x4 + 0.226406427535813*x5 - 1.94473984079535*x6 - 0.700414762518934*x7 + 1.77402166635644*x8 + 1.13281247384967*x9 - 1.497911441578*x10 + x14 <= 0 } } Constraint e179 { Definition: { - 0.415823381635519*x1 - 1.98904379073655*x2 + 8.57252759403147E-16*x3 + 1.98904379073655*x4 + 0.41582338163552*x5 - 1.90211303259031*x6 - 0.813473286151601*x7 + 1.73205080756888*x8 + 1.17557050458495*x9 - 1.48628965095479*x10 + x14 <= 0 } } Constraint e180 { Definition: { - 0.0872387747306712*x1 - 1.99809644316372*x2 - 0.261052384440104*x3 + 1.95259201423987*x4 + 0.601411599008547*x5 - 1.84775906502257*x6 - 0.923497226470068*x7 + 1.68678289162577*x8 + 1.21752285801744*x9 - 1.47455467362025*x10 + x14 <= 0 } } Constraint e181 { Definition: { 0.243738686810296*x1 - 1.96325436689533*x2 - 0.517638090205044*x3 + 1.89103715119863*x4 + 0.781462256978547*x5 - 1.78201304837674*x6 - 1.03007614982011*x7 + 1.63830408857798*x8 + 1.25864078209968*x9 - 1.46270740323834*x10 + x14 <= 0 } } Constraint e182 { Definition: { 0.568030689407844*x1 - 1.88528298218436*x2 - 0.765366864730176*x3 + 1.80517056869972*x4 + 0.954317520519215*x5 - 1.70528032870819*x6 - 1.13281247384966*x7 + 1.58670668058247*x8 + 1.29889609666037*x9 - 1.45074874202458*x10 + x14 <= 0 } } Constraint e183 { Definition: { 0.876742293578154*x1 - 1.76589518571785*x2 - 0.999999999999998*x3 + 1.69609619231285*x4 + 1.11838580694149*x5 - 1.6180339887499*x6 - 1.23132295065132*x7 + 1.53208888623796*x8 + 1.33826121271772*x9 - 1.4386796006773*x10 + x14 <= 0 } } Constraint e184 { Definition: { 1.16140591142188*x1 - 1.60771372123444*x2 - 1.21752285801744*x3 + 1.56521631370483*x4 + 1.27215644055553*x5 - 1.52081193120006*x6 - 1.32524009643148*x7 + 1.47455467362025*x8 + 1.37670915138751*x9 - 1.42650089830836*x10 + x14 <= 0 } } Constraint e185 { Definition: { 1.41421356237309*x1 - 1.41421356237309*x2 - 1.41421356237309*x3 + 1.41421356237309*x4 + 1.41421356237309*x5 - 1.4142135623731*x6 - 1.41421356237309*x7 + 1.4142135623731*x8 + 1.41421356237309*x9 - 1.4142135623731*x10 + x14 <= 0 } } Constraint e186 { Definition: { - x1 - 0.999999999999995*x2 + 2*x3 - x4 - 0.999999999999998*x5 + 2*x6 - x7 - x8 + 2*x9 - x10 <= 0.01 } } Constraint e187 { Definition: { - 0.700414762518935*x1 - 1.24502927327524*x2 + 1.98288972274762*x3 - 0.797498137850492*x4 - 1.16140591142188*x5 + 1.99383466746626*x6 - 0.892395626219618*x7 - 1.07459921669365*x8 + 1.99931464995111*x9 - 0.984847120206934*x10 <= 0.01 } } Constraint e188 { Definition: { - 0.381617990753092*x1 - 1.46270740323834*x2 + 1.93185165257814*x3 - 0.584743409445477*x4 - 1.31211805798101*x5 + 1.97537668119028*x6 - 0.781462256978548*x7 - 1.14715287270209*x8 + 1.99725906950915*x9 - 0.969619240492674*x10 <= 0.01 } } Constraint e189 { Definition: { - 0.0523538966157446*x1 - 1.64825237724403*x2 + 1.84775906502257*x3 - 0.364471050984295*x4 - 1.45074874202458*x5 + 1.94473984079535*x6 - 0.667613718467541*x7 - 1.21752285801744*x8 + 1.99383466746626*x9 - 0.954317520519217*x10 <= 0.01 } } Constraint e190 { Definition: { 0.27834620192013*x1 - 1.79758809259833*x2 + 1.73205080756888*x3 - 0.139512947488254*x4 - 1.57602150721344*x5 + 1.90211303259031*x6 - 0.551274711634*x7 - 1.28557521937308*x8 + 1.98904379073655*x9 - 0.938943125571782*x10 <= 0.01 } } Constraint e191 { Definition: { 0.601411599008549*x1 - 1.90743390149646*x2 + 1.58670668058247*x3 + 0.0872387747306726*x4 - 1.68678289162577*x5 + 1.84775906502257*x6 - 0.432879227876204*x7 - 1.35118041523132*x8 + 1.98288972274762*x9 - 0.923497226470068*x10 <= 0.01 } } Constraint e192 { Definition: { 0.907980999479094*x1 - 1.97537668119027*x2 + 1.41421356237309*x3 + 0.312868930080459*x4 - 1.78201304837674*x5 + 1.78201304837674*x6 - 0.312868930080462*x7 - 1.41421356237309*x8 + 1.97537668119028*x9 - 0.907980999479094*x10 <= 0.01 } } Constraint e193 { Definition: { 1.18964557350269*x1 - 1.99992384612834*x2 + 1.21752285801744*x3 + 0.534476752156514*x4 - 1.86083513596405*x5 + 1.70528032870818*x6 - 0.191691505040447*x7 - 1.47455467362025*x8 + 1.96650981512791*x9 - 0.892395626219617*x10 <= 0.01 } } Constraint e194 { Definition: { 1.4386796006773*x1 - 1.98053613748314*x2 + x3 + 0.749213186831825*x4 - 1.92252339187664*x5 + 1.6180339887499*x6 - 0.0697989934050018*x7 - 1.53208888623796*x8 + 1.95629520146761*x9 - 0.876742293578155*x10 <= 0.01 } } Constraint e195 { Definition: { 1.64825237724403*x1 - 1.91763946973639*x2 + 0.765366864730182*x3 + 0.954317520519214*x4 - 1.96650981512791*x5 + 1.52081193120006*x6 + 0.0523538966157442*x7 - 1.58670668058247*x8 + 1.94473984079535*x9 - 0.86102219361659*x10 <= 0.01 } } Constraint e196 { Definition: { 1.8126155740733*x1 - 1.8126155740733*x2 + 0.517638090205042*x3 + 1.14715287270209*x4 - 1.99238939618349*x5 + 1.41421356237309*x6 + 0.174311485495316*x7 - 1.63830408857798*x8 + 1.93185165257814*x9 - 0.845236523481399*x10 <= 0.01 } } Constraint e197 { Definition: { 1.92726090641725*x1 - 1.66777164413434*x2 + 0.261052384440102*x3 + 1.32524009643147*x4 - 1.99992384612834*x5 + 1.29889609666037*x6 + 0.29561882225922*x7 - 1.68678289162577*x8 + 1.91763946973639*x9 - 0.829386485312478*x10 <= 0.01 } } Constraint e198 { Definition: { 1.98904379073655*x1 - 1.48628965095479*x2 - 2.20560219973841E-15*x3 + 1.48628965095479*x4 - 1.98904379073655*x5 + 1.17557050458495*x6 + 0.41582338163552*x7 - 1.73205080756888*x8 + 1.90211303259031*x9 - 0.8134732861516*x10 <= 0.01 } } Constraint e199 { Definition: { 1.99626959684373*x1 - 1.27215644055553*x2 - 0.2610523844401*x3 + 1.62823103671264*x4 - 1.95984940924166*x5 + 1.0449971294319*x6 + 0.534476752156511*x7 - 1.77402166635644*x8 + 1.88528298218436*x9 - 0.797498137850493*x10 <= 0.01 } } Constraint e200 { Definition: { 1.94874012957047*x1 - 1.0300761498201*x2 - 0.51763809020504*x3 + 1.74923941427879*x4 - 1.91260951192607*x5 + 0.907980999479093*x6 + 0.651136308914314*x7 - 1.8126155740733*x8 + 1.8671608529944*x9 - 0.781462256978547*x10 <= 0.01 } } Constraint e201 { Definition: { 1.84775906502258*x1 - 0.765366864730182*x2 - 0.765366864730179*x3 + 1.84775906502257*x4 - 1.84775906502257*x5 + 0.765366864730181*x6 + 0.76536686473018*x7 - 1.84775906502257*x8 + 1.84775906502257*x9 - 0.76536686473018*x10 <= 0.01 } } Constraint e202 { Definition: { 1.69609619231285*x1 - 0.483843791199332*x2 - x3 + 1.92252339187664*x4 - 1.76589518571785*x5 + 0.618033988749892*x6 + 0.876742293578155*x7 - 1.87938524157182*x8 + 1.8270909152852*x9 - 0.749213186831824*x10 <= 0.01 } } Constraint e203 { Definition: { 1.49791144157801*x1 - 0.191691505040452*x2 - 1.21752285801744*x3 + 1.97257120307446*x4 - 1.66777164413434*x5 + 0.466890727711811*x6 + 0.984847120206934*x7 - 1.90743390149645*x8 + 1.80517056869972*x9 - 0.733002453448595*x10 <= 0.01 } } Constraint e204 { Definition: { 1.25864078209968*x1 + 0.104671912485883*x2 - 1.41421356237309*x3 + 1.99725906950915*x4 - 1.55429192291394*x5 + 0.312868930080464*x6 + 1.08927807003005*x7 - 1.93185165257814*x8 + 1.78201304837674*x9 - 0.716735899090601*x10 <= 0.01 } } Constraint e205 { Definition: { 0.984847120206936*x1 + 0.398735868834396*x2 - 1.58670668058247*x3 + 1.99626959684373*x4 - 1.42650089830836*x5 + 0.156918191455688*x6 + 1.18964557350268*x7 - 1.95259201423987*x8 + 1.75763422532393*x9 - 0.700414762518935*x10 <= 0.01 } } Constraint e206 { Definition: { 0.684040286651342*x1 + 0.684040286651332*x2 - 1.73205080756888*x3 + 1.96961550602442*x4 - 1.28557521937308*x5 + 8.57252759403147E-16*x6 + 1.28557521937308*x7 - 1.96961550602442*x8 + 1.73205080756888*x9 - 0.684040286651338*x10 <= 0.01 } } Constraint e207 { Definition: { 0.364471050984295*x1 + 0.954317520519217*x2 - 1.84775906502257*x3 + 1.91763946973639*x4 - 1.13281247384967*x5 - 0.15691819145569*x6 + 1.37670915138751*x7 - 1.98288972274762*x8 + 1.70528032870818*x9 - 0.667613718467542*x10 <= 0.01 } } Constraint e208 { Definition: { 0.0349048128745702*x1 + 1.2036300463041*x2 - 1.93185165257814*x3 + 1.84100970690488*x4 - 0.969619240492676*x5 - 0.312868930080459*x6 + 1.46270740323834*x7 - 1.99238939618349*x8 + 1.67734113589085*x9 - 0.651136308914314*x10 <= 0.01 } } Constraint e209 { Definition: { - 0.295618822259222*x1 + 1.42650089830836*x2 - 1.98288972274762*x3 + 1.7407113918798*x4 - 0.797498137850492*x5 - 0.466890727711813*x6 + 1.54324916677544*x7 - 1.99809644316372*x8 + 1.64825237724403*x9 - 0.634609312810184*x10 <= 0.01 } } Constraint e210 { Definition: { - 0.618033988749893*x1 + 1.61803398874989*x2 - 2*x3 + 1.6180339887499*x4 - 0.618033988749896*x5 - 0.618033988749894*x6 + 1.61803398874989*x7 - 2*x8 + 1.61803398874989*x9 - 0.618033988749895*x10 <= 0.01 } } Constraint e211 { Definition: { - 0.92349722647007*x1 + 1.77402166635645*x2 - 1.98288972274762*x3 + 1.47455467362025*x4 - 0.432879227876205*x5 - 0.76536686473018*x6 + 1.68678289162577*x7 - 1.99809644316372*x8 + 1.58670668058247*x9 - 0.601411599008546*x10 <= 0.01 } } Constraint e212 { Definition: { - 1.2036300463041*x1 + 1.89103715119863*x2 - 1.93185165257814*x3 + 1.31211805798102*x4 - 0.243738686810295*x5 - 0.907980999479094*x6 + 1.74923941427879*x7 - 1.99238939618349*x8 + 1.55429192291394*x9 - 0.584743409445474*x10 <= 0.01 } } Constraint e213 { Definition: { - 1.45074874202457*x1 + 1.96650981512791*x2 - 1.84775906502258*x3 + 1.13281247384967*x4 - 0.0523538966157477*x5 - 1.0449971294319*x6 + 1.80517056869972*x7 - 1.98288972274762*x8 + 1.52081193120006*x9 - 0.568030689407846*x10 <= 0.01 } } Constraint e214 { Definition: { - 1.65807514511008*x1 + 1.99878165403819*x2 - 1.73205080756888*x3 + 0.938943125571782*x4 + 0.139512947488251*x5 - 1.17557050458495*x6 + 1.85436770913358*x7 - 1.96961550602442*x8 + 1.48628965095479*x9 - 0.551274711633998*x10 <= 0.01 } } Constraint e215 { Definition: { - 1.81992254175309*x1 + 1.98714371135318*x2 - 1.58670668058247*x3 + 0.733002453448599*x4 + 0.330095211721355*x5 - 1.29889609666036*x6 + 1.8966473104124*x7 - 1.95259201423987*x8 + 1.45074874202458*x9 - 0.534476752156514*x10 <= 0.01 } } Constraint e216 { Definition: { - 1.93185165257814*x1 + 1.93185165257814*x2 - 1.41421356237309*x3 + 0.517638090205042*x4 + 0.517638090205043*x5 - 1.4142135623731*x6 + 1.93185165257814*x7 - 1.93185165257814*x8 + 1.4142135623731*x9 - 0.517638090205041*x10 <= 0.01 } } Constraint e217 { Definition: { - 1.99079239673436*x1 + 1.83412014877025*x2 - 1.21752285801745*x3 + 0.295618822259225*x4 + 0.700414762518932*x5 - 1.52081193120006*x6 + 1.95984940924166*x7 - 1.90743390149645*x8 + 1.37670915138751*x9 - 0.500760008108883*x10 <= 0.01 } } Constraint e218 { Definition: { - 1.99512810051965*x1 + 1.69609619231285*x2 - 0.999999999999997*x3 + 0.0697989934050025*x4 + 0.876742293578157*x5 - 1.61803398874989*x6 + 1.98053613748314*x7 - 1.87938524157182*x8 + 1.33826121271772*x9 - 0.483843791199335*x10 <= 0.01 } } Constraint e219 { Definition: { - 1.94473984079535*x1 + 1.52081193120006*x2 - 0.765366864730182*x3 - 0.156918191455686*x4 + 1.0449971294319*x5 - 1.70528032870818*x6 + 1.99383466746626*x7 - 1.84775906502257*x8 + 1.29889609666037*x9 - 0.466890727711811*x10 <= 0.01 } } Constraint e220 { Definition: { - 1.84100970690488*x1 + 1.31211805798101*x2 - 0.517638090205042*x3 - 0.381617990753089*x4 + 1.2036300463041*x5 - 1.78201304837674*x6 + 1.99969539031278*x7 - 1.8126155740733*x8 + 1.25864078209967*x9 - 0.44990210868773*x10 <= 0.01 } } Constraint e221 { Definition: { - 1.68678289162577*x1 + 1.07459921669365*x2 - 0.261052384440103*x3 - 0.601411599008543*x4 + 1.35118041523132*x5 - 1.84775906502257*x6 + 1.99809644316372*x7 - 1.77402166635644*x8 + 1.21752285801744*x9 - 0.432879227876206*x10 <= 0.01 } } Constraint e222 { Definition: { - 1.48628965095479*x1 + 0.813473286151603*x2 - 5.14475451769206E-15*x3 - 0.8134732861516*x4 + 1.48628965095479*x5 - 1.90211303259031*x6 + 1.98904379073655*x7 - 1.73205080756888*x8 + 1.17557050458495*x9 - 0.415823381635519*x10 <= 0.01 } } Constraint e223 { Definition: { - 1.24502927327524*x1 + 0.53447675215651*x2 + 0.2610523844401*x3 - 1.01507672592141*x4 + 1.60771372123443*x5 - 1.94473984079535*x6 + 1.97257120307446*x7 - 1.68678289162577*x8 + 1.13281247384967*x9 - 0.398735868834394*x10 <= 0.01 } } Constraint e224 { Definition: { - 0.96961924049268*x1 + 0.243738686810299*x2 + 0.517638090205039*x3 - 1.2036300463041*x4 + 1.71433460140422*x5 - 1.97537668119028*x6 + 1.94874012957047*x7 - 1.63830408857798*x8 + 1.08927807003005*x9 - 0.38161799075309*x10 <= 0.01 } } Constraint e225 { Definition: { - 0.667613718467544*x1 - 0.0523538966157483*x2 + 0.765366864730179*x3 - 1.37670915138751*x4 + 1.80517056869972*x5 - 1.99383466746626*x6 + 1.91763946973639*x7 - 1.58670668058247*x8 + 1.0449971294319*x9 - 0.364471050984295*x10 <= 0.01 } } Constraint e226 { Definition: { - 0.347296355333866*x1 - 0.347296355333855*x2 + x3 - 1.53208888623796*x4 + 1.87938524157182*x5 - 2*x6 + 1.87938524157182*x7 - 1.53208888623796*x8 + x9 - 0.347296355333861*x10 <= 0.01 } } Constraint e227 { Definition: { - 0.0174530709967489*x1 - 0.634609312810185*x2 + 1.21752285801744*x3 - 1.66777164413434*x4 + 1.93629528075622*x5 - 1.99383466746626*x6 + 1.83412014877025*x7 - 1.47455467362025*x8 + 0.954317520519216*x9 - 0.330095211721355*x10 <= 0.01 } } Constraint e228 { Definition: { 0.312868930080458*x1 - 0.907980999479093*x2 + 1.41421356237309*x3 - 1.78201304837674*x4 + 1.97537668119027*x5 - 1.97537668119028*x6 + 1.78201304837674*x7 - 1.4142135623731*x8 + 0.907980999479094*x9 - 0.312868930080462*x10 <= 0.01 } } Constraint e229 { Definition: { 0.634609312810185*x1 - 1.16140591142188*x2 + 1.58670668058247*x3 - 1.8733443784968*x4 + 1.99626959684373*x5 - 1.94473984079535*x6 + 1.72325832088305*x7 - 1.35118041523132*x8 + 0.86102219361659*x9 - 0.295618822259221*x10 <= 0.01 } } Constraint e230 { Definition: { 0.938943125571779*x1 - 1.38931674091799*x2 + 1.73205080756888*x3 - 1.94059145255199*x4 + 1.99878165403819*x5 - 1.90211303259031*x6 + 1.65807514511008*x7 - 1.28557521937308*x8 + 0.8134732861516*x9 - 0.278346201920131*x10 <= 0.01 } } Constraint e231 { Definition: { 1.21752285801744*x1 - 1.58670668058247*x2 + 1.84775906502257*x3 - 1.98288972274762*x4 + 1.98288972274762*x5 - 1.84775906502257*x6 + 1.58670668058247*x7 - 1.21752285801744*x8 + 0.765366864730181*x9 - 0.261052384440103*x10 <= 0.01 } } Constraint e232 { Definition: { 1.46270740323834*x1 - 1.74923941427879*x2 + 1.93185165257814*x3 - 1.99969539031278*x4 + 1.94874012957047*x5 - 1.78201304837674*x6 + 1.50941916044554*x7 - 1.14715287270209*x8 + 0.716735899090601*x9 - 0.243738686810295*x10 <= 0.01 } } Constraint e233 { Definition: { 1.66777164413433*x1 - 1.87334437849679*x2 + 1.98288972274762*x3 - 1.99079239673436*x4 + 1.8966473104124*x5 - 1.70528032870819*x6 + 1.42650089830836*x7 - 1.07459921669365*x8 + 0.667613718467542*x9 - 0.226406427535814*x10 <= 0.01 } } Constraint e234 { Definition: { 1.8270909152852*x1 - 1.95629520146761*x2 + 2*x3 - 1.95629520146761*x4 + 1.8270909152852*x5 - 1.6180339887499*x6 + 1.33826121271772*x7 - x8 + 0.618033988749895*x9 - 0.209056926535307*x10 <= 0.01 } } Constraint e235 { Definition: { 1.93629528075621*x1 - 1.99626959684373*x2 + 1.98288972274762*x3 - 1.8966473104124*x4 + 1.7407113918798*x5 - 1.52081193120006*x6 + 1.24502927327524*x7 - 0.923497226470069*x8 + 0.568030689407845*x9 - 0.191691505040448*x10 <= 0.01 } } Constraint e236 { Definition: { 1.99238939618349*x1 - 1.99238939618349*x2 + 1.93185165257814*x3 - 1.8126155740733*x4 + 1.63830408857798*x5 - 1.41421356237309*x6 + 1.14715287270209*x7 - 0.845236523481399*x8 + 0.517638090205041*x9 - 0.174311485495316*x10 <= 0.01 } } Constraint e237 { Definition: { 1.99383466746626*x1 - 1.94473984079535*x2 + 1.84775906502258*x3 - 1.70528032870819*x4 + 1.52081193120006*x5 - 1.29889609666037*x6 + 1.0449971294319*x7 - 0.765366864730181*x8 + 0.46689072771181*x9 - 0.15691819145569*x10 <= 0.01 } } Constraint e238 { Definition: { 1.94059145255199*x1 - 1.85436770913357*x2 + 1.73205080756888*x3 - 1.57602150721344*x4 + 1.389316740918*x5 - 1.17557050458494*x6 + 0.938943125571782*x7 - 0.684040286651337*x8 + 0.415823381635518*x9 - 0.13951294748825*x10 <= 0.01 } } Constraint e239 { Definition: { 1.83412014877025*x1 - 1.72325832088305*x2 + 1.58670668058247*x3 - 1.42650089830836*x4 + 1.24502927327524*x5 - 1.0449971294319*x6 + 0.829386485312479*x7 - 0.601411599008546*x8 + 0.364471050984296*x9 - 0.122097079069714*x10 <= 0.01 } } Constraint e240 { Definition: { 1.67734113589085*x1 - 1.55429192291394*x2 + 1.4142135623731*x3 - 1.25864078209968*x4 + 1.08927807003006*x5 - 0.907980999479096*x6 + 0.716735899090602*x7 - 0.517638090205043*x8 + 0.312868930080462*x9 - 0.104671912485888*x10 <= 0.01 } } Constraint e241 { Definition: { 1.47455467362025*x1 - 1.35118041523132*x2 + 1.21752285801744*x3 - 1.07459921669365*x4 + 0.923497226470066*x5 - 0.765366864730181*x6 + 0.601411599008545*x7 - 0.432879227876206*x8 + 0.261052384440103*x9 - 0.087238774730672*x10 <= 0.01 } } Constraint e242 { Definition: { 1.23132295065132*x1 - 1.1183858069415*x2 + x3 - 0.87674229357816*x4 + 0.749213186831824*x5 - 0.618033988749896*x6 + 0.483843791199338*x7 - 0.347296355333861*x8 + 0.209056926535308*x9 - 0.0697989934050022*x10 <= 0.01 } } Constraint e243 { Definition: { 0.954317520519214*x1 - 0.861022193616587*x2 + 0.765366864730182*x3 - 0.667613718467544*x4 + 0.568030689407846*x5 - 0.466890727711811*x6 + 0.364471050984294*x7 - 0.261052384440103*x8 + 0.156918191455689*x9 - 0.0523538966157463*x10 <= 0.01 } } Constraint e244 { Definition: { 0.651136308914314*x1 - 0.584743409445478*x2 + 0.517638090205043*x3 - 0.449902108687735*x4 + 0.381617990753092*x5 - 0.312868930080465*x6 + 0.243738686810295*x7 - 0.174311485495317*x8 + 0.104671912485889*x9 - 0.0349048128745672*x10 <= 0.01 } } Constraint e245 { Definition: { 0.330095211721351*x1 - 0.295618822259219*x2 + 0.261052384440103*x3 - 0.226406427535815*x4 + 0.191691505040444*x5 - 0.156918191455688*x6 + 0.122097079069714*x7 - 0.0872387747306707*x8 + 0.052353896615747*x9 - 0.0174530709967478*x10 <= 0.01 } } Constraint e246 { Definition: { 5.87954259718047E-15*x1 + 1.47081412025E-15*x2 + 5.38968387752153E-15*x3 + 1.96067283990894E-15*x4 + 4.89982515786259E-15*x5 - 1.10218211923262E-15*x6 + 8.57252759403147E-16*x7 - 6.12323399573677E-16*x8 + 3.67394039744206E-16*x9 - 1.22464679914735E-16*x10 <= 0.01 } } Constraint e247 { Definition: { x1 + 0.999999999999995*x2 - 2*x3 + x4 + 0.999999999999998*x5 - 2*x6 + x7 + x8 - 2*x9 + x10 <= 0.01 } } Constraint e248 { Definition: { 0.700414762518935*x1 + 1.24502927327524*x2 - 1.98288972274762*x3 + 0.797498137850492*x4 + 1.16140591142188*x5 - 1.99383466746626*x6 + 0.892395626219618*x7 + 1.07459921669365*x8 - 1.99931464995111*x9 + 0.984847120206934*x10 <= 0.01 } } Constraint e249 { Definition: { 0.381617990753092*x1 + 1.46270740323834*x2 - 1.93185165257814*x3 + 0.584743409445477*x4 + 1.31211805798101*x5 - 1.97537668119028*x6 + 0.781462256978548*x7 + 1.14715287270209*x8 - 1.99725906950915*x9 + 0.969619240492674*x10 <= 0.01 } } Constraint e250 { Definition: { 0.0523538966157446*x1 + 1.64825237724403*x2 - 1.84775906502257*x3 + 0.364471050984295*x4 + 1.45074874202458*x5 - 1.94473984079535*x6 + 0.667613718467541*x7 + 1.21752285801744*x8 - 1.99383466746626*x9 + 0.954317520519217*x10 <= 0.01 } } Constraint e251 { Definition: { - 0.27834620192013*x1 + 1.79758809259833*x2 - 1.73205080756888*x3 + 0.139512947488254*x4 + 1.57602150721344*x5 - 1.90211303259031*x6 + 0.551274711634*x7 + 1.28557521937308*x8 - 1.98904379073655*x9 + 0.938943125571782*x10 <= 0.01 } } Constraint e252 { Definition: { - 0.601411599008549*x1 + 1.90743390149646*x2 - 1.58670668058247*x3 - 0.0872387747306726*x4 + 1.68678289162577*x5 - 1.84775906502257*x6 + 0.432879227876204*x7 + 1.35118041523132*x8 - 1.98288972274762*x9 + 0.923497226470068*x10 <= 0.01 } } Constraint e253 { Definition: { - 0.907980999479094*x1 + 1.97537668119027*x2 - 1.41421356237309*x3 - 0.312868930080459*x4 + 1.78201304837674*x5 - 1.78201304837674*x6 + 0.312868930080462*x7 + 1.41421356237309*x8 - 1.97537668119028*x9 + 0.907980999479094*x10 <= 0.01 } } Constraint e254 { Definition: { - 1.18964557350269*x1 + 1.99992384612834*x2 - 1.21752285801744*x3 - 0.534476752156514*x4 + 1.86083513596405*x5 - 1.70528032870818*x6 + 0.191691505040447*x7 + 1.47455467362025*x8 - 1.96650981512791*x9 + 0.892395626219617*x10 <= 0.01 } } Constraint e255 { Definition: { - 1.4386796006773*x1 + 1.98053613748314*x2 - x3 - 0.749213186831825*x4 + 1.92252339187664*x5 - 1.6180339887499*x6 + 0.0697989934050018*x7 + 1.53208888623796*x8 - 1.95629520146761*x9 + 0.876742293578155*x10 <= 0.01 } } Constraint e256 { Definition: { - 1.64825237724403*x1 + 1.91763946973639*x2 - 0.765366864730182*x3 - 0.954317520519214*x4 + 1.96650981512791*x5 - 1.52081193120006*x6 - 0.0523538966157442*x7 + 1.58670668058247*x8 - 1.94473984079535*x9 + 0.86102219361659*x10 <= 0.01 } } Constraint e257 { Definition: { - 1.8126155740733*x1 + 1.8126155740733*x2 - 0.517638090205042*x3 - 1.14715287270209*x4 + 1.99238939618349*x5 - 1.41421356237309*x6 - 0.174311485495316*x7 + 1.63830408857798*x8 - 1.93185165257814*x9 + 0.845236523481399*x10 <= 0.01 } } Constraint e258 { Definition: { - 1.92726090641725*x1 + 1.66777164413434*x2 - 0.261052384440102*x3 - 1.32524009643147*x4 + 1.99992384612834*x5 - 1.29889609666037*x6 - 0.29561882225922*x7 + 1.68678289162577*x8 - 1.91763946973639*x9 + 0.829386485312478*x10 <= 0.01 } } Constraint e259 { Definition: { - 1.98904379073655*x1 + 1.48628965095479*x2 + 2.20560219973841E-15*x3 - 1.48628965095479*x4 + 1.98904379073655*x5 - 1.17557050458495*x6 - 0.41582338163552*x7 + 1.73205080756888*x8 - 1.90211303259031*x9 + 0.8134732861516*x10 <= 0.01 } } Constraint e260 { Definition: { - 1.99626959684373*x1 + 1.27215644055553*x2 + 0.2610523844401*x3 - 1.62823103671264*x4 + 1.95984940924166*x5 - 1.0449971294319*x6 - 0.534476752156511*x7 + 1.77402166635644*x8 - 1.88528298218436*x9 + 0.797498137850493*x10 <= 0.01 } } Constraint e261 { Definition: { - 1.94874012957047*x1 + 1.0300761498201*x2 + 0.51763809020504*x3 - 1.74923941427879*x4 + 1.91260951192607*x5 - 0.907980999479093*x6 - 0.651136308914314*x7 + 1.8126155740733*x8 - 1.8671608529944*x9 + 0.781462256978547*x10 <= 0.01 } } Constraint e262 { Definition: { - 1.84775906502258*x1 + 0.765366864730182*x2 + 0.765366864730179*x3 - 1.84775906502257*x4 + 1.84775906502257*x5 - 0.765366864730181*x6 - 0.76536686473018*x7 + 1.84775906502257*x8 - 1.84775906502257*x9 + 0.76536686473018*x10 <= 0.01 } } Constraint e263 { Definition: { - 1.69609619231285*x1 + 0.483843791199332*x2 + x3 - 1.92252339187664*x4 + 1.76589518571785*x5 - 0.618033988749892*x6 - 0.876742293578155*x7 + 1.87938524157182*x8 - 1.8270909152852*x9 + 0.749213186831824*x10 <= 0.01 } } Constraint e264 { Definition: { - 1.49791144157801*x1 + 0.191691505040452*x2 + 1.21752285801744*x3 - 1.97257120307446*x4 + 1.66777164413434*x5 - 0.466890727711811*x6 - 0.984847120206934*x7 + 1.90743390149645*x8 - 1.80517056869972*x9 + 0.733002453448595*x10 <= 0.01 } } Constraint e265 { Definition: { - 1.25864078209968*x1 - 0.104671912485883*x2 + 1.41421356237309*x3 - 1.99725906950915*x4 + 1.55429192291394*x5 - 0.312868930080464*x6 - 1.08927807003005*x7 + 1.93185165257814*x8 - 1.78201304837674*x9 + 0.716735899090601*x10 <= 0.01 } } Constraint e266 { Definition: { - 0.984847120206936*x1 - 0.398735868834396*x2 + 1.58670668058247*x3 - 1.99626959684373*x4 + 1.42650089830836*x5 - 0.156918191455688*x6 - 1.18964557350268*x7 + 1.95259201423987*x8 - 1.75763422532393*x9 + 0.700414762518935*x10 <= 0.01 } } Constraint e267 { Definition: { - 0.684040286651342*x1 - 0.684040286651332*x2 + 1.73205080756888*x3 - 1.96961550602442*x4 + 1.28557521937308*x5 - 8.57252759403147E-16*x6 - 1.28557521937308*x7 + 1.96961550602442*x8 - 1.73205080756888*x9 + 0.684040286651338*x10 <= 0.01 } } Constraint e268 { Definition: { - 0.364471050984295*x1 - 0.954317520519217*x2 + 1.84775906502257*x3 - 1.91763946973639*x4 + 1.13281247384967*x5 + 0.15691819145569*x6 - 1.37670915138751*x7 + 1.98288972274762*x8 - 1.70528032870818*x9 + 0.667613718467542*x10 <= 0.01 } } Constraint e269 { Definition: { - 0.0349048128745702*x1 - 1.2036300463041*x2 + 1.93185165257814*x3 - 1.84100970690488*x4 + 0.969619240492676*x5 + 0.312868930080459*x6 - 1.46270740323834*x7 + 1.99238939618349*x8 - 1.67734113589085*x9 + 0.651136308914314*x10 <= 0.01 } } Constraint e270 { Definition: { 0.295618822259222*x1 - 1.42650089830836*x2 + 1.98288972274762*x3 - 1.7407113918798*x4 + 0.797498137850492*x5 + 0.466890727711813*x6 - 1.54324916677544*x7 + 1.99809644316372*x8 - 1.64825237724403*x9 + 0.634609312810184*x10 <= 0.01 } } Constraint e271 { Definition: { 0.618033988749893*x1 - 1.61803398874989*x2 + 2*x3 - 1.6180339887499*x4 + 0.618033988749896*x5 + 0.618033988749894*x6 - 1.61803398874989*x7 + 2*x8 - 1.61803398874989*x9 + 0.618033988749895*x10 <= 0.01 } } Constraint e272 { Definition: { 0.92349722647007*x1 - 1.77402166635645*x2 + 1.98288972274762*x3 - 1.47455467362025*x4 + 0.432879227876205*x5 + 0.76536686473018*x6 - 1.68678289162577*x7 + 1.99809644316372*x8 - 1.58670668058247*x9 + 0.601411599008546*x10 <= 0.01 } } Constraint e273 { Definition: { 1.2036300463041*x1 - 1.89103715119863*x2 + 1.93185165257814*x3 - 1.31211805798102*x4 + 0.243738686810295*x5 + 0.907980999479094*x6 - 1.74923941427879*x7 + 1.99238939618349*x8 - 1.55429192291394*x9 + 0.584743409445474*x10 <= 0.01 } } Constraint e274 { Definition: { 1.45074874202457*x1 - 1.96650981512791*x2 + 1.84775906502258*x3 - 1.13281247384967*x4 + 0.0523538966157477*x5 + 1.0449971294319*x6 - 1.80517056869972*x7 + 1.98288972274762*x8 - 1.52081193120006*x9 + 0.568030689407846*x10 <= 0.01 } } Constraint e275 { Definition: { 1.65807514511008*x1 - 1.99878165403819*x2 + 1.73205080756888*x3 - 0.938943125571782*x4 - 0.139512947488251*x5 + 1.17557050458495*x6 - 1.85436770913358*x7 + 1.96961550602442*x8 - 1.48628965095479*x9 + 0.551274711633998*x10 <= 0.01 } } Constraint e276 { Definition: { 1.81992254175309*x1 - 1.98714371135318*x2 + 1.58670668058247*x3 - 0.733002453448599*x4 - 0.330095211721355*x5 + 1.29889609666036*x6 - 1.8966473104124*x7 + 1.95259201423987*x8 - 1.45074874202458*x9 + 0.534476752156514*x10 <= 0.01 } } Constraint e277 { Definition: { 1.93185165257814*x1 - 1.93185165257814*x2 + 1.41421356237309*x3 - 0.517638090205042*x4 - 0.517638090205043*x5 + 1.4142135623731*x6 - 1.93185165257814*x7 + 1.93185165257814*x8 - 1.4142135623731*x9 + 0.517638090205041*x10 <= 0.01 } } Constraint e278 { Definition: { 1.99079239673436*x1 - 1.83412014877025*x2 + 1.21752285801745*x3 - 0.295618822259225*x4 - 0.700414762518932*x5 + 1.52081193120006*x6 - 1.95984940924166*x7 + 1.90743390149645*x8 - 1.37670915138751*x9 + 0.500760008108883*x10 <= 0.01 } } Constraint e279 { Definition: { 1.99512810051965*x1 - 1.69609619231285*x2 + 0.999999999999997*x3 - 0.0697989934050025*x4 - 0.876742293578157*x5 + 1.61803398874989*x6 - 1.98053613748314*x7 + 1.87938524157182*x8 - 1.33826121271772*x9 + 0.483843791199335*x10 <= 0.01 } } Constraint e280 { Definition: { 1.94473984079535*x1 - 1.52081193120006*x2 + 0.765366864730182*x3 + 0.156918191455686*x4 - 1.0449971294319*x5 + 1.70528032870818*x6 - 1.99383466746626*x7 + 1.84775906502257*x8 - 1.29889609666037*x9 + 0.466890727711811*x10 <= 0.01 } } Constraint e281 { Definition: { 1.84100970690488*x1 - 1.31211805798101*x2 + 0.517638090205042*x3 + 0.381617990753089*x4 - 1.2036300463041*x5 + 1.78201304837674*x6 - 1.99969539031278*x7 + 1.8126155740733*x8 - 1.25864078209967*x9 + 0.44990210868773*x10 <= 0.01 } } Constraint e282 { Definition: { 1.68678289162577*x1 - 1.07459921669365*x2 + 0.261052384440103*x3 + 0.601411599008543*x4 - 1.35118041523132*x5 + 1.84775906502257*x6 - 1.99809644316372*x7 + 1.77402166635644*x8 - 1.21752285801744*x9 + 0.432879227876206*x10 <= 0.01 } } Constraint e283 { Definition: { 1.48628965095479*x1 - 0.813473286151603*x2 + 5.14475451769206E-15*x3 + 0.8134732861516*x4 - 1.48628965095479*x5 + 1.90211303259031*x6 - 1.98904379073655*x7 + 1.73205080756888*x8 - 1.17557050458495*x9 + 0.415823381635519*x10 <= 0.01 } } Constraint e284 { Definition: { 1.24502927327524*x1 - 0.53447675215651*x2 - 0.2610523844401*x3 + 1.01507672592141*x4 - 1.60771372123443*x5 + 1.94473984079535*x6 - 1.97257120307446*x7 + 1.68678289162577*x8 - 1.13281247384967*x9 + 0.398735868834394*x10 <= 0.01 } } Constraint e285 { Definition: { 0.96961924049268*x1 - 0.243738686810299*x2 - 0.517638090205039*x3 + 1.2036300463041*x4 - 1.71433460140422*x5 + 1.97537668119028*x6 - 1.94874012957047*x7 + 1.63830408857798*x8 - 1.08927807003005*x9 + 0.38161799075309*x10 <= 0.01 } } Constraint e286 { Definition: { 0.667613718467544*x1 + 0.0523538966157483*x2 - 0.765366864730179*x3 + 1.37670915138751*x4 - 1.80517056869972*x5 + 1.99383466746626*x6 - 1.91763946973639*x7 + 1.58670668058247*x8 - 1.0449971294319*x9 + 0.364471050984295*x10 <= 0.01 } } Constraint e287 { Definition: { 0.347296355333866*x1 + 0.347296355333855*x2 - x3 + 1.53208888623796*x4 - 1.87938524157182*x5 + 2*x6 - 1.87938524157182*x7 + 1.53208888623796*x8 - x9 + 0.347296355333861*x10 <= 0.01 } } Constraint e288 { Definition: { 0.0174530709967489*x1 + 0.634609312810185*x2 - 1.21752285801744*x3 + 1.66777164413434*x4 - 1.93629528075622*x5 + 1.99383466746626*x6 - 1.83412014877025*x7 + 1.47455467362025*x8 - 0.954317520519216*x9 + 0.330095211721355*x10 <= 0.01 } } Constraint e289 { Definition: { - 0.312868930080458*x1 + 0.907980999479093*x2 - 1.41421356237309*x3 + 1.78201304837674*x4 - 1.97537668119027*x5 + 1.97537668119028*x6 - 1.78201304837674*x7 + 1.4142135623731*x8 - 0.907980999479094*x9 + 0.312868930080462*x10 <= 0.01 } } Constraint e290 { Definition: { - 0.634609312810185*x1 + 1.16140591142188*x2 - 1.58670668058247*x3 + 1.8733443784968*x4 - 1.99626959684373*x5 + 1.94473984079535*x6 - 1.72325832088305*x7 + 1.35118041523132*x8 - 0.86102219361659*x9 + 0.295618822259221*x10 <= 0.01 } } Constraint e291 { Definition: { - 0.938943125571779*x1 + 1.38931674091799*x2 - 1.73205080756888*x3 + 1.94059145255199*x4 - 1.99878165403819*x5 + 1.90211303259031*x6 - 1.65807514511008*x7 + 1.28557521937308*x8 - 0.8134732861516*x9 + 0.278346201920131*x10 <= 0.01 } } Constraint e292 { Definition: { - 1.21752285801744*x1 + 1.58670668058247*x2 - 1.84775906502257*x3 + 1.98288972274762*x4 - 1.98288972274762*x5 + 1.84775906502257*x6 - 1.58670668058247*x7 + 1.21752285801744*x8 - 0.765366864730181*x9 + 0.261052384440103*x10 <= 0.01 } } Constraint e293 { Definition: { - 1.46270740323834*x1 + 1.74923941427879*x2 - 1.93185165257814*x3 + 1.99969539031278*x4 - 1.94874012957047*x5 + 1.78201304837674*x6 - 1.50941916044554*x7 + 1.14715287270209*x8 - 0.716735899090601*x9 + 0.243738686810295*x10 <= 0.01 } } Constraint e294 { Definition: { - 1.66777164413433*x1 + 1.87334437849679*x2 - 1.98288972274762*x3 + 1.99079239673436*x4 - 1.8966473104124*x5 + 1.70528032870819*x6 - 1.42650089830836*x7 + 1.07459921669365*x8 - 0.667613718467542*x9 + 0.226406427535814*x10 <= 0.01 } } Constraint e295 { Definition: { - 1.8270909152852*x1 + 1.95629520146761*x2 - 2*x3 + 1.95629520146761*x4 - 1.8270909152852*x5 + 1.6180339887499*x6 - 1.33826121271772*x7 + x8 - 0.618033988749895*x9 + 0.209056926535307*x10 <= 0.01 } } Constraint e296 { Definition: { - 1.93629528075621*x1 + 1.99626959684373*x2 - 1.98288972274762*x3 + 1.8966473104124*x4 - 1.7407113918798*x5 + 1.52081193120006*x6 - 1.24502927327524*x7 + 0.923497226470069*x8 - 0.568030689407845*x9 + 0.191691505040448*x10 <= 0.01 } } Constraint e297 { Definition: { - 1.99238939618349*x1 + 1.99238939618349*x2 - 1.93185165257814*x3 + 1.8126155740733*x4 - 1.63830408857798*x5 + 1.41421356237309*x6 - 1.14715287270209*x7 + 0.845236523481399*x8 - 0.517638090205041*x9 + 0.174311485495316*x10 <= 0.01 } } Constraint e298 { Definition: { - 1.99383466746626*x1 + 1.94473984079535*x2 - 1.84775906502258*x3 + 1.70528032870819*x4 - 1.52081193120006*x5 + 1.29889609666037*x6 - 1.0449971294319*x7 + 0.765366864730181*x8 - 0.46689072771181*x9 + 0.15691819145569*x10 <= 0.01 } } Constraint e299 { Definition: { - 1.94059145255199*x1 + 1.85436770913357*x2 - 1.73205080756888*x3 + 1.57602150721344*x4 - 1.389316740918*x5 + 1.17557050458494*x6 - 0.938943125571782*x7 + 0.684040286651337*x8 - 0.415823381635518*x9 + 0.13951294748825*x10 <= 0.01 } } Constraint e300 { Definition: { - 1.83412014877025*x1 + 1.72325832088305*x2 - 1.58670668058247*x3 + 1.42650089830836*x4 - 1.24502927327524*x5 + 1.0449971294319*x6 - 0.829386485312479*x7 + 0.601411599008546*x8 - 0.364471050984296*x9 + 0.122097079069714*x10 <= 0.01 } } Constraint e301 { Definition: { - 1.67734113589085*x1 + 1.55429192291394*x2 - 1.4142135623731*x3 + 1.25864078209968*x4 - 1.08927807003006*x5 + 0.907980999479096*x6 - 0.716735899090602*x7 + 0.517638090205043*x8 - 0.312868930080462*x9 + 0.104671912485888*x10 <= 0.01 } } Constraint e302 { Definition: { - 1.47455467362025*x1 + 1.35118041523132*x2 - 1.21752285801744*x3 + 1.07459921669365*x4 - 0.923497226470066*x5 + 0.765366864730181*x6 - 0.601411599008545*x7 + 0.432879227876206*x8 - 0.261052384440103*x9 + 0.087238774730672*x10 <= 0.01 } } Constraint e303 { Definition: { - 1.23132295065132*x1 + 1.1183858069415*x2 - x3 + 0.87674229357816*x4 - 0.749213186831824*x5 + 0.618033988749896*x6 - 0.483843791199338*x7 + 0.347296355333861*x8 - 0.209056926535308*x9 + 0.0697989934050022*x10 <= 0.01 } } Constraint e304 { Definition: { - 0.954317520519214*x1 + 0.861022193616587*x2 - 0.765366864730182*x3 + 0.667613718467544*x4 - 0.568030689407846*x5 + 0.466890727711811*x6 - 0.364471050984294*x7 + 0.261052384440103*x8 - 0.156918191455689*x9 + 0.0523538966157463*x10 <= 0.01 } } Constraint e305 { Definition: { - 0.651136308914314*x1 + 0.584743409445478*x2 - 0.517638090205043*x3 + 0.449902108687735*x4 - 0.381617990753092*x5 + 0.312868930080465*x6 - 0.243738686810295*x7 + 0.174311485495317*x8 - 0.104671912485889*x9 + 0.0349048128745672*x10 <= 0.01 } } Constraint e306 { Definition: { - 0.330095211721351*x1 + 0.295618822259219*x2 - 0.261052384440103*x3 + 0.226406427535815*x4 - 0.191691505040444*x5 + 0.156918191455688*x6 - 0.122097079069714*x7 + 0.0872387747306707*x8 - 0.052353896615747*x9 + 0.0174530709967478*x10 <= 0.01 } } Constraint e307 { Definition: { - 5.87954259718047E-15*x1 - 1.47081412025E-15*x2 - 5.38968387752153E-15*x3 - 1.96067283990894E-15*x4 - 4.89982515786259E-15*x5 + 1.10218211923262E-15*x6 - 8.57252759403147E-16*x7 + 6.12323399573677E-16*x8 - 3.67394039744206E-16*x9 + 1.22464679914735E-16*x10 <= 0.01 } } Procedure MainInitialization { Body: { objvar.lower := 1; x15.lower := 2; x15.upper := 2; } } MathematicalProgram fdesign10 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve fdesign10; } } Procedure MainTermination { Body: { return 1; } } }