  Bell's theorem asserts that no model that satisfies all of the plausible
physical assumptions of outcome independence (OI), measurement independence
(MI) and Parameter Independence (PI) can reproduce quantum mechanics. Here I
find the optimum model that saturates CHSH inequality for the case that outcome
independence and measurement independence hold but parameter dependence is
allowed. The symbolic optimizations to find the saturating models are performed
using Analytical Optimizer v1.0.
