status=CERTIFIED_NEAR_ZERO_POSITIVE_MIXED_BAND
dimension=10
midpoint_min_display=3.995905921050454496e-08
row_radius=2.910743953055098326e-12
exact_lower=lambda_min>1e-8
exact_upper=lambda_min<5e-8
m1_lower>4.000e-04
m3_lower>1.000e-07
RH_CLAIM=False
