[math-fun] von Neumann universe packing puzzle