QPLIB

A Library of Quadratic Programming Instances

Home // browse instances // view statistics // read documentation // download QPLIB archive [ 1.5G ]

QPLIB_2894

Formats gms lp mod qplib
Problem type probtype LCQ
Solution point objective value solobjvalue 4.99987527 (gdx, sol)
Solution point infeasibility solinfeasibility 4.8850e-15
Donor donor Ruth Misener
#Variables nvars 17
#Binary Variables nbinvars 0
#Integer Variables nintvars 0
#Bounded non-binary Variables nboundedvars 16
#Variables with only one bound nsingleboundedvars 0
#Nonlinear Variables nnlvars 16
#Nonlinear Binary Variables nnlbinvars 0
#Nonlinear Integer Variables nnlintvars 0
Objective Sense objsense min
Objective type objtype linear
Objective curvature objcurvature linear
#Negative eigenvalues in objective matrix nobjquadnegev  
#Positive eigenvalues in objective matrix nobjquadposev  
#Nonzeros in Objective nobjnz 1
#Nonlinear Nonzeros in Objective nobjnlnz 0
#Quadratic Terms in Objective nobjquadnz 0
#Square Terms in Objective nobjquaddiagnz 0
#Constraints ncons 209
#Linear Constraints nlincons 55
#Quadratic Constraints nquadcons 154
#Diagonal Quadratic Constraints ndiagquadcons 4
Constraints curvature conscurvature indefinite
#Convex Nonlinear Constraints nconvexnlcons 0
#Concave Nonlinear Constraints nconcavenlcons 29
#Indefinite Nonlinear Constraints nindefinitenlcons 125
#Nonzeros in Jacobian njacobiannz 1263
#Nonlinear Nonzeros in Jacobian njacobiannlnz 1088
#Nonzeros in (Upper-Left) Hessian of Lagrangian nlaghessiannz 216
#Nonzeros in Diagonal of Hessian of Lagrangian nlaghessiandiagnz 16
#Blocks in Hessian of Lagrangian nlaghessianblocks 1
Minimal blocksize in Hessian of Lagrangian laghessianminblocksize 16
Maximal blocksize in Hessian of Lagrangian laghessianmaxblocksize 16
Average blocksize in Hessian of Lagrangian laghessianavgblocksize 16.0
Sparsity Jacobian
Sparsity Lag. Hessian

QPLIB_2894.gms

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*        210        5      179       26        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*         18       18        0        0        0        0        0        0
*  FX      0        0        0        0        0        0        0        0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*       1265      177     1088        0
*
*  Solve m using QCP minimizing objvar;


Variables  objvar,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18;

Positive Variables  x2,x7;

Equations  e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19
          ,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36
          ,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53
          ,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70
          ,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81,e82,e83,e84,e85,e86,e87
          ,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,e98,e99,e100,e101,e102,e103
          ,e104,e105,e106,e107,e108,e109,e110,e111,e112,e113,e114,e115,e116
          ,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,e128,e129
          ,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142
          ,e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155
          ,e156,e157,e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168
          ,e169,e170,e171,e172,e173,e174,e175,e176,e177,e178,e179,e180,e181
          ,e182,e183,e184,e185,e186,e187,e188,e189,e190,e191,e192,e193,e194
          ,e195,e196,e197,e198,e199,e200,e201,e202,e203,e204,e205,e206,e207
          ,e208,e209,e210;


e1..  - objvar + x2 =E= 0;

e2..    0.20410502*x3 + 2.24629156*x4 - x5 =L= 0;

e3..    3.94678752*x6 - 1.42893791*x7 - x8 =L= 0;

e4..  - 1.52786255*x9 + 2.47212728*x10 - x11 =L= 0;

e5..    0.43022284*x12 + 1.63415571*x13 - x14 =L= 0;

e6..    3.40502701*x3 - 1.59481484*x4 - x5 =L= 0;

e7..  - 6.05321248*x6 - 1.42893791*x7 - x8 =L= 0;

e8..    2.47213745*x9 + 0.47212728*x10 - x11 =L= 0;

e9..    1.60415853*x12 - 1.04912586*x13 - x14 =L= 0;

e10..  - 4.40522266*x3 - 1.59481484*x4 - x5 =L= 0;

e11..    0.19678752*x6 + 1.69606209*x7 - x8 =L= 0;

e12..    3.47213745*x9 - 1.52787272*x10 - x11 =L= 0;

e13..  - 3.14748592*x12 - 1.04912586*x13 - x14 =L= 0;

e14..  - 1.52786255*x9 - 1.52787272*x10 - x11 =L= 0;

e15..    x2 + 0.20410502*x3 + 2.24629156*x4 - x5 =G= 0;

e16..    x2 + 3.94678752*x6 - 1.42893791*x7 - x8 =G= 0;

e17..    x2 - 1.52786255*x9 + 2.47212728*x10 - x11 =G= 0;

e18..    x2 + 0.43022284*x12 + 1.63415571*x13 - x14 =G= 0;

e19..    x2 + 3.40502701*x3 - 1.59481484*x4 - x5 =G= 0;

e20..    x2 - 6.05321248*x6 - 1.42893791*x7 - x8 =G= 0;

e21..    x2 + 2.47213745*x9 + 0.47212728*x10 - x11 =G= 0;

e22..    x2 + 1.60415853*x12 - 1.04912586*x13 - x14 =G= 0;

e23..    x2 - 4.40522266*x3 - 1.59481484*x4 - x5 =G= 0;

e24..    x2 + 0.19678752*x6 + 1.69606209*x7 - x8 =G= 0;

e25..    x2 + 3.47213745*x9 - 1.52787272*x10 - x11 =G= 0;

e26..    x2 - 3.14748592*x12 - 1.04912586*x13 - x14 =G= 0;

e27..    x2 - x5 =G= 0;

e28..    x2 - x8 =G= 0;

e29..    x2 - 1.52786255*x9 - 1.52787272*x10 - x11 =G= 0;

e30..    x2 - x14 =G= 0;

e31..  - 2.24629156*x3 + 0.20410502*x4 - x15 =L= 0;

e32..    1.42893791*x6 + 3.94678752*x7 - x16 =L= 0;

e33..  - 2.47212728*x9 - 1.52786255*x10 - x17 =L= 0;

e34..  - 1.63415571*x12 + 0.43022284*x13 - x18 =L= 0;

e35..    1.59481484*x3 + 3.40502701*x4 - x15 =L= 0;

e36..    1.42893791*x6 - 6.05321248*x7 - x16 =L= 0;

e37..  - 0.47212728*x9 + 2.47213745*x10 - x17 =L= 0;

e38..    1.04912586*x12 + 1.60415853*x13 - x18 =L= 0;

e39..    1.59481484*x3 - 4.40522266*x4 - x15 =L= 0;

e40..  - 1.69606209*x6 + 0.19678752*x7 - x16 =L= 0;

e41..    1.52787272*x9 + 3.47213745*x10 - x17 =L= 0;

e42..    1.04912586*x12 - 3.14748592*x13 - x18 =L= 0;

e43..    1.52787272*x9 - 1.52786255*x10 - x17 =L= 0;

e44..  - 2.24629156*x3 + 0.20410502*x4 - x15 =G= -10;

e45..    1.42893791*x6 + 3.94678752*x7 - x16 =G= -10;

e46..  - 2.47212728*x9 - 1.52786255*x10 - x17 =G= -10;

e47..  - 1.63415571*x12 + 0.43022284*x13 - x18 =G= -10;

e48..    1.59481484*x3 + 3.40502701*x4 - x15 =G= -10;

e49..    1.42893791*x6 - 6.05321248*x7 - x16 =G= -10;

e50..  - 0.47212728*x9 + 2.47213745*x10 - x17 =G= -10;

e51..    1.04912586*x12 + 1.60415853*x13 - x18 =G= -10;

e52..    1.59481484*x3 - 4.40522266*x4 - x15 =G= -10;

e53..  - 1.69606209*x6 + 0.19678752*x7 - x16 =G= -10;

e54..    1.52787272*x9 + 3.47213745*x10 - x17 =G= -10;

e55..    1.04912586*x12 - 3.14748592*x13 - x18 =G= -10;

e56..    1.52787272*x9 - 1.52786255*x10 - x17 =G= -10;

e57.. sqr(x3) + sqr(x4) =E= 1;

e58.. sqr(x6) + sqr(x7) =E= 1;

e59.. sqr(x9) + sqr(x10) =E= 1;

e60.. sqr(x12) + sqr(x13) =E= 1;

e61.. sqr(x5) - 2*x8*x5 + sqr(x8) + sqr(x15) - 2*x16*x15 + sqr(x16)
       =G= 9.143040659;

e62.. sqr(x5) - 2*x11*x5 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17)
       =G= 9.751079108;

e63.. sqr(x5) - 2*x14*x5 + sqr(x14) + sqr(x15) - 2*x18*x15 + sqr(x18)
       =G= 6.990422425;

e64.. sqr(x5) - 4.5236206*x6*x5 - 1.06782914*x7*x5 - 2*x8*x5 + 5.400850601*sqr(
      x6) + 4.5236206*x8*x6 + 1.06782914*x15*x6 - 1.06782914*x16*x6 + 
      5.400850601*sqr(x7) + 1.06782914*x8*x7 - 4.5236206*x15*x7 + 4.5236206*x16
      *x7 + sqr(x8) + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 6.199294212;

e65.. sqr(x5) + 4.3914795*x9*x5 - 1.47802734*x10*x5 - 2*x11*x5 + 5.367414254*x9
      *x9 - 4.3914795*x11*x9 + 1.47802734*x15*x9 - 1.47802734*x17*x9 + 
      5.367414254*sqr(x10) + 1.47802734*x11*x10 + 4.3914795*x15*x10 - 4.3914795
      *x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17) =G= 5.681888199;

e66.. sqr(x5) - 3.02492942*x12*x5 - 1.00827778*x13*x5 - 2*x14*x5 + 2.541705519*
      sqr(x12) + 3.02492942*x14*x12 + 1.00827778*x15*x12 - 1.00827778*x18*x12
       + 2.541705519*sqr(x13) + 1.00827778*x14*x13 - 3.02492942*x15*x13 + 
      3.02492942*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*x15 + sqr(x18)
       =G= 4.578751829;

e67.. sqr(x5) + 4.009552*x6*x5 - 1.45166714*x7*x5 - 2*x8*x5 + 4.545961182*sqr(
      x6) - 4.009552*x8*x6 + 1.45166714*x15*x6 - 1.45166714*x16*x6 + 
      4.545961182*sqr(x7) + 1.45166714*x8*x7 + 4.009552*x15*x7 - 4.009552*x16*
      x7 + sqr(x8) + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 5.280432558;

e68.. sqr(x5) - 2.10591634*x9*x5 + 3.40738932*x10*x5 - 2*x11*x5 + 4.011296402*
      x9*x9 + 2.10591634*x11*x9 - 3.40738932*x15*x9 + 3.40738932*x17*x9 + 
      4.011296402*sqr(x10) - 3.40738932*x11*x10 - 2.10591634*x15*x10 + 
      2.10591634*x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17)
       =G= 4.28373765;

e69.. sqr(x5) + 2.26962754*x12*x5 - 1.48442486*x13*x5 - 2*x14*x5 + 1.838681584*
      sqr(x12) - 2.26962754*x14*x12 + 1.48442486*x15*x12 - 1.48442486*x18*x12
       + 1.838681584*sqr(x13) + 1.48442486*x14*x13 + 2.26962754*x15*x13 - 
      2.26962754*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*x15 + sqr(x18)
       =G= 3.616570413;

e70.. sqr(x5) - 7.357076*x6*x5 - 1.7367363*x7*x5 - 2*x8*x5 + 14.28570506*sqr(x6
      ) + 7.357076*x8*x6 + 1.7367363*x15*x6 - 1.7367363*x16*x6 + 14.28570506*
      sqr(x7) + 1.7367363*x8*x7 - 7.357076*x15*x7 + 7.357076*x16*x7 + sqr(x8)
       + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 4.645682774;

e71.. sqr(x5) + 2.9976666*x9*x5 - 0.70766974*x10*x5 - 2*x11*x5 + 2.371700376*x9
      *x9 - 2.9976666*x11*x9 + 0.70766974*x15*x9 - 0.70766974*x17*x9 + 
      2.371700376*sqr(x10) + 0.70766974*x11*x10 + 2.9976666*x15*x10 - 2.9976666
      *x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17) =G= 7.666545219;

e72.. sqr(x5) - 4.59619514*x12*x5 - 1.53205596*x13*x5 - 2*x14*x5 + 5.868051307*
      sqr(x12) + 4.59619514*x14*x12 + 1.53205596*x15*x12 - 1.53205596*x18*x12
       + 5.868051307*sqr(x13) + 1.53205596*x14*x13 - 4.59619514*x15*x13 + 
      4.59619514*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*x15 + sqr(x18)
       =G= 3.526556221;

e73.. sqr(x5) - 9.1317749*x6*x5 - 2.15565364*x7*x5 - 2*x8*x5 + 22.00903886*sqr(
      x6) + 9.1317749*x8*x6 + 2.15565364*x15*x6 - 2.15565364*x16*x6 + 
      22.00903886*sqr(x7) + 2.15565364*x8*x7 - 9.1317749*x15*x7 + 9.1317749*x16
      *x7 + sqr(x8) + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 3.786618307;

e74.. sqr(x5) - 2.5314331*x9*x5 - 2.53149414*x10*x5 - 2*x11*x5 + 3.20415403*
      sqr(x9) + 2.5314331*x11*x9 + 2.53149414*x15*x9 - 2.53149414*x17*x9 + 
      3.20415403*sqr(x10) + 2.53149414*x11*x10 - 2.5314331*x15*x10 + 2.5314331*
      x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17) =G= 3.448227983;

e75.. sqr(x5) + 0.65916112*x12*x5 + 2.50375742*x13*x5 - 2*x14*x5 + 1.67582365*
      x12*x12 - 0.65916112*x14*x12 - 2.50375742*x15*x12 + 2.50375742*x18*x12 + 
      1.67582365*sqr(x13) - 2.50375742*x14*x13 + 0.65916112*x15*x13 - 
      0.65916112*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*x15 + sqr(x18)
       =G= 3.386493673;

e76.. sqr(x8) - 2*x11*x8 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17)
       =G= 8.742596696;

e77.. sqr(x8) - 2*x14*x8 + sqr(x14) + sqr(x16) - 2*x18*x16 + sqr(x18)
       =G= 6.140767239;

e78.. sqr(x8) + 4.3914795*x9*x8 - 1.47802734*x10*x8 - 2*x11*x8 + 5.367414254*x9
      *x9 - 4.3914795*x11*x9 + 1.47802734*x16*x9 - 1.47802734*x17*x9 + 
      5.367414254*sqr(x10) + 1.47802734*x11*x10 + 4.3914795*x16*x10 - 4.3914795
      *x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17) =G= 4.918581883;

e79.. sqr(x8) - 3.02492942*x12*x8 - 1.00827778*x13*x8 - 2*x14*x8 + 2.541705519*
      sqr(x12) + 3.02492942*x14*x12 + 1.00827778*x16*x12 - 1.00827778*x18*x12
       + 2.541705519*sqr(x13) + 1.00827778*x14*x13 - 3.02492942*x16*x13 + 
      3.02492942*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*x16 + sqr(x18)
       =G= 3.896353337;

e80.. sqr(x8) - 2.10591634*x9*x8 + 3.40738932*x10*x8 - 2*x11*x8 + 4.011296402*
      x9*x9 + 2.10591634*x11*x9 - 3.40738932*x16*x9 + 3.40738932*x17*x9 + 
      4.011296402*sqr(x10) - 3.40738932*x11*x10 - 2.10591634*x16*x10 + 
      2.10591634*x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17)
       =G= 3.624590258;

