status=CERTIFIED_POSITIVE_GENERALIZED_MARGIN
midpoint_generalized_min_display=1.202033143051020671e-05
row_radius=5.913021807440206128e-08
delta=1/100000
RH_CLAIM=False
