OK   T1: |u|>=2 zero-free for r>=5   margin 0.8133
OK   T1': e^(2Y) >= 8 pi (X+Y)   e^10 >= 22026.5 vs 1633.6
OK   T2: |u|<=1/2 zero-free for r>=60   c=0.4967, (1+ep)/sqrt(2 pi 60)=0.0517
OK   T3: delta1(60) < 1/2 and delta(60) < 1/2   delta1=0.018503, delta=0.009424, lambda=0.009513, 60*lambda=0.57080
OK   T3: s(60) = lambda(60)/(1-1/120) < 0.0097   s(60)=0.009593
OK   T3': X - pi/4 - lambda(60) > 18 pi   59.2051 > 56.5487
OK   T3'': 2 pi M0 > X (T_m maps Omega into Omega for m >= 10)
OK   T4: (2 pi m) * localisation radius < 1 for m >= 10   value 0.57569
OK   T5: Rouche |E| < |u-1| on dD_m, m >= 10   (2 pi m)|E| <= 0.56407 < 0.98372 <= (2 pi m)|u-1|
OK   T5': D_m inside Omega and sigma_hi < 0.4
OK   T5'': Im F_m - rho_m > 0 for m >= 10   Im F_m >= 2.9892
OK   T5''': h'(0.4) = 1 - 0.4 e^0.4 - 0.08 e^0.4 > 0
OK   T6: m^2 * (arg F_m - arg F_{m+1}) lower bound > m^2 * disc angular radii   0.31967 > 0.05067
OK   T6': asin x <= 1.0001 x on [0, 0.0003]
OK   T6'': 1/(4 pi^2 100) <= 0.0003
OK   T6''': v(m+1)/m decreasing for m >= 10 (ln(4 pi^2 * 11) > 2)
OK   T7: Im F_10 <= 3.0193   ln(2 pi (20.25 pi + 3.0193))/2 <= 3.018565
OK   Q: |S(w) - 1| < 1/10 for |z| <= 1   bound 0.06426

ALL CHECKS PASSED
