(col a b c l)/\(col d e f m) (col b f g n)/\(col c e g o) (col b d h p)/\(col a e h q) (col c d i r)/\(col a f i s) (pl a l) (pl d m) (pl b n) (pl c o) (pl b p) (pl a q) (pl c r) (pl a s) (pl b l) (pl e m) (pl f n) (pl e o) (pl d p) (pl e q) (pl d r) (pl f s) (pl c l) (pl f m) (pl g n) (pl g o) (pl h p) (pl h q) (pl i r) (pl i s) (ep a a) (ep d d) (ep b b) (ep c c) (ep e e) (ep f f) (ep g g) (ep h h) (ep i i) (el l l) (el m m) (el n n) (el o o) (el p p) (el q q) (el r r) (el s s) stack pushed, stack: (exists A:dom,(col g h i A)) \/ (pl a m) \/ (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (col g h i C0) (pl g C0) (pl h C0) (pl i C0) (el C0 C0) valid, stack: (pl a m) \/ (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (pl a m) stack pushed, stack: (ep a e) \/ (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a e) (ep e a) (pl a o) (pl e l) (pl e s) stack pushed, stack: (ep a c) \/ (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a c) (ep c a) (ep e c) (ep c e) (pl a r) (pl e r) (pl c q) (pl c s) (pl c m) stack pushed, stack: (ep d e) \/ (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep a d) (ep d a) (ep c d) (ep d c) (pl d o) (pl d q) (pl d l) (pl d s) (pl e p) (pl a p) (pl c p) stack pushed, stack: (ep a b) \/ (el l p) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep e b) (ep b e) (ep c b) (ep b c) (ep d b) (ep b d) (pl a n) (pl e n) (pl c n) (pl d n) (pl b q) (pl b s) (pl b m) (pl b o) (pl b r) stack pushed, stack: (ep d f) \/ (el m s) :: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep e f) (ep f e) (ep a f) (ep f a) (ep c f) (ep f c) (ep b f) (ep f b) (pl f p) (pl f r) (pl f o) (pl f q) (pl f l) stack pushed, stack: (ep b g) \/ (el n o) :: (el m s) :: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep e g) (ep g e) (ep c g) (ep g c) (ep d g) (ep g d) (ep f g) (ep g f) (pl g p) (pl g l) (pl g q) (pl g s) (pl g m) (pl g r) stack pushed, stack: (ep b h) \/ (el p q) :: (el n o) :: (el m s) :: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep a h) (ep h a) (ep e h) (ep h e) (ep c h) (ep h c) (ep d h) (ep h d) (ep f h) (ep h f) (ep g h) (ep h g) (pl h n) (pl h l) (pl h s) valid, stack: (el p q) :: (el n o) :: (el m s) :: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el p q) valid, stack: (el n o) :: (el m s) :: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el m s) :: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m s) (el s m) (pl i m) stack pushed, stack: (ep d i) \/ (el m r) :: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d i) (ep i d) (ep e i) (ep i e) (ep a i) (ep i a) (ep c i) (ep i c) (ep b i) (ep i b) (pl i p) (pl i o) (pl i q) (pl i l) (pl i n) stack pushed, stack: (ep d f) \/ (el m n) :: (el m r) :: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep e f) (ep f e) (ep a f) (ep f a) (ep c f) (ep f c) (ep b f) (ep f b) (ep i f) (ep f i) (pl f p) (pl f r) (pl f o) (pl f q) (pl f l) stack pushed, stack: (ep b g) \/ (el n o) :: (el m n) :: (el m r) :: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep e g) (ep g e) (ep c g) (ep g c) (ep d g) (ep g d) (ep i g) (ep g i) (ep f g) (ep g f) (pl g p) valid, stack: (el n o) :: (el m n) :: (el m r) :: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el m n) :: (el m r) :: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m n) (el n m) (el s n) (el n s) (pl g m) (pl g s) stack pushed, stack: (ep d g) \/ (el m o) :: (el m r) :: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d g) (ep g d) (ep e g) (ep g e) (ep a g) (ep g a) (ep c g) (ep g c) (ep b g) (ep g b) (ep i g) (ep g i) (pl g p) valid, stack: (el m o) :: (el m r) :: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (el s o) (el o s) (el n o) valid, stack: (el m r) :: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m r) (el r m) (el s r) valid, stack: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l p) (el p l) (pl h l) stack pushed, stack: (ep a h) \/ (el l q) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a h) (ep h a) (ep e h) (ep h e) (ep c h) (ep h c) (ep d h) (ep h d) (pl h s) (pl h m) (pl h o) (pl h r) stack pushed, stack: (ep d f) \/ (el m s) :: (el l q) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep e f) (ep f e) (ep a f) (ep f a) (ep c f) (ep f c) (ep h f) (ep f h) (pl d n) (pl e n) (pl a n) (pl c n) (pl h n) (pl f p) (pl f r) (pl f o) (pl f q) (pl f l) stack pushed, stack: (ep a b) \/ (el l n) :: (el m s) :: (el l q) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep e b) (ep b e) (ep c b) (ep b c) (ep d b) (ep b d) (ep h b) (ep b h) (ep f b) (ep b f) (pl b q) (pl b s) (pl b m) (pl b o) (pl b r) stack pushed, stack: (ep b g) \/ (el n o) :: (el l n) :: (el m s) :: (el l q) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep e g) (ep g e) (ep c g) (ep g c) (ep d g) (ep g d) (ep h g) (ep g h) (ep f g) (ep g f) (pl g p) (pl g l) (pl g q) (pl g s) valid, stack: (el n o) :: (el l n) :: (el m s) :: (el l q) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el l n) :: (el m s) :: (el l q) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l n) (el n l) (el p n) (el n p) (pl g l) (pl g p) stack pushed, stack: (ep a g) \/ (el l o) :: (el m s) :: (el l q) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a g) (ep g a) (ep e g) (ep g e) (ep c g) (ep g c) (ep d g) (ep g d) (ep h g) (ep g h) (ep f g) (ep g f) (pl g q) (pl g s) valid, stack: (el l o) :: (el m s) :: (el l q) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l o) (el o l) (el p o) (el o p) (el n o) valid, stack: (el m s) :: (el l q) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m s) (el s m) (pl i m) stack pushed, stack: (ep d i) \/ (el m r) :: (el l q) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d i) (ep i d) (ep e i) (ep i e) (ep a i) (ep i a) (ep c i) (ep i c) (ep h i) (ep i h) (pl i p) (pl i o) valid, stack: (el m r) :: (el l q) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m r) (el r m) (el s r) valid, stack: (el l q) :: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l q) (el q l) (el p q) valid, stack: (el m r) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m r) (el r m) (pl f r) (pl i m) stack pushed, stack: (ep c i) \/ (el r s) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep c i) (ep i c) (ep a i) (ep i a) (ep e i) (ep i e) (pl i o) (pl i l) (pl i q) stack pushed, stack: (ep c f) \/ (el r s) :: (el r s) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep c f) (ep f c) (ep a f) (ep f a) (ep e f) (ep f e) (ep i f) (ep f i) (pl c n) (pl a n) (pl e n) (pl i n) (pl f o) (pl f l) (pl f q) stack pushed, stack: (ep a b) \/ (el l n) :: (el r s) :: (el r s) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep e b) (ep b e) (ep c b) (ep b c) (ep i b) (ep b i) (ep f b) (ep b f) (pl a p) (pl e p) (pl c p) (pl i p) (pl f p) (pl b q) (pl b s) (pl b m) (pl b o) (pl b r) stack pushed, stack: (ep d e) \/ (el m p) :: (el l n) :: (el r s) :: (el r s) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep a d) (ep d a) (ep c d) (ep d c) (ep i d) (ep d i) (ep f d) (ep d f) (ep b d) (ep d b) (pl d o) (pl d q) (pl d l) (pl d s) (pl d n) stack pushed, stack: (ep b g) \/ (el n o) :: (el m p) :: (el l n) :: (el r s) :: (el r s) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep e g) (ep g e) (ep c g) (ep g c) (ep i g) (ep g i) (ep f g) (ep g f) (ep d g) (ep g d) (pl g p) valid, stack: (el n o) :: (el m p) :: (el l n) :: (el r s) :: (el r s) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el m p) :: (el l n) :: (el r s) :: (el r s) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m p) (el p m) (el r p) (el p r) (pl h m) (pl h r) stack pushed, stack: (ep b g) \/ (el n o) :: (el l n) :: (el r s) :: (el r s) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep e g) (ep g e) (ep c g) (ep g c) (ep i g) (ep g i) (ep f g) (ep g f) (pl g p) valid, stack: (el n o) :: (el l n) :: (el r s) :: (el r s) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el l n) :: (el r s) :: (el r s) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l n) (el n l) (pl g l) stack pushed, stack: (ep a g) \/ (el l o) :: (el r s) :: (el r s) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a g) (ep g a) (ep e g) (ep g e) (ep c g) (ep g c) (ep i g) (ep g i) (ep f g) (ep g f) (pl g q) valid, stack: (el l o) :: (el r s) :: (el r s) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l o) (el o l) (el n o) valid, stack: (el r s) :: (el r s) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el r s) (el s r) valid, stack: (el r s) :: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el r s) (el s r) valid, stack: (el l o) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l o) (el o l) (pl b o) (pl g l) stack pushed, stack: (ep b g) \/ (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (pl g p) stack pushed, stack: (ep a f) \/ (el s m) :: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a f) (ep f a) (ep e f) (ep f e) (pl a n) (pl e n) (pl f l) (pl f q) (pl f o) stack pushed, stack: (ep a b) \/ (el l n) :: (el s m) :: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep e b) (ep b e) (ep g a) (ep a g) (ep e g) (ep g e) (ep f b) (ep b f) (ep g f) (ep f g) (pl a p) (pl e p) (pl f p) (pl b q) (pl g q) (pl b s) (pl g s) (pl b m) (pl g m) stack pushed, stack: (ep d e) \/ (el m p) :: (el l n) :: (el s m) :: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep a d) (ep d a) (ep f d) (ep d f) (ep b d) (ep d b) (ep g d) (ep d g) (pl d o) (pl d q) (pl d l) (pl d s) (pl d n) (pl e r) (pl a r) (pl f r) (pl b r) (pl g r) stack pushed, stack: (ep a c) \/ (el l r) :: (el m p) :: (el l n) :: (el s m) :: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a c) (ep c a) (ep e c) (ep c e) (ep f c) (ep c f) (ep b c) (ep c b) (ep g c) (ep c g) (ep d c) (ep c d) (pl c q) (pl c s) (pl c m) (pl c n) (pl c p) stack pushed, stack: (ep b h) \/ (el p q) :: (el l r) :: (el m p) :: (el l n) :: (el s m) :: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep g h) (ep h g) (ep a h) (ep h a) (ep e h) (ep h e) (ep f h) (ep h f) (ep d h) (ep h d) (ep c h) (ep h c) (pl h n) (pl h l) (pl h o) (pl h s) valid, stack: (el p q) :: (el l r) :: (el m p) :: (el l n) :: (el s m) :: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el p q) valid, stack: (el l r) :: (el m p) :: (el l n) :: (el s m) :: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l r) (el r l) (el o r) (el r o) (pl i l) (pl i o) stack pushed, stack: (ep a i) \/ (el l s) :: (el m p) :: (el l n) :: (el s m) :: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a i) (ep i a) (ep e i) (ep i e) (ep f i) (ep i f) (ep b i) (ep i b) (ep g i) (ep i g) (ep d i) (ep i d) (pl i q) valid, stack: (el l s) :: (el m p) :: (el l n) :: (el s m) :: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l s) (el s l) (el o s) (el s o) (el r s) (el s r) valid, stack: (el m p) :: (el l n) :: (el s m) :: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m p) (el p m) (pl h m) stack pushed, stack: (ep b h) \/ (el p q) :: (el l n) :: (el s m) :: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep g h) (ep h g) (ep a h) (ep h a) (ep e h) (ep h e) (ep f h) (ep h f) (pl h n) (pl h l) (pl h o) (pl h s) valid, stack: (el p q) :: (el l n) :: (el s m) :: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el p q) valid, stack: (el l n) :: (el s m) :: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l n) (el n l) (el o n) (el n o) valid, stack: (el s m) :: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el s m) (el m s) (pl d s) (pl i m) stack pushed, stack: (ep d i) \/ (el m r) :: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d i) (ep i d) (pl i p) valid, stack: (el m r) :: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m r) (el r m) (el s r) valid, stack: (el n l) :: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n l) (el l n) (el o n) (el n o) valid, stack: (el q m) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el q m) (el m q) (pl d q) (pl f q) (pl h m) stack pushed, stack: (ep d h) \/ (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d h) (ep h d) (pl h r) stack pushed, stack: (ep a f) \/ (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a f) (ep f a) (pl a n) (pl f l) stack pushed, stack: (ep a b) \/ (el l n) :: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep f b) (ep b f) (pl a p) (pl f p) (pl b q) (pl b s) (pl b m) stack pushed, stack: (ep d f) \/ (el m p) :: (el l n) :: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep h f) (ep f h) (ep a d) (ep d a) (ep h a) (ep a h) (ep b d) (ep d b) (ep h b) (ep b h) (pl d n) (pl h n) (pl d s) (pl h s) (pl d l) (pl h l) (pl f r) (pl a r) (pl b r) stack pushed, stack: (ep a c) \/ (el l r) :: (el m p) :: (el l n) :: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a c) (ep c a) (ep f c) (ep c f) (ep b c) (ep c b) (ep d c) (ep c d) (ep h c) (ep c h) (pl a o) (pl f o) (pl b o) (pl d o) (pl h o) (pl c q) (pl c s) (pl c m) (pl c n) (pl c p) stack pushed, stack: (ep d e) \/ (el m o) :: (el l r) :: (el m p) :: (el l n) :: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep h e) (ep e h) (ep f e) (ep e f) (ep a e) (ep e a) (ep b e) (ep e b) (ep c e) (ep e c) (pl e p) (pl e r) (pl e n) (pl e s) (pl e l) stack pushed, stack: (ep b g) \/ (el n o) :: (el m o) :: (el l r) :: (el m p) :: (el l n) :: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep f g) (ep g f) (ep d g) (ep g d) (ep h g) (ep g h) (ep c g) (ep g c) (ep e g) (ep g e) (pl g p) (pl g l) (pl g q) (pl g s) valid, stack: (el n o) :: (el m o) :: (el l r) :: (el m p) :: (el l n) :: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el m o) :: (el l r) :: (el m p) :: (el l n) :: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (el q o) (el o q) (pl g m) (pl g q) stack pushed, stack: (ep d g) \/ (el m n) :: (el l r) :: (el m p) :: (el l n) :: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d g) (ep g d) (ep h g) (ep g h) (ep f g) (ep g f) (ep a g) (ep g a) (ep b g) (ep g b) (ep c g) (ep g c) (pl g p) (pl g r) valid, stack: (el m n) :: (el l r) :: (el m p) :: (el l n) :: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m n) (el n m) (el q n) (el n q) (el o n) (el n o) valid, stack: (el l r) :: (el m p) :: (el l n) :: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l r) (el r l) (pl i l) stack pushed, stack: (ep a i) \/ (el l s) :: (el m p) :: (el l n) :: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a i) (ep i a) (ep f i) (ep i f) (ep b i) (ep i b) (ep d i) (ep i d) (ep h i) (ep i h) (pl i q) (pl i m) (pl i n) valid, stack: (el l s) :: (el m p) :: (el l n) :: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l s) (el s l) (el r s) (el s r) valid, stack: (el m p) :: (el l n) :: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m p) (el p m) (el q p) (el p q) valid, stack: (el l n) :: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l n) (el n l) (pl c n) (pl g l) stack pushed, stack: (ep c g) \/ (el o l) :: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep c g) (ep g c) (pl g r) valid, stack: (el o l) :: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el o l) (el l o) (el n o) valid, stack: (el q s) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el q s) (el s q) (el m s) (el s m) (pl d s) (pl h s) (pl e s) (pl i q) (pl i m) stack pushed, stack: (ep d i) \/ (el m r) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d i) (ep i d) (ep h i) (ep i h) (pl i p) (pl a C0)/\(pl g C0) (el C0 C0) (pl d C1)/\(pl g C1) (el C1 C1) (pl h C1) (pl i C1) valid, stack: (el m r) :: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m r) (el r m) (el q r) (el r q) (el s r) valid, stack: (el m p) :: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m p) (el p m) (el q p) (el p q) valid, stack: (pl b m) \/ (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (pl b m) stack pushed, stack: (ep d b) \/ (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d b) (ep b d) (pl d n) (pl d l) (pl b r) stack pushed, stack: (ep d f) \/ (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep b f) (ep f b) (pl d s) (pl b s) (pl f p) (pl f r) (pl f l) stack pushed, stack: (ep a b) \/ (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep d a) (ep a d) (ep f a) (ep a f) (pl a n) (pl a p) (pl a m) (pl a r) (pl b q) (pl d q) (pl f q) stack pushed, stack: (ep a c) \/ (el l r) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a c) (ep c a) (ep b c) (ep c b) (ep d c) (ep c d) (ep f c) (ep c f) (pl a o) (pl b o) (pl d o) (pl f o) (pl c q) (pl c s) (pl c n) (pl c p) (pl c m) stack pushed, stack: (ep d e) \/ (el m q) :: (el l r) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep b e) (ep e b) (ep f e) (ep e f) (ep a e) (ep e a) (ep c e) (ep e c) (pl e p) (pl e r) (pl e n) (pl e l) (pl e s) stack pushed, stack: (ep b g) \/ (el n o) :: (el m q) :: (el l r) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep d g) (ep g d) (ep f g) (ep g f) (ep a g) (ep g a) (ep c g) (ep g c) (ep e g) (ep g e) (pl g p) (pl g l) (pl g m) (pl g r) (pl g s) (pl g q) stack pushed, stack: (ep b h) \/ (el p q) :: (el n o) :: (el m q) :: (el l r) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep d h) (ep h d) (ep f h) (ep h f) (ep a h) (ep h a) (ep c h) (ep h c) (ep e h) (ep h e) (ep g h) (ep h g) (pl h n) (pl h l) (pl h m) (pl h r) valid, stack: (el p q) :: (el n o) :: (el m q) :: (el l r) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el p q) valid, stack: (el n o) :: (el m q) :: (el l r) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el m q) :: (el l r) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m q) (el q m) (pl h m) stack pushed, stack: (ep d h) \/ (el m p) :: (el l r) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d h) (ep h d) (ep b h) (ep h b) (ep f h) (ep h f) (ep a h) (ep h a) (ep c h) (ep h c) (pl h r) (pl h n) (pl h l) (pl h s) (pl h o) stack pushed, stack: (ep d e) \/ (el m o) :: (el m p) :: (el l r) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep b e) (ep e b) (ep f e) (ep e f) (ep a e) (ep e a) (ep c e) (ep e c) (ep h e) (ep e h) (pl e p) (pl e r) (pl e n) (pl e l) (pl e s) stack pushed, stack: (ep b g) \/ (el n o) :: (el m o) :: (el m p) :: (el l r) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep d g) (ep g d) (ep f g) (ep g f) (ep a g) (ep g a) (ep c g) (ep g c) (ep h g) (ep g h) (ep e g) (ep g e) (pl g p) (pl g l) (pl g m) (pl g r) valid, stack: (el n o) :: (el m o) :: (el m p) :: (el l r) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el m o) :: (el m p) :: (el l r) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (el q o) (el o q) (pl g m) (pl g q) stack pushed, stack: (ep d g) \/ (el m n) :: (el m p) :: (el l r) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d g) (ep g d) (ep b g) (ep g b) (ep f g) (ep g f) (ep a g) (ep g a) (ep c g) (ep g c) (ep h g) (ep g h) (pl g p) (pl g r) valid, stack: (el m n) :: (el m p) :: (el l r) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m n) (el n m) (el q n) (el n q) (el o n) (el n o) valid, stack: (el m p) :: (el l r) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m p) (el p m) (el q p) (el p q) valid, stack: (el l r) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l r) (el r l) (pl i l) stack pushed, stack: (ep a i) \/ (el l s) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a i) (ep i a) (ep b i) (ep i b) (ep d i) (ep i d) (ep f i) (ep i f) (pl i q) (pl i n) (pl i p) (pl i m) stack pushed, stack: (ep d e) \/ (el m q) :: (el l s) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep b e) (ep e b) (ep f e) (ep e f) (ep a e) (ep e a) (ep i e) (ep e i) (pl d o) (pl b o) (pl f o) (pl a o) (pl i o) (pl e p) (pl e r) (pl e n) (pl e l) (pl e s) stack pushed, stack: (ep a c) \/ (el l o) :: (el m q) :: (el l s) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a c) (ep c a) (ep b c) (ep c b) (ep d c) (ep c d) (ep f c) (ep c f) (ep i c) (ep c i) (ep e c) (ep c e) (pl c q) (pl c s) (pl c n) (pl c p) (pl c m) stack pushed, stack: (ep b g) \/ (el n o) :: (el l o) :: (el m q) :: (el l s) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep d g) (ep g d) (ep f g) (ep g f) (ep a g) (ep g a) (ep i g) (ep g i) (ep e g) (ep g e) (ep c g) (ep g c) (pl g p) valid, stack: (el n o) :: (el l o) :: (el m q) :: (el l s) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el l o) :: (el m q) :: (el l s) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l o) (el o l) (el r o) (el o r) (pl g l) (pl g r) stack pushed, stack: (ep a g) \/ (el l n) :: (el m q) :: (el l s) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a g) (ep g a) (ep b g) (ep g b) (ep d g) (ep g d) (ep f g) (ep g f) (ep i g) (ep g i) (ep e g) (ep g e) (pl g q) valid, stack: (el l n) :: (el m q) :: (el l s) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l n) (el n l) (el r n) (el n r) (el o n) (el n o) valid, stack: (el m q) :: (el l s) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m q) (el q m) (pl h m) stack pushed, stack: (ep d h) \/ (el m p) :: (el l s) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d h) (ep h d) (ep b h) (ep h b) (ep f h) (ep h f) (ep a h) (ep h a) (ep i h) (ep h i) (pl h r) (pl h n) valid, stack: (el m p) :: (el l s) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m p) (el p m) (el q p) (el p q) valid, stack: (el l s) :: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l s) (el s l) (el r s) (el s r) valid, stack: (el l s) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l s) (el s l) (pl c s) (pl i l) stack pushed, stack: (ep c d) \/ (el r l) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep c d) (ep d c) (ep b c) (ep c b) (ep f c) (ep c f) (pl c m) (pl c p) (pl c n) (pl d o) (pl b o) (pl f o) stack pushed, stack: (ep d e) \/ (el m o) :: (el r l) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep b e) (ep e b) (ep f e) (ep e f) (ep c e) (ep e c) (pl d q) (pl b q) (pl f q) (pl c q) (pl e p) (pl e r) (pl e n) (pl e l) (pl e s) stack pushed, stack: (ep a b) \/ (el l q) :: (el m o) :: (el r l) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep d a) (ep a d) (ep f a) (ep a f) (ep c a) (ep a c) (ep e a) (ep a e) (pl a n) (pl a p) (pl a m) (pl a r) (pl a o) stack pushed, stack: (ep a i) \/ (el l r) :: (el l q) :: (el m o) :: (el r l) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a i) (ep i a) (ep b i) (ep i b) (ep d i) (ep i d) (ep f i) (ep i f) (ep c i) (ep i c) (ep e i) (ep i e) (pl i q) (pl i n) (pl i p) (pl i m) (pl i o) stack pushed, stack: (ep b g) \/ (el n o) :: (el l r) :: (el l q) :: (el m o) :: (el r l) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep d g) (ep g d) (ep f g) (ep g f) (ep c g) (ep g c) (ep e g) (ep g e) (ep a g) (ep g a) (ep i g) (ep g i) (pl g p) valid, stack: (el n o) :: (el l r) :: (el l q) :: (el m o) :: (el r l) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el l r) :: (el l q) :: (el m o) :: (el r l) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l r) (el r l) (el s r) valid, stack: (el l q) :: (el m o) :: (el r l) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l q) (el q l) (el s q) (el q s) (pl h l) (pl h s) (pl i q) stack pushed, stack: (ep b g) \/ (el n o) :: (el m o) :: (el r l) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep d g) (ep g d) (ep f g) (ep g f) (ep c g) (ep g c) (ep e g) (ep g e) (pl g p) (pl g l) valid, stack: (el n o) :: (el m o) :: (el r l) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el m o) :: (el r l) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (pl g m) stack pushed, stack: (ep d g) \/ (el m n) :: (el r l) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d g) (ep g d) (ep b g) (ep g b) (ep f g) (ep g f) (ep c g) (ep g c) (pl g p) (pl g r) (pl g l) (pl g s) stack pushed, stack: (ep c i) \/ (el r l) :: (el m n) :: (el r l) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep c i) (ep i c) (ep d i) (ep i d) (ep b i) (ep i b) (ep f i) (ep i f) (ep g i) (ep i g) (pl i o) (pl i m) (pl i p) valid, stack: (el r l) :: (el m n) :: (el r l) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el r l) (el l r) (el s r) valid, stack: (el m n) :: (el r l) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m n) (el n m) (el o n) (el n o) valid, stack: (el r l) :: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el r l) (el l r) (el s r) valid, stack: (el m n) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m n) (el n m) (pl e n) (pl g m) stack pushed, stack: (ep c d) \/ (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep c d) (ep d c) (ep b c) (ep c b) (pl c m) (pl c p) (pl c n) (pl d o) (pl b o) stack pushed, stack: (ep d e) \/ (el m o) :: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep b e) (ep e b) (ep c e) (ep e c) (pl d q) (pl b q) (pl c q) (pl e p) (pl e r) (pl e l) stack pushed, stack: (ep a b) \/ (el l q) :: (el m o) :: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep d a) (ep a d) (ep c a) (ep a c) (ep e a) (ep a e) (pl a n) (pl a p) (pl a m) (pl a r) (pl a o) (pl b s) (pl d s) (pl c s) (pl e s) stack pushed, stack: (ep d g) \/ (el m o) :: (el l q) :: (el m o) :: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d g) (ep g d) (ep b g) (ep g b) (ep c g) (ep g c) (ep e g) (ep g e) (ep a g) (ep g a) (pl g p) (pl g r) (pl g l) (pl g q) (pl g s) stack pushed, stack: (ep d f) \/ (el m s) :: (el m o) :: (el l q) :: (el m o) :: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep b f) (ep f b) (ep c f) (ep f c) (ep e f) (ep f e) (ep a f) (ep f a) (ep g f) (ep f g) (pl f p) (pl f r) (pl f l) (pl f o) (pl f q) stack pushed, stack: (ep b h) \/ (el p q) :: (el m s) :: (el m o) :: (el l q) :: (el m o) :: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep d h) (ep h d) (ep c h) (ep h c) (ep e h) (ep h e) (ep a h) (ep h a) (ep g h) (ep h g) (ep f h) (ep h f) (pl h n) (pl h l) (pl h m) (pl h r) valid, stack: (el p q) :: (el m s) :: (el m o) :: (el l q) :: (el m o) :: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el p q) valid, stack: (el m s) :: (el m o) :: (el l q) :: (el m o) :: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m s) (el s m) (el n s) (el s n) (pl i m) (pl i n) stack pushed, stack: (ep d i) \/ (el m r) :: (el m o) :: (el l q) :: (el m o) :: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d i) (ep i d) (ep b i) (ep i b) (ep c i) (ep i c) (ep e i) (ep i e) (ep a i) (ep i a) (ep g i) (ep i g) (pl i p) valid, stack: (el m r) :: (el m o) :: (el l q) :: (el m o) :: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m r) (el r m) (el n r) (el r n) (el s r) valid, stack: (el m o) :: (el l q) :: (el m o) :: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (el n o) valid, stack: (el l q) :: (el m o) :: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l q) (el q l) (pl h l) stack pushed, stack: (ep d g) \/ (el m o) :: (el m o) :: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d g) (ep g d) (ep b g) (ep g b) (ep c g) (ep g c) (ep e g) (ep g e) (pl g p) (pl g r) (pl g l) (pl g q) stack pushed, stack: (ep b h) \/ (el p l) :: (el m o) :: (el m o) :: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep d h) (ep h d) (ep c h) (ep h c) (ep e h) (ep h e) (ep g h) (ep h g) (pl h n) (pl h m) (pl h r) valid, stack: (el p l) :: (el m o) :: (el m o) :: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el p l) (el l p) (el q p) (el p q) valid, stack: (el m o) :: (el m o) :: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (el n o) valid, stack: (el m o) :: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (el n o) valid, stack: (el r l) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el r l) (el l r) (pl a r) (pl i l) stack pushed, stack: (ep a i) \/ (el l s) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a i) (ep i a) (pl i q) stack pushed, stack: (ep e g) \/ (el m o) :: (el l s) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep e g) (ep g e) (pl g q) valid, stack: (el m o) :: (el l s) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (el n o) valid, stack: (el l s) :: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l s) (el s l) (el r s) (el s r) valid, stack: (el m p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m p) (el p m) (pl e p) (pl f p) (pl h m) stack pushed, stack: (ep b f) \/ (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b f) (ep f b) (pl b s) (pl f l) stack pushed, stack: (ep a b) \/ (el l s) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep f a) (ep a f) (pl a n) (pl a p) (pl a m) (pl b q) (pl f q) stack pushed, stack: (ep b h) \/ (el p q) :: (el l s) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep f h) (ep h f) (ep a h) (ep h a) (pl h n) (pl h l) (pl h s) stack pushed, stack: (ep b e) \/ (el p q) :: (el p q) :: (el l s) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b e) (ep e b) (ep f e) (ep e f) (ep a e) (ep e a) (ep h e) (ep e h) (pl b o) (pl f o) (pl a o) (pl h o) (pl e n) (pl e l) (pl e s) stack pushed, stack: (ep a c) \/ (el l o) :: (el p q) :: (el p q) :: (el l s) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a c) (ep c a) (ep b c) (ep c b) (ep f c) (ep c f) (ep h c) (ep c h) (ep e c) (ep c e) (pl a r) (pl b r) (pl f r) (pl h r) (pl e r) (pl c q) (pl c s) (pl c n) (pl c p) (pl c m) stack pushed, stack: (ep d e) \/ (el m r) :: (el l o) :: (el p q) :: (el p q) :: (el l s) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep b d) (ep d b) (ep f d) (ep d f) (ep a d) (ep d a) (ep h d) (ep d h) (ep c d) (ep d c) (pl d o) (pl d q) (pl d n) (pl d l) (pl d s) stack pushed, stack: (ep b g) \/ (el n o) :: (el m r) :: (el l o) :: (el p q) :: (el p q) :: (el l s) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep f g) (ep g f) (ep a g) (ep g a) (ep h g) (ep g h) (ep e g) (ep g e) (ep c g) (ep g c) (ep d g) (ep g d) (pl g p) (pl g l) (pl g m) (pl g s) valid, stack: (el n o) :: (el m r) :: (el l o) :: (el p q) :: (el p q) :: (el l s) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el m r) :: (el l o) :: (el p q) :: (el p q) :: (el l s) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m r) (el r m) (el p r) (el r p) (pl i m) (pl i p) stack pushed, stack: (ep b g) \/ (el n o) :: (el l o) :: (el p q) :: (el p q) :: (el l s) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep f g) (ep g f) (ep a g) (ep g a) (ep h g) (ep g h) (ep e g) (ep g e) (ep c g) (ep g c) (pl g p) valid, stack: (el n o) :: (el l o) :: (el p q) :: (el p q) :: (el l s) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el l o) :: (el p q) :: (el p q) :: (el l s) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l o) (el o l) (pl g l) stack pushed, stack: (ep a g) \/ (el l n) :: (el p q) :: (el p q) :: (el l s) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a g) (ep g a) (ep b g) (ep g b) (ep f g) (ep g f) (ep h g) (ep g h) (ep e g) (ep g e) (pl g q) (pl g s) valid, stack: (el l n) :: (el p q) :: (el p q) :: (el l s) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l n) (el n l) (el o n) (el n o) valid, stack: (el p q) :: (el p q) :: (el l s) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el p q) valid, stack: (el p q) :: (el l s) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el p q) valid, stack: (el l s) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l s) (el s l) (pl c s) (pl i l) stack pushed, stack: (ep c i) \/ (el r l) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep c i) (ep i c) (pl i o) stack pushed, stack: (ep e h) \/ (el m q) :: (el r l) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep e h) (ep h e) (pl h o) valid, stack: (el m q) :: (el r l) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m q) (el q m) (el p q) valid, stack: (el r l) :: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el r l) (el l r) (el s r) valid, stack: (el n p) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n p) (el p n) (el m n) (el n m) (pl d n) (pl e n) (pl g p) (pl g m) (pl h n) stack pushed, stack: (ep e g) \/ (el m o) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep e g) (ep g e) (pl g q) stack pushed, stack: (ep e h) \/ (el m q) :: (el m o) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep e h) (ep h e) (ep g h) (ep h g) (pl h o) (pl a C0)/\(pl d C0) (el C0 C0) (pl b C1)/\(pl i C1) (el C1 C1) (pl c C2)/\(pl f C2) (el C2 C2) (pl e C3)/\(pl i C3) (el C3 C3) (pl g C3) (pl h C3) valid, stack: (el m q) :: (el m o) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m q) (el q m) (el p q) valid, stack: (el m o) :: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (el p o) (el o p) (el n o) valid, stack: (pl c m) \/ (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (pl c m) stack pushed, stack: (ep d c) \/ (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d c) (ep c d) (pl d o) (pl d l) (pl c p) stack pushed, stack: (ep d e) \/ (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep c e) (ep e c) (pl d q) (pl c q) (pl e p) (pl e r) (pl e l) stack pushed, stack: (ep a c) \/ (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a c) (ep c a) (ep d a) (ep a d) (ep e a) (ep a e) (pl a o) (pl a r) (pl a m) (pl a p) (pl c s) (pl d s) (pl e s) stack pushed, stack: (ep a b) \/ (el l p) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep c b) (ep b c) (ep d b) (ep b d) (ep e b) (ep b e) (pl a n) (pl c n) (pl d n) (pl e n) (pl b q) (pl b s) (pl b o) (pl b r) (pl b m) stack pushed, stack: (ep d f) \/ (el m s) :: (el l p) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep c f) (ep f c) (ep e f) (ep f e) (ep a f) (ep f a) (ep b f) (ep f b) (pl f p) (pl f r) (pl f o) (pl f l) (pl f q) stack pushed, stack: (ep b g) \/ (el n o) :: (el m s) :: (el l p) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep c g) (ep g c) (ep d g) (ep g d) (ep e g) (ep g e) (ep f g) (ep g f) (pl g p) (pl g l) (pl g q) (pl g s) (pl g r) (pl g m) stack pushed, stack: (ep b h) \/ (el p q) :: (el n o) :: (el m s) :: (el l p) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep a h) (ep h a) (ep c h) (ep h c) (ep d h) (ep h d) (ep e h) (ep h e) (ep f h) (ep h f) (ep g h) (ep h g) (pl h n) (pl h l) (pl h s) valid, stack: (el p q) :: (el n o) :: (el m s) :: (el l p) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el p q) valid, stack: (el n o) :: (el m s) :: (el l p) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el m s) :: (el l p) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m s) (el s m) (pl i m) stack pushed, stack: (ep d i) \/ (el m r) :: (el l p) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d i) (ep i d) (ep c i) (ep i c) (ep e i) (ep i e) (ep a i) (ep i a) (ep b i) (ep i b) (pl i p) (pl i o) (pl i l) (pl i q) (pl i n) stack pushed, stack: (ep d f) \/ (el m n) :: (el m r) :: (el l p) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep c f) (ep f c) (ep e f) (ep f e) (ep a f) (ep f a) (ep b f) (ep f b) (ep i f) (ep f i) (pl f p) (pl f r) (pl f o) (pl f l) (pl f q) stack pushed, stack: (ep b g) \/ (el n o) :: (el m n) :: (el m r) :: (el l p) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep c g) (ep g c) (ep d g) (ep g d) (ep e g) (ep g e) (ep i g) (ep g i) (ep f g) (ep g f) (pl g p) valid, stack: (el n o) :: (el m n) :: (el m r) :: (el l p) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el m n) :: (el m r) :: (el l p) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m n) (el n m) (el s n) (el n s) (pl g m) (pl g s) stack pushed, stack: (ep d g) \/ (el m o) :: (el m r) :: (el l p) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d g) (ep g d) (ep c g) (ep g c) (ep e g) (ep g e) (ep a g) (ep g a) (ep b g) (ep g b) (ep i g) (ep g i) (pl g p) valid, stack: (el m o) :: (el m r) :: (el l p) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (el s o) (el o s) (el n o) valid, stack: (el m r) :: (el l p) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m r) (el r m) (el s r) valid, stack: (el l p) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l p) (el p l) (pl h l) stack pushed, stack: (ep a h) \/ (el l q) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a h) (ep h a) (ep c h) (ep h c) (ep d h) (ep h d) (ep e h) (ep h e) (pl h s) (pl h o) (pl h r) (pl h m) stack pushed, stack: (ep d f) \/ (el m s) :: (el l q) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep c f) (ep f c) (ep e f) (ep f e) (ep a f) (ep f a) (ep h f) (ep f h) (pl d n) (pl c n) (pl e n) (pl a n) (pl h n) (pl f p) (pl f r) (pl f o) (pl f l) (pl f q) stack pushed, stack: (ep a b) \/ (el l n) :: (el m s) :: (el l q) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep c b) (ep b c) (ep d b) (ep b d) (ep e b) (ep b e) (ep h b) (ep b h) (ep f b) (ep b f) (pl b q) (pl b s) (pl b o) (pl b r) (pl b m) stack pushed, stack: (ep b g) \/ (el n o) :: (el l n) :: (el m s) :: (el l q) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep c g) (ep g c) (ep d g) (ep g d) (ep e g) (ep g e) (ep h g) (ep g h) (ep f g) (ep g f) (pl g p) (pl g l) (pl g q) (pl g s) valid, stack: (el n o) :: (el l n) :: (el m s) :: (el l q) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el l n) :: (el m s) :: (el l q) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l n) (el n l) (el p n) (el n p) (pl g l) (pl g p) stack pushed, stack: (ep a g) \/ (el l o) :: (el m s) :: (el l q) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a g) (ep g a) (ep c g) (ep g c) (ep d g) (ep g d) (ep e g) (ep g e) (ep h g) (ep g h) (ep f g) (ep g f) (pl g q) (pl g s) valid, stack: (el l o) :: (el m s) :: (el l q) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l o) (el o l) (el p o) (el o p) (el n o) valid, stack: (el m s) :: (el l q) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m s) (el s m) (pl i m) stack pushed, stack: (ep d i) \/ (el m r) :: (el l q) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d i) (ep i d) (ep c i) (ep i c) (ep e i) (ep i e) (ep a i) (ep i a) (ep h i) (ep i h) (pl i p) (pl i o) valid, stack: (el m r) :: (el l q) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m r) (el r m) (el s r) valid, stack: (el l q) :: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l q) (el q l) (el p q) valid, stack: (el l q) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l q) (el q l) (pl b q) (pl h l) stack pushed, stack: (ep b d) \/ (el p l) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b d) (ep d b) (ep c b) (ep b c) (ep e b) (ep b e) (pl b m) (pl b r) (pl b o) (pl d n) (pl c n) (pl e n) stack pushed, stack: (ep d f) \/ (el m n) :: (el p l) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep c f) (ep f c) (ep e f) (ep f e) (ep b f) (ep f b) (pl d s) (pl c s) (pl e s) (pl b s) (pl f p) (pl f r) (pl f o) (pl f l) (pl f q) stack pushed, stack: (ep a b) \/ (el l s) :: (el m n) :: (el p l) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep d a) (ep a d) (ep c a) (ep a c) (ep e a) (ep a e) (ep f a) (ep a f) (pl a n) (pl a p) (pl a m) (pl a r) (pl a o) stack pushed, stack: (ep a h) \/ (el l p) :: (el l s) :: (el m n) :: (el p l) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a h) (ep h a) (ep b h) (ep h b) (ep d h) (ep h d) (ep c h) (ep h c) (ep e h) (ep h e) (ep f h) (ep h f) (pl h s) (pl h n) (pl h m) (pl h r) (pl h o) stack pushed, stack: (ep b g) \/ (el n o) :: (el l p) :: (el l s) :: (el m n) :: (el p l) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep d g) (ep g d) (ep c g) (ep g c) (ep e g) (ep g e) (ep f g) (ep g f) (ep a g) (ep g a) (ep h g) (ep g h) (pl g p) (pl g l) (pl g q) (pl g m) (pl g r) valid, stack: (el n o) :: (el l p) :: (el l s) :: (el m n) :: (el p l) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el l p) :: (el l s) :: (el m n) :: (el p l) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l p) (el p l) (el q p) (el p q) valid, stack: (el l s) :: (el m n) :: (el p l) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l s) (el s l) (el q s) (el s q) (pl h s) (pl i l) (pl i q) stack pushed, stack: (ep b g) \/ (el n o) :: (el m n) :: (el p l) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep d g) (ep g d) (ep c g) (ep g c) (ep e g) (ep g e) (ep f g) (ep g f) (pl g p) (pl g l) valid, stack: (el n o) :: (el m n) :: (el p l) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el m n) :: (el p l) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m n) (el n m) (pl g m) stack pushed, stack: (ep d g) \/ (el m o) :: (el p l) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d g) (ep g d) (ep c g) (ep g c) (ep e g) (ep g e) (ep b g) (ep g b) (pl g p) (pl g r) (pl g l) (pl g q) stack pushed, stack: (ep b h) \/ (el p l) :: (el m o) :: (el p l) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep d h) (ep h d) (ep c h) (ep h c) (ep e h) (ep h e) (ep g h) (ep h g) (pl h n) (pl h m) (pl h r) valid, stack: (el p l) :: (el m o) :: (el p l) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el p l) (el l p) (el q p) (el p q) valid, stack: (el m o) :: (el p l) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (el n o) valid, stack: (el p l) :: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el p l) (el l p) (el q p) (el p q) valid, stack: (el m o) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (pl f o) (pl g m) stack pushed, stack: (ep b d) \/ (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b d) (ep d b) (ep c b) (ep b c) (pl b m) (pl b r) (pl b o) (pl d n) (pl c n) stack pushed, stack: (ep d f) \/ (el m n) :: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep c f) (ep f c) (ep b f) (ep f b) (pl d s) (pl c s) (pl b s) (pl f p) (pl f r) (pl f l) stack pushed, stack: (ep a b) \/ (el l s) :: (el m n) :: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep d a) (ep a d) (ep c a) (ep a c) (ep f a) (ep a f) (pl a n) (pl a p) (pl a m) (pl a r) (pl a o) (pl b q) (pl d q) (pl c q) (pl f q) stack pushed, stack: (ep d g) \/ (el m n) :: (el l s) :: (el m n) :: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d g) (ep g d) (ep c g) (ep g c) (ep b g) (ep g b) (ep f g) (ep g f) (ep a g) (ep g a) (pl g p) (pl g r) (pl g l) (pl g s) (pl g q) stack pushed, stack: (ep d e) \/ (el m q) :: (el m n) :: (el l s) :: (el m n) :: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep c e) (ep e c) (ep b e) (ep e b) (ep f e) (ep e f) (ep a e) (ep e a) (ep g e) (ep e g) (pl e p) (pl e r) (pl e l) (pl e n) (pl e s) stack pushed, stack: (ep b h) \/ (el p q) :: (el m q) :: (el m n) :: (el l s) :: (el m n) :: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep d h) (ep h d) (ep c h) (ep h c) (ep f h) (ep h f) (ep a h) (ep h a) (ep g h) (ep h g) (ep e h) (ep h e) (pl h n) (pl h l) (pl h m) (pl h r) valid, stack: (el p q) :: (el m q) :: (el m n) :: (el l s) :: (el m n) :: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el p q) valid, stack: (el m q) :: (el m n) :: (el l s) :: (el m n) :: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m q) (el q m) (el o q) (el q o) (pl h m) (pl h o) stack pushed, stack: (ep d h) \/ (el m p) :: (el m n) :: (el l s) :: (el m n) :: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d h) (ep h d) (ep c h) (ep h c) (ep b h) (ep h b) (ep f h) (ep h f) (ep a h) (ep h a) (ep g h) (ep h g) (pl h r) valid, stack: (el m p) :: (el m n) :: (el l s) :: (el m n) :: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m p) (el p m) (el o p) (el p o) (el q p) (el p q) valid, stack: (el m n) :: (el l s) :: (el m n) :: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m n) (el n m) (el o n) (el n o) valid, stack: (el l s) :: (el m n) :: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l s) (el s l) (pl i l) stack pushed, stack: (ep d g) \/ (el m n) :: (el m n) :: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d g) (ep g d) (ep c g) (ep g c) (ep b g) (ep g b) (ep f g) (ep g f) (pl g p) (pl g r) (pl g l) (pl g s) stack pushed, stack: (ep c i) \/ (el r l) :: (el m n) :: (el m n) :: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep c i) (ep i c) (ep d i) (ep i d) (ep b i) (ep i b) (ep f i) (ep i f) (ep g i) (ep i g) (pl i o) (pl i m) (pl i p) valid, stack: (el r l) :: (el m n) :: (el m n) :: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el r l) (el l r) (el s r) valid, stack: (el m n) :: (el m n) :: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m n) (el n m) (el o n) (el n o) valid, stack: (el m n) :: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m n) (el n m) (el o n) (el n o) valid, stack: (el p l) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el p l) (el l p) (pl a p) (pl h l) stack pushed, stack: (ep a h) \/ (el l q) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a h) (ep h a) (pl h s) stack pushed, stack: (ep f g) \/ (el n m) :: (el l q) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep f g) (ep g f) (pl g s) valid, stack: (el n m) :: (el l q) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n m) (el m n) (el o n) (el n o) valid, stack: (el l q) :: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l q) (el q l) (el p q) valid, stack: (el m r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m r) (el r m) (pl e r) (pl f r) (pl i m) stack pushed, stack: (ep c e) \/ (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep c e) (ep e c) (pl c q) (pl e l) stack pushed, stack: (ep a c) \/ (el l q) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a c) (ep c a) (ep e a) (ep a e) (pl a o) (pl a r) (pl a m) (pl c s) (pl e s) stack pushed, stack: (ep c i) \/ (el r s) :: (el l q) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep c i) (ep i c) (ep e i) (ep i e) (ep a i) (ep i a) (pl i o) (pl i l) (pl i q) stack pushed, stack: (ep c f) \/ (el r s) :: (el r s) :: (el l q) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep c f) (ep f c) (ep e f) (ep f e) (ep a f) (ep f a) (ep i f) (ep f i) (pl c n) (pl e n) (pl a n) (pl i n) (pl f o) (pl f l) (pl f q) stack pushed, stack: (ep a b) \/ (el l n) :: (el r s) :: (el r s) :: (el l q) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep c b) (ep b c) (ep e b) (ep b e) (ep i b) (ep b i) (ep f b) (ep b f) (pl a p) (pl c p) (pl e p) (pl i p) (pl f p) (pl b q) (pl b s) (pl b o) (pl b r) (pl b m) stack pushed, stack: (ep d e) \/ (el m p) :: (el l n) :: (el r s) :: (el r s) :: (el l q) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep c d) (ep d c) (ep a d) (ep d a) (ep i d) (ep d i) (ep f d) (ep d f) (ep b d) (ep d b) (pl d o) (pl d q) (pl d l) (pl d s) (pl d n) stack pushed, stack: (ep b g) \/ (el n o) :: (el m p) :: (el l n) :: (el r s) :: (el r s) :: (el l q) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep c g) (ep g c) (ep e g) (ep g e) (ep i g) (ep g i) (ep f g) (ep g f) (ep d g) (ep g d) (pl g p) valid, stack: (el n o) :: (el m p) :: (el l n) :: (el r s) :: (el r s) :: (el l q) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el m p) :: (el l n) :: (el r s) :: (el r s) :: (el l q) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el m p) (el p m) (el r p) (el p r) (pl h m) (pl h r) stack pushed, stack: (ep b g) \/ (el n o) :: (el l n) :: (el r s) :: (el r s) :: (el l q) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep c g) (ep g c) (ep e g) (ep g e) (ep i g) (ep g i) (ep f g) (ep g f) (pl g p) valid, stack: (el n o) :: (el l n) :: (el r s) :: (el r s) :: (el l q) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el l n) :: (el r s) :: (el r s) :: (el l q) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l n) (el n l) (pl g l) stack pushed, stack: (ep a g) \/ (el l o) :: (el r s) :: (el r s) :: (el l q) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a g) (ep g a) (ep c g) (ep g c) (ep e g) (ep g e) (ep i g) (ep g i) (ep f g) (ep g f) (pl g q) valid, stack: (el l o) :: (el r s) :: (el r s) :: (el l q) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l o) (el o l) (el n o) valid, stack: (el r s) :: (el r s) :: (el l q) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el r s) (el s r) valid, stack: (el r s) :: (el l q) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el r s) (el s r) valid, stack: (el l q) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el l q) (el q l) (pl b q) (pl h l) stack pushed, stack: (ep b h) \/ (el p l) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (pl h n) stack pushed, stack: (ep f i) \/ (el s m) :: (el p l) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep f i) (ep i f) (pl i n) valid, stack: (el s m) :: (el p l) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el s m) (el m s) (el r s) (el s r) valid, stack: (el p l) :: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el p l) (el l p) (el q p) (el p q) valid, stack: (el o r) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el o r) (el r o) (el m o) (el o m) (pl d o) (pl f o) (pl g r) (pl g m) (pl i o) stack pushed, stack: (ep f g) \/ (el n m) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep f g) (ep g f) (pl g s) stack pushed, stack: (ep f i) \/ (el s m) :: (el n m) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (ep f i) (ep i f) (ep g i) (ep i g) (pl i n) (pl a C0)/\(pl d C0) (el C0 C0) (pl b C1)/\(pl e C1) (el C1 C1) (pl c C2)/\(pl h C2) (el C2 C2) (pl f C3)/\(pl h C3) (el C3 C3) (pl g C3) (pl i C3) valid, stack: (el s m) :: (el n m) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el s m) (el m s) (el r s) (el s r) valid, stack: (el n m) :: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack popped: (el n m) (el m n) (el r n) (el n r) (el o n) (el n o) valid, stack: (pl d l) \/ (pl e l) \/ (pl f l) :: nil stack top tailed: (pl d l) stack pushed, stack: (ep b d) \/ (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b d) (ep d b) (pl b m) (pl b r) (pl d n) stack pushed, stack: (ep d f) \/ (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep b f) (ep f b) (pl d s) (pl b s) (pl f p) (pl f r) (pl f l) stack pushed, stack: (ep a b) \/ (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep d a) (ep a d) (ep f a) (ep a f) (pl a n) (pl a p) (pl a m) (pl a r) (pl b q) (pl d q) (pl f q) stack pushed, stack: (ep a c) \/ (el l r) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a c) (ep c a) (ep b c) (ep c b) (ep d c) (ep c d) (ep f c) (ep c f) (pl a o) (pl b o) (pl d o) (pl f o) (pl c q) (pl c s) (pl c n) (pl c p) (pl c m) stack pushed, stack: (ep d e) \/ (el m q) :: (el l r) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep b e) (ep e b) (ep f e) (ep e f) (ep a e) (ep e a) (ep c e) (ep e c) (pl e p) (pl e r) (pl e l) (pl e n) (pl e s) stack pushed, stack: (ep b g) \/ (el n o) :: (el m q) :: (el l r) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep d g) (ep g d) (ep f g) (ep g f) (ep a g) (ep g a) (ep c g) (ep g c) (ep e g) (ep g e) (pl g p) (pl g l) (pl g m) (pl g r) (pl g s) (pl g q) stack pushed, stack: (ep b h) \/ (el p q) :: (el n o) :: (el m q) :: (el l r) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep d h) (ep h d) (ep f h) (ep h f) (ep a h) (ep h a) (ep c h) (ep h c) (ep e h) (ep h e) (ep g h) (ep h g) (pl h n) (pl h l) (pl h m) (pl h r) valid, stack: (el p q) :: (el n o) :: (el m q) :: (el l r) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el p q) valid, stack: (el n o) :: (el m q) :: (el l r) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el m q) :: (el l r) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m q) (el q m) (pl h m) stack pushed, stack: (ep d h) \/ (el m p) :: (el l r) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d h) (ep h d) (ep b h) (ep h b) (ep f h) (ep h f) (ep a h) (ep h a) (ep c h) (ep h c) (pl h r) (pl h l) (pl h n) (pl h s) (pl h o) stack pushed, stack: (ep d e) \/ (el m o) :: (el m p) :: (el l r) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep b e) (ep e b) (ep f e) (ep e f) (ep a e) (ep e a) (ep c e) (ep e c) (ep h e) (ep e h) (pl e p) (pl e r) (pl e l) (pl e n) (pl e s) stack pushed, stack: (ep b g) \/ (el n o) :: (el m o) :: (el m p) :: (el l r) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep d g) (ep g d) (ep f g) (ep g f) (ep a g) (ep g a) (ep c g) (ep g c) (ep h g) (ep g h) (ep e g) (ep g e) (pl g p) (pl g l) (pl g m) (pl g r) valid, stack: (el n o) :: (el m o) :: (el m p) :: (el l r) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el m o) :: (el m p) :: (el l r) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (el q o) (el o q) (pl g m) (pl g q) stack pushed, stack: (ep d g) \/ (el m n) :: (el m p) :: (el l r) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d g) (ep g d) (ep b g) (ep g b) (ep f g) (ep g f) (ep a g) (ep g a) (ep c g) (ep g c) (ep h g) (ep g h) (pl g p) (pl g r) valid, stack: (el m n) :: (el m p) :: (el l r) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m n) (el n m) (el q n) (el n q) (el o n) (el n o) valid, stack: (el m p) :: (el l r) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m p) (el p m) (el q p) (el p q) valid, stack: (el l r) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el l r) (el r l) (pl i l) stack pushed, stack: (ep a i) \/ (el l s) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a i) (ep i a) (ep b i) (ep i b) (ep d i) (ep i d) (ep f i) (ep i f) (pl i q) (pl i n) (pl i p) (pl i m) stack pushed, stack: (ep d e) \/ (el m q) :: (el l s) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep b e) (ep e b) (ep f e) (ep e f) (ep a e) (ep e a) (ep i e) (ep e i) (pl d o) (pl b o) (pl f o) (pl a o) (pl i o) (pl e p) (pl e r) (pl e l) (pl e n) (pl e s) stack pushed, stack: (ep a c) \/ (el l o) :: (el m q) :: (el l s) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a c) (ep c a) (ep b c) (ep c b) (ep d c) (ep c d) (ep f c) (ep c f) (ep i c) (ep c i) (ep e c) (ep c e) (pl c q) (pl c s) (pl c n) (pl c p) (pl c m) stack pushed, stack: (ep b g) \/ (el n o) :: (el l o) :: (el m q) :: (el l s) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep d g) (ep g d) (ep f g) (ep g f) (ep a g) (ep g a) (ep i g) (ep g i) (ep e g) (ep g e) (ep c g) (ep g c) (pl g p) valid, stack: (el n o) :: (el l o) :: (el m q) :: (el l s) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el l o) :: (el m q) :: (el l s) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el l o) (el o l) (el r o) (el o r) (pl g l) (pl g r) stack pushed, stack: (ep a g) \/ (el l n) :: (el m q) :: (el l s) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a g) (ep g a) (ep b g) (ep g b) (ep d g) (ep g d) (ep f g) (ep g f) (ep i g) (ep g i) (ep e g) (ep g e) (pl g q) valid, stack: (el l n) :: (el m q) :: (el l s) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el l n) (el n l) (el r n) (el n r) (el o n) (el n o) valid, stack: (el m q) :: (el l s) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m q) (el q m) (pl h m) stack pushed, stack: (ep d h) \/ (el m p) :: (el l s) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d h) (ep h d) (ep b h) (ep h b) (ep f h) (ep h f) (ep a h) (ep h a) (ep i h) (ep h i) (pl h r) (pl h l) (pl h n) valid, stack: (el m p) :: (el l s) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m p) (el p m) (el q p) (el p q) valid, stack: (el l s) :: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el l s) (el s l) (el r s) (el s r) valid, stack: (el l s) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el l s) (el s l) (pl c s) (pl i l) stack pushed, stack: (ep c d) \/ (el r l) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep c d) (ep d c) (ep b c) (ep c b) (ep f c) (ep c f) (pl c m) (pl c p) (pl c n) (pl d o) (pl b o) (pl f o) stack pushed, stack: (ep d e) \/ (el m o) :: (el r l) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep b e) (ep e b) (ep f e) (ep e f) (ep c e) (ep e c) (pl d q) (pl b q) (pl f q) (pl c q) (pl e p) (pl e r) (pl e l) (pl e n) (pl e s) stack pushed, stack: (ep a b) \/ (el l q) :: (el m o) :: (el r l) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep d a) (ep a d) (ep f a) (ep a f) (ep c a) (ep a c) (ep e a) (ep a e) (pl a n) (pl a p) (pl a m) (pl a r) (pl a o) stack pushed, stack: (ep a i) \/ (el l r) :: (el l q) :: (el m o) :: (el r l) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a i) (ep i a) (ep b i) (ep i b) (ep d i) (ep i d) (ep f i) (ep i f) (ep c i) (ep i c) (ep e i) (ep i e) (pl i q) (pl i n) (pl i p) (pl i m) (pl i o) stack pushed, stack: (ep b g) \/ (el n o) :: (el l r) :: (el l q) :: (el m o) :: (el r l) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep d g) (ep g d) (ep f g) (ep g f) (ep c g) (ep g c) (ep e g) (ep g e) (ep a g) (ep g a) (ep i g) (ep g i) (pl g p) valid, stack: (el n o) :: (el l r) :: (el l q) :: (el m o) :: (el r l) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el l r) :: (el l q) :: (el m o) :: (el r l) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el l r) (el r l) (el s r) valid, stack: (el l q) :: (el m o) :: (el r l) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el l q) (el q l) (el s q) (el q s) (pl h l) (pl h s) (pl i q) stack pushed, stack: (ep b g) \/ (el n o) :: (el m o) :: (el r l) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep d g) (ep g d) (ep f g) (ep g f) (ep c g) (ep g c) (ep e g) (ep g e) (pl g p) (pl g l) valid, stack: (el n o) :: (el m o) :: (el r l) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el m o) :: (el r l) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (pl g m) stack pushed, stack: (ep d g) \/ (el m n) :: (el r l) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d g) (ep g d) (ep b g) (ep g b) (ep f g) (ep g f) (ep c g) (ep g c) (pl g p) (pl g r) (pl g l) (pl g s) stack pushed, stack: (ep c i) \/ (el r l) :: (el m n) :: (el r l) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep c i) (ep i c) (ep d i) (ep i d) (ep b i) (ep i b) (ep f i) (ep i f) (ep g i) (ep i g) (pl i o) (pl i m) (pl i p) valid, stack: (el r l) :: (el m n) :: (el r l) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el r l) (el l r) (el s r) valid, stack: (el m n) :: (el r l) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m n) (el n m) (el o n) (el n o) valid, stack: (el r l) :: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el r l) (el l r) (el s r) valid, stack: (el m n) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m n) (el n m) (pl e n) (pl g m) stack pushed, stack: (ep c d) \/ (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep c d) (ep d c) (ep b c) (ep c b) (pl c m) (pl c p) (pl c n) (pl d o) (pl b o) stack pushed, stack: (ep d e) \/ (el m o) :: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep b e) (ep e b) (ep c e) (ep e c) (pl d q) (pl b q) (pl c q) (pl e p) (pl e r) (pl e l) stack pushed, stack: (ep a b) \/ (el l q) :: (el m o) :: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep d a) (ep a d) (ep c a) (ep a c) (ep e a) (ep a e) (pl a n) (pl a p) (pl a m) (pl a r) (pl a o) (pl b s) (pl d s) (pl c s) (pl e s) stack pushed, stack: (ep d g) \/ (el m o) :: (el l q) :: (el m o) :: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d g) (ep g d) (ep b g) (ep g b) (ep c g) (ep g c) (ep e g) (ep g e) (ep a g) (ep g a) (pl g p) (pl g r) (pl g l) (pl g q) (pl g s) stack pushed, stack: (ep d f) \/ (el m s) :: (el m o) :: (el l q) :: (el m o) :: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep b f) (ep f b) (ep c f) (ep f c) (ep e f) (ep f e) (ep a f) (ep f a) (ep g f) (ep f g) (pl f p) (pl f r) (pl f l) (pl f o) (pl f q) stack pushed, stack: (ep b h) \/ (el p q) :: (el m s) :: (el m o) :: (el l q) :: (el m o) :: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep d h) (ep h d) (ep c h) (ep h c) (ep e h) (ep h e) (ep a h) (ep h a) (ep g h) (ep h g) (ep f h) (ep h f) (pl h n) (pl h l) (pl h m) (pl h r) valid, stack: (el p q) :: (el m s) :: (el m o) :: (el l q) :: (el m o) :: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el p q) valid, stack: (el m s) :: (el m o) :: (el l q) :: (el m o) :: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m s) (el s m) (el n s) (el s n) (pl i m) (pl i n) stack pushed, stack: (ep d i) \/ (el m r) :: (el m o) :: (el l q) :: (el m o) :: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d i) (ep i d) (ep b i) (ep i b) (ep c i) (ep i c) (ep e i) (ep i e) (ep a i) (ep i a) (ep g i) (ep i g) (pl i p) valid, stack: (el m r) :: (el m o) :: (el l q) :: (el m o) :: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m r) (el r m) (el n r) (el r n) (el s r) valid, stack: (el m o) :: (el l q) :: (el m o) :: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (el n o) valid, stack: (el l q) :: (el m o) :: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el l q) (el q l) (pl h l) stack pushed, stack: (ep d g) \/ (el m o) :: (el m o) :: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d g) (ep g d) (ep b g) (ep g b) (ep c g) (ep g c) (ep e g) (ep g e) (pl g p) (pl g r) (pl g l) (pl g q) stack pushed, stack: (ep b h) \/ (el p l) :: (el m o) :: (el m o) :: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep d h) (ep h d) (ep c h) (ep h c) (ep e h) (ep h e) (ep g h) (ep h g) (pl h n) (pl h m) (pl h r) valid, stack: (el p l) :: (el m o) :: (el m o) :: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el p l) (el l p) (el q p) (el p q) valid, stack: (el m o) :: (el m o) :: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (el n o) valid, stack: (el m o) :: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (el n o) valid, stack: (el r l) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el r l) (el l r) (pl a r) (pl i l) stack pushed, stack: (ep a i) \/ (el l s) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a i) (ep i a) (pl i q) stack pushed, stack: (ep e g) \/ (el m o) :: (el l s) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep e g) (ep g e) (pl g q) valid, stack: (el m o) :: (el l s) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (el n o) valid, stack: (el l s) :: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el l s) (el s l) (el r s) (el s r) valid, stack: (el p l) :: (pl e l) \/ (pl f l) :: nil stack popped: (el p l) (el l p) (pl a p) (pl c p) (pl h l) stack pushed, stack: (ep a h) \/ (el l q) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a h) (ep h a) (pl h s) stack pushed, stack: (ep c d) \/ (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep c d) (ep d c) (pl c m) (pl d o) stack pushed, stack: (ep d e) \/ (el m o) :: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep c e) (ep e c) (pl d q) (pl c q) (pl e p) (pl e r) (pl e l) stack pushed, stack: (ep a c) \/ (el l q) :: (el m o) :: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a c) (ep c a) (ep h c) (ep c h) (ep d a) (ep a d) (ep h d) (ep d h) (ep e a) (ep a e) (ep h e) (ep e h) (pl a o) (pl h o) (pl a r) (pl h r) (pl a m) (pl h m) (pl c s) (pl d s) (pl e s) stack pushed, stack: (ep d f) \/ (el m s) :: (el l q) :: (el m o) :: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep c f) (ep f c) (ep e f) (ep f e) (ep a f) (ep f a) (ep h f) (ep f h) (pl d n) (pl c n) (pl e n) (pl a n) (pl h n) (pl f p) (pl f r) (pl f l) (pl f o) (pl f q) stack pushed, stack: (ep a b) \/ (el l n) :: (el m s) :: (el l q) :: (el m o) :: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep h b) (ep b h) (ep c b) (ep b c) (ep d b) (ep b d) (ep e b) (ep b e) (ep f b) (ep b f) (pl b q) (pl b s) (pl b o) (pl b r) (pl b m) stack pushed, stack: (ep b g) \/ (el n o) :: (el l n) :: (el m s) :: (el l q) :: (el m o) :: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep h g) (ep g h) (ep c g) (ep g c) (ep d g) (ep g d) (ep e g) (ep g e) (ep f g) (ep g f) (pl g p) (pl g l) (pl g q) (pl g s) valid, stack: (el n o) :: (el l n) :: (el m s) :: (el l q) :: (el m o) :: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack popped: (el n o) valid, stack: (el l n) :: (el m s) :: (el l q) :: (el m o) :: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack popped: (el l n) (el n l) (el p n) (el n p) (pl g l) (pl g p) stack pushed, stack: (ep a g) \/ (el l o) :: (el m s) :: (el l q) :: (el m o) :: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a g) (ep g a) (ep h g) (ep g h) (ep c g) (ep g c) (ep d g) (ep g d) (ep e g) (ep g e) (ep f g) (ep g f) (pl g q) (pl g s) valid, stack: (el l o) :: (el m s) :: (el l q) :: (el m o) :: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack popped: (el l o) (el o l) (el p o) (el o p) (el n o) valid, stack: (el m s) :: (el l q) :: (el m o) :: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m s) (el s m) (pl i m) stack pushed, stack: (ep d i) \/ (el m r) :: (el l q) :: (el m o) :: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep d i) (ep i d) (ep c i) (ep i c) (ep e i) (ep i e) (ep a i) (ep i a) (ep h i) (ep i h) (pl i p) (pl i l) (pl i o) valid, stack: (el m r) :: (el l q) :: (el m o) :: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m r) (el r m) (el s r) valid, stack: (el l q) :: (el m o) :: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack popped: (el l q) (el q l) (el p q) valid, stack: (el m o) :: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack popped: (el m o) (el o m) (pl f o) (pl g m) stack pushed, stack: (ep f g) \/ (el n m) :: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep f g) (ep g f) (pl g s) valid, stack: (el n m) :: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack popped: (el n m) (el m n) (el o n) (el n o) valid, stack: (el r l) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack popped: (el r l) (el l r) (el p r) (el r p) (pl a r) (pl h r) (pl b r) (pl i l) (pl i p) stack pushed, stack: (ep a i) \/ (el l s) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack top tailed: (ep a i) (ep i a) (ep h i) (ep i h) (pl i q) (pl a C0)/\(pl g C0) (el C0 C0) (pl h C0) (pl i C0) valid, stack: (el l s) :: (el l q) :: (pl e l) \/ (pl f l) :: nil stack popped: (el l s) (el s l) (el p s) (el s p) (el r s) (el s r) valid, stack: (el l q) :: (pl e l) \/ (pl f l) :: nil stack popped: (el l q) (el q l) (el p q) valid, stack: (pl e l) \/ (pl f l) :: nil stack top tailed: (pl e l) stack pushed, stack: (ep a e) \/ (el l q) :: (pl f l) :: nil stack top tailed: (ep a e) (ep e a) (pl a m) (pl a o) (pl e s) stack pushed, stack: (ep a c) \/ (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep a c) (ep c a) (ep e c) (ep c e) (pl a r) (pl e r) (pl c q) (pl c s) (pl c m) stack pushed, stack: (ep d e) \/ (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep a d) (ep d a) (ep c d) (ep d c) (pl d o) (pl d q) (pl d l) (pl d s) (pl e p) (pl a p) (pl c p) stack pushed, stack: (ep a b) \/ (el l p) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep e b) (ep b e) (ep c b) (ep b c) (ep d b) (ep b d) (pl a n) (pl e n) (pl c n) (pl d n) (pl b q) (pl b s) (pl b m) (pl b o) (pl b r) stack pushed, stack: (ep d f) \/ (el m s) :: (el l p) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep e f) (ep f e) (ep a f) (ep f a) (ep c f) (ep f c) (ep b f) (ep f b) (pl f p) (pl f r) (pl f o) (pl f q) (pl f l) stack pushed, stack: (ep b g) \/ (el n o) :: (el m s) :: (el l p) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep e g) (ep g e) (ep c g) (ep g c) (ep d g) (ep g d) (ep f g) (ep g f) (pl g p) (pl g l) (pl g q) (pl g s) (pl g m) (pl g r) stack pushed, stack: (ep b h) \/ (el p q) :: (el n o) :: (el m s) :: (el l p) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep a h) (ep h a) (ep e h) (ep h e) (ep c h) (ep h c) (ep d h) (ep h d) (ep f h) (ep h f) (ep g h) (ep h g) (pl h n) (pl h l) (pl h s) valid, stack: (el p q) :: (el n o) :: (el m s) :: (el l p) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el p q) valid, stack: (el n o) :: (el m s) :: (el l p) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el n o) valid, stack: (el m s) :: (el l p) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el m s) (el s m) (pl i m) stack pushed, stack: (ep d i) \/ (el m r) :: (el l p) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep d i) (ep i d) (ep e i) (ep i e) (ep a i) (ep i a) (ep c i) (ep i c) (ep b i) (ep i b) (pl i p) (pl i o) (pl i q) (pl i l) (pl i n) stack pushed, stack: (ep d f) \/ (el m n) :: (el m r) :: (el l p) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep e f) (ep f e) (ep a f) (ep f a) (ep c f) (ep f c) (ep b f) (ep f b) (ep i f) (ep f i) (pl f p) (pl f r) (pl f o) (pl f q) (pl f l) stack pushed, stack: (ep b g) \/ (el n o) :: (el m n) :: (el m r) :: (el l p) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep e g) (ep g e) (ep c g) (ep g c) (ep d g) (ep g d) (ep i g) (ep g i) (ep f g) (ep g f) (pl g p) valid, stack: (el n o) :: (el m n) :: (el m r) :: (el l p) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el n o) valid, stack: (el m n) :: (el m r) :: (el l p) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el m n) (el n m) (el s n) (el n s) (pl g m) (pl g s) stack pushed, stack: (ep d g) \/ (el m o) :: (el m r) :: (el l p) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep d g) (ep g d) (ep e g) (ep g e) (ep a g) (ep g a) (ep c g) (ep g c) (ep b g) (ep g b) (ep i g) (ep g i) (pl g p) valid, stack: (el m o) :: (el m r) :: (el l p) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el m o) (el o m) (el s o) (el o s) (el n o) valid, stack: (el m r) :: (el l p) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el m r) (el r m) (el s r) valid, stack: (el l p) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el l p) (el p l) (pl h l) stack pushed, stack: (ep a h) \/ (el l q) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep a h) (ep h a) (ep e h) (ep h e) (ep c h) (ep h c) (ep d h) (ep h d) (pl h s) (pl h m) (pl h o) (pl h r) stack pushed, stack: (ep d f) \/ (el m s) :: (el l q) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep e f) (ep f e) (ep a f) (ep f a) (ep c f) (ep f c) (ep h f) (ep f h) (pl d n) (pl e n) (pl a n) (pl c n) (pl h n) (pl f p) (pl f r) (pl f o) (pl f q) (pl f l) stack pushed, stack: (ep a b) \/ (el l n) :: (el m s) :: (el l q) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep e b) (ep b e) (ep c b) (ep b c) (ep d b) (ep b d) (ep h b) (ep b h) (ep f b) (ep b f) (pl b q) (pl b s) (pl b m) (pl b o) (pl b r) stack pushed, stack: (ep b g) \/ (el n o) :: (el l n) :: (el m s) :: (el l q) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep e g) (ep g e) (ep c g) (ep g c) (ep d g) (ep g d) (ep h g) (ep g h) (ep f g) (ep g f) (pl g p) (pl g l) (pl g q) (pl g s) valid, stack: (el n o) :: (el l n) :: (el m s) :: (el l q) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el n o) valid, stack: (el l n) :: (el m s) :: (el l q) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el l n) (el n l) (el p n) (el n p) (pl g l) (pl g p) stack pushed, stack: (ep a g) \/ (el l o) :: (el m s) :: (el l q) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep a g) (ep g a) (ep e g) (ep g e) (ep c g) (ep g c) (ep d g) (ep g d) (ep h g) (ep g h) (ep f g) (ep g f) (pl g q) (pl g s) valid, stack: (el l o) :: (el m s) :: (el l q) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el l o) (el o l) (el p o) (el o p) (el n o) valid, stack: (el m s) :: (el l q) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el m s) (el s m) (pl i m) stack pushed, stack: (ep d i) \/ (el m r) :: (el l q) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep d i) (ep i d) (ep e i) (ep i e) (ep a i) (ep i a) (ep c i) (ep i c) (ep h i) (ep i h) (pl i p) (pl i o) valid, stack: (el m r) :: (el l q) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el m r) (el r m) (el s r) valid, stack: (el l q) :: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el l q) (el q l) (el p q) valid, stack: (el m r) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el m r) (el r m) (pl f r) (pl i m) stack pushed, stack: (ep c i) \/ (el r s) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep c i) (ep i c) (ep a i) (ep i a) (ep e i) (ep i e) (pl i o) (pl i l) (pl i q) stack pushed, stack: (ep c f) \/ (el r s) :: (el r s) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep c f) (ep f c) (ep a f) (ep f a) (ep e f) (ep f e) (ep i f) (ep f i) (pl c n) (pl a n) (pl e n) (pl i n) (pl f o) (pl f l) (pl f q) stack pushed, stack: (ep a b) \/ (el l n) :: (el r s) :: (el r s) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep e b) (ep b e) (ep c b) (ep b c) (ep i b) (ep b i) (ep f b) (ep b f) (pl a p) (pl e p) (pl c p) (pl i p) (pl f p) (pl b q) (pl b s) (pl b m) (pl b o) (pl b r) stack pushed, stack: (ep d e) \/ (el m p) :: (el l n) :: (el r s) :: (el r s) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep a d) (ep d a) (ep c d) (ep d c) (ep i d) (ep d i) (ep f d) (ep d f) (ep b d) (ep d b) (pl d o) (pl d q) (pl d l) (pl d s) (pl d n) stack pushed, stack: (ep b g) \/ (el n o) :: (el m p) :: (el l n) :: (el r s) :: (el r s) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep e g) (ep g e) (ep c g) (ep g c) (ep i g) (ep g i) (ep f g) (ep g f) (ep d g) (ep g d) (pl g p) valid, stack: (el n o) :: (el m p) :: (el l n) :: (el r s) :: (el r s) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el n o) valid, stack: (el m p) :: (el l n) :: (el r s) :: (el r s) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el m p) (el p m) (el r p) (el p r) (pl h m) (pl h r) stack pushed, stack: (ep b g) \/ (el n o) :: (el l n) :: (el r s) :: (el r s) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep e g) (ep g e) (ep c g) (ep g c) (ep i g) (ep g i) (ep f g) (ep g f) (pl g p) valid, stack: (el n o) :: (el l n) :: (el r s) :: (el r s) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el n o) valid, stack: (el l n) :: (el r s) :: (el r s) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el l n) (el n l) (pl g l) stack pushed, stack: (ep a g) \/ (el l o) :: (el r s) :: (el r s) :: (el l o) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep a g) (ep g a) (ep e g) (ep g e) (ep c g) (ep g c) (ep i g) (ep g i) (ep f g) (ep g f) (pl g q) valid, stack: (el l o) :: (el r s) :: (el r s) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el l o) (el o l) (el n o) valid, stack: (el r s) :: (el r s) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el r s) (el s r) valid, stack: (el r s) :: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el r s) (el s r) valid, stack: (el l o) :: (el l q) :: (pl f l) :: nil stack popped: (el l o) (el o l) (pl b o) (pl g l) stack pushed, stack: (ep b g) \/ (el n l) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (pl g p) stack pushed, stack: (ep a f) \/ (el s m) :: (el n l) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep a f) (ep f a) (ep e f) (ep f e) (pl a n) (pl e n) (pl f l) (pl f q) (pl f o) stack pushed, stack: (ep a b) \/ (el l n) :: (el s m) :: (el n l) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep e b) (ep b e) (ep g a) (ep a g) (ep e g) (ep g e) (ep f b) (ep b f) (ep g f) (ep f g) (pl a p) (pl e p) (pl f p) (pl b q) (pl g q) (pl b s) (pl g s) (pl b m) (pl g m) stack pushed, stack: (ep d e) \/ (el m p) :: (el l n) :: (el s m) :: (el n l) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep a d) (ep d a) (ep f d) (ep d f) (ep b d) (ep d b) (ep g d) (ep d g) (pl d o) (pl d q) (pl d l) (pl d s) (pl d n) (pl e r) (pl a r) (pl f r) (pl b r) (pl g r) stack pushed, stack: (ep a c) \/ (el l r) :: (el m p) :: (el l n) :: (el s m) :: (el n l) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep a c) (ep c a) (ep e c) (ep c e) (ep f c) (ep c f) (ep b c) (ep c b) (ep g c) (ep c g) (ep d c) (ep c d) (pl c q) (pl c s) (pl c m) (pl c n) (pl c p) stack pushed, stack: (ep b h) \/ (el p q) :: (el l r) :: (el m p) :: (el l n) :: (el s m) :: (el n l) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep g h) (ep h g) (ep a h) (ep h a) (ep e h) (ep h e) (ep f h) (ep h f) (ep d h) (ep h d) (ep c h) (ep h c) (pl h n) (pl h l) (pl h o) (pl h s) valid, stack: (el p q) :: (el l r) :: (el m p) :: (el l n) :: (el s m) :: (el n l) :: (el l q) :: (pl f l) :: nil stack popped: (el p q) valid, stack: (el l r) :: (el m p) :: (el l n) :: (el s m) :: (el n l) :: (el l q) :: (pl f l) :: nil stack popped: (el l r) (el r l) (el o r) (el r o) (pl i l) (pl i o) stack pushed, stack: (ep a i) \/ (el l s) :: (el m p) :: (el l n) :: (el s m) :: (el n l) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep a i) (ep i a) (ep e i) (ep i e) (ep f i) (ep i f) (ep b i) (ep i b) (ep g i) (ep i g) (ep d i) (ep i d) (pl i q) valid, stack: (el l s) :: (el m p) :: (el l n) :: (el s m) :: (el n l) :: (el l q) :: (pl f l) :: nil stack popped: (el l s) (el s l) (el o s) (el s o) (el r s) (el s r) valid, stack: (el m p) :: (el l n) :: (el s m) :: (el n l) :: (el l q) :: (pl f l) :: nil stack popped: (el m p) (el p m) (pl h m) stack pushed, stack: (ep b h) \/ (el p q) :: (el l n) :: (el s m) :: (el n l) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep g h) (ep h g) (ep a h) (ep h a) (ep e h) (ep h e) (ep f h) (ep h f) (pl h n) (pl h l) (pl h o) (pl h s) valid, stack: (el p q) :: (el l n) :: (el s m) :: (el n l) :: (el l q) :: (pl f l) :: nil stack popped: (el p q) valid, stack: (el l n) :: (el s m) :: (el n l) :: (el l q) :: (pl f l) :: nil stack popped: (el l n) (el n l) (el o n) (el n o) valid, stack: (el s m) :: (el n l) :: (el l q) :: (pl f l) :: nil stack popped: (el s m) (el m s) (pl d s) (pl i m) stack pushed, stack: (ep d i) \/ (el m r) :: (el n l) :: (el l q) :: (pl f l) :: nil stack top tailed: (ep d i) (ep i d) (pl i p) valid, stack: (el m r) :: (el n l) :: (el l q) :: (pl f l) :: nil stack popped: (el m r) (el r m) (el s r) valid, stack: (el n l) :: (el l q) :: (pl f l) :: nil stack popped: (el n l) (el l n) (el o n) (el n o) valid, stack: (el l q) :: (pl f l) :: nil stack popped: (el l q) (el q l) (pl b q) (pl c q) (pl h l) stack pushed, stack: (ep c e) \/ (el o l) :: (pl f l) :: nil stack top tailed: (ep c e) (ep e c) (pl c m) (pl e r) stack pushed, stack: (ep d e) \/ (el m r) :: (el o l) :: (pl f l) :: nil stack top tailed: (ep d e) (ep e d) (ep c d) (ep d c) (pl d o) (pl d q) (pl d l) (pl e p) (pl c p) stack pushed, stack: (ep b d) \/ (el p l) :: (el m r) :: (el o l) :: (pl f l) :: nil stack top tailed: (ep b d) (ep d b) (ep e b) (ep b e) (ep c b) (ep b c) (pl b m) (pl b r) (pl b o) (pl d n) (pl e n) (pl c n) stack pushed, stack: (ep d f) \/ (el m n) :: (el p l) :: (el m r) :: (el o l) :: (pl f l) :: nil stack top tailed: (ep d f) (ep f d) (ep e f) (ep f e) (ep c f) (ep f c) (ep b f) (ep f b) (pl d s) (pl e s) (pl c s) (pl b s) (pl f p) (pl f r) (pl f o) (pl f q) (pl f l) stack pushed, stack: (ep a b) \/ (el l s) :: (el m n) :: (el p l) :: (el m r) :: (el o l) :: (pl f l) :: nil stack top tailed: (ep a b) (ep b a) (ep d a) (ep a d) (ep e a) (ep a e) (ep c a) (ep a c) (ep f a) (ep a f) (pl a n) (pl a p) (pl a m) (pl a r) (pl a o) stack pushed, stack: (ep a h) \/ (el l p) :: (el l s) :: (el m n) :: (el p l) :: (el m r) :: (el o l) :: (pl f l) :: nil stack top tailed: (ep a h) (ep h a) (ep b h) (ep h b) (ep d h) (ep h d) (ep e h) (ep h e) (ep c h) (ep h c) (ep f h) (ep h f) (pl h s) (pl h n) (pl h m) (pl h r) (pl h o) stack pushed, stack: (ep b g) \/ (el n o) :: (el l p) :: (el l s) :: (el m n) :: (el p l) :: (el m r) :: (el o l) :: (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep d g) (ep g d) (ep e g) (ep g e) (ep c g) (ep g c) (ep f g) (ep g f) (ep a g) (ep g a) (ep h g) (ep g h) (pl g p) (pl g l) (pl g q) (pl g m) (pl g r) valid, stack: (el n o) :: (el l p) :: (el l s) :: (el m n) :: (el p l) :: (el m r) :: (el o l) :: (pl f l) :: nil stack popped: (el n o) valid, stack: (el l p) :: (el l s) :: (el m n) :: (el p l) :: (el m r) :: (el o l) :: (pl f l) :: nil stack popped: (el l p) (el p l) (el q p) (el p q) valid, stack: (el l s) :: (el m n) :: (el p l) :: (el m r) :: (el o l) :: (pl f l) :: nil stack popped: (el l s) (el s l) (el q s) (el s q) (pl h s) (pl i l) (pl i q) stack pushed, stack: (ep b g) \/ (el n o) :: (el m n) :: (el p l) :: (el m r) :: (el o l) :: (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (ep d g) (ep g d) (ep e g) (ep g e) (ep c g) (ep g c) (ep f g) (ep g f) (pl g p) (pl g l) valid, stack: (el n o) :: (el m n) :: (el p l) :: (el m r) :: (el o l) :: (pl f l) :: nil stack popped: (el n o) valid, stack: (el m n) :: (el p l) :: (el m r) :: (el o l) :: (pl f l) :: nil stack popped: (el m n) (el n m) (pl g m) stack pushed, stack: (ep d g) \/ (el m o) :: (el p l) :: (el m r) :: (el o l) :: (pl f l) :: nil stack top tailed: (ep d g) (ep g d) (ep e g) (ep g e) (ep c g) (ep g c) (ep b g) (ep g b) (pl g p) (pl g r) (pl g q) (pl g l) stack pushed, stack: (ep b h) \/ (el p l) :: (el m o) :: (el p l) :: (el m r) :: (el o l) :: (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep d h) (ep h d) (ep e h) (ep h e) (ep c h) (ep h c) (ep g h) (ep h g) (pl h n) (pl h m) (pl h r) valid, stack: (el p l) :: (el m o) :: (el p l) :: (el m r) :: (el o l) :: (pl f l) :: nil stack popped: (el p l) (el l p) (el q p) (el p q) valid, stack: (el m o) :: (el p l) :: (el m r) :: (el o l) :: (pl f l) :: nil stack popped: (el m o) (el o m) (el n o) valid, stack: (el p l) :: (el m r) :: (el o l) :: (pl f l) :: nil stack popped: (el p l) (el l p) (el q p) (el p q) valid, stack: (el m r) :: (el o l) :: (pl f l) :: nil stack popped: (el m r) (el r m) (pl f r) (pl i m) stack pushed, stack: (ep b h) \/ (el p l) :: (el o l) :: (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (pl h n) stack pushed, stack: (ep f i) \/ (el s m) :: (el p l) :: (el o l) :: (pl f l) :: nil stack top tailed: (ep f i) (ep i f) (pl i n) valid, stack: (el s m) :: (el p l) :: (el o l) :: (pl f l) :: nil stack popped: (el s m) (el m s) (el r s) (el s r) valid, stack: (el p l) :: (el o l) :: (pl f l) :: nil stack popped: (el p l) (el l p) (el q p) (el p q) valid, stack: (el o l) :: (pl f l) :: nil stack popped: (el o l) (el l o) (el q o) (el o q) (pl a o) (pl b o) (pl g l) (pl g q) (pl h o) stack pushed, stack: (ep b g) \/ (el n l) :: (pl f l) :: nil stack top tailed: (ep b g) (ep g b) (pl g p) stack pushed, stack: (ep b h) \/ (el p l) :: (el n l) :: (pl f l) :: nil stack top tailed: (ep b h) (ep h b) (ep g h) (ep h g) (pl h n) (pl a C0)/\(pl d C0) (el C0 C0) (pl b C1)/\(pl i C1) (el C1 C1) (pl g C1) (pl h C1) valid, stack: (el p l) :: (el n l) :: (pl f l) :: nil stack popped: (el p l) (el l p) (el q p) (el p q) valid, stack: (el n l) :: (pl f l) :: nil stack popped: (el n l) (el l n) (el q n) (el n q) (el o n) (el n o) valid, stack: (pl f l) :: nil stack popped: (pl f l) stack pushed, stack: (ep a f) \/ (el l s) :: nil stack top tailed: (ep a f) (ep f a) (pl a n) (pl a m) (pl f q) stack pushed, stack: (ep a b) \/ (el l n) :: (el l s) :: nil stack top tailed: (ep a b) (ep b a) (ep f b) (ep b f) (pl a p) (pl f p) (pl b q) (pl b s) (pl b m) stack pushed, stack: (ep d f) \/ (el m p) :: (el l n) :: (el l s) :: nil stack top tailed: (ep d f) (ep f d) (ep a d) (ep d a) (ep b d) (ep d b) (pl d n) (pl d s) (pl d l) (pl d q) (pl f r) (pl a r) (pl b r) stack pushed, stack: (ep a c) \/ (el l r) :: (el m p) :: (el l n) :: (el l s) :: nil stack top tailed: (ep a c) (ep c a) (ep f c) (ep c f) (ep b c) (ep c b) (ep d c) (ep c d) (pl a o) (pl f o) (pl b o) (pl d o) (pl c q) (pl c s) (pl c n) (pl c m) (pl c p) stack pushed, stack: (ep d e) \/ (el m q) :: (el l r) :: (el m p) :: (el l n) :: (el l s) :: nil stack top tailed: (ep d e) (ep e d) (ep f e) (ep e f) (ep a e) (ep e a) (ep b e) (ep e b) (ep c e) (ep e c) (pl e p) (pl e r) (pl e n) (pl e s) (pl e l) stack pushed, stack: (ep b g) \/ (el n o) :: (el m q) :: (el l r) :: (el m p) :: (el l n) :: (el l s) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep f g) (ep g f) (ep d g) (ep g d) (ep c g) (ep g c) (ep e g) (ep g e) (pl g p) (pl g l) (pl g q) (pl g s) (pl g m) (pl g r) stack pushed, stack: (ep b h) \/ (el p q) :: (el n o) :: (el m q) :: (el l r) :: (el m p) :: (el l n) :: (el l s) :: nil stack top tailed: (ep b h) (ep h b) (ep a h) (ep h a) (ep f h) (ep h f) (ep d h) (ep h d) (ep c h) (ep h c) (ep e h) (ep h e) (ep g h) (ep h g) (pl h n) (pl h l) (pl h s) valid, stack: (el p q) :: (el n o) :: (el m q) :: (el l r) :: (el m p) :: (el l n) :: (el l s) :: nil stack popped: (el p q) valid, stack: (el n o) :: (el m q) :: (el l r) :: (el m p) :: (el l n) :: (el l s) :: nil stack popped: (el n o) valid, stack: (el m q) :: (el l r) :: (el m p) :: (el l n) :: (el l s) :: nil stack popped: (el m q) (el q m) (pl h m) stack pushed, stack: (ep d h) \/ (el m p) :: (el l r) :: (el m p) :: (el l n) :: (el l s) :: nil stack top tailed: (ep d h) (ep h d) (ep f h) (ep h f) (ep a h) (ep h a) (ep b h) (ep h b) (ep c h) (ep h c) (pl h r) (pl h n) (pl h s) (pl h l) (pl h o) stack pushed, stack: (ep d e) \/ (el m o) :: (el m p) :: (el l r) :: (el m p) :: (el l n) :: (el l s) :: nil stack top tailed: (ep d e) (ep e d) (ep f e) (ep e f) (ep a e) (ep e a) (ep b e) (ep e b) (ep c e) (ep e c) (ep h e) (ep e h) (pl e p) (pl e r) (pl e n) (pl e s) (pl e l) stack pushed, stack: (ep b g) \/ (el n o) :: (el m o) :: (el m p) :: (el l r) :: (el m p) :: (el l n) :: (el l s) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep f g) (ep g f) (ep d g) (ep g d) (ep c g) (ep g c) (ep h g) (ep g h) (ep e g) (ep g e) (pl g p) (pl g l) (pl g q) (pl g s) valid, stack: (el n o) :: (el m o) :: (el m p) :: (el l r) :: (el m p) :: (el l n) :: (el l s) :: nil stack popped: (el n o) valid, stack: (el m o) :: (el m p) :: (el l r) :: (el m p) :: (el l n) :: (el l s) :: nil stack popped: (el m o) (el o m) (el q o) (el o q) (pl g m) (pl g q) stack pushed, stack: (ep d g) \/ (el m n) :: (el m p) :: (el l r) :: (el m p) :: (el l n) :: (el l s) :: nil stack top tailed: (ep d g) (ep g d) (ep f g) (ep g f) (ep a g) (ep g a) (ep b g) (ep g b) (ep c g) (ep g c) (ep h g) (ep g h) (pl g p) (pl g r) valid, stack: (el m n) :: (el m p) :: (el l r) :: (el m p) :: (el l n) :: (el l s) :: nil stack popped: (el m n) (el n m) (el q n) (el n q) (el o n) (el n o) valid, stack: (el m p) :: (el l r) :: (el m p) :: (el l n) :: (el l s) :: nil stack popped: (el m p) (el p m) (el q p) (el p q) valid, stack: (el l r) :: (el m p) :: (el l n) :: (el l s) :: nil stack popped: (el l r) (el r l) (pl i l) stack pushed, stack: (ep a i) \/ (el l s) :: (el m p) :: (el l n) :: (el l s) :: nil stack top tailed: (ep a i) (ep i a) (ep f i) (ep i f) (ep b i) (ep i b) (ep d i) (ep i d) (pl i q) (pl i n) (pl i m) (pl i p) stack pushed, stack: (ep d e) \/ (el m q) :: (el l s) :: (el m p) :: (el l n) :: (el l s) :: nil stack top tailed: (ep d e) (ep e d) (ep f e) (ep e f) (ep a e) (ep e a) (ep b e) (ep e b) (ep i e) (ep e i) (pl d o) (pl f o) (pl a o) (pl b o) (pl i o) (pl e p) (pl e r) (pl e n) (pl e s) (pl e l) stack pushed, stack: (ep a c) \/ (el l o) :: (el m q) :: (el l s) :: (el m p) :: (el l n) :: (el l s) :: nil stack top tailed: (ep a c) (ep c a) (ep f c) (ep c f) (ep b c) (ep c b) (ep d c) (ep c d) (ep i c) (ep c i) (ep e c) (ep c e) (pl c q) (pl c s) (pl c n) (pl c m) (pl c p) stack pushed, stack: (ep b g) \/ (el n o) :: (el l o) :: (el m q) :: (el l s) :: (el m p) :: (el l n) :: (el l s) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep f g) (ep g f) (ep d g) (ep g d) (ep i g) (ep g i) (ep e g) (ep g e) (ep c g) (ep g c) (pl g p) valid, stack: (el n o) :: (el l o) :: (el m q) :: (el l s) :: (el m p) :: (el l n) :: (el l s) :: nil stack popped: (el n o) valid, stack: (el l o) :: (el m q) :: (el l s) :: (el m p) :: (el l n) :: (el l s) :: nil stack popped: (el l o) (el o l) (el r o) (el o r) (pl g l) (pl g r) stack pushed, stack: (ep a g) \/ (el l n) :: (el m q) :: (el l s) :: (el m p) :: (el l n) :: (el l s) :: nil stack top tailed: (ep a g) (ep g a) (ep f g) (ep g f) (ep b g) (ep g b) (ep d g) (ep g d) (ep i g) (ep g i) (ep e g) (ep g e) (pl g q) valid, stack: (el l n) :: (el m q) :: (el l s) :: (el m p) :: (el l n) :: (el l s) :: nil stack popped: (el l n) (el n l) (el r n) (el n r) (el o n) (el n o) valid, stack: (el m q) :: (el l s) :: (el m p) :: (el l n) :: (el l s) :: nil stack popped: (el m q) (el q m) (pl h m) stack pushed, stack: (ep d h) \/ (el m p) :: (el l s) :: (el m p) :: (el l n) :: (el l s) :: nil stack top tailed: (ep d h) (ep h d) (ep f h) (ep h f) (ep a h) (ep h a) (ep b h) (ep h b) (ep i h) (ep h i) (pl h r) (pl h n) valid, stack: (el m p) :: (el l s) :: (el m p) :: (el l n) :: (el l s) :: nil stack popped: (el m p) (el p m) (el q p) (el p q) valid, stack: (el l s) :: (el m p) :: (el l n) :: (el l s) :: nil stack popped: (el l s) (el s l) (el r s) (el s r) valid, stack: (el m p) :: (el l n) :: (el l s) :: nil stack popped: (el m p) (el p m) (pl e p) (pl h m) stack pushed, stack: (ep b h) \/ (el p q) :: (el l n) :: (el l s) :: nil stack top tailed: (ep b h) (ep h b) (ep a h) (ep h a) (ep f h) (ep h f) (pl h n) (pl h l) (pl h s) stack pushed, stack: (ep b e) \/ (el p q) :: (el p q) :: (el l n) :: (el l s) :: nil stack top tailed: (ep b e) (ep e b) (ep a e) (ep e a) (ep f e) (ep e f) (ep h e) (ep e h) (pl b o) (pl a o) (pl f o) (pl h o) (pl e n) (pl e l) (pl e s) stack pushed, stack: (ep a c) \/ (el l o) :: (el p q) :: (el p q) :: (el l n) :: (el l s) :: nil stack top tailed: (ep a c) (ep c a) (ep f c) (ep c f) (ep b c) (ep c b) (ep h c) (ep c h) (ep e c) (ep c e) (pl a r) (pl f r) (pl b r) (pl h r) (pl e r) (pl c q) (pl c s) (pl c n) (pl c m) (pl c p) stack pushed, stack: (ep d e) \/ (el m r) :: (el l o) :: (el p q) :: (el p q) :: (el l n) :: (el l s) :: nil stack top tailed: (ep d e) (ep e d) (ep b d) (ep d b) (ep a d) (ep d a) (ep f d) (ep d f) (ep h d) (ep d h) (ep c d) (ep d c) (pl d o) (pl d q) (pl d n) (pl d l) (pl d s) stack pushed, stack: (ep b g) \/ (el n o) :: (el m r) :: (el l o) :: (el p q) :: (el p q) :: (el l n) :: (el l s) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep f g) (ep g f) (ep h g) (ep g h) (ep e g) (ep g e) (ep c g) (ep g c) (ep d g) (ep g d) (pl g p) (pl g l) (pl g q) (pl g s) valid, stack: (el n o) :: (el m r) :: (el l o) :: (el p q) :: (el p q) :: (el l n) :: (el l s) :: nil stack popped: (el n o) valid, stack: (el m r) :: (el l o) :: (el p q) :: (el p q) :: (el l n) :: (el l s) :: nil stack popped: (el m r) (el r m) (el p r) (el r p) (pl i m) (pl i p) stack pushed, stack: (ep b g) \/ (el n o) :: (el l o) :: (el p q) :: (el p q) :: (el l n) :: (el l s) :: nil stack top tailed: (ep b g) (ep g b) (ep a g) (ep g a) (ep f g) (ep g f) (ep h g) (ep g h) (ep e g) (ep g e) (ep c g) (ep g c) (pl g p) valid, stack: (el n o) :: (el l o) :: (el p q) :: (el p q) :: (el l n) :: (el l s) :: nil stack popped: (el n o) valid, stack: (el l o) :: (el p q) :: (el p q) :: (el l n) :: (el l s) :: nil stack popped: (el l o) (el o l) (pl g l) stack pushed, stack: (ep a g) \/ (el l n) :: (el p q) :: (el p q) :: (el l n) :: (el l s) :: nil stack top tailed: (ep a g) (ep g a) (ep f g) (ep g f) (ep b g) (ep g b) (ep h g) (ep g h) (ep e g) (ep g e) (pl g q) (pl g s) valid, stack: (el l n) :: (el p q) :: (el p q) :: (el l n) :: (el l s) :: nil stack popped: (el l n) (el n l) (el o n) (el n o) valid, stack: (el p q) :: (el p q) :: (el l n) :: (el l s) :: nil stack popped: (el p q) valid, stack: (el p q) :: (el l n) :: (el l s) :: nil stack popped: (el p q) valid, stack: (el l n) :: (el l s) :: nil stack popped: (el l n) (el n l) (pl c n) (pl g l) stack pushed, stack: (ep c g) \/ (el o l) :: (el l s) :: nil stack top tailed: (ep c g) (ep g c) (pl g r) stack pushed, stack: (ep a e) \/ (el q m) :: (el o l) :: (el l s) :: nil stack top tailed: (ep a e) (ep e a) (ep f e) (ep e f) (pl a o) (pl f o) (pl e l) (pl e s) (pl e n) stack pushed, stack: (ep a c) \/ (el l o) :: (el q m) :: (el o l) :: (el l s) :: nil stack top tailed: (ep a c) (ep c a) (ep f c) (ep c f) (ep g a) (ep a g) (ep f g) (ep g f) (ep e c) (ep c e) (ep g e) (ep e g) (pl a r) (pl f r) (pl e r) (pl c q) (pl g q) (pl c s) (pl g s) (pl c m) (pl g m) stack pushed, stack: (ep d e) \/ (el m r) :: (el l o) :: (el q m) :: (el o l) :: (el l s) :: nil stack top tailed: (ep d e) (ep e d) (ep a d) (ep d a) (ep f d) (ep d f) (ep c d) (ep d c) (ep g d) (ep d g) (pl d o) (pl d q) (pl d l) (pl d s) (pl d n) (pl e p) (pl a p) (pl f p) (pl c p) (pl g p) stack pushed, stack: (ep a b) \/ (el l p) :: (el m r) :: (el l o) :: (el q m) :: (el o l) :: (el l s) :: nil stack top tailed: (ep a b) (ep b a) (ep f b) (ep b f) (ep e b) (ep b e) (ep c b) (ep b c) (ep g b) (ep b g) (ep d b) (ep b d) (pl b q) (pl b s) (pl b m) (pl b o) (pl b r) stack pushed, stack: (ep b h) \/ (el p q) :: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (el o l) :: (el l s) :: nil stack top tailed: (ep b h) (ep h b) (ep a h) (ep h a) (ep f h) (ep h f) (ep e h) (ep h e) (ep c h) (ep h c) (ep g h) (ep h g) (ep d h) (ep h d) (pl h n) (pl h l) (pl h s) valid, stack: (el p q) :: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (el o l) :: (el l s) :: nil stack popped: (el p q) valid, stack: (el l p) :: (el m r) :: (el l o) :: (el q m) :: (el o l) :: (el l s) :: nil stack popped: (el l p) (el p l) (el n p) (el p n) (pl h l) (pl h n) stack pushed, stack: (ep a h) \/ (el l q) :: (el m r) :: (el l o) :: (el q m) :: (el o l) :: (el l s) :: nil stack top tailed: (ep a h) (ep h a) (ep f h) (ep h f) (ep e h) (ep h e) (ep c h) (ep h c) (ep g h) (ep h g) (ep d h) (ep h d) (pl h s) valid, stack: (el l q) :: (el m r) :: (el l o) :: (el q m) :: (el o l) :: (el l s) :: nil stack popped: (el l q) (el q l) (el n q) (el q n) (el p q) valid, stack: (el m r) :: (el l o) :: (el q m) :: (el o l) :: (el l s) :: nil stack popped: (el m r) (el r m) (pl i m) stack pushed, stack: (ep c i) \/ (el r s) :: (el l o) :: (el q m) :: (el o l) :: (el l s) :: nil stack top tailed: (ep c i) (ep i c) (ep g i) (ep i g) (ep a i) (ep i a) (ep f i) (ep i f) (ep e i) (ep i e) (pl i o) (pl i l) (pl i n) (pl i q) valid, stack: (el r s) :: (el l o) :: (el q m) :: (el o l) :: (el l s) :: nil stack popped: (el r s) (el s r) valid, stack: (el l o) :: (el q m) :: (el o l) :: (el l s) :: nil stack popped: (el l o) (el o l) (el n o) valid, stack: (el q m) :: (el o l) :: (el l s) :: nil stack popped: (el q m) (el m q) (pl d q) (pl h m) stack pushed, stack: (ep d h) \/ (el m p) :: (el o l) :: (el l s) :: nil stack top tailed: (ep d h) (ep h d) (pl h r) valid, stack: (el m p) :: (el o l) :: (el l s) :: nil stack popped: (el m p) (el p m) (el q p) (el p q) valid, stack: (el o l) :: (el l s) :: nil stack popped: (el o l) (el l o) (el n o) valid, stack: (el l s) :: nil stack popped: (el l s) (el s l) (pl b s) (pl c s) (pl i l) stack pushed, stack: (ep b f) \/ (el n l) :: nil stack top tailed: (ep b f) (ep f b) (pl b m) (pl f p) stack pushed, stack: (ep d f) \/ (el m p) :: (el n l) :: nil stack top tailed: (ep d f) (ep f d) (ep b d) (ep d b) (pl d n) (pl d s) (pl d l) (pl f r) (pl b r) stack pushed, stack: (ep c d) \/ (el r l) :: (el m p) :: (el n l) :: nil stack top tailed: (ep c d) (ep d c) (ep f c) (ep c f) (ep b c) (ep c b) (pl c m) (pl c p) (pl c n) (pl d o) (pl f o) (pl b o) stack pushed, stack: (ep d e) \/ (el m o) :: (el r l) :: (el m p) :: (el n l) :: nil stack top tailed: (ep d e) (ep e d) (ep f e) (ep e f) (ep b e) (ep e b) (ep c e) (ep e c) (pl d q) (pl f q) (pl b q) (pl c q) (pl e p) (pl e r) (pl e n) (pl e s) (pl e l) stack pushed, stack: (ep a b) \/ (el l q) :: (el m o) :: (el r l) :: (el m p) :: (el n l) :: nil stack top tailed: (ep a b) (ep b a) (ep f a) (ep a f) (ep d a) (ep a d) (ep c a) (ep a c) (ep e a) (ep a e) (pl a n) (pl a p) (pl a m) (pl a r) (pl a o) stack pushed, stack: (ep a i) \/ (el l r) :: (el l q) :: (el m o) :: (el r l) :: (el m p) :: (el n l) :: nil stack top tailed: (ep a i) (ep i a) (ep b i) (ep i b) (ep f i) (ep i f) (ep d i) (ep i d) (ep c i) (ep i c) (ep e i) (ep i e) (pl i q) (pl i n) (pl i p) (pl i m) (pl i o) stack pushed, stack: (ep b g) \/ (el n o) :: (el l r) :: (el l q) :: (el m o) :: (el r l) :: (el m p) :: (el n l) :: nil stack top tailed: (ep b g) (ep g b) (ep f g) (ep g f) (ep d g) (ep g d) (ep c g) (ep g c) (ep e g) (ep g e) (ep a g) (ep g a) (ep i g) (ep g i) (pl g p) valid, stack: (el n o) :: (el l r) :: (el l q) :: (el m o) :: (el r l) :: (el m p) :: (el n l) :: nil stack popped: (el n o) valid, stack: (el l r) :: (el l q) :: (el m o) :: (el r l) :: (el m p) :: (el n l) :: nil stack popped: (el l r) (el r l) (el s r) valid, stack: (el l q) :: (el m o) :: (el r l) :: (el m p) :: (el n l) :: nil stack popped: (el l q) (el q l) (el s q) (el q s) (pl h l) (pl h s) (pl i q) stack pushed, stack: (ep b g) \/ (el n o) :: (el m o) :: (el r l) :: (el m p) :: (el n l) :: nil stack top tailed: (ep b g) (ep g b) (ep f g) (ep g f) (ep d g) (ep g d) (ep c g) (ep g c) (ep e g) (ep g e) (pl g p) (pl g l) valid, stack: (el n o) :: (el m o) :: (el r l) :: (el m p) :: (el n l) :: nil stack popped: (el n o) valid, stack: (el m o) :: (el r l) :: (el m p) :: (el n l) :: nil stack popped: (el m o) (el o m) (pl g m) stack pushed, stack: (ep d g) \/ (el m n) :: (el r l) :: (el m p) :: (el n l) :: nil stack top tailed: (ep d g) (ep g d) (ep f g) (ep g f) (ep b g) (ep g b) (ep c g) (ep g c) (pl g p) (pl g r) (pl g s) (pl g l) stack pushed, stack: (ep c i) \/ (el r l) :: (el m n) :: (el r l) :: (el m p) :: (el n l) :: nil stack top tailed: (ep c i) (ep i c) (ep d i) (ep i d) (ep f i) (ep i f) (ep b i) (ep i b) (ep g i) (ep i g) (pl i o) (pl i m) (pl i p) valid, stack: (el r l) :: (el m n) :: (el r l) :: (el m p) :: (el n l) :: nil stack popped: (el r l) (el l r) (el s r) valid, stack: (el m n) :: (el r l) :: (el m p) :: (el n l) :: nil stack popped: (el m n) (el n m) (el o n) (el n o) valid, stack: (el r l) :: (el m p) :: (el n l) :: nil stack popped: (el r l) (el l r) (el s r) valid, stack: (el m p) :: (el n l) :: nil stack popped: (el m p) (el p m) (pl e p) (pl h m) stack pushed, stack: (ep c i) \/ (el r l) :: (el n l) :: nil stack top tailed: (ep c i) (ep i c) (pl i o) stack pushed, stack: (ep e h) \/ (el m q) :: (el r l) :: (el n l) :: nil stack top tailed: (ep e h) (ep h e) (pl h o) valid, stack: (el m q) :: (el r l) :: (el n l) :: nil stack popped: (el m q) (el q m) (el p q) valid, stack: (el r l) :: (el n l) :: nil stack popped: (el r l) (el l r) (el s r) valid, stack: (el n l) :: nil stack popped: (el n l) (el l n) (el s n) (el n s) (pl a n) (pl c n) (pl g l) (pl g s) (pl i n) stack pushed, stack: (ep c g) \/ (el o l) :: nil stack top tailed: (ep c g) (ep g c) (pl g r) stack pushed, stack: (ep c i) \/ (el r l) :: (el o l) :: nil stack top tailed: (ep c i) (ep i c) (ep g i) (ep i g) (pl i o) (pl a C0)/\(pl d C0) (el C0 C0) (pl b C1)/\(pl e C1) (el C1 C1) (pl c C2)/\(pl h C2) (el C2 C2) (pl g C2) (pl i C2) valid, stack: (el r l) :: (el o l) :: nil stack popped: (el r l) (el l r) (el s r) valid, stack: (el o l) :: nil stack popped: (el o l) (el l o) (el s o) (el o s) (el n o) valid, stack: nil