Archivo de texto usado en el ejemplo