Statistics on Tomas Henriques's coauthors