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