Search for long-lived heavy neutrinos in the decays of B mesons produced in proton-proton collisions at s = 13 TeV | Synapse