# command: python3 row_sweep.py 176-190:16
# started: 2026-10-27 06:09:10 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; 176-190:16
x=176:  4933 breakpoints up to A=495616; max N/P = 0.6257 at (A, k, lam) = (61600, 30887, 1.989); rel. error <= 3.4e-13; max 1.6e+289; ok  175s
x=177:  4961 breakpoints up to A=501264; max N/P = 0.6257 at (A, k, lam) = (62304, 31240, 1.989); rel. error <= 3.4e-13; max 7.3e+290; ok  180s
x=178:  4989 breakpoints up to A=506944; max N/P = 0.6257 at (A, k, lam) = (63012, 31594, 1.989); rel. error <= 3.4e-13; max 4.1e+291 (scaled by 2^-3); ok  183s
x=179:  5017 breakpoints up to A=512656; max N/P = 0.6257 at (A, k, lam) = (63724, 31951, 1.989); rel. error <= 3.5e-13; max 2.9e+291 (scaled by 2^-9); ok  189s
x=180:  5045 breakpoints up to A=518400; max N/P = 0.6257 at (A, k, lam) = (64440, 32309, 1.989); rel. error <= 3.5e-13; max 4.0e+291 (scaled by 2^-14); ok  190s
x=181:  5073 breakpoints up to A=524176; max N/P = 0.6257 at (A, k, lam) = (65160, 32670, 1.989); rel. error <= 3.5e-13; max 2.8e+291 (scaled by 2^-20); ok  192s
x=182:  5101 breakpoints up to A=529984; max N/P = 0.6257 at (A, k, lam) = (65884, 33032, 1.989); rel. error <= 3.5e-13; max 3.9e+291 (scaled by 2^-25); ok  201s
x=183:  5129 breakpoints up to A=535824; max N/P = 0.6257 at (A, k, lam) = (66612, 33397, 1.989); rel. error <= 3.5e-13; max 2.8e+291 (scaled by 2^-31); ok  203s
x=184:  5157 breakpoints up to A=541696; max N/P = 0.6257 at (A, k, lam) = (67344, 33763, 1.989); rel. error <= 3.6e-13; max 3.9e+291 (scaled by 2^-36); ok  208s
x=185:  5185 breakpoints up to A=547600; max N/P = 0.6257 at (A, k, lam) = (68080, 34132, 1.989); rel. error <= 3.6e-13; max 2.7e+291 (scaled by 2^-42); ok  212s
x=186:  5213 breakpoints up to A=553536; max N/P = 0.6257 at (A, k, lam) = (68820, 34502, 1.989); rel. error <= 3.6e-13; max 3.8e+291 (scaled by 2^-47); ok  223s
x=187:  5241 breakpoints up to A=559504; max N/P = 0.6257 at (A, k, lam) = (69564, 34875, 1.989); rel. error <= 3.6e-13; max 2.7e+291 (scaled by 2^-53); ok  219s
x=188:  5269 breakpoints up to A=565504; max N/P = 0.6257 at (A, k, lam) = (70312, 35249, 1.989); rel. error <= 3.6e-13; max 3.7e+291 (scaled by 2^-58); ok  230s
x=189:  5297 breakpoints up to A=571536; max N/P = 0.6257 at (A, k, lam) = (71064, 35626, 1.989); rel. error <= 3.7e-13; max 2.6e+291 (scaled by 2^-64); ok  233s
x=190:  5325 breakpoints up to A=577600; max N/P = 0.6257 at (A, k, lam) = (71820, 36004, 1.989); rel. error <= 3.7e-13; max 3.7e+291 (scaled by 2^-69); ok  240s
ALL VERIFIED (3077s)

real	51m16.838s
user	50m41.201s
sys	0m1.200s
# finished: 2026-10-27 07:00:27 UTC