60000 admissible laws on the windows k = 30..35, 25401 with s_lo > 0; no counterexample
  k = 30: smallest s - s_lo with s_lo > 0: 2.049e-03 (s_lo = 0.082148, s = 0.084197, box (0, 9))
  k = 31: smallest s - s_lo with s_lo > 0: 9.584e-05 (s_lo = 0.256000, s = 0.256096, box (0, 8))
  k = 32: smallest s - s_lo with s_lo > 0: 5.257e-04 (s_lo = 0.410130, s = 0.410656, box (3, 14))
  k = 33: smallest s - s_lo with s_lo > 0: 3.407e-04 (s_lo = 0.288127, s = 0.288467, box (2, 8))
  k = 34: smallest s - s_lo with s_lo > 0: 2.983e-04 (s_lo = 0.284428, s = 0.284726, box (3, 7))
  k = 35: smallest s - s_lo with s_lo > 0: 7.514e-05 (s_lo = 0.137193, s = 0.137268, box (4, 3))
S5_NO_COUNTEREXAMPLE
