off rlabout;



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


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



basis := { - x1*x2 + 2500*x22,  - x1*x2 + 2500*x22,  - x23*x3 + 1000*x24,  - 100*x23*x4 + 100000*x25 + 100000*x26 - 3*x4*x6,  - x10*x5 + 10000000*x25 + 10000000*x26 + 10000*x27 + 10010000*x28 + 10010000*x31 - 10*x5*x7 - x5*x8, 100100000*x26 + 100000000*x32 - 3*x4*x6, 1000*x27 - x5*x7, 200000*x28 + 200000*x29 - x30*x8 - 20*x5*x8,  - x12*x9 - 2*x13*x9 - x15*x9 + 1000000*x28 + 1000000*x29 + 1001000*x32 + 1000*x33 + 1010000*x34,  - x10*x5 + 10000*x31,  - 10*x11*x18 - x11*x19 + 10000000*x31 + 10000*x37 + 10010000*x38,  - x12*x9 + 1000*x32,  - 7*x13*x17 - 2*x13*x30 - 2*x13*x9 + 101000*x33 + 1000*x35 + 1000*x36, x33,  - x15*x9 + 10000*x34, x34,  - 7*x13*x17 - 10000*x17 + 1000*x36 + 10000*x48,  - x11*x18 + 1000*x37,  - x11*x19 + 10000*x38,  - x20 + 100*x38 + x57,  - x21*x40 - x21*x57 - x21*x58 + 70*x39 + 70*x41 + 70*x42, x1*x2 - 2525*x22, 10*x22 - x23*x3 - x23*x4 + 1000*x24 + 1001000*x25, x23*x3 - 1000*x24, x23*x4 - 1001000*x25,  - 100100000*x26 + 3*x4*x6,  - 1000*x27 + x5*x7,  - 10010000*x28 + x5*x8,  - 200200000*x29 + x30*x8,  - 400*x13*x30 + 200200000*x29 - x30*x8 - 200000*x30 + 200000*x35 + 10*x55*x56, x10*x5 - 10010000*x31, x12*x9 - 1001000*x32, x13*x9 - 50500*x33, x15*x9 - 1010000*x34, x13*x30 - 500*x35, 7*x13*x17 - 1000*x36, x11*x18 - 1000*x37, x11*x19 - 10010000*x38, x21*x57 - 70*x39,  - x21*x40 - x40*x43 - 70*x40 + 70*x42 + 70*x44 + x58**2, x21*x58 - 70*x41, x21*x40 - 70*x42,  - x40*x43 + 70*x44, x40*x43 - 70070*x44, 35000*x44 - x45*x46 - x45*x49 + 350035*x47 + 350035*x50,  - x45*x46 + 35*x47, x45*x46 - 350035*x47, x17 + 1000*x47 - x48,  - x45*x49 + 35*x50, x45*x49 - 350035*x50, 1000*x50 - x51 + x52, 20000*x51 - x52*x53 - 20000*x52 + 2002000*x54,  - x52*x53 + 2000*x54, x52*x53 - 2002000*x54, 20000*x30 + 20000000*x54 - x55*x56, 20000*x30 - x55*x56, 700*x20 - x21*x57 + 70*x39 - x57**2 - 700*x57 + 70*x58,  - x21*x58 + 70*x40 + 70*x41 + x57**2 - x58**2 - 70*x58};


