(x# (x# (z#z)))# ((x# (x#x))#z) = z. (x# (y# (y#y)))# ((y# (y#x))#y) = x. (x# (y# (x#x)))# ((y# (y#x))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-1 (x# ((z#z)#x))# ((x# (x#x))#z) = z. (x# ((y#y)#y))# ((y# (y#x))#y) = x. (x# ((x#x)#y))# ((y# (y#x))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-2 (x# (x# (x#z)))# ((x# (x#x))#z) = z. (x# (y# (y#y)))# ((y# (y#x))#y) = x. (x# (y# (y#x)))# ((y# (y#x))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-3 (x# (x# (x#z)))# ((x# (x#x))#z) = z. (x# (y# (x#y)))# ((y# (y#x))#y) = x. (x# (y# (x#x)))# ((y# (y#x))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-4 (x# (x# (z#z)))# (((x#x)#x)#z) = z. (x# (y# (y#y)))# (((x#x)#y)#y) = x. (x# (y# (x#x)))# (((x#x)#y)#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-5 (x# (x# (z#z)))# ((x# (x#x))#z) = z. (x# (y# (y#y)))# ((y# (x#x))#y) = x. (x# (y# (x#x)))# ((y# (x#x))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-6 (x# ((z#z)#x))# (((x#x)#x)#z) = z. (x# ((y#y)#y))# (((x#x)#y)#y) = x. (x# ((x#x)#y))# (((x#x)#y)#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-7 (x# ((z#z)#x))# ((x# (x#x))#z) = z. (x# ((y#y)#y))# ((y# (x#x))#y) = x. (x# ((x#x)#y))# ((y# (x#x))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-8 (x# (x# (x#z)))# (((x#x)#x)#z) = z. (x# (y# (y#y)))# (((x#x)#y)#y) = x. (x# (y# (y#x)))# (((x#x)#y)#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-9 (x# (x# (x#z)))# ((x# (x#x))#z) = z. (x# (y# (y#y)))# ((y# (x#x))#y) = x. (x# (y# (y#x)))# ((y# (x#x))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-10 (x# (x# (x#z)))# (((x#x)#x)#z) = z. (x# (y# (x#y)))# (((x#x)#y)#y) = x. (x# (y# (x#x)))# (((x#x)#y)#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-11 (x# (x# (x#z)))# ((x# (x#x))#z) = z. (x# (y# (x#y)))# ((y# (x#x))#y) = x. (x# (y# (x#x)))# ((y# (x#x))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-12 (x# (x# (z#x)))# ((x# (x#x))#z) = z. (x# (y# (y#y)))# ((y# (y#x))#y) = x. (x# (y# (x#y)))# ((y# (y#x))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-13 (x# (x# (z#x)))# (((x#x)#x)#z) = z. (x# (y# (y#y)))# (((x#x)#y)#y) = x. (x# (y# (x#y)))# (((x#x)#y)#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-14 (x# (x# (z#x)))# ((x# (x#x))#z) = z. (x# (y# (y#y)))# ((y# (x#x))#y) = x. (x# (y# (x#y)))# ((y# (x#x))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-15 (x# (x# (z#z)))# ((x# (x#x))#z) = z. (x# (y# (y#y)))# ((y# (x#y))#y) = x. (x# (y# (x#x)))# ((y# (x#y))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-16 (x# (x# (x#z)))# ((x# (x#x))#z) = z. (x# (y# (y#y)))# ((y# (x#y))#y) = x. (x# (y# (y#x)))# ((y# (x#y))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-17 (x# (x# (x#z)))# ((x# (x#x))#z) = z. (x# (y# (x#y)))# ((y# (x#y))#y) = x. (x# (y# (x#x)))# ((y# (x#y))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-18 (x# ((z#z)#x))# ((x# (x#x))#z) = z. (x# ((y#y)#y))# ((y# (x#y))#y) = x. (x# ((x#x)#y))# ((y# (x#y))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-19 (x# (x# (z#x)))# ((x# (x#x))#z) = z. (x# (y# (y#y)))# ((y# (x#y))#y) = x. (x# (y# (x#y)))# ((y# (x#y))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-20 ((x# (x#z))#z)# (x# (x# (z#z))) = z. ((y# (x#y))#y)# (x# (y# (y#y))) = x. ((y# (x#x))#x)# (x# (y# (x#x))) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-21 ((x# (x#z))#z)# (x# (x# (x#z))) = z. ((y# (x#y))#y)# (x# (y# (y#y))) = x. ((y# (x#x))#x)# (x# (y# (y#x))) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-22 ((x# (x#z))#z)# (x# (x# (x#z))) = z. ((y# (x#y))#y)# (x# (y# (x#y))) = x. ((y# (x#x))#x)# (x# (y# (x#x))) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-23 ((x# (x#z))#z)# (x# ((z#z)#x)) = z. ((y# (x#y))#y)# (x# ((y#y)#y)) = x. ((y# (x#x))#x)# (x# ((x#x)#y)) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-24 ((x# (x#z))#z)# (x# (x# (z#x))) = z. ((y# (x#y))#y)# (x# (y# (y#y))) = x. ((y# (x#x))#x)# (x# (y# (x#y))) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-25 (x# (x# (z#z)))# ((x# (x#z))#z) = z. (x# (y# (y#y)))# ((y# (x#y))#y) = x. (x# (y# (x#x)))# ((y# (x#x))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-26 (x# (x# (x#z)))# ((x# (x#z))#z) = z. (x# (y# (y#y)))# ((y# (x#y))#y) = x. (x# (y# (y#x)))# ((y# (x#x))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-27 (x# (x# (x#z)))# ((x# (x#z))#z) = z. (x# (y# (x#y)))# ((y# (x#y))#y) = x. (x# (y# (x#x)))# ((y# (x#x))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-28 (x# ((z#z)#x))# ((x# (x#z))#z) = z. (x# ((y#y)#y))# ((y# (x#y))#y) = x. (x# ((x#x)#y))# ((y# (x#x))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-29 (x# (x# (z#x)))# ((x# (x#z))#z) = z. (x# (y# (y#y)))# ((y# (x#y))#y) = x. (x# (y# (x#y)))# ((y# (x#x))#x) = x. (x # z) # (x # (y # z)) = x. % V-27a % P-30 (x# ((z#z)#x))# ((x# (x#x))#z) = z. (x# ((y#y)#y))# ((y# (y#x))#y) = x. (x# ((x#x)#y))# ((y# (y#x))#x) = x. (x # y) # (x # (y # z)) = x. % V-26a % P-2 (x# (x# (x#z)))# ((x# (x#x))#z) = z. (x# (y# (y#y)))# ((y# (y#x))#y) = x. (x# (y# (y#x)))# ((y# (y#x))#x) = x. (x # y) # (x # (y # z)) = x. % V-26a % P-3 (x# (x# (x#z)))# ((x# (x#x))#z) = z. (x# (y# (x#y)))# ((y# (y#x))#y) = x. (x# (y# (x#x)))# ((y# (y#x))#x) = x. (x # y) # (x # (y # z)) = x. % V-26a % P-4 (x# (x# (x#z)))# (((x#x)#x)#z) = z. (x# (y# (y#y)))# (((x#x)#y)#y) = x. (x# (y# (y#x)))# (((x#x)#y)#x) = x. (x # y) # (x # (y # z)) = x. % V-26a % P-9 (x# (x# (x#z)))# ((x# (x#x))#z) = z. (x# (y# (y#y)))# ((y# (x#x))#y) = x. (x# (y# (y#x)))# ((y# (x#x))#x) = x. (x # y) # (x # (y # z)) = x. % V-26a % P-10 (x# (x# (x#z)))# (((x#x)#x)#z) = z. (x# (y# (x#y)))# (((x#x)#y)#y) = x. (x# (y# (x#x)))# (((x#x)#y)#x) = x. (x # y) # (x # (y # z)) = x. % V-26a % P-11 (x# (x# (x#z)))# ((x# (x#x))#z) = z. (x# (y# (x#y)))# ((y# (x#x))#y) = x. (x# (y# (x#x)))# ((y# (x#x))#x) = x. (x # y) # (x # (y # z)) = x. % V-26a % P-12 (x# (x# (x#z)))# ((x# (x#x))#z) = z. (x# (y# (y#y)))# ((y# (x#y))#y) = x. (x# (y# (y#x)))# ((y# (x#y))#x) = x. (x # y) # (x # (y # z)) = x. % V-26a % P-17 (x# (x# (x#z)))# ((x# (x#x))#z) = z. (x# (y# (x#y)))# ((y# (x#y))#y) = x. (x# (y# (x#x)))# ((y# (x#y))#x) = x. (x # y) # (x # (y # z)) = x. % V-26a % P-18 (x# (x# (x#z)))# ((x# (x#z))#z) = z. (x# (y# (y#y)))# ((y# (x#y))#y) = x. (x# (y# (y#x)))# ((y# (x#x))#x) = x. (x # y) # (x # (y # z)) = x. % V-26a % P-27 (x# (x# (x#z)))# ((x# (x#z))#z) = z. (x# (y# (x#y)))# ((y# (x#y))#y) = x. (x# (y# (x#x)))# ((y# (x#x))#x) = x. (x # y) # (x # (y # z)) = x. % V-26a % P-28