read `CalabiWilf.txt`: print(MinWtStat(2,24,12,4,50000)): print(MinWtStat(2,24,12,4,50000)): print(`-----------------------------------`): print(time()): quit: