>>826
(pr mod (p + 1)/2)^qrのpr mod (p + 1)/2はmod演算子で
A mod B=A-[A/B]*A
ただし、[]は床関数

>>828
どこが間違っているのでしょうか?