off rlabout;



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


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



P := {{x1, x10, x11, x12, x14, x16, x17, x19, x20, x21, x22, x3, x8, x9, -x5^2+100000*x4}, {x1, x10, x11, x12, x14, x16, x17, x19, x20, x21, x22, x4, x5, x8, x9}, {x1, x10, x11, x12, x14, x16, x17, x19, x20, x21, x22, x7, x8, x5^2-100000*x4, 100*x3*x4-x9}, {x10, x11, x12, x14, x16, x17, x19, x2, x20, x21, x22, x3, x8, x9, -x5^2+100000*x4}, {x10, x11, x12, x14, x16, x17, x19, x2, x20, x21, x22, x4, x5, x8, x9}, {x10, x11, x12, x14, x16, x17, x19, x2, x20, x21, x22, x7, x8, x5^2-100000*x4, 100*x3*x4-x9}, {x1, x10, x11, x12, x14, x16, x17, x18, x19, x20, x21, x22, x3, x6, x9, -x5^2+100000*x4}, {x1, x10, x11, x12, x14, x16, x17, x18, x19, x20, x21, x22, x4, x5, x6, x9}, {x1, x10, x11, x12, x14, x16, x17, x18, x19, x20, x21, x22, x6, x7, x5^2-100000*x4, 100*x3*x4-x9}, {x1, x10, x11, x3, x8, x9, 3*x12+40000*x19, 15833333665*x13-133233333598, 237500004975*x14+26665666719998*x19, 207992200000000*x15+9500000199, 47500000995*x17-5333133439996*x19, -x19+125*x16, 2*x19+25*x20, 2*x19+25*x21, 2*x19+25*x22, -x5^2+100000*x4}, {x1, x10, x11, x4, x5, x8, x9, 3*x12+40000*x19, 15833333665*x13-133233333598, 237500004975*x14+26665666719998*x19, 207992200000000*x15+9500000199, 47500000995*x17-5333133439996*x19, -x19+125*x16, 2*x19+25*x20, 2*x19+25*x21, 2*x19+25*x22}, {x1, x10, x11, x7, x8, 3*x12+40000*x19, 15833333665*x13-133233333598, 237500004975*x14+26665666719998*x19, 207992200000000*x15+9500000199, 47500000995*x17-5333133439996*x19, -x19+125*x16, 2*x19+25*x20, 2*x19+25*x21, 2*x19+25*x22, x5^2-100000*x4, 100*x3*x4-x9}, {x10, x11, x12, x14, x16, x17, x18, x19, x2, x20, x21, x22, x3, x6, x9, -x5^2+100000*x4}, {x10, x11, x12, x14, x16, x17, x18, x19, x2, x20, x21, x22, x4, x5, x6, x9}, {x10, x11, x12, x14, x16, x17, x18, x19, x2, x20, x21, x22, x6, x7, x5^2-100000*x4, 100*x3*x4-x9}, {x10, x11, x2, x3, x8, x9, 3*x12+40000*x19, 15833333665*x13-133233333598, 237500004975*x14+26665666719998*x19, 207992200000000*x15+9500000199, 47500000995*x17-5333133439996*x19, -x19+125*x16, 2*x19+25*x20, 2*x19+25*x21, 2*x19+25*x22, -x5^2+100000*x4}, {x10, x11, x2, x4, x5, x8, x9, 3*x12+40000*x19, 15833333665*x13-133233333598, 237500004975*x14+26665666719998*x19, 207992200000000*x15+9500000199, 47500000995*x17-5333133439996*x19, -x19+125*x16, 2*x19+25*x20, 2*x19+25*x21, 2*x19+25*x22}, {x10, x11, x2, x7, x8, 3*x12+40000*x19, 15833333665*x13-133233333598, 237500004975*x14+26665666719998*x19, 207992200000000*x15+9500000199, 47500000995*x17-5333133439996*x19, -x19+125*x16, 2*x19+25*x20, 2*x19+25*x21, 2*x19+25*x22, x5^2-100000*x4, 100*x3*x4-x9}, {x1, x10, x11, x12, x14, x16, x3, x6, x9, 4*x19+25*x20, 4*x19+25*x21, 4*x19+25*x22, x5^2-100000*x4, 1625000000*x15*x17+16666667*x19, 125000000*x18*x8+x19, 3250000000*x13*x15+520000000000*x15+50000001, 2*x13*x19-3*x17+320*x19}, {x1, x10, x11, x12, x14, x16, x4, x5, x6, x9, 4*x19+25*x20, 4*x19+25*x21, 4*x19+25*x22, 1625000000*x15*x17+16666667*x19, 125000000*x18*x8+x19, 3250000000*x13*x15+520000000000*x15+50000001, 2*x13*x19-3*x17+320*x19}, {x1, x10, x11, x12, x14, x16, x6, x7, 4*x19+25*x20, 4*x19+25*x21, 4*x19+25*x22, x5^2-100000*x4, 1625000000*x15*x17+16666667*x19, 125000000*x18*x8+x19, 100*x3*x4-x9, 3250000000*x13*x15+520000000000*x15+50000001, 2*x13*x19-3*x17+320*x19}, {x10, x11, x12, x14, x16, x2, x3, x6, x9, 4*x19+25*x20, 4*x19+25*x21, 4*x19+25*x22, x5^2-100000*x4, 1625000000*x15*x17+16666667*x19, 125000000*x18*x8+x19, 3250000000*x13*x15+520000000000*x15+50000001, 2*x13*x19-3*x17+320*x19}, {x10, x11, x12, x14, x16, x2, x4, x5, x6, x9, 4*x19+25*x20, 4*x19+25*x21, 4*x19+25*x22, 1625000000*x15*x17+16666667*x19, 125000000*x18*x8+x19, 3250000000*x13*x15+520000000000*x15+50000001, 2*x13*x19-3*x17+320*x19}, {x10, x11, x12, x14, x16, x2, x6, x7, 4*x19+25*x20, 4*x19+25*x21, 4*x19+25*x22, x5^2-100000*x4, 1625000000*x15*x17+16666667*x19, 125000000*x18*x8+x19, 100*x3*x4-x9, 3250000000*x13*x15+520000000000*x15+50000001, 2*x13*x19-3*x17+320*x19}, {x1, x10, x11, x3, x6, x9, x21-x20, x22-x20, 2500000050*x14+97500001995*x17-10666266879992*x19, 250*x16-25*x20-4*x19, 500000*x20+3*x12+80000*x19, x5^2-100000*x4, 260000000*x15*x17-16666667*x20, 1300000000000*x13*x15+7800000000*x15+500000001, 2*x13*x19-3*x17+320*x19, 83333335000*x13*x20+500000001*x17+500000010*x20, 207992200000000*x15*x19-500000001*x19-125000002500*x20, 500000001*x17*x19+125000002500*x17*x20-13332833599990*x19*x20, 250000000*x18*x8-2*x19-25*x20}, {x1, x10, x11, x4, x5, x6, x9, x21-x20, x22-x20, 2500000050*x14+97500001995*x17-10666266879992*x19, 250*x16-25*x20-4*x19, 500000*x20+3*x12+80000*x19, 260000000*x15*x17-16666667*x20, 1300000000000*x13*x15+7800000000*x15+500000001, 2*x13*x19-3*x17+320*x19, 83333335000*x13*x20+500000001*x17+500000010*x20, 207992200000000*x15*x19-500000001*x19-125000002500*x20, 500000001*x17*x19+125000002500*x17*x20-13332833599990*x19*x20, 250000000*x18*x8-2*x19-25*x20}, {x1, x10, x11, x6, x7, x21-x20, x22-x20, 2500000050*x14+97500001995*x17-10666266879992*x19, 250*x16-25*x20-4*x19, 500000*x20+3*x12+80000*x19, x5^2-100000*x4, 260000000*x15*x17-16666667*x20, 100*x3*x4-x9, 1300000000000*x13*x15+7800000000*x15+500000001, 2*x13*x19-3*x17+320*x19, 83333335000*x13*x20+500000001*x17+500000010*x20, 207992200000000*x15*x19-500000001*x19-125000002500*x20, 500000001*x17*x19+125000002500*x17*x20-13332833599990*x19*x20, 250000000*x18*x8-2*x19-25*x20}, {x10, x11, x2, x3, x6, x9, x21-x20, x22-x20, 2500000050*x14+97500001995*x17-10666266879992*x19, 250*x16-25*x20-4*x19, 500000*x20+3*x12+80000*x19, x5^2-100000*x4, 260000000*x15*x17-16666667*x20, 1300000000000*x13*x15+7800000000*x15+500000001, 2*x13*x19-3*x17+320*x19, 83333335000*x13*x20+500000001*x17+500000010*x20, 207992200000000*x15*x19-500000001*x19-125000002500*x20, 500000001*x17*x19+125000002500*x17*x20-13332833599990*x19*x20, 250000000*x18*x8-2*x19-25*x20}, {x10, x11, x2, x4, x5, x6, x9, x21-x20, x22-x20, 2500000050*x14+97500001995*x17-10666266879992*x19, 250*x16-25*x20-4*x19, 500000*x20+3*x12+80000*x19, 260000000*x15*x17-16666667*x20, 1300000000000*x13*x15+7800000000*x15+500000001, 2*x13*x19-3*x17+320*x19, 83333335000*x13*x20+500000001*x17+500000010*x20, 207992200000000*x15*x19-500000001*x19-125000002500*x20, 500000001*x17*x19+125000002500*x17*x20-13332833599990*x19*x20, 250000000*x18*x8-2*x19-25*x20}, {x10, x11, x2, x6, x7, x21-x20, x22-x20, 2500000050*x14+97500001995*x17-10666266879992*x19, 250*x16-25*x20-4*x19, 500000*x20+3*x12+80000*x19, x5^2-100000*x4, 260000000*x15*x17-16666667*x20, 100*x3*x4-x9, 1300000000000*x13*x15+7800000000*x15+500000001, 2*x13*x19-3*x17+320*x19, 83333335000*x13*x20+500000001*x17+500000010*x20, 207992200000000*x15*x19-500000001*x19-125000002500*x20, 500000001*x17*x19+125000002500*x17*x20-13332833599990*x19*x20, 250000000*x18*x8-2*x19-25*x20}};


p := {{x1,

       x10,

       x11,

       x12,

       x14,

       x16,

       x17,

       x19,

       x20,

       x21,

       x22,

       x3,

       x8,

       x9,

                     2
       100000*x4 - x5 },

      {x1,

       x10,

       x11,

       x12,

       x14,

       x16,

       x17,

       x19,

       x20,

       x21,

       x22,

       x4,

       x5,

       x8,

       x9},

      {x1,

       x10,

       x11,

       x12,

       x14,

       x16,

       x17,

       x19,

       x20,

       x21,

       x22,

       x7,

       x8,

                        2
        - 100000*x4 + x5 ,

       100*x3*x4 - x9},

      {x10,

       x11,

       x12,

       x14,

       x16,

       x17,

       x19,

       x2,

       x20,

       x21,

       x22,

       x3,

       x8,

       x9,

                     2
       100000*x4 - x5 },

      {x10,

       x11,

       x12,

       x14,

       x16,

       x17,

       x19,

       x2,

       x20,

       x21,

       x22,

       x4,

       x5,

       x8,

       x9},

      {x10,

       x11,

       x12,

       x14,

       x16,

       x17,

       x19,

       x2,

       x20,

       x21,

       x22,

       x7,

       x8,

                        2
        - 100000*x4 + x5 ,

       100*x3*x4 - x9},

      {x1,

       x10,

       x11,

       x12,

       x14,

       x16,

       x17,

       x18,

       x19,

       x20,

       x21,

       x22,

       x3,

       x6,

       x9,

                     2
       100000*x4 - x5 },

      {x1,

       x10,

       x11,

       x12,

       x14,

       x16,

       x17,

       x18,

       x19,

       x20,

       x21,

       x22,

       x4,

       x5,

       x6,

       x9},

      {x1,

       x10,

       x11,

       x12,

       x14,

       x16,

       x17,

       x18,

       x19,

       x20,

       x21,

       x22,

       x6,

       x7,

                        2
        - 100000*x4 + x5 ,

       100*x3*x4 - x9},

      {x1,

       x10,

       x11,

       x3,

       x8,

       x9,

       3*x12 + 40000*x19,

       15833333665*x13 - 133233333598,

       237500004975*x14 + 26665666719998*x19,

       207992200000000*x15 + 9500000199,

       47500000995*x17 - 5333133439996*x19,

       125*x16 - x19,

       2*x19 + 25*x20,

       2*x19 + 25*x21,

       2*x19 + 25*x22,

                     2
       100000*x4 - x5 },

      {x1,

       x10,

       x11,

       x4,

       x5,

       x8,

       x9,

       3*x12 + 40000*x19,

       15833333665*x13 - 133233333598,

       237500004975*x14 + 26665666719998*x19,

       207992200000000*x15 + 9500000199,

       47500000995*x17 - 5333133439996*x19,

       125*x16 - x19,

       2*x19 + 25*x20,

       2*x19 + 25*x21,

       2*x19 + 25*x22},

      {x1,

       x10,

       x11,

       x7,

       x8,

       3*x12 + 40000*x19,

       15833333665*x13 - 133233333598,

       237500004975*x14 + 26665666719998*x19,

       207992200000000*x15 + 9500000199,

       47500000995*x17 - 5333133439996*x19,

       125*x16 - x19,

       2*x19 + 25*x20,

       2*x19 + 25*x21,

       2*x19 + 25*x22,

                        2
        - 100000*x4 + x5 ,

       100*x3*x4 - x9},

      {x10,

       x11,

       x12,

       x14,

       x16,

       x17,

       x18,

       x19,

       x2,

       x20,

       x21,

       x22,

       x3,

       x6,

       x9,

                     2
       100000*x4 - x5 },

      {x10,

       x11,

       x12,

       x14,

       x16,

       x17,

       x18,

       x19,

       x2,

       x20,

       x21,

       x22,

       x4,

       x5,

       x6,

       x9},

      {x10,

       x11,

       x12,

       x14,

       x16,

       x17,

       x18,

       x19,

       x2,

       x20,

       x21,

       x22,

       x6,

       x7,

                        2
        - 100000*x4 + x5 ,

       100*x3*x4 - x9},

      {x10,

       x11,

       x2,

       x3,

       x8,

       x9,

       3*x12 + 40000*x19,

       15833333665*x13 - 133233333598,

       237500004975*x14 + 26665666719998*x19,

       207992200000000*x15 + 9500000199,

       47500000995*x17 - 5333133439996*x19,

       125*x16 - x19,

       2*x19 + 25*x20,

       2*x19 + 25*x21,

       2*x19 + 25*x22,

                     2
       100000*x4 - x5 },

      {x10,

       x11,

       x2,

       x4,

       x5,

       x8,

       x9,

       3*x12 + 40000*x19,

       15833333665*x13 - 133233333598,

       237500004975*x14 + 26665666719998*x19,

       207992200000000*x15 + 9500000199,

       47500000995*x17 - 5333133439996*x19,

       125*x16 - x19,

       2*x19 + 25*x20,

       2*x19 + 25*x21,

       2*x19 + 25*x22},

      {x10,

       x11,

       x2,

       x7,

       x8,

       3*x12 + 40000*x19,

       15833333665*x13 - 133233333598,

       237500004975*x14 + 26665666719998*x19,

       207992200000000*x15 + 9500000199,

       47500000995*x17 - 5333133439996*x19,

       125*x16 - x19,

       2*x19 + 25*x20,

       2*x19 + 25*x21,

       2*x19 + 25*x22,

                        2
        - 100000*x4 + x5 ,

       100*x3*x4 - x9},

      {x1,

       x10,

       x11,

       x12,

       x14,

       x16,

       x3,

       x6,

       x9,

       4*x19 + 25*x20,

       4*x19 + 25*x21,

       4*x19 + 25*x22,

                        2
        - 100000*x4 + x5 ,

       1625000000*x15*x17 + 16666667*x19,

       125000000*x18*x8 + x19,

       3250000000*x13*x15 + 520000000000*x15 + 50000001,

       2*x13*x19 - 3*x17 + 320*x19},

      {x1,

       x10,

       x11,

       x12,

       x14,

       x16,

       x4,

       x5,

       x6,

       x9,

       4*x19 + 25*x20,

       4*x19 + 25*x21,

       4*x19 + 25*x22,

       1625000000*x15*x17 + 16666667*x19,

       125000000*x18*x8 + x19,

       3250000000*x13*x15 + 520000000000*x15 + 50000001,

       2*x13*x19 - 3*x17 + 320*x19},

      {x1,

       x10,

       x11,

       x12,

       x14,

       x16,

       x6,

       x7,

       4*x19 + 25*x20,

       4*x19 + 25*x21,

       4*x19 + 25*x22,

                        2
        - 100000*x4 + x5 ,

       1625000000*x15*x17 + 16666667*x19,

       125000000*x18*x8 + x19,

       100*x3*x4 - x9,

       3250000000*x13*x15 + 520000000000*x15 + 50000001,

       2*x13*x19 - 3*x17 + 320*x19},

      {x10,

       x11,

       x12,

       x14,

       x16,

       x2,

       x3,

       x6,

       x9,

       4*x19 + 25*x20,

       4*x19 + 25*x21,

       4*x19 + 25*x22,

                        2
        - 100000*x4 + x5 ,

       1625000000*x15*x17 + 16666667*x19,

       125000000*x18*x8 + x19,

       3250000000*x13*x15 + 520000000000*x15 + 50000001,

       2*x13*x19 - 3*x17 + 320*x19},

      {x10,

       x11,

       x12,

       x14,

       x16,

       x2,

       x4,

       x5,

       x6,

       x9,

       4*x19 + 25*x20,

       4*x19 + 25*x21,

       4*x19 + 25*x22,

       1625000000*x15*x17 + 16666667*x19,

       125000000*x18*x8 + x19,

       3250000000*x13*x15 + 520000000000*x15 + 50000001,

       2*x13*x19 - 3*x17 + 320*x19},

      {x10,

       x11,

       x12,

       x14,

       x16,

       x2,

       x6,

       x7,

       4*x19 + 25*x20,

       4*x19 + 25*x21,

       4*x19 + 25*x22,

                        2
        - 100000*x4 + x5 ,

       1625000000*x15*x17 + 16666667*x19,

       125000000*x18*x8 + x19,

       100*x3*x4 - x9,

       3250000000*x13*x15 + 520000000000*x15 + 50000001,

       2*x13*x19 - 3*x17 + 320*x19},

      {x1,

       x10,

       x11,

       x3,

       x6,

       x9,

        - x20 + x21,

        - x20 + x22,

       2500000050*x14 + 97500001995*x17 - 10666266879992*x19,

       250*x16 - 4*x19 - 25*x20,

       3*x12 + 80000*x19 + 500000*x20,

                        2
        - 100000*x4 + x5 ,

       260000000*x15*x17 - 16666667*x20,

       1300000000000*x13*x15 + 7800000000*x15 + 500000001,

       2*x13*x19 - 3*x17 + 320*x19,

       83333335000*x13*x20 + 500000001*x17 + 500000010*x20,

       207992200000000*x15*x19 - 500000001*x19 - 125000002500*x20,

       500000001*x17*x19 + 125000002500*x17*x20 - 13332833599990*x19*x20,

       250000000*x18*x8 - 2*x19 - 25*x20},

      {x1,

       x10,

       x11,

       x4,

       x5,

       x6,

       x9,

        - x20 + x21,

        - x20 + x22,

       2500000050*x14 + 97500001995*x17 - 10666266879992*x19,

       250*x16 - 4*x19 - 25*x20,

       3*x12 + 80000*x19 + 500000*x20,

       260000000*x15*x17 - 16666667*x20,

       1300000000000*x13*x15 + 7800000000*x15 + 500000001,

       2*x13*x19 - 3*x17 + 320*x19,

       83333335000*x13*x20 + 500000001*x17 + 500000010*x20,

       207992200000000*x15*x19 - 500000001*x19 - 125000002500*x20,

       500000001*x17*x19 + 125000002500*x17*x20 - 13332833599990*x19*x20,

       250000000*x18*x8 - 2*x19 - 25*x20},

      {x1,

       x10,

       x11,

       x6,

       x7,

        - x20 + x21,

        - x20 + x22,

       2500000050*x14 + 97500001995*x17 - 10666266879992*x19,

       250*x16 - 4*x19 - 25*x20,

       3*x12 + 80000*x19 + 500000*x20,

                        2
        - 100000*x4 + x5 ,

       260000000*x15*x17 - 16666667*x20,

       100*x3*x4 - x9,

       1300000000000*x13*x15 + 7800000000*x15 + 500000001,

       2*x13*x19 - 3*x17 + 320*x19,

       83333335000*x13*x20 + 500000001*x17 + 500000010*x20,

       207992200000000*x15*x19 - 500000001*x19 - 125000002500*x20,

       500000001*x17*x19 + 125000002500*x17*x20 - 13332833599990*x19*x20,

       250000000*x18*x8 - 2*x19 - 25*x20},

      {x10,

       x11,

       x2,

       x3,

       x6,

       x9,

        - x20 + x21,

        - x20 + x22,

       2500000050*x14 + 97500001995*x17 - 10666266879992*x19,

       250*x16 - 4*x19 - 25*x20,

       3*x12 + 80000*x19 + 500000*x20,

                        2
        - 100000*x4 + x5 ,

       260000000*x15*x17 - 16666667*x20,

       1300000000000*x13*x15 + 7800000000*x15 + 500000001,

       2*x13*x19 - 3*x17 + 320*x19,

       83333335000*x13*x20 + 500000001*x17 + 500000010*x20,

       207992200000000*x15*x19 - 500000001*x19 - 125000002500*x20,

       500000001*x17*x19 + 125000002500*x17*x20 - 13332833599990*x19*x20,

       250000000*x18*x8 - 2*x19 - 25*x20},

      {x10,

       x11,

       x2,

       x4,

       x5,

       x6,

       x9,

        - x20 + x21,

        - x20 + x22,

       2500000050*x14 + 97500001995*x17 - 10666266879992*x19,

       250*x16 - 4*x19 - 25*x20,

       3*x12 + 80000*x19 + 500000*x20,

       260000000*x15*x17 - 16666667*x20,

       1300000000000*x13*x15 + 7800000000*x15 + 500000001,

       2*x13*x19 - 3*x17 + 320*x19,

       83333335000*x13*x20 + 500000001*x17 + 500000010*x20,

       207992200000000*x15*x19 - 500000001*x19 - 125000002500*x20,

       500000001*x17*x19 + 125000002500*x17*x20 - 13332833599990*x19*x20,

       250000000*x18*x8 - 2*x19 - 25*x20},

      {x10,

       x11,

       x2,

       x6,

       x7,

        - x20 + x21,

        - x20 + x22,

       2500000050*x14 + 97500001995*x17 - 10666266879992*x19,

       250*x16 - 4*x19 - 25*x20,

       3*x12 + 80000*x19 + 500000*x20,

                        2
        - 100000*x4 + x5 ,

       260000000*x15*x17 - 16666667*x20,

       100*x3*x4 - x9,

       1300000000000*x13*x15 + 7800000000*x15 + 500000001,

       2*x13*x19 - 3*x17 + 320*x19,

       83333335000*x13*x20 + 500000001*x17 + 500000010*x20,

       207992200000000*x15*x19 - 500000001*x19 - 125000002500*x20,

       500000001*x17*x19 + 125000002500*x17*x20 - 13332833599990*x19*x20,

       250000000*x18*x8 - 2*x19 - 25*x20}}


classifyComponents P;


{{{x1,

   x10,

   x11,

   x12,

   x14,

   x16,

   x17,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x14,

   x16,

   x17,

   x19,

   x20,

   x21,

   x22,

   x4,

   x5,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x14,

   x16,

   x17,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x7,

   x8,

   x9},

  {x10,

   x11,

   x12,

   x14,

   x16,

   x17,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x8,

   x9},

  {x10,

   x11,

   x12,

   x14,

   x16,

   x17,

   x19,

   x2,

   x20,

   x21,

   x22,

   x4,

   x5,

   x8,

   x9},

  {x10,

   x11,

   x12,

   x14,

   x16,

   x17,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x7,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x14,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x6,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x14,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x4,

   x5,

   x6,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x14,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x6,

   x7,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x19,

   x20,

   x21,

   x22,

   x4,

   x5,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x7,

   x8,

   x9},

  {x10,

   x11,

   x12,

   x14,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x6,

   x9},

  {x10,

   x11,

   x12,

   x14,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x4,

   x5,

   x6,

   x9},

  {x10,

   x11,

   x12,

   x14,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x6,

   x7,

   x9},

  {x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x8,

   x9},

  {x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x19,

   x2,

   x20,

   x21,

   x22,

   x4,

   x5,

   x8,

   x9},

  {x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x7,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x6,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x4,

   x5,

   x6,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   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,

   x4,

   x5,

   x6,

   x8,

   x9},

  {x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x4,

   x5,

   x6,

   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,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x6,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x4,

   x5,

   x6,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   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,

   x4,

   x5,

   x6,

   x8,

   x9},

  {x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x4,

   x5,

   x6,

   x8,

   x9},

  {x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9}},

 {{x4,x5},

  {},

  {x3,x4,x5,x9},

  {x4,x5},

  {},

  {x3,x4,x5,x9},

  {x4,x5},

  {},

  {x3,x4,x5,x9},

  {x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x19,

   x20,

   x21,

   x22,

   x4,

   x5},

  {x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x19,

   x20,

   x21,

   x22},

  {x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x9},

  {x4,x5},

  {},

  {x3,x4,x5,x9},

  {x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x19,

   x20,

   x21,

   x22,

   x4,

   x5},

  {x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x19,

   x20,

   x21,

   x22},

  {x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x9},

  {x13,

   x15,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x4,

   x5,

   x8},

  {x13,

   x15,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x8},

  {x13,

   x15,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x8,

   x9},

  {x13,

   x15,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x4,

   x5,

   x8},

  {x13,

   x15,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x8},

  {x13,

   x15,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x8,

   x9},

  {x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x4,

   x5,

   x8},

  {x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x8},

  {x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x8,

   x9},

  {x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x4,

   x5,

   x8},

  {x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x8},

  {x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x20,

   x21,

   x22,

   x3,

   x4,

   x5,

   x8,

   x9}},

 {{x4 = 1,x5 = 100*sqrt(10)},

  {1 = 0},

  {x3 = -1,x4 = 1,x5 = 100*sqrt(10),x9 = -100},

  {x4 = 1,x5 = 100*sqrt(10)},

  {1 = 0},

  {x3 = -1,x4 = 1,x5 = 100*sqrt(10),x9 = -100},

  {x4 = 1,x5 = 100*sqrt(10)},

  {1 = 0},

  {x3 = -1,x4 = 1,x5 = 100*sqrt(10),x9 = -100},

  {x12 = -1,

          133233333598
   x13 = --------------,
          15833333665

           - 13332833359999
   x14 = -------------------,
          1583333366500000

            - 9500000199
   x15 = -----------------,
          207992200000000

             3
   x16 = ---------,
          5000000

           1333283359999
   x17 = -----------------,
          158333336650000

            3
   x19 = -------,
          40000

            - 3
   x20 = --------,
          500000

            - 3
   x21 = --------,
          500000

            - 3
   x22 = --------,
          500000

   x4 = 1,

   x5 = 100*sqrt(10)},

  {x12 = -1,

          133233333598
   x13 = --------------,
          15833333665

           - 13332833359999
   x14 = -------------------,
          1583333366500000

            - 9500000199
   x15 = -----------------,
          207992200000000

             3
   x16 = ---------,
          5000000

           1333283359999
   x17 = -----------------,
          158333336650000

            3
   x19 = -------,
          40000

            - 3
   x20 = --------,
          500000

            - 3
   x21 = --------,
          500000

            - 3
   x22 = --------},
          500000

  {x12 = -1,

          133233333598
   x13 = --------------,
          15833333665

           - 13332833359999
   x14 = -------------------,
          1583333366500000

            - 9500000199
   x15 = -----------------,
          207992200000000

             3
   x16 = ---------,
          5000000

           1333283359999
   x17 = -----------------,
          158333336650000

            3
   x19 = -------,
          40000

            - 3
   x20 = --------,
          500000

            - 3
   x21 = --------,
          500000

            - 3
   x22 = --------,
          500000

   x3 = 1,

   x4 = 1,

   x5 = 100*sqrt(10),

   x9 = 100},

  {x4 = 1,x5 = 100*sqrt(10)},

  {1 = 0},

  {x3 = -1,x4 = 1,x5 = 100*sqrt(10),x9 = -100},

  {x12 = -1,

          133233333598
   x13 = --------------,
          15833333665

           - 13332833359999
   x14 = -------------------,
          1583333366500000

            - 9500000199
   x15 = -----------------,
          207992200000000

             3
   x16 = ---------,
          5000000

           1333283359999
   x17 = -----------------,
          158333336650000

            3
   x19 = -------,
          40000

            - 3
   x20 = --------,
          500000

            - 3
   x21 = --------,
          500000

            - 3
   x22 = --------,
          500000

   x4 = 1,

   x5 = 100*sqrt(10)},

  {x12 = -1,

          133233333598
   x13 = --------------,
          15833333665

           - 13332833359999
   x14 = -------------------,
          1583333366500000

            - 9500000199
   x15 = -----------------,
          207992200000000

             3
   x16 = ---------,
          5000000

           1333283359999
   x17 = -----------------,
          158333336650000

            3
   x19 = -------,
          40000

            - 3
   x20 = --------,
          500000

            - 3
   x21 = --------,
          500000

            - 3
   x22 = --------},
          500000

  {x12 = -1,

          133233333598
   x13 = --------------,
          15833333665

           - 13332833359999
   x14 = -------------------,
          1583333366500000

            - 9500000199
   x15 = -----------------,
          207992200000000

             3
   x16 = ---------,
          5000000

           1333283359999
   x17 = -----------------,
          158333336650000

            3
   x19 = -------,
          40000

            - 3
   x20 = --------,
          500000

            - 3
   x21 = --------,
          500000

            - 3
   x22 = --------,
          500000

   x3 = 1,

   x4 = 1,

   x5 = 100*sqrt(10),

   x9 = 100},

  {x13 = -1,

           - 16666667
   x15 = --------------,
          172250000000

   x17 = -13250000000,

   x18 = 1,

   x19 = -125000000,

   x20 = 20000000,

   x21 = 20000000,

   x22 = 20000000,

   x4 = 1,

   x5 = 100*sqrt(10),

   x8 = 1},

  {x13 = -1,

           - 16666667
   x15 = --------------,
          172250000000

   x17 = -13250000000,

   x18 = 1,

   x19 = -125000000,

   x20 = 20000000,

   x21 = 20000000,

   x22 = 20000000,

   x8 = 1},

  {x13 = -1,

           - 16666667
   x15 = --------------,
          172250000000

   x17 = -13250000000,

   x18 = 1,

   x19 = -125000000,

   x20 = 20000000,

   x21 = 20000000,

   x22 = 20000000,

   x3 = 1,

   x4 = 1,

   x5 = 100*sqrt(10),

   x8 = 1,

   x9 = 100},

  {x13 = -1,

           - 16666667
   x15 = --------------,
          172250000000

   x17 = -13250000000,

   x18 = 1,

   x19 = -125000000,

   x20 = 20000000,

   x21 = 20000000,

   x22 = 20000000,

   x4 = 1,

   x5 = 100*sqrt(10),

   x8 = 1},

  {x13 = -1,

           - 16666667
   x15 = --------------,
          172250000000

   x17 = -13250000000,

   x18 = 1,

   x19 = -125000000,

   x20 = 20000000,

   x21 = 20000000,

   x22 = 20000000,

   x8 = 1},

  {x13 = -1,

           - 16666667
   x15 = --------------,
          172250000000

   x17 = -13250000000,

   x18 = 1,

   x19 = -125000000,

   x20 = 20000000,

   x21 = 20000000,

   x22 = 20000000,

   x3 = 1,

   x4 = 1,

   x5 = 100*sqrt(10),

   x8 = 1,

   x9 = 100},

  {x12 = -1,

          165633334261
   x13 = --------------,
          32500000665

           - 16582833426499
   x14 = -------------------,
          3250000066500000

           - 3250000073000000133
   x15 = -------------------------,
          43115366908897400000000

             3
   x16 = ---------,
          5000000

          1482956789228036348402620457158613
   x17 = -------------------------------------,
          68656254214437586233875588159250000

   x18 = 1,

            276380562635927808833
   x19 = ---------------------------,
          1408333390966667256300000

            - 894272241898711146887
   x20 = ----------------------------,
          35208334774166681407500000

            - 894272241898711146887
   x21 = ----------------------------,
          35208334774166681407500000

            - 894272241898711146887
   x22 = ----------------------------,
          35208334774166681407500000

   x4 = 1,

   x5 = 100*sqrt(10),

              - 341511116626855529221
   x8 = -----------------------------------},
         352083347741666814075000000000000

  {x12 = -1,

          165633334261
   x13 = --------------,
          32500000665

           - 16582833426499
   x14 = -------------------,
          3250000066500000

           - 3250000073000000133
   x15 = -------------------------,
          43115366908897400000000

             3
   x16 = ---------,
          5000000

          1482956789228036348402620457158613
   x17 = -------------------------------------,
          68656254214437586233875588159250000

   x18 = 1,

            276380562635927808833
   x19 = ---------------------------,
          1408333390966667256300000

            - 894272241898711146887
   x20 = ----------------------------,
          35208334774166681407500000

            - 894272241898711146887
   x21 = ----------------------------,
          35208334774166681407500000

            - 894272241898711146887
   x22 = ----------------------------,
          35208334774166681407500000

              - 341511116626855529221
   x8 = -----------------------------------},
         352083347741666814075000000000000

  {x12 = -1,

          165633334261
   x13 = --------------,
          32500000665

           - 16582833426499
   x14 = -------------------,
          3250000066500000

           - 3250000073000000133
   x15 = -------------------------,
          43115366908897400000000

             3
   x16 = ---------,
          5000000

          1482956789228036348402620457158613
   x17 = -------------------------------------,
          68656254214437586233875588159250000

   x18 = 1,

            276380562635927808833
   x19 = ---------------------------,
          1408333390966667256300000

            - 894272241898711146887
   x20 = ----------------------------,
          35208334774166681407500000

            - 894272241898711146887
   x21 = ----------------------------,
          35208334774166681407500000

            - 894272241898711146887
   x22 = ----------------------------,
          35208334774166681407500000

   x3 = 1,

   x4 = 1,

   x5 = 100*sqrt(10),

              - 341511116626855529221
   x8 = -----------------------------------,
         352083347741666814075000000000000

   x9 = 100},

  {x12 = -1,

          165633334261
   x13 = --------------,
          32500000665

           - 16582833426499
   x14 = -------------------,
          3250000066500000

           - 3250000073000000133
   x15 = -------------------------,
          43115366908897400000000

             3
   x16 = ---------,
          5000000

          1482956789228036348402620457158613
   x17 = -------------------------------------,
          68656254214437586233875588159250000

   x18 = 1,

            276380562635927808833
   x19 = ---------------------------,
          1408333390966667256300000

            - 894272241898711146887
   x20 = ----------------------------,
          35208334774166681407500000

            - 894272241898711146887
   x21 = ----------------------------,
          35208334774166681407500000

            - 894272241898711146887
   x22 = ----------------------------,
          35208334774166681407500000

   x4 = 1,

   x5 = 100*sqrt(10),

              - 341511116626855529221
   x8 = -----------------------------------},
         352083347741666814075000000000000

  {x12 = -1,

          165633334261
   x13 = --------------,
          32500000665

           - 16582833426499
   x14 = -------------------,
          3250000066500000

           - 3250000073000000133
   x15 = -------------------------,
          43115366908897400000000

             3
   x16 = ---------,
          5000000

          1482956789228036348402620457158613
   x17 = -------------------------------------,
          68656254214437586233875588159250000

   x18 = 1,

            276380562635927808833
   x19 = ---------------------------,
          1408333390966667256300000

            - 894272241898711146887
   x20 = ----------------------------,
          35208334774166681407500000

            - 894272241898711146887
   x21 = ----------------------------,
          35208334774166681407500000

            - 894272241898711146887
   x22 = ----------------------------,
          35208334774166681407500000

              - 341511116626855529221
   x8 = -----------------------------------},
         352083347741666814075000000000000

  {x12 = -1,

          165633334261
   x13 = --------------,
          32500000665

           - 16582833426499
   x14 = -------------------,
          3250000066500000

           - 3250000073000000133
   x15 = -------------------------,
          43115366908897400000000

             3
   x16 = ---------,
          5000000

          1482956789228036348402620457158613
   x17 = -------------------------------------,
          68656254214437586233875588159250000

   x18 = 1,

            276380562635927808833
   x19 = ---------------------------,
          1408333390966667256300000

            - 894272241898711146887
   x20 = ----------------------------,
          35208334774166681407500000

            - 894272241898711146887
   x21 = ----------------------------,
          35208334774166681407500000

            - 894272241898711146887
   x22 = ----------------------------,
          35208334774166681407500000

   x3 = 1,

   x4 = 1,

   x5 = 100*sqrt(10),

              - 341511116626855529221
   x8 = -----------------------------------,
         352083347741666814075000000000000

   x9 = 100}},

 {c,o,c,c,o,c,c,o,c,c,c,c,c,o,c,c,c,c,x,x,x,x,x,x,x,x,x,x,x,x},

 14c + 4o + 12x}


end;

