# command: python3 row_sweep.py 151-175:16
# started: 2026-10-27 05:14:58 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; 151-175:16
x=151:  4233 breakpoints up to A=364816; max N/P = 0.6258 at (A, k, lam) = (45300, 22725, 1.987); rel. error <= 2.9e-13; max 8.2e+247; ok  98s
x=152:  4261 breakpoints up to A=369664; max N/P = 0.6258 at (A, k, lam) = (45904, 23027, 1.987); rel. error <= 2.9e-13; max 3.7e+249; ok  100s
x=153:  4289 breakpoints up to A=374544; max N/P = 0.6258 at (A, k, lam) = (46512, 23332, 1.987); rel. error <= 3.0e-13; max 1.7e+251; ok  103s
x=154:  4317 breakpoints up to A=379456; max N/P = 0.6258 at (A, k, lam) = (47124, 23638, 1.987); rel. error <= 3.0e-13; max 7.4e+252; ok  103s
x=155:  4345 breakpoints up to A=384400; max N/P = 0.6258 at (A, k, lam) = (47740, 23947, 1.987); rel. error <= 3.0e-13; max 3.3e+254; ok  103s
x=156:  4373 breakpoints up to A=389376; max N/P = 0.6258 at (A, k, lam) = (48360, 24257, 1.987); rel. error <= 3.0e-13; max 1.5e+256; ok  108s
x=157:  4401 breakpoints up to A=394384; max N/P = 0.6258 at (A, k, lam) = (48984, 24570, 1.987); rel. error <= 3.0e-13; max 6.7e+257; ok  110s
x=158:  4429 breakpoints up to A=399424; max N/P = 0.6258 at (A, k, lam) = (49612, 24884, 1.987); rel. error <= 3.1e-13; max 3.0e+259; ok  117s
x=159:  4457 breakpoints up to A=404496; max N/P = 0.6258 at (A, k, lam) = (50244, 25201, 1.987); rel. error <= 3.1e-13; max 1.3e+261; ok  115s
x=160:  4485 breakpoints up to A=409600; max N/P = 0.6258 at (A, k, lam) = (50880, 25519, 1.988); rel. error <= 3.1e-13; max 6.0e+262; ok  119s
x=161:  4513 breakpoints up to A=414736; max N/P = 0.6258 at (A, k, lam) = (51520, 25840, 1.988); rel. error <= 3.1e-13; max 2.7e+264; ok  122s
x=162:  4541 breakpoints up to A=419904; max N/P = 0.6258 at (A, k, lam) = (52164, 26162, 1.988); rel. error <= 3.1e-13; max 1.2e+266; ok  125s
x=163:  4569 breakpoints up to A=425104; max N/P = 0.6258 at (A, k, lam) = (52812, 26487, 1.988); rel. error <= 3.2e-13; max 5.5e+267; ok  127s
x=164:  4597 breakpoints up to A=430336; max N/P = 0.6258 at (A, k, lam) = (53464, 26813, 1.988); rel. error <= 3.2e-13; max 2.4e+269; ok  129s
x=165:  4625 breakpoints up to A=435600; max N/P = 0.6258 at (A, k, lam) = (54120, 27142, 1.988); rel. error <= 3.2e-13; max 1.1e+271; ok  131s
x=166:  4653 breakpoints up to A=440896; max N/P = 0.6257 at (A, k, lam) = (54780, 27472, 1.988); rel. error <= 3.2e-13; max 4.9e+272; ok  136s
x=167:  4681 breakpoints up to A=446224; max N/P = 0.6257 at (A, k, lam) = (55444, 27805, 1.988); rel. error <= 3.2e-13; max 2.2e+274; ok  139s
x=168:  4709 breakpoints up to A=451584; max N/P = 0.6257 at (A, k, lam) = (56112, 28139, 1.988); rel. error <= 3.3e-13; max 9.9e+275; ok  143s
x=169:  4737 breakpoints up to A=456976; max N/P = 0.6257 at (A, k, lam) = (56784, 28476, 1.988); rel. error <= 3.3e-13; max 4.4e+277; ok  146s
x=170:  4765 breakpoints up to A=462400; max N/P = 0.6257 at (A, k, lam) = (57460, 28814, 1.988); rel. error <= 3.3e-13; max 2.0e+279; ok  154s
x=171:  4793 breakpoints up to A=467856; max N/P = 0.6257 at (A, k, lam) = (58140, 29155, 1.988); rel. error <= 3.3e-13; max 8.9e+280; ok  156s
x=172:  4821 breakpoints up to A=473344; max N/P = 0.6257 at (A, k, lam) = (58824, 29497, 1.988); rel. error <= 3.3e-13; max 4.0e+282; ok  161s
x=173:  4849 breakpoints up to A=478864; max N/P = 0.6257 at (A, k, lam) = (59512, 29842, 1.988); rel. error <= 3.3e-13; max 1.8e+284; ok  161s
x=174:  4877 breakpoints up to A=484416; max N/P = 0.6257 at (A, k, lam) = (60204, 30188, 1.989); rel. error <= 3.4e-13; max 8.1e+285; ok  166s
x=175:  4905 breakpoints up to A=490000; max N/P = 0.6257 at (A, k, lam) = (60900, 30537, 1.989); rel. error <= 3.4e-13; max 3.6e+287; ok  171s
ALL VERIFIED (3245s)

real	54m4.965s
user	53m26.928s
sys	0m1.203s
# finished: 2026-10-27 06:09:04 UTC