schema=OK
mu_positive=OK
auto_activation_orders=1,3,5,7,9,11
successive_ratio_identity=OK
m1_over_m3_gt_1e16=OK
status=EXACT_INTERVAL_VERIFICATION_OK
RH_CLAIM=False
