Match #146384

prov2025 w3: (CVL A) vs (HDF A)