certificate=window-9-point
verified=true
reversal_symmetry_reduction=false
target=F_8 + psi(g2) - psi(g1) >= 4733/1000000
alpha=1/3300
theta=147/100
psi_nodes=97
psi_osc=19/250000
psi_sha256=a9bc03de3631428817a4dd80fd17325be8d371ca7be531da6a55c899d72481da
grid=4000
precision_bits=128
pressure_cutoff_cells=63479
kernel_table_sha256=d839b4f534778ea1fe7e9c24901126d505d78e0cd062b2445232a8132419bfbb
second_derivative_table_sha256=d6319b43e5ac9a81360994bbd064c2b834ff61d336686823f6cb9c98d0da36c6
initial_boxes=256
nodes=78344600
pruned=39172428
splits=39172172
maximum_depth=75
pressure_pruned=62634
interval_pruned=24616815
tangent_pruned=14492979
lipschitz_pruned=0
surviving_gap_components_cells=[3705,5062];[6870,63075]
surviving_gap_components_count=2
elapsed_seconds=58698.516630