[logic-ml] 42nd TRS Meeting - Final CFPart