Velocity Autocorrelations for Hard Spheres | Synapse