Don't break TRACE_K in the non-downsorting case.
Don't break TRACE_K in the non-downsorting case.

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs