Correction
Regrettably, the solution to this month's question contained a number of errors. See the
Verulam pages in October 2019 for an initial correction of a production error, followed by a further discussion of the problem and corrected solution in
March 2020.