has dual Coxeter number

4 triples
GPTKB property

Random triples