files / problems / riemann-hypothesis / compute / q2 / certificate / analytic / tail.txt
[PASS] tail_arb_256.log: 36/36, D<1, flow>error, margin>0.000173520937334568403544690757020590 [PASS] tail_arb_512.log: 36/36, D<1, flow>error, margin>0.000173520937333783227135809831470514 [PASS] standalone tail lemma and fixed-domain Arb source are present RESULT: SEALED INDEPENDENT ARB TAIL CERTIFICATES PASS RESULT: INDEPENDENT ARB TAIL REPLAY PASS