cons x cons x rest cons x rest orient s x 0 pair 0 s x cons x cons y rest cons z1 cons z2 rest orient x y pair z1 z2 orient s x s y pair s z1 s z2 orient x y pair z1 z2 cons 2 orient 2 s 1 0 0 pair 2 ORIENTED FULL