Back to record ledger
Kernel verified

Certified critical-line bound 0.673547805029767868251581865982

Separated-block spectral control and close-pair matching retain the full Gram defect using a eight-point certificate; both counting windows are covered.

Certified lower bound67.3547805029%κ = (66812491 : ℝ) / 99194876
Record evidence

R. Arun Chandru