Hybrid Monte Carlo on Lefschetz thimbles — A study of the residual sign problem