p m n s r p m r n p m s n 0 p 0 n m p m 0 0 m 2.2 p m n s r p m r n p m s n 0 p 0 n m true p m s n 0 p 0 n m p m n s r p m r n true s 1 1 1 p 3 1 2 3 0 p 3 0 0 0 1 NaTT certifiable-1.6