e81.. sqr(x8) + 2.26962754*x12*x8 - 1.48442486*x13*x8 - 2*x14*x8 + 1.838681584*
      sqr(x12) - 2.26962754*x14*x12 + 1.48442486*x16*x12 - 1.48442486*x18*x12
       + 1.838681584*sqr(x13) + 1.48442486*x14*x13 + 2.26962754*x16*x13 - 
      2.26962754*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*x16 + sqr(x18)
       =G= 3.013156892;

e82.. sqr(x8) + 2.9976666*x9*x8 - 0.70766974*x10*x8 - 2*x11*x8 + 2.371700376*x9
      *x9 - 2.9976666*x11*x9 + 0.70766974*x16*x9 - 0.70766974*x17*x9 + 
      2.371700376*sqr(x10) + 0.70766974*x11*x10 + 2.9976666*x16*x10 - 2.9976666
      *x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17) =G= 6.775448344;

e83.. sqr(x8) - 4.59619514*x12*x8 - 1.53205596*x13*x8 - 2*x14*x8 + 5.868051307*
      sqr(x12) + 4.59619514*x14*x12 + 1.53205596*x16*x12 - 1.53205596*x18*x12
       + 5.868051307*sqr(x13) + 1.53205596*x14*x13 - 4.59619514*x16*x13 + 
      4.59619514*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*x16 + sqr(x18)
       =G= 2.931043913;

e84.. sqr(x8) - 2.5314331*x9*x8 - 2.53149414*x10*x8 - 2*x11*x8 + 3.20415403*
      sqr(x9) + 2.5314331*x11*x9 + 2.53149414*x16*x9 - 2.53149414*x17*x9 + 
      3.20415403*sqr(x10) + 2.53149414*x11*x10 - 2.5314331*x16*x10 + 2.5314331*
      x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17) =G= 2.859673574;

e85.. sqr(x8) + 0.65916112*x12*x8 + 2.50375742*x13*x8 - 2*x14*x8 + 1.67582365*
      x12*x12 - 0.65916112*x14*x12 - 2.50375742*x16*x12 + 2.50375742*x18*x12 + 
      1.67582365*sqr(x13) - 2.50375742*x14*x13 + 0.65916112*x16*x13 - 
      0.65916112*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*x16 + sqr(x18)
       =G= 2.803478999;

e86.. sqr(x11) - 2*x14*x11 + sqr(x14) + sqr(x17) - 2*x18*x17 + sqr(x18)
       =G= 6.640840403;

e87.. sqr(x11) - 3.02492942*x12*x11 - 1.00827778*x13*x11 - 2*x14*x11 + 
      2.541705519*sqr(x12) + 3.02492942*x14*x12 + 1.00827778*x17*x12 - 
      1.00827778*x18*x12 + 2.541705519*sqr(x13) + 1.00827778*x14*x13 - 
      3.02492942*x17*x13 + 3.02492942*x18*x13 + sqr(x14) + sqr(x17) - 2*x18*x17
       + sqr(x18) =G= 4.296681958;

e88.. sqr(x11) + 2.26962754*x12*x11 - 1.48442486*x13*x11 - 2*x14*x11 + 
      1.838681584*sqr(x12) - 2.26962754*x14*x12 + 1.48442486*x17*x12 - 
      1.48442486*x18*x12 + 1.838681584*sqr(x13) + 1.48442486*x14*x13 + 
      2.26962754*x17*x13 - 2.26962754*x18*x13 + sqr(x14) + sqr(x17) - 2*x18*x17
       + sqr(x18) =G= 3.366382347;

e89.. sqr(x11) - 4.59619514*x12*x11 - 1.53205596*x13*x11 - 2*x14*x11 + 
      5.868051307*sqr(x12) + 4.59619514*x14*x12 + 1.53205596*x17*x12 - 
      1.53205596*x18*x12 + 5.868051307*sqr(x13) + 1.53205596*x14*x13 - 
      4.59619514*x17*x13 + 4.59619514*x18*x13 + sqr(x14) + sqr(x17) - 2*x18*x17
       + sqr(x18) =G= 3.279557433;

e90.. sqr(x11) + 0.65916112*x12*x11 + 2.50375742*x13*x11 - 2*x14*x11 + 
      1.67582365*sqr(x12) - 0.65916112*x14*x12 - 2.50375742*x17*x12 + 
      2.50375742*x18*x12 + 1.67582365*sqr(x13) - 2.50375742*x14*x13 + 
      0.65916112*x17*x13 - 0.65916112*x18*x13 + sqr(x14) + sqr(x17) - 2*x18*x17
       + sqr(x18) =G= 3.144539478;

e91.. 5.662725869*sqr(x3) + 4.47509892*x5*x3 - 4.47509892*x8*x3 - 1.61999788*
      x15*x3 + 1.61999788*x16*x3 + 5.662725869*sqr(x4) + 1.61999788*x5*x4 - 
      1.61999788*x8*x4 + 4.47509892*x15*x4 - 4.47509892*x16*x4 + sqr(x5) - 2*x8
      *x5 + sqr(x8) + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 4.900598653;

e92.. 5.662725869*sqr(x3) + 4.47509892*x5*x3 - 4.47509892*x11*x3 - 1.61999788*
      x15*x3 + 1.61999788*x17*x3 + 5.662725869*sqr(x4) + 1.61999788*x5*x4 - 
      1.61999788*x11*x4 + 4.47509892*x15*x4 - 4.47509892*x17*x4 + sqr(x5) - 2*
      x11*x5 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17) =G= 5.348374259;

e93.. 5.662725869*sqr(x3) + 4.47509892*x5*x3 - 4.47509892*x14*x3 - 1.61999788*
      x15*x3 + 1.61999788*x18*x3 + 5.662725869*sqr(x4) + 1.61999788*x5*x4 - 
      1.61999788*x14*x4 + 4.47509892*x15*x4 - 4.47509892*x18*x4 + sqr(x5) - 2*
      x14*x5 + sqr(x14) + sqr(x15) - 2*x18*x15 + sqr(x18) =G= 3.363277788;

e94.. 5.662725869*sqr(x3) + 4.47509892*x5*x3 - 10.9867653*x6*x3 + 1.274807375*
      x7*x3 - 4.47509892*x8*x3 - 1.61999788*x15*x3 + 1.61999788*x16*x3 + 
      5.662725869*sqr(x4) + 1.61999788*x5*x4 - 1.274807375*x6*x4 - 10.9867653*
      x7*x4 - 1.61999788*x8*x4 + 4.47509892*x15*x4 - 4.47509892*x16*x4 + sqr(x5
      ) - 4.5236206*x6*x5 - 1.06782914*x7*x5 - 2*x8*x5 + 5.400850601*sqr(x6) + 
      4.5236206*x8*x6 + 1.06782914*x15*x6 - 1.06782914*x16*x6 + 5.400850601*x7*
      x7 + 1.06782914*x8*x7 - 4.5236206*x15*x7 + 4.5236206*x16*x7 + sqr(x8) + 
      x15*x15 - 2*x16*x15 + sqr(x16) =G= 2.821800742;

e95.. 5.662725869*sqr(x3) + 4.47509892*x5*x3 + 8.628952005*x9*x3 - 6.864253017*
      x10*x3 - 4.47509892*x11*x3 - 1.61999788*x15*x3 + 1.61999788*x17*x3 + 
      5.662725869*sqr(x4) + 1.61999788*x5*x4 + 6.864253017*x9*x4 + 8.628952005*
      x10*x4 - 1.61999788*x11*x4 + 4.47509892*x15*x4 - 4.47509892*x17*x4 + x5*
      x5 + 4.3914795*x9*x5 - 1.47802734*x10*x5 - 2*x11*x5 + 5.367414254*sqr(x9)
       - 4.3914795*x11*x9 + 1.47802734*x15*x9 - 1.47802734*x17*x9 + 5.367414254
      *sqr(x10) + 1.47802734*x11*x10 + 4.3914795*x15*x10 - 4.3914795*x17*x10 + 
      sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17) =G= 2.476388832;

e96.. 5.662725869*sqr(x3) + 4.47509892*x5*x3 - 7.585133123*x12*x3 + 
      0.1941182216*x13*x3 - 4.47509892*x14*x3 - 1.61999788*x15*x3 + 1.61999788*
      x18*x3 + 5.662725869*sqr(x4) + 1.61999788*x5*x4 - 0.1941182216*x12*x4 - 
      7.585133123*x13*x4 - 1.61999788*x14*x4 + 4.47509892*x15*x4 - 4.47509892*
      x18*x4 + x5*x5 - 3.02492942*x12*x5 - 1.00827778*x13*x5 - 2*x14*x5 + 
      2.541705519*x12*x12 + 3.02492942*x14*x12 + 1.00827778*x15*x12 - 
      1.00827778*x18*x12 + 2.541705519*sqr(x13) + 1.00827778*x14*x13 - 
      3.02492942*x15*x13 + 3.02492942*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*x15
       + sqr(x18) =G= 1.768328864;

e97.. 5.662725869*sqr(x3) + 4.47509892*x5*x3 + 7.795722068*x6*x3 - 6.495909895*
      x7*x3 - 4.47509892*x8*x3 - 1.61999788*x15*x3 + 1.61999788*x16*x3 + 
      5.662725869*sqr(x4) + 1.61999788*x5*x4 + 6.495909895*x6*x4 + 7.795722068*
      x7*x4 - 1.61999788*x8*x4 + 4.47509892*x15*x4 - 4.47509892*x16*x4 + sqr(x5
      ) + 4.009552*x6*x5 - 1.45166714*x7*x5 - 2*x8*x5 + 4.545961182*sqr(x6) - 
      4.009552*x8*x6 + 1.45166714*x15*x6 - 1.45166714*x16*x6 + 4.545961182*x7*
      x7 + 1.45166714*x8*x7 + 4.009552*x15*x7 - 4.009552*x16*x7 + sqr(x8) + x15
      *x15 - 2*x16*x15 + sqr(x16) =G= 2.213854236;

e98.. 5.662725869*sqr(x3) + 4.47509892*x5*x3 - 1.952110232*x9*x3 + 9.329992136*
      x10*x3 - 4.47509892*x11*x3 - 1.61999788*x15*x3 + 1.61999788*x17*x3 + 
      5.662725869*sqr(x4) + 1.61999788*x5*x4 - 9.329992136*x9*x4 - 1.952110232*
      x10*x4 - 1.61999788*x11*x4 + 4.47509892*x15*x4 - 4.47509892*x17*x4 + x5*
      x5 - 2.10591634*x9*x5 + 3.40738932*x10*x5 - 2*x11*x5 + 4.011296402*sqr(x9
      ) + 2.10591634*x11*x9 - 3.40738932*x15*x9 + 3.40738932*x17*x9 + 
      4.011296402*sqr(x10) - 3.40738932*x11*x10 - 2.10591634*x15*x10 + 
      2.10591634*x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17)
       =G= 1.586850817;

e99.. 5.662725869*sqr(x3) + 4.47509892*x5*x3 + 3.876021313*x12*x3 - 5.159869945
      *x13*x3 - 4.47509892*x14*x3 - 1.61999788*x15*x3 + 1.61999788*x18*x3 + 
      5.662725869*sqr(x4) + 1.61999788*x5*x4 + 5.159869945*x12*x4 + 3.876021313
      *x13*x4 - 1.61999788*x14*x4 + 4.47509892*x15*x4 - 4.47509892*x18*x4 + x5*
      x5 + 2.26962754*x12*x5 - 1.48442486*x13*x5 - 2*x14*x5 + 1.838681584*x12*
      x12 - 2.26962754*x14*x12 + 1.48442486*x15*x12 - 1.48442486*x18*x12 + 
      1.838681584*sqr(x13) + 1.48442486*x14*x13 + 2.26962754*x15*x13 - 
      2.26962754*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*x15 + sqr(x18)
       =G= 1.19183448;

e100.. 5.662725869*sqr(x3) + 4.47509892*x5*x3 - 17.86857599*x6*x3 + 2.073190391
       *x7*x3 - 4.47509892*x8*x3 - 1.61999788*x15*x3 + 1.61999788*x16*x3 + 
       5.662725869*sqr(x4) + 1.61999788*x5*x4 - 2.073190391*x6*x4 - 17.86857599
       *x7*x4 - 1.61999788*x8*x4 + 4.47509892*x15*x4 - 4.47509892*x16*x4 + sqr(
       x5) - 7.357076*x6*x5 - 1.7367363*x7*x5 - 2*x8*x5 + 14.28570506*sqr(x6)
        + 7.357076*x8*x6 + 1.7367363*x15*x6 - 1.7367363*x16*x6 + 14.28570506*
       sqr(x7) + 1.7367363*x8*x7 - 7.357076*x15*x7 + 7.357076*x16*x7 + sqr(x8)
        + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 1.81001519;

e101.. 5.662725869*sqr(x3) + 4.47509892*x5*x3 + 6.134215543*x9*x3 - 4.011552813
       *x10*x3 - 4.47509892*x11*x3 - 1.61999788*x15*x3 + 1.61999788*x17*x3 + 
       5.662725869*sqr(x4) + 1.61999788*x5*x4 + 4.011552813*x9*x4 + 6.134215543
       *x10*x4 - 1.61999788*x11*x4 + 4.47509892*x15*x4 - 4.47509892*x17*x4 + x5
       *x5 + 2.9976666*x9*x5 - 0.70766974*x10*x5 - 2*x11*x5 + 2.371700376*sqr(
       x9) - 2.9976666*x11*x9 + 0.70766974*x15*x9 - 0.70766974*x17*x9 + 
       2.371700376*sqr(x10) + 0.70766974*x11*x10 + 2.9976666*x15*x10 - 
       2.9976666*x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17)
        =G= 3.837039023;

e102.. 5.662725869*sqr(x3) + 4.47509892*x5*x3 - 11.52517766*x12*x3 + 
       0.2948622054*x13*x3 - 4.47509892*x14*x3 - 1.61999788*x15*x3 + 1.61999788
       *x18*x3 + 5.662725869*sqr(x4) + 1.61999788*x5*x4 - 0.2948622054*x12*x4
        - 11.52517766*x13*x4 - 1.61999788*x14*x4 + 4.47509892*x15*x4 - 
       4.47509892*x18*x4 + x5*x5 - 4.59619514*x12*x5 - 1.53205596*x13*x5 - 2*
       x14*x5 + 5.868051307*x12*x12 + 4.59619514*x14*x12 + 1.53205596*x15*x12
        - 1.53205596*x18*x12 + 5.868051307*sqr(x13) + 1.53205596*x14*x13 - 
       4.59619514*x15*x13 + 4.59619514*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*
       x15 + sqr(x18) =G= 1.140402251;

e103.. 5.662725869*sqr(x3) + 4.47509892*x5*x3 - 22.17887516*x6*x3 + 2.573346351
       *x7*x3 - 4.47509892*x8*x3 - 1.61999788*x15*x3 + 1.61999788*x16*x3 + 
       5.662725869*sqr(x4) + 1.61999788*x5*x4 - 2.573346351*x6*x4 - 22.17887516
       *x7*x4 - 1.61999788*x8*x4 + 4.47509892*x15*x4 - 4.47509892*x16*x4 + sqr(
       x5) - 9.1317749*x6*x5 - 2.15565364*x7*x5 - 2*x8*x5 + 22.00903886*sqr(x6)
        + 9.1317749*x8*x6 + 2.15565364*x15*x6 - 2.15565364*x16*x6 + 22.00903886
       *x7*x7 + 2.15565364*x8*x7 - 9.1317749*x15*x7 + 9.1317749*x16*x7 + sqr(x8
       ) + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 1.290284622;

