Search for long-lived heavy neutral leptons decaying in the CMS muon detectors in proton-proton collisions at s=13 TeV | Synapse