v * r1 n pnorr * & gt;