read `CalabiWilf.txt`:

print(MinWtStat(2,28,14,4,50000)):

print(MinWtStat(2,28,14,4,50000)):


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

print(time()):
quit: