off rlabout;



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


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



basis := { - 300000000000*x1*x2 - 3611111111333000*x1 + 333333333333333*x4 + 333333333333333*x5 + 80000000000000000,  - 300000000000*x1*x2 - 3611111111333000*x2 + 333333333333333*x4 + 333333333333333*x6 + 40000000000000000, 300000000*x1*x2 - 6111111111333*x3, 3333333333333000*x3 - 333333333333333*x4, 3333333333333000*x1 - 333333333333333*x5, 3333333333333000*x2 - 333333333333333*x6};


basis := { - 300000000000*x1*x2 - 3611111111333000*x1 + 333333333333333*x4

           + 333333333333333*x5 + 80000000000000000,

           - 300000000000*x1*x2 - 3611111111333000*x2 + 333333333333333*x4

           + 333333333333333*x6 + 40000000000000000,

          300000000*x1*x2 - 6111111111333*x3,

          3333333333333000*x3 - 333333333333333*x4,

          3333333333333000*x1 - 333333333333333*x5,

          3333333333333000*x2 - 333333333333333*x6}


classifyComponents {basis};


{{{x1,

   x2,

   x3,

   x4,

   x5,

   x6}},

 {{x1,

   x2,

   x3,

   x4,

   x5,

   x6}},

 {{x1 = ( - sqrt(2206700782673110631543878895056804174243876729415266970161)

          - 36516918216796667837216506631)/38580246947530864200000000,

   x2 = ( - 11316872437447942387160000000000)/(

      sqrt(2206700782673110631543878895056804174243876729415266970161)

       - 42072473772796667837216506631),

   x3 = (20000000000

         *sqrt(2206700782673110631543878895056804174243876729415266970161)

          + 730338364335933356744330132620000000000)/(1388888889

      *sqrt(2206700782673110631543878895056804174243876729415266970161)

       - 58433991355781202415333666747190722959),

   x4 = (22222222222220000000000000

         *sqrt(2206700782673110631543878895056804174243876729415266970161)

          + 811487071484289247675440599204806185540820000000000000)/(

      154320987666666512345679

      *sqrt(2206700782673110631543878895056804174243876729415266970161)

       - 6492665706197904886815812329554256402814805867697449),

   x5 = ( - 1111111111111

         *sqrt(2206700782673110631543878895056804174243876729415266970161)

          - 40574353574214462383772029960240309277041)/42866941052812028466392\
   28052126200000,

   x6 = ( - 12574302708274234111018061339734760000000000000)/(111111111111111

      *sqrt(2206700782673110631543878895056804174243876729415266970161)

       - 4674719308088513973860303759370240309277041)}},

 {X},

 X}


end;

