1 MEMVERIFYR ( p , n , x )