Method S (Arb, prec=200 bits): q in [3/8, 1/2]
sqrt(2/pi) enclosure: [0.79788456080286535587989211986876373695171726232986931533185 +/- 2.49e-60]
intervals certified: 67  (Case C empty: 15, endpoint inequalities: 52),  max depth 1
worst endpoint margin: max P <= [-0.00022291636238062656415065216197370326218397471425236792395254 +/- 2.97e-63] on q in [0.38085938, 0.38281250]
worst Case-C-empty margin: a* - a_B >= 0.0018310323212062940001487731933593750000000000000000000000000 on q in [0.47070312, 0.47265625]
Case C certified empty from q = 0.47070312 on
RESULT: CERTIFIED
control run on [0.36, 0.37] (expected to fail): fails as expected (first failing q-interval [0.360000, 0.360000])
