% from x4.out
a(K(x),y) = x # label(constant_functions).
a(P1,p(x,y)) = x # label(projection_1).
a(P2,p(x,y)) = y # label(projection_2).
a(E,p(x,x)) = P1 # label(equality_1).
a(A,a(A,a(A,x))) = a(A,x) # label(2_1_a).
a(A,a(A,K(x))) = K(x) # label(2_1_b).
a(A,K(K(x))) = K(K(x)) # label(2_1_c).
K(p(x,y)) = p(K(x),K(y)) # label(2_2_b0).
K(a(P1,x)) = a(P1,K(x)) # label(2_2_b1).
K(a(P2,x)) = a(P2,K(x)) # label(2_2_b2).
a(a(P1,x),y) = a(P1,a(x,y)).
a(a(P2,x),y) = a(P2,a(x,y)).
a(A,P1) = K(P1) # label(2_3_b1a).
a(A,K(P1)) = P1 # label(2_3_b1b).
a(A,P2) = K(P2) # label(2_3_b2a).
a(A,K(P2)) = P2 # label(2_3_b2b).
a(A,p(P1,P2)) = p(K(P1),K(P2)).
a(A,p(K(P1),K(P2))) = p(P1,P2).
a(a(p(P1,K(P2)),K(x)),x) = x.
a(p(P1,P2),x) = x.
a(E,a(p(x,x),y)) = P1.
a(a(a(A,A),x),K(y)) = K(y).
a(p(K(x),K(y)),z) = p(x,y).
a(P1,a(p(x,y),z)) = a(x,z).
a(P2,a(p(x,y),z)) = a(y,z).
a(P2,a(A,p(x,y))) = a(A,y).
a(p(K(x),A),P1) = p(x,K(P1)).
a(p(A,K(x)),P1) = p(K(P1),x).
a(p(K(x),A),K(P1)) = p(x,P1).
a(p(A,K(x)),K(P1)) = p(P1,x).
a(p(K(x),A),P2) = p(x,K(P2)).
a(p(A,K(x)),P2) = p(K(P2),x).
a(p(K(x),A),K(P2)) = p(x,P2).
a(p(A,K(x)),K(P2)) = p(P2,x).
a(E,a(A,p(x,x))) = P1.
a(E,a(a(p(x,x),y),z)) = P1.
a(E,a(A,a(p(x,x),y))) = P1.
a(E,a(a(A,p(x,x)),y)) = P1.
a(E,a(A,a(A,p(x,x)))) = P1.
a(a(a(A,A),P1),p(P1,P2)) = P1.
a(a(a(A,A),P2),p(P1,P2)) = P2.
a(A,p(P1,P1)) = p(K(P1),K(P1)).
a(A,p(P1,K(P1))) = p(K(P1),P1).
a(A,p(P1,K(P2))) = p(K(P1),P2).
a(A,p(K(P1),P1)) = p(P1,K(P1)).
a(A,p(K(P1),K(P1))) = p(P1,P1).
a(A,p(K(P1),P2)) = p(P1,K(P2)).
a(a(a(A,A),E),p(P1,P2)) = P2.
a(E,p(P1,P2)) = P2.
a(A,p(P2,P1)) = p(K(P2),K(P1)).
a(A,p(P2,K(P1))) = p(K(P2),P1).
a(A,p(P2,P2)) = p(K(P2),K(P2)).
a(A,p(P2,K(P2))) = p(K(P2),P2).
a(A,p(K(P2),P1)) = p(P2,K(P1)).
a(A,p(K(P2),K(P1))) = p(P2,P1).
a(A,p(K(P2),P2)) = p(P2,K(P2)).
a(A,p(K(P2),K(P2))) = p(P2,P2).
a(E,p(P2,P1)) = P2.
a(E,f(P1,P2)) = P2.
a(E,f(P2,P1)) = P2.
a(a(A,K(E)),p(x,x)) = K(P1).
a(p(E,E),p(x,x)) = p(P1,P1).
a(p(E,E),p(P1,P2)) = p(P2,P2).
a(p(E,E),p(P2,P1)) = p(P2,P2).
a(p(E,E),f(P1,P2)) = p(P2,P2).
a(p(E,E),f(P2,P1)) = p(P2,P2).
a(P2,a(A,a(A,p(x,P1)))) = P1.
a(E,K(a(p(x,x),y))) = P1.
a(E,K(a(A,p(x,x)))) = P1.
a(P2,a(A,a(p(x,A),P1))) = P1.
a(P2,a(A,a(A,p(x,P2)))) = P2.
a(P2,a(A,a(p(x,A),P2))) = P2.
a(E,K(K(a(p(x,x),y)))) = P1.
a(E,K(K(a(A,p(x,x))))) = P1.
a(a(p(P1,A),K(P2)),P2) = P2.
a(p(P2,P2),p(x,x)) = p(x,x).
a(p(P2,E),p(P1,P2)) = p(P2,P2).
a(p(P2,P2),p(x,P1)) = p(P1,P1).
a(p(P2,P2),p(x,P2)) = p(P2,P2).
a(p(P1,P1),p(P1,x)) = p(P1,P1).
a(p(P1,P1),p(P2,x)) = p(P2,P2).
a(p(P1,P1),p(x,x)) = p(x,x).
a(P1,a(A,x)) = a(A,a(P1,x)).
a(A,a(P1,P1)) = a(P1,K(P1)).
a(A,a(P1,K(P1))) = a(P1,P1).
a(A,a(P1,P2)) = a(P1,K(P2)).
a(A,a(P1,K(P2))) = a(P1,P2).
a(a(A,a(A,E)),p(x,x)) = P1.
a(p(P1,E),p(x,x)) = p(x,P1).
a(p(P1,E),p(P1,P2)) = p(P1,P2).
a(p(P1,E),p(P2,P1)) = p(P2,P2).
a(p(P2,P1),p(x,y)) = p(y,x).
a(p(P2,E),p(P2,P1)) = p(P1,P2).
a(p(E,P2),p(P2,P1)) = p(P2,P1).
a(p(E,P1),p(x,x)) = p(P1,x).
a(p(E,P2),p(x,x)) = p(P1,x).
a(a(p(A,P2),K(P1)),P1) = P1.
a(A,a(P2,x)) = a(P2,a(A,x)).
a(E,p(p(P1,P2),p(x,x))) = P2.
a(E,a(p(P2,P1),f(P1,P2))) = P2.
a(E,a(p(P2,P1),f(P2,P1))) = P2.
a(E,p(p(x,x),p(P1,P2))) = P2.
a(E,a(p(E,P1),p(x,P2))) = P2.
a(E,a(p(P1,E),p(x,P2))) = P2.
a(p(P2,P2),p(x,E)) = p(E,E).
a(p(P1,P1),p(E,x)) = p(E,E).
a(a(A,K(x)),p(P1,P2)) = x.
a(p(P2,P2),p(x,A)) = p(A,A).
a(p(P1,P1),p(A,x)) = p(A,A).
a(E,p(A,p(x,x))) = P2.
a(E,p(p(P2,P1),p(x,x))) = P2.
a(E,p(f(P1,P2),p(x,x))) = P2.
a(E,p(f(P2,P1),p(x,x))) = P2.
a(E,p(p(E,P1),p(x,x))) = P2.
a(E,p(p(E,P2),p(x,x))) = P2.
a(E,p(p(P1,E),p(x,x))) = P2.
a(E,p(p(P2,E),p(x,x))) = P2.
a(E,p(p(P1,A),p(x,x))) = P2.
a(E,p(p(A,P1),p(x,x))) = P2.
a(E,p(p(P2,A),p(x,x))) = P2.
a(E,p(p(A,P2),p(x,x))) = P2.
a(E,p(P1,p(x,x))) = P2.
a(E,p(P2,p(x,x))) = P2.
a(E,a(A,p(A,p(x,x)))) = P2.
a(E,a(p(A,p(x,x)),A)) = P2.
a(E,p(E,p(x,x))) = P2.
a(E,p(K(P2),p(x,x))) = P2.
a(E,a(p(A,p(x,x)),P2)) = P2.
a(E,a(A,p(P2,p(x,x)))) = P2.
a(E,p(p(x,x),A)) = P2.
a(E,p(p(x,x),p(P2,A))) = P2.
a(E,p(p(x,x),p(A,P2))) = P2.
a(E,p(p(x,x),p(P1,A))) = P2.
a(E,p(p(x,x),P1)) = P2.
a(E,p(p(x,x),P2)) = P2.
a(E,p(p(x,x),p(A,P1))) = P2.
a(E,p(p(x,x),p(E,P1))) = P2.
a(E,p(p(x,x),p(P1,E))) = P2.
a(E,p(p(x,x),p(E,P2))) = P2.
a(E,p(p(x,x),p(P2,E))) = P2.
a(E,p(p(x,x),f(P1,P2))) = P2.
a(E,p(p(x,x),f(P2,P1))) = P2.
a(E,p(p(x,x),p(P2,P1))) = P2.
a(E,p(p(x,x),p(E,A))) = P2.
a(E,p(p(x,x),K(P2))) = P2.
a(E,p(p(x,x),E)) = P2.
a(E,a(p(p(x,x),A),P2)) = P2.
a(E,a(A,p(p(x,x),P2))) = P2.
a(E,p(p(A,E),p(x,x))) = P2.
a(E,p(p(x,x),p(A,E))) = P2.
a(E,p(K(K(P2)),p(x,x))) = P2.
a(E,p(p(x,x),K(K(P2)))) = P2.
a(E,p(K(E),p(x,x))) = P2.
a(E,p(K(P1),p(x,x))) = P2.
a(E,p(K(A),p(x,x))) = P2.
a(E,a(A,p(E,p(x,x)))) = P2.
a(E,a(p(A,p(x,x)),E)) = P2.
a(E,p(p(x,x),K(E))) = P2.
a(E,p(p(x,x),K(P1))) = P2.
a(E,p(p(x,x),K(A))) = P2.
a(E,a(p(A,p(x,x)),P1)) = P2.
a(E,a(A,p(P1,p(x,x)))) = P2.
a(E,a(p(p(x,x),A),E)) = P2.
a(E,a(A,p(p(x,x),E))) = P2.
a(E,a(p(p(x,x),A),P1)) = P2.
a(E,a(A,p(p(x,x),P1))) = P2.
a(E,a(p(p(x,x),A),A)) = P2.
a(E,a(A,p(p(x,x),A))) = P2.
a(E,a(p(p(x,x),P2),A)) = P2.
a(E,a(p(P2,p(x,x)),A)) = P2.
a(E,p(p(E,A),p(x,x))) = P2.
a(a(A,K(A)),P2) = a(P2,A).
a(E,p(P2,E)) = P2.
a(E,p(P2,A)) = P2.
a(E,p(E,P2)) = P2.
a(E,p(A,P2)) = P2.
a(p(E,E),p(P2,E)) = p(P2,P2).
a(p(P1,E),p(P2,E)) = p(P2,P2).
a(p(P2,E),p(P2,E)) = p(E,P2).
a(p(P1,E),p(E,P2)) = p(E,P2).
a(p(P2,E),p(E,P2)) = p(P2,P2).
a(p(E,E),p(P2,A)) = p(P2,P2).
a(p(P1,E),p(P2,A)) = p(P2,P2).
a(p(P2,E),p(P2,A)) = p(A,P2).
a(p(P1,E),p(A,P2)) = p(A,P2).
a(p(P2,E),p(A,P2)) = p(P2,P2).
a(E,p(E,K(x))) = P2.
a(E,p(A,K(x))) = P2.
a(E,p(P1,K(x))) = P2.
a(E,p(P2,K(x))) = P2.
a(E,p(K(x),P2)) = P2.
a(E,a(p(A,P2),K(P1))) = P2.
a(E,a(p(A,P1),K(P1))) = P2.
a(E,a(p(A,P2),K(P2))) = P2.
a(E,a(p(A,P1),K(P2))) = P2.
a(E,a(p(K(E),P1),K(x))) = P2.
a(E,a(p(K(E),P2),K(x))) = P2.
a(E,p(E,p(K(x),K(y)))) = P2.
a(E,a(p(K(A),P1),K(x))) = P2.
a(E,a(p(K(A),P2),K(x))) = P2.
a(E,a(p(K(P1),P1),K(x))) = P2.
a(E,p(K(x),E)) = P2.
a(E,p(K(x),A)) = P2.
a(E,p(K(x),P1)) = P2.
a(E,a(p(P2,A),K(P1))) = P2.
a(E,a(p(P1,A),K(P1))) = P2.
a(E,a(p(K(P1),P2),K(x))) = P2.
a(E,a(p(K(P2),P1),K(x))) = P2.
a(E,a(p(K(P2),P2),K(x))) = P2.
a(E,a(p(P1,K(P2)),K(x))) = P2.
a(E,a(p(P1,A),K(P2))) = P2.
a(E,a(p(P2,K(P2)),K(x))) = P2.
a(E,a(p(P2,A),K(P2))) = P2.
a(E,a(p(P1,K(E)),K(x))) = P2.
a(E,p(K(P1),K(P2))) = P2.
a(E,p(K(P2),K(P1))) = P2.
a(E,a(p(P2,K(E)),K(x))) = P2.
a(E,p(p(K(x),K(y)),E)) = P2.
a(E,a(p(P1,K(A)),K(x))) = P2.
a(E,a(p(P2,K(A)),K(x))) = P2.
a(E,a(p(P1,K(P1)),K(x))) = P2.
a(E,a(p(P2,K(P1)),K(x))) = P2.
a(E,p(K(P2),K(E))) = P2.
a(E,p(K(E),K(P2))) = P2.
a(E,p(K(A),K(P2))) = P2.
a(E,p(K(P2),K(A))) = P2.
a(E,p(A,P1)) = P2.
a(E,p(P1,A)) = P2.
a(p(E,E),p(A,P1)) = p(P2,P2).
a(p(P1,E),p(A,P1)) = p(A,P2).
a(p(P2,E),p(A,P1)) = p(P1,P2).
a(p(E,P1),p(A,P1)) = p(P2,A).
a(p(E,P2),p(A,P1)) = p(P2,P1).
a(E,p(p(P2,x),K(y))) = P2.
a(E,p(K(x),p(P2,y))) = P2.
a(E,p(E,P1)) = P2.
a(E,p(P1,E)) = P2.
a(p(E,E),p(P1,A)) = p(P2,P2).
a(p(P1,E),p(P1,A)) = p(P1,P2).
a(E,p(p(x,P2),K(y))) = P2.
a(E,p(K(x),p(y,P2))) = P2.
a(p(P2,E),p(P1,A)) = p(A,P2).
a(p(E,P1),p(P1,A)) = p(P2,P1).
a(p(E,P2),p(P1,A)) = p(P2,A).
a(p(E,E),p(E,P1)) = p(P2,P2).
a(p(P1,E),p(E,P1)) = p(E,P2).
a(p(P2,E),p(E,P1)) = p(P1,P2).
a(p(E,P1),p(E,P1)) = p(P2,E).
a(p(E,P2),p(E,P1)) = p(P2,P1).
a(p(E,E),p(P1,E)) = p(P2,P2).
a(p(P1,E),p(P1,E)) = p(P1,P2).
a(p(P2,E),p(P1,E)) = p(E,P2).
a(p(E,P1),p(P1,E)) = p(P2,P1).
a(p(E,P2),p(P1,E)) = p(P2,E).
a(E,a(A,p(K(P2),A))) = P2.
a(E,a(a(A,p(P2,A)),x)) = P2.
a(E,a(A,p(K(P2),K(E)))) = P2.
a(E,a(A,a(A,p(P2,E)))) = P2.
a(E,a(A,a(A,p(P2,A)))) = P2.
a(E,a(A,p(A,K(P2)))) = P2.
a(E,a(a(A,p(A,P2)),x)) = P2.
a(E,a(A,p(K(E),K(P2)))) = P2.
a(E,a(A,a(A,p(E,P2)))) = P2.
a(E,p(p(x,P2),P1)) = P2.
a(E,p(p(P2,x),P1)) = P2.
a(E,a(A,p(P2,A))) = P2.
a(E,a(A,p(A,P2))) = P2.
a(E,p(P1,p(x,P2))) = P2.
a(E,p(P1,p(P2,x))) = P2.
a(E,a(A,p(A,K(P1)))) = P2.
a(E,a(A,p(E,K(P1)))) = P2.
a(E,p(p(x,P1),P2)) = P2.
a(E,p(p(P1,x),P2)) = P2.
a(E,p(P2,p(x,P1))) = P2.
a(E,p(P2,p(P1,x))) = P2.
a(E,a(A,p(K(P1),A))) = P2.
a(E,a(A,p(K(P1),E))) = P2.
a(E,a(A,a(A,p(A,P2)))) = P2.
a(E,a(a(A,p(A,P1)),x)) = P2.
a(E,a(A,a(A,p(A,P1)))) = P2.
a(E,a(A,a(A,p(E,P1)))) = P2.
a(E,a(a(A,p(P1,A)),x)) = P2.
a(E,a(A,a(A,p(P1,A)))) = P2.
a(E,a(A,a(A,p(P1,E)))) = P2.
a(E,p(K(P2),p(x,K(P1)))) = P2.
a(E,p(p(x,K(P1)),K(P2))) = P2.
a(E,p(K(P2),p(K(P1),x))) = P2.
a(E,p(p(K(P1),x),K(P2))) = P2.
a(E,p(A,E)) = P2.
a(E,p(E,A)) = P2.
a(E,p(p(P1,x),E)) = P2.
a(E,p(p(x,P1),E)) = P2.
a(E,p(E,p(P1,x))) = P2.
a(E,p(E,p(x,P1))) = P2.
a(E,p(P2,p(x,E))) = P2.
a(E,p(p(x,E),P2)) = P2.
a(E,p(P1,p(x,E))) = P2.
a(E,p(p(x,E),P1)) = P2.
a(E,a(p(A,K(E)),A)) = P2.
a(E,a(p(K(E),A),A)) = P2.
a(E,p(p(P2,x),E)) = P2.
a(E,p(p(x,P2),E)) = P2.
a(E,p(E,p(P2,x))) = P2.
a(E,p(E,p(x,P2))) = P2.
a(E,p(P2,p(E,x))) = P2.
a(E,p(p(E,x),P2)) = P2.
a(E,p(P1,p(E,x))) = P2.
a(E,p(p(E,x),P1)) = P2.
a(E,p(p(K(P1),x),E)) = P2.
a(E,p(p(x,K(P1)),E)) = P2.
a(E,p(p(K(E),x),E)) = P2.
a(E,p(p(x,K(E)),E)) = P2.
a(E,p(E,p(K(P1),x))) = P2.
a(E,p(E,p(x,K(P1)))) = P2.
a(E,p(E,p(K(E),x))) = P2.
a(E,p(E,p(x,K(E)))) = P2.
a(E,a(p(A,K(E)),E)) = P2.
a(E,a(p(K(E),A),E)) = P2.
a(E,p(K(P2),p(x,K(E)))) = P2.
a(E,p(p(x,K(E)),K(P2))) = P2.
a(E,p(K(P2),p(K(E),x))) = P2.
a(E,p(p(K(E),x),K(P2))) = P2.
a(E,a(p(A,p(P1,P2)),E)) = P2.
a(E,a(p(p(P1,P2),A),E)) = P2.
a(E,p(K(P2),K(K(x)))) = P2.
a(E,p(K(K(x)),K(P2))) = P2.
a(E,a(A,p(K(x),P2))) = P2.
a(E,a(A,p(K(P2),K(A)))) = P2.
a(E,a(A,p(K(A),K(P2)))) = P2.
a(E,a(A,p(K(P1),K(A)))) = P2.
a(E,a(A,p(K(A),K(P1)))) = P2.
a(E,a(p(A,E),p(P2,A))) = P2.
a(E,a(p(A,E),p(A,P2))) = P2.
a(E,a(A,p(P2,K(x)))) = P2.
a(p(E,E),p(A,E)) = p(P2,P2).
a(p(P1,E),p(A,E)) = p(A,P2).
a(p(P2,E),p(A,E)) = p(E,P2).
a(p(E,P1),p(A,E)) = p(P2,A).
a(p(E,P2),p(A,E)) = p(P2,E).
a(p(E,E),p(E,A)) = p(P2,P2).
a(p(P1,E),p(E,A)) = p(E,P2).
a(p(P2,E),p(E,A)) = p(A,P2).
a(p(E,P1),p(E,A)) = p(P2,E).
a(p(E,P2),p(E,A)) = p(P2,A).
a(E,a(A,p(P2,p(x,P1)))) = P2.
a(E,a(A,p(p(x,P1),P2))) = P2.
a(E,a(A,p(P2,p(P1,x)))) = P2.
a(E,a(A,p(p(P1,x),P2))) = P2.
a(E,p(K(a(A,A)),K(P2))) = P2.
a(E,p(K(P2),K(a(A,A)))) = P2.
a(E,a(a(A,p(E,P1)),P2)) = P2.
a(E,a(a(A,p(P1,E)),P2)) = P2.
a(E,a(a(A,p(E,P2)),P1)) = P2.
a(E,a(A,p(P2,E))) = P2.
a(E,a(A,p(E,P2))) = P2.
a(E,a(a(A,p(P2,E)),P1)) = P2.
a(E,p(p(x,K(P2)),E)) = P2.
a(E,p(E,p(x,K(P2)))) = P2.
a(E,p(p(K(P2),x),E)) = P2.
a(E,p(E,p(K(P2),x))) = P2.
a(E,a(p(P1,A),P2)) = P2.
a(E,a(p(P2,A),P2)) = P2.
a(E,a(p(A,P1),P2)) = P2.
a(E,a(p(A,P2),P2)) = P2.
a(E,a(a(A,p(E,P1)),P1)) = P2.
a(E,a(a(A,p(P1,E)),P1)) = P2.
a(E,a(a(A,p(E,P2)),P2)) = P2.
a(E,a(a(A,p(P2,E)),P2)) = P2.
a(E,a(p(A,p(x,P1)),P2)) = P2.
a(E,a(p(p(x,P1),A),P2)) = P2.
a(E,p(p(A,x),P2)) = P2.
a(E,p(P2,p(A,x))) = P2.
a(E,a(A,p(K(E),K(P1)))) = P2.
a(E,p(E,p(K(A),x))) = P2.
a(E,p(p(K(A),x),E)) = P2.
a(E,p(K(P2),p(K(A),x))) = P2.
a(E,p(p(K(A),x),K(P2))) = P2.
a(E,a(p(K(A),A),A)) = P2.
a(E,a(p(A,K(A)),A)) = P2.
a(E,a(A,p(K(P1),K(E)))) = P2.
a(E,a(p(A,p(x,P2)),P2)) = P2.
a(E,a(p(p(x,P2),A),P2)) = P2.
a(E,a(p(A,p(P1,x)),P2)) = P2.
a(E,a(p(p(P1,x),A),P2)) = P2.
a(E,a(A,p(P2,p(A,x)))) = P2.
a(E,a(A,p(p(A,x),P2))) = P2.
a(E,a(p(A,K(A)),E)) = P2.
a(E,a(p(K(A),A),E)) = P2.
a(E,p(p(A,x),P1)) = P2.
a(E,p(P1,p(A,x))) = P2.
a(E,p(p(x,A),P1)) = P2.
a(E,p(P1,p(x,A))) = P2.
a(E,p(p(x,A),P2)) = P2.
a(E,p(P2,p(x,A))) = P2.
a(E,p(E,p(x,K(A)))) = P2.
a(E,p(p(x,K(A)),E)) = P2.
a(E,p(K(P2),p(x,K(A)))) = P2.
a(E,p(p(x,K(A)),K(P2))) = P2.
a(E,p(K(K(x)),K(E))) = P2.
a(E,p(K(K(x)),K(A))) = P2.
a(E,p(K(K(x)),K(P1))) = P2.
a(E,p(K(E),K(K(x)))) = P2.
a(E,p(K(A),K(K(x)))) = P2.
a(E,p(K(P1),K(K(x)))) = P2.
a(E,p(K(K(P2)),K(K(P1)))) = P2.
a(E,p(K(K(P1)),K(K(P2)))) = P2.
a(E,p(K(K(E)),K(K(P2)))) = P2.
a(E,p(K(K(P2)),K(K(E)))) = P2.
a(E,p(K(K(P2)),K(K(A)))) = P2.
a(E,p(K(K(A)),K(K(P2)))) = P2.
a(E,p(p(P1,x),p(P2,y))) = P2.
a(E,p(p(P2,x),p(P1,y))) = P2.
a(E,p(p(x,P1),p(y,P2))) = P2.
a(E,p(p(x,P2),p(y,P1))) = P2.
a(E,p(A,p(x,E))) = P2.
a(E,p(P2,p(x,P2))) = P2.
a(E,p(P1,p(x,P1))) = P2.
a(E,p(p(P1,x),P1)) = P2.
a(E,p(p(P2,x),P2)) = P2.
a(E,p(p(x,P1),P1)) = P2.
a(E,p(p(x,P2),P2)) = P2.
a(E,p(A,p(x,P1))) = P2.
a(E,p(p(x,P1),A)) = P2.
a(E,p(A,p(x,P2))) = P2.
a(E,p(p(x,P2),A)) = P2.
a(E,p(p(P1,x),A)) = P2.
a(E,p(A,p(P1,x))) = P2.
a(E,p(p(x,E),A)) = P2.
a(E,p(P1,p(P1,x))) = P2.
a(E,p(P2,p(P2,x))) = P2.
a(E,p(E,p(E,x))) = P2.
a(E,p(p(E,x),E)) = P2.
a(E,p(E,p(x,E))) = P2.
a(E,p(p(x,E),E)) = P2.
a(E,p(K(K(E)),p(x,x))) = P2.
a(E,p(K(K(P1)),p(x,x))) = P2.
a(E,p(K(K(A)),p(x,x))) = P2.
a(E,p(p(x,x),K(K(E)))) = P2.
a(E,p(p(A,x),A)) = P2.
a(E,p(p(x,A),A)) = P2.
a(E,p(A,p(A,x))) = P2.
a(E,p(A,p(x,A))) = P2.
a(E,p(p(x,x),K(K(P1)))) = P2.
a(E,p(p(x,x),K(K(A)))) = P2.
a(E,p(p(x,K(P2)),K(P1))) = P2.
a(E,p(p(K(P2),x),K(P1))) = P2.
a(E,p(K(P1),p(x,K(P2)))) = P2.
a(E,p(K(P1),p(K(P2),x))) = P2.
a(E,p(p(K(P1),x),K(E))) = P2.
a(E,p(p(x,K(P1)),K(E))) = P2.
a(E,p(K(E),p(K(P1),x))) = P2.
a(E,p(K(E),p(x,K(P1)))) = P2.
a(E,p(K(P1),p(x,K(E)))) = P2.
a(E,p(p(x,K(E)),K(P1))) = P2.
a(E,p(p(K(P2),x),K(E))) = P2.
a(E,p(p(x,K(P2)),K(E))) = P2.
a(E,p(K(E),p(K(P2),x))) = P2.
a(E,p(K(E),p(x,K(P2)))) = P2.
a(E,p(K(P1),p(K(E),x))) = P2.
a(E,p(p(K(E),x),K(P1))) = P2.
a(E,p(p(K(A),x),K(P1))) = P2.
a(E,p(K(P1),p(K(A),x))) = P2.
a(E,p(p(x,K(A)),K(P1))) = P2.
a(E,p(K(P1),p(x,K(A)))) = P2.
a(E,p(K(P2),p(K(P2),x))) = P2.
a(E,p(p(K(P2),x),K(P2))) = P2.
a(E,p(K(P2),p(x,K(P2)))) = P2.
a(E,p(p(x,K(P2)),K(P2))) = P2.
a(E,a(A,p(P2,p(P2,x)))) = P2.
a(E,a(A,p(p(P2,x),P2))) = P2.
a(E,a(p(A,p(A,x)),P2)) = P2.
a(E,a(p(p(A,x),A),P2)) = P2.
a(E,a(A,p(P2,p(x,P2)))) = P2.
a(E,a(A,p(p(x,P2),P2))) = P2.
a(E,a(p(A,p(x,A)),P2)) = P2.
a(E,a(p(p(x,A),A),P2)) = P2.
a(E,p(K(P1),K(A))) = P2.
a(E,p(K(A),K(P1))) = P2.
a(E,p(K(E),K(P1))) = P2.
a(E,p(K(P1),K(E))) = P2.
a(E,p(K(P1),K(a(A,A)))) = P2.
a(E,p(K(a(A,A)),K(P1))) = P2.
a(E,p(K(A),p(x,K(E)))) = P2.
a(E,p(p(x,K(E)),K(A))) = P2.
a(E,p(K(P1),p(x,K(P1)))) = P2.
a(E,p(p(x,K(P1)),K(P1))) = P2.
a(E,p(p(K(P1),x),K(P1))) = P2.
a(E,p(K(P1),p(K(P1),x))) = P2.
a(E,p(K(A),p(x,K(P1)))) = P2.
a(E,p(p(x,K(P1)),K(A))) = P2.
a(E,p(K(A),p(x,K(P2)))) = P2.
a(E,p(p(x,K(P2)),K(A))) = P2.
a(E,p(p(K(P1),x),K(A))) = P2.
a(E,p(K(A),p(K(P1),x))) = P2.
a(E,p(K(E),p(K(E),x))) = P2.
a(E,p(p(K(E),x),K(E))) = P2.
a(E,p(K(E),p(x,K(E)))) = P2.
a(E,p(p(x,K(E)),K(E))) = P2.
a(E,p(p(K(A),x),K(A))) = P2.
a(E,p(K(A),p(K(A),x))) = P2.
a(E,p(p(x,K(A)),K(A))) = P2.
a(E,p(K(A),p(x,K(A)))) = P2.
a(a(p(P1,A),K(A)),P2) = A.
a(E,a(p(A,P2),p(x,A))) = P2.
a(E,a(p(A,P1),p(A,x))) = P2.
a(E,a(p(P2,A),p(x,A))) = P2.
a(E,a(p(P1,A),p(A,x))) = P2.
a(E,a(A,p(E,K(K(x))))) = P2.
a(E,a(A,p(A,K(K(x))))) = P2.
a(E,a(A,p(E,P1))) = P2.
a(E,a(A,p(K(K(x)),E))) = P2.
a(E,a(A,p(K(K(x)),A))) = P2.
a(E,a(A,p(P1,E))) = P2.
a(E,a(a(A,p(E,P1)),A)) = P2.
a(E,a(a(A,p(P1,E)),A)) = P2.
a(E,a(a(A,p(E,P2)),A)) = P2.
a(E,a(a(A,p(P2,E)),A)) = P2.
a(E,a(p(A,K(E)),K(x))) = P2.
a(E,a(p(P1,K(E)),P1)) = P2.
a(E,a(p(P1,K(E)),P2)) = P2.
a(E,a(p(P2,K(E)),P1)) = P2.
a(E,a(p(P2,K(E)),P2)) = P2.
a(E,a(p(K(E),A),K(x))) = P2.
a(E,a(p(K(E),P1),P1)) = P2.
a(E,a(p(K(E),P1),P2)) = P2.
a(E,a(p(K(E),P2),P1)) = P2.
a(E,a(p(K(E),P2),P2)) = P2.
a(E,p(E,p(A,x))) = P2.
a(E,p(p(A,x),E)) = P2.
a(E,p(K(E),p(K(A),x))) = P2.
a(E,p(p(K(A),x),K(E))) = P2.
a(E,p(p(P2,x),A)) = P2.
a(E,p(A,p(P2,x))) = P2.
a(E,p(p(K(P2),x),K(A))) = P2.
a(E,p(K(A),p(K(P2),x))) = P2.
a(E,a(p(A,p(P2,x)),P2)) = P2.
a(E,a(p(p(P2,x),A),P2)) = P2.
a(E,a(A,p(p(x,P2),P1))) = P2.
a(E,a(A,p(p(P2,x),P1))) = P2.
a(E,a(A,p(P1,p(x,P2)))) = P2.
a(E,a(A,p(P1,p(P2,x)))) = P2.
a(E,a(p(A,p(x,A)),P1)) = P2.
a(E,a(A,p(P1,p(x,P1)))) = P2.
a(E,a(p(p(x,A),A),P1)) = P2.
a(E,a(A,p(p(x,P1),P1))) = P2.
a(E,a(p(p(A,x),A),P1)) = P2.
a(E,a(A,p(p(P1,x),P1))) = P2.
a(E,a(p(A,p(A,x)),P1)) = P2.
a(E,a(A,p(P1,p(P1,x)))) = P2.
a(E,p(E,p(x,A))) = P2.
a(E,p(p(x,A),E)) = P2.
a(E,p(K(E),p(x,K(A)))) = P2.
a(E,p(p(x,K(A)),K(E))) = P2.
a(E,a(A,p(P2,p(x,A)))) = P2.
a(E,a(A,p(p(x,A),P2))) = P2.
a(E,p(K(P2),K(a(A,E)))) = P2.
a(E,p(K(a(A,E)),K(P2))) = P2.
a(E,a(A,p(E,K(P2)))) = P2.
a(E,a(A,p(K(P2),E))) = P2.
a(E,p(K(E),K(A))) = P2.
a(E,p(K(A),K(E))) = P2.
a(E,p(K(K(A)),K(K(P1)))) = P2.
a(E,p(K(K(P1)),K(K(A)))) = P2.
a(E,p(K(K(P1)),K(K(E)))) = P2.
a(E,p(K(K(E)),K(K(P1)))) = P2.
a(E,p(K(K(A)),K(K(E)))) = P2.
a(E,p(K(K(E)),K(K(A)))) = P2.
a(E,p(K(a(A,E)),K(P1))) = P2.
a(E,p(K(P1),K(a(A,E)))) = P2.
a(E,p(K(E),K(a(A,A)))) = P2.
a(E,p(K(E),K(a(A,E)))) = P2.
a(E,p(K(a(A,A)),K(E))) = P2.
a(E,p(K(a(A,E)),K(E))) = P2.
a(E,a(p(K(P2),P2),A)) = P2.
a(E,a(p(P2,K(P2)),A)) = P2.
a(E,a(p(K(K(P2)),P1),A)) = P2.
a(E,a(p(P1,K(K(P2))),A)) = P2.
a(E,p(K(a(A,E)),K(A))) = P2.
a(E,p(K(A),K(a(A,E)))) = P2.
a(E,p(K(A),K(a(A,A)))) = P2.
a(E,p(K(a(A,A)),K(A))) = P2.
a(E,a(p(K(K(P2)),P2),A)) = P2.
a(E,a(p(P2,K(K(P2))),A)) = P2.
a(E,a(p(P1,K(P2)),A)) = P2.
a(E,a(p(K(P2),P1),A)) = P2.
a(E,p(A,p(E,x))) = P2.
a(E,p(p(E,x),A)) = P2.
a(E,p(K(A),p(K(E),x))) = P2.
a(E,p(p(K(E),x),K(A))) = P2.
a(E,a(p(E,A),p(P1,E))) = P2.
a(E,a(p(A,E),p(P1,E))) = P2.
a(E,a(p(A,E),p(E,P1))) = P2.
a(E,a(p(A,K(A)),K(x))) = P2.
a(E,a(p(P1,K(A)),P1)) = P2.
a(E,a(p(P1,K(A)),P2)) = P2.
a(E,a(p(P2,K(A)),P2)) = P2.
a(E,a(p(K(A),A),K(x))) = P2.
a(E,a(p(P2,K(A)),P1)) = P2.
a(E,a(p(K(A),P1),P1)) = P2.
a(E,a(p(K(A),P1),P2)) = P2.
a(E,a(p(K(A),P2),P2)) = P2.
a(E,a(p(K(A),P2),P1)) = P2.
a(E,p(P2,p(x,p(y,E)))) = P2.
a(E,p(p(x,p(y,E)),P2)) = P2.
a(E,p(P2,p(x,p(E,y)))) = P2.
a(E,p(p(x,p(E,y)),P2)) = P2.
a(E,p(P2,p(p(x,E),y))) = P2.
a(E,p(p(p(x,E),y),P2)) = P2.
a(E,p(P2,p(p(E,x),y))) = P2.
a(E,p(p(p(E,x),y),P2)) = P2.
a(E,a(A,p(p(x,E),P2))) = P2.
a(E,a(A,p(p(E,x),P2))) = P2.
a(E,p(E,p(x,p(y,P1)))) = P2.
a(E,p(p(x,p(y,P1)),E)) = P2.
a(E,p(P2,p(x,p(y,P1)))) = P2.
a(E,p(p(x,p(y,P1)),P2)) = P2.
a(E,p(P1,p(x,p(y,E)))) = P2.
a(E,p(p(x,p(y,E)),P1)) = P2.
a(E,p(E,p(x,p(y,P2)))) = P2.
a(E,p(p(x,p(y,P2)),E)) = P2.
a(E,p(P1,p(x,p(y,P2)))) = P2.
a(E,p(p(x,p(y,P2)),P1)) = P2.
a(E,p(E,p(x,p(P1,y)))) = P2.
a(E,p(p(x,p(P1,y)),E)) = P2.
a(E,p(P2,p(x,p(P1,y)))) = P2.
a(E,p(p(x,p(P1,y)),P2)) = P2.
a(E,p(E,p(x,p(P2,y)))) = P2.
a(E,p(p(x,p(P2,y)),E)) = P2.
a(E,p(P1,p(x,p(P2,y)))) = P2.
a(E,p(p(x,p(P2,y)),P1)) = P2.
a(E,p(E,p(p(x,P1),y))) = P2.
a(E,p(p(p(x,P1),y),E)) = P2.
a(E,p(P2,p(p(x,P1),y))) = P2.
a(E,p(p(p(x,P1),y),P2)) = P2.
a(E,p(P1,p(p(x,E),y))) = P2.
a(E,p(p(p(x,E),y),P1)) = P2.
a(E,p(E,p(p(x,P2),y))) = P2.
a(E,p(p(p(x,P2),y),E)) = P2.
a(E,p(P1,p(p(x,P2),y))) = P2.
a(E,p(p(p(x,P2),y),P1)) = P2.
a(E,p(E,p(p(P1,x),y))) = P2.
a(E,p(p(p(P1,x),y),E)) = P2.
a(E,p(P2,p(p(P1,x),y))) = P2.
a(E,p(p(p(P1,x),y),P2)) = P2.
a(E,p(P1,p(p(E,x),y))) = P2.
a(E,p(p(p(E,x),y),P1)) = P2.
a(E,p(E,p(p(P2,x),y))) = P2.
a(E,p(p(p(P2,x),y),E)) = P2.
a(E,p(P1,p(p(P2,x),y))) = P2.
a(E,p(p(p(P2,x),y),P1)) = P2.
a(E,p(P1,p(x,p(E,y)))) = P2.
a(E,p(p(x,p(E,y)),P1)) = P2.
a(E,a(A,p(A,P1))) = P2.
a(E,a(A,p(K(x),P1))) = P2.
a(E,a(p(P1,A),P1)) = P2.
a(E,a(p(P1,K(K(P1))),P2)) = P2.
a(E,a(p(P2,K(K(P1))),P2)) = P2.
a(E,a(p(P2,A),P1)) = P2.
a(E,a(A,p(A,p(P1,P2)))) = P2.
a(E,a(p(A,K(K(A))),E)) = P2.
a(E,a(p(A,K(K(E))),E)) = P2.
a(E,p(p(E,x),K(y))) = P2.
a(E,p(p(A,x),K(y))) = P2.
a(E,p(K(x),p(E,y))) = P2.
a(E,p(K(x),p(A,y))) = P2.
a(E,p(p(P1,x),K(y))) = P2.
a(E,p(K(x),p(P1,y))) = P2.
a(E,p(p(x,E),K(y))) = P2.
a(E,p(p(x,A),K(y))) = P2.
a(E,p(K(x),p(y,E))) = P2.
a(E,p(K(x),p(y,A))) = P2.
a(E,p(p(x,P1),K(y))) = P2.
a(E,p(K(x),p(y,P1))) = P2.
a(E,a(p(A,K(K(x))),A)) = P2.
a(E,a(p(P1,K(K(E))),P2)) = P2.
a(E,a(p(P2,K(K(E))),P2)) = P2.
a(E,K(f(P1,P2))) = P2.
a(E,K(f(P2,P1))) = P2.
a(a(A,K(A)),P1) = a(P1,A).
a(a(p(A,P2),K(A)),P1) = A.
a(E,a(A,p(P2,p(x,E)))) = P2.
a(E,a(A,p(P2,p(E,x)))) = P2.
a(E,a(A,p(P1,A))) = P2.
a(E,a(A,p(P1,K(x)))) = P2.
a(E,a(p(A,P1),P1)) = P2.
a(E,a(p(K(K(P1)),P1),P2)) = P2.
a(E,a(p(K(K(P1)),P2),P2)) = P2.
a(E,a(p(A,P2),P1)) = P2.
a(E,a(A,p(p(P1,P2),A))) = P2.
a(E,a(p(K(K(A)),A),E)) = P2.
a(E,a(p(K(K(E)),A),E)) = P2.
a(E,a(p(K(K(E)),P1),P2)) = P2.
a(E,a(p(K(K(E)),P2),P2)) = P2.
a(E,a(p(K(K(x)),A),A)) = P2.
a(E,p(P2,p(x,p(P2,y)))) = P2.
a(E,p(p(x,p(P2,y)),P2)) = P2.
a(E,p(P2,p(p(P2,x),y))) = P2.
a(E,p(p(p(P2,x),y),P2)) = P2.
a(E,p(P1,p(x,p(P1,y)))) = P2.
a(E,p(p(x,p(P1,y)),P1)) = P2.
a(E,p(E,p(x,p(E,y)))) = P2.
a(E,p(p(x,p(E,y)),E)) = P2.
a(E,p(p(x,p(A,y)),A)) = P2.
a(E,p(A,p(x,p(A,y)))) = P2.
a(E,p(P1,p(p(P1,x),y))) = P2.
a(E,p(p(p(P1,x),y),P1)) = P2.
a(E,p(p(p(A,x),y),A)) = P2.
a(E,p(A,p(p(A,x),y))) = P2.
a(E,p(E,p(p(E,x),y))) = P2.
a(E,p(p(p(E,x),y),E)) = P2.
a(E,p(p(E,x),p(P1,y))) = P2.
a(E,p(p(P1,x),p(E,y))) = P2.
a(E,p(P2,p(x,p(y,P2)))) = P2.
a(E,p(p(x,p(y,P2)),P2)) = P2.
a(E,p(P2,p(p(x,P2),y))) = P2.
a(E,p(p(p(x,P2),y),P2)) = P2.
a(E,p(p(x,p(y,A)),A)) = P2.
a(E,p(A,p(x,p(y,A)))) = P2.
a(E,p(p(p(x,A),y),A)) = P2.
a(E,p(A,p(p(x,A),y))) = P2.
a(E,p(E,p(p(x,E),y))) = P2.
a(E,p(p(p(x,E),y),E)) = P2.
a(E,p(P1,p(x,p(y,P1)))) = P2.
a(E,p(p(x,p(y,P1)),P1)) = P2.
a(E,p(P1,p(p(x,P1),y))) = P2.
a(E,p(p(p(x,P1),y),P1)) = P2.
a(E,a(p(A,P1),K(E))) = P2.
a(E,a(p(A,P2),K(E))) = P2.
a(E,a(p(P1,A),K(E))) = P2.
a(E,a(p(P2,A),K(E))) = P2.
a(E,a(p(K(E),P1),A)) = P2.
a(E,a(p(P1,K(E)),A)) = P2.
a(E,a(p(A,p(P1,x)),P1)) = P2.
a(E,a(p(p(P1,x),A),P1)) = P2.
a(E,a(p(K(P1),P1),A)) = P2.
a(E,a(p(P1,K(P1)),A)) = P2.
a(E,a(p(K(P1),P2),A)) = P2.
a(E,a(p(P2,K(P1)),A)) = P2.
a(E,a(p(A,p(P2,x)),P1)) = P2.
a(E,a(p(p(P2,x),A),P1)) = P2.
a(E,p(p(x,E),p(y,P1))) = P2.
a(E,p(p(x,P1),p(y,E))) = P2.
a(E,p(p(x,p(y,E)),E)) = P2.
a(E,p(E,p(x,p(y,E)))) = P2.
a(E,a(p(K(P2),P1),P1)) = P2.
a(E,a(p(P1,K(P2)),P1)) = P2.
a(E,a(p(K(P1),P1),P2)) = P2.
a(E,a(p(P1,K(P1)),P2)) = P2.
a(E,a(p(K(P2),P2),P1)) = P2.
a(E,a(p(P2,K(P2)),P1)) = P2.
a(E,a(p(K(P1),P2),P2)) = P2.
a(E,a(p(P2,K(P1)),P2)) = P2.
a(E,a(p(p(x,P1),A),P1)) = P2.
a(E,a(p(p(x,P2),A),P1)) = P2.
a(E,a(A,p(p(E,x),P1))) = P2.
a(E,a(A,p(p(x,E),P1))) = P2.
a(E,a(p(A,p(x,P1)),P1)) = P2.
a(E,a(p(A,p(x,P2)),P1)) = P2.
a(E,a(A,p(P1,p(E,x)))) = P2.
a(E,a(A,p(P1,p(x,E)))) = P2.
a(E,a(p(K(P2),P1),P2)) = P2.
a(E,a(p(p(P1,P2),P1),P2)) = P2.
a(E,a(p(P1,K(P2)),P2)) = P2.
a(E,a(p(P1,p(P1,P2)),P2)) = P2.
a(E,a(a(A,p(P2,E)),E)) = P2.
a(E,a(a(A,p(E,P2)),E)) = P2.
a(E,a(a(A,p(P1,E)),E)) = P2.
a(E,a(a(A,p(E,P1)),E)) = P2.
a(E,a(p(K(P2),P2),P2)) = P2.
a(E,a(p(P2,K(P2)),P2)) = P2.
a(E,a(p(p(P1,P2),P2),P2)) = P2.
a(E,a(p(P2,p(P1,P2)),P2)) = P2.
a(E,a(p(A,P2),A)) = P2.
a(E,a(p(P2,A),A)) = P2.
a(E,a(p(A,P1),K(K(P2)))) = P2.
a(E,a(p(P1,A),K(K(P2)))) = P2.
a(E,a(p(A,P2),K(K(P2)))) = P2.
a(E,a(p(P2,A),K(K(P2)))) = P2.
a(E,a(p(A,P1),p(E,x))) = P2.
a(E,a(p(P1,A),p(E,x))) = P2.
a(E,p(P2,p(K(x),y))) = P2.
a(E,p(p(K(x),y),P2)) = P2.
a(E,p(E,p(K(K(x)),y))) = P2.
a(E,p(p(K(K(x)),y),E)) = P2.
a(E,a(p(P1,K(A)),A)) = P2.
a(E,a(p(K(A),P1),A)) = P2.
a(E,a(p(P1,p(P1,P2)),A)) = P2.
a(E,a(p(p(P1,P2),P1),A)) = P2.
a(E,a(p(P1,A),A)) = P2.
a(E,a(p(A,P1),A)) = P2.
a(E,a(p(P2,K(E)),A)) = P2.
a(E,a(p(K(E),P2),A)) = P2.
a(E,a(p(P2,K(A)),A)) = P2.
a(E,a(p(K(A),P2),A)) = P2.
a(E,a(p(P2,p(P1,P2)),A)) = P2.
a(E,a(p(p(P1,P2),P2),A)) = P2.
a(E,p(E,p(x,K(K(y))))) = P2.
a(E,p(p(x,K(K(y))),E)) = P2.
a(E,p(P2,p(x,K(y)))) = P2.
a(E,p(p(x,K(y)),P2)) = P2.
a(E,a(A,p(p(A,x),P1))) = P2.
a(E,a(A,p(P1,p(A,x)))) = P2.
a(E,K(a(p(P1,A),A))) = P2.
a(E,K(a(p(A,P1),A))) = P2.
a(E,K(a(p(P2,A),A))) = P2.
a(E,K(a(p(A,P2),A))) = P2.
a(E,a(A,p(p(x,A),P1))) = P2.
a(E,a(A,p(P1,p(x,A)))) = P2.
a(E,a(p(P1,p(x,x)),P1)) = P2.
a(E,a(p(p(x,x),P1),P1)) = P2.
a(E,a(p(A,p(P1,x)),A)) = P2.
a(E,a(p(A,p(P2,x)),A)) = P2.
a(E,a(p(p(P1,x),A),A)) = P2.
a(E,a(p(p(P2,x),A),A)) = P2.
a(E,a(A,p(A,p(P2,x)))) = P2.
a(E,a(A,p(p(P2,x),A))) = P2.
a(E,p(P1,p(p(A,x),y))) = P2.
a(E,p(p(p(A,x),y),P1)) = P2.
a(E,p(P2,p(p(A,x),y))) = P2.
a(E,p(p(p(A,x),y),P2)) = P2.
a(E,p(P1,p(x,p(A,y)))) = P2.
a(E,p(p(x,p(A,y)),P1)) = P2.
a(E,p(P2,p(x,p(A,y)))) = P2.
a(E,p(p(x,p(A,y)),P2)) = P2.
a(E,p(P1,p(p(x,A),y))) = P2.
a(E,p(p(p(x,A),y),P1)) = P2.
a(E,p(P2,p(p(x,A),y))) = P2.
a(E,p(p(p(x,A),y),P2)) = P2.
a(E,p(P1,p(x,p(y,A)))) = P2.
a(E,p(p(x,p(y,A)),P1)) = P2.
a(E,p(P2,p(x,p(y,A)))) = P2.
a(E,p(p(x,p(y,A)),P2)) = P2.
a(E,a(p(K(K(P1)),P2),A)) = P2.
a(E,a(p(P2,K(K(P1))),A)) = P2.
a(E,a(p(K(K(A)),P1),A)) = P2.
a(E,a(p(K(K(A)),P2),A)) = P2.
a(E,a(p(P1,K(K(A))),A)) = P2.
a(E,a(p(P2,K(K(A))),A)) = P2.
a(E,a(p(K(K(P1)),P1),A)) = P2.
a(E,a(p(P1,K(K(P1))),A)) = P2.
a(E,a(p(K(K(E)),P1),A)) = P2.
a(E,a(p(K(K(E)),P2),A)) = P2.
a(E,a(p(P1,K(K(E))),A)) = P2.
a(E,a(p(P2,K(K(E))),A)) = P2.
a(E,a(p(K(K(A)),P2),P2)) = P2.
a(E,a(p(K(K(A)),P1),P2)) = P2.
a(E,a(p(P2,K(K(A))),P2)) = P2.
a(E,a(p(P1,K(K(A))),P2)) = P2.
a(E,a(p(P1,K(K(x))),P1)) = P2.
a(E,a(p(P2,K(K(x))),P1)) = P2.
a(E,a(p(P2,p(A,A)),P1)) = P2.
a(E,a(p(K(K(x)),P1),P1)) = P2.
a(E,a(p(K(K(x)),P2),P1)) = P2.
a(E,a(p(p(A,A),P2),P1)) = P2.
a(E,p(p(x,P2),p(y,A))) = P2.
a(E,p(p(x,A),p(y,P2))) = P2.
a(E,p(p(x,P2),p(y,E))) = P2.
a(E,p(p(x,E),p(y,P2))) = P2.
a(E,p(p(P2,x),p(A,y))) = P2.
a(E,p(p(A,x),p(P2,y))) = P2.
a(E,p(p(P2,x),p(E,y))) = P2.
a(E,p(p(E,x),p(P2,y))) = P2.
a(E,p(p(x,p(y,y)),A)) = P2.
a(E,p(A,p(x,p(y,y)))) = P2.
a(E,p(p(x,p(y,y)),P1)) = P2.
a(E,p(P1,p(x,p(y,y)))) = P2.
a(E,p(p(x,p(y,y)),P2)) = P2.
a(E,p(P2,p(x,p(y,y)))) = P2.
a(E,p(E,p(x,p(y,y)))) = P2.
a(E,p(p(x,p(y,y)),E)) = P2.
a(E,a(A,p(E,p(P1,P2)))) = P2.
a(E,a(A,p(p(P1,P2),E))) = P2.
a(E,a(p(P2,E),f(P2,E))) = P2.
a(E,a(p(E,P2),f(P2,E))) = P2.
a(E,a(p(P2,E),f(E,P2))) = P2.
a(E,a(p(E,P2),f(E,P2))) = P2.
a(E,a(A,p(E,p(P2,P1)))) = P2.
a(E,a(A,p(p(P2,P1),E))) = P2.
a(E,a(p(A,P2),f(P2,A))) = P2.
a(E,a(p(P2,A),f(P2,A))) = P2.
a(E,a(p(A,P2),f(A,P2))) = P2.
a(E,a(p(P2,A),f(A,P2))) = P2.
a(E,a(p(A,P2),p(x,E))) = P2.
a(E,a(p(P2,A),p(x,E))) = P2.
a(E,p(p(K(x),y),P1)) = P2.
a(E,p(P1,p(K(x),y))) = P2.
a(E,p(p(x,K(y)),P1)) = P2.
a(E,p(P1,p(x,K(y)))) = P2.
a(E,p(A,p(K(x),y))) = P2.
a(E,p(p(K(x),y),A)) = P2.
a(E,p(p(A,x),p(P1,y))) = P2.
a(E,p(p(P1,x),p(A,y))) = P2.
a(E,p(A,p(x,K(y)))) = P2.
a(E,p(p(x,K(y)),A)) = P2.
a(E,p(p(x,A),p(y,P1))) = P2.
a(E,p(p(x,P1),p(y,A))) = P2.
a(E,p(A,p(x,p(y,P1)))) = P2.
a(E,p(A,p(x,p(y,E)))) = P2.
a(E,p(A,p(x,p(E,y)))) = P2.
a(E,p(A,p(x,p(P1,y)))) = P2.
a(E,p(A,p(x,p(P2,y)))) = P2.
a(E,p(A,p(x,p(y,P2)))) = P2.
a(E,p(p(x,p(y,P1)),A)) = P2.
a(E,p(p(x,p(y,E)),A)) = P2.
a(E,p(p(x,p(E,y)),A)) = P2.
a(E,p(p(x,p(P1,y)),A)) = P2.
a(E,p(p(x,p(P2,y)),A)) = P2.
a(E,p(p(x,p(y,P2)),A)) = P2.
a(E,a(A,p(K(A),A))) = P2.
a(E,a(A,p(K(E),A))) = P2.
a(E,a(A,p(p(x,A),A))) = P2.
a(E,a(A,p(p(A,x),A))) = P2.
a(E,a(A,p(E,A))) = P2.
a(E,a(A,p(A,K(A)))) = P2.
a(E,a(A,p(A,K(E)))) = P2.
a(E,a(A,p(p(x,P1),A))) = P2.
a(E,a(p(p(x,A),A),A)) = P2.
a(E,a(A,p(A,p(x,A)))) = P2.
a(E,a(A,p(A,p(A,x)))) = P2.
a(E,a(A,p(A,p(x,P1)))) = P2.
a(E,a(A,p(A,E))) = P2.
a(E,a(p(p(A,x),A),A)) = P2.
a(E,a(p(A,p(x,A)),A)) = P2.
a(E,a(p(A,p(A,x)),A)) = P2.
a(E,a(p(p(x,P2),A),A)) = P2.
a(E,a(p(A,p(x,P2)),A)) = P2.
a(E,p(p(p(P1,x),y),A)) = P2.
a(E,p(p(p(x,x),y),A)) = P2.
a(E,p(p(p(P2,x),y),A)) = P2.
a(E,p(p(p(x,P2),y),A)) = P2.
a(E,p(p(p(x,P1),y),A)) = P2.
a(E,p(A,p(p(P1,x),y))) = P2.
a(E,p(A,p(p(x,x),y))) = P2.
a(E,p(A,p(p(P2,x),y))) = P2.
a(E,p(A,p(p(x,P2),y))) = P2.
a(E,p(A,p(p(x,P1),y))) = P2.
a(E,p(P1,p(p(x,x),y))) = P2.
a(E,p(p(p(x,x),y),P1)) = P2.
a(E,p(P2,p(p(x,x),y))) = P2.
a(E,p(p(p(x,x),y),P2)) = P2.
a(E,p(E,p(p(x,x),y))) = P2.
a(E,p(p(p(x,x),y),E)) = P2.
a(E,K(A)) = P2.
a(E,K(K(a(A,A)))) = P2.
a(E,K(a(a(A,A),x))) = P2.
a(p(E,E),K(A)) = p(P2,P2).
a(E,K(a(a(A,K(A)),A))) = P2.
a(E,p(p(x,A),p(y,E))) = P2.
a(E,p(p(x,E),p(y,A))) = P2.
a(E,p(p(A,x),p(E,y))) = P2.
a(E,p(p(E,x),p(A,y))) = P2.
a(p(K(x),E),K(A)) = p(x,P2).
a(a(p(P1,E),K(A)),A) = A.
a(p(E,K(x)),K(A)) = p(P2,x).
a(E,a(p(E,P1),K(A))) = P2.
a(E,a(p(E,P2),K(A))) = P2.
a(E,a(p(P1,E),K(A))) = P2.
a(E,a(p(P2,E),K(A))) = P2.
a(a(A,a(A,E)),a(A,A)) = P2.
a(E,p(p(p(E,x),y),A)) = P2.
a(E,p(p(p(x,E),y),A)) = P2.
a(E,p(A,p(p(E,x),y))) = P2.
a(E,p(A,p(p(x,E),y))) = P2.
a(E,K(E)) = P2.
a(p(E,E),K(E)) = p(P2,P2).
a(p(K(x),E),K(E)) = p(x,P2).
a(a(p(P1,E),K(E)),E) = E.
a(p(E,K(x)),K(E)) = p(P2,x).
a(E,a(p(E,P1),K(E))) = P2.
a(E,a(p(E,P2),K(E))) = P2.
a(E,a(p(P1,E),K(E))) = P2.
a(E,a(p(P2,E),K(E))) = P2.
a(E,K(P1)) = P2.
a(E,K(P2)) = P2.
a(E,K(a(A,A))) = P2.
a(E,K(a(A,K(A)))) = P2.
a(p(E,E),K(P1)) = p(P2,P2).
a(E,a(p(P2,E),K(P1))) = P2.
a(E,a(p(E,P2),K(P1))) = P2.
a(E,a(p(P1,E),K(P1))) = P2.
a(E,a(p(E,P1),K(P1))) = P2.
a(p(E,A),K(P1)) = p(P2,P1).
a(p(A,E),K(P1)) = p(P1,P2).
a(p(K(x),E),K(P1)) = p(x,P2).
a(p(E,K(x)),K(P1)) = p(P2,x).
a(E,p(p(x,p(y,A)),E)) = P2.
a(E,p(E,p(x,p(y,A)))) = P2.
a(E,p(p(p(A,x),y),E)) = P2.
a(E,p(E,p(p(A,x),y))) = P2.
a(E,p(p(p(x,A),y),E)) = P2.
a(E,p(E,p(p(x,A),y))) = P2.
a(E,p(p(x,p(A,y)),E)) = P2.
a(E,p(E,p(x,p(A,y)))) = P2.
a(E,a(p(K(P2),P1),E)) = P2.
a(E,a(p(P1,K(P2)),E)) = P2.
a(E,a(p(K(P2),P2),E)) = P2.
a(E,a(p(P2,K(P2)),E)) = P2.
a(E,K(K(P2))) = P2.
a(p(E,E),K(K(P2))) = p(P2,P2).
a(E,a(p(E,P1),K(K(P2)))) = P2.
a(E,a(p(E,P2),K(K(P2)))) = P2.
a(E,a(p(P1,E),K(K(P2)))) = P2.
a(E,a(p(P2,E),K(K(P2)))) = P2.
a(E,K(a(a(A,E),P1))) = P2.
a(E,K(a(a(A,E),P2))) = P2.
a(E,a(p(P2,K(A)),E)) = P2.
a(E,a(p(P1,K(K(P2))),E)) = P2.
a(E,a(p(P2,K(K(P2))),E)) = P2.
a(E,a(p(K(K(P2)),P1),E)) = P2.
a(E,a(p(K(K(P2)),P2),E)) = P2.
a(E,a(p(K(A),P2),E)) = P2.
a(E,a(p(K(E),P2),E)) = P2.
a(E,a(p(p(P1,P2),P2),E)) = P2.
a(E,a(p(P2,K(E)),E)) = P2.
a(E,a(p(P2,p(P1,P2)),E)) = P2.
a(E,a(a(p(A,P1),A),P1)) = P2.
a(E,a(a(p(P1,A),A),P1)) = P2.
a(E,a(p(P1,K(A)),E)) = P2.
a(E,a(p(K(A),P1),E)) = P2.
a(E,a(p(K(E),P1),E)) = P2.
a(E,a(p(p(P1,P2),P1),E)) = P2.
a(E,a(p(P1,K(E)),E)) = P2.
a(E,a(p(P1,p(P1,P2)),E)) = P2.
