status=CERTIFIED_POSITIVE_GENERALIZED_MARGIN
dimension=15
prime_powers=24
midpoint_generalized_min_display=1.320262858940003066e-09
row_radius=2.009524053559692622e-12
delta=1/1000000000
boundary_gap_lower=9.666366810969139682e-05
RH_CLAIM=False
