off rlabout;



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


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



basis := { - 100000*x1*x50 + x51,  - 100000*x2*x45 + x46,  - 100000*x3*x54 + x55, 2*x17 - 200*x4*x47 - 7360*x4*x48 - 7360*x4*x52 - 7360*x4*x57 - 7360*x4*x59 - x4 + 22*x49 + 22*x53 + 22*x58 + 22*x60, 0, 0, 410*x10 - 19*x7, 0, 0,  - x10 + 200*x37,  - 1500*x11*x14 - 32*x11 + 500*x42 + 65*x7,  - x12 + 320*x35, 0,  - 750*x11*x14 + 1325*x12 - 16*x14 + 250*x42, 0, 0,  - 2400*x17*x25 - 5000*x17*x42 - 11*x17 + 5000*x38 + 5*x4, x38,  - x47,  - 800*x20 + x47, 5000*x20 - 3*x21, 0, 800*x21*x25 - x23 + 12*x25, 0,  - 1920*x17*x25 - 800*x21*x25 - 9600*x25*x40 - 13*x25 + 800*x41 + 800*x43,  - 25*x26 + 2, 0, -1, 0, 0, 0, 0, 0,  - x45 - 200*x46,  - 32*x35 + x45 + 200*x46,  - 12*x48 - x50 - 200*x51 - 120*x52,  - 20*x37 + 12*x48 + x50 + 200*x51 + 120*x52,  - 2*x38 + 125*x39,  - 50*x39 + x54 + 40*x55 + 120*x57 + 1200*x59, 25000*x17*x42 - 60000*x25*x40 - 11*x40 + 500*x44, 12*x25*x40 - x41, 150*x11*x14 - 25000*x17*x42 + x40 + 5000*x41 - 185*x42 + 4*x47, 12*x17*x25 - 5*x43, 625000000000*x4*x47 - x44*x50 - x44*x51 - x44*x54 - x44*x55 - 62750000000*x44 + 4750000000*x49 + 4750000000*x53 + 4750000000*x58 + 4750000000*x60,  - 100000*x2*x45 + x46, 100000*x2*x45 - x46,  - 25000*x4*x47 + 625*x42 - 31000*x47*x50 - 31000*x47*x51 - 31000*x47*x54 - 31000*x47*x55 - 30*x47 + 24*x48 + 24*x52 + 24*x57 + 24*x59,  - 460000*x4*x48 + 15500*x47*x50 - 12*x48 + 1375*x49, 23000000000000*x4*x48 + x44*x50 - 73500000000*x49,  - 12500000000000*x1*x50 - x44*x50 - 775000000000*x47*x50 + 600000000*x48 + 4750000000*x49 + 125000000*x51, 12500000000000*x1*x50 - x44*x51 - 775000000000*x47*x51 - 125000000*x51 + 600000000*x52 + 4750000000*x53,  - 460000*x4*x52 + 15500*x47*x51 - 12*x52 + 1375*x53, 23000000000000*x4*x52 + x44*x51 - 73500000000*x53,  - 12500000000000*x3*x54 - x44*x54 - 775000000000*x47*x54 + 125000000*x55 + 600000000*x57 + 4750000000*x58, 12500000000000*x3*x54 - x44*x55 - 775000000000*x47*x55 - 125000000*x55 + 600000000*x59 + 4750000000*x60,  - x54 - 40*x55 - 120*x57 - 1200*x59,  - 460000*x4*x57 + 15500*x47*x54 - 12*x57 + 1375*x58, 23000000000000*x4*x57 + x44*x54 - 73500000000*x58,  - 460000*x4*x59 + 15500*x47*x55 - 12*x59 + 1375*x60, 23000000000000*x4*x59 + x44*x55 - 73500000000*x60};


