Catalogue of unlabelled lattices on up to 16 elements Volker Gebhardt, Stephen Tawn References doi:10.1016/j.jalgebra.2018.10.017