  K = 10.0: 921 rows in 739 s
[sensitivity K=10.0] FKS rows alone verify (C) for L in [2548.0, 3040.5] (grid 0.5; Theorem C threshold would move from 3035.00 to about this)   (1110 s)
