homology group H 1

5 triples
GPTKB property