# command: python3 row_sweep.py 191-200:16
# started: 2026-10-27 06:43:56 UTC
# Python 3.13.17, python-flint 0.9.0, numpy 2.5.3, sympy 1.14.0
# machine: 2 cores, 7 GB RAM, Linux x86_64
# sha256 of the scripts in the directory:
#   62ba14c054023c20a139428938aa4561365d93366172e919afde228d09b40d4e  band_check.py
#   e3b29b32dee33a3771e46eee7fd3c7feb9d5281a0f880fb0ea2a9dc9bde9ea99  bergeron_certificate.py
#   a86969c6ce89c5a3aba23d4d30aa55d8fb9924613d794ab271728fe3f2035110  circle_check.py
#   0ad5f6f485561df541b4e83a0e780275e5077b2e3a6baa864ca0419d01ef15af  corner_check.py
#   85f217ba1cc63c5421bb2df726223642e8289baab3f46dc55e026417f27cbb21  cww_certificate.py
#   1b487046af3818f1b6e61f9903bb4dd3cbdb45e7d451c23cdce74faad8cf4eb0  pn_certificate.py
#   ea6a0e64e29ea4599808a3cb8023f9a18bfb4469f6b282d051f24034a5903108  pn_families.py
#   33684b0c7134b1b7da3e1e5fd944fe28c067fcc4255b832d327d3aea4043f665  row_check.py
#   0dd9195b2ba9a6ca36055c39fd90cd069ab530072d01786042400059e129e650  row_sweep.py
#   b077df5d9e0b9b7bf8be56cf2ab6763e5d8167a7408763c6ba54667837f077b3  rq_certificate.py
#
R(x, A) for 2x(x-1) <= A <= LAM x^2: N_A < 0.999 P_A in degrees D < k <= A+/2 at every breakpoint; 191-200:16
x=191:  5353 breakpoints up to A=583696; max N/P = 0.6257 at (A, k, lam) = (72580, 36385, 1.99); rel. error <= 3.7e-13; max 2.6e+291 (scaled by 2^-75); ok  240s
x=192:  5381 breakpoints up to A=589824; max N/P = 0.6256 at (A, k, lam) = (73344, 36767, 1.99); rel. error <= 3.7e-13; max 3.6e+291 (scaled by 2^-80); ok  247s
x=193:  5409 breakpoints up to A=595984; max N/P = 0.6256 at (A, k, lam) = (74112, 37152, 1.99); rel. error <= 3.7e-13; max 2.5e+291 (scaled by 2^-86); ok  254s
x=194:  5437 breakpoints up to A=602176; max N/P = 0.6256 at (A, k, lam) = (74884, 37538, 1.99); rel. error <= 3.7e-13; max 3.5e+291 (scaled by 2^-91); ok  257s
x=195:  5465 breakpoints up to A=608400; max N/P = 0.6256 at (A, k, lam) = (75660, 37927, 1.99); rel. error <= 3.8e-13; max 2.5e+291 (scaled by 2^-97); ok  256s
x=196:  5493 breakpoints up to A=614656; max N/P = 0.6256 at (A, k, lam) = (76440, 38317, 1.99); rel. error <= 3.8e-13; max 3.5e+291 (scaled by 2^-102); ok  264s
x=197:  5521 breakpoints up to A=620944; max N/P = 0.6256 at (A, k, lam) = (77224, 38710, 1.99); rel. error <= 3.8e-13; max 2.4e+291 (scaled by 2^-108); ok  270s
x=198:  5549 breakpoints up to A=627264; max N/P = 0.6256 at (A, k, lam) = (78012, 39104, 1.99); rel. error <= 3.8e-13; max 3.4e+291 (scaled by 2^-113); ok  273s
x=199:  5577 breakpoints up to A=633616; max N/P = 0.6256 at (A, k, lam) = (78804, 39501, 1.99); rel. error <= 3.8e-13; max 2.4e+291 (scaled by 2^-119); ok  281s
x=200:  5605 breakpoints up to A=640000; max N/P = 0.6256 at (A, k, lam) = (79600, 39899, 1.99); rel. error <= 3.9e-13; max 3.3e+291 (scaled by 2^-124); ok  285s
ALL VERIFIED (2629s)

real	43m48.666s
user	43m17.608s
sys	0m1.122s
# finished: 2026-10-27 07:27:46 UTC