Triples
all
Optimize checkMajorityAutomorphismsMany
Use only class representatives in 'all'
result7
s8
all8.txt -> all6.txt