Enviar por SMS: Average lateral distribution function of muons in 10¹⁷ eV extensive air showers