schema=OK
dimension=13
prime_power_enumeration=OK
row_radius=591302180744020599379674806220435183777723849739/10000000000000000000000000000000000000000000000000000000
generalized_margin_delta=1/100000
ldlt_pivots_positive=13
status=CERTIFIED_POSITIVE_GENERALIZED_MARGIN
RH_CLAIM=False
