s p x x p s x x pos 0 false pos s 0 true pos s x true pos x true pos p x false pos x false s 1 p 1 pos 1 0 0 false 0 true 0 ORIENTED FULL