read `LehmerDet.txt`:

GuessLehmer1v(X,7,q):

print(``):
print(`This took`, time(), `seconds. `):
print(``):

quit: