schema=OK
activation_graph=OK
dimension=9
delta=1/2000
interval_row_radius=50201430951784163019909570395631583/2500000000000000000000000000000000000000
certified_lower_margin=1199798569048215836980090429604368417/2500000000000000000000000000000000000000
ldlt_pivots_positive=9
strict_sign_flips=4
status=CERTIFIED_POSITIVE_ON_THIS_9D_SUBSPACE
RH_CLAIM=False
