Aart Vos's public data