Function litsym_from_points 

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

A permutation of the 2·num_vars literal points back to a literal symmetry (img[j] from where +xⱼ goes). Inverse of litsym_to_points.