Aug 13, 2016
One more mentioning of file sizes.
Mar 27, 2016
Added printing time to some output.