read `CalabiWilf.txt`:

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

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


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

print(time()):
quit: