== L34: Eisenstein conditions for R_r(h,c) and R_r(h,4-s^2)
   r=1: (a) monic deg_h=2 True, other coeffs divisible by c True, constant term = c True, total degree 2 (2^r=2); (b) monic True, divisible by tau True, constant term = -tau(tau+4) True, coefficient of tau in it = -4; total degree in (h,s) 3 (3*2^(r-1)=3), top-degree coefficients [-1]
   r=2: (a) monic deg_h=4 True, other coeffs divisible by c True, constant term = c True, total degree 4 (2^r=4); (b) monic True, divisible by tau True, constant term = -tau(tau+4) True, coefficient of tau in it = -4; total degree in (h,s) 6 (3*2^(r-1)=6), top-degree coefficients [1]
   r=3: (a) monic deg_h=8 True, other coeffs divisible by c True, constant term = c True, total degree 8 (2^r=8); (b) monic True, divisible by tau True, constant term = -tau(tau+4) True, coefficient of tau in it = -4; total degree in (h,s) 12 (3*2^(r-1)=12), top-degree coefficients [1]
   r=4: (a) monic deg_h=16 True, other coeffs divisible by c True, constant term = c True, total degree 16 (2^r=16); (b) monic True, divisible by tau True, constant term = -tau(tau+4) True, coefficient of tau in it = -4; total degree in (h,s) 24 (3*2^(r-1)=24), top-degree coefficients [1]
   r=5: (a) monic deg_h=32 True, other coeffs divisible by c True, constant term = c True, total degree 32 (2^r=32); (b) monic True, divisible by tau True, constant term = -tau(tau+4) True, coefficient of tau in it = -4; total degree in (h,s) 48 (3*2^(r-1)=48), top-degree coefficients [1]
   r=6: (a) monic deg_h=64 True, other coeffs divisible by c True, constant term = c True, total degree 64 (2^r=64); (b) monic True, divisible by tau True, constant term = -tau(tau+4) True, coefficient of tau in it = -4; total degree in (h,s) 96 (3*2^(r-1)=96), top-degree coefficients [1]
   [L34: 8.4s]
== BND: for r = floor(log2 q/4) - 1 >= 1 (i.e. q >= 2^(4r+4)): Q(d) < 2^(4r+4) <= q
   r = 1..80, both d: failures 0
   q=256: floor(log2 q/4)=2, so the bound claims mu >= 2; r used in Theorem 3.5 = 1
   q=257: floor(log2 q/4)=2, so the bound claims mu >= 2; r used in Theorem 3.5 = 1
   q=4095: floor(log2 q/4)=2, so the bound claims mu >= 2; r used in Theorem 3.5 = 1
   q=4096: floor(log2 q/4)=3, so the bound claims mu >= 3; r used in Theorem 3.5 = 2
   q=65535: floor(log2 q/4)=3, so the bound claims mu >= 3; r used in Theorem 3.5 = 2
   q=65536: floor(log2 q/4)=4, so the bound claims mu >= 4; r used in Theorem 3.5 = 3
   q=65537: floor(log2 q/4)=4, so the bound claims mu >= 4; r used in Theorem 3.5 = 3
   q=1048576: floor(log2 q/4)=5, so the bound claims mu >= 5; r used in Theorem 3.5 = 4
   [BND: 0.0s]
