[2026-10-13 19:29:27] target Lambda <= 0.174 : t0=0.15399 y0=0.2 X=5998313329980.3135, weights lam_L0174.npy (sha256 d71b379ee04a2991), code 6e909a06632570deb680
[2026-10-13 19:29:27] python 3.13.2, numpy 2.4.2, python-flint 0.9.0, Windows-11-10.0.26300-SP0
[2026-10-13 19:29:27] running barrier certificate (iii) ...
[2026-10-13 19:31:15] running region (ii) certificate from y0 ...
[2026-10-13 20:29:24] ALL HYPOTHESES CERTIFIED: Lambda <= 0.17399 < 0.174.  Summary written to <workdir>\CERTIFICATE_0.174.txt