Mikael Vejdemo-Johansson's public data