off rlabout;



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


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



basis := { - 43*x1*x51 + 1000000*x2, 43*x1*x51 - 100000*x2*x31 - 1000000*x2 + 100000000*x35,  - 683*x3*x39 - 50000*x3*x51 + 47500000*x4, x3*x51 - 200*x31*x4 + 132000*x36 - 200*x4*x6 - 950*x4 + 15950*x46,  - x5*x51 + 290*x6,  - 200*x16*x6 + 2000*x32 - 200*x33*x6 + 13880*x34 - 200*x4*x6 + 13880*x46 + x5*x51 - 290*x6,  - 57*x51*x7 + 17000*x8,  - 100000*x16*x8 + 100000*x31 + 4300*x32 + 23000*x34 - 10000*x37*x8 + 160000*x43 + 103500*x46 + 57*x51*x7 - 17000*x8, 1320*x10 - x51*x9,  - 100*x10*x16 - 10*x10*x25 - 1320*x10 + 10*x27 + 89600*x45 + x51*x9,  - x11*x51 + 454*x12, x11*x51 - 1000*x12*x25 - 454*x12 + 10*x26 + 30400*x45,  - x13*x51 + 19000*x14, x13*x51 - 1000*x14*x26 - 19000*x14 + 325000*x28,  - 160000*x15*x38 - 23*x15*x39 - 2900*x15*x51 - 14*x15*x52 + 33000000*x16 + 3300*x41,  - 5000*x10*x16 + 29*x15*x51 - 5000*x16*x27 - 10000*x16*x6 - 100000*x16*x8 - 330000*x16 + 100000*x29 + 6000000*x30 + 100000*x31 + 104300*x32 + 6000000*x45,  - x17*x51 + 7000*x18, x17*x51 - 200*x18*x20 - 7000*x18 + 1000*x37 + 7200*x49,  - x19*x51 + 400*x20,  - 200*x18*x20 + x19*x51 - 400*x20 + 1000*x37,  - 57*x21*x51 + 17000*x22, 57*x21*x51 - 17000*x22 + 40000*x43,  - x23*x51 + 23000*x24, x23*x51 - 200*x24*x48 - 23000*x24 + 12800*x49,  - x10*x25 - 100*x12*x25 + x26 + x27, 5000*x12*x25 - 1000*x14*x26 - 100*x26*x41 - 50*x26 + 325000*x28 + 10000*x29 + 152000*x30 + 11*x42, x10*x25 - 10*x16*x27 - x27 + 8960*x30, x14*x26 - 340*x28, 3*x28 - 2*x29, x16*x27 - 1200*x30, 10*x16*x8 - x2*x31 - x31*x4 - 10*x31 + 1000*x35 + 810*x36, 100*x16*x6 - 1043*x32,  - 683*x33*x39 - 100000000*x33*x47 - 250*x33*x52 - 10000000*x33*x6 + 717000000*x34 + 1500000000*x36 + 50000000*x48, 10*x33*x6 - 717*x34, x2*x31 - 1130*x35, x31*x4 + 130*x35 - 810*x36, x18*x20 - x37*x8 - 5*x37 + 20*x43,  - 1600*x15*x38 + 33*x41,  - 230*x15*x39 - 683*x3*x39 - 683*x33*x39, 683*x33*x39, 1600*x15*x38 - 1000*x26*x41 - 33*x41 + 110*x42, 100*x26*x41 - 11*x42, x37*x8 - 20*x43, 23*x15*x39, x10*x16 - 1200*x45, 4*x4*x6 - 319*x46,  - 2*x33*x47 + x48,  - x24*x48 + 10*x33*x47 - 5*x48 + 100*x49, x24*x48 - 100*x49, 683*x3*x39,  - 43*x1*x51 + 660000*x10 - 500*x11*x51 + 227000*x12 - 100*x13*x51 + 1900000*x14 - 290*x15*x51 + 3300000*x16 - 500*x17*x51 + 3500000*x18 - 500*x19*x51 + 1000000*x2 + 200000*x20 - 570*x21*x51 + 170000*x22 - 500*x23*x51 + 11500000*x24 - 500*x3*x51 + 15000000*x36 + 475000*x4 - 500*x5*x51 - 570*x51*x7 - 500*x51*x9 + 145000*x6 + 170000*x8,  - 14*x15*x52 - 25*x33*x52, x33*x52, 7*x15*x52};


