60000 admissible laws on the windows k = 30..35, 25173 with s_lo > 0; no counterexample
  k = 30: smallest s - s_lo with s_lo > 0: 2.090e-03 (s_lo = 0.132148, s = 0.134237, box (0, 10))
  k = 31: smallest s - s_lo with s_lo > 0: 8.051e-04 (s_lo = 0.356000, s = 0.356805, box (0, 10))
  k = 32: smallest s - s_lo with s_lo > 0: 2.728e-04 (s_lo = 0.232597, s = 0.232870, box (2, 9))
  k = 33: smallest s - s_lo with s_lo > 0: 1.866e-04 (s_lo = 0.112709, s = 0.112895, box (0, 3))
  k = 34: smallest s - s_lo with s_lo > 0: 1.386e-04 (s_lo = 0.033607, s = 0.033746, box (0, 1))
  k = 35: smallest s - s_lo with s_lo > 0: 5.850e-05 (s_lo = 0.242316, s = 0.242374, box (2, 5))
S5_NO_COUNTEREXAMPLE

real	0m19.747s
user	0m19.742s
sys	0m0.004s
