off rlabout;



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


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



P := {{x1, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x4, x7}, {x1, x11, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x4, x6, x7}, {x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x3, x4, x7}, {x11, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x3, x4, x6, x7}, {x11, x15, x16, x17, x18, x19, x20, x21, x22, x5, x6, x7, x14-x13, 10*x1*x3-3*x13, 10*x2*x4-3*x13}, {x1, x10, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x4, x6, x7, x9}, {x1, x11, x13, x14, x15, x16, x17, x18, x19, x2, x20, x21, x22, x5, x6, x7}, {x10, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x3, x4, x6, x7, x9}, {x10, x15, x16, x17, x18, x19, x20, x21, x22, x5, x6, x7, x9, x14-x13, 10*x1*x3-3*x13, 10*x2*x4-3*x13}, {x11, x13, x14, x15, x16, x17, x18, x19, x2, x20, x21, x22, x3, x5, x6, x7}, {x1, x10, x12, x13, x14, x15, x16, x17, x18, x19, x2, x20, x21, x22, x4, x8, x9}, {x1, x10, x13, x14, x15, x16, x17, x18, x19, x2, x20, x21, x22, x5, x6, x7, x9}, {x1, x11, x12, x13, x14, x15, x16, x17, x18, x19, x2, x20, x21, x22, x4, x8, x9}, {x10, x12, x13, x14, x15, x16, x17, x18, x19, x2, x20, x21, x22, x3, x4, x8, x9}, {x10, x13, x14, x15, x16, x17, x18, x19, x2, x20, x21, x22, x3, x5, x6, x7, x9}, {x11, x12, x13, x14, x15, x16, x17, x18, x19, x2, x20, x21, x22, x3, x4, x8, x9}, {x1, x12, x13, x14, x15, x16, x19, x20, x4, x21-x18, x22-x17, 10*x10*x11-3*x18, x10*x8-x9^2, 10*x11*x9-3*x17, 10*x7*x8-3*x17, 10*x7*x9-3*x18, x10*x17-x18*x9, x11*x18-x17*x7, -x17*x9+x18*x8}, {x12, x13, x14, x15, x16, x19, x20, x3, x4, x21-x18, x22-x17, 10*x10*x11-3*x18, x10*x8-x9^2, 10*x11*x9-3*x17, 10*x7*x8-3*x17, 10*x7*x9-3*x18, x10*x17-x18*x9, x11*x18-x17*x7, -x17*x9+x18*x8}, {x12, x15, x16, x19, x20, x5, x6, x14-x13, x21-x18, x22-x17, 10*x1*x3-3*x13, 10*x10*x11-3*x18, x10*x8-x9^2, 10*x11*x9-3*x17, 10*x2*x4-3*x13, 10*x7*x8-3*x17, 10*x7*x9-3*x18, x10*x17-x18*x9, x11*x18-x17*x7, -x17*x9+x18*x8}, {x1, x10, x13, x14, x17, x18, x2, x21, x22, x8, x9, x19-x16, x20-x15, 10*x12*x6-3*x15, 10*x12*x7-3*x16, 10*x4*x5-3*x15, 10*x4*x6-3*x16, x5*x7-x6^2, x12*x16-x15*x4, -x15*x6+x16*x5, x15*x7-x16*x6}, {x1, x11, x13, x14, x17, x18, x2, x21, x22, x8, x9, x19-x16, x20-x15, 10*x12*x6-3*x15, 10*x12*x7-3*x16, 10*x4*x5-3*x15, 10*x4*x6-3*x16, x5*x7-x6^2, x12*x16-x15*x4, -x15*x6+x16*x5, x15*x7-x16*x6}, {x1, x12, x13, x14, x15, x16, x19, x2, x20, x5, x6, x21-x18, x22-x17, 10*x10*x11-3*x18, x10*x8-x9^2, 10*x11*x9-3*x17, 10*x7*x8-3*x17, 10*x7*x9-3*x18, x10*x17-x18*x9, x11*x18-x17*x7, -x17*x9+x18*x8}, {x10, x13, x14, x17, x18, x2, x21, x22, x3, x8, x9, x19-x16, x20-x15, 10*x12*x6-3*x15, 10*x12*x7-3*x16, 10*x4*x5-3*x15, 10*x4*x6-3*x16, x5*x7-x6^2, x12*x16-x15*x4, -x15*x6+x16*x5, x15*x7-x16*x6}, {x11, x13, x14, x17, x18, x2, x21, x22, x3, x8, x9, x19-x16, x20-x15, 10*x12*x6-3*x15, 10*x12*x7-3*x16, 10*x4*x5-3*x15, 10*x4*x6-3*x16, x5*x7-x6^2, x12*x16-x15*x4, -x15*x6+x16*x5, x15*x7-x16*x6}, {x12, x13, x14, x15, x16, x19, x2, x20, x3, x5, x6, x21-x18, x22-x17, 10*x10*x11-3*x18, x10*x8-x9^2, 10*x11*x9-3*x17, 10*x7*x8-3*x17, 10*x7*x9-3*x18, x10*x17-x18*x9, x11*x18-x17*x7, -x17*x9+x18*x8}, {x1, x13, x14, x2, x19-x16, x20-x15, x21-x18, x22-x17, 10*x10*x11-3*x18, x10*x8-x9^2, 10*x11*x9-3*x17, 10*x12*x6-3*x15, 10*x12*x7-3*x16, 10*x4*x5-3*x15, 10*x4*x6-3*x16, 10*x7*x8-3*x17, 10*x7*x9-3*x18, x5*x7-x6^2, x10*x17-x18*x9, x11*x18-x17*x7, x12*x16-x15*x4, x12*x17-x16*x8, x12*x18-x16*x9, -x15*x6+x16*x5, x15*x7-x16*x6, -x17*x9+x18*x8, 10*x6^2*x8-3*x17*x5, 10*x6^2*x9-3*x18*x5, -x15*x17*x4+x16^2*x8, 10*x16*x6*x8-3*x15*x17, x15*x18*x4-x16^2*x9, 10*x16*x6*x9-3*x15*x18}, {x13, x14, x2, x3, x19-x16, x20-x15, x21-x18, x22-x17, 10*x10*x11-3*x18, x10*x8-x9^2, 10*x11*x9-3*x17, 10*x12*x6-3*x15, 10*x12*x7-3*x16, 10*x4*x5-3*x15, 10*x4*x6-3*x16, 10*x7*x8-3*x17, 10*x7*x9-3*x18, x5*x7-x6^2, x10*x17-x18*x9, x11*x18-x17*x7, x12*x16-x15*x4, x12*x17-x16*x8, x12*x18-x16*x9, -x15*x6+x16*x5, x15*x7-x16*x6, -x17*x9+x18*x8, 10*x6^2*x8-3*x17*x5, 10*x6^2*x9-3*x18*x5, -x15*x17*x4+x16^2*x8, 10*x16*x6*x8-3*x15*x17, x15*x18*x4-x16^2*x9, 10*x16*x6*x9-3*x15*x18}, {x14-x13, x19-x16, x20-x15, x21-x18, x22-x17, 10*x1*x3-3*x13, 10*x10*x11-3*x18, x10*x8-x9^2, 10*x11*x9-3*x17, 10*x12*x6-3*x15, 10*x12*x7-3*x16, 10*x2*x4-3*x13, 10*x4*x5-3*x15, 10*x4*x6-3*x16, 10*x7*x8-3*x17, 10*x7*x9-3*x18, x5*x7-x6^2, x10*x17-x18*x9, -x11*x18+x17*x7, x12*x16-x15*x4, -x12*x17+x16*x8, -x12*x18+x16*x9, -x13*x5+x15*x2, -x13*x6+x16*x2, -x15*x6+x16*x5, x15*x7-x16*x6, -x17*x9+x18*x8, 10*x6^2*x8-3*x17*x5, 10*x6^2*x9-3*x18*x5, 10*x11*x12*x18-3*x16*x17, x11*x18*x5-x17*x6^2, x12^2*x17-x15*x4*x8, x12^2*x18-x15*x4*x9, x11*x15*x18-x16*x17*x6, x12*x17*x2-x13*x6*x8, x12*x18*x2-x13*x6*x9, x12*x17*x5-x15*x6*x8, x12*x18*x5-x15*x6*x9}};


