2 [] f(x,f(x,f(f(x,f(x,f(f(x,y),z))),f(e,f(z,f(z,f(z,z)))))))=y.
3 [] f(f(a,b),c)!=f(a,f(b,c))|f(e,a)!=a|f(a,f(a,f(a,f(a,a))))!=e|$ANS(all).
4 [] f(x,f(x,f(f(x,f(x,f(f(x,y),z))),f(e,f(z,f(z,f(z,z)))))))=y.
75 [para_into,2.1.1.2.2.1,2.1.1] f(x,f(x,f(y,f(e,f(f(e,f(z,f(z,f(z,z)))),f(f(e,f(z,f(z,f(z,z)))),f(f(e,f(z,f(z,f(z,z)))),f(e,f(z,f(z,f(z,z)))))))))))=f(x,f(f(x,y),z)).
76 (heat=1) [para_into,75.1.1,4.1.1,flip.1] f(x,f(f(x,f(x,f(x,f(f(x,y),f(e,f(z,f(z,f(z,z)))))))),z))=y.
77 (heat=2) [para_from,76.1.1,4.1.1.2.2.1.2.2.1,flip.1] f(f(x,f(x,f(x,f(f(x,y),f(e,f(z,f(z,f(z,z)))))))),z)=f(x,f(x,f(f(x,f(x,f(y,u))),f(e,f(u,f(u,f(u,u))))))).
89 [para_into,77.1.2,2.1.1] f(f(x,f(x,f(x,f(f(x,f(x,y)),f(e,f(z,f(z,f(z,z)))))))),z)=y.
95 [para_from,77.1.1,76.1.1.2] f(x,f(x,f(x,f(f(x,f(x,f(y,z))),f(e,f(z,f(z,f(z,z))))))))=y.
108 [para_into,89.1.1.1.2,75.1.1] f(f(x,f(x,f(f(x,f(x,f(x,y))),z))),f(e,f(z,f(z,f(z,z)))))=y.
137 [para_into,95.1.1.2,75.1.1] f(x,f(x,f(f(x,f(x,f(x,f(y,f(e,f(z,f(z,f(z,z)))))))),z)))=y.
164 [para_into,137.1.1.2.2.1.2.2.2,108.1.1] f(x,f(x,f(f(x,f(x,f(x,y))),z)))=f(u,f(u,f(f(u,f(u,f(u,y))),z))).
256 [para_from,164.1.1,95.1.1.2] f(x,f(y,f(y,f(f(y,f(y,f(y,z))),f(e,f(z,f(z,f(z,z))))))))=x.
304 [para_from,256.1.1,137.1.1.2.2] f(x,f(x,f(x,f(x,f(x,f(y,f(e,f(f(z,f(z,f(f(z,f(z,f(z,u))),f(e,f(u,f(u,f(u,u))))))),f(f(z,f(z,f(f(z,f(z,f(z,u))),f(e,f(u,f(u,f(u,u))))))),f(f(z,f(z,f(f(z,f(z,f(z,u))),f(e,f(u,f(u,f(u,u))))))),f(z,f(z,f(f(z,f(z,f(z,u))),f(e,f(u,f(u,f(u,u)))))))))))))))))=y.
318 [para_into,304.1.1.2.2.2.2.2.2.2.1,164.1.2] f(x,f(x,f(x,f(x,f(x,f(y,f(e,f(f(z,f(z,f(f(z,f(z,f(z,u))),f(e,f(u,f(u,f(u,u))))))),f(f(v,f(v,f(f(v,f(v,f(v,u))),f(e,f(u,f(u,f(u,u))))))),f(f(v,f(v,f(f(v,f(v,f(v,u))),f(e,f(u,f(u,f(u,u))))))),f(v,f(v,f(f(v,f(v,f(v,u))),f(e,f(u,f(u,f(u,u)))))))))))))))))=y.
327 [para_into,318.1.1.2.2.2.2.2.2.2.2.1,164.1.2] f(x,f(x,f(x,f(x,f(x,f(y,f(e,f(f(z,f(z,f(f(z,f(z,f(z,u))),f(e,f(u,f(u,f(u,u))))))),f(f(v,f(v,f(f(v,f(v,f(v,u))),f(e,f(u,f(u,f(u,u))))))),f(f(w,f(w,f(f(w,f(w,f(w,u))),f(e,f(u,f(u,f(u,u))))))),f(w,f(w,f(f(w,f(w,f(w,u))),f(e,f(u,f(u,f(u,u)))))))))))))))))=y.
331 [para_into,327.1.1.2.2.2.2.2.2.2.2.2,256.1.1] f(x,f(x,f(x,f(x,f(x,f(y,f(e,f(f(z,f(z,f(f(z,f(z,f(z,u))),f(e,f(u,f(u,f(u,u))))))),f(f(v,f(v,f(f(v,f(v,f(v,u))),f(e,f(u,f(u,f(u,u))))))),f(w,f(w,f(f(w,f(w,f(w,u))),f(e,f(u,f(u,f(u,u))))))))))))))))=y.
332 [para_into,331.1.1.2.2.2.2.2.2.2.2,256.1.1] f(x,f(x,f(x,f(x,f(x,f(y,f(e,f(f(z,f(z,f(f(z,f(z,f(z,u))),f(e,f(u,f(u,f(u,u))))))),f(v,f(v,f(f(v,f(v,f(v,u))),f(e,f(u,f(u,f(u,u)))))))))))))))=y.
335 [para_into,332.1.1.2.2.2.2.2.2.2,256.1.1] f(x,f(x,f(x,f(x,f(x,f(y,f(e,f(z,f(z,f(f(z,f(z,f(z,u))),f(e,f(u,f(u,f(u,u))))))))))))))=y.
340 [para_into,335.1.1.2.2.2.2.2.2,256.1.1] f(x,f(x,f(x,f(x,f(x,f(y,e))))))=y.
422 [para_from,340.1.1,137.1.1.2.2.1.2.2] f(e,f(e,f(f(e,f(e,e)),e)))=e.
569 [para_from,422.1.1,340.1.1.2.2.2] f(e,f(e,f(e,e)))=f(e,f(e,e)).
675 [para_from,569.1.1,340.1.1.2.2.2] f(e,f(e,f(e,f(e,f(e,e)))))=e.
953 [para_from,675.1.1,340.1.1.2] f(e,e)=e.
1164 [para_from,953.1.1,340.1.1.2.2.2.2.2] f(x,f(x,f(x,f(x,f(x,e)))))=e.
3420 [para_from,1164.1.1,340.1.1.2] f(x,e)=x.
3766 [para_from,3420.1.1,1164.1.1.2.2.2.2] f(x,f(x,f(x,f(x,x))))=e.
3768 [para_from,3420.1.1,340.1.1.2.2.2.2.2] f(x,f(x,f(x,f(x,f(x,y)))))=y.
3772 [para_from,3420.1.1,164.1.2.2.2.1.2.2] f(x,f(x,f(f(x,f(x,f(x,e))),y)))=f(z,f(z,f(f(z,f(z,z)),y))).
4591 [para_into,3766.1.1.2.2.2,3420.1.1] f(e,f(e,f(e,e)))=e.
6635 [para_into,3772.1.1.2.2.1,4591.1.1,flip.1] f(x,f(x,f(f(x,f(x,x)),y)))=f(e,f(e,f(e,y))).
8571 [para_from,6635.1.1,89.1.1.1.2] f(f(x,f(e,f(e,f(e,f(e,f(y,f(y,f(y,y)))))))),y)=x.
9107 [para_into,8571.1.1.1,3768.1.1] f(f(x,f(x,f(x,x))),x)=e.
9303 [para_from,9107.1.1,164.1.2.2.2] f(x,f(x,f(f(x,f(x,f(x,y))),y)))=f(y,f(y,e)).
9592 [para_into,9303.1.2.2,3420.1.1] f(x,f(x,f(f(x,f(x,f(x,y))),y)))=f(y,y).
10150 [para_into,9592.1.1.2.2.1,3768.1.1,flip.1] f(f(x,f(x,y)),f(x,f(x,y)))=f(x,f(x,f(y,f(x,f(x,y))))).
10813 [para_into,10150.1.2,3768.1.1] f(f(x,f(x,x)),f(x,f(x,x)))=x.
11309 [para_from,10813.1.1,6635.1.1.2.2,flip.1] f(e,f(e,f(e,f(x,f(x,x)))))=f(x,f(x,x)).
11628 [para_from,11309.1.1,9592.1.1.2.2.1] f(e,f(e,f(f(x,f(x,x)),f(x,f(x,x)))))=f(f(x,f(x,x)),f(x,f(x,x))).
11915 [para_into,11628.1.1.2.2,10813.1.1,flip.1] f(f(x,f(x,x)),f(x,f(x,x)))=f(e,f(e,x)).
12203 [para_into,11915.1.1,10813.1.1,flip.1] f(e,f(e,x))=x.
12325 (heat=1) [para_from,12203.1.1,4.1.1.2.2.1.2.2.1] f(e,f(e,f(f(e,f(e,f(x,y))),f(e,f(y,f(y,f(y,y)))))))=f(e,x).
12877 [para_into,12203.1.1,3768.1.1,flip.1] f(e,f(e,f(e,x)))=x.
15505 [para_into,12325.1.1.2.2.1,12203.1.1] f(e,f(e,f(f(x,y),f(e,f(y,f(y,f(y,y)))))))=f(e,x).
17458 [para_into,12877.1.1.2,12203.1.1] f(e,x)=x.
17556 (heat=1) [para_from,17458.1.1,4.1.1.2.2.2] f(x,f(x,f(f(x,f(x,f(f(x,y),z))),f(z,f(z,f(z,z))))))=y.
17696 (heat=2) [para_from,17556.1.1,4.1.1.2.2.1] f(x,f(x,f(y,f(e,f(f(z,f(z,f(z,z))),f(f(z,f(z,f(z,z))),f(f(z,f(z,f(z,z))),f(z,f(z,f(z,z))))))))))=f(x,f(f(x,y),z)).
29338 [para_from,17458.1.1,15505.1.1.2.2.2] f(e,f(e,f(f(x,y),f(y,f(y,f(y,y))))))=f(e,x).
41143 [para_into,17696.1.1.2.2.2,17458.1.1] f(x,f(x,f(y,f(f(z,f(z,f(z,z))),f(f(z,f(z,f(z,z))),f(f(z,f(z,f(z,z))),f(z,f(z,f(z,z)))))))))=f(x,f(f(x,y),z)).
48761 [para_into,29338.1.1,12203.1.1] f(f(x,y),f(y,f(y,f(y,y))))=f(e,x).
59546 [para_into,48761.1.2,17458.1.1] f(f(x,y),f(y,f(y,f(y,y))))=x.
64473 [para_into,59546.1.1.1,59546.1.1] f(x,f(f(y,f(y,f(y,y))),f(f(y,f(y,f(y,y))),f(f(y,f(y,f(y,y))),f(y,f(y,f(y,y)))))))=f(x,y).
66511 [para_from,64473.1.1,41143.1.1.2.2,flip.1] f(x,f(f(x,y),z))=f(x,f(x,f(y,z))).
71928 [para_from,66511.1.2,76.1.1.2.1.2] f(x,f(f(x,f(x,f(f(x,f(x,y)),f(e,f(z,f(z,f(z,z))))))),z))=y.
72838 (heat=1) [para_into,71928.1.1.2.1,4.1.1,flip.1] f(f(x,y),z)=f(x,f(y,z)).
81302 [hyper,3,72838.1,17458.1,3766.1] $ANS(all).