MLFMF: Data Sets for Machine Learning for Mathematical Formalization Supplementary Material Matej Petković Faculty of Mathematics and Physics Faculty of Mathematics and Physics University of Ljubljana