pi lower bound needed for sqrt(2/pi)<0.79789: 3.1415498214111315
j=0 aA=194/625 aB(q0)=5/7 [s_lo,s_hi]=[0.3265,1.0206] boxes=544
j=47 aA=3971/10000 aB(q0)=273/683 [s_lo,s_hi]=[0.4327,0.4361] boxes=1
Case C empty on 16 intervals; total boxes 2784; max depth 6
hand case q=3/8 OK: values ['-476', '9', '-2473/10000', '-729/80', '649']
hand case q=2/5 OK: values ['-959', '25', '-1531/200', '-119', '769']
hand case q=5/12 OK: values ['-6887', '225', '-1195767/15625', '-1343', '2521']
ALL BF3 Theorem K arithmetic checks passed
