certificate=window-9-point
verified=true
reversal_symmetry_reduction=true
target=F_8 >= 39/10000
alpha=1/4000
grid=4000
precision_bits=128
pressure_cutoff_cells=62400
kernel_table_sha256=9e7c7f75c5ebf187fa1a097ee001f6b5b538ddebe5bcd79395a5dd0ae77589ce
second_derivative_table_sha256=132232fec1a9f29d10f10fdae89185019e953d28e35a9eedf582f573d35e77c8
initial_boxes=136
nodes=27955544
pruned=13977840
splits=13977704
maximum_depth=73
pressure_pruned=56720
interval_pruned=9229105
tangent_pruned=4692015
surviving_gap_components_cells=[3739,4915];[7025,61444]
surviving_gap_components_count=2
elapsed_seconds=1805.493651