ssp nil 0 nil sub z 0 z ssp cons y ys' v xs ssp ys' v xs ssp cons y ys' v cons y xs' sub v y w ssp ys' w xs' sub s v s w z sub v w z ssp 2 nil 0 0 0 sub 2 cons 2 s 1 ORIENTED FULL