read `SVT.txt`:

N:=160:

lprint(SVTseq4(N)):



print(time());

quit: