{"status": "PASS_CONDITIONAL_AMBIENT_REROOT_LEMMA", "core_bounds": {"37": 75, "39": 73}, "contact_cases": 22, "literal_exteriors": 3630}
