off rlabout;



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


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



P := {{x1-x57, x10-x57, x11-x57, x12-x57, x13-x57, x14-x57, x15-x57, x16-x57, x17-x57, x18-x57, x19-x57, x2-x57, x20-x57, x21-x57, x22-x57, x23-x57, x24-x57, x25-x57, x26-x57, x27-x57, x28-x57, x29-x57, x3-x57, x30-x57, x31-x57, x32-x57, x33-x57, x34-x57, x35-x57, x36-x57, x37-x57, x38-x57, x39-x57, x4-x57, x40-x57, x41-x57, x42-x57, x43-x57, x44-x57, x45-x57, x46-x57, x47-x57, x48-x57, x49-x57, x5-x57, x50-x57, x51-x57, x52-x57, x53-x57, x54-x57, x55-x57, x56-x57, x6-x57, x7-x57, x8-x57, x9-x57}};


p := {{x1 - x57,

       x10 - x57,

       x11 - x57,

       x12 - x57,

       x13 - x57,

       x14 - x57,

       x15 - x57,

       x16 - x57,

       x17 - x57,

       x18 - x57,

       x19 - x57,

       x2 - x57,

       x20 - x57,

       x21 - x57,

       x22 - x57,

       x23 - x57,

       x24 - x57,

       x25 - x57,

       x26 - x57,

       x27 - x57,

       x28 - x57,

       x29 - x57,

       x3 - x57,

       x30 - x57,

       x31 - x57,

       x32 - x57,

       x33 - x57,

       x34 - x57,

       x35 - x57,

       x36 - x57,

       x37 - x57,

       x38 - x57,

       x39 - x57,

       x4 - x57,

       x40 - x57,

       x41 - x57,

       x42 - x57,

       x43 - x57,

       x44 - x57,

       x45 - x57,

       x46 - x57,

       x47 - x57,

       x48 - x57,

       x49 - x57,

       x5 - x57,

       x50 - x57,

       x51 - x57,

       x52 - x57,

       x53 - x57,

       x54 - x57,

       x55 - x57,

       x56 - x57,

        - x57 + x6,

        - x57 + x7,

        - x57 + x8,

        - x57 + x9}}


classifyComponents P;


{{{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,

   x40,

   x41,

   x42,

   x43,

   x44,

   x45,

   x46,

   x47,

   x48,

   x49,

   x5,

   x50,

   x51,

   x52,

   x53,

   x54,

   x55,

   x56,

   x57,

   x6,

   x7,

   x8,

   x9}},

 {{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,

   x40,

   x41,

   x42,

   x43,

   x44,

   x45,

   x46,

   x47,

   x48,

   x49,

   x5,

   x50,

   x51,

   x52,

   x53,

   x54,

   x55,

   x56,

   x57,

   x6,

   x7,

   x8,

   x9}},

 {{x1 = -1,

   x10 = -1,

   x11 = -1,

   x12 = -1,

   x13 = -1,

   x14 = -1,

   x15 = -1,

   x16 = -1,

   x17 = -1,

   x18 = -1,

   x19 = -1,

   x2 = -1,

   x20 = -1,

   x21 = -1,

   x22 = -1,

   x23 = -1,

   x24 = -1,

   x25 = -1,

   x26 = -1,

   x27 = -1,

   x28 = -1,

   x29 = -1,

   x3 = -1,

   x30 = -1,

   x31 = -1,

   x32 = -1,

   x33 = -1,

   x34 = -1,

   x35 = -1,

   x36 = -1,

   x37 = -1,

   x38 = -1,

   x39 = -1,

   x4 = -1,

   x40 = -1,

   x41 = -1,

   x42 = -1,

   x43 = -1,

   x44 = -1,

   x45 = -1,

   x46 = -1,

   x47 = -1,

   x48 = -1,

   x49 = -1,

   x5 = -1,

   x50 = -1,

   x51 = -1,

   x52 = -1,

   x53 = -1,

   x54 = -1,

   x55 = -1,

   x56 = -1,

   x57 = -1,

   x6 = -1,

   x7 = -1,

   x8 = -1,

   x9 = -1}},

 {G},

 G}


end;

