read `LinDiophantus.txt`: lu:=PPars(BoS(2),t); lprint(lu): quit: