Function all_transposition_symmetries 

pub fn all_transposition_symmetries(
    num_vars: usize,
    clauses: &[Vec<Lit>],
) -> Vec<Vec<usize>>

Every single-transposition model-set symmetry — every variable swap that preserves the model set ([SemanticSymmetry]): parity-variable permutations, cardinality permutations, and residual-clause permutations alike. Broadens the wreath-tower (cardinality-only) symmetry to the FULL permutation symmetry of the whole instance — in particular the permutations of parity-only variables neither the cardinality detector nor the affine shear detector finds. Budget-bounded (n ≤ 64, C(n,2) checks).