1 MEMVERIFY ( p , n , x )