"There are ", 5, " pattern sets of type ", [2]

              "They fall into ", 3, " trivial pattern classes."

               "---------------------------------------------"

  "For the equivalence class ", {{[0, 0]}}, " the pattern set ", {[0, 0]}, 

    " has the scheme ", 

    [[[], {}, {}], [[0], {1}, {[[0], 1]}], [[1], {1}, {[[0, 0], 2]}]]


"First ", 15, " terms of the counting sequence are ", [2, 6, 24, 120, 720, 

  5040, 40320, 362880, 3628800, 39916800, 479001600, 6227020800, 87178291200, 

  1307674368000, 20922789888000]


               "First ", 15, " rows of the 0s triangle are: "

                                   [1, 1]

                                  [2, 4, 0]

                                [6, 18, 0, 0]

                              [24, 96, 0, 0, 0]

                           [120, 600, 0, 0, 0, 0]

                         [720, 4320, 0, 0, 0, 0, 0]

                       [5040, 35280, 0, 0, 0, 0, 0, 0]

                    [40320, 322560, 0, 0, 0, 0, 0, 0, 0]

                  [362880, 3265920, 0, 0, 0, 0, 0, 0, 0, 0]

               [3628800, 36288000, 0, 0, 0, 0, 0, 0, 0, 0, 0]

             [39916800, 439084800, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]

          [479001600, 5748019200, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]

        [6227020800, 80951270400, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]

     [87178291200, 1220496076800, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]

  [1307674368000, 19615115520000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]

               "---------------------------------------------"

  "For the equivalence class ", {{[0, 1]}, {[1, 0]}}, " the pattern set ", 

    {[0, 1]}, " has the scheme ", 

    [[[], {}, {}], [[0], {1}, {[[1], 0]}], [[1], {1}, {}]]


"First ", 15, " terms of the counting sequence are ", [2, 5, 16, 65, 326, 

  1957, 13700, 109601, 986410, 9864101, 108505112, 1302061345, 16926797486, 

  236975164805, 3554627472076]


               "First ", 15, " rows of the 0s triangle are: "

                                   [1, 1]

                                  [2, 2, 1]

                                [6, 6, 3, 1]

                             [24, 24, 12, 4, 1]

                          [120, 120, 60, 20, 5, 1]

                       [720, 720, 360, 120, 30, 6, 1]

                   [5040, 5040, 2520, 840, 210, 42, 7, 1]

              [40320, 40320, 20160, 6720, 1680, 336, 56, 8, 1]

         [362880, 362880, 181440, 60480, 15120, 3024, 504, 72, 9, 1]

  [3628800, 3628800, 1814400, 604800, 151200, 30240, 5040, 720, 90, 10, 1]

 [39916800, 39916800, 19958400, 6652800, 1663200, 332640, 55440, 7920, 990, 

   110, 11, 1]


[479001600, 479001600, 239500800, 79833600, 19958400, 3991680, 665280, 95040, 

  11880, 1320, 132, 12, 1]


[6227020800, 6227020800, 3113510400, 1037836800, 259459200, 51891840, 8648640, 

  1235520, 154440, 17160, 1716, 156, 13, 1]


[87178291200, 87178291200, 43589145600, 14529715200, 3632428800, 726485760, 

  121080960, 17297280, 2162160, 240240, 24024, 2184, 182, 14, 1]


[1307674368000, 1307674368000, 653837184000, 217945728000, 54486432000, 

  10897286400, 1816214400, 259459200, 32432400, 3603600, 360360, 32760, 2730, 

  210, 15, 1]


               "---------------------------------------------"

  "For the equivalence class ", {{[1, 2]}, {[2, 1]}}, " the pattern set ", 

    {[1, 2]}, " has the scheme ", 

    [[[], {}, {}], [[0], {1}, {}], [[1], {1}, {[[0, 1], 0]}]]


"First ", 15, " terms of the counting sequence are ", [2, 6, 20, 70, 252, 924, 

  3432, 12870, 48620, 184756, 705432, 2704156, 10400600, 40116600, 155117520]


               "First ", 15, " rows of the 0s triangle are: "

                                   [1, 1]

                                  [1, 4, 1]

                                [1, 9, 9, 1]

                             [1, 16, 36, 16, 1]

                          [1, 25, 100, 100, 25, 1]

                        [1, 36, 225, 400, 225, 36, 1]

                    [1, 49, 441, 1225, 1225, 441, 49, 1]

                 [1, 64, 784, 3136, 4900, 3136, 784, 64, 1]

            [1, 81, 1296, 7056, 15876, 15876, 7056, 1296, 81, 1]

       [1, 100, 2025, 14400, 44100, 63504, 44100, 14400, 2025, 100, 1]

 [1, 121, 3025, 27225, 108900, 213444, 213444, 108900, 27225, 3025, 121, 1]

 [1, 144, 4356, 48400, 245025, 627264, 853776, 627264, 245025, 48400, 4356, 

   144, 1]


 [1, 169, 6084, 81796, 511225, 1656369, 2944656, 2944656, 1656369, 511225, 

   81796, 6084, 169, 1]


[1, 196, 8281, 132496, 1002001, 4008004, 9018009, 11778624, 9018009, 4008004, 

  1002001, 132496, 8281, 196, 1]


  [1, 225, 11025, 207025, 1863225, 9018009, 25050025, 41409225, 41409225, 

    25050025, 9018009, 1863225, 207025, 11025, 225, 1]


               "---------------------------------------------"

            "Overall, we found schemes for ", 3, " out of ", 3, 

              " trivial classes, for a success rate of ", 1.