Ancillary files for "Ramanujan's prime counting inequality holds for all x >= 38,358,837,683".
Run every script from inside anc/ (Python 3; mpmath; fks_eps.py and its users also need NumPy and SciPy).
Each script prints its result; the reference outputs are in anc/outputs/ (full ZIP only).
Key commands:
  python qrh_ramanujan.py 200        Theorem B at theta = 7/8      -> qrh_ramanujan_output.txt
  python qrh_theta.py 672.5          Theorem B, theta <= 0.945092  -> qrh_theta_output.txt
  D_TOP=3035.502 python buthe_thesis_run.py   Proposition A' and refereed Theorem D
  python ch_ramanujan.py             Theorem A and B*
  python fks_fine_R.py 5.558691 2900 3160 PUB KLN618   Theorem C (and zeros-only D)
  python hybrid_D.py 5.558691 PUB 3035.002 KLN618      Theorem D
  python zfr_B.py 3035.002 KLN618    Theorem B'
  python barrier.py                  Theorem E / Corollary E
  python tradeoff.py 2.0 TR2.0       one row of the trade-off table
  python crosscheck_buthe.py         the Buthe log(3c) quadrature check
downstream/: the literature audit of the Buthe/BKLNW correction (see the paper's Section 7.5).
Full repository: https://github.com/blueberryvertigo/ramanujan-prime-inequality-and-missing-factor