# command: python3 row_sweep.py 106-150:16
# started: 2026-10-27 04:39:17 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; 106-150:16
x=106:  2973 breakpoints up to A=179776; max N/P = 0.6262 at (A, k, lam) = (22260, 11182, 1.981); rel. error <= 2.1e-13; max 3.9e+173; ok  17s
x=107:  3001 breakpoints up to A=183184; max N/P = 0.6262 at (A, k, lam) = (22684, 11395, 1.981); rel. error <= 2.1e-13; max 1.7e+175; ok  17s
x=108:  3029 breakpoints up to A=186624; max N/P = 0.6261 at (A, k, lam) = (23112, 11609, 1.981); rel. error <= 2.1e-13; max 7.8e+176; ok  18s
x=109:  3057 breakpoints up to A=190096; max N/P = 0.6261 at (A, k, lam) = (23544, 11826, 1.982); rel. error <= 2.1e-13; max 3.5e+178; ok  18s
x=110:  3085 breakpoints up to A=193600; max N/P = 0.6261 at (A, k, lam) = (23980, 12044, 1.982); rel. error <= 2.1e-13; max 1.6e+180; ok  19s
x=111:  3113 breakpoints up to A=197136; max N/P = 0.6261 at (A, k, lam) = (24420, 12265, 1.982); rel. error <= 2.2e-13; max 7.0e+181; ok  21s
x=112:  3141 breakpoints up to A=200704; max N/P = 0.6261 at (A, k, lam) = (24864, 12487, 1.982); rel. error <= 2.2e-13; max 3.1e+183; ok  22s
x=113:  3169 breakpoints up to A=204304; max N/P = 0.6261 at (A, k, lam) = (25312, 12712, 1.982); rel. error <= 2.2e-13; max 1.4e+185; ok  23s
x=114:  3197 breakpoints up to A=207936; max N/P = 0.6261 at (A, k, lam) = (25764, 12938, 1.982); rel. error <= 2.2e-13; max 6.3e+186; ok  23s
x=115:  3225 breakpoints up to A=211600; max N/P = 0.6261 at (A, k, lam) = (26220, 13167, 1.983); rel. error <= 2.2e-13; max 2.8e+188; ok  25s
x=116:  3253 breakpoints up to A=215296; max N/P = 0.6261 at (A, k, lam) = (26680, 13397, 1.983); rel. error <= 2.3e-13; max 1.3e+190; ok  25s
x=117:  3281 breakpoints up to A=219024; max N/P = 0.6261 at (A, k, lam) = (27144, 13630, 1.983); rel. error <= 2.3e-13; max 5.7e+191; ok  26s
x=118:  3309 breakpoints up to A=222784; max N/P = 0.6260 at (A, k, lam) = (27612, 13864, 1.983); rel. error <= 2.3e-13; max 2.6e+193; ok  28s
x=119:  3337 breakpoints up to A=226576; max N/P = 0.6260 at (A, k, lam) = (28084, 14101, 1.983); rel. error <= 2.3e-13; max 1.1e+195; ok  29s
x=120:  3365 breakpoints up to A=230400; max N/P = 0.6260 at (A, k, lam) = (28560, 14339, 1.983); rel. error <= 2.3e-13; max 5.2e+196; ok  31s
x=121:  3393 breakpoints up to A=234256; max N/P = 0.6260 at (A, k, lam) = (29040, 14580, 1.983); rel. error <= 2.4e-13; max 2.3e+198; ok  32s
x=122:  3421 breakpoints up to A=238144; max N/P = 0.6260 at (A, k, lam) = (29524, 14822, 1.984); rel. error <= 2.4e-13; max 1.0e+200; ok  33s
x=123:  3449 breakpoints up to A=242064; max N/P = 0.6260 at (A, k, lam) = (30012, 15067, 1.984); rel. error <= 2.4e-13; max 4.6e+201; ok  33s
x=124:  3477 breakpoints up to A=246016; max N/P = 0.6260 at (A, k, lam) = (30504, 15313, 1.984); rel. error <= 2.4e-13; max 2.1e+203; ok  34s
x=125:  3505 breakpoints up to A=250000; max N/P = 0.6260 at (A, k, lam) = (31000, 15562, 1.984); rel. error <= 2.4e-13; max 9.3e+204; ok  36s
x=126:  3533 breakpoints up to A=254016; max N/P = 0.6260 at (A, k, lam) = (31500, 15812, 1.984); rel. error <= 2.5e-13; max 4.2e+206; ok  38s
x=127:  3561 breakpoints up to A=258064; max N/P = 0.6260 at (A, k, lam) = (32004, 16065, 1.984); rel. error <= 2.5e-13; max 1.9e+208; ok  41s
x=128:  3589 breakpoints up to A=262144; max N/P = 0.6260 at (A, k, lam) = (32512, 16319, 1.984); rel. error <= 2.5e-13; max 8.4e+209; ok  43s
x=129:  3617 breakpoints up to A=266256; max N/P = 0.6260 at (A, k, lam) = (33024, 16576, 1.984); rel. error <= 2.5e-13; max 3.8e+211; ok  46s
x=130:  3645 breakpoints up to A=270400; max N/P = 0.6259 at (A, k, lam) = (33540, 16834, 1.985); rel. error <= 2.5e-13; max 1.7e+213; ok  47s
x=131:  3673 breakpoints up to A=274576; max N/P = 0.6259 at (A, k, lam) = (34060, 17095, 1.985); rel. error <= 2.5e-13; max 7.6e+214; ok  49s
x=132:  3701 breakpoints up to A=278784; max N/P = 0.6259 at (A, k, lam) = (34584, 17357, 1.985); rel. error <= 2.6e-13; max 3.4e+216; ok  47s
x=133:  3729 breakpoints up to A=283024; max N/P = 0.6259 at (A, k, lam) = (35112, 17622, 1.985); rel. error <= 2.6e-13; max 1.5e+218; ok  49s
x=134:  3757 breakpoints up to A=287296; max N/P = 0.6259 at (A, k, lam) = (35644, 17888, 1.985); rel. error <= 2.6e-13; max 6.9e+219; ok  49s
x=135:  3785 breakpoints up to A=291600; max N/P = 0.6259 at (A, k, lam) = (36180, 18157, 1.985); rel. error <= 2.6e-13; max 3.1e+221; ok  52s
x=136:  3813 breakpoints up to A=295936; max N/P = 0.6259 at (A, k, lam) = (36720, 18427, 1.985); rel. error <= 2.6e-13; max 1.4e+223; ok  56s
x=137:  3841 breakpoints up to A=300304; max N/P = 0.6259 at (A, k, lam) = (37264, 18700, 1.985); rel. error <= 2.7e-13; max 6.2e+224; ok  59s
x=138:  3869 breakpoints up to A=304704; max N/P = 0.6259 at (A, k, lam) = (37812, 18974, 1.986); rel. error <= 2.7e-13; max 2.8e+226; ok  63s
x=139:  3897 breakpoints up to A=309136; max N/P = 0.6259 at (A, k, lam) = (38364, 19251, 1.986); rel. error <= 2.7e-13; max 1.2e+228; ok  65s
x=140:  3925 breakpoints up to A=313600; max N/P = 0.6259 at (A, k, lam) = (38920, 19529, 1.986); rel. error <= 2.7e-13; max 5.6e+229; ok  71s
x=141:  3953 breakpoints up to A=318096; max N/P = 0.6259 at (A, k, lam) = (39480, 19810, 1.986); rel. error <= 2.7e-13; max 2.5e+231; ok  75s
x=142:  3981 breakpoints up to A=322624; max N/P = 0.6259 at (A, k, lam) = (40044, 20092, 1.986); rel. error <= 2.8e-13; max 1.1e+233; ok  77s
x=143:  4009 breakpoints up to A=327184; max N/P = 0.6259 at (A, k, lam) = (40612, 20377, 1.986); rel. error <= 2.8e-13; max 5.0e+234; ok  79s
x=144:  4037 breakpoints up to A=331776; max N/P = 0.6259 at (A, k, lam) = (41184, 20663, 1.986); rel. error <= 2.8e-13; max 2.3e+236; ok  82s
x=145:  4065 breakpoints up to A=336400; max N/P = 0.6259 at (A, k, lam) = (41760, 20952, 1.986); rel. error <= 2.8e-13; max 1.0e+238; ok  84s
x=146:  4093 breakpoints up to A=341056; max N/P = 0.6258 at (A, k, lam) = (42340, 21242, 1.986); rel. error <= 2.8e-13; max 4.5e+239; ok  86s
x=147:  4121 breakpoints up to A=345744; max N/P = 0.6258 at (A, k, lam) = (42924, 21535, 1.986); rel. error <= 2.9e-13; max 2.0e+241; ok  91s
x=148:  4149 breakpoints up to A=350464; max N/P = 0.6258 at (A, k, lam) = (43512, 21829, 1.986); rel. error <= 2.9e-13; max 9.1e+242; ok  93s
x=149:  4177 breakpoints up to A=355216; max N/P = 0.6258 at (A, k, lam) = (44104, 22126, 1.987); rel. error <= 2.9e-13; max 4.1e+244; ok  94s
x=150:  4205 breakpoints up to A=360000; max N/P = 0.6258 at (A, k, lam) = (44700, 22424, 1.987); rel. error <= 2.9e-13; max 1.8e+246; ok  94s
ALL VERIFIED (2138s)

real	35m38.242s
user	35m9.488s
sys	0m1.053s
# finished: 2026-10-27 05:14:55 UTC