read FPL:

for k from 1 to 7 do 
print(`The Razumov-Stroganov Conjecture for k=`,k, `is `, CheckRS(k)):
od:

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

quit: