off rlabout;



symbolic (infile "../../SUPPORT/real.red" where !*output=nil);


symbolic (infile "../../SUPPORT/strings.red" where !*output=nil);



basis := {0, 407490000000000000*x11 + 525096686262403*x12 - 2022511860000000000*x2 + 72544826172000212772, 19239100*x11 - 15543*x3*x5 - 99719400*x3 + 57988830*x4, 15543*x3*x5 - 57988830*x4,  - 15543*x3*x5 + 5174730*x4 + 32796200*x6, 264070500000000000*x4 - 10509450000000*x6*x7 - 163981000000000000*x6 + 6074900000025897*x8,  - 10509450000000*x6*x7 + 25897*x8 + 5655100000000000*x9, 10509450000000*x6*x7 - 6074900000025897*x8, 60749*x8 - 56551*x9, 0,  - 599881000000000000*x11 + 525096686262403*x13 + 2021448000000000000*x2,  - 2023036956686262403*x12 + 407490000000000000*x13, 2021448000000000000*x12 - 408015096686262403*x13, 0};


basis := {0,

          407490000000000000*x11 + 525096686262403*x12 - 2022511860000000000*x2

           + 72544826172000212772,

          19239100*x11 - 15543*x3*x5 - 99719400*x3 + 57988830*x4,

          15543*x3*x5 - 57988830*x4,

           - 15543*x3*x5 + 5174730*x4 + 32796200*x6,

          264070500000000000*x4 - 10509450000000*x6*x7 - 163981000000000000*x6

           + 6074900000025897*x8,

           - 10509450000000*x6*x7 + 25897*x8 + 5655100000000000*x9,

          10509450000000*x6*x7 - 6074900000025897*x8,

          60749*x8 - 56551*x9,

          0,

           - 599881000000000000*x11 + 525096686262403*x13

           + 2021448000000000000*x2,

           - 2023036956686262403*x12 + 407490000000000000*x13,

          2021448000000000000*x12 - 408015096686262403*x13,

          0}


classifyComponents {basis};


{{{x11,

   x12,

   x13,

   x2,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9}},

 {{x11,

   x2,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9}},

          16425357725777048175127
 {{x11 = -------------------------,
           43632010704375000000

         116984577604531343112581
   x2 = --------------------------,
          1047168256905000000000

         287280999838179279587350787
   x3 = -----------------------------,
          3955416298394411250000000

          - 496134286720535615847354809149
   x4 = -----------------------------------,
         25485551478535865214037500000000

   x5 = -1,

          - 87342952774290133563079272086254003
   x6 = ----------------------------------------,
         2786097478001193142442055525000000000

   x7 = 1,

           - 6119509300225089627830023040179214212189
   x8 = -----------------------------------------------,
         112835090461210665249393600050882146079539500

          - 33795824589033997254640551787986098561479051
   x9 = --------------------------------------------------}},
         580085200061084030047132497861585112994912569500

 {c},

 c}


end;

