"There are ", 2, " pattern sets of type ", [1] "They fall into ", 2, " trivial pattern classes." "---------------------------------------------" "For the equivalence class ", {{[0]}}, " the pattern set ", {[0]}, " has the scheme ", [[[], {}, {}], [[0], {1}, {[[0], 0]}], [[1], {1}, {[[0, 0], 1]}]] "First ", 15, " terms of the counting sequence are ", [1, 2, 6, 24, 120, 720, 5040, 40320, 362880, 3628800, 39916800, 479001600, 6227020800, 87178291200, 1307674368000] "First ", 15, " rows of the 0s triangle are: " [1, 0] [2, 0, 0] [6, 0, 0, 0] [24, 0, 0, 0, 0] [120, 0, 0, 0, 0, 0] [720, 0, 0, 0, 0, 0, 0] [5040, 0, 0, 0, 0, 0, 0, 0] [40320, 0, 0, 0, 0, 0, 0, 0, 0] [362880, 0, 0, 0, 0, 0, 0, 0, 0, 0] [3628800, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [39916800, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [479001600, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [6227020800, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [87178291200, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [1307674368000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] "---------------------------------------------" "For the equivalence class ", {{[1]}}, " the pattern set ", {[1]}, " has the scheme ", [[[], {}, {}], [[0], {1}, {[[1], 0]}], [[1], {1}, {[[0, 0], 0]}]] "First ", 15, " terms of the counting sequence are ", [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] "First ", 15, " rows of the 0s triangle are: " [0, 1] [0, 0, 1] [0, 0, 0, 1] [0, 0, 0, 0, 1] [0, 0, 0, 0, 0, 1] [0, 0, 0, 0, 0, 0, 1] [0, 0, 0, 0, 0, 0, 0, 1] [0, 0, 0, 0, 0, 0, 0, 0, 1] [0, 0, 0, 0, 0, 0, 0, 0, 0, 1] [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1] [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1] [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1] [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1] [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1] [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1] "---------------------------------------------" "Overall, we found schemes for ", 2, " out of ", 2, " trivial classes, for a success rate of ", 1.