read `BijectionStern.txt`:

N:=5:
for i from 1 to N do
StanBijT(i):
od:


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