read `CalabiWilf.txt`:

print(MinWtStat(2,8,4,4,50000)):

print(MinWtStat(2,8,4,4,50000)):


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

print(time()):
quit: