Constant SHA_DEFAULT_LUT 

pub const SHA_DEFAULT_LUT: u32 = 65_000;

The SHA-512 line’s default LUTs (13.4 % of BASE_LUT): with it, the default chip gives the engines the same 420k they had when the line sat outside the budget.