read `MultiDer.txt`:

N:=9:
K:=2000:

for n from 2 to N do
print(``):
print(`------------------------------------------------`):
print(``):
CHn(n,K):

od:

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

quit: