start 2026-10-22 23:09:59 UTC; python 3.12.3, python-flint 0.9.0, arb precision 128 bits
md5 c754a7305654c6635025f7e405dd98bb  verify_plus.py
md5 a7db98d4dac237f52493f6d085b97d15  plus_verify_lib.py
md5 e23d52dd72764e98fb579ae6dba2b85c  certs_v1_r0.jsonl
md5 ee9307ee5d40850c0e6199df6478b610  certs_v1_r1.jsonl
md5 f5fe9a23f7ddd05ff70b7217731aa1af  certs_v1_r2.jsonl
md5 6d495261e3af634ebc32ef8c7ef18c63  certs_v1_r3.jsonl
md5 3033710b0d34ca792aaa15feae577299  certs_v1_r4.jsonl
436 box records from 5 files
box tiling OK: 436 leaves tile ROOT (initial grid 2^4 x 2^4)
verified: 280 boxes with 1237 cell certificates, 156 empty boxes, 0 failures; worst certified bound 0.854883 < C5 = 0.85510045547; 39s
end 2026-10-22 23:10:38 UTC
ALL CHECKS PASSED
