Constant GROUP_DECODER_OVERHEAD 

pub const GROUP_DECODER_OVERHEAD: usize = 8;

The fixed byte cost of the group-expansion decoder (“take rep, apply the group generated by gens, output the union”). A documented constant so the inequality K̄(F) ≤ K̄(rep) + K̄(gens) + O(1) is concrete.