Un ejemplo muy simple de archivo de entrada podría ser el siguiente: