(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)) \/ (el n o) \/ (el p q) \/ (el r s) :: nil stack top tailed: (col g h i C0) (pl g C0) (pl h C0) (pl i C0) valid, stack: (el n o) \/ (el p q) \/ (el r s) :: nil stack top tailed: (el n o) (el o n) (pl b o) (pl c n) (pl f o) (pl e n) stack pushed, stack: (ep b c) \/ (el n l) :: (el p q) \/ (el r s) :: nil stack top tailed: (ep b c) (ep c b) (pl b r) (pl c p) stack pushed, stack: (ep b d) \/ (el p r) :: (el n l) :: (el p q) \/ (el r s) :: nil stack top tailed: (ep b d) (ep d b) (ep c d) (ep d c) (pl b m) valid, stack: (el p r) :: (el n l) :: (el p q) \/ (el r s) :: nil stack popped: (el p r) (el r p) (pl h r) (pl i p) stack pushed, stack: (ep e f) \/ (el m o) :: (el n l) :: (el p q) \/ (el r s) :: nil stack top tailed: (ep e f) (ep f e) (pl e s) (pl f q) stack pushed, stack: (ep a e) \/ (el q s) :: (el m o) :: (el n l) :: (el p q) \/ (el r s) :: nil stack top tailed: (ep a e) (ep e a) (ep f a) (ep a f) (pl a m) valid, stack: (el q s) :: (el m o) :: (el n l) :: (el p q) \/ (el r s) :: nil stack popped: (el q s) (el s q) (pl h s) (pl i q) stack pushed, stack: (ep h i) \/ (el p q) :: (el m o) :: (el n l) :: (el p q) \/ (el r s) :: nil stack top tailed: (ep h i) (ep i h) (pl a C0)/\(pl d C0) (el C0 C0) (pl a C1)/\(pl g C1) (el C1 C1) (pl d C2)/\(pl g C2) (el C2 C2) (pl g C3)/\(pl h C3) (el C3 C3) (pl i C3) valid, stack: (el p q) :: (el m o) :: (el n l) :: (el p q) \/ (el r s) :: nil stack popped: (el p q) (el q p) (el r q) (el q r) (el s p) (el p s) (el r s) (el s r) (pl b q) (pl c q) (pl b s) (pl c s) (pl a p) (pl a r) (pl d q) (pl d s) (pl e p) (pl f p) (pl e r) (pl f r) stack pushed, stack: (ep a b) \/ (el l q) :: (el m o) :: (el n l) :: (el p q) \/ (el r s) :: nil stack top tailed: (ep a b) (ep b a) (ep c a) (ep a c) (pl a n) (pl a o) stack pushed, stack: (ep d e) \/ (el m p) :: (el l q) :: (el m o) :: (el n l) :: (el p q) \/ (el r s) :: nil stack top tailed: (ep d e) (ep e d) (ep f d) (ep d f) (pl d o) (pl d n) stack pushed, stack: (ep b f) \/ (el n p) :: (el m p) :: (el l q) :: (el m o) :: (el n l) :: (el p q) \/ (el r s) :: nil stack top tailed: (ep b f) (ep f b) (ep c f) (ep f c) (ep e b) (ep b e) (ep c e) (ep e c) (ep a f) (ep f a) (ep e a) (ep a e) (ep d b) (ep b d) (ep c d) (ep d c) (ep a d) (ep d a) (pl b m) valid, stack: (el n p) :: (el m p) :: (el l q) :: (el m o) :: (el n l) :: (el p q) \/ (el r s) :: nil stack popped: (el n p) (el p n) (el o p) (el p o) (el r n) (el n r) (el o r) (el r o) (el q n) (el n q) (el o q) (el q o) (el s n) (el n s) (el o s) (el s o) (pl g p) valid, stack: (el m p) :: (el l q) :: (el m o) :: (el n l) :: (el p q) \/ (el r s) :: nil stack popped: (el m p) (el p m) (el r m) (el m r) (el q m) (el m q) (el s m) (el m s) (pl b m) valid, stack: (el l q) :: (el m o) :: (el n l) :: (el p q) \/ (el r s) :: nil stack popped: (el l q) (el q l) (el s l) (el l s) (el p l) (el l p) (el r l) (el l r) (pl d l) valid, stack: (el m o) :: (el n l) :: (el p q) \/ (el r s) :: nil stack popped: (el m o) (el o m) (el n m) (el m n) (pl d o) (pl d n) (pl b m) valid, stack: (el n l) :: (el p q) \/ (el r s) :: nil stack popped: (el n l) (el l n) (el o l) (el l o) (pl a n) (pl a o) (pl f l) valid, stack: (el p q) \/ (el r s) :: nil stack top tailed: (el p q) (el q p) (pl b q) (pl a p) (pl d q) (pl e p) stack pushed, stack: (ep a b) \/ (el l q) :: (el r s) :: nil stack top tailed: (ep a b) (ep b a) (pl a n) (pl b s) stack pushed, stack: (ep d e) \/ (el m p) :: (el l q) :: (el r s) :: nil stack top tailed: (ep d e) (ep e d) (pl d o) (pl e r) stack pushed, stack: (ep b f) \/ (el n s) :: (el m p) :: (el l q) :: (el r s) :: nil stack top tailed: (ep b f) (ep f b) (ep a f) (ep f a) (pl b m) valid, stack: (el n s) :: (el m p) :: (el l q) :: (el r s) :: nil stack popped: (el n s) (el s n) (pl g s) (pl i n) stack pushed, stack: (ep c e) \/ (el o r) :: (el m p) :: (el l q) :: (el r s) :: nil stack top tailed: (ep c e) (ep e c) (ep d c) (ep c d) (pl c m) valid, stack: (el o r) :: (el m p) :: (el l q) :: (el r s) :: nil stack popped: (el o r) (el r o) (pl g r) (pl i o) stack pushed, stack: (ep g i) \/ (el n o) :: (el m p) :: (el l q) :: (el r s) :: nil stack top tailed: (ep g i) (ep i g) (pl c C0)/\(pl f C0) (el C0 C0) (pl c C1)/\(pl h C1) (el C1 C1) (pl f C2)/\(pl h C2) (el C2 C2) (pl g C3)/\(pl h C3) (el C3 C3) (pl i C3) valid, stack: (el n o) :: (el m p) :: (el l q) :: (el r s) :: nil stack popped: (el n o) (el o n) (el s o) (el o s) (el r n) (el n r) (el s r) (el r s) (pl b o) (pl a o) (pl b r) (pl a r) (pl c n) (pl c s) (pl f o) (pl f r) (pl e n) (pl d n) (pl e s) (pl d s) stack pushed, stack: (ep a c) \/ (el l s) :: (el m p) :: (el l q) :: (el r s) :: nil stack top tailed: (ep a c) (ep c a) (ep b c) (ep c b) (pl c q) (pl c p) stack pushed, stack: (ep d f) \/ (el m r) :: (el l s) :: (el m p) :: (el l q) :: (el r s) :: nil stack top tailed: (ep d f) (ep f d) (ep e f) (ep f e) (pl f p) (pl f q) stack pushed, stack: (ep b f) \/ (el n p) :: (el m r) :: (el l s) :: (el m p) :: (el l q) :: (el r s) :: nil stack top tailed: (ep b f) (ep f b) (ep a f) (ep f a) (ep c f) (ep f c) (ep d b) (ep b d) (ep a d) (ep d a) (ep e b) (ep b e) (ep a e) (ep e a) (ep c d) (ep d c) (ep e c) (ep c e) (pl b m) valid, stack: (el n p) :: (el m r) :: (el l s) :: (el m p) :: (el l q) :: (el r s) :: nil stack popped: (el n p) (el p n) (el q n) (el n q) (el s p) (el p s) (el q s) (el s q) (el o p) (el p o) (el q o) (el o q) (el r p) (el p r) (el q r) (el r q) (pl g p) (pl g q) (pl h n) valid, stack: (el m r) :: (el l s) :: (el m p) :: (el l q) :: (el r s) :: nil stack popped: (el m r) (el r m) (el o m) (el m o) (el n m) (el m n) (el s m) (el m s) (pl b m) valid, stack: (el l s) :: (el m p) :: (el l q) :: (el r s) :: nil stack popped: (el l s) (el s l) (el n l) (el l n) (el o l) (el l o) (el r l) (el l r) (pl f l) valid, stack: (el m p) :: (el l q) :: (el r s) :: nil stack popped: (el m p) (el p m) (el q m) (el m q) (pl b m) valid, stack: (el l q) :: (el r s) :: nil stack popped: (el l q) (el q l) (el p l) (el l p) (pl d l) valid, stack: (el r s) :: nil stack popped: (el r s) (el s r) (pl c s) (pl a r) (pl d s) (pl f r) stack pushed, stack: (ep a c) \/ (el l s) :: nil stack top tailed: (ep a c) (ep c a) (pl a o) (pl c q) stack pushed, stack: (ep d f) \/ (el m r) :: (el l s) :: nil stack top tailed: (ep d f) (ep f d) (pl d n) (pl f p) stack pushed, stack: (ep b f) \/ (el n p) :: (el m r) :: (el l s) :: nil stack top tailed: (ep b f) (ep f b) (ep d b) (ep b d) (pl b s) (pl b m) valid, stack: (el n p) :: (el m r) :: (el l s) :: nil stack popped: (el n p) (el p n) (pl g p) (pl h n) stack pushed, stack: (ep c e) \/ (el o q) :: (el m r) :: (el l s) :: nil stack top tailed: (ep c e) (ep e c) (ep a e) (ep e a) (pl c m) valid, stack: (el o q) :: (el m r) :: (el l s) :: nil stack popped: (el o q) (el q o) (pl g q) (pl h o) stack pushed, stack: (ep g h) \/ (el n o) :: (el m r) :: (el l s) :: nil stack top tailed: (ep g h) (ep h g) (pl b C0)/\(pl e C0) (el C0 C0) (pl b C1)/\(pl i C1) (el C1 C1) (pl e C2)/\(pl i C2) (el C2 C2) (pl g C3)/\(pl i C3) (el C3 C3) (pl h C3) valid, stack: (el n o) :: (el m r) :: (el l s) :: nil stack popped: (el n o) (el o n) (el p o) (el o p) (el q n) (el n q) (el p q) (el q p) (pl b o) (pl b q) (pl c n) (pl a n) (pl c p) (pl a p) (pl f o) (pl d o) (pl f q) (pl d q) (pl e n) (pl e p) stack pushed, stack: (ep a b) \/ (el l q) :: (el m r) :: (el l s) :: nil stack top tailed: (ep a b) (ep b a) (ep c b) (ep b c) (pl b s) (pl b r) stack pushed, stack: (ep d e) \/ (el m p) :: (el l q) :: (el m r) :: (el l s) :: nil stack top tailed: (ep d e) (ep e d) (ep f e) (ep e f) (pl e r) (pl e s) stack pushed, stack: (ep b f) \/ (el n s) :: (el m p) :: (el l q) :: (el m r) :: (el l s) :: nil stack top tailed: (ep b f) (ep f b) (ep d b) (ep b d) (ep a f) (ep f a) (ep c f) (ep f c) (ep d a) (ep a d) (ep c d) (ep d c) (ep e b) (ep b e) (ep a e) (ep e a) (ep c e) (ep e c) (pl b m) valid, stack: (el n s) :: (el m p) :: (el l q) :: (el m r) :: (el l s) :: nil stack popped: (el n s) (el s n) (el r n) (el n r) (el p s) (el s p) (el r p) (el p r) (el o s) (el s o) (el r o) (el o r) (el q s) (el s q) (el r q) (el q r) (pl g s) (pl g r) (pl h s) valid, stack: (el m p) :: (el l q) :: (el m r) :: (el l s) :: nil stack popped: (el m p) (el p m) (el n m) (el m n) (el o m) (el m o) (el q m) (el m q) (pl b m) valid, stack: (el l q) :: (el m r) :: (el l s) :: nil stack popped: (el l q) (el q l) (el o l) (el l o) (el n l) (el l n) (el p l) (el l p) (pl f l) valid, stack: (el m r) :: (el l s) :: nil stack popped: (el m r) (el r m) (el s m) (el m s) (pl c m) valid, stack: (el l s) :: nil stack popped: (el l s) (el s l) (el r l) (el l r) (pl b s) (pl b r) (pl d l) valid, stack: nil