read AMITAI:

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

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

quit: