Reproducible verification for a 67.30085% lower bound on simple zeta zeros on the critical line - View it on GitHub