read AMITAI:

GuessAndProveRegev3D(n,k,[4,2,0]);

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

quit: