z_1: disc radius 2^-110 CERTIFIED (|g(zh)| <= 1.85e-69, |g'(zh)| >= 0.9422159); zh = 6.94750624253306205654051466221 + 1.8804406531006276787260878806 i, arg = 0.264330724823; Table 1 digits: Re OK, Im OK, arg OK
z_2: disc radius 2^-110 CERTIFIED (|g(zh)| <= 1.92e-66, |g'(zh)| >= 0.9715376); zh = 13.2766979586130623634874686986 + 2.20570295931761047551347444365 i, arg = 0.164629777559; Table 1 digits: Re OK, Im OK, arg OK
z_3: disc radius 2^-110 CERTIFIED (|g(zh)| <= 1.5e-63, |g'(zh)| >= 0.9813608); zh = 19.5792539256890873673514311781 + 2.40119056393970206363519983787 i, arg = 0.122030171508; Table 1 digits: Re OK, Im OK, arg OK
z_4: disc radius 2^-110 CERTIFIED (|g(zh)| <= 1.2e-60, |g'(zh)| >= 0.9862071); zh = 25.8733739353579507934460459719 + 2.54142047443527237045676957139 i, arg = 0.0979112381293; Table 1 digits: Re OK, Im OK, arg OK
z_5: disc radius 2^-110 CERTIFIED (|g(zh)| <= 8.88e-58, |g'(zh)| >= 0.9890766); zh = 32.1636660852926183084121440755 + 2.65084039786888132090037179708 i, arg = 0.0822313818701; Table 1 digits: Re OK, Im OK, arg OK
z_6: disc radius 2^-110 CERTIFIED (|g(zh)| <= 5.17e-55, |g'(zh)| >= 0.9909683); zh = 38.4518758278218344201380271582 + 2.7405769731172627743185715653 i, arg = 0.0711525889039; Table 1 digits: Re OK, Im OK, arg OK
z_7: disc radius 2^-110 CERTIFIED (|g(zh)| <= 2.9e-52, |g'(zh)| >= 0.9923067); zh = 44.7388187894319233097752266145 + 2.8166419543520638126372814825 i, arg = 0.0628744671903; Table 1 digits: Re OK, Im OK, arg OK
z_8: disc radius 2^-110 CERTIFIED (|g(zh)| <= 2.06e-49, |g'(zh)| >= 0.9933026); zh = 51.0249300181957795030884427941 + 2.88265459413880786183643905944 i, arg = 0.056435033002; Table 1 digits: Re OK, Im OK, arg OK
z_9: disc radius 2^-110 CERTIFIED (|g(zh)| <= 1.22e-46, |g'(zh)| >= 0.994072); zh = 57.3104639054666284713235559667 + 2.94096369653152211804150305166 i, arg = 0.0512713738716; Table 1 digits: Re OK, Im OK, arg OK
z_10: disc radius 2^-110 CERTIFIED (|g(zh)| <= 6.28e-44, |g'(zh)| >= 0.994684); zh = 63.5955796552977780926137487359 + 2.9931803911245978653513182001 i, arg = 0.0470311487221; Table 1 digits: Re OK, Im OK, arg OK
z_11: disc radius 2^-110 CERTIFIED (|g(zh)| <= 4.48e-41, |g'(zh)| >= 0.9951822); zh = 69.8803822550842235979142609655 + 3.04045794894727494069388089604 i, arg = 0.0434820392191; Table 1 digits: Re OK, Im OK, arg OK
z_12: disc radius 2^-110 CERTIFIED (|g(zh)| <= 2.46e-38, |g'(zh)| >= 0.9955955); zh = 76.1649438833339297355204920827 + 3.08365034469734799858802213132 i, arg = 0.0404643787871; Table 1 digits: Re OK, Im OK, arg OK
z_1..z_9 lie in the open rectangle (0,60) x (0,5); z_10, z_11, z_12 have Re > 60.
arg z_1 > arg z_2: Im(z_1 conj z_2) >= 9.6419075 > 0; arg gap in [0.099700947, 0.099700947]
arg z_2 > arg z_3: Im(z_2 conj z_3) >= 11.306136 > 0; arg gap in [0.042599606, 0.042599606]
arg z_3 > arg z_4: Im(z_3 conj z_4) >= 12.367785 > 0; arg gap in [0.024118933, 0.024118933]
arg z_4 > arg z_5: Im(z_4 conj z_5) >= 13.155215 > 0; arg gap in [0.015679856, 0.015679856]
arg z_5 > arg z_6: Im(z_5 conj z_6) >= 13.782783 > 0; arg gap in [0.011078793, 0.011078793]
arg z_6 > arg z_7: Im(z_6 conj z_7) >= 14.30501 > 0; arg gap in [0.0082781217, 0.0082781217]
arg z_7 > arg z_8: Im(z_7 conj z_8) >= 14.752397 > 0; arg gap in [0.0064394342, 0.0064394342]
arg z_8 > arg z_9: Im(z_8 conj z_9) >= 15.143805 > 0; arg gap in [0.0051636591, 0.0051636591]
arg z_9 > arg z_10: Im(z_9 conj z_10) >= 15.491734 > 0; arg gap in [0.0042402251, 0.0042402251]
arg z_10 > arg z_11: Im(z_10 conj z_11) >= 15.804904 > 0; arg gap in [0.0035491095, 0.0035491095]
arg z_11 > arg z_12: Im(z_11 conj z_12) >= 16.089644 > 0; arg gap in [0.0030176604, 0.0030176604]
F_10 = 63.593714813470631058 + 2.9957500219441577666 i (error <= 3.06e-70);  (2 pi m)|z_m - F_m| <= 0.199491;  z_m in D_m: True
F_11 = 69.878678321362268411 + 3.0427923886496824453 i (error <= 2.23e-70);  (2 pi m)|z_m - F_m| <= 0.199753;  z_m in D_m: True
F_12 = 76.163375227480831183 + 3.0857889245294671234 i (error <= 4.65e-70);  (2 pi m)|z_m - F_m| <= 0.199972;  z_m in D_m: True
junction: inf arg over disc of z_9 >= 0.05127137387 > 0.04732283458 >= sup arg over closed D_10: True
paper's b* = (20 pi_- - 0.016) + 3.0353 i: arg b* in [0.0482830496, 0.0482830496] (< 0.04829: True); sup arg over closed D_10 <= arg b*: True; Im(z_9 conj b*) in [10.784692, 10.784692]
Lemma 3.6 inputs: 20 pi - 1/(20 pi) - (20 pi_- - 0.016) >= 8.451e-5 > 0; 3.0353 - (Im F_10 + 1/(20 pi)) >= 0.02363 > 0; Im F_10 <= [2.99575, 2.99575] < 3.0193
ALL ZERO/ORDER/JUNCTION CHECKS PASSED; elapsed 0.2s
