read `CalabiWilf.txt`:

print(MinWtStat(2,12,6,4,50000)):

print(MinWtStat(2,12,6,4,50000)):


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

print(time()):
quit: