automorphism group order

4 triples
GPTKB property