p := {{x1,

       x11,

       x12,

       x13,

       x14,

       x15,

       x16,

       x17,

       x18,

       x19,

       x20,

       x21,

       x22,

       x4,

       x7},

      {x1,

       x11,

       x13,

       x14,

       x15,

       x16,

       x17,

       x18,

       x19,

       x20,

       x21,

       x22,

       x4,

       x6,

       x7},

      {x11,

       x12,

       x13,

       x14,

       x15,

       x16,

       x17,

       x18,

       x19,

       x20,

       x21,

       x22,

       x3,

       x4,

       x7},

      {x11,

       x13,

       x14,

       x15,

       x16,

       x17,

       x18,

       x19,

       x20,

       x21,

       x22,

       x3,

       x4,

       x6,

       x7},

      {x11,

       x15,

       x16,

       x17,

       x18,

       x19,

       x20,

       x21,

       x22,

       x5,

       x6,

       x7,

        - x13 + x14,

       10*x1*x3 - 3*x13,

        - 3*x13 + 10*x2*x4},

      {x1,

       x10,

       x13,

       x14,

       x15,

       x16,

       x17,

       x18,

       x19,

       x20,

       x21,

       x22,

       x4,

       x6,

       x7,

       x9},

      {x1,

       x11,

       x13,

       x14,

       x15,

       x16,

       x17,

       x18,

       x19,

       x2,

       x20,

       x21,

       x22,

       x5,

       x6,

       x7},

      {x10,

       x13,

       x14,

       x15,

       x16,

       x17,

       x18,

       x19,

       x20,

       x21,

       x22,

       x3,

       x4,

       x6,

       x7,

       x9},

      {x10,

       x15,

       x16,

       x17,

       x18,

       x19,

       x20,

       x21,

       x22,

       x5,

       x6,

       x7,

       x9,

        - x13 + x14,

       10*x1*x3 - 3*x13,

        - 3*x13 + 10*x2*x4},

      {x11,

       x13,

       x14,

       x15,

       x16,

       x17,

       x18,

       x19,

       x2,

       x20,

       x21,

       x22,

       x3,

       x5,

       x6,

       x7},

      {x1,

       x10,

       x12,

       x13,

       x14,

       x15,

       x16,

       x17,

       x18,

       x19,

       x2,

       x20,

       x21,

       x22,

       x4,

       x8,

       x9},

      {x1,

       x10,

       x13,

       x14,

       x15,

       x16,

       x17,

       x18,

       x19,

       x2,

       x20,

       x21,

       x22,

       x5,

       x6,

       x7,

       x9},

      {x1,

       x11,

       x12,

       x13,

       x14,

       x15,

       x16,

       x17,

       x18,

       x19,

       x2,

       x20,

       x21,

       x22,

       x4,

       x8,

       x9},

      {x10,

       x12,

       x13,

       x14,

       x15,

       x16,

       x17,

       x18,

       x19,

       x2,

       x20,

       x21,

       x22,

       x3,

       x4,

       x8,

       x9},

      {x10,

       x13,

       x14,

       x15,

       x16,

       x17,

       x18,

       x19,

       x2,

       x20,

       x21,

       x22,

       x3,

       x5,

       x6,

       x7,

       x9},

      {x11,

       x12,

       x13,

       x14,

       x15,

       x16,

       x17,

       x18,

       x19,

       x2,

       x20,

       x21,

       x22,

       x3,

       x4,

       x8,

       x9},

      {x1,

       x12,

       x13,

       x14,

       x15,

       x16,

       x19,

       x20,

       x4,

        - x18 + x21,

        - x17 + x22,

       10*x10*x11 - 3*x18,

                  2
       x10*x8 - x9 ,

       10*x11*x9 - 3*x17,

        - 3*x17 + 10*x7*x8,

        - 3*x18 + 10*x7*x9,

       x10*x17 - x18*x9,

       x11*x18 - x17*x7,

        - x17*x9 + x18*x8},

      {x12,

       x13,

       x14,

       x15,

       x16,

       x19,

       x20,

       x3,

       x4,

        - x18 + x21,

        - x17 + x22,

       10*x10*x11 - 3*x18,

                  2
       x10*x8 - x9 ,

       10*x11*x9 - 3*x17,

        - 3*x17 + 10*x7*x8,

        - 3*x18 + 10*x7*x9,

       x10*x17 - x18*x9,

       x11*x18 - x17*x7,

        - x17*x9 + x18*x8},

      {x12,

       x15,

       x16,

       x19,

       x20,

       x5,

       x6,

        - x13 + x14,

        - x18 + x21,

        - x17 + x22,

       10*x1*x3 - 3*x13,

       10*x10*x11 - 3*x18,

                  2
       x10*x8 - x9 ,

       10*x11*x9 - 3*x17,

        - 3*x13 + 10*x2*x4,

        - 3*x17 + 10*x7*x8,

        - 3*x18 + 10*x7*x9,

       x10*x17 - x18*x9,

       x11*x18 - x17*x7,

        - x17*x9 + x18*x8},

      {x1,

       x10,

       x13,

       x14,

       x17,

       x18,

       x2,

       x21,

       x22,

       x8,

       x9,

        - x16 + x19,

        - x15 + x20,

       10*x12*x6 - 3*x15,

       10*x12*x7 - 3*x16,

        - 3*x15 + 10*x4*x5,

        - 3*x16 + 10*x4*x6,

                 2
       x5*x7 - x6 ,

       x12*x16 - x15*x4,

        - x15*x6 + x16*x5,

       x15*x7 - x16*x6},

      {x1,

       x11,

       x13,

       x14,

       x17,

       x18,

       x2,

       x21,

       x22,

       x8,

       x9,

        - x16 + x19,

        - x15 + x20,

       10*x12*x6 - 3*x15,

       10*x12*x7 - 3*x16,

        - 3*x15 + 10*x4*x5,

        - 3*x16 + 10*x4*x6,

                 2
       x5*x7 - x6 ,

       x12*x16 - x15*x4,

        - x15*x6 + x16*x5,

       x15*x7 - x16*x6},

      {x1,

       x12,

       x13,

       x14,

       x15,

       x16,

       x19,

       x2,

       x20,

       x5,

       x6,

        - x18 + x21,

        - x17 + x22,

       10*x10*x11 - 3*x18,

                  2
       x10*x8 - x9 ,

       10*x11*x9 - 3*x17,

        - 3*x17 + 10*x7*x8,

        - 3*x18 + 10*x7*x9,

       x10*x17 - x18*x9,

       x11*x18 - x17*x7,

        - x17*x9 + x18*x8},

      {x10,

       x13,

       x14,

       x17,

       x18,

       x2,

       x21,

       x22,

       x3,

       x8,

       x9,

        - x16 + x19,

        - x15 + x20,

       10*x12*x6 - 3*x15,

       10*x12*x7 - 3*x16,

        - 3*x15 + 10*x4*x5,

        - 3*x16 + 10*x4*x6,

                 2
       x5*x7 - x6 ,

       x12*x16 - x15*x4,

        - x15*x6 + x16*x5,

       x15*x7 - x16*x6},

      {x11,

       x13,

       x14,

       x17,

       x18,

       x2,

       x21,

       x22,

       x3,

       x8,

       x9,

        - x16 + x19,

        - x15 + x20,

       10*x12*x6 - 3*x15,

       10*x12*x7 - 3*x16,

        - 3*x15 + 10*x4*x5,

        - 3*x16 + 10*x4*x6,

                 2
       x5*x7 - x6 ,

       x12*x16 - x15*x4,

        - x15*x6 + x16*x5,

       x15*x7 - x16*x6},

      {x12,

       x13,

       x14,

       x15,

       x16,

       x19,

       x2,

       x20,

       x3,

       x5,

       x6,

        - x18 + x21,

        - x17 + x22,

       10*x10*x11 - 3*x18,

                  2
       x10*x8 - x9 ,

       10*x11*x9 - 3*x17,

        - 3*x17 + 10*x7*x8,

        - 3*x18 + 10*x7*x9,

       x10*x17 - x18*x9,

       x11*x18 - x17*x7,

        - x17*x9 + x18*x8},

      {x1,

       x13,

       x14,

       x2,

        - x16 + x19,

        - x15 + x20,

        - x18 + x21,

        - x17 + x22,

       10*x10*x11 - 3*x18,

                  2
       x10*x8 - x9 ,

       10*x11*x9 - 3*x17,

       10*x12*x6 - 3*x15,

       10*x12*x7 - 3*x16,

        - 3*x15 + 10*x4*x5,

        - 3*x16 + 10*x4*x6,

        - 3*x17 + 10*x7*x8,

        - 3*x18 + 10*x7*x9,

                 2
       x5*x7 - x6 ,

       x10*x17 - x18*x9,

       x11*x18 - x17*x7,

       x12*x16 - x15*x4,

       x12*x17 - x16*x8,

       x12*x18 - x16*x9,

        - x15*x6 + x16*x5,

       x15*x7 - x16*x6,

        - x17*x9 + x18*x8,

                          2
        - 3*x17*x5 + 10*x6 *x8,

                          2
        - 3*x18*x5 + 10*x6 *x9,

                          2
        - x15*x17*x4 + x16 *x8,

        - 3*x15*x17 + 10*x16*x6*x8,

                       2
       x15*x18*x4 - x16 *x9,

        - 3*x15*x18 + 10*x16*x6*x9},

      {x13,

       x14,

       x2,

       x3,

        - x16 + x19,

        - x15 + x20,

        - x18 + x21,

        - x17 + x22,

       10*x10*x11 - 3*x18,

                  2
       x10*x8 - x9 ,

       10*x11*x9 - 3*x17,

       10*x12*x6 - 3*x15,

       10*x12*x7 - 3*x16,

        - 3*x15 + 10*x4*x5,

        - 3*x16 + 10*x4*x6,

        - 3*x17 + 10*x7*x8,

        - 3*x18 + 10*x7*x9,

                 2
       x5*x7 - x6 ,

       x10*x17 - x18*x9,

       x11*x18 - x17*x7,

       x12*x16 - x15*x4,

       x12*x17 - x16*x8,

       x12*x18 - x16*x9,

        - x15*x6 + x16*x5,

       x15*x7 - x16*x6,

        - x17*x9 + x18*x8,

                          2
        - 3*x17*x5 + 10*x6 *x8,

                          2
        - 3*x18*x5 + 10*x6 *x9,

                          2
        - x15*x17*x4 + x16 *x8,

        - 3*x15*x17 + 10*x16*x6*x8,

                       2
       x15*x18*x4 - x16 *x9,

        - 3*x15*x18 + 10*x16*x6*x9},

      { - x13 + x14,

        - x16 + x19,

        - x15 + x20,

        - x18 + x21,

        - x17 + x22,

       10*x1*x3 - 3*x13,

       10*x10*x11 - 3*x18,

                  2
       x10*x8 - x9 ,

       10*x11*x9 - 3*x17,

       10*x12*x6 - 3*x15,

       10*x12*x7 - 3*x16,

        - 3*x13 + 10*x2*x4,

        - 3*x15 + 10*x4*x5,

        - 3*x16 + 10*x4*x6,

        - 3*x17 + 10*x7*x8,

        - 3*x18 + 10*x7*x9,

                 2
       x5*x7 - x6 ,

       x10*x17 - x18*x9,

        - x11*x18 + x17*x7,

       x12*x16 - x15*x4,

        - x12*x17 + x16*x8,

        - x12*x18 + x16*x9,

        - x13*x5 + x15*x2,

        - x13*x6 + x16*x2,

        - x15*x6 + x16*x5,

       x15*x7 - x16*x6,

        - x17*x9 + x18*x8,

                          2
        - 3*x17*x5 + 10*x6 *x8,

                          2
        - 3*x18*x5 + 10*x6 *x9,

       10*x11*x12*x18 - 3*x16*x17,

                          2
       x11*x18*x5 - x17*x6 ,

          2
       x12 *x17 - x15*x4*x8,

          2
       x12 *x18 - x15*x4*x9,

       x11*x15*x18 - x16*x17*x6,

       x12*x17*x2 - x13*x6*x8,

       x12*x18*x2 - x13*x6*x9,

       x12*x17*x5 - x15*x6*x8,

       x12*x18*x5 - x15*x6*x9}}


