1 MEMVERIFYR (
p
,
n
,
x
)