martin triplets - 9 year proofs

June 11th, 2026