classifyComponents P;


{{{x1,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x4,

   x7},

  {x1,

   x11,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x4,

   x6,

   x7},

  {x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x7},

  {x11,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x6,

   x7},

  {x1,

   x11,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x6,

   x7},

  {x1,

   x10,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x4,

   x6,

   x7,

   x9},

  {x1,

   x11,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x5,

   x6,

   x7},

  {x10,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x6,

   x7,

   x9},

  {x1,

   x10,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x6,

   x7,

   x9},

  {x11,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x5,

   x6,

   x7},

  {x1,

   x10,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x4,

   x8,

   x9},

  {x1,

   x10,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x5,

   x6,

   x7,

   x9},

  {x1,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x4,

   x8,

   x9},

  {x10,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x8,

   x9},

  {x10,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x5,

   x6,

   x7,

   x9},

  {x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x4,

   x7,

   x8,

   x9},

  {x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x7,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9},

  {x1,

   x10,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9},

  {x1,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x5,

   x6,

   x7,

   x8,

   x9},

  {x10,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9},

  {x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9},

  {x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x5,

   x6,

   x7,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9},

  {x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9}},

 {{},

  {},

  {},

  {},

  {x1,

   x13,

   x14,

   x2,

   x3,

   x4},

  {},

  {},

  {},

  {x1,

   x13,

   x14,

   x2,

   x3,

   x4},

  {},

  {},

  {},

  {},

  {},

  {},

  {},

  {x10,

   x11,

   x17,

   x18,

   x21,

   x22,

   x7,

   x8,

   x9},

  {x10,

   x11,

   x17,

   x18,

   x21,

   x22,

   x7,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x13,

   x14,

   x17,

   x18,

   x2,

   x21,

   x22,

   x3,

   x4,

   x7,

   x8,

   x9},

  {x12,

   x15,

   x16,

   x19,

   x20,

   x4,

   x5,

   x6,

   x7},

  {x12,

   x15,

   x16,

   x19,

   x20,

   x4,

   x5,

   x6,

   x7},

  {x10,

   x11,

   x17,

   x18,

   x21,

   x22,

   x7,

   x8,

   x9},

  {x12,

   x15,

   x16,

   x19,

   x20,

   x4,

   x5,

   x6,

   x7},

  {x12,

   x15,

   x16,

   x19,

   x20,

   x4,

   x5,

   x6,

   x7},

  {x10,

   x11,

   x17,

   x18,

   x21,

   x22,

   x7,

   x8,

   x9},

  {x10,

   x11,

   x12,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9},

  {x10,

   x11,

   x12,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9}},

 {{1 = 0},

  {1 = 0},

  {1 = 0},

  {1 = 0},

                   - 10          - 10
  {x1 = -1,x13 = -------,x14 = -------,x2 = 1,x3 = 1,x4 = -1},
                    3             3

  {1 = 0},

  {1 = 0},

  {1 = 0},

                   - 10          - 10
  {x1 = -1,x13 = -------,x14 = -------,x2 = 1,x3 = 1,x4 = -1},
                    3             3

  {1 = 0},

  {1 = 0},

  {1 = 0},

  {1 = 0},

  {1 = 0},

  {1 = 0},

  {1 = 0},

  {x10 = -1,

   x11 = 1,

           - 10
   x17 = -------,
            3

           - 10
   x18 = -------,
            3

           - 10
   x21 = -------,
            3

           - 10
   x22 = -------,
            3

   x7 = 1,

   x8 = -1,

   x9 = -1},

  {x10 = -1,

   x11 = 1,

           - 10
   x17 = -------,
            3

           - 10
   x18 = -------,
            3

           - 10
   x21 = -------,
            3

           - 10
   x22 = -------,
            3

   x7 = 1,

   x8 = -1,

   x9 = -1},

  {x1 = -1,

   x10 = 1,

   x11 = 1,

           - 10
   x13 = -------,
            3

           - 10
   x14 = -------,
            3

          10
   x17 = ----,
          3

          10
   x18 = ----,
          3

   x2 = 1,

          10
   x21 = ----,
          3

          10
   x22 = ----,
          3

   x3 = 1,

   x4 = -1,

   x7 = 1,

   x8 = 1,

   x9 = 1},

  {x12 = -1,

          10
   x15 = ----,
          3

           - 10
   x16 = -------,
            3

           - 10
   x19 = -------,
            3

          10
   x20 = ----,
          3

   x4 = 1,

   x5 = 1,

   x6 = -1,

   x7 = 1},

  {x12 = -1,

          10
   x15 = ----,
          3

           - 10
   x16 = -------,
            3

           - 10
   x19 = -------,
            3

          10
   x20 = ----,
          3

   x4 = 1,

   x5 = 1,

   x6 = -1,

   x7 = 1},

  {x10 = -1,

   x11 = 1,

           - 10
   x17 = -------,
            3

           - 10
   x18 = -------,
            3

           - 10
   x21 = -------,
            3

           - 10
   x22 = -------,
            3

   x7 = 1,

   x8 = -1,

   x9 = -1},

  {x12 = -1,

          10
   x15 = ----,
          3

           - 10
   x16 = -------,
            3

           - 10
   x19 = -------,
            3

          10
   x20 = ----,
          3

   x4 = 1,

   x5 = 1,

   x6 = -1,

   x7 = 1},

  {x12 = -1,

          10
   x15 = ----,
          3

           - 10
   x16 = -------,
            3

           - 10
   x19 = -------,
            3

          10
   x20 = ----,
          3

   x4 = 1,

   x5 = 1,

   x6 = -1,

   x7 = 1},

  {x10 = -1,

   x11 = 1,

           - 10
   x17 = -------,
            3

           - 10
   x18 = -------,
            3

           - 10
   x21 = -------,
            3

           - 10
   x22 = -------,
            3

   x7 = 1,

   x8 = -1,

   x9 = -1},

  {x10 = -1,

   x11 = 1,

   x12 = 1,

          10
   x15 = ----,
          3

          10
   x16 = ----,
          3

           - 10
   x17 = -------,
            3

           - 10
   x18 = -------,
            3

          10
   x19 = ----,
          3

          10
   x20 = ----,
          3

           - 10
   x21 = -------,
            3

           - 10
   x22 = -------,
            3

   x4 = 1,

   x5 = 1,

   x6 = 1,

   x7 = 1,

   x8 = -1,

   x9 = -1},

  {x10 = -1,

   x11 = 1,

   x12 = 1,

          10
   x15 = ----,
          3

          10
   x16 = ----,
          3

           - 10
   x17 = -------,
            3

           - 10
   x18 = -------,
            3

          10
   x19 = ----,
          3

          10
   x20 = ----,
          3

           - 10
   x21 = -------,
            3

           - 10
   x22 = -------,
            3

   x4 = 1,

   x5 = 1,

   x6 = 1,

   x7 = 1,

   x8 = -1,

   x9 = -1},

  {x1 = -1,

   x10 = 1,

   x11 = 1,

   x12 = 1,

           - 10
   x13 = -------,
            3

           - 10
   x14 = -------,
            3

           - 10
   x15 = -------,
            3

          10
   x16 = ----,
          3

          10
   x17 = ----,
          3

          10
   x18 = ----,
          3

          10
   x19 = ----,
          3

   x2 = 1,

           - 10
   x20 = -------,
            3

          10
   x21 = ----,
          3

          10
   x22 = ----,
          3

   x3 = 1,

   x4 = -1,

   x5 = 1,

   x6 = -1,

   x7 = 1,

   x8 = 1,

   x9 = 1}},

 {o,o,o,o,c,o,o,o,c,o,o,o,o,o,o,o,c,c,c,c,c,c,c,c,c,c,c,C},

 C + 13c + 14o}


end;

