schema=OK
dimension=15
prime_power_enumeration=OK
lag1_n3_boundary_gap_positive=OK
row_radius=2009524053559692775343777970129269797790739158546119146503423351/1000000000000000000000000000000000000000000000000000000000000000000000000000
generalized_margin_delta=1/1000000000
ldlt_pivots_positive=15
status=CERTIFIED_POSITIVE_GENERALIZED_MARGIN
RH_CLAIM=False
