exact N6 polynomial: leading coeffs [1, 2, 43, 376] (series matches Hassani d_k for k=4..9)
K0 <= [4897497.156764394510307883369472305701070539320324937614158853064431856622831727637261626238516763771, 4897497.156764394510307883369472305701070539320324937614158853064431856622831727637261626238516763771]   B0 = [1357383.552640021907807850090479589364374145621994882115743933004232622537529331408543341915798674025, 1357383.552640021907807850090479589364374145621994882115743933004232622537529331408543341915798674025]
[Q] F-J bound alone fails somewhere below L = 137.0; passes on every interval above it in [100,200]
  [Q] L in [949.50,950.00]  margin >= [1.014899171172611302604491898013949175987121639315886182123780714760886148661513862764705651218561626, 1.014899171172611302604491898013949175987121639315886182123780714760886148661513862764705651218561626]  (main [1.014899171172612052243618508517108771466414468460409258329101605583032474595703852014649820831965591, 1.014899171172612052243618508517108771466414468460409258329101605583032474595703852014649820831965591], err <= [1.923113234445667364815498295224616528433300688790835853800393798032404198824584231383412016014641565e-41, 1.923113234445667364815498295224616528433300688790835853800393798032404198824584231383412016014641565e-41])
  [Q] L in [1699.50,1700.00]  margin >= [1.0082857562135414844803322425845541079200957994041902068324614524895329155933688153279604091487526, 1.0082857562135414844803322425845541079200957994041902068324614524895329155933688153279604091487526]  (main [1.008285756213541491492270286544945508590606555548386855790707483888723914378426943330555824841332449, 1.008285756213541491492270286544945508590606555548386855790707483888723914378426943330555824841332449], err <= [3.794565896197525014418540179004192259660156631980469153622714858813360470570145809770791167666285056e-81, 3.794565896197525014418540179004192259660156631980469153622714858813360470570145809770791167666285056e-81])
  [Q] L in [2449.50,2450.00]  margin >= [1.005738538719921450884915569574614500593852091583964671398179204644204480112003320094732026295996897, 1.005738538719921450884915569574614500593852091583964671398179204644204480112003320094732026295996897]  (main [1.005738538719921451259295335021777399899307098236996632255506254986319446719537331594402874812610043, 1.005738538719921451259295335021777399899307098236996632255506254986319446719537331594402874812610043], err <= [3.152656872713899718163587707073714378490442627663441829439426409858593901452465509791922180757700021e-121, 3.152656872713899718163587707073714378490442627663441829439426409858593901452465509791922180757700021e-121])
[Q] verified contiguously for L in [200, 3158.5]  (5917 intervals); smallest margin [1.004447063432299939076524890381129855758503043969566489341672511864046320041113453615367031959550934, 1.004447063432299939076524890381129855758503043969566489341672511864046320041113453615367031959550934] on [3158.0,3158.5]