read `MultiDer.txt`:

N:=19:
K:=2000:

for k from 1 to N do
print(``):
print(`------------------------------------------------`):
print(``):
CHk(k,K):

od:

print(``):
print(`--------------------------`):
print(``):


quit: