off rlabout;



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


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



basis := {0,  - 3000*x1*x2 - 16666667*x2 + 10000000000*x3 + 10000000000*x4 + 150000000*x6, 3*x1*x2 - 125010000000*x3,  - 3*x1*x4 + 125000000000*x3 - 10105000*x4 + 1000000000*x5 + 10500*x8, 3*x1*x4 - 1000105000*x5 + 10500*x7, 33333334000000000*x2 - 300000000000000167*x6 + 46100000000000000000*x7 + 46100000000000000000*x8, 210*x5 - 46121*x7, 210*x4 - 46121*x8, 24081*x10 - 80*x4*x9 - 80*x5*x9,  - 24357*x10*x11 - 48162000*x10 + 345000000*x12 + 160000*x4*x9 + 160000*x5*x9,  - 353*x10*x11 + 5000000*x12, 353*x10*x11 - 5000000*x12, 30429*x12*x14 - 4492000*x13 + 13145*x14 + 296100*x15,  - 30429*x12*x14 + 4215000*x13 - 13145*x14, 2770*x13 - 2961*x15,  - 462100*x13*x16 + 143251*x16 + 12892590*x17, 462100*x13*x16 - 143251*x16 - 12892590*x17,  - 462100*x13*x18 + 143251*x18 + 12892590*x19, 462100*x13*x18 - 143251*x18 - 12892590*x19,  - 417500000*x17*x20 - 1670000000*x19*x20 - 1475454693*x20 + 30363639400*x21 + 20160002016, 52187500*x17*x20 + 208750000*x19*x20 + 158181834*x20 - 3795454925*x21};


basis := {0,

           - 3000*x1*x2 - 16666667*x2 + 10000000000*x3 + 10000000000*x4

           + 150000000*x6,

          3*x1*x2 - 125010000000*x3,

           - 3*x1*x4 + 125000000000*x3 - 10105000*x4 + 1000000000*x5 + 10500*x8,

          3*x1*x4 - 1000105000*x5 + 10500*x7,

          33333334000000000*x2 - 300000000000000167*x6 + 46100000000000000000*x7

           + 46100000000000000000*x8,

          210*x5 - 46121*x7,

          210*x4 - 46121*x8,

          24081*x10 - 80*x4*x9 - 80*x5*x9,

           - 24357*x10*x11 - 48162000*x10 + 345000000*x12 + 160000*x4*x9

           + 160000*x5*x9,

           - 353*x10*x11 + 5000000*x12,

          353*x10*x11 - 5000000*x12,

          30429*x12*x14 - 4492000*x13 + 13145*x14 + 296100*x15,

           - 30429*x12*x14 + 4215000*x13 - 13145*x14,

          2770*x13 - 2961*x15,

           - 462100*x13*x16 + 143251*x16 + 12892590*x17,

          462100*x13*x16 - 143251*x16 - 12892590*x17,

           - 462100*x13*x18 + 143251*x18 + 12892590*x19,

          462100*x13*x18 - 143251*x18 - 12892590*x19,

           - 417500000*x17*x20 - 1670000000*x19*x20 - 1475454693*x20

           + 30363639400*x21 + 20160002016,

          52187500*x17*x20 + 208750000*x19*x20 + 158181834*x20 - 3795454925*x21}


classifyComponents {basis};


{{{x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9}},

 {{x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x3,

   x4,

   x5,

   x7,

   x8,

   x9}},

 {{x1 = (sqrt(3439731651626020127025768404495602725180132420121)

          - 1860632100413869634889989)/11162435025000000,

           - 768683348707
   x10 = ------------------,
          1457051006250000

   x11 = -1,

             271345222093571
   x12 = ------------------------,
          7285255031250000000000

           - 66090190229499663964991
   x13 = ----------------------------,
          21192097968750000000000000

   x14 = -1,

           - 18306982693571406918302507
   x15 = -------------------------------,
          6274980208546875000000000000

   x16 = 1,

           - 6635640560541999663964991
   x17 = ------------------------------,
          591259533328125000000000000

   x18 = 1,

           - 6635640560541999663964991
   x19 = ------------------------------,
          591259533328125000000000000

   x2 = -1,

   x20 = 96,

          58748819131558725276117846503
   x21 = -------------------------------,
          14960659384822891148437500000

   x3 = ( - sqrt(3439731651626020127025768404495602725180132420121)

          + 1860632100413869634889989)/465138667491750000000000000,

   x4 = ( - sqrt(3439731651626020127025768404495602725180132420121)

          + 1860570081923630365110011)/37211093399340000000000,

   x5 = (sqrt(3439731651626020127025768404495602725180132420121)

          - 1854660868436748097736051)/37211093399340000000000,

   x7 = (sqrt(3439731651626020127025768404495602725180132420121)

          - 1854660868436748097736051)/8172442088909334000000000,

   x8 = ( - sqrt(3439731651626020127025768404495602725180132420121)

          + 1860570081923630365110011)/8172442088909334000000000,

   x9 = -1}},

 {x},

 x}


end;

