Atmospheric muon flux at PeV energies