status=CERTIFIED_POSITIVE_GENERALIZED_MARGIN
dimension=15
prime_powers=24
midpoint_generalized_min_display=1.437817530621670756e-09
row_radius=2.009524050120237669e-12
delta=1/1000000000
boundary_inside_gap_lower=1.033363318903085992e-04
RH_CLAIM=False
