(i)   sextic points: 3252; float violations of (S1)-(S5): 0; minima over points: S 9.495e-03, S1 1.182e-03, f 9.462e-03, k5c5 2.259e-03, mk6 8.941e+00, mu 1.837e-03
(ii)  min over points and grid of P(y) - R_a(by): -1.665e-16
(iii) max |E|L| - (2 tau a + 2 E R_a(bM))| (Lemma 4): 6.66e-16
(iv)  min of [2tau(1-q)(a+b) - 2mu(1-p3)] - E|L|: -3.331e-16;  min of S_2 - E|L|: 5.135e-09
(v)   cells: min P - R_a over grid 1.000e-09; min T - E P(M) over 3580 admissible M 2.882e-03; min 2a tau + 2E P(M) - E|L| over 3238 enumerated M 1.519e-03
(vi)  near-dictator range: min S_2 - E|L| over 3000 random (u, a, M): 4.159e-02
RESULT: NO VIOLATION (3s)
