Tom Korevaar's public data