S(z) at z = e^{73/11}: 0.00697491; eps there: 0.0114697
K=9, presieve=False: 238 intervals; computed upper-bound enclosure [0.00026458968046624722859873968909096910952596534, 0.00026458968046624722859873968909096910952596534] at (7676915.135024515, 7700000.0, False); CERTIFIED
  FAIL on [2893348.6, 3038016.0] (presieve False): 1.0372
  FAIL on [3038016.0, 3189916.8] (presieve False): 1.08906
  FAIL on [3189916.8, 3349412.6] (presieve False): 1.14352
  FAIL on [3349412.6, 3516883.3] (presieve False): 1.20069
  FAIL on [3516883.3, 3692727.4] (presieve False): 1.26073
  FAIL on [3692727.4, 3877363.8] (presieve False): 1.32376
  FAIL on [3877363.8, 4071232.0] (presieve False): 1.38995
  FAIL on [4071232.0, 4274793.6] (presieve False): 1.45945
  FAIL on [4274793.6, 4488533.3] (presieve False): 1.53242
  FAIL on [4488533.3, 4712959.9] (presieve False): 1.60904
  FAIL on [4712959.9, 4948607.9] (presieve False): 1.6895
  FAIL on [4948607.9, 5196038.3] (presieve False): 1.77397
  FAIL on [5196038.3, 5455840.3] (presieve False): 1.86267
  FAIL on [5455840.3, 5728632.3] (presieve False): 1.9558
  FAIL on [5728632.3, 6015063.9] (presieve False): 2.05359
  FAIL on [6015063.9, 6315817.1] (presieve False): 2.15627
  FAIL on [6315817.1, 6631607.9] (presieve False): 2.26409
  FAIL on [6631607.9, 6963188.3] (presieve False): 2.37729
  FAIL on [6963188.3, 7311347.7] (presieve False): 2.49616
  FAIL on [7311347.7, 7676915.1] (presieve False): 2.62096
  FAIL on [7676915.1, 7700000.0] (presieve False): 2.62884
K=8, presieve=False: 238 intervals; computed upper-bound enclosure [2.62884475272244969532928923519547805574177838, 2.62884475272244969532928923519547805574177838] at (7676915.135024515, 7700000.0, False); NOT ESTABLISHED
K=8, presieve=True: 238 intervals; computed upper-bound enclosure [0.739342802040756707031301563755164205293199202, 0.739342802040756707031301563755164205293199202] at (7676915.135024515, 7700000.0, True); CERTIFIED