is a building block in the classification of finite simple groups

1 triples
GPTKB property

Random triples