"There are ", 10, " pattern sets of type ", [2, 2] "They fall into ", 5, " trivial pattern classes." "---------------------------------------------" "For the equivalence class ", {{[0, 1], [1, 0]}}, " the pattern set ", {[0, 1], [1, 0]}, " has the scheme ", [[[], {}, {}], [[0], {1}, {[[1], 0]}], [[1], {1}, {[[0, 0], 1]}]] "First ", 15, " terms of the counting sequence are ", [2, 3, 7, 25, 121, 721, 5041, 40321, 362881, 3628801, 39916801, 479001601, 6227020801, 87178291201, 1307674368001] "First ", 15, " rows of the 0s triangle are: " [1, 1] [2, 0, 1] [6, 0, 0, 1] [24, 0, 0, 0, 1] [120, 0, 0, 0, 0, 1] [720, 0, 0, 0, 0, 0, 1] [5040, 0, 0, 0, 0, 0, 0, 1] [40320, 0, 0, 0, 0, 0, 0, 0, 1] [362880, 0, 0, 0, 0, 0, 0, 0, 0, 1] [3628800, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1] [39916800, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1] [479001600, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1] [6227020800, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1] [87178291200, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1] [1307674368000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1] "---------------------------------------------" "For the equivalence class ", {{[1, 2], [2, 1]}}, " the pattern set ", {[1, 2], [2, 1]}, " has the scheme ", [[[], {}, {}], [[0], {1}, {[[2], 0]}], [[1], {1}, {[[0, 1], 0], [[1, 0], 0]}]] "First ", 15, " terms of the counting sequence are ", [2, 5, 10, 17, 26, 37, 50, 65, 82, 101, 122, 145, 170, 197, 226] "First ", 15, " rows of the 0s triangle are: " [1, 1] [0, 4, 1] [0, 0, 9, 1] [0, 0, 0, 16, 1] [0, 0, 0, 0, 25, 1] [0, 0, 0, 0, 0, 36, 1] [0, 0, 0, 0, 0, 0, 49, 1] [0, 0, 0, 0, 0, 0, 0, 64, 1] [0, 0, 0, 0, 0, 0, 0, 0, 81, 1] [0, 0, 0, 0, 0, 0, 0, 0, 0, 100, 1] [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 121, 1] [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 144, 1] [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 169, 1] [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 196, 1] [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 225, 1] "---------------------------------------------" "For the equivalence class ", {{[0, 0], [0, 1]}, {[0, 0], [1, 0]}}, " the pattern set ", {[0, 0], [0, 1]}, " has the scheme ", [[[], {}, {}], [[0], {1}, {[[0], 1], [[1], 0]}], [[1], {1}, {[[0, 0], 2]}]] "First ", 15, " terms of the counting sequence are ", [2, 4, 12, 48, 240, 1440, 10080, 80640, 725760, 7257600, 79833600, 958003200, 12454041600, 174356582400, 2615348736000] "First ", 15, " rows of the 0s triangle are: " [1, 1] [2, 2, 0] [6, 6, 0, 0] [24, 24, 0, 0, 0] [120, 120, 0, 0, 0, 0] [720, 720, 0, 0, 0, 0, 0] [5040, 5040, 0, 0, 0, 0, 0, 0] [40320, 40320, 0, 0, 0, 0, 0, 0, 0] [362880, 362880, 0, 0, 0, 0, 0, 0, 0, 0] [3628800, 3628800, 0, 0, 0, 0, 0, 0, 0, 0, 0] [39916800, 39916800, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [479001600, 479001600, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [6227020800, 6227020800, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [87178291200, 87178291200, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [1307674368000, 1307674368000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] "---------------------------------------------" "For the equivalence class ", {{[0, 0], [1, 2]}, {[0, 0], [2, 1]}}, " the pattern set ", {[0, 0], [1, 2]}, " has the scheme ", [[[], {}, {}], [[0], {1}, {[[0], 1]}], [[1], {1}, {[[0, 0], 2], [[0, 1], 0]}]] "First ", 15, " terms of the counting sequence are ", [2, 5, 10, 17, 26, 37, 50, 65, 82, 101, 122, 145, 170, 197, 226] "First ", 15, " rows of the 0s triangle are: " [1, 1] [1, 4, 0] [1, 9, 0, 0] [1, 16, 0, 0, 0] [1, 25, 0, 0, 0, 0] [1, 36, 0, 0, 0, 0, 0] [1, 49, 0, 0, 0, 0, 0, 0] [1, 64, 0, 0, 0, 0, 0, 0, 0] [1, 81, 0, 0, 0, 0, 0, 0, 0, 0] [1, 100, 0, 0, 0, 0, 0, 0, 0, 0, 0] [1, 121, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [1, 144, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [1, 169, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [1, 196, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [1, 225, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] "---------------------------------------------" "For the equivalence class ", {{[0, 1], [1, 2]}, {[0, 1], [2, 1]}, {[1, 0], [1, 2]}, {[1, 0], [2, 1]}}, " the pattern set ", {[0, 1], [1, 2]}, " has the scheme ", [[[], {}, {}], [[0], {1}, {[[1], 0]}], [[1], {1}, {[[0, 1], 0]}]] "First ", 15, " terms of the counting sequence are ", [2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32768] "First ", 15, " rows of the 0s triangle are: " [1, 1] [1, 2, 1] [1, 3, 3, 1] [1, 4, 6, 4, 1] [1, 5, 10, 10, 5, 1] [1, 6, 15, 20, 15, 6, 1] [1, 7, 21, 35, 35, 21, 7, 1] [1, 8, 28, 56, 70, 56, 28, 8, 1] [1, 9, 36, 84, 126, 126, 84, 36, 9, 1] [1, 10, 45, 120, 210, 252, 210, 120, 45, 10, 1] [1, 11, 55, 165, 330, 462, 462, 330, 165, 55, 11, 1] [1, 12, 66, 220, 495, 792, 924, 792, 495, 220, 66, 12, 1] [1, 13, 78, 286, 715, 1287, 1716, 1716, 1287, 715, 286, 78, 13, 1] [1, 14, 91, 364, 1001, 2002, 3003, 3432, 3003, 2002, 1001, 364, 91, 14, 1] [1, 15, 105, 455, 1365, 3003, 5005, 6435, 6435, 5005, 3003, 1365, 455, 105, 15, 1] "---------------------------------------------" "Overall, we found schemes for ", 5, " out of ", 5, " trivial classes, for a success rate of ", 1.