e104.. 5.662725869*sqr(x3) + 4.47509892*x5*x3 - 7.714714336*x9*x3 - 3.613885218
       *x10*x3 - 4.47509892*x11*x3 - 1.61999788*x15*x3 + 1.61999788*x17*x3 + 
       5.662725869*sqr(x4) + 1.61999788*x5*x4 + 3.613885218*x9*x4 - 7.714714336
       *x10*x4 - 1.61999788*x11*x4 + 4.47509892*x15*x4 - 4.47509892*x17*x4 + x5
       *x5 - 2.5314331*x9*x5 - 2.53149414*x10*x5 - 2*x11*x5 + 3.20415403*sqr(x9
       ) + 2.5314331*x11*x9 + 2.53149414*x15*x9 - 2.53149414*x17*x9 + 
       3.20415403*sqr(x10) + 2.53149414*x11*x10 - 2.5314331*x15*x10 + 2.5314331
       *x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17) =G= 1.096049736;

e105.. 5.662725869*sqr(x3) + 4.47509892*x5*x3 + 3.502946464*x12*x3 + 
       5.068361255*x13*x3 - 4.47509892*x14*x3 - 1.61999788*x15*x3 + 1.61999788*
       x18*x3 + 5.662725869*sqr(x4) + 1.61999788*x5*x4 - 5.068361255*x12*x4 + 
       3.502946464*x13*x4 - 1.61999788*x14*x4 + 4.47509892*x15*x4 - 4.47509892*
       x18*x4 + x5*x5 + 0.65916112*x12*x5 + 2.50375742*x13*x5 - 2*x14*x5 + 
       1.67582365*x12*x12 - 0.65916112*x14*x12 - 2.50375742*x15*x12 + 
       2.50375742*x18*x12 + 1.67582365*sqr(x13) - 2.50375742*x14*x13 + 
       0.65916112*x15*x13 - 0.65916112*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*
       x15 + sqr(x18) =G= 1.061366188;

e106.. 5.400850601*sqr(x6) + 4.5236206*x8*x6 - 4.5236206*x11*x6 - 1.06782914*
       x16*x6 + 1.06782914*x17*x6 + 5.400850601*sqr(x7) + 1.06782914*x8*x7 - 
       1.06782914*x11*x7 + 4.5236206*x16*x7 - 4.5236206*x17*x7 + sqr(x8) - 2*
       x11*x8 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17) =G= 5.870348948;

e107.. 5.400850601*sqr(x6) + 4.5236206*x8*x6 - 4.5236206*x14*x6 - 1.06782914*
       x16*x6 + 1.06782914*x18*x6 + 5.400850601*sqr(x7) + 1.06782914*x8*x7 - 
       1.06782914*x14*x7 + 4.5236206*x16*x7 - 4.5236206*x18*x7 + sqr(x8) - 2*
       x14*x8 + sqr(x14) + sqr(x16) - 2*x18*x16 + sqr(x18) =G= 3.779716151;

e108.. 5.400850601*sqr(x6) + 4.5236206*x8*x6 + 9.143553234*x9*x6 - 5.68769235*
       x10*x6 - 4.5236206*x11*x6 - 1.06782914*x16*x6 + 1.06782914*x17*x6 + 
       5.400850601*sqr(x7) + 1.06782914*x8*x7 + 5.68769235*x9*x7 + 9.143553234*
       x10*x7 - 1.06782914*x11*x7 + 4.5236206*x16*x7 - 4.5236206*x17*x7 + sqr(
       x8) + 4.3914795*x9*x8 - 1.47802734*x10*x8 - 2*x11*x8 + 5.367414254*sqr(
       x9) - 4.3914795*x11*x9 + 1.47802734*x16*x9 - 1.47802734*x17*x9 + 
       5.367414254*sqr(x10) + 1.47802734*x11*x10 + 4.3914795*x16*x10 - 
       4.3914795*x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17)
        =G= 2.835450743;

e109.. 5.400850601*sqr(x6) + 4.5236206*x8*x6 - 7.380150716*x12*x6 - 
       0.6654791775*x13*x6 - 4.5236206*x14*x6 - 1.06782914*x16*x6 + 1.06782914*
       x18*x6 + 5.400850601*sqr(x7) + 1.06782914*x8*x7 + 0.6654791775*x12*x7 - 
       7.380150716*x13*x7 - 1.06782914*x14*x7 + 4.5236206*x16*x7 - 4.5236206*
       x18*x7 + x8*x8 - 3.02492942*x12*x8 - 1.00827778*x13*x8 - 2*x14*x8 + 
       2.541705519*x12*x12 + 3.02492942*x14*x12 + 1.00827778*x16*x12 - 
       1.00827778*x18*x12 + 2.541705519*sqr(x13) + 1.00827778*x14*x13 - 
       3.02492942*x16*x13 + 3.02492942*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*
       x16 + sqr(x18) =G= 2.073629751;

e110.. 5.400850601*sqr(x6) + 4.5236206*x8*x6 - 2.943928465*x9*x6 + 8.831247677*
       x10*x6 - 4.5236206*x11*x6 - 1.06782914*x16*x6 + 1.06782914*x17*x6 + 
       5.400850601*sqr(x7) + 1.06782914*x8*x7 - 8.831247677*x9*x7 - 2.943928465
       *x10*x7 - 1.06782914*x11*x7 + 4.5236206*x16*x7 - 4.5236206*x17*x7 + sqr(
       x8) - 2.10591634*x9*x8 + 3.40738932*x10*x8 - 2*x11*x8 + 4.011296402*sqr(
       x9) + 2.10591634*x11*x9 - 3.40738932*x16*x9 + 3.40738932*x17*x9 + 
       4.011296402*sqr(x10) - 3.40738932*x11*x10 - 2.10591634*x16*x10 + 
       2.10591634*x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17)
        =G= 1.876701985;

e111.. 5.400850601*sqr(x6) + 4.5236206*x8*x6 + 4.340910886*x12*x6 - 4.56927465*
       x13*x6 - 4.5236206*x14*x6 - 1.06782914*x16*x6 + 1.06782914*x18*x6 + 
       5.400850601*sqr(x7) + 1.06782914*x8*x7 + 4.56927465*x12*x7 + 4.340910886
       *x13*x7 - 1.06782914*x14*x7 + 4.5236206*x16*x7 - 4.5236206*x18*x7 + sqr(
       x8) + 2.26962754*x12*x8 - 1.48442486*x13*x8 - 2*x14*x8 + 1.838681584*x12
       *x12 - 2.26962754*x14*x12 + 1.48442486*x16*x12 - 1.48442486*x18*x12 + 
       1.838681584*sqr(x13) + 1.48442486*x14*x13 + 2.26962754*x16*x13 - 
       2.26962754*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*x16 + sqr(x18)
        =G= 1.444652023;

e112.. 5.400850601*sqr(x6) + 4.5236206*x8*x6 + 6.402318007*x9*x6 - 3.201112581*
       x10*x6 - 4.5236206*x11*x6 - 1.06782914*x16*x6 + 1.06782914*x17*x6 + 
       5.400850601*sqr(x7) + 1.06782914*x8*x7 + 3.201112581*x9*x7 + 6.402318007
       *x10*x7 - 1.06782914*x11*x7 + 4.5236206*x16*x7 - 4.5236206*x17*x7 + sqr(
       x8) + 2.9976666*x9*x8 - 0.70766974*x10*x8 - 2*x11*x8 + 2.371700376*sqr(
       x9) - 2.9976666*x11*x9 + 0.70766974*x16*x9 - 0.70766974*x17*x9 + 
       2.371700376*sqr(x10) + 0.70766974*x11*x10 + 2.9976666*x16*x10 - 
       2.9976666*x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17)
        =G= 4.281014249;

e113.. 5.400850601*sqr(x6) + 4.5236206*x8*x6 - 11.21370851*x12*x6 - 1.011244399
       *x13*x6 - 4.5236206*x14*x6 - 1.06782914*x16*x6 + 1.06782914*x18*x6 + 
       5.400850601*sqr(x7) + 1.06782914*x8*x7 + 1.011244399*x12*x7 - 
       11.21370851*x13*x7 - 1.06782914*x14*x7 + 4.5236206*x16*x7 - 4.5236206*
       x18*x7 + sqr(x8) - 4.59619514*x12*x8 - 1.53205596*x13*x8 - 2*x14*x8 + 
       5.868051307*x12*x12 + 4.59619514*x14*x12 + 1.53205596*x16*x12 - 
       1.53205596*x18*x12 + 5.868051307*sqr(x13) + 1.53205596*x14*x13 - 
       4.59619514*x16*x13 + 4.59619514*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*
       x16 + sqr(x18) =G= 1.387969656;

e114.. 5.400850601*sqr(x6) + 4.5236206*x8*x6 - 7.077223065*x9*x6 - 4.374190505*
       x10*x6 - 4.5236206*x11*x6 - 1.06782914*x16*x6 + 1.06782914*x17*x6 + 
       5.400850601*sqr(x7) + 1.06782914*x8*x7 + 4.374190505*x9*x7 - 7.077223065
       *x10*x7 - 1.06782914*x11*x7 + 4.5236206*x16*x7 - 4.5236206*x17*x7 + sqr(
       x8) - 2.5314331*x9*x8 - 2.53149414*x10*x8 - 2*x11*x8 + 3.20415403*sqr(x9
       ) + 2.5314331*x11*x9 + 2.53149414*x16*x9 - 2.53149414*x17*x9 + 
       3.20415403*sqr(x10) + 2.53149414*x11*x10 - 2.5314331*x16*x10 + 2.5314331
       *x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17) =G= 1.338993808;

e115.. 5.400850601*sqr(x6) + 4.5236206*x8*x6 + 2.827689977*x12*x6 + 5.311088595
       *x13*x6 - 4.5236206*x14*x6 - 1.06782914*x16*x6 + 1.06782914*x18*x6 + 
       5.400850601*sqr(x7) + 1.06782914*x8*x7 - 5.311088595*x12*x7 + 
       2.827689977*x13*x7 - 1.06782914*x14*x7 + 4.5236206*x16*x7 - 4.5236206*
       x18*x7 + sqr(x8) + 0.65916112*x12*x8 + 2.50375742*x13*x8 - 2*x14*x8 + 
       1.67582365*sqr(x12) - 0.65916112*x14*x12 - 2.50375742*x16*x12 + 
       2.50375742*x18*x12 + 1.67582365*sqr(x13) - 2.50375742*x14*x13 + 
       0.65916112*x16*x13 - 0.65916112*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*
       x16 + sqr(x18) =G= 1.300629259;

e116.. 5.367414254*sqr(x9) - 4.3914795*x11*x9 + 4.3914795*x14*x9 - 1.47802734*
       x17*x9 + 1.47802734*x18*x9 + 5.367414254*sqr(x10) + 1.47802734*x11*x10
        - 1.47802734*x14*x10 - 4.3914795*x17*x10 + 4.3914795*x18*x10 + sqr(x11)
        - 2*x14*x11 + sqr(x14) + sqr(x17) - 2*x18*x17 + sqr(x18)
        =G= 3.378178494;

e117.. 5.367414254*sqr(x9) - 4.3914795*x11*x9 + 5.896826706*x12*x9 + 
       4.449379793*x13*x9 + 4.3914795*x14*x9 - 1.47802734*x17*x9 + 1.47802734*
       x18*x9 + 5.367414254*sqr(x10) + 1.47802734*x11*x10 - 4.449379793*x12*x10
        + 5.896826706*x13*x10 - 1.47802734*x14*x10 - 4.3914795*x17*x10 + 
       4.3914795*x18*x10 + sqr(x11) - 3.02492942*x12*x11 - 1.00827778*x13*x11
        - 2*x14*x11 + 2.541705519*sqr(x12) + 3.02492942*x14*x12 + 1.00827778*
       x17*x12 - 1.00827778*x18*x12 + 2.541705519*sqr(x13) + 1.00827778*x14*x13
        - 3.02492942*x17*x13 + 3.02492942*x18*x13 + sqr(x14) + sqr(x17) - 2*x18
       *x17 + sqr(x18) =G= 1.779137949;

e118.. 5.367414254*sqr(x9) - 4.3914795*x11*x9 - 6.080521671*x12*x9 + 
       1.582124893*x13*x9 + 4.3914795*x14*x9 - 1.47802734*x17*x9 + 1.47802734*
       x18*x9 + 5.367414254*sqr(x10) + 1.47802734*x11*x10 - 1.582124893*x12*x10
        - 6.080521671*x13*x10 - 1.47802734*x14*x10 - 4.3914795*x17*x10 + 
       4.3914795*x18*x10 + sqr(x11) + 2.26962754*x12*x11 - 1.48442486*x13*x11
        - 2*x14*x11 + 1.838681584*sqr(x12) - 2.26962754*x14*x12 + 1.48442486*
       x17*x12 - 1.48442486*x18*x12 + 1.838681584*sqr(x13) + 1.48442486*x14*x13
        + 2.26962754*x17*x13 - 2.26962754*x18*x13 + sqr(x14) + sqr(x17) - 2*x18
       *x17 + sqr(x18) =G= 1.200711345;

e119.. 5.367414254*sqr(x9) - 4.3914795*x11*x9 + 8.95983807*x12*x9 + 6.760647209
       *x13*x9 + 4.3914795*x14*x9 - 1.47802734*x17*x9 + 1.47802734*x18*x9 + 
       5.367414254*sqr(x10) + 1.47802734*x11*x10 - 6.760647209*x12*x10 + 
       8.95983807*x13*x10 - 1.47802734*x14*x10 - 4.3914795*x17*x10 + 4.3914795*
       x18*x10 + sqr(x11) - 4.59619514*x12*x11 - 1.53205596*x13*x11 - 2*x14*x11
        + 5.868051307*sqr(x12) + 4.59619514*x14*x12 + 1.53205596*x17*x12 - 
       1.53205596*x18*x12 + 5.868051307*sqr(x13) + 1.53205596*x14*x13 - 
       4.59619514*x17*x13 + 4.59619514*x18*x13 + sqr(x14) + sqr(x17) - 2*x18*
       x17 + sqr(x18) =G= 1.149085828;

e120.. 5.367414254*sqr(x9) - 4.3914795*x11*x9 + 0.4029646869*x12*x9 - 
       5.98472877*x13*x9 + 4.3914795*x14*x9 - 1.47802734*x17*x9 + 1.47802734*
       x18*x9 + 5.367414254*sqr(x10) + 1.47802734*x11*x10 + 5.98472877*x12*x10
        + 0.4029646869*x13*x10 - 1.47802734*x14*x10 - 4.3914795*x17*x10 + 
       4.3914795*x18*x10 + sqr(x11) + 0.65916112*x12*x11 + 2.50375742*x13*x11
        - 2*x14*x11 + 1.67582365*sqr(x12) - 0.65916112*x14*x12 - 2.50375742*x17
       *x12 + 2.50375742*x18*x12 + 1.67582365*sqr(x13) - 2.50375742*x14*x13 + 
       0.65916112*x17*x13 - 0.65916112*x18*x13 + sqr(x14) + sqr(x17) - 2*x18*
       x17 + sqr(x18) =G= 1.069744034;

e121.. 5.016214727*sqr(x3) - 4.05647702*x5*x3 + 4.05647702*x8*x3 - 1.89996134*
       x15*x3 + 1.89996134*x16*x3 + 5.016214727*sqr(x4) + 1.89996134*x5*x4 - 
       1.89996134*x8*x4 - 4.05647702*x15*x4 + 4.05647702*x16*x4 + sqr(x5) - 2*
       x8*x5 + sqr(x8) + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 4.300503225;

e122.. 5.016214727*sqr(x3) - 4.05647702*x5*x3 + 4.05647702*x11*x3 - 1.89996134*
       x15*x3 + 1.89996134*x17*x3 + 5.016214727*sqr(x4) + 1.89996134*x5*x4 - 
       1.89996134*x11*x4 - 4.05647702*x15*x4 + 4.05647702*x17*x4 + sqr(x5) - 2*
       x11*x5 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17) =G= 4.720586746;