basis := { - 43*x1*x51 + 1000000*x2,

          43*x1*x51 - 100000*x2*x31 - 1000000*x2 + 100000000*x35,

           - 683*x3*x39 - 50000*x3*x51 + 47500000*x4,

          x3*x51 - 200*x31*x4 + 132000*x36 - 200*x4*x6 - 950*x4 + 15950*x46,

           - x5*x51 + 290*x6,

           - 200*x16*x6 + 2000*x32 - 200*x33*x6 + 13880*x34 - 200*x4*x6

           + 13880*x46 + x5*x51 - 290*x6,

           - 57*x51*x7 + 17000*x8,

           - 100000*x16*x8 + 100000*x31 + 4300*x32 + 23000*x34 - 10000*x37*x8

           + 160000*x43 + 103500*x46 + 57*x51*x7 - 17000*x8,

          1320*x10 - x51*x9,

           - 100*x10*x16 - 10*x10*x25 - 1320*x10 + 10*x27 + 89600*x45 + x51*x9,

           - x11*x51 + 454*x12,

          x11*x51 - 1000*x12*x25 - 454*x12 + 10*x26 + 30400*x45,

           - x13*x51 + 19000*x14,

          x13*x51 - 1000*x14*x26 - 19000*x14 + 325000*x28,

           - 160000*x15*x38 - 23*x15*x39 - 2900*x15*x51 - 14*x15*x52

           + 33000000*x16 + 3300*x41,

           - 5000*x10*x16 + 29*x15*x51 - 5000*x16*x27 - 10000*x16*x6

           - 100000*x16*x8 - 330000*x16 + 100000*x29 + 6000000*x30 + 100000*x31

           + 104300*x32 + 6000000*x45,

           - x17*x51 + 7000*x18,

          x17*x51 - 200*x18*x20 - 7000*x18 + 1000*x37 + 7200*x49,

           - x19*x51 + 400*x20,

           - 200*x18*x20 + x19*x51 - 400*x20 + 1000*x37,

           - 57*x21*x51 + 17000*x22,

          57*x21*x51 - 17000*x22 + 40000*x43,

           - x23*x51 + 23000*x24,

          x23*x51 - 200*x24*x48 - 23000*x24 + 12800*x49,

           - x10*x25 - 100*x12*x25 + x26 + x27,

          5000*x12*x25 - 1000*x14*x26 - 100*x26*x41 - 50*x26 + 325000*x28

           + 10000*x29 + 152000*x30 + 11*x42,

          x10*x25 - 10*x16*x27 - x27 + 8960*x30,

          x14*x26 - 340*x28,

          3*x28 - 2*x29,

          x16*x27 - 1200*x30,

          10*x16*x8 - x2*x31 - x31*x4 - 10*x31 + 1000*x35 + 810*x36,

          100*x16*x6 - 1043*x32,

           - 683*x33*x39 - 100000000*x33*x47 - 250*x33*x52 - 10000000*x33*x6

           + 717000000*x34 + 1500000000*x36 + 50000000*x48,

          10*x33*x6 - 717*x34,

          x2*x31 - 1130*x35,

          x31*x4 + 130*x35 - 810*x36,

          x18*x20 - x37*x8 - 5*x37 + 20*x43,

           - 1600*x15*x38 + 33*x41,

           - 230*x15*x39 - 683*x3*x39 - 683*x33*x39,

          683*x33*x39,

          1600*x15*x38 - 1000*x26*x41 - 33*x41 + 110*x42,

          100*x26*x41 - 11*x42,

          x37*x8 - 20*x43,

          23*x15*x39,

          x10*x16 - 1200*x45,

          4*x4*x6 - 319*x46,

           - 2*x33*x47 + x48,

           - x24*x48 + 10*x33*x47 - 5*x48 + 100*x49,

          x24*x48 - 100*x49,

          683*x3*x39,

           - 43*x1*x51 + 660000*x10 - 500*x11*x51 + 227000*x12 - 100*x13*x51

           + 1900000*x14 - 290*x15*x51 + 3300000*x16 - 500*x17*x51 + 3500000*x18

           - 500*x19*x51 + 1000000*x2 + 200000*x20 - 570*x21*x51 + 170000*x22

           - 500*x23*x51 + 11500000*x24 - 500*x3*x51 + 15000000*x36 + 475000*x4

           - 500*x5*x51 - 570*x51*x7 - 500*x51*x9 + 145000*x6 + 170000*x8,

           - 14*x15*x52 - 25*x33*x52,

          x33*x52,

          7*x15*x52}


classifyComponents {basis};


{{{x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   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,

   x41,

   x42,

   x43,

   x45,

   x46,

   x47,

   x48,

   x49,

   x5,

   x51,

   x52,

   x6,

   x7,

   x8,

   x9}},

 {{x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x23,

   x24,

   x25,

   x26,

   x27,

   x3,

   x30,

   x31,

   x32,

   x33,

   x34,

   x37,

   x38,

   x39,

   x4,

   x41,

   x42,

   x45,

   x46,

   x47,

   x48,

   x5,

   x51,

   x52,

   x6,

   x7,

   x8,

   x9}},

 {{1 = 0}},

 {o},

 o}


end;

