read AMITAI:

ProveRegevOriginal(n,k):

print(`this took`, time(), `second of CPU time`):

quit: