Solutions to David R. MacIver's token sorting problem