read `BINnr.txt`:

Digits:=70:

n:=4: r:=1: MaxC:=22: K1:=7000:

BinStory(n,r,MaxC,K1):

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

quit: