is the only non-abelian simple group of order 20160

2 triples
GPTKB property

Random triples