e123.. 5.016214727*sqr(x3) - 4.05647702*x5*x3 + 4.05647702*x14*x3 - 1.89996134*
       x15*x3 + 1.89996134*x18*x3 + 5.016214727*sqr(x4) + 1.89996134*x5*x4 - 
       1.89996134*x14*x4 - 4.05647702*x15*x4 + 4.05647702*x18*x4 + sqr(x5) - 2*
       x14*x5 + sqr(x14) + sqr(x15) - 2*x18*x15 + sqr(x18) =G= 2.869500617;

e124.. 5.016214727*sqr(x3) - 4.05647702*x5*x3 + 8.160564464*x6*x3 + 6.463164312
       *x7*x3 + 4.05647702*x8*x3 - 1.89996134*x15*x3 + 1.89996134*x16*x3 + 
       5.016214727*sqr(x4) + 1.89996134*x5*x4 - 6.463164312*x6*x4 + 8.160564464
       *x7*x4 - 1.89996134*x8*x4 - 4.05647702*x15*x4 + 4.05647702*x16*x4 + sqr(
       x5) - 4.5236206*x6*x5 - 1.06782914*x7*x5 - 2*x8*x5 + 5.400850601*sqr(x6)
        + 4.5236206*x8*x6 + 1.06782914*x15*x6 - 1.06782914*x16*x6 + 5.400850601
       *x7*x7 + 1.06782914*x8*x7 - 4.5236206*x15*x7 + 4.5236206*x16*x7 + sqr(x8
       ) + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 2.371161213;

e125.. 5.016214727*sqr(x3) - 4.05647702*x5*x3 - 10.31106524*x9*x3 - 1.174028668
       *x10*x3 + 4.05647702*x11*x3 - 1.89996134*x15*x3 + 1.89996134*x17*x3 + 
       5.016214727*sqr(x4) + 1.89996134*x5*x4 + 1.174028668*x9*x4 - 10.31106524
       *x10*x4 - 1.89996134*x11*x4 - 4.05647702*x15*x4 + 4.05647702*x17*x4 + x5
       *x5 + 4.3914795*x9*x5 - 1.47802734*x10*x5 - 2*x11*x5 + 5.367414254*sqr(
       x9) - 4.3914795*x11*x9 + 1.47802734*x15*x9 - 1.47802734*x17*x9 + 
       5.367414254*sqr(x10) + 1.47802734*x11*x10 + 4.3914795*x15*x10 - 
       4.3914795*x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17)
        =G= 2.05546845;

e126.. 5.016214727*sqr(x3) - 4.05647702*x5*x3 + 5.177433939*x12*x3 + 
       4.918652299*x13*x3 + 4.05647702*x14*x3 - 1.89996134*x15*x3 + 1.89996134*
       x18*x3 + 5.016214727*sqr(x4) + 1.89996134*x5*x4 - 4.918652299*x12*x4 + 
       5.177433939*x13*x4 - 1.89996134*x14*x4 - 4.05647702*x15*x4 + 4.05647702*
       x18*x4 + x5*x5 - 3.02492942*x12*x5 - 1.00827778*x13*x5 - 2*x14*x5 + 
       2.541705519*x12*x12 + 3.02492942*x14*x12 + 1.00827778*x15*x12 - 
       1.00827778*x18*x12 + 2.541705519*sqr(x13) + 1.00827778*x14*x13 - 
       3.02492942*x15*x13 + 3.02492942*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*
       x15 + sqr(x18) =G= 1.415674393;

e127.. 5.016214727*sqr(x3) - 4.05647702*x5*x3 - 9.511383497*x6*x3 - 
       0.8646696983*x7*x3 + 4.05647702*x8*x3 - 1.89996134*x15*x3 + 1.89996134*
       x16*x3 + 5.016214727*sqr(x4) + 1.89996134*x5*x4 + 0.8646696983*x6*x4 - 
       9.511383497*x7*x4 - 1.89996134*x8*x4 - 4.05647702*x15*x4 + 4.05647702*
       x16*x4 + sqr(x5) + 4.009552*x6*x5 - 1.45166714*x7*x5 - 2*x8*x5 + 
       4.545961182*sqr(x6) - 4.009552*x8*x6 + 1.45166714*x15*x6 - 1.45166714*
       x16*x6 + 4.545961182*x7*x7 + 1.45166714*x8*x7 + 4.009552*x15*x7 - 
       4.009552*x16*x7 + sqr(x8) + x15*x15 - 2*x16*x15 + sqr(x16)
        =G= 1.816938254;

e128.. 5.016214727*sqr(x3) - 4.05647702*x5*x3 + 7.508254609*x9*x3 - 4.910418422
       *x10*x3 + 4.05647702*x11*x3 - 1.89996134*x15*x3 + 1.89996134*x17*x3 + 
       5.016214727*sqr(x4) + 1.89996134*x5*x4 + 4.910418422*x9*x4 + 7.508254609
       *x10*x4 - 1.89996134*x11*x4 - 4.05647702*x15*x4 + 4.05647702*x17*x4 + x5
       *x5 - 2.10591634*x9*x5 + 3.40738932*x10*x5 - 2*x11*x5 + 4.011296402*sqr(
       x9) + 2.10591634*x11*x9 - 3.40738932*x15*x9 + 3.40738932*x17*x9 + 
       4.011296402*sqr(x10) - 3.40738932*x11*x10 - 2.10591634*x15*x10 + 
       2.10591634*x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17)
        =G= 1.253814443;

e129.. 5.016214727*sqr(x3) - 4.05647702*x5*x3 - 6.013520903*x12*x3 + 
       0.8546653752*x13*x3 + 4.05647702*x14*x3 - 1.89996134*x15*x3 + 1.89996134
       *x18*x3 + 5.016214727*sqr(x4) + 1.89996134*x5*x4 - 0.8546653752*x12*x4
        - 6.013520903*x13*x4 - 1.89996134*x14*x4 - 4.05647702*x15*x4 + 
       4.05647702*x18*x4 + x5*x5 + 2.26962754*x12*x5 - 1.48442486*x13*x5 - 2*
       x14*x5 + 1.838681584*x12*x12 - 2.26962754*x14*x12 + 1.48442486*x15*x12
        - 1.48442486*x18*x12 + 1.838681584*sqr(x13) + 1.48442486*x14*x13 + 
       2.26962754*x15*x13 - 2.26962754*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*
       x15 + sqr(x18) =G= 0.9058235131;

e130.. 5.016214727*sqr(x3) - 4.05647702*x5*x3 + 13.27203895*x6*x3 + 10.51159543
       *x7*x3 + 4.05647702*x8*x3 - 1.89996134*x15*x3 + 1.89996134*x16*x3 + 
       5.016214727*sqr(x4) + 1.89996134*x5*x4 - 10.51159543*x6*x4 + 13.27203895
       *x7*x4 - 1.89996134*x8*x4 - 4.05647702*x15*x4 + 4.05647702*x16*x4 + sqr(
       x5) - 7.357076*x6*x5 - 1.7367363*x7*x5 - 2*x8*x5 + 14.28570506*sqr(x6)
        + 7.357076*x8*x6 + 1.7367363*x15*x6 - 1.7367363*x16*x6 + 14.28570506*
       sqr(x7) + 1.7367363*x8*x7 - 7.357076*x15*x7 + 7.357076*x16*x7 + sqr(x8)
        + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 1.452998659;

e131.. 5.016214727*sqr(x3) - 4.05647702*x5*x3 - 6.752255412*x9*x3 - 1.412402306
       *x10*x3 + 4.05647702*x11*x3 - 1.89996134*x15*x3 + 1.89996134*x17*x3 + 
       5.016214727*sqr(x4) + 1.89996134*x5*x4 + 1.412402306*x9*x4 - 6.752255412
       *x10*x4 - 1.89996134*x11*x4 - 4.05647702*x15*x4 + 4.05647702*x17*x4 + x5
       *x5 + 2.9976666*x9*x5 - 0.70766974*x10*x5 - 2*x11*x5 + 2.371700376*sqr(
       x9) - 2.9976666*x11*x9 + 0.70766974*x15*x9 - 0.70766974*x17*x9 + 
       2.371700376*sqr(x10) + 0.70766974*x11*x10 + 2.9976666*x15*x10 - 
       2.9976666*x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17)
        =G= 3.308295462;

e132.. 5.016214727*sqr(x3) - 4.05647702*x5*x3 + 7.866756435*x12*x3 + 
       7.473671436*x13*x3 + 4.05647702*x14*x3 - 1.89996134*x15*x3 + 1.89996134*
       x18*x3 + 5.016214727*sqr(x4) + 1.89996134*x5*x4 - 7.473671436*x12*x4 + 
       7.866756435*x13*x4 - 1.89996134*x14*x4 - 4.05647702*x15*x4 + 4.05647702*
       x18*x4 + x5*x5 - 4.59619514*x12*x5 - 1.53205596*x13*x5 - 2*x14*x5 + 
       5.868051307*x12*x12 + 4.59619514*x14*x12 + 1.53205596*x15*x12 - 
       1.53205596*x18*x12 + 5.868051307*sqr(x13) + 1.53205596*x14*x13 - 
       4.59619514*x15*x13 + 4.59619514*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*
       x15 + sqr(x18) =G= 0.8610579265;

e133.. 5.016214727*sqr(x3) - 4.05647702*x5*x3 + 16.47358823*x6*x3 + 13.04718936
       *x7*x3 + 4.05647702*x8*x3 - 1.89996134*x15*x3 + 1.89996134*x16*x3 + 
       5.016214727*sqr(x4) + 1.89996134*x5*x4 - 13.04718936*x6*x4 + 16.47358823
       *x7*x4 - 1.89996134*x8*x4 - 4.05647702*x15*x4 + 4.05647702*x16*x4 + sqr(
       x5) - 9.1317749*x6*x5 - 2.15565364*x7*x5 - 2*x8*x5 + 22.00903886*sqr(x6)
        + 9.1317749*x8*x6 + 2.15565364*x15*x6 - 2.15565364*x16*x6 + 22.00903886
       *x7*x7 + 2.15565364*x8*x7 - 9.1317749*x15*x7 + 9.1317749*x16*x7 + sqr(x8
       ) + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 0.9919021605;

e134.. 5.016214727*sqr(x3) - 4.05647702*x5*x3 + 2.7294796*x9*x3 + 7.539286415*
       x10*x3 + 4.05647702*x11*x3 - 1.89996134*x15*x3 + 1.89996134*x17*x3 + 
       5.016214727*sqr(x4) + 1.89996134*x5*x4 - 7.539286415*x9*x4 + 2.7294796*
       x10*x4 - 1.89996134*x11*x4 - 4.05647702*x15*x4 + 4.05647702*x17*x4 + 
       sqr(x5) - 2.5314331*x9*x5 - 2.53149414*x10*x5 - 2*x11*x5 + 3.20415403*
       sqr(x9) + 2.5314331*x11*x9 + 2.53149414*x15*x9 - 2.53149414*x17*x9 + 
       3.20415403*sqr(x10) + 2.53149414*x11*x10 - 2.5314331*x15*x10 + 2.5314331
       *x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17) =G= 0.8225761332;

e135.. 5.016214727*sqr(x3) - 4.05647702*x5*x3 + 1.041585183*x12*x3 - 
       5.704407541*x13*x3 + 4.05647702*x14*x3 - 1.89996134*x15*x3 + 1.89996134*
       x18*x3 + 5.016214727*sqr(x4) + 1.89996134*x5*x4 + 5.704407541*x12*x4 + 
       1.041585183*x13*x4 - 1.89996134*x14*x4 - 4.05647702*x15*x4 + 4.05647702*
       x18*x4 + x5*x5 + 0.65916112*x12*x5 + 2.50375742*x13*x5 - 2*x14*x5 + 
       1.67582365*x12*x12 - 0.65916112*x14*x12 - 2.50375742*x15*x12 + 
       2.50375742*x18*x12 + 1.67582365*sqr(x13) - 2.50375742*x14*x13 + 
       0.65916112*x15*x13 - 0.65916112*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*
       x15 + sqr(x18) =G= 0.7925667313;

e136.. 4.545961182*sqr(x6) - 4.009552*x8*x6 + 4.009552*x11*x6 - 1.45166714*x16*
       x6 + 1.45166714*x17*x6 + 4.545961182*sqr(x7) + 1.45166714*x8*x7 - 
       1.45166714*x11*x7 - 4.009552*x16*x7 + 4.009552*x17*x7 + sqr(x8) - 2*x11*
       x8 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17) =G= 4.977188277;

e137.. 4.545961182*sqr(x6) - 4.009552*x8*x6 + 4.009552*x14*x6 - 1.45166714*x16*
       x6 + 1.45166714*x18*x6 + 4.545961182*sqr(x7) + 1.45166714*x8*x7 - 
       1.45166714*x14*x7 - 4.009552*x16*x7 + 4.009552*x18*x7 + sqr(x8) - 2*x14*
       x8 + sqr(x14) + sqr(x16) - 2*x18*x16 + sqr(x18) =G= 3.070310674;

e138.. 4.545961182*sqr(x6) - 4.009552*x8*x6 - 9.876734567*x9*x6 - 0.2243695045*
       x10*x6 + 4.009552*x11*x6 - 1.45166714*x16*x6 + 1.45166714*x17*x6 + 
       4.545961182*sqr(x7) + 1.45166714*x8*x7 + 0.2243695045*x9*x7 - 
       9.876734567*x10*x7 - 1.45166714*x11*x7 - 4.009552*x16*x7 + 4.009552*x17*
       x7 + sqr(x8) + 4.3914795*x9*x8 - 1.47802734*x10*x8 - 2*x11*x8 + 
       5.367414254*sqr(x9) - 4.3914795*x11*x9 + 1.47802734*x16*x9 - 1.47802734*
       x17*x9 + 5.367414254*sqr(x10) + 1.47802734*x11*x10 + 4.3914795*x16*x10
        - 4.3914795*x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17)
        =G= 2.225946611;

e139.. 4.545961182*sqr(x6) - 4.009552*x8*x6 + 5.332464042*x12*x6 + 4.216966415*
       x13*x6 + 4.009552*x14*x6 - 1.45166714*x16*x6 + 1.45166714*x18*x6 + 
       4.545961182*sqr(x7) + 1.45166714*x8*x7 - 4.216966415*x12*x7 + 
       5.332464042*x13*x7 - 1.45166714*x14*x7 - 4.009552*x16*x7 + 4.009552*x18*
       x7 + sqr(x8) - 3.02492942*x12*x8 - 1.00827778*x13*x8 - 2*x14*x8 + 
       2.541705519*x12*x12 + 3.02492942*x14*x12 + 1.00827778*x16*x12 - 
       1.00827778*x18*x12 + 2.541705519*sqr(x13) + 1.00827778*x14*x13 - 
       3.02492942*x16*x13 + 3.02492942*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*
       x16 + sqr(x18) =G= 1.557731943;

e140.. 4.545961182*sqr(x6) - 4.009552*x8*x6 + 6.695088091*x9*x6 - 5.302507556*
       x10*x6 + 4.009552*x11*x6 - 1.45166714*x16*x6 + 1.45166714*x17*x6 + 
       4.545961182*sqr(x7) + 1.45166714*x8*x7 + 5.302507556*x9*x7 + 6.695088091
       *x10*x7 - 1.45166714*x11*x7 - 4.009552*x16*x7 + 4.009552*x17*x7 + sqr(x8
       ) - 2.10591634*x9*x8 + 3.40738932*x10*x8 - 2*x11*x8 + 4.011296402*sqr(x9
       ) + 2.10591634*x11*x9 - 3.40738932*x16*x9 + 3.40738932*x17*x9 + 
       4.011296402*sqr(x10) - 3.40738932*x11*x10 - 2.10591634*x16*x10 + 
       2.10591634*x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17)
        =G= 1.387704544;

