Re: [math-fun] mod 2^k mod p