RH-W-07 multiprime chamber build
status=CERTIFIED_POSITIVE_ON_THIS_9D_SUBSPACE
active_by_lag=[[], [], [2], [2], [2, 3], [2, 3, 4], [3, 4], [3, 4, 5], [4, 5, 7]]
lag_intervals=T0=('0.178584904159', '0.1786135295'), T1=('-0.100987756287', '-0.100982154011'), T2=('0.049381816238', '0.0493818714463'), T3=('-0.0257602730928', '-0.0257602178844'), T4=('0.0270514132119', '0.0270514684202'), T5=('0.00228735758772', '0.00228741279606'), T6=('0.0171981453966', '0.0171982006049'), T7=('0.0216954720465', '0.0216955272549'), T8=('-0.127273287125', '-0.127273231916')
midpoint_min_eigenvalue_display_only=7.7724654225678211e-04
interval_row_radius=2.0080572380713665e-05
delta=1/2000
certified_margin=4.7991942761928632e-04
witness_sign_flips=4
FLOATING_POINT_IN_PROOF_PATH=False
RH_CLAIM=False