e141.. 4.545961182*sqr(x6) - 4.009552*x8*x6 - 5.627540217*x12*x6 + 1.328567473*
       x13*x6 + 4.009552*x14*x6 - 1.45166714*x16*x6 + 1.45166714*x18*x6 + 
       4.545961182*sqr(x7) + 1.45166714*x8*x7 - 1.328567473*x12*x7 - 
       5.627540217*x13*x7 - 1.45166714*x14*x7 - 4.009552*x16*x7 + 4.009552*x18*
       x7 + sqr(x8) + 2.26962754*x12*x8 - 1.48442486*x13*x8 - 2*x14*x8 + 
       1.838681584*x12*x12 - 2.26962754*x14*x12 + 1.48442486*x16*x12 - 
       1.48442486*x18*x12 + 1.838681584*sqr(x13) + 1.48442486*x14*x13 + 
       2.26962754*x16*x13 - 2.26962754*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*
       x16 + sqr(x18) =G= 1.020135896;

e142.. 4.545961182*sqr(x6) - 4.009552*x8*x6 - 6.523300509*x9*x6 - 0.7570877393*
       x10*x6 + 4.009552*x11*x6 - 1.45166714*x16*x6 + 1.45166714*x17*x6 + 
       4.545961182*sqr(x7) + 1.45166714*x8*x7 + 0.7570877393*x9*x7 - 
       6.523300509*x10*x7 - 1.45166714*x11*x7 - 4.009552*x16*x7 + 4.009552*x17*
       x7 + sqr(x8) + 2.9976666*x9*x8 - 0.70766974*x10*x8 - 2*x11*x8 + 
       2.371700376*sqr(x9) - 2.9976666*x11*x9 + 0.70766974*x16*x9 - 0.70766974*
       x17*x9 + 2.371700376*sqr(x10) + 0.70766974*x11*x10 + 2.9976666*x16*x10
        - 2.9976666*x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17)
        =G= 3.523662801;

e143.. 4.545961182*sqr(x6) - 4.009552*x8*x6 + 8.102324061*x12*x6 + 6.407501746*
       x13*x6 + 4.009552*x14*x6 - 1.45166714*x16*x6 + 1.45166714*x18*x6 + 
       4.545961182*sqr(x7) + 1.45166714*x8*x7 - 6.407501746*x12*x7 + 
       8.102324061*x13*x7 - 1.45166714*x14*x7 - 4.009552*x16*x7 + 4.009552*x18*
       x7 + sqr(x8) - 4.59619514*x12*x8 - 1.53205596*x13*x8 - 2*x14*x8 + 
       5.868051307*x12*x12 + 4.59619514*x14*x12 + 1.53205596*x16*x12 - 
       1.53205596*x18*x12 + 5.868051307*sqr(x13) + 1.53205596*x14*x13 - 
       4.59619514*x16*x13 + 4.59619514*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*
       x16 + sqr(x18) =G= 0.9725948385;

e144.. 4.545961182*sqr(x6) - 4.009552*x8*x6 + 3.237512895*x9*x6 + 6.91247782*
       x10*x6 + 4.009552*x11*x6 - 1.45166714*x16*x6 + 1.45166714*x17*x6 + 
       4.545961182*sqr(x7) + 1.45166714*x8*x7 - 6.91247782*x9*x7 + 3.237512895*
       x10*x7 - 1.45166714*x11*x7 - 4.009552*x16*x7 + 4.009552*x17*x7 + sqr(x8)
        - 2.5314331*x9*x8 - 2.53149414*x10*x8 - 2*x11*x8 + 3.20415403*sqr(x9)
        + 2.5314331*x11*x9 + 2.53149414*x16*x9 - 2.53149414*x17*x9 + 3.20415403
       *sqr(x10) + 2.53149414*x11*x10 - 2.5314331*x16*x10 + 2.5314331*x17*x10
        + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17) =G= 0.9316689336;

e145.. 4.545961182*sqr(x6) - 4.009552*x8*x6 + 0.4958407931*x12*x6 - 5.497914054
       *x13*x6 + 4.009552*x14*x6 - 1.45166714*x16*x6 + 1.45166714*x18*x6 + 
       4.545961182*sqr(x7) + 1.45166714*x8*x7 + 5.497914054*x12*x7 + 
       0.4958407931*x13*x7 - 1.45166714*x14*x7 - 4.009552*x16*x7 + 4.009552*x18
       *x7 + sqr(x8) + 0.65916112*x12*x8 + 2.50375742*x13*x8 - 2*x14*x8 + 
       1.67582365*sqr(x12) - 0.65916112*x14*x12 - 2.50375742*x16*x12 + 
       2.50375742*x18*x12 + 1.67582365*sqr(x13) - 2.50375742*x14*x13 + 
       0.65916112*x16*x13 - 0.65916112*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*
       x16 + sqr(x18) =G= 0.8997135811;

e146.. 4.011296402*sqr(x9) + 2.10591634*x11*x9 - 2.10591634*x14*x9 + 3.40738932
       *x17*x9 - 3.40738932*x18*x9 + 4.011296402*sqr(x10) - 3.40738932*x11*x10
        + 3.40738932*x14*x10 + 2.10591634*x17*x10 - 2.10591634*x18*x10 + sqr(
       x11) - 2*x14*x11 + sqr(x14) + sqr(x17) - 2*x18*x17 + sqr(x18)
        =G= 2.322668172;

e147.. 4.011296402*sqr(x9) + 2.10591634*x11*x9 - 1.467326677*x12*x9 - 
       6.215230426*x13*x9 - 2.10591634*x14*x9 + 3.40738932*x17*x9 - 3.40738932*
       x18*x9 + 4.011296402*sqr(x10) - 3.40738932*x11*x10 + 6.215230426*x12*x10
        - 1.467326677*x13*x10 + 3.40738932*x14*x10 + 2.10591634*x17*x10 - 
       2.10591634*x18*x10 + sqr(x11) - 3.02492942*x12*x11 - 1.00827778*x13*x11
        - 2*x14*x11 + 2.541705519*sqr(x12) + 3.02492942*x14*x12 + 1.00827778*
       x17*x12 - 1.00827778*x18*x12 + 2.541705519*sqr(x13) + 1.00827778*x14*x13
        - 3.02492942*x17*x13 + 3.02492942*x18*x13 + sqr(x14) + sqr(x17) - 2*x18
       *x17 + sqr(x18) =G= 1.040178386;

e148.. 4.011296402*sqr(x9) + 2.10591634*x11*x9 + 4.918829568*x12*x9 + 
       2.303715036*x13*x9 - 2.10591634*x14*x9 + 3.40738932*x17*x9 - 3.40738932*
       x18*x9 + 4.011296402*sqr(x10) - 3.40738932*x11*x10 - 2.303715036*x12*x10
        + 4.918829568*x13*x10 + 3.40738932*x14*x10 + 2.10591634*x17*x10 - 
       2.10591634*x18*x10 + sqr(x11) + 2.26962754*x12*x11 - 1.48442486*x13*x11
        - 2*x14*x11 + 1.838681584*sqr(x12) - 2.26962754*x14*x12 + 1.48442486*
       x17*x12 - 1.48442486*x18*x12 + 1.838681584*sqr(x13) + 1.48442486*x14*x13
        + 2.26962754*x17*x13 - 2.26962754*x18*x13 + sqr(x14) + sqr(x17) - 2*x18
       *x17 + sqr(x18) =G= 0.611239088;

e149.. 4.011296402*sqr(x9) + 2.10591634*x11*x9 - 2.229445666*x12*x9 - 
       9.443703956*x13*x9 - 2.10591634*x14*x9 + 3.40738932*x17*x9 - 3.40738932*
       x18*x9 + 4.011296402*sqr(x10) - 3.40738932*x11*x10 + 9.443703956*x12*x10
        - 2.229445666*x13*x10 + 3.40738932*x14*x10 + 2.10591634*x17*x10 - 
       2.10591634*x18*x10 + sqr(x11) - 4.59619514*x12*x11 - 1.53205596*x13*x11
        - 2*x14*x11 + 5.868051307*sqr(x12) + 4.59619514*x14*x12 + 1.53205596*
       x17*x12 - 1.53205596*x18*x12 + 5.868051307*sqr(x13) + 1.53205596*x14*x13
        - 4.59619514*x17*x13 + 4.59619514*x18*x13 + sqr(x14) + sqr(x17) - 2*x18
       *x17 + sqr(x18) =G= 0.5745674413;

e150.. 4.011296402*sqr(x9) + 2.10591634*x11*x9 - 3.57156906*x12*x9 + 
       3.759361111*x13*x9 - 2.10591634*x14*x9 + 3.40738932*x17*x9 - 3.40738932*
       x18*x9 + 4.011296402*sqr(x10) - 3.40738932*x11*x10 - 3.759361111*x12*x10
        - 3.57156906*x13*x10 + 3.40738932*x14*x10 + 2.10591634*x17*x10 - 
       2.10591634*x18*x10 + sqr(x11) + 0.65916112*x12*x11 + 2.50375742*x13*x11
        - 2*x14*x11 + 1.67582365*sqr(x12) - 0.65916112*x14*x12 - 2.50375742*x17
       *x12 + 2.50375742*x18*x12 + 1.67582365*sqr(x13) - 2.50375742*x14*x13 + 
       0.65916112*x17*x13 - 0.65916112*x18*x13 + sqr(x14) + sqr(x17) - 2*x18*
       x17 + sqr(x18) =G= 0.5188787233;

e151.. 12.60712784*sqr(x3) + 6.67721368*x5*x3 - 6.67721368*x8*x3 - 2.41729784*
       x15*x3 + 2.41729784*x16*x3 + 12.60712784*sqr(x4) + 2.41729784*x5*x4 - 
       2.41729784*x8*x4 + 6.67721368*x15*x4 - 6.67721368*x16*x4 + sqr(x5) - 2*
       x8*x5 + sqr(x8) + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 3.294577882;

e152.. 12.60712784*sqr(x3) + 6.67721368*x5*x3 - 6.67721368*x11*x3 - 2.41729784*
       x15*x3 + 2.41729784*x17*x3 + 12.60712784*sqr(x4) + 2.41729784*x5*x4 - 
       2.41729784*x11*x4 + 6.67721368*x15*x4 - 6.67721368*x17*x4 + sqr(x5) - 2*
       x11*x5 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17) =G= 3.663483547;

e153.. 12.60712784*sqr(x3) + 6.67721368*x5*x3 - 6.67721368*x14*x3 - 2.41729784*
       x15*x3 + 2.41729784*x18*x3 + 12.60712784*sqr(x4) + 2.41729784*x5*x4 - 
       2.41729784*x14*x4 + 6.67721368*x15*x4 - 6.67721368*x18*x4 + sqr(x5) - 2*
       x14*x5 + sqr(x14) + sqr(x15) - 2*x18*x15 + sqr(x18) =G= 2.060062494;

e154.. 12.60712784*sqr(x3) + 6.67721368*x5*x3 - 16.39322121*x6*x3 + 1.902407482
       *x7*x3 - 6.67721368*x8*x3 - 2.41729784*x15*x3 + 2.41729784*x16*x3 + 
       12.60712784*sqr(x4) + 2.41729784*x5*x4 - 1.902407482*x6*x4 - 16.39322121
       *x7*x4 - 2.41729784*x8*x4 + 6.67721368*x15*x4 - 6.67721368*x16*x4 + sqr(
       x5) - 4.5236206*x6*x5 - 1.06782914*x7*x5 - 2*x8*x5 + 5.400850601*sqr(x6)
        + 4.5236206*x8*x6 + 1.06782914*x15*x6 - 1.06782914*x16*x6 + 5.400850601
       *x7*x7 + 1.06782914*x8*x7 - 4.5236206*x15*x7 + 4.5236206*x16*x7 + sqr(x8
       ) + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 1.641445946;

e155.. 12.60712784*sqr(x3) + 6.67721368*x5*x3 + 12.87500735*x9*x3 - 10.24230914
       *x10*x3 - 6.67721368*x11*x3 - 2.41729784*x15*x3 + 2.41729784*x17*x3 + 
       12.60712784*sqr(x4) + 2.41729784*x5*x4 + 10.24230914*x9*x4 + 12.87500735
       *x10*x4 - 2.41729784*x11*x4 + 6.67721368*x15*x4 - 6.67721368*x17*x4 + x5
       *x5 + 4.3914795*x9*x5 - 1.47802734*x10*x5 - 2*x11*x5 + 5.367414254*sqr(
       x9) - 4.3914795*x11*x9 + 1.47802734*x15*x9 - 1.47802734*x17*x9 + 
       5.367414254*sqr(x10) + 1.47802734*x11*x10 + 4.3914795*x15*x10 - 
       4.3914795*x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17)
        =G= 1.380677264;

e156.. 12.60712784*sqr(x3) + 6.67721368*x5*x3 - 11.3177039*x12*x3 + 
       0.2898345836*x13*x3 - 6.67721368*x14*x3 - 2.41729784*x15*x3 + 2.41729784
       *x18*x3 + 12.60712784*sqr(x4) + 2.41729784*x5*x4 - 0.2898345836*x12*x4
        - 11.3177039*x13*x4 - 2.41729784*x14*x4 + 6.67721368*x15*x4 - 
       6.67721368*x18*x4 + x5*x5 - 3.02492942*x12*x5 - 1.00827778*x13*x5 - 2*
       x14*x5 + 2.541705519*x12*x12 + 3.02492942*x14*x12 + 1.00827778*x15*x12
        - 1.00827778*x18*x12 + 2.541705519*sqr(x13) + 1.00827778*x14*x13 - 
       3.02492942*x15*x13 + 3.02492942*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*
       x15 + sqr(x18) =G= 0.8670457232;

e157.. 12.60712784*sqr(x3) + 6.67721368*x5*x3 + 11.63176181*x6*x3 - 9.692686537
       *x7*x3 - 6.67721368*x8*x3 - 2.41729784*x15*x3 + 2.41729784*x16*x3 + 
       12.60712784*sqr(x4) + 2.41729784*x5*x4 + 9.692686537*x6*x4 + 11.63176181
       *x7*x4 - 2.41729784*x8*x4 + 6.67721368*x15*x4 - 6.67721368*x16*x4 + sqr(
       x5) + 4.009552*x6*x5 - 1.45166714*x7*x5 - 2*x8*x5 + 4.545961182*sqr(x6)
        - 4.009552*x8*x6 + 1.45166714*x15*x6 - 1.45166714*x16*x6 + 4.545961182*
       x7*x7 + 1.45166714*x8*x7 + 4.009552*x15*x7 - 4.009552*x16*x7 + sqr(x8)
        + x15*x15 - 2*x16*x15 + sqr(x16) =G= 1.186509699;

e158.. 12.60712784*sqr(x3) + 6.67721368*x5*x3 - 2.912489276*x9*x3 + 13.9212468*
       x10*x3 - 6.67721368*x11*x3 - 2.41729784*x15*x3 + 2.41729784*x17*x3 + 
       12.60712784*sqr(x4) + 2.41729784*x5*x4 - 13.9212468*x9*x4 - 2.912489276*
       x10*x4 - 2.41729784*x11*x4 + 6.67721368*x15*x4 - 6.67721368*x17*x4 + x5*
       x5 - 2.10591634*x9*x5 + 3.40738932*x10*x5 - 2*x11*x5 + 4.011296402*sqr(
       x9) + 2.10591634*x11*x9 - 3.40738932*x15*x9 + 3.40738932*x17*x9 + 
       4.011296402*sqr(x10) - 3.40738932*x11*x10 - 2.10591634*x15*x10 + 
       2.10591634*x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17)
        =G= 0.7414420615;

