off rlabout;



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


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



basis := { - 20000000004*x1 + 76683565*x11 + 192119917*x12 + 201360515*x13 + 93227796*x14 + 125873837*x16 + 60942602*x17 + 7277066710*x4 + 137763703*x5 + 154446568*x6 + 420000000*x7, 1267031539*x1 - 116767856*x2, 213430191*x2 - 12222573*x3, 20105521*x2 + 12222573*x3 - 1455413342*x4, 2613229205*x1 - 137763703*x5, 746666581*x1 - 77223284*x6, 10725099*x1 - 105000000*x7, 572065273*x1 - 21879693*x8, 899045295*x1 - 355490081*x9, 370000000*x15 + 43759386*x8 + 355490081*x9, 134371419*x1 - 76683565*x11, 304695409*x1 - 192119917*x12, 445547231*x1 - 201360515*x13, 54570911*x1 - 93227796*x14, 121370929*x1 - 370000000*x15, 44747636*x1 - 125873837*x16, 31742475*x1 - 60942602*x17};


basis := { - 20000000004*x1 + 76683565*x11 + 192119917*x12 + 201360515*x13

           + 93227796*x14 + 125873837*x16 + 60942602*x17 + 7277066710*x4

           + 137763703*x5 + 154446568*x6 + 420000000*x7,

          1267031539*x1 - 116767856*x2,

          213430191*x2 - 12222573*x3,

          20105521*x2 + 12222573*x3 - 1455413342*x4,

          2613229205*x1 - 137763703*x5,

          746666581*x1 - 77223284*x6,

          10725099*x1 - 105000000*x7,

          572065273*x1 - 21879693*x8,

          899045295*x1 - 355490081*x9,

          370000000*x15 + 43759386*x8 + 355490081*x9,

          134371419*x1 - 76683565*x11,

          304695409*x1 - 192119917*x12,

          445547231*x1 - 201360515*x13,

          54570911*x1 - 93227796*x14,

          121370929*x1 - 370000000*x15,

          44747636*x1 - 125873837*x16,

          31742475*x1 - 60942602*x17}


classifyComponents {basis};


{{{x1,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x2,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9}},

 {{}},

 {{1 = 0}},

 {o},

 o}


end;

