Theoretical proton velocity distributions in the flow around the magnetosphere