basis := { - x1*x2 + 2500*x22,

           - x1*x2 + 2500*x22,

           - x23*x3 + 1000*x24,

           - 100*x23*x4 + 100000*x25 + 100000*x26 - 3*x4*x6,

           - x10*x5 + 10000000*x25 + 10000000*x26 + 10000*x27 + 10010000*x28

           + 10010000*x31 - 10*x5*x7 - x5*x8,

          100100000*x26 + 100000000*x32 - 3*x4*x6,

          1000*x27 - x5*x7,

          200000*x28 + 200000*x29 - x30*x8 - 20*x5*x8,

           - x12*x9 - 2*x13*x9 - x15*x9 + 1000000*x28 + 1000000*x29

           + 1001000*x32 + 1000*x33 + 1010000*x34,

           - x10*x5 + 10000*x31,

           - 10*x11*x18 - x11*x19 + 10000000*x31 + 10000*x37 + 10010000*x38,

           - x12*x9 + 1000*x32,

           - 7*x13*x17 - 2*x13*x30 - 2*x13*x9 + 101000*x33 + 1000*x35 + 1000*x36

          ,

          x33,

           - x15*x9 + 10000*x34,

          x34,

           - 7*x13*x17 - 10000*x17 + 1000*x36 + 10000*x48,

           - x11*x18 + 1000*x37,

           - x11*x19 + 10000*x38,

           - x20 + 100*x38 + x57,

           - x21*x40 - x21*x57 - x21*x58 + 70*x39 + 70*x41 + 70*x42,

          x1*x2 - 2525*x22,

          10*x22 - x23*x3 - x23*x4 + 1000*x24 + 1001000*x25,

          x23*x3 - 1000*x24,

          x23*x4 - 1001000*x25,

           - 100100000*x26 + 3*x4*x6,

           - 1000*x27 + x5*x7,

           - 10010000*x28 + x5*x8,

           - 200200000*x29 + x30*x8,

           - 400*x13*x30 + 200200000*x29 - x30*x8 - 200000*x30 + 200000*x35

           + 10*x55*x56,

          x10*x5 - 10010000*x31,

          x12*x9 - 1001000*x32,

          x13*x9 - 50500*x33,

          x15*x9 - 1010000*x34,

          x13*x30 - 500*x35,

          7*x13*x17 - 1000*x36,

          x11*x18 - 1000*x37,

          x11*x19 - 10010000*x38,

          x21*x57 - 70*x39,

                                                               2
           - x21*x40 - x40*x43 - 70*x40 + 70*x42 + 70*x44 + x58 ,

          x21*x58 - 70*x41,

          x21*x40 - 70*x42,

           - x40*x43 + 70*x44,

          x40*x43 - 70070*x44,

          35000*x44 - x45*x46 - x45*x49 + 350035*x47 + 350035*x50,

           - x45*x46 + 35*x47,

          x45*x46 - 350035*x47,

          x17 + 1000*x47 - x48,

           - x45*x49 + 35*x50,

          x45*x49 - 350035*x50,

          1000*x50 - x51 + x52,

          20000*x51 - x52*x53 - 20000*x52 + 2002000*x54,

           - x52*x53 + 2000*x54,

          x52*x53 - 2002000*x54,

          20000*x30 + 20000000*x54 - x55*x56,

          20000*x30 - x55*x56,

                                          2
          700*x20 - x21*x57 + 70*x39 - x57  - 700*x57 + 70*x58,

                                            2      2
           - x21*x58 + 70*x40 + 70*x41 + x57  - x58  - 70*x58}


classifyComponents {basis};


{{{x1,

   x10,

   x11,

   x12,

   x13,

   x15,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x23,

   x24,

   x25,

   x26,

   x27,

   x28,

   x29,

   x3,

   x30,

   x31,

   x32,

   x33,

   x34,

   x35,

   x36,

   x37,

   x38,

   x39,

   x4,

   x40,

   x41,

   x42,

   x43,

   x44,

   x45,

   x46,

   x47,

   x48,

   x49,

   x5,

   x50,

   x51,

   x52,

   x53,

   x54,

   x55,

   x56,

   x57,

   x58,

   x6,

   x7,

   x8,

   x9}},

 {{x1,

   x10,

   x11,

   x12,

   x13,

   x15,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x23,

   x24,

   x25,

   x26,

   x27,

   x28,

   x29,

   x3,

   x30,

   x35,

   x36,

   x37,

   x39,

   x4,

   x40,

   x41,

   x42,

   x43,

   x45,

   x46,

   x48,

   x49,

   x5,

   x51,

   x52,

   x53,

   x55,

   x56,

   x57,

   x58,

   x6,

   x7,

   x8,

   x9}},

 {{1 = 0}},

 {o},

 o}


end;

