1 MEMVERIFY (
p
,
n
,
x
)