Li-Fan Chen says to YSITD
m1 * 2^d = m1^2 (mod n)