PASS line 429: C5 = g(2 ln 5/4) = 1.28 sqrt(2 ln 1.25) = 0.8551004...: [0.855100455470819 +/- 2.46e-16]
PASS g > C5 exactly on (2 ln 5/4, root): g(1/2) = sqrt(2/e) > C5 and g is unimodal with max at 1/2
     lower root 2 ln 5/4 = [0.446287102628 +/- 4.20e-13]; upper root = [0.557858878286 +/- 4.76e-13] (bisection bracket width 3.8e-37)
PASS line 617: lower end 0.4463
FAIL line 617: upper end 0.5599: the upper root is [0.5578588783 +/- 1.45e-11]; g(0.5599) - C5 = [-0.000183857 +/- 2.59e-10]; it rounds to 0.5579
PASS line 648: C5 - g(0.56323) ~ 0.000496: [0.0004958986662 +/- 3.24e-14]
PASS line 648: C5 - g(0.56329) ~ 0.000502: [0.0005016575095 +/- 1.26e-14]
PASS line 649: with shift 0.0005 the target C5 - 0.0005 is <= g + 2e-6 on the box: [1.65751e-6 +/- 4.88e-13]
PASS line 647: m in [3074, 3075]/4096 meets the Dirac curve m^2 = Lambda for Lambda in [0.56323, 0.56329]: m^2 in [0.5632327, 0.5635992]
FAIL RQ-D CLAIMS D13 (NUMERICAL): Dirac range x in [1.335, 1.4985] where g(1/x^2) >= C5: exact range [[1.3388682 +/- 3.70e-9], [1.4969001 +/- 5.00e-8]]
PASS line 769: 0.8/0.85^2 = 1.107... < 28/25 and 0.8/1.54^2 = 0.337... < 17/50: [1.1072664 +/- 3.60e-8], [0.33732501 +/- 2.65e-9]
PASS line 965: box (6, 3, 6, 39) of A.38 (worst bound 0.8548832) is [0.0525, 0.0700] x [0.2072, 0.2125]: exact ['21/400', '7/100', '663/3200', '17/80']
PASS line 965: 0.854883 is the rounding of A.38's worst bound 0.8548832169680262 and is < C5
A34E_NOT_CONFIRMED ['line 617: upper end 0.5599', 'RQ-D CLAIMS D13 (NUMERICAL): Dirac range x in [1.335, 1.4985] where g(1/x^2) >= C5']
