read `GenBeukersZeta3.txt`:

ShortBook1(2000):

print(``):

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

quit: