read `LinDiophantus.txt`: LHPs(5): quit: