first16SeedToBeat1Seed

3 triples
GPTKB property