sampled admissible points (u in [u3, 12/5]): {'cell': 533, 'lp': 4300, 'ms:+': 10504, 'ms:-': 5297, 'ms:c1': 5431, 'nc': 4856}
  min(cell T - bound) = +5.506e-03  (OK)
  min(cell bound - E|L|) = +3.629e-02  (OK)
  min(lp E P - E|L|) = +1.145e-02  (OK)
  min(lp T - E P) = +3.492e-04  (OK)
  min(ms:+ T - bound) = +4.252e-06  (OK)
  min(ms:+ bound - E|L|) = -2.220e-16  (OK)
  min(ms:- E P - E|L|) = +1.184e-02  (OK)
  min(ms:- T - E P) = +3.532e-02  (OK)
  min(ms:- p* - p3) = +1.650e-03  (OK)
  min(ms:c1 E P - E|L|) = +1.211e-02  (OK)
  min(ms:c1 T - E P) = +5.669e-03  (OK)
  min(nc T - bound) = +5.258e-03  (OK)
  min(nc bound - E|L|) = +5.203e-09  (OK)
max E|L|/T over all sampled points: 0.999995256560 at ('ms', '+', 2.2674430909854424, 0.5792133196205759, 0.5778749620307938, np.float64(0.574954310038651), [np.float64(1.0)])
m-split samples within 0.02 of (1,1,1)/sqrt3 in (a1, a2): 695, max E|L|/T among them 0.999995256560
RESULT: no violation

real	0m4.860s
user	0m5.041s
sys	0m0.104s