e159.. 12.60712784*sqr(x3) + 6.67721368*x5*x3 + 5.783245525*x12*x3 - 
       7.699093866*x13*x3 - 6.67721368*x14*x3 - 2.41729784*x15*x3 + 2.41729784*
       x18*x3 + 12.60712784*sqr(x4) + 2.41729784*x5*x4 + 7.699093866*x12*x4 + 
       5.783245525*x13*x4 - 2.41729784*x14*x4 + 6.67721368*x15*x4 - 6.67721368*
       x18*x4 + x5*x5 + 2.26962754*x12*x5 - 1.48442486*x13*x5 - 2*x14*x5 + 
       1.838681584*x12*x12 - 2.26962754*x14*x12 + 1.48442486*x15*x12 - 
       1.48442486*x18*x12 + 1.838681584*sqr(x13) + 1.48442486*x14*x13 + 
       2.26962754*x15*x13 - 2.26962754*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*
       x15 + sqr(x18) =G= 0.4803589854;

e160.. 12.60712784*sqr(x3) + 6.67721368*x5*x3 - 26.66148871*x6*x3 + 3.093842271
       *x7*x3 - 6.67721368*x8*x3 - 2.41729784*x15*x3 + 2.41729784*x16*x3 + 
       12.60712784*sqr(x4) + 2.41729784*x5*x4 - 3.093842271*x6*x4 - 26.66148871
       *x7*x4 - 2.41729784*x8*x4 + 6.67721368*x15*x4 - 6.67721368*x16*x4 + sqr(
       x5) - 7.357076*x6*x5 - 1.7367363*x7*x5 - 2*x8*x5 + 14.28570506*sqr(x6)
        + 7.357076*x8*x6 + 1.7367363*x15*x6 - 1.7367363*x16*x6 + 14.28570506*
       sqr(x7) + 1.7367363*x8*x7 - 7.357076*x15*x7 + 7.357076*x16*x7 + sqr(x8)
        + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 0.8963084478;

e161.. 12.60712784*sqr(x3) + 6.67721368*x5*x3 + 9.152705948*x9*x3 - 5.985757533
       *x10*x3 - 6.67721368*x11*x3 - 2.41729784*x15*x3 + 2.41729784*x17*x3 + 
       12.60712784*sqr(x4) + 2.41729784*x5*x4 + 5.985757533*x9*x4 + 9.152705948
       *x10*x4 - 2.41729784*x11*x4 + 6.67721368*x15*x4 - 6.67721368*x17*x4 + x5
       *x5 + 2.9976666*x9*x5 - 0.70766974*x10*x5 - 2*x11*x5 + 2.371700376*sqr(
       x9) - 2.9976666*x11*x9 + 0.70766974*x15*x9 - 0.70766974*x17*x9 + 
       2.371700376*sqr(x10) + 0.70766974*x11*x10 + 2.9976666*x15*x10 - 
       2.9976666*x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17)
        =G= 2.434235804;

e162.. 12.60712784*sqr(x3) + 6.67721368*x5*x3 - 17.19660631*x12*x3 + 
       0.4402537848*x13*x3 - 6.67721368*x14*x3 - 2.41729784*x15*x3 + 2.41729784
       *x18*x3 + 12.60712784*sqr(x4) + 2.41729784*x5*x4 - 0.4402537848*x12*x4
        - 17.19660631*x13*x4 - 2.41729784*x14*x4 + 6.67721368*x15*x4 - 
       6.67721368*x18*x4 + x5*x5 - 4.59619514*x12*x5 - 1.53205596*x13*x5 - 2*
       x14*x5 + 5.868051307*x12*x12 + 4.59619514*x14*x12 + 1.53205596*x15*x12
        - 1.53205596*x18*x12 + 5.868051307*sqr(x13) + 1.53205596*x14*x13 - 
       4.59619514*x15*x13 + 4.59619514*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*
       x15 + sqr(x18) =G= 0.4479140474;

e163.. 12.60712784*sqr(x3) + 6.67721368*x5*x3 - 33.09283459*x6*x3 + 3.840229883
       *x7*x3 - 6.67721368*x8*x3 - 2.41729784*x15*x3 + 2.41729784*x16*x3 + 
       12.60712784*sqr(x4) + 2.41729784*x5*x4 - 3.840229883*x6*x4 - 33.09283459
       *x7*x4 - 2.41729784*x8*x4 + 6.67721368*x15*x4 - 6.67721368*x16*x4 + sqr(
       x5) - 9.1317749*x6*x5 - 2.15565364*x7*x5 - 2*x8*x5 + 22.00903886*sqr(x6)
        + 9.1317749*x8*x6 + 2.15565364*x15*x6 - 2.15565364*x16*x6 + 22.00903886
       *x7*x7 + 2.15565364*x8*x7 - 9.1317749*x15*x7 + 9.1317749*x16*x7 + sqr(x8
       ) + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 0.5435738211;

e164.. 12.60712784*sqr(x3) + 6.67721368*x5*x3 - 11.51114752*x9*x3 - 5.392049769
       *x10*x3 - 6.67721368*x11*x3 - 2.41729784*x15*x3 + 2.41729784*x17*x3 + 
       12.60712784*sqr(x4) + 2.41729784*x5*x4 + 5.392049769*x9*x4 - 11.51114752
       *x10*x4 - 2.41729784*x11*x4 + 6.67721368*x15*x4 - 6.67721368*x17*x4 + x5
       *x5 - 2.5314331*x9*x5 - 2.53149414*x10*x5 - 2*x11*x5 + 3.20415403*sqr(x9
       ) + 2.5314331*x11*x9 + 2.53149414*x15*x9 - 2.53149414*x17*x9 + 
       3.20415403*sqr(x10) + 2.53149414*x11*x10 - 2.5314331*x15*x10 + 2.5314331
       *x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17) =G= 0.4202819597;

e165.. 12.60712784*sqr(x3) + 6.67721368*x5*x3 + 5.226843526*x12*x3 + 
       7.562367272*x13*x3 - 6.67721368*x14*x3 - 2.41729784*x15*x3 + 2.41729784*
       x18*x3 + 12.60712784*sqr(x4) + 2.41729784*x5*x4 - 7.562367272*x12*x4 + 
       5.226843526*x13*x4 - 2.41729784*x14*x4 + 6.67721368*x15*x4 - 6.67721368*
       x18*x4 + x5*x5 + 0.65916112*x12*x5 + 2.50375742*x13*x5 - 2*x14*x5 + 
       1.67582365*x12*x12 - 0.65916112*x14*x12 - 2.50375742*x15*x12 + 
       2.50375742*x18*x12 + 1.67582365*sqr(x13) - 2.50375742*x14*x13 + 
       0.65916112*x15*x13 - 0.65916112*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*
       x15 + sqr(x18) =G= 0.3989108671;

e166.. 14.28570506*sqr(x6) + 7.357076*x8*x6 - 7.357076*x11*x6 - 1.7367363*x16*
       x6 + 1.7367363*x17*x6 + 14.28570506*sqr(x7) + 1.7367363*x8*x7 - 
       1.7367363*x11*x7 + 7.357076*x16*x7 - 7.357076*x17*x7 + sqr(x8) - 2*x11*
       x8 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17) =G= 4.361526123;

e167.. 14.28570506*sqr(x6) + 7.357076*x8*x6 - 7.357076*x14*x6 - 1.7367363*x16*
       x6 + 1.7367363*x18*x6 + 14.28570506*sqr(x7) + 1.7367363*x8*x7 - 
       1.7367363*x14*x7 + 7.357076*x16*x7 - 7.357076*x18*x7 + sqr(x8) - 2*x14*
       x8 + sqr(x14) + sqr(x16) - 2*x18*x16 + sqr(x18) =G= 2.591119989;

e168.. 14.28570506*sqr(x6) + 7.357076*x8*x6 + 14.87075235*x9*x6 - 9.250400664*
       x10*x6 - 7.357076*x11*x6 - 1.7367363*x16*x6 + 1.7367363*x17*x6 + 
       14.28570506*sqr(x7) + 1.7367363*x8*x7 + 9.250400664*x9*x7 + 14.87075235*
       x10*x7 - 1.7367363*x11*x7 + 7.357076*x16*x7 - 7.357076*x17*x7 + sqr(x8)
        + 4.3914795*x9*x8 - 1.47802734*x10*x8 - 2*x11*x8 + 5.367414254*sqr(x9)
        - 4.3914795*x11*x9 + 1.47802734*x16*x9 - 1.47802734*x17*x9 + 
       5.367414254*sqr(x10) + 1.47802734*x11*x10 + 4.3914795*x16*x10 - 
       4.3914795*x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17)
        =G= 1.820950745;

e169.. 14.28570506*sqr(x6) + 7.357076*x8*x6 - 12.00287413*x12*x6 - 1.082235764*
       x13*x6 - 7.357076*x14*x6 - 1.7367363*x16*x6 + 1.7367363*x18*x6 + 
       14.28570506*sqr(x7) + 1.7367363*x8*x7 + 1.082235764*x12*x7 - 12.00287413
       *x13*x7 - 1.7367363*x14*x7 + 7.357076*x16*x7 - 7.357076*x18*x7 + sqr(x8)
        - 3.02492942*x12*x8 - 1.00827778*x13*x8 - 2*x14*x8 + 2.541705519*sqr(
       x12) + 3.02492942*x14*x12 + 1.00827778*x16*x12 - 1.00827778*x18*x12 + 
       2.541705519*sqr(x13) + 1.00827778*x14*x13 - 3.02492942*x16*x13 + 
       3.02492942*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*x16 + sqr(x18)
        =G= 1.222255705;

e170.. 14.28570506*sqr(x6) + 7.357076*x8*x6 - 4.787824921*x9*x6 + 14.36292177*
       x10*x6 - 7.357076*x11*x6 - 1.7367363*x16*x6 + 1.7367363*x17*x6 + 
       14.28570506*sqr(x7) + 1.7367363*x8*x7 - 14.36292177*x9*x7 - 4.787824921*
       x10*x7 - 1.7367363*x11*x7 + 7.357076*x16*x7 - 7.357076*x17*x7 + sqr(x8)
        - 2.10591634*x9*x8 + 3.40738932*x10*x8 - 2*x11*x8 + 4.011296402*sqr(x9)
        + 2.10591634*x11*x9 - 3.40738932*x16*x9 + 3.40738932*x17*x9 + 
       4.011296402*sqr(x10) - 3.40738932*x11*x10 - 2.10591634*x16*x10 + 
       2.10591634*x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17)
        =G= 1.072206695;

e171.. 14.28570506*sqr(x6) + 7.357076*x8*x6 + 7.059883882*x12*x6 - 7.431385524*
       x13*x6 - 7.357076*x14*x6 - 1.7367363*x16*x6 + 1.7367363*x18*x6 + 
       14.28570506*sqr(x7) + 1.7367363*x8*x7 + 7.431385524*x12*x7 + 7.059883882
       *x13*x7 - 1.7367363*x14*x7 + 7.357076*x16*x7 - 7.357076*x18*x7 + sqr(x8)
        + 2.26962754*x12*x8 - 1.48442486*x13*x8 - 2*x14*x8 + 1.838681584*sqr(
       x12) - 2.26962754*x14*x12 + 1.48442486*x16*x12 - 1.48442486*x18*x12 + 
       1.838681584*sqr(x13) + 1.48442486*x14*x13 + 2.26962754*x16*x13 - 
       2.26962754*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*x16 + sqr(x18)
        =G= 0.7525270849;

e172.. 14.28570506*sqr(x6) + 7.357076*x8*x6 + 10.41251264*x9*x6 - 5.20626823*
       x10*x6 - 7.357076*x11*x6 - 1.7367363*x16*x6 + 1.7367363*x17*x6 + 
       14.28570506*sqr(x7) + 1.7367363*x8*x7 + 5.20626823*x9*x7 + 10.41251264*
       x10*x7 - 1.7367363*x11*x7 + 7.357076*x16*x7 - 7.357076*x17*x7 + sqr(x8)
        + 2.9976666*x9*x8 - 0.70766974*x10*x8 - 2*x11*x8 + 2.371700376*sqr(x9)
        - 2.9976666*x11*x9 + 0.70766974*x16*x9 - 0.70766974*x17*x9 + 
       2.371700376*sqr(x10) + 0.70766974*x11*x10 + 2.9976666*x16*x10 - 
       2.9976666*x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17)
        =G= 3.008863561;

e173.. 14.28570506*sqr(x6) + 7.357076*x8*x6 - 18.23766708*x12*x6 - 1.644536596*
       x13*x6 - 7.357076*x14*x6 - 1.7367363*x16*x6 + 1.7367363*x18*x6 + 
       14.28570506*sqr(x7) + 1.7367363*x8*x7 + 1.644536596*x12*x7 - 18.23766708
       *x13*x7 - 1.7367363*x14*x7 + 7.357076*x16*x7 - 7.357076*x18*x7 + sqr(x8)
        - 4.59619514*x12*x8 - 1.53205596*x13*x8 - 2*x14*x8 + 5.868051307*sqr(
       x12) + 4.59619514*x14*x12 + 1.53205596*x16*x12 - 1.53205596*x18*x12 + 
       5.868051307*sqr(x13) + 1.53205596*x14*x13 - 4.59619514*x16*x13 + 
       4.59619514*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*x16 + sqr(x18)
        =G= 0.7117751037;

e174.. 14.28570506*sqr(x6) + 7.357076*x8*x6 - 11.51024174*x9*x6 - 7.113981513*
       x10*x6 - 7.357076*x11*x6 - 1.7367363*x16*x6 + 1.7367363*x17*x6 + 
       14.28570506*sqr(x7) + 1.7367363*x8*x7 + 7.113981513*x9*x7 - 11.51024174*
       x10*x7 - 1.7367363*x11*x7 + 7.357076*x16*x7 - 7.357076*x17*x7 + sqr(x8)
        - 2.5314331*x9*x8 - 2.53149414*x10*x8 - 2*x11*x8 + 3.20415403*sqr(x9)
        + 2.5314331*x11*x9 + 2.53149414*x16*x9 - 2.53149414*x17*x9 + 3.20415403
       *sqr(x10) + 2.53149414*x11*x10 - 2.5314331*x16*x10 + 2.5314331*x17*x10
        + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17) =G= 0.6768277376;

e175.. 14.28570506*sqr(x6) + 7.357076*x8*x6 + 4.598932427*x12*x6 + 8.63777229*
       x13*x6 - 7.357076*x14*x6 - 1.7367363*x16*x6 + 1.7367363*x18*x6 + 
       14.28570506*sqr(x7) + 1.7367363*x8*x7 - 8.63777229*x12*x7 + 4.598932427*
       x13*x7 - 1.7367363*x14*x7 + 7.357076*x16*x7 - 7.357076*x18*x7 + sqr(x8)
        + 0.65916112*x12*x8 + 2.50375742*x13*x8 - 2*x14*x8 + 1.67582365*sqr(x12
       ) - 0.65916112*x14*x12 - 2.50375742*x16*x12 + 2.50375742*x18*x12 + 
       1.67582365*sqr(x13) - 2.50375742*x14*x13 + 0.65916112*x16*x13 - 
       0.65916112*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*x16 + sqr(x18)
        =G= 0.649632373;

e176.. 2.371700376*sqr(x9) - 2.9976666*x11*x9 + 2.9976666*x14*x9 - 0.70766974*
       x17*x9 + 0.70766974*x18*x9 + 2.371700376*sqr(x10) + 0.70766974*x11*x10
        - 0.70766974*x14*x10 - 2.9976666*x17*x10 + 2.9976666*x18*x10 + sqr(x11)
        - 2*x14*x11 + sqr(x14) + sqr(x17) - 2*x18*x17 + sqr(x18)
        =G= 4.942456881;

