Charge ratio of muons from atmospheric neutrinos