$ java -jar ConvexCount.jar -list -k 3 < spectrum1.txt
// Taxa in tree: 11
// Only considering convex characters where each state has at least 3 
taxa.
// Total characters = 8
// Generating all the characters!
1: {{1,2,3},{4,5,6},{7,8,9,10,11}}
2: {{1,2,3,4,5,6},{7,8,9,10,11}}
3: {{4,5,6,7},{1,2,3},{8,9,10,11}}
4: {{1,2,3,7},{4,5,6},{8,9,10,11}}
5: {{1,2,3,4,5,6,7},{8,9,10,11}}
6: {{4,5,6,7,8,9,10,11},{1,2,3}}
7: {{1,2,3,7,8,9,10,11},{4,5,6}}
8: {{1,2,3,4,5,6,7,8,9,10,11}}

$ java -jar ConvexCount.jar -list -k 4 < spectrum1.txt
// Taxa in tree: 11
// Only considering convex characters where each state has at least 4 
taxa.
// Total characters = 3
// Generating all the characters!
1: {{1,2,3,4,5,6},{7,8,9,10,11}}
2: {{1,2,3,4,5,6,7},{8,9,10,11}}
3: {{1,2,3,4,5,6,7,8,9,10,11}}

$ java -jar ConvexCount.jar -list -k 5 < spectrum1.txt
// Taxa in tree: 11
// Only considering convex characters where each state has at least 5 
taxa.
// Total characters = 2
// Generating all the characters!
1: {{1,2,3,4,5,6},{7,8,9,10,11}}
2: {{1,2,3,4,5,6,7,8,9,10,11}}