Lists for Mace2Space