Match #123084

prov2024 w3: (HDF B) vs (ARA C)