Gravar-mail: Average lateral distribution function of muons in 10¹⁷ eV extensive air showers