is the double cover of

6 triples
GPTKB property