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