David Batchelor's public data