Closed Geodesics and Isometries on Compact Lorentz Solvmanifolds | Synapse