Function count_instance_linear 

pub fn count_instance_linear(n: usize, q: usize) -> SymmetricInstance

Modular counting Count_q at scale n, linear encoding (Sₙ symmetry acting on the q-subsets): variable e is its block’s points — one sort. The symmetry generators are the adjacent point transpositions, induced onto the edge variables.