OEIS ID

4 triples
GPTKB property