off rlabout;



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


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



basis := { - 235000000000*x1*x10 - 3380*x1*x11 - 4848000000000*x1*x3 - 7575000000000*x1*x4 - 1905000000000*x1*x5 + 299500223*x12 + 2130001330000*x13 + 5790000000000*x2 + 1905000079000*x6 + 10504250000000*x7 + 2705000000000*x9, 9180000000*x1*x3 - 11580000239*x2,  - 2424*x1*x3 + 835*x2 + 545*x9,  - 189375000000*x1*x4 + 103000000000*x2 - 39*x4 + 231250000*x7,  - 47625000000*x1*x5 + 39*x4 + 1975*x6, 1905000000*x1*x5 - 1905000079*x6, 30300*x1*x4 - 42017*x7, 599000*x12 + 4260000000*x13 + 239*x2 + 3810000000*x6 + 20990000000*x7 + 3100000*x9, 5160*x1*x3 - 54131*x9,  - 4700000000000*x1*x10 - 723*x10 + 26600000*x13 + 32300000000000*x9,  - 67600*x1*x11 + 723*x10 + 4460*x12, 3380*x1*x11 - 299500223*x12, 23500000*x1*x10 - 213000133*x13, 0};


basis := { - 235000000000*x1*x10 - 3380*x1*x11 - 4848000000000*x1*x3

           - 7575000000000*x1*x4 - 1905000000000*x1*x5 + 299500223*x12

           + 2130001330000*x13 + 5790000000000*x2 + 1905000079000*x6

           + 10504250000000*x7 + 2705000000000*x9,

          9180000000*x1*x3 - 11580000239*x2,

           - 2424*x1*x3 + 835*x2 + 545*x9,

           - 189375000000*x1*x4 + 103000000000*x2 - 39*x4 + 231250000*x7,

           - 47625000000*x1*x5 + 39*x4 + 1975*x6,

          1905000000*x1*x5 - 1905000079*x6,

          30300*x1*x4 - 42017*x7,

          599000*x12 + 4260000000*x13 + 239*x2 + 3810000000*x6 + 20990000000*x7

           + 3100000*x9,

          5160*x1*x3 - 54131*x9,

           - 4700000000000*x1*x10 - 723*x10 + 26600000*x13 + 32300000000000*x9,

           - 67600*x1*x11 + 723*x10 + 4460*x12,

          3380*x1*x11 - 299500223*x12,

          23500000*x1*x10 - 213000133*x13,

          0}


classifyComponents {basis};


{{{x1,

   x10,

   x11,

   x12,

   x13,

   x2,

   x3,

   x4,

   x5,

   x6,

   x7,

   x9}},

 {{x1,

   x10,

   x11,

   x12,

   x13,

   x3,

   x4,

   x5,

   x6,

   x7}},

 {{1 = 0}},

 {o},

 o}


end;

