2^(-1) mod 7