# command: python3 band_check.py 200 60 176
# started: 2026-10-27 03:23:46 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
#
x=176: 349 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=177: 351 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=178: 353 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=179: 355 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=180: 357 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=181: 359 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=182: 361 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=183: 363 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=184: 365 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=185: 367 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=186: 369 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=187: 371 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=188: 373 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=189: 375 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=190: 377 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=191: 379 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=192: 381 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=193: 383 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=194: 385 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=195: 387 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=196: 389 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=197: 391 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=198: 393 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=199: 395 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
x=200: 397 breakpoints; Y >= 0: ok; small-m: ok; (M) for x <= N <= 2x-2: ok
done (3740s): identities, (II) and (III) hold; (M) holds for every 176 <= x <= 200

real	62m20.366s
user	42m40.324s
sys	0m0.520s
# finished: 2026-10-27 04:26:07 UTC