# python-flint 0.9.0, Arb at 256 bits; python 3.14.4
control: f_[4,6](4) - 2e^g log 3/4 = [+/- 7.56e-77] ; F_[5,7](5) - F_[3,5](5) = [+/- 1.90e-76]
control: DDE identity at s = 6.5, difference = [+/- 1.14e-76]
1 - f(6) = [0.00010493998290162546484 +/- 4.33e-24]
F(7) - 1 = [4.9945225983447653964e-6 +/- 1.49e-26]
1 - f(6) < 1.05e-4: True;  F(7) - 1 < 5e-6: True;  margins (lower ends): [6.00171e-8 +/- 1.65e-15], [5.47740e-9 +/- 1.66e-15]