e177.. 2.371700376*sqr(x9) - 2.9976666*x11*x9 + 4.177101108*x12*x9 + 2.58156582
       *x13*x9 + 2.9976666*x14*x9 - 0.70766974*x17*x9 + 0.70766974*x18*x9 + 
       2.371700376*sqr(x10) + 0.70766974*x11*x10 - 2.58156582*x12*x10 + 
       4.177101108*x13*x10 - 0.70766974*x14*x10 - 2.9976666*x17*x10 + 2.9976666
       *x18*x10 + sqr(x11) - 3.02492942*x12*x11 - 1.00827778*x13*x11 - 2*x14*
       x11 + 2.541705519*sqr(x12) + 3.02492942*x14*x12 + 1.00827778*x17*x12 - 
       1.00827778*x18*x12 + 2.541705519*sqr(x13) + 1.00827778*x14*x13 - 
       3.02492942*x17*x13 + 3.02492942*x18*x13 + sqr(x14) + sqr(x17) - 2*x18*
       x17 + sqr(x18) =G= 2.955046366;

e178.. 2.371700376*sqr(x9) - 2.9976666*x11*x9 - 3.927034613*x12*x9 + 
       1.421832046*x13*x9 + 2.9976666*x14*x9 - 0.70766974*x17*x9 + 0.70766974*
       x18*x9 + 2.371700376*sqr(x10) + 0.70766974*x11*x10 - 1.421832046*x12*x10
        - 3.927034613*x13*x10 - 0.70766974*x14*x10 - 2.9976666*x17*x10 + 
       2.9976666*x18*x10 + sqr(x11) + 2.26962754*x12*x11 - 1.48442486*x13*x11
        - 2*x14*x11 + 1.838681584*sqr(x12) - 2.26962754*x14*x12 + 1.48442486*
       x17*x12 - 1.48442486*x18*x12 + 1.838681584*sqr(x13) + 1.48442486*x14*x13
        + 2.26962754*x17*x13 - 2.26962754*x18*x13 + sqr(x14) + sqr(x17) - 2*x18
       *x17 + sqr(x18) =G= 2.193216694;

e179.. 2.371700376*sqr(x9) - 2.9976666*x11*x9 + 6.346835508*x12*x9 + 3.9225906*
       x13*x9 + 2.9976666*x14*x9 - 0.70766974*x17*x9 + 0.70766974*x18*x9 + 
       2.371700376*sqr(x10) + 0.70766974*x11*x10 - 3.9225906*x12*x10 + 
       6.346835508*x13*x10 - 0.70766974*x14*x10 - 2.9976666*x17*x10 + 2.9976666
       *x18*x10 + sqr(x11) - 4.59619514*x12*x11 - 1.53205596*x13*x11 - 2*x14*
       x11 + 5.868051307*sqr(x12) + 4.59619514*x14*x12 + 1.53205596*x17*x12 - 
       1.53205596*x18*x12 + 5.868051307*sqr(x13) + 1.53205596*x14*x13 - 
       4.59619514*x17*x13 + 4.59619514*x18*x13 + sqr(x14) + sqr(x17) - 2*x18*
       x17 + sqr(x18) =G= 2.123244565;

e180.. 2.371700376*sqr(x9) - 2.9976666*x11*x9 - 0.1020559555*x12*x9 - 
       3.985949185*x13*x9 + 2.9976666*x14*x9 - 0.70766974*x17*x9 + 0.70766974*
       x18*x9 + 2.371700376*sqr(x10) + 0.70766974*x11*x10 + 3.985949185*x12*x10
        - 0.1020559555*x13*x10 - 0.70766974*x14*x10 - 2.9976666*x17*x10 + 
       2.9976666*x18*x10 + sqr(x11) + 0.65916112*x12*x11 + 2.50375742*x13*x11
        - 2*x14*x11 + 1.67582365*sqr(x12) - 0.65916112*x14*x12 - 2.50375742*x17
       *x12 + 2.50375742*x18*x12 + 1.67582365*sqr(x13) - 2.50375742*x14*x13 + 
       0.65916112*x17*x13 - 0.65916112*x18*x13 + sqr(x14) + sqr(x17) - 2*x18*
       x17 + sqr(x18) =G= 2.014883271;

e181.. 3.491341646*sqr(x3) - 0.33813906*x5*x3 + 0.33813906*x8*x3 + 3.721697*x15
       *x3 - 3.721697*x16*x3 + 3.491341646*sqr(x4) - 3.721697*x5*x4 + 3.721697*
       x8*x4 - 0.33813906*x15*x4 + 0.33813906*x16*x4 + sqr(x5) - 2*x8*x5 + sqr(
       x8) + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 2.898849893;

e182.. 3.491341646*sqr(x3) - 0.33813906*x5*x3 + 0.33813906*x11*x3 + 3.721697*
       x15*x3 - 3.721697*x17*x3 + 3.491341646*sqr(x4) - 3.721697*x5*x4 + 
       3.721697*x11*x4 - 0.33813906*x15*x4 + 0.33813906*x17*x4 + sqr(x5) - 2*
       x11*x5 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17) =G= 3.245498018;

e183.. 3.491341646*sqr(x3) - 0.33813906*x5*x3 + 0.33813906*x14*x3 + 3.721697*
       x15*x3 - 3.721697*x18*x3 + 3.491341646*sqr(x4) - 3.721697*x5*x4 + 
       3.721697*x14*x4 - 0.33813906*x15*x4 + 0.33813906*x18*x4 + sqr(x5) - 2*
       x14*x5 + sqr(x14) + sqr(x15) - 2*x18*x15 + sqr(x18) =G= 1.749787908;

e184.. 3.491341646*sqr(x3) - 0.33813906*x5*x3 + 2.751874662*x6*x3 - 8.237235237
       *x7*x3 + 0.33813906*x8*x3 + 3.721697*x15*x3 - 3.721697*x16*x3 + 
       3.491341646*sqr(x4) - 3.721697*x5*x4 + 8.237235237*x6*x4 + 2.751874662*
       x7*x4 + 3.721697*x8*x4 - 0.33813906*x15*x4 + 0.33813906*x16*x4 + sqr(x5)
        - 4.5236206*x6*x5 - 1.06782914*x7*x5 - 2*x8*x5 + 5.400850601*sqr(x6) + 
       4.5236206*x8*x6 + 1.06782914*x15*x6 - 1.06782914*x16*x6 + 5.400850601*x7
       *x7 + 1.06782914*x8*x7 - 4.5236206*x15*x7 + 4.5236206*x16*x7 + sqr(x8)
        + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 1.365843282;

e185.. 3.491341646*sqr(x3) - 0.33813906*x5*x3 + 2.007919584*x9*x3 + 8.421767428
       *x10*x3 + 0.33813906*x11*x3 + 3.721697*x15*x3 - 3.721697*x17*x3 + 
       3.491341646*sqr(x4) - 3.721697*x5*x4 - 8.421767428*x9*x4 + 2.007919584*
       x10*x4 + 3.721697*x11*x4 - 0.33813906*x15*x4 + 0.33813906*x17*x4 + sqr(
       x5) + 4.3914795*x9*x5 - 1.47802734*x10*x5 - 2*x11*x5 + 5.367414254*sqr(
       x9) - 4.3914795*x11*x9 + 1.47802734*x15*x9 - 1.47802734*x17*x9 + 
       5.367414254*sqr(x10) + 1.47802734*x11*x10 + 4.3914795*x15*x10 - 
       4.3914795*x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17)
        =G= 1.128961394;

e186.. 3.491341646*sqr(x3) - 0.33813906*x5*x3 + 2.38767559*x12*x3 - 5.458466323
       *x13*x3 + 0.33813906*x14*x3 + 3.721697*x15*x3 - 3.721697*x18*x3 + 
       3.491341646*sqr(x4) - 3.721697*x5*x4 + 5.458466323*x12*x4 + 2.38767559*
       x13*x4 + 3.721697*x14*x4 - 0.33813906*x15*x4 + 0.33813906*x18*x4 + sqr(
       x5) - 3.02492942*x12*x5 - 1.00827778*x13*x5 - 2*x14*x5 + 2.541705519*
       sqr(x12) + 3.02492942*x14*x12 + 1.00827778*x15*x12 - 1.00827778*x18*x12
        + 2.541705519*sqr(x13) + 1.00827778*x14*x13 - 3.02492942*x15*x13 + 
       3.02492942*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*x15 + sqr(x18)
        =G= 0.6701986451;

e187.. 3.491341646*sqr(x3) - 0.33813906*x5*x3 + 2.023439548*x6*x3 + 7.706601506
       *x7*x3 + 0.33813906*x8*x3 + 3.721697*x15*x3 - 3.721697*x16*x3 + 
       3.491341646*sqr(x4) - 3.721697*x5*x4 - 7.706601506*x6*x4 + 2.023439548*
       x7*x4 + 3.721697*x8*x4 - 0.33813906*x15*x4 + 0.33813906*x16*x4 + sqr(x5)
        + 4.009552*x6*x5 - 1.45166714*x7*x5 - 2*x8*x5 + 4.545961182*sqr(x6) - 
       4.009552*x8*x6 + 1.45166714*x15*x6 - 1.45166714*x16*x6 + 4.545961182*x7*
       x7 + 1.45166714*x8*x7 + 4.009552*x15*x7 - 4.009552*x16*x7 + sqr(x8) + 
       x15*x15 - 2*x16*x15 + sqr(x16) =G= 0.9540873885;

e188.. 3.491341646*sqr(x3) - 0.33813906*x5*x3 - 5.984589019*x9*x3 - 4.494876973
       *x10*x3 + 0.33813906*x11*x3 + 3.721697*x15*x3 - 3.721697*x17*x3 + 
       3.491341646*sqr(x4) - 3.721697*x5*x4 + 4.494876973*x9*x4 - 5.984589019*
       x10*x4 + 3.721697*x11*x4 - 0.33813906*x15*x4 + 0.33813906*x17*x4 + sqr(
       x5) - 2.10591634*x9*x5 + 3.40738932*x10*x5 - 2*x11*x5 + 4.011296402*sqr(
       x9) + 2.10591634*x11*x9 - 3.40738932*x15*x9 + 3.40738932*x17*x9 + 
       4.011296402*sqr(x10) - 3.40738932*x11*x10 - 2.10591634*x15*x10 + 
       2.10591634*x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17)
        =G= 0.5603630484;

e189.. 3.491341646*sqr(x3) - 0.33813906*x5*x3 + 2.378564913*x12*x3 + 
       4.474404017*x13*x3 + 0.33813906*x14*x3 + 3.721697*x15*x3 - 3.721697*x18*
       x3 + 3.491341646*sqr(x4) - 3.721697*x5*x4 - 4.474404017*x12*x4 + 
       2.378564913*x13*x4 + 3.721697*x14*x4 - 0.33813906*x15*x4 + 0.33813906*
       x18*x4 + sqr(x5) + 2.26962754*x12*x5 - 1.48442486*x13*x5 - 2*x14*x5 + 
       1.838681584*x12*x12 - 2.26962754*x14*x12 + 1.48442486*x15*x12 - 
       1.48442486*x18*x12 + 1.838681584*sqr(x13) + 1.48442486*x14*x13 + 
       2.26962754*x15*x13 - 2.26962754*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*
       x15 + sqr(x18) =G= 0.3370766896;

e190.. 3.491341646*sqr(x3) - 0.33813906*x5*x3 + 4.47566052*x6*x3 - 13.39677465*
       x7*x3 + 0.33813906*x8*x3 + 3.721697*x15*x3 - 3.721697*x16*x3 + 
       3.491341646*sqr(x4) - 3.721697*x5*x4 + 13.39677465*x6*x4 + 4.47566052*x7
       *x4 + 3.721697*x8*x4 - 0.33813906*x15*x4 + 0.33813906*x16*x4 + sqr(x5)
        - 7.357076*x6*x5 - 1.7367363*x7*x5 - 2*x8*x5 + 14.28570506*sqr(x6) + 
       7.357076*x8*x6 + 1.7367363*x15*x6 - 1.7367363*x16*x6 + 14.28570506*sqr(
       x7) + 1.7367363*x8*x7 - 7.357076*x15*x7 + 7.357076*x16*x7 + sqr(x8) + 
       sqr(x15) - 2*x16*x15 + sqr(x16) =G= 0.6959553598;

e191.. 3.491341646*sqr(x3) - 0.33813906*x5*x3 + 0.810052091*x9*x3 + 5.697848786
       *x10*x3 + 0.33813906*x11*x3 + 3.721697*x15*x3 - 3.721697*x17*x3 + 
       3.491341646*sqr(x4) - 3.721697*x5*x4 - 5.697848786*x9*x4 + 0.810052091*
       x10*x4 + 3.721697*x11*x4 - 0.33813906*x15*x4 + 0.33813906*x17*x4 + sqr(
       x5) + 2.9976666*x9*x5 - 0.70766974*x10*x5 - 2*x11*x5 + 2.371700376*sqr(
       x9) - 2.9976666*x11*x9 + 0.70766974*x15*x9 - 0.70766974*x17*x9 + 
       2.371700376*sqr(x10) + 0.70766974*x11*x10 + 2.9976666*x15*x10 - 
       2.9976666*x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17)
        =G= 2.095856948;

e192.. 3.491341646*sqr(x3) - 0.33813906*x5*x3 + 3.628000587*x12*x3 - 
       8.293798851*x13*x3 + 0.33813906*x14*x3 + 3.721697*x15*x3 - 3.721697*x18*
       x3 + 3.491341646*sqr(x4) - 3.721697*x5*x4 + 8.293798851*x12*x4 + 
       3.628000587*x13*x4 + 3.721697*x14*x4 - 0.33813906*x15*x4 + 0.33813906*
       x18*x4 + sqr(x5) - 4.59619514*x12*x5 - 1.53205596*x13*x5 - 2*x14*x5 + 
       5.868051307*x12*x12 + 4.59619514*x14*x12 + 1.53205596*x15*x12 - 
       1.53205596*x18*x12 + 5.868051307*sqr(x13) + 1.53205596*x14*x13 - 
       4.59619514*x15*x13 + 4.59619514*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*
       x15 + sqr(x18) =G= 0.3099900713;

e193.. 3.491341646*sqr(x3) - 0.33813906*x5*x3 + 5.555249733*x6*x3 - 16.62839428
       *x7*x3 + 0.33813906*x8*x3 + 3.721697*x15*x3 - 3.721697*x16*x3 + 
       3.491341646*sqr(x4) - 3.721697*x5*x4 + 16.62839428*x6*x4 + 5.555249733*
       x7*x4 + 3.721697*x8*x4 - 0.33813906*x15*x4 + 0.33813906*x16*x4 + sqr(x5)
        - 9.1317749*x6*x5 - 2.15565364*x7*x5 - 2*x8*x5 + 22.00903886*sqr(x6) + 
       9.1317749*x8*x6 + 2.15565364*x15*x6 - 2.15565364*x16*x6 + 22.00903886*x7
       *x7 + 2.15565364*x8*x7 - 9.1317749*x15*x7 + 9.1317749*x16*x7 + sqr(x8)
        + sqr(x15) - 2*x16*x15 + sqr(x16) =G= 0.3903479242;

e194.. 3.491341646*sqr(x3) - 0.33813906*x5*x3 + 5.138715278*x9*x3 - 4.282614963
       *x10*x3 + 0.33813906*x11*x3 + 3.721697*x15*x3 - 3.721697*x17*x3 + 
       3.491341646*sqr(x4) - 3.721697*x5*x4 + 4.282614963*x9*x4 + 5.138715278*
       x10*x4 + 3.721697*x11*x4 - 0.33813906*x15*x4 + 0.33813906*x17*x4 + sqr(
       x5) - 2.5314331*x9*x5 - 2.53149414*x10*x5 - 2*x11*x5 + 3.20415403*sqr(x9
       ) + 2.5314331*x11*x9 + 2.53149414*x15*x9 - 2.53149414*x17*x9 + 
       3.20415403*sqr(x10) + 2.53149414*x11*x10 - 2.5314331*x15*x10 + 2.5314331
       *x17*x10 + sqr(x11) + sqr(x15) - 2*x17*x15 + sqr(x17) =G= 0.2870765821;

