Path length distributions of atmospheric neutrinos | Synapse