read `ExpSP.txt`:

K:=6:
N:=600:

L:=HnrS(K,x,N):



print(``):

if nops(L)<K-1 then
 print(N, `is not enough to get up to r=`,  K):
 print(`make it bigger`):
 fi:

lprint(L):

quit: