schema=OK
theta_minus=INACTIVE_CERTIFIED
theta_zero=BOUNDARY_ZERO_SYMBOLIC
theta_plus=ACTIVE_FIRST_SPLINE_PIECE_CERTIFIED
theta_plus_mu=[20667266378061720950952615494859070501888435450109653061/200000000000000000000000000000000000000000000000000000000000,51668165945154302377381538737147676254721088625274132653/500000000000000000000000000000000000000000000000000000000000]
theta_plus_prime3_entry=[-6877169835940751114505051623117768403888110038623339190491/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000,-859646229492593889313131452889721050486013754827917398753/1250000000000000000000000000000000000000000000000000000000000000000000000000000000000]
regularity=C6_NOT_C7
RH_CLAIM=False
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
schema=OK
dimension=15
lag1_prime3=ACTIVE_CERTIFIED
boundary_inside_gap=20667266378061720950952615494859070501888435450109653061/200000000000000000000000000000000000000000000000000000000000
row_radius=401904810024047539340870364128960248119421965471859791167626317/200000000000000000000000000000000000000000000000000000000000000000000000000
generalized_margin_delta=1/1000000000
ldlt_pivots_positive=15
status=CERTIFIED_POSITIVE_GENERALIZED_MARGIN
RH_CLAIM=False
