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