  K = 1.0: 141 rows in 110 s
[sensitivity K=1.0] FKS rows alone verify (C) for L in [3035.0, 3040.5] (grid 0.5; Theorem C threshold would move from 3035.00 to about this)   (121 s)
