read `HaroldSilentShapiro.txt`:

MamarH(7,40,t):


print(`This took`, time(), `seconds. `):

quit: