is the only non-abelian simple group of order 355687428096000

1 triples
GPTKB property

Random triples
Subject Object
gptkb:alternating_group_A_n_(for_n_>_2) true for n = 17