e195.. 3.491341646*sqr(x3) - 0.33813906*x5*x3 - 4.7705573*x12*x3 + 0.8032898912
       *x13*x3 + 0.33813906*x14*x3 + 3.721697*x15*x3 - 3.721697*x18*x3 + 
       3.491341646*sqr(x4) - 3.721697*x5*x4 - 0.8032898912*x12*x4 - 4.7705573*
       x13*x4 + 3.721697*x14*x4 - 0.33813906*x15*x4 + 0.33813906*x18*x4 + sqr(
       x5) + 0.65916112*x12*x5 + 2.50375742*x13*x5 - 2*x14*x5 + 1.67582365*sqr(
       x12) - 0.65916112*x14*x12 - 2.50375742*x15*x12 + 2.50375742*x18*x12 + 
       1.67582365*sqr(x13) - 2.50375742*x14*x13 + 0.65916112*x15*x13 - 
       0.65916112*x18*x13 + sqr(x14) + sqr(x15) - 2*x18*x15 + sqr(x18)
        =G= 0.2694623391;

e196.. 22.00903886*sqr(x6) + 9.1317749*x8*x6 - 9.1317749*x11*x6 - 2.15565364*
       x16*x6 + 2.15565364*x17*x6 + 22.00903886*sqr(x7) + 2.15565364*x8*x7 - 
       2.15565364*x11*x7 + 9.1317749*x16*x7 - 9.1317749*x17*x7 + sqr(x8) - 2*
       x11*x8 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17) =G= 3.530511801;

e197.. 22.00903886*sqr(x6) + 9.1317749*x8*x6 - 9.1317749*x14*x6 - 2.15565364*
       x16*x6 + 2.15565364*x18*x6 + 22.00903886*sqr(x7) + 2.15565364*x8*x7 - 
       2.15565364*x14*x7 + 9.1317749*x16*x7 - 9.1317749*x18*x7 + sqr(x8) - 2*
       x14*x8 + sqr(x14) + sqr(x16) - 2*x18*x16 + sqr(x18) =G= 1.960656739;

e198.. 22.00903886*sqr(x6) + 9.1317749*x8*x6 + 18.45794363*x9*x6 - 11.48176087*
       x10*x6 - 9.1317749*x11*x6 - 2.15565364*x16*x6 + 2.15565364*x17*x6 + 
       22.00903886*sqr(x7) + 2.15565364*x8*x7 + 11.48176087*x9*x7 + 18.45794363
       *x10*x7 - 2.15565364*x11*x7 + 9.1317749*x16*x7 - 9.1317749*x17*x7 + sqr(
       x8) + 4.3914795*x9*x8 - 1.47802734*x10*x8 - 2*x11*x8 + 5.367414254*sqr(
       x9) - 4.3914795*x11*x9 + 1.47802734*x16*x9 - 1.47802734*x17*x9 + 
       5.367414254*sqr(x10) + 1.47802734*x11*x10 + 4.3914795*x16*x10 - 
       4.3914795*x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17)
        =G= 1.299520178;

e199.. 22.00903886*sqr(x6) + 9.1317749*x8*x6 - 14.89823611*x12*x6 - 1.343332804
       *x13*x6 - 9.1317749*x14*x6 - 2.15565364*x16*x6 + 2.15565364*x18*x6 + 
       22.00903886*sqr(x7) + 2.15565364*x8*x7 + 1.343332804*x12*x7 - 
       14.89823611*x13*x7 - 2.15565364*x14*x7 + 9.1317749*x16*x7 - 9.1317749*
       x18*x7 + sqr(x8) - 3.02492942*x12*x8 - 1.00827778*x13*x8 - 2*x14*x8 + 
       2.541705519*x12*x12 + 3.02492942*x14*x12 + 1.00827778*x16*x12 - 
       1.00827778*x18*x12 + 2.541705519*sqr(x13) + 1.00827778*x14*x13 - 
       3.02492942*x16*x13 + 3.02492942*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*
       x16 + sqr(x18) =G= 0.8029874139;

e200.. 22.00903886*sqr(x6) + 9.1317749*x8*x6 - 5.942801392*x9*x6 + 17.82756925*
       x10*x6 - 9.1317749*x11*x6 - 2.15565364*x16*x6 + 2.15565364*x17*x6 + 
       22.00903886*sqr(x7) + 2.15565364*x8*x7 - 17.82756925*x9*x7 - 5.942801392
       *x10*x7 - 2.15565364*x11*x7 + 9.1317749*x16*x7 - 9.1317749*x17*x7 + sqr(
       x8) - 2.10591634*x9*x8 + 3.40738932*x10*x8 - 2*x11*x8 + 4.011296402*sqr(
       x9) + 2.10591634*x11*x9 - 3.40738932*x16*x9 + 3.40738932*x17*x9 + 
       4.011296402*sqr(x10) - 3.40738932*x11*x10 - 2.10591634*x16*x10 + 
       2.10591634*x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17)
        =G= 0.6822975588;

e201.. 22.00903886*sqr(x6) + 9.1317749*x8*x6 + 8.762910975*x12*x6 - 9.223982273
       *x13*x6 - 9.1317749*x14*x6 - 2.15565364*x16*x6 + 2.15565364*x18*x6 + 
       22.00903886*sqr(x7) + 2.15565364*x8*x7 + 9.223982273*x12*x7 + 
       8.762910975*x13*x7 - 2.15565364*x14*x7 + 9.1317749*x16*x7 - 9.1317749*
       x18*x7 + sqr(x8) + 2.26962754*x12*x8 - 1.48442486*x13*x8 - 2*x14*x8 + 
       1.838681584*x12*x12 - 2.26962754*x14*x12 + 1.48442486*x16*x12 - 
       1.48442486*x18*x12 + 1.838681584*sqr(x13) + 1.48442486*x14*x13 + 
       2.26962754*x16*x13 - 2.26962754*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*
       x16 + sqr(x18) =G= 0.4329930841;

e202.. 22.00903886*sqr(x6) + 9.1317749*x8*x6 + 12.92426288*x9*x6 - 6.462105844*
       x10*x6 - 9.1317749*x11*x6 - 2.15565364*x16*x6 + 2.15565364*x17*x6 + 
       22.00903886*sqr(x7) + 2.15565364*x8*x7 + 6.462105844*x9*x7 + 12.92426288
       *x10*x7 - 2.15565364*x11*x7 + 9.1317749*x16*x7 - 9.1317749*x17*x7 + sqr(
       x8) + 2.9976666*x9*x8 - 0.70766974*x10*x8 - 2*x11*x8 + 2.371700376*sqr(
       x9) - 2.9976666*x11*x9 + 0.70766974*x16*x9 - 0.70766974*x17*x9 + 
       2.371700376*sqr(x10) + 0.70766974*x11*x10 + 2.9976666*x16*x10 - 
       2.9976666*x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17)
        =G= 2.326071907;

e203.. 22.00903886*sqr(x6) + 9.1317749*x8*x6 - 22.63700071*x12*x6 - 2.041292689
       *x13*x6 - 9.1317749*x14*x6 - 2.15565364*x16*x6 + 2.15565364*x18*x6 + 
       22.00903886*sqr(x7) + 2.15565364*x8*x7 + 2.041292689*x12*x7 - 
       22.63700071*x13*x7 - 2.15565364*x14*x7 + 9.1317749*x16*x7 - 9.1317749*
       x18*x7 + sqr(x8) - 4.59619514*x12*x8 - 1.53205596*x13*x8 - 2*x14*x8 + 
       5.868051307*x12*x12 + 4.59619514*x14*x12 + 1.53205596*x16*x12 - 
       1.53205596*x18*x12 + 5.868051307*sqr(x13) + 1.53205596*x14*x13 - 
       4.59619514*x16*x13 + 4.59619514*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*
       x16 + sqr(x18) =G= 0.4022179607;

e204.. 22.00903886*sqr(x6) + 9.1317749*x8*x6 - 14.2867509*x9*x6 - 8.830070835*
       x10*x6 - 9.1317749*x11*x6 - 2.15565364*x16*x6 + 2.15565364*x17*x6 + 
       22.00903886*sqr(x7) + 2.15565364*x8*x7 + 8.830070835*x9*x7 - 14.2867509*
       x10*x7 - 2.15565364*x11*x7 + 9.1317749*x16*x7 - 9.1317749*x17*x7 + sqr(
       x8) - 2.5314331*x9*x8 - 2.53149414*x10*x8 - 2*x11*x8 + 3.20415403*sqr(x9
       ) + 2.5314331*x11*x9 + 2.53149414*x16*x9 - 2.53149414*x17*x9 + 
       3.20415403*sqr(x10) + 2.53149414*x11*x10 - 2.5314331*x16*x10 + 2.5314331
       *x17*x10 + sqr(x11) + sqr(x16) - 2*x17*x16 + sqr(x17) =G= 0.3760563312;

e205.. 22.00903886*sqr(x6) + 9.1317749*x8*x6 + 5.708272383*x12*x6 + 10.72141305
       *x13*x6 - 9.1317749*x14*x6 - 2.15565364*x16*x6 + 2.15565364*x18*x6 + 
       22.00903886*sqr(x7) + 2.15565364*x8*x7 - 10.72141305*x12*x7 + 
       5.708272383*x13*x7 - 2.15565364*x14*x7 + 9.1317749*x16*x7 - 9.1317749*
       x18*x7 + sqr(x8) + 0.65916112*x12*x8 + 2.50375742*x13*x8 - 2*x14*x8 + 
       1.67582365*sqr(x12) - 0.65916112*x14*x12 - 2.50375742*x16*x12 + 
       2.50375742*x18*x12 + 1.67582365*sqr(x13) - 2.50375742*x14*x13 + 
       0.65916112*x16*x13 - 0.65916112*x18*x13 + sqr(x14) + sqr(x16) - 2*x18*
       x16 + sqr(x18) =G= 0.3558559867;

e206.. 3.20415403*sqr(x9) + 2.5314331*x11*x9 - 2.5314331*x14*x9 - 2.53149414*
       x17*x9 + 2.53149414*x18*x9 + 3.20415403*sqr(x10) + 2.53149414*x11*x10 - 
       2.53149414*x14*x10 + 2.5314331*x17*x10 - 2.5314331*x18*x10 + sqr(x11) - 
       2*x14*x11 + sqr(x14) + sqr(x17) - 2*x18*x17 + sqr(x18) =G= 1.719380522;

e207.. 3.20415403*sqr(x9) + 2.5314331*x11*x9 - 5.104927875*x12*x9 + 2.552601677
       *x13*x9 - 2.5314331*x14*x9 - 2.53149414*x17*x9 + 2.53149414*x18*x9 + 
       3.20415403*sqr(x10) + 2.53149414*x11*x10 - 2.552601677*x12*x10 - 
       5.104927875*x13*x10 - 2.53149414*x14*x10 + 2.5314331*x17*x10 - 2.5314331
       *x18*x10 + sqr(x11) - 3.02492942*x12*x11 - 1.00827778*x13*x11 - 2*x14*
       x11 + 2.541705519*sqr(x12) + 3.02492942*x14*x12 + 1.00827778*x17*x12 - 
       1.00827778*x18*x12 + 2.541705519*sqr(x13) + 1.00827778*x14*x13 - 
       3.02492942*x17*x13 + 3.02492942*x18*x13 + sqr(x14) + sqr(x17) - 2*x18*
       x17 + sqr(x18) =G= 0.6514307975;

e208.. 3.20415403*sqr(x9) + 2.5314331*x11*x9 + 0.9937987225*x12*x9 - 
       4.751635521*x13*x9 - 2.5314331*x14*x9 - 2.53149414*x17*x9 + 2.53149414*
       x18*x9 + 3.20415403*sqr(x10) + 2.53149414*x11*x10 + 4.751635521*x12*x10
        + 0.9937987225*x13*x10 - 2.53149414*x14*x10 + 2.5314331*x17*x10 - 
       2.5314331*x18*x10 + sqr(x11) + 2.26962754*x12*x11 - 1.48442486*x13*x11
        - 2*x14*x11 + 1.838681584*sqr(x12) - 2.26962754*x14*x12 + 1.48442486*
       x17*x12 - 1.48442486*x18*x12 + 1.838681584*sqr(x13) + 1.48442486*x14*x13
        + 2.26962754*x17*x13 - 2.26962754*x18*x13 + sqr(x14) + sqr(x17) - 2*x18
       *x17 + sqr(x18) =G= 0.3238054746;

e209.. 3.20415403*sqr(x9) + 2.5314331*x11*x9 - 7.756675598*x12*x9 + 3.878471948
       *x13*x9 - 2.5314331*x14*x9 - 2.53149414*x17*x9 + 2.53149414*x18*x9 + 
       3.20415403*sqr(x10) + 2.53149414*x11*x10 - 3.878471948*x12*x10 - 
       7.756675598*x13*x10 - 2.53149414*x14*x10 + 2.5314331*x17*x10 - 2.5314331
       *x18*x10 + sqr(x11) - 4.59619514*x12*x11 - 1.53205596*x13*x11 - 2*x14*
       x11 + 5.868051307*sqr(x12) + 4.59619514*x14*x12 + 1.53205596*x17*x12 - 
       1.53205596*x18*x12 + 5.868051307*sqr(x13) + 1.53205596*x14*x13 - 
       4.59619514*x17*x13 + 4.59619514*x18*x13 + sqr(x14) + sqr(x17) - 2*x18*
       x17 + sqr(x18) =G= 0.2972687086;

e210.. 3.20415403*sqr(x9) + 2.5314331*x11*x9 + 4.003434757*x12*x9 + 2.334715947
       *x13*x9 - 2.5314331*x14*x9 - 2.53149414*x17*x9 + 2.53149414*x18*x9 + 
       3.20415403*sqr(x10) + 2.53149414*x11*x10 - 2.334715947*x12*x10 + 
       4.003434757*x13*x10 - 2.53149414*x14*x10 + 2.5314331*x17*x10 - 2.5314331
       *x18*x10 + sqr(x11) + 0.65916112*x12*x11 + 2.50375742*x13*x11 - 2*x14*
       x11 + 1.67582365*sqr(x12) - 0.65916112*x14*x12 - 2.50375742*x17*x12 + 
       2.50375742*x18*x12 + 1.67582365*sqr(x13) - 2.50375742*x14*x13 + 
       0.65916112*x17*x13 - 0.65916112*x18*x13 + sqr(x14) + sqr(x17) - 2*x18*
       x17 + sqr(x18) =G= 0.2576106975;

* set non-default bounds
x2.up = 6;
x3.lo = -1; x3.up = 1;
x4.lo = -1; x4.up = 1;
x5.lo = 1.59481484; x5.up = 4.40518516;
x6.lo = -1; x6.up = 1;
x7.up = 1;
x8.lo = 1.42893129; x8.up = 4.57106871;
x9.lo = -1; x9.up = 1;
x10.lo = -1; x10.up = 1;
x11.lo = 1.52785695; x11.up = 4.47214305;
x12.lo = -1; x12.up = 1;
x13.lo = -1; x13.up = 1;
x14.lo = 1.04912586; x14.up = 4.95087414;
x15.lo = 1.59481484; x15.up = 8.40518516;
x16.lo = 1.42893129; x16.up = 8.57106871;
x17.lo = 1.52785695; x17.up = 8.47214305;
x18.lo = 1.04912586; x18.up = 8.95087414;

* set non-default levels
x5.l = 1.59481484;
x8.l = 1.42893129;
x11.l = 1.52785695;
x14.l = 1.04912586;
x15.l = 1.59481484;
x16.l = 1.42893129;
x17.l = 1.52785695;
x18.l = 1.04912586;

Model m / all /;

m.limrow=0; m.limcol=0;

$if NOT '%gams.u1%' == '' $include '%gams.u1%'

m.tolproj = 0.0;
$if not set QCP $set QCP QCP
Solve m using %QCP% minimizing objvar;





Website © 2017-2019 by Zuse Institute Berlin. All rights reserved. Imprint.