Email Record: Computing value correspondences for repeated games with state variables /