read `GenBeukersZeta3.txt`:

ShortBook2(2000):

print(``):

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

quit: