r2_check.py (verification run 2); Python 3.13.5; parts 4; back end python; PB = 320
============================================================================================================
N4000-A:  N = 4000;  Sigma* = 1/2 (computed);  nu = 811/5000000000, x0 = 1/100, X = 10000998411859/10000000000000, rho = 1668474131/10000000000000000
  [4] coefficients of a positive multiple of P: degree 4001, up to 128937 bits   (time: 208.5 s)
      back end plain Python integers: 12 intervals between x0 and X, sign changes: 0 0 0 0 0 0 1 1 1 1 1 0
      cut points: 1/2, 4/5, 9/10, 19/20, 49/50, 99/100, 124/125, 199/200, 499/500, 1997/2000, 999/1000
      every interval has 0 or 1 sign changes: True;  number of roots of P in (x0, X): 5   PASS   (time: 1729.0 s)
  N4000-A: ALL EXECUTED PARTS PASS   (total 1937.5 s)
============================================================================================================
1 parameter points: ALL PASS
