[2026-10-20 10:00:51] target Lambda <= 0.174 : t0=0.15399 y0=0.2 X=5998313329980.3135, weights lam_L0174.npy (sha256 d71b379ee04a2991), code 6e909a06632570deb680
[2026-10-20 10:00:51] python 3.13.16, numpy 2.5.3, python-flint 0.9.0, Linux-6.18.44-fc-v139-x86_64-with-glibc2.39
[2026-10-20 10:00:51] running barrier certificate (iii) ...
[2026-10-20 10:02:09] running region (ii) certificate from y0 ...
[2026-10-20 10:54:58] ALL HYPOTHESES CERTIFIED: Lambda <= 0.17399 < 0.174.  Summary written to ./CERTIFICATE_0.174.txt