Material to accompany the paper CIVL Solutions to VerifyThis 2016 Challenges by Stephen Siegel: