A 4 has normal subgroup

1 triples
GPTKB property

Random triples