Hilbert Challenge C by David Rowe & Jeremy Gray