read `LinDiophantus.txt`: 


SeferBPs(7,t);

quit: