Triples
Add command 'all'
Optimize checkMajorityAutomorphismsMany
Use only class representatives in 'all'
Add result7
Add s8
Rename 'all8.txt' to 'all6.txt'