Match #146398

prov2025 w3: (GE C) vs (OM)