basis := { - 100000*x1*x50 + x51,

           - 100000*x2*x45 + x46,

           - 100000*x3*x54 + x55,

          2*x17 - 200*x4*x47 - 7360*x4*x48 - 7360*x4*x52 - 7360*x4*x57

           - 7360*x4*x59 - x4 + 22*x49 + 22*x53 + 22*x58 + 22*x60,

          0,

          0,

          410*x10 - 19*x7,

          0,

          0,

           - x10 + 200*x37,

           - 1500*x11*x14 - 32*x11 + 500*x42 + 65*x7,

           - x12 + 320*x35,

          0,

           - 750*x11*x14 + 1325*x12 - 16*x14 + 250*x42,

          0,

          0,

           - 2400*x17*x25 - 5000*x17*x42 - 11*x17 + 5000*x38 + 5*x4,

          x38,

           - x47,

           - 800*x20 + x47,

          5000*x20 - 3*x21,

          0,

          800*x21*x25 - x23 + 12*x25,

          0,

           - 1920*x17*x25 - 800*x21*x25 - 9600*x25*x40 - 13*x25 + 800*x41

           + 800*x43,

           - 25*x26 + 2,

          0,

          -1,

          0,

          0,

          0,

          0,

          0,

           - x45 - 200*x46,

           - 32*x35 + x45 + 200*x46,

           - 12*x48 - x50 - 200*x51 - 120*x52,

           - 20*x37 + 12*x48 + x50 + 200*x51 + 120*x52,

           - 2*x38 + 125*x39,

           - 50*x39 + x54 + 40*x55 + 120*x57 + 1200*x59,

          25000*x17*x42 - 60000*x25*x40 - 11*x40 + 500*x44,

          12*x25*x40 - x41,

          150*x11*x14 - 25000*x17*x42 + x40 + 5000*x41 - 185*x42 + 4*x47,

          12*x17*x25 - 5*x43,

          625000000000*x4*x47 - x44*x50 - x44*x51 - x44*x54 - x44*x55

           - 62750000000*x44 + 4750000000*x49 + 4750000000*x53 + 4750000000*x58

           + 4750000000*x60,

           - 100000*x2*x45 + x46,

          100000*x2*x45 - x46,

           - 25000*x4*x47 + 625*x42 - 31000*x47*x50 - 31000*x47*x51

           - 31000*x47*x54 - 31000*x47*x55 - 30*x47 + 24*x48 + 24*x52 + 24*x57

           + 24*x59,

           - 460000*x4*x48 + 15500*x47*x50 - 12*x48 + 1375*x49,

          23000000000000*x4*x48 + x44*x50 - 73500000000*x49,

           - 12500000000000*x1*x50 - x44*x50 - 775000000000*x47*x50

           + 600000000*x48 + 4750000000*x49 + 125000000*x51,

          12500000000000*x1*x50 - x44*x51 - 775000000000*x47*x51 - 125000000*x51

           + 600000000*x52 + 4750000000*x53,

           - 460000*x4*x52 + 15500*x47*x51 - 12*x52 + 1375*x53,

          23000000000000*x4*x52 + x44*x51 - 73500000000*x53,

           - 12500000000000*x3*x54 - x44*x54 - 775000000000*x47*x54

           + 125000000*x55 + 600000000*x57 + 4750000000*x58,

          12500000000000*x3*x54 - x44*x55 - 775000000000*x47*x55 - 125000000*x55

           + 600000000*x59 + 4750000000*x60,

           - x54 - 40*x55 - 120*x57 - 1200*x59,

           - 460000*x4*x57 + 15500*x47*x54 - 12*x57 + 1375*x58,

          23000000000000*x4*x57 + x44*x54 - 73500000000*x58,

           - 460000*x4*x59 + 15500*x47*x55 - 12*x59 + 1375*x60,

          23000000000000*x4*x59 + x44*x55 - 73500000000*x60}


classifyComponents {basis};


{{{x1,

   x10,

   x11,

   x12,

   x14,

   x17,

   x2,

   x20,

   x21,

   x23,

   x25,

   x26,

   x3,

   x35,

   x37,

   x38,

   x39,

   x4,

   x40,

   x41,

   x42,

   x43,

   x44,

   x45,

   x46,

   x47,

   x48,

   x49,

   x50,

   x51,

   x52,

   x53,

   x54,

   x55,

   x57,

   x58,

   x59,

   x60,

   x7}},

 {{}},

 {{1 = 0}},

 {o},

 o}


end;

