read `LinDiophantus.txt`: 


CondorcetS(t);

quit: