p(f1(x),f2(x),y)=y.
p(f1(x),x,f2(y))=y.
p(p(f1(x),x,f2(y)),y,z)=z.
p(f1(x),x,p(f2(y),y,z))=z.
p(x,f1(x),p(f2(y),y,z))=z.
p(x,f1(x),f2(y))=y.
p(p(x,f1(x),y),f2(y),z)=z.
p(p(f1(x),x,y),f2(y),z)=z.
p(x,p(y,f1(y),f2(x)),z)=z.
p(x,p(f1(y),y,f2(x)),z)=z.
p(x,f1(x),p(y,f2(y),z))=z.
p(f1(x),x,p(y,f2(y),z))=z.
p(p(x,x,f1(y)),y,f2(z))=z.
p(p(x,f1(x),y),y,f2(z))=z.
p(p(f1(x),x,y),y,f2(z))=z.
p(x,p(y,y,f1(x)),f2(z))=z.
p(x,p(y,f1(y),x),f2(z))=z.
p(x,p(f1(y),y,x),f2(z))=z.
p(x,x,p(y,f1(y),f2(z)))=z.
p(x,x,p(f1(y),y,f2(z)))=z.
p(x,f1(x),p(y,y,f2(z)))=z.
p(f1(x),x,p(y,y,f2(z)))=z.
p(f1(x),p(y,y,f2(z)),z)=x.
p(f1(x),p(y,f2(y),z),z)=x.
p(f1(x),p(f2(y),y,z),z)=x.
p(f1(x),f2(y),y)=x.
p(f1(x),y,p(z,z,f2(y)))=x.
p(f1(x),y,p(z,f2(z),y))=x.
p(f1(x),y,p(f2(z),z,y))=x.
p(f1(x),y,f2(y))=x.
p(p(x,f1(x),f2(y)),z,z)=y.
p(p(f1(x),x,f2(y)),z,z)=y.
p(x,f1(x),p(f2(y),z,z))=y.
p(f1(x),x,p(f2(y),z,z))=y.
p(x,f1(y),p(f2(y),z,z))=x.
p(x,f1(y),p(z,z,f2(y)))=x.
p(x,f1(y),p(z,f2(z),y))=x.
p(x,f1(y),p(f2(z),z,y))=x.
p(x,f1(y),f2(y))=x.
p(p(x,f1(y),y),f2(z),z)=x.
p(p(f1(x),y,y),f2(z),z)=x.
p(p(x,x,f1(y)),f2(z),z)=y.
p(p(x,f1(x),y),f2(z),z)=y.
p(p(f1(x),x,y),f2(z),z)=y.
p(x,p(y,f1(y),f2(z)),z)=x.
p(x,p(f1(y),y,f2(z)),z)=x.
p(x,f1(x),p(y,f2(z),z))=y.
p(f1(x),x,p(y,f2(z),z))=y.
p(x,y,p(f1(y),f2(z),z))=x.
p(p(x,y,f1(y)),f2(z),z)=x.
p(p(x,y,f1(y)),z,f2(z))=x.
p(p(x,f1(y),y),z,f2(z))=x.
p(p(f1(x),y,y),z,f2(z))=x.
p(p(x,x,f1(y)),z,f2(z))=y.
p(p(x,f1(x),y),z,f2(z))=y.
p(p(f1(x),x,y),z,f2(z))=y.
p(x,p(y,z,f1(z)),f2(y))=x.
p(x,p(y,f1(z),z),f2(y))=x.
p(x,p(f1(y),z,z),f2(y))=x.
p(x,p(y,y,f1(z)),f2(z))=x.
p(x,p(y,f1(y),z),f2(z))=x.
p(x,p(f1(y),y,z),f2(z))=x.
p(x,y,p(z,f1(z),f2(y)))=x.
p(x,y,p(f1(z),z,f2(y)))=x.
p(x,f1(x),p(y,z,f2(z)))=y.
p(f1(x),x,p(y,z,f2(z)))=y.
p(p(f1(x),y,f2(y)),z,x)=x.
p(p(f1(x),f2(y),y),z,x)=x.
p(f1(x),y,p(x,z,f2(z)))=x.
p(f1(x),y,p(x,f2(z),z))=x.
p(f1(x),y,p(f2(x),z,z))=x.
p(f1(x),y,p(z,z,f2(x)))=x.
p(f1(x),y,p(z,f2(z),x))=x.
p(f1(x),y,p(f2(z),z,x))=x.
p(f1(x),y,f2(x))=x.
p(p(f1(x),y,x),z,f2(z))=x.
p(p(f1(x),y,x),f2(z),z)=x.
p(p(x,f1(x),f2(y)),z,y)=y.
p(p(f1(x),x,f2(y)),z,y)=y.
p(x,f1(x),p(f2(y),z,y))=y.
p(f1(x),x,p(f2(y),z,y))=y.
p(x,y,p(f1(x),z,f2(z)))=x.
p(x,y,p(f1(x),f2(z),z))=x.
p(p(x,y,f1(x)),z,f2(z))=x.
p(p(x,y,f1(x)),f2(z),z)=x.
p(p(x,y,f1(x)),z,f2(x))=x.
p(p(f1(x),y,x),z,f2(x))=x.
p(p(x,y,f1(y)),z,f2(x))=x.
p(p(x,f1(y),y),z,f2(x))=x.
p(p(f1(x),y,y),z,f2(x))=x.
p(p(x,x,f1(y)),z,f2(y))=y.
p(p(x,f1(x),y),z,f2(y))=y.
p(p(f1(x),x,y),z,f2(y))=y.
p(x,y,p(z,f1(z),f2(x)))=x.
p(x,y,p(f1(z),z,f2(x)))=x.
p(x,f1(x),p(y,z,f2(y)))=y.
p(f1(x),x,p(y,z,f2(y)))=y.
p(p(p(f1(x),y,f2(y)),x,z),z,u)=u.
p(p(p(f1(x),f2(y),y),x,z),z,u)=u.
p(p(f1(x),p(x,y,f2(x)),z),z,u)=u.
p(p(f1(x),p(f2(x),y,x),z),z,u)=u.
p(p(f1(x),p(x,y,f2(y)),z),z,u)=u.
p(p(f1(x),p(x,f2(y),y),z),z,u)=u.
p(p(f1(x),p(f2(x),y,y),z),z,u)=u.
p(p(f1(x),p(y,y,f2(x)),z),z,u)=u.
p(p(f1(x),p(y,f2(y),x),z),z,u)=u.
p(p(f1(x),p(f2(y),y,x),z),z,u)=u.
p(p(f1(x),f2(x),y),y,z)=z.
p(p(f1(x),x,p(y,z,f2(y))),y,u)=u.
p(p(f1(x),x,p(f2(y),z,y)),y,u)=u.
p(p(f1(x),x,p(y,z,f2(z))),y,u)=u.
p(p(f1(x),x,p(y,f2(z),z)),y,u)=u.
p(p(f1(x),x,p(f2(y),z,z)),y,u)=u.
p(p(f1(x),x,p(y,y,f2(z))),z,u)=u.
p(p(f1(x),x,p(y,f2(y),z)),z,u)=u.
p(p(f1(x),x,p(f2(y),y,z)),z,u)=u.
p(p(p(f1(x),x,y),z,f2(z)),y,u)=u.
p(p(p(f1(x),x,y),f2(z),z),y,u)=u.
p(p(f1(x),x,y),p(y,z,f2(y)),u)=u.
p(p(f1(x),x,y),p(f2(y),z,y),u)=u.
p(p(f1(x),x,y),p(y,z,f2(z)),u)=u.
p(p(f1(x),x,y),p(y,f2(z),z),u)=u.
p(p(f1(x),x,y),p(f2(y),z,z),u)=u.
p(p(f1(x),x,y),p(z,z,f2(y)),u)=u.
p(p(f1(x),x,y),p(z,f2(z),y),u)=u.
p(p(f1(x),x,y),p(f2(z),z,y),u)=u.
p(p(f1(x),x,y),y,p(z,u,f2(z)))=z.
p(p(f1(x),x,y),y,p(f2(z),u,z))=z.
p(p(f1(x),x,y),y,p(z,u,f2(u)))=z.
p(p(f1(x),x,y),y,p(z,f2(u),u))=z.
p(p(f1(x),x,y),y,p(f2(z),u,u))=z.
p(p(f1(x),x,y),y,p(z,z,f2(u)))=u.
p(p(f1(x),x,y),y,p(z,f2(z),u))=u.
p(p(f1(x),x,y),y,p(f2(z),z,u))=u.
p(p(p(f1(x),x,y),y,z),u,f2(u))=z.
p(p(p(f1(x),x,y),y,z),f2(u),u)=z.
p(p(p(p(f1(x),x,y),y,f2(z)),z,u),u,v)=v.
p(p(p(x,f1(x),f2(y)),y,z),z,u)=u.
p(p(p(f1(x),x,f2(y)),y,z),z,u)=u.
p(p(p(f1(x),x,y),y,p(f2(z),z,u)),u,v)=v.
p(p(x,f1(x),p(f2(y),y,z)),z,u)=u.
p(p(f1(x),x,y),y,p(p(f2(z),z,u),u,v))=v.
p(x,f1(x),p(p(f2(y),y,z),z,u))=u.
p(f1(x),x,p(p(f2(y),y,z),z,u))=u.
p(p(x,p(f1(x),y,f2(y)),z),z,u)=u.
p(p(x,p(f1(x),f2(y),y),z),z,u)=u.
p(p(x,f1(x),p(p(f2(y),y,z),z,u)),u,v)=v.
p(p(x,f1(x),p(y,z,f2(y))),y,u)=u.
p(p(x,f1(x),p(f2(y),z,y)),y,u)=u.
p(p(x,f1(x),p(y,z,f2(z))),y,u)=u.
p(p(x,f1(x),p(y,f2(z),z)),y,u)=u.
p(p(x,f1(x),p(f2(y),z,z)),y,u)=u.
p(p(x,f1(x),p(y,y,f2(z))),z,u)=u.
p(p(x,f1(x),p(y,f2(y),z)),z,u)=u.
p(p(x,f1(x),f2(y)),y,z)=z.
p(p(p(x,f1(x),y),z,f2(z)),y,u)=u.
p(p(p(x,f1(x),y),f2(z),z),y,u)=u.
p(p(x,f1(x),y),p(p(f2(z),z,u),u,y),v)=v.
p(p(x,f1(x),y),p(y,z,f2(y)),u)=u.
p(p(x,f1(x),y),p(f2(y),z,y),u)=u.
p(p(x,f1(x),y),p(y,z,f2(z)),u)=u.
p(p(x,f1(x),y),p(y,f2(z),z),u)=u.
p(p(x,f1(x),y),p(f2(y),z,z),u)=u.
p(p(x,f1(x),y),p(z,z,f2(y)),u)=u.
p(p(x,f1(x),y),p(z,f2(z),y),u)=u.
p(p(x,f1(x),y),p(f2(z),z,y),u)=u.
p(p(x,f1(x),y),y,p(p(f2(z),z,u),u,v))=v.
p(p(x,f1(x),y),y,p(z,u,f2(z)))=z.
p(p(x,f1(x),y),y,p(f2(z),u,z))=z.
p(p(x,f1(x),y),y,p(z,u,f2(u)))=z.
p(p(x,f1(x),y),y,p(z,f2(u),u))=z.
p(p(x,f1(x),y),y,p(f2(z),u,u))=z.
p(p(x,f1(x),y),y,p(z,z,f2(u)))=u.
p(p(x,f1(x),y),y,p(z,f2(z),u))=u.
p(p(x,f1(x),y),y,p(f2(z),z,u))=u.
p(p(p(x,f1(x),y),y,z),u,f2(u))=z.
p(p(p(x,f1(x),y),y,z),f2(u),u)=z.
p(p(p(p(x,f1(x),y),y,z),f2(z),u),u,v)=v.
p(p(p(p(f1(x),x,y),y,z),f2(z),u),u,v)=v.
p(p(p(x,y,f1(x)),f2(x),z),z,u)=u.
p(p(p(f1(x),y,x),f2(x),z),z,u)=u.
p(p(p(x,y,f1(y)),f2(x),z),z,u)=u.
p(p(p(x,f1(y),y),f2(x),z),z,u)=u.
p(p(p(f1(x),y,y),f2(x),z),z,u)=u.
p(p(p(x,x,f1(y)),f2(y),z),z,u)=u.
p(p(p(x,f1(x),y),f2(y),z),z,u)=u.
p(p(p(f1(x),x,y),f2(y),z),z,u)=u.
p(p(x,p(p(y,f1(y),z),z,f2(x)),u),u,v)=v.
p(p(x,p(p(f1(y),y,z),z,f2(x)),u),u,v)=v.
p(p(x,p(y,f1(y),f2(x)),z),z,u)=u.
p(p(x,p(f1(y),y,f2(x)),z),z,u)=u.
p(p(p(x,f1(x),y),y,p(z,f2(z),u)),u,v)=v.
p(p(p(f1(x),x,y),y,p(z,f2(z),u)),u,v)=v.
p(p(x,f1(x),y),y,p(p(z,f2(z),u),u,v))=v.
p(p(f1(x),x,y),y,p(p(z,f2(z),u),u,v))=v.
p(x,f1(x),p(p(y,f2(y),z),z,u))=u.
p(f1(x),x,p(p(y,f2(y),z),z,u))=u.
p(p(x,x,p(f1(y),z,f2(z))),y,u)=u.
p(p(x,x,p(f1(y),f2(z),z)),y,u)=u.
p(p(p(x,x,f1(y)),z,f2(z)),y,u)=u.
p(p(p(x,x,f1(y)),f2(z),z),y,u)=u.
p(p(x,x,f1(y)),p(p(z,f2(z),u),u,y),v)=v.
p(p(x,x,f1(y)),p(p(f2(z),z,u),u,y),v)=v.
p(p(x,x,f1(y)),p(y,z,f2(y)),u)=u.
p(p(x,x,f1(y)),p(f2(y),z,y),u)=u.
p(p(x,x,f1(y)),p(y,z,f2(z)),u)=u.
p(p(x,x,f1(y)),p(y,f2(z),z),u)=u.
p(p(x,x,f1(y)),p(f2(y),z,z),u)=u.
p(p(x,x,f1(y)),p(z,z,f2(y)),u)=u.
p(p(x,x,f1(y)),p(z,f2(z),y),u)=u.
p(p(x,x,f1(y)),p(f2(z),z,y),u)=u.
p(p(x,x,f1(y)),f2(y),z)=z.
p(p(x,x,f1(y)),y,p(p(z,f2(z),u),u,v))=v.
p(p(x,x,f1(y)),y,p(p(f2(z),z,u),u,v))=v.
p(p(x,x,f1(y)),y,p(z,u,f2(z)))=z.
p(p(x,x,f1(y)),y,p(f2(z),u,z))=z.
p(p(x,x,f1(y)),y,p(z,u,f2(u)))=z.
p(p(x,x,f1(y)),y,p(z,f2(u),u))=z.
p(p(x,x,f1(y)),y,p(f2(z),u,u))=z.
p(p(x,x,f1(y)),y,p(z,z,f2(u)))=u.
p(p(x,x,f1(y)),y,p(z,f2(z),u))=u.
p(p(x,x,f1(y)),y,p(f2(z),z,u))=u.
p(p(p(x,x,f1(y)),y,z),u,f2(u))=z.
p(p(p(x,x,f1(y)),y,z),f2(u),u)=z.
p(p(p(p(x,x,f1(y)),y,z),z,f2(u)),u,v)=v.
p(p(p(p(x,f1(x),y),y,z),z,f2(u)),u,v)=v.
p(p(p(p(f1(x),x,y),y,z),z,f2(u)),u,v)=v.
p(p(p(x,y,f1(x)),x,f2(z)),z,u)=u.
p(p(p(f1(x),y,x),x,f2(z)),z,u)=u.
p(p(p(x,y,f1(y)),x,f2(z)),z,u)=u.
p(p(p(x,f1(y),y),x,f2(z)),z,u)=u.
p(p(p(f1(x),y,y),x,f2(z)),z,u)=u.
p(p(p(x,x,f1(y)),y,f2(z)),z,u)=u.
p(p(p(x,f1(x),y),y,f2(z)),z,u)=u.
p(p(p(f1(x),x,y),y,f2(z)),z,u)=u.
p(p(x,p(p(y,y,f1(z)),z,x),f2(u)),u,v)=v.
p(p(x,p(p(y,f1(y),z),z,x),f2(u)),u,v)=v.
p(p(x,p(p(f1(y),y,z),z,x),f2(u)),u,v)=v.
p(p(x,p(x,y,f1(x)),f2(z)),z,u)=u.
p(p(x,p(f1(x),y,x),f2(z)),z,u)=u.
p(p(x,p(x,y,f1(y)),f2(z)),z,u)=u.
p(p(x,p(x,f1(y),y),f2(z)),z,u)=u.
p(p(x,p(f1(x),y,y),f2(z)),z,u)=u.
p(p(x,p(y,y,f1(x)),f2(z)),z,u)=u.
p(p(x,p(y,f1(y),x),f2(z)),z,u)=u.
p(p(x,p(f1(y),y,x),f2(z)),z,u)=u.
p(p(x,x,p(p(y,y,f1(z)),z,f2(u))),u,v)=v.
p(p(x,x,p(p(y,f1(y),z),z,f2(u))),u,v)=v.
p(p(x,x,p(p(f1(y),y,z),z,f2(u))),u,v)=v.
p(p(x,x,p(y,f1(y),f2(z))),z,u)=u.
p(p(x,x,p(f1(y),y,f2(z))),z,u)=u.
p(p(p(x,x,f1(y)),y,p(z,z,f2(u))),u,v)=v.
p(p(p(x,f1(x),y),y,p(z,z,f2(u))),u,v)=v.
p(p(p(f1(x),x,y),y,p(z,z,f2(u))),u,v)=v.
p(p(x,x,f1(y)),y,p(p(z,z,f2(u)),u,v))=v.
p(p(x,f1(x),y),y,p(p(z,z,f2(u)),u,v))=v.
p(p(f1(x),x,y),y,p(p(z,z,f2(u)),u,v))=v.
p(x,f1(x),p(p(y,y,f2(z)),z,u))=u.
p(f1(x),x,p(p(y,y,f2(z)),z,u))=u.
p(p(x,x,y),p(f1(y),z,f2(z)),u)=u.
p(p(x,x,y),p(f1(y),f2(z),z),u)=u.
p(p(x,x,y),f1(y),p(p(z,z,f2(u)),u,v))=v.
p(p(x,x,y),f1(y),p(p(z,f2(z),u),u,v))=v.
p(p(x,x,y),f1(y),p(p(f2(z),z,u),u,v))=v.
p(p(x,x,y),f1(y),p(z,u,f2(z)))=z.
p(p(x,x,y),f1(y),p(f2(z),u,z))=z.
p(p(x,x,y),f1(y),p(z,u,f2(u)))=z.
p(p(x,x,y),f1(y),p(z,f2(u),u))=z.
p(p(x,x,y),f1(y),p(f2(z),u,u))=z.
p(p(x,x,y),f1(y),p(z,z,f2(u)))=u.
p(p(x,x,y),f1(y),p(z,f2(z),u))=u.
p(p(x,x,y),f1(y),p(f2(z),z,u))=u.
p(p(x,x,y),f1(y),f2(z))=z.
p(p(p(x,x,y),f1(y),z),u,f2(u))=z.
p(p(p(x,x,y),f1(y),z),f2(u),u)=z.
p(p(p(p(x,x,y),f1(y),z),z,u),f2(u),v)=v.
p(p(p(p(x,x,f1(y)),y,z),z,u),f2(u),v)=v.
p(p(p(p(x,f1(x),y),y,z),z,u),f2(u),v)=v.
p(p(p(p(f1(x),x,y),y,z),z,u),f2(u),v)=v.
p(p(p(x,y,f1(x)),x,z),f2(z),u)=u.
p(p(p(f1(x),y,x),x,z),f2(z),u)=u.
p(p(p(x,y,f1(y)),x,z),f2(z),u)=u.
p(p(p(x,f1(y),y),x,z),f2(z),u)=u.
p(p(p(f1(x),y,y),x,z),f2(z),u)=u.
p(p(p(x,x,f1(y)),y,z),f2(z),u)=u.
p(p(p(x,f1(x),y),y,z),f2(z),u)=u.
p(p(p(f1(x),x,y),y,z),f2(z),u)=u.
p(p(x,p(p(y,y,z),f1(z),x),u),f2(u),v)=v.
p(p(x,p(p(y,y,f1(z)),z,x),u),f2(u),v)=v.
p(p(x,p(p(y,f1(y),z),z,x),u),f2(u),v)=v.
p(p(x,p(p(f1(y),y,z),z,x),u),f2(u),v)=v.
p(p(x,p(x,y,f1(x)),z),f2(z),u)=u.
p(p(x,p(f1(x),y,x),z),f2(z),u)=u.
p(p(x,p(x,y,f1(y)),z),f2(z),u)=u.
p(p(x,p(x,f1(y),y),z),f2(z),u)=u.
p(p(x,p(f1(x),y,y),z),f2(z),u)=u.
p(p(x,p(y,y,f1(x)),z),f2(z),u)=u.
p(p(x,p(y,f1(y),x),z),f2(z),u)=u.
p(p(x,p(f1(y),y,x),z),f2(z),u)=u.
p(p(x,x,p(p(y,y,z),f1(z),u)),f2(u),v)=v.
p(p(x,x,p(p(y,y,f1(z)),z,u)),f2(u),v)=v.
p(p(x,x,p(p(y,f1(y),z),z,u)),f2(u),v)=v.
p(p(x,x,p(p(f1(y),y,z),z,u)),f2(u),v)=v.
p(p(x,x,p(y,z,f1(y))),f2(y),u)=u.
p(p(x,x,p(f1(y),z,y)),f2(y),u)=u.
p(p(x,x,p(y,z,f1(z))),f2(y),u)=u.
p(p(x,x,p(y,f1(z),z)),f2(y),u)=u.
p(p(x,x,p(f1(y),z,z)),f2(y),u)=u.
p(p(x,x,p(y,y,f1(z))),f2(z),u)=u.
p(p(x,x,p(y,f1(y),z)),f2(z),u)=u.
p(p(x,x,p(f1(y),y,z)),f2(z),u)=u.
p(p(p(x,x,y),f1(y),p(z,z,u)),f2(u),v)=v.
p(p(p(x,x,f1(y)),y,p(z,z,u)),f2(u),v)=v.
p(p(p(x,f1(x),y),y,p(z,z,u)),f2(u),v)=v.
p(p(p(f1(x),x,y),y,p(z,z,u)),f2(u),v)=v.
p(p(p(x,x,y),z,f1(z)),f2(y),u)=u.
p(p(p(x,x,y),f1(z),z),f2(y),u)=u.
p(p(x,f1(x),p(y,y,z)),f2(z),u)=u.
p(p(f1(x),x,p(y,y,z)),f2(z),u)=u.
p(p(x,x,y),p(p(z,z,u),f1(u),f2(y)),v)=v.
p(p(x,x,y),p(p(z,z,f1(u)),u,f2(y)),v)=v.
p(p(x,x,y),p(p(z,f1(z),u),u,f2(y)),v)=v.
p(p(x,x,y),p(p(f1(z),z,u),u,f2(y)),v)=v.
p(p(x,x,y),p(z,f1(z),f2(y)),u)=u.
p(p(x,x,y),p(f1(z),z,f2(y)),u)=u.
p(p(x,x,y),f1(y),p(p(z,z,u),f2(u),v))=v.
p(p(x,x,f1(y)),y,p(p(z,z,u),f2(u),v))=v.
p(p(x,f1(x),y),y,p(p(z,z,u),f2(u),v))=v.
p(p(f1(x),x,y),y,p(p(z,z,u),f2(u),v))=v.
p(x,f1(x),p(p(y,y,z),f2(z),u))=u.
p(f1(x),x,p(p(y,y,z),f2(z),u))=u.
p(p(x,x,y),y,p(f1(z),u,f2(u)))=z.
p(p(x,x,y),y,p(f1(z),f2(u),u))=z.
p(p(p(x,x,y),y,f1(z)),u,f2(u))=z.
p(p(p(x,x,y),y,f1(z)),f2(u),u)=z.
p(p(p(p(x,x,y),y,f1(z)),z,u),u,f2(v))=v.
p(p(p(p(x,x,y),f1(y),z),z,u),u,f2(v))=v.
p(p(p(p(x,x,f1(y)),y,z),z,u),u,f2(v))=v.
p(p(p(p(x,f1(x),y),y,z),z,u),u,f2(v))=v.
p(p(p(p(f1(x),x,y),y,z),z,u),u,f2(v))=v.
p(p(p(x,y,f1(x)),x,z),z,f2(u))=u.
p(p(p(f1(x),y,x),x,z),z,f2(u))=u.
p(p(p(x,y,f1(y)),x,z),z,f2(u))=u.
p(p(p(x,f1(y),y),x,z),z,f2(u))=u.
p(p(p(f1(x),y,y),x,z),z,f2(u))=u.
p(p(p(x,x,f1(y)),y,z),z,f2(u))=u.
p(p(p(x,f1(x),y),y,z),z,f2(u))=u.
p(p(p(f1(x),x,y),y,z),z,f2(u))=u.
p(p(x,p(p(y,y,z),z,f1(x)),u),u,f2(v))=v.
p(p(x,p(p(y,y,z),f1(z),x),u),u,f2(v))=v.
p(p(x,p(p(y,y,f1(z)),z,x),u),u,f2(v))=v.
p(p(x,p(p(y,f1(y),z),z,x),u),u,f2(v))=v.
p(p(x,p(p(f1(y),y,z),z,x),u),u,f2(v))=v.
p(p(x,p(x,y,f1(x)),z),z,f2(u))=u.
p(p(x,p(f1(x),y,x),z),z,f2(u))=u.
p(p(x,p(x,y,f1(y)),z),z,f2(u))=u.
p(p(x,p(x,f1(y),y),z),z,f2(u))=u.
p(p(x,p(f1(x),y,y),z),z,f2(u))=u.
p(p(x,p(y,y,f1(x)),z),z,f2(u))=u.
p(p(x,p(y,f1(y),x),z),z,f2(u))=u.
p(p(x,p(f1(y),y,x),z),z,f2(u))=u.
p(p(x,x,p(p(y,y,z),z,f1(u))),u,f2(v))=v.
p(p(x,x,p(p(y,y,z),f1(z),u)),u,f2(v))=v.
p(p(x,x,p(p(y,y,f1(z)),z,u)),u,f2(v))=v.
p(p(x,x,p(p(y,f1(y),z),z,u)),u,f2(v))=v.
p(p(x,x,p(p(f1(y),y,z),z,u)),u,f2(v))=v.
p(p(x,x,p(y,z,f1(y))),y,f2(u))=u.
p(p(x,x,p(f1(y),z,y)),y,f2(u))=u.
p(p(x,x,p(y,z,f1(z))),y,f2(u))=u.
p(p(x,x,p(y,f1(z),z)),y,f2(u))=u.
p(p(x,x,p(f1(y),z,z)),y,f2(u))=u.
p(p(x,x,p(y,y,f1(z))),z,f2(u))=u.
p(p(x,x,p(y,f1(y),z)),z,f2(u))=u.
p(p(x,x,p(f1(y),y,z)),z,f2(u))=u.
p(p(p(x,x,y),f1(y),p(z,z,u)),u,f2(v))=v.
p(p(p(x,x,f1(y)),y,p(z,z,u)),u,f2(v))=v.
p(p(p(x,f1(x),y),y,p(z,z,u)),u,f2(v))=v.
p(p(p(f1(x),x,y),y,p(z,z,u)),u,f2(v))=v.
p(p(p(x,x,y),z,f1(z)),y,f2(u))=u.
p(p(p(x,x,y),f1(z),z),y,f2(u))=u.
p(p(x,f1(x),p(y,y,z)),z,f2(u))=u.
p(p(f1(x),x,p(y,y,z)),z,f2(u))=u.
p(p(x,x,y),p(p(z,z,u),u,f1(y)),f2(v))=v.
p(p(x,x,y),p(p(z,z,u),f1(u),y),f2(v))=v.
p(p(x,x,y),p(p(z,z,f1(u)),u,y),f2(v))=v.
p(p(x,x,y),p(p(z,f1(z),u),u,y),f2(v))=v.
p(p(x,x,y),p(p(f1(z),z,u),u,y),f2(v))=v.
p(p(x,x,y),p(y,z,f1(y)),f2(u))=u.
p(p(x,x,y),p(f1(y),z,y),f2(u))=u.
p(p(x,x,y),p(y,z,f1(z)),f2(u))=u.
p(p(x,x,y),p(y,f1(z),z),f2(u))=u.
p(p(x,x,y),p(f1(y),z,z),f2(u))=u.
p(p(x,x,y),p(z,z,f1(y)),f2(u))=u.
p(p(x,x,y),p(z,f1(z),y),f2(u))=u.
p(p(x,x,y),p(f1(z),z,y),f2(u))=u.
p(p(x,x,y),y,p(p(z,z,u),f1(u),f2(v)))=v.
p(p(x,x,y),y,p(p(z,z,f1(u)),u,f2(v)))=v.
p(p(x,x,y),y,p(p(z,f1(z),u),u,f2(v)))=v.
p(p(x,x,y),y,p(p(f1(z),z,u),u,f2(v)))=v.
p(p(x,x,y),y,p(z,f1(z),f2(u)))=u.
p(p(x,x,y),y,p(f1(z),z,f2(u)))=u.
p(p(x,x,y),f1(y),p(p(z,z,u),u,f2(v)))=v.
p(p(x,x,f1(y)),y,p(p(z,z,u),u,f2(v)))=v.
p(p(x,f1(x),y),y,p(p(z,z,u),u,f2(v)))=v.
p(p(f1(x),x,y),y,p(p(z,z,u),u,f2(v)))=v.
p(x,f1(x),p(p(y,y,z),z,f2(u)))=u.
p(f1(x),x,p(p(y,y,z),z,f2(u)))=u.
p(p(p(x,x,y),y,p(f1(z),u,f2(u))),z,v)=v.
p(p(p(x,x,y),y,p(f1(z),f2(u),u)),z,v)=v.
p(p(p(p(x,x,y),y,f1(z)),u,f2(u)),z,v)=v.
p(p(p(p(x,x,y),y,f1(z)),f2(u),u),z,v)=v.
p(p(p(x,x,y),y,f1(z)),p(p(u,u,v),v,f2(z)),w)=w.
p(p(p(x,x,y),y,f1(z)),p(p(u,u,v),f2(v),z),w)=w.
p(p(p(x,x,y),y,f1(z)),p(p(u,u,f2(v)),v,z),w)=w.
p(p(p(x,x,y),y,f1(z)),p(p(u,f2(u),v),v,z),w)=w.
p(p(p(x,x,y),y,f1(z)),p(p(f2(u),u,v),v,z),w)=w.
p(p(p(x,x,y),y,f1(z)),p(z,u,f2(z)),v)=v.
p(p(p(x,x,y),y,f1(z)),p(f2(z),u,z),v)=v.
p(p(p(x,x,y),y,f1(z)),p(z,u,f2(u)),v)=v.
p(p(p(x,x,y),y,f1(z)),p(z,f2(u),u),v)=v.
p(p(p(x,x,y),y,f1(z)),p(f2(z),u,u),v)=v.
p(p(p(x,x,y),y,f1(z)),p(u,u,f2(z)),v)=v.
p(p(p(x,x,y),y,f1(z)),p(u,f2(u),z),v)=v.
p(p(p(x,x,y),y,f1(z)),p(f2(u),u,z),v)=v.
p(p(p(x,x,y),y,f1(z)),f2(z),u)=u.
p(p(p(x,x,y),y,f1(z)),z,p(p(u,u,v),v,f2(w)))=w.
p(p(p(x,x,y),y,f1(z)),z,p(p(u,u,v),f2(v),w))=w.
p(p(p(x,x,y),y,f1(z)),z,p(p(u,u,f2(v)),v,w))=w.
p(p(p(x,x,y),y,f1(z)),z,p(p(u,f2(u),v),v,w))=w.
p(p(p(x,x,y),y,f1(z)),z,p(p(f2(u),u,v),v,w))=w.
p(p(p(x,x,y),y,f1(z)),z,p(u,v,f2(u)))=u.
p(p(p(x,x,y),y,f1(z)),z,p(f2(u),v,u))=u.
p(p(p(x,x,y),y,f1(z)),z,p(u,v,f2(v)))=u.
p(p(p(x,x,y),y,f1(z)),z,p(u,f2(v),v))=u.
p(p(p(x,x,y),y,f1(z)),z,p(f2(u),v,v))=u.
p(p(p(x,x,y),y,f1(z)),z,p(u,u,f2(v)))=v.
p(p(p(x,x,y),y,f1(z)),z,p(u,f2(u),v))=v.
p(p(p(x,x,y),y,f1(z)),z,p(f2(u),u,v))=v.
p(p(p(x,x,y),y,f1(z)),z,f2(u))=u.
p(p(p(p(x,x,y),y,f1(z)),z,u),v,f2(v))=u.
p(p(p(p(x,x,y),y,f1(z)),z,u),f2(v),v)=u.
p(p(p(f1(x),y,f2(y)),z,z),x,u)=u.
p(p(p(f1(x),f2(y),y),z,z),x,u)=u.
p(p(f1(x),p(p(y,y,z),z,f2(u)),u),x,v)=v.
p(p(f1(x),p(p(y,y,z),f2(z),u),u),x,v)=v.
p(p(f1(x),p(p(y,y,f2(z)),z,u),u),x,v)=v.
p(p(f1(x),p(p(y,f2(y),z),z,u),u),x,v)=v.
p(p(f1(x),p(p(f2(y),y,z),z,u),u),x,v)=v.
p(p(f1(x),p(y,z,f2(y)),y),x,u)=u.
p(p(f1(x),p(f2(y),z,y),y),x,u)=u.
p(p(f1(x),p(y,z,f2(z)),y),x,u)=u.
p(p(f1(x),p(y,f2(z),z),y),x,u)=u.
p(p(f1(x),p(f2(y),z,z),y),x,u)=u.
p(p(f1(x),p(y,y,f2(z)),z),x,u)=u.
p(p(f1(x),p(y,f2(y),z),z),x,u)=u.
p(p(f1(x),p(f2(y),y,z),z),x,u)=u.
p(p(f1(x),f2(y),y),x,z)=z.
p(p(f1(x),y,p(p(z,z,u),u,f2(y))),x,v)=v.
p(p(f1(x),y,p(p(z,z,u),f2(u),y)),x,v)=v.
p(p(f1(x),y,p(p(z,z,f2(u)),u,y)),x,v)=v.
p(p(f1(x),y,p(p(z,f2(z),u),u,y)),x,v)=v.
p(p(f1(x),y,p(p(f2(z),z,u),u,y)),x,v)=v.
p(p(f1(x),y,p(y,z,f2(y))),x,u)=u.
p(p(f1(x),y,p(f2(y),z,y)),x,u)=u.
p(p(f1(x),y,p(y,z,f2(z))),x,u)=u.
p(p(f1(x),y,p(y,f2(z),z)),x,u)=u.
p(p(f1(x),y,p(f2(y),z,z)),x,u)=u.
p(p(f1(x),y,p(z,z,f2(y))),x,u)=u.
p(p(f1(x),y,p(z,f2(z),y)),x,u)=u.
p(p(f1(x),y,p(f2(z),z,y)),x,u)=u.
p(p(f1(x),y,f2(y)),x,z)=z.
p(p(p(f1(x),y,y),z,f2(z)),x,u)=u.
p(p(p(f1(x),y,y),f2(z),z),x,u)=u.
p(p(f1(x),y,y),p(p(z,z,u),u,f2(x)),v)=v.
p(p(f1(x),y,y),p(p(z,z,u),f2(u),x),v)=v.
p(p(f1(x),y,y),p(p(z,z,f2(u)),u,x),v)=v.
p(p(f1(x),y,y),p(p(z,f2(z),u),u,x),v)=v.
p(p(f1(x),y,y),p(p(f2(z),z,u),u,x),v)=v.
p(p(f1(x),y,y),p(x,z,f2(x)),u)=u.
p(p(f1(x),y,y),p(f2(x),z,x),u)=u.
p(p(f1(x),y,y),p(x,z,f2(z)),u)=u.
p(p(f1(x),y,y),p(x,f2(z),z),u)=u.
p(p(f1(x),y,y),p(f2(x),z,z),u)=u.
p(p(f1(x),y,y),p(z,z,f2(x)),u)=u.
p(p(f1(x),y,y),p(z,f2(z),x),u)=u.
p(p(f1(x),y,y),p(f2(z),z,x),u)=u.
p(p(f1(x),y,y),f2(x),z)=z.
p(p(f1(x),y,y),x,p(p(z,z,u),u,f2(v)))=v.
p(p(f1(x),y,y),x,p(p(z,z,u),f2(u),v))=v.
p(p(f1(x),y,y),x,p(p(z,z,f2(u)),u,v))=v.
p(p(f1(x),y,y),x,p(p(z,f2(z),u),u,v))=v.
p(p(f1(x),y,y),x,p(p(f2(z),z,u),u,v))=v.
p(p(f1(x),y,y),x,p(z,u,f2(z)))=z.
p(p(f1(x),y,y),x,p(f2(z),u,z))=z.
p(p(f1(x),y,y),x,p(z,u,f2(u)))=z.
p(p(f1(x),y,y),x,p(z,f2(u),u))=z.
p(p(f1(x),y,y),x,p(f2(z),u,u))=z.
p(p(f1(x),y,y),x,p(z,z,f2(u)))=u.
p(p(f1(x),y,y),x,p(z,f2(z),u))=u.
p(p(f1(x),y,y),x,p(f2(z),z,u))=u.
p(p(f1(x),y,y),x,f2(z))=z.
p(p(p(f1(x),y,y),x,z),u,f2(u))=z.
p(p(p(f1(x),y,y),x,z),f2(u),u)=z.
p(p(f1(x),y,f2(y)),p(p(z,z,u),u,x),v)=v.
p(p(f1(x),f2(y),y),p(p(z,z,u),u,x),v)=v.
p(f1(x),p(p(p(p(y,y,z),z,f2(u)),u,v),v,x),w)=w.
p(f1(x),p(p(p(p(y,y,z),f2(z),u),u,v),v,x),w)=w.
p(f1(x),p(p(p(p(y,y,f2(z)),z,u),u,v),v,x),w)=w.
p(f1(x),p(p(p(p(y,f2(y),z),z,u),u,v),v,x),w)=w.
p(f1(x),p(p(p(p(f2(y),y,z),z,u),u,v),v,x),w)=w.
p(f1(x),p(p(p(y,z,f2(y)),y,u),u,x),v)=v.
p(f1(x),p(p(p(f2(y),z,y),y,u),u,x),v)=v.
p(f1(x),p(p(p(y,z,f2(z)),y,u),u,x),v)=v.
p(f1(x),p(p(p(y,f2(z),z),y,u),u,x),v)=v.
p(f1(x),p(p(p(f2(y),z,z),y,u),u,x),v)=v.
p(f1(x),p(p(p(y,y,f2(z)),z,u),u,x),v)=v.
p(f1(x),p(p(p(y,f2(y),z),z,u),u,x),v)=v.
p(f1(x),p(p(p(f2(y),y,z),z,u),u,x),v)=v.
p(f1(x),p(p(f2(y),y,z),z,x),u)=u.
p(f1(x),p(p(y,p(p(z,z,u),u,f2(y)),v),v,x),w)=w.
p(f1(x),p(p(y,p(p(z,z,u),f2(u),y),v),v,x),w)=w.
p(f1(x),p(p(y,p(p(z,z,f2(u)),u,y),v),v,x),w)=w.
p(f1(x),p(p(y,p(p(z,f2(z),u),u,y),v),v,x),w)=w.
p(f1(x),p(p(y,p(p(f2(z),z,u),u,y),v),v,x),w)=w.
p(f1(x),p(p(y,p(y,z,f2(y)),u),u,x),v)=v.
p(f1(x),p(p(y,p(f2(y),z,y),u),u,x),v)=v.
p(f1(x),p(p(y,p(y,z,f2(z)),u),u,x),v)=v.
p(f1(x),p(p(y,p(y,f2(z),z),u),u,x),v)=v.
p(f1(x),p(p(y,p(f2(y),z,z),u),u,x),v)=v.
p(f1(x),p(p(y,p(z,z,f2(y)),u),u,x),v)=v.
p(f1(x),p(p(y,p(z,f2(z),y),u),u,x),v)=v.
p(f1(x),p(p(y,p(f2(z),z,y),u),u,x),v)=v.
p(f1(x),p(p(y,f2(y),z),z,x),u)=u.
p(f1(x),p(p(y,y,p(p(z,z,u),u,f2(v))),v,x),w)=w.
p(f1(x),p(p(y,y,p(p(z,z,u),f2(u),v)),v,x),w)=w.
p(f1(x),p(p(y,y,p(p(z,z,f2(u)),u,v)),v,x),w)=w.
p(f1(x),p(p(y,y,p(p(z,f2(z),u),u,v)),v,x),w)=w.
p(f1(x),p(p(y,y,p(p(f2(z),z,u),u,v)),v,x),w)=w.
p(f1(x),p(p(y,y,p(z,u,f2(z))),z,x),v)=v.
p(f1(x),p(p(y,y,p(f2(z),u,z)),z,x),v)=v.
p(f1(x),p(p(y,y,p(z,u,f2(u))),z,x),v)=v.
p(f1(x),p(p(y,y,p(z,f2(u),u)),z,x),v)=v.
p(f1(x),p(p(y,y,p(f2(z),u,u)),z,x),v)=v.
p(f1(x),p(p(y,y,p(z,z,f2(u))),u,x),v)=v.
p(f1(x),p(p(y,y,p(z,f2(z),u)),u,x),v)=v.
p(f1(x),p(p(y,y,p(f2(z),z,u)),u,x),v)=v.
p(f1(x),p(p(y,y,f2(z)),z,x),u)=u.
p(f1(x),p(p(p(y,y,z),f2(z),p(u,u,v)),v,x),w)=w.
p(f1(x),p(p(p(y,y,f2(z)),z,p(u,u,v)),v,x),w)=w.
p(f1(x),p(p(p(y,f2(y),z),z,p(u,u,v)),v,x),w)=w.
p(f1(x),p(p(p(f2(y),y,z),z,p(u,u,v)),v,x),w)=w.
p(f1(x),p(p(p(y,y,z),u,f2(u)),z,x),v)=v.
p(f1(x),p(p(p(y,y,z),f2(u),u),z,x),v)=v.
p(f1(x),p(p(y,f2(y),p(z,z,u)),u,x),v)=v.
p(f1(x),p(p(f2(y),y,p(z,z,u)),u,x),v)=v.
p(f1(x),p(p(y,y,z),p(p(u,u,v),v,f2(z)),x),w)=w.
p(f1(x),p(p(y,y,z),p(p(u,u,v),f2(v),z),x),w)=w.
p(f1(x),p(p(y,y,z),p(p(u,u,f2(v)),v,z),x),w)=w.
p(f1(x),p(p(y,y,z),p(p(u,f2(u),v),v,z),x),w)=w.
p(f1(x),p(p(y,y,z),p(p(f2(u),u,v),v,z),x),w)=w.
p(f1(x),p(p(y,y,z),p(z,u,f2(z)),x),v)=v.
p(f1(x),p(p(y,y,z),p(f2(z),u,z),x),v)=v.
p(f1(x),p(p(y,y,z),p(z,u,f2(u)),x),v)=v.
p(f1(x),p(p(y,y,z),p(z,f2(u),u),x),v)=v.
p(f1(x),p(p(y,y,z),p(f2(z),u,u),x),v)=v.
p(f1(x),p(p(y,y,z),p(u,u,f2(z)),x),v)=v.
p(f1(x),p(p(y,y,z),p(u,f2(u),z),x),v)=v.
p(f1(x),p(p(y,y,z),p(f2(u),u,z),x),v)=v.
p(f1(x),p(p(y,y,z),f2(z),x),u)=u.
p(f1(x),p(p(y,y,z),z,p(p(u,u,v),v,f2(x))),w)=w.
p(f1(x),p(p(y,y,z),z,p(p(u,u,v),f2(v),x)),w)=w.
p(f1(x),p(p(y,y,z),z,p(p(u,u,f2(v)),v,x)),w)=w.
p(f1(x),p(p(y,y,z),z,p(p(u,f2(u),v),v,x)),w)=w.
p(f1(x),p(p(y,y,z),z,p(p(f2(u),u,v),v,x)),w)=w.
p(f1(x),p(p(y,y,z),z,p(x,u,f2(x))),v)=v.
p(f1(x),p(p(y,y,z),z,p(f2(x),u,x)),v)=v.
p(f1(x),p(p(y,y,z),z,p(x,u,f2(u))),v)=v.
p(f1(x),p(p(y,y,z),z,p(x,f2(u),u)),v)=v.
p(f1(x),p(p(y,y,z),z,p(f2(x),u,u)),v)=v.
p(f1(x),p(p(y,y,z),z,p(u,u,f2(x))),v)=v.
p(f1(x),p(p(y,y,z),z,p(u,f2(u),x)),v)=v.
p(f1(x),p(p(y,y,z),z,p(f2(u),u,x)),v)=v.
p(f1(x),p(p(y,y,z),z,f2(x)),u)=u.
p(f1(x),p(p(y,y,z),f2(z),p(p(u,u,v),v,x)),w)=w.
p(f1(x),p(p(y,y,f2(z)),z,p(p(u,u,v),v,x)),w)=w.
p(f1(x),p(p(y,f2(y),z),z,p(p(u,u,v),v,x)),w)=w.
p(f1(x),p(p(f2(y),y,z),z,p(p(u,u,v),v,x)),w)=w.
p(f1(x),p(p(p(y,y,z),z,x),u,f2(u)),v)=v.
p(f1(x),p(p(p(y,y,z),z,x),f2(u),u),v)=v.
p(f1(x),p(y,f2(y),p(p(z,z,u),u,x)),v)=v.
p(f1(x),p(f2(y),y,p(p(z,z,u),u,x)),v)=v.
p(f1(x),p(p(y,y,z),z,x),p(p(u,u,v),v,f2(w)))=w.
p(f1(x),p(p(y,y,z),z,x),p(p(u,u,v),f2(v),w))=w.
p(f1(x),p(p(y,y,z),z,x),p(p(u,u,f2(v)),v,w))=w.
p(f1(x),p(p(y,y,z),z,x),p(p(u,f2(u),v),v,w))=w.
p(f1(x),p(p(y,y,z),z,x),p(p(f2(u),u,v),v,w))=w.
p(f1(x),p(p(y,y,z),z,x),p(u,v,f2(u)))=u.
p(f1(x),p(p(y,y,z),z,x),p(f2(u),v,u))=u.
p(f1(x),p(p(y,y,z),z,x),p(u,v,f2(v)))=u.
p(f1(x),p(p(y,y,z),z,x),p(u,f2(v),v))=u.
p(f1(x),p(p(y,y,z),z,x),p(f2(u),v,v))=u.
p(f1(x),p(p(y,y,z),z,x),p(u,u,f2(v)))=v.
p(f1(x),p(p(y,y,z),z,x),p(u,f2(u),v))=v.
p(f1(x),p(p(y,y,z),z,x),p(f2(u),u,v))=v.
p(f1(x),p(p(y,y,z),z,x),f2(u))=u.
p(p(f1(x),p(p(y,y,z),z,x),u),v,f2(v))=u.
p(p(f1(x),p(p(y,y,z),z,x),u),f2(v),v)=u.
p(p(f1(x),y,f2(y)),p(x,z,x),u)=u.
p(p(f1(x),f2(y),y),p(x,z,x),u)=u.
p(f1(x),p(p(p(y,y,z),z,f2(x)),u,x),v)=v.
p(f1(x),p(p(p(y,y,z),f2(z),x),u,x),v)=v.
p(f1(x),p(p(p(y,y,f2(z)),z,x),u,x),v)=v.
p(f1(x),p(p(p(y,f2(y),z),z,x),u,x),v)=v.
p(f1(x),p(p(p(f2(y),y,z),z,x),u,x),v)=v.
p(f1(x),p(p(x,y,f2(x)),z,x),u)=u.
p(f1(x),p(p(f2(x),y,x),z,x),u)=u.
p(f1(x),p(p(x,y,f2(y)),z,x),u)=u.
p(f1(x),p(p(x,f2(y),y),z,x),u)=u.
p(f1(x),p(p(f2(x),y,y),z,x),u)=u.
p(f1(x),p(p(y,y,f2(x)),z,x),u)=u.
p(f1(x),p(p(y,f2(y),x),z,x),u)=u.
p(f1(x),p(p(f2(y),y,x),z,x),u)=u.
p(f1(x),p(f2(x),y,x),z)=z.
p(f1(x),p(x,y,p(p(z,z,u),u,f2(x))),v)=v.
p(f1(x),p(x,y,p(p(z,z,u),f2(u),x)),v)=v.
p(f1(x),p(x,y,p(p(z,z,f2(u)),u,x)),v)=v.
p(f1(x),p(x,y,p(p(z,f2(z),u),u,x)),v)=v.
p(f1(x),p(x,y,p(p(f2(z),z,u),u,x)),v)=v.
p(f1(x),p(x,y,p(x,z,f2(x))),u)=u.
p(f1(x),p(x,y,p(f2(x),z,x)),u)=u.
p(f1(x),p(x,y,p(x,z,f2(z))),u)=u.
p(f1(x),p(x,y,p(x,f2(z),z)),u)=u.
p(f1(x),p(x,y,p(f2(x),z,z)),u)=u.
p(f1(x),p(x,y,p(z,z,f2(x))),u)=u.
p(f1(x),p(x,y,p(z,f2(z),x)),u)=u.
p(f1(x),p(x,y,p(f2(z),z,x)),u)=u.
p(f1(x),p(x,y,f2(x)),z)=z.
p(f1(x),p(p(y,y,z),f2(z),p(x,u,x)),v)=v.
p(f1(x),p(p(y,y,f2(z)),z,p(x,u,x)),v)=v.
p(f1(x),p(p(y,f2(y),z),z,p(x,u,x)),v)=v.
p(f1(x),p(p(f2(y),y,z),z,p(x,u,x)),v)=v.
p(f1(x),p(p(x,y,x),z,f2(z)),u)=u.
p(f1(x),p(p(x,y,x),f2(z),z),u)=u.
p(f1(x),p(y,f2(y),p(x,z,x)),u)=u.
p(f1(x),p(f2(y),y,p(x,z,x)),u)=u.
p(f1(x),p(x,y,x),p(p(z,z,u),u,f2(v)))=v.
p(f1(x),p(x,y,x),p(p(z,z,u),f2(u),v))=v.
p(f1(x),p(x,y,x),p(p(z,z,f2(u)),u,v))=v.
p(f1(x),p(x,y,x),p(p(z,f2(z),u),u,v))=v.
p(f1(x),p(x,y,x),p(p(f2(z),z,u),u,v))=v.
p(f1(x),p(x,y,x),p(z,u,f2(z)))=z.
p(f1(x),p(x,y,x),p(f2(z),u,z))=z.
p(f1(x),p(x,y,x),p(z,u,f2(u)))=z.
p(f1(x),p(x,y,x),p(z,f2(u),u))=z.
p(f1(x),p(x,y,x),p(f2(z),u,u))=z.
p(f1(x),p(x,y,x),p(z,z,f2(u)))=u.
p(f1(x),p(x,y,x),p(z,f2(z),u))=u.
p(f1(x),p(x,y,x),p(f2(z),z,u))=u.
p(f1(x),p(x,y,x),f2(z))=z.
p(p(f1(x),p(x,y,x),z),u,f2(u))=z.
p(p(f1(x),p(x,y,x),z),f2(u),u)=z.
p(p(f1(x),y,f2(y)),p(x,z,z),u)=u.
p(p(f1(x),f2(y),y),p(x,z,z),u)=u.
p(f1(x),p(p(p(y,y,z),z,f2(x)),u,u),v)=v.
p(f1(x),p(p(p(y,y,z),f2(z),x),u,u),v)=v.
p(f1(x),p(p(p(y,y,f2(z)),z,x),u,u),v)=v.
p(f1(x),p(p(p(y,f2(y),z),z,x),u,u),v)=v.
p(f1(x),p(p(p(f2(y),y,z),z,x),u,u),v)=v.
p(f1(x),p(p(x,y,f2(x)),z,z),u)=u.
p(f1(x),p(p(f2(x),y,x),z,z),u)=u.
p(f1(x),p(p(x,y,f2(y)),z,z),u)=u.
p(f1(x),p(p(x,f2(y),y),z,z),u)=u.
p(f1(x),p(p(f2(x),y,y),z,z),u)=u.
p(f1(x),p(p(y,y,f2(x)),z,z),u)=u.
p(f1(x),p(p(y,f2(y),x),z,z),u)=u.
p(f1(x),p(p(f2(y),y,x),z,z),u)=u.
p(f1(x),p(f2(x),y,y),z)=z.
p(f1(x),p(x,p(p(y,y,z),z,f2(u)),u),v)=v.
p(f1(x),p(x,p(p(y,y,z),f2(z),u),u),v)=v.
p(f1(x),p(x,p(p(y,y,f2(z)),z,u),u),v)=v.
p(f1(x),p(x,p(p(y,f2(y),z),z,u),u),v)=v.
p(f1(x),p(x,p(p(f2(y),y,z),z,u),u),v)=v.
p(f1(x),p(x,p(y,z,f2(y)),y),u)=u.
p(f1(x),p(x,p(f2(y),z,y),y),u)=u.
p(f1(x),p(x,p(y,z,f2(z)),y),u)=u.
p(f1(x),p(x,p(y,f2(z),z),y),u)=u.
p(f1(x),p(x,p(f2(y),z,z),y),u)=u.
p(f1(x),p(x,p(y,y,f2(z)),z),u)=u.
p(f1(x),p(x,p(y,f2(y),z),z),u)=u.
p(f1(x),p(x,p(f2(y),y,z),z),u)=u.
p(f1(x),p(x,f2(y),y),z)=z.
p(f1(x),p(x,y,p(p(z,z,u),u,f2(y))),v)=v.
p(f1(x),p(x,y,p(p(z,z,u),f2(u),y)),v)=v.
p(f1(x),p(x,y,p(p(z,z,f2(u)),u,y)),v)=v.
p(f1(x),p(x,y,p(p(z,f2(z),u),u,y)),v)=v.
p(f1(x),p(x,y,p(p(f2(z),z,u),u,y)),v)=v.
p(f1(x),p(x,y,p(y,z,f2(y))),u)=u.
p(f1(x),p(x,y,p(f2(y),z,y)),u)=u.
p(f1(x),p(x,y,p(y,z,f2(z))),u)=u.
p(f1(x),p(x,y,p(y,f2(z),z)),u)=u.
p(f1(x),p(x,y,p(f2(y),z,z)),u)=u.
p(f1(x),p(x,y,p(z,z,f2(y))),u)=u.
p(f1(x),p(x,y,p(z,f2(z),y)),u)=u.
p(f1(x),p(x,y,p(f2(z),z,y)),u)=u.
p(f1(x),p(x,y,f2(y)),z)=z.
p(f1(x),p(p(y,y,z),f2(z),p(x,u,u)),v)=v.
p(f1(x),p(p(y,y,f2(z)),z,p(x,u,u)),v)=v.
p(f1(x),p(p(y,f2(y),z),z,p(x,u,u)),v)=v.
p(f1(x),p(p(f2(y),y,z),z,p(x,u,u)),v)=v.
p(f1(x),p(p(x,y,y),z,f2(z)),u)=u.
p(f1(x),p(p(x,y,y),f2(z),z),u)=u.
p(f1(x),p(y,f2(y),p(x,z,z)),u)=u.
p(f1(x),p(f2(y),y,p(x,z,z)),u)=u.
p(f1(x),p(x,y,y),p(p(z,z,u),u,f2(v)))=v.
p(f1(x),p(x,y,y),p(p(z,z,u),f2(u),v))=v.
p(f1(x),p(x,y,y),p(p(z,z,f2(u)),u,v))=v.
p(f1(x),p(x,y,y),p(p(z,f2(z),u),u,v))=v.
p(f1(x),p(x,y,y),p(p(f2(z),z,u),u,v))=v.
p(f1(x),p(x,y,y),p(z,u,f2(z)))=z.
p(f1(x),p(x,y,y),p(f2(z),u,z))=z.
p(f1(x),p(x,y,y),p(z,u,f2(u)))=z.
p(f1(x),p(x,y,y),p(z,f2(u),u))=z.
p(f1(x),p(x,y,y),p(f2(z),u,u))=z.
p(f1(x),p(x,y,y),p(z,z,f2(u)))=u.
p(f1(x),p(x,y,y),p(z,f2(z),u))=u.
p(f1(x),p(x,y,y),p(f2(z),z,u))=u.
p(f1(x),p(x,y,y),f2(z))=z.
p(p(f1(x),p(x,y,y),z),u,f2(u))=z.
p(p(f1(x),p(x,y,y),z),f2(u),u)=z.
p(p(f1(x),y,f2(y)),p(z,z,x),u)=u.
p(p(f1(x),f2(y),y),p(z,z,x),u)=u.
p(f1(x),p(p(p(y,y,z),z,f2(u)),u,x),v)=v.
p(f1(x),p(p(p(y,y,z),f2(z),u),u,x),v)=v.
p(f1(x),p(p(y,z,f2(y)),y,x),u)=u.
p(f1(x),p(p(f2(y),z,y),y,x),u)=u.
p(f1(x),p(p(y,z,f2(z)),y,x),u)=u.
p(f1(x),p(p(y,f2(z),z),y,x),u)=u.
p(f1(x),p(p(f2(y),z,z),y,x),u)=u.
p(f1(x),p(f2(y),y,x),z)=z.
p(f1(x),p(y,p(p(z,z,u),u,f2(y)),x),v)=v.
p(f1(x),p(y,p(p(z,z,u),f2(u),y),x),v)=v.
p(f1(x),p(y,p(p(z,z,f2(u)),u,y),x),v)=v.
p(f1(x),p(y,p(p(z,f2(z),u),u,y),x),v)=v.
p(f1(x),p(y,p(p(f2(z),z,u),u,y),x),v)=v.
p(f1(x),p(y,p(y,z,f2(y)),x),u)=u.
p(f1(x),p(y,p(f2(y),z,y),x),u)=u.
p(f1(x),p(y,p(y,z,f2(z)),x),u)=u.
p(f1(x),p(y,p(y,f2(z),z),x),u)=u.
p(f1(x),p(y,p(f2(y),z,z),x),u)=u.
p(f1(x),p(y,p(z,z,f2(y)),x),u)=u.
p(f1(x),p(y,p(z,f2(z),y),x),u)=u.
p(f1(x),p(y,p(f2(z),z,y),x),u)=u.
p(f1(x),p(y,f2(y),x),z)=z.
p(f1(x),p(y,y,p(p(z,z,u),u,f2(x))),v)=v.
p(f1(x),p(y,y,p(p(z,z,u),f2(u),x)),v)=v.
p(f1(x),p(y,y,p(p(z,z,f2(u)),u,x)),v)=v.
p(f1(x),p(y,y,p(p(z,f2(z),u),u,x)),v)=v.
p(f1(x),p(y,y,p(p(f2(z),z,u),u,x)),v)=v.
p(f1(x),p(y,y,p(x,z,f2(x))),u)=u.
p(f1(x),p(y,y,p(f2(x),z,x)),u)=u.
p(f1(x),p(y,y,p(x,z,f2(z))),u)=u.
p(f1(x),p(y,y,p(x,f2(z),z)),u)=u.
p(f1(x),p(y,y,p(f2(x),z,z)),u)=u.
p(f1(x),p(y,y,p(z,z,f2(x))),u)=u.
p(f1(x),p(y,y,p(z,f2(z),x)),u)=u.
p(f1(x),p(y,y,p(f2(z),z,x)),u)=u.
p(f1(x),p(y,y,f2(x)),z)=z.
p(f1(x),p(p(y,y,z),f2(z),p(u,u,x)),v)=v.
p(f1(x),p(p(y,y,f2(z)),z,p(u,u,x)),v)=v.
p(f1(x),p(p(y,f2(y),z),z,p(u,u,x)),v)=v.
p(f1(x),p(p(f2(y),y,z),z,p(u,u,x)),v)=v.
p(f1(x),p(p(y,y,x),z,f2(z)),u)=u.
p(f1(x),p(p(y,y,x),f2(z),z),u)=u.
p(f1(x),p(y,f2(y),p(z,z,x)),u)=u.
p(f1(x),p(f2(y),y,p(z,z,x)),u)=u.
p(f1(x),p(y,y,x),p(p(z,z,u),u,f2(v)))=v.
p(f1(x),p(y,y,x),p(p(z,z,u),f2(u),v))=v.
p(f1(x),p(y,y,x),p(p(z,z,f2(u)),u,v))=v.
p(f1(x),p(y,y,x),p(p(z,f2(z),u),u,v))=v.
p(f1(x),p(y,y,x),p(p(f2(z),z,u),u,v))=v.
p(f1(x),p(y,y,x),p(z,u,f2(z)))=z.
p(f1(x),p(y,y,x),p(f2(z),u,z))=z.
p(f1(x),p(y,y,x),p(z,u,f2(u)))=z.
p(f1(x),p(y,y,x),p(z,f2(u),u))=z.
p(f1(x),p(y,y,x),p(f2(z),u,u))=z.
p(f1(x),p(y,y,x),p(z,z,f2(u)))=u.
p(f1(x),p(y,y,x),p(z,f2(z),u))=u.
p(f1(x),p(y,y,x),p(f2(z),z,u))=u.
p(f1(x),p(y,y,x),f2(z))=z.
p(p(f1(x),p(y,y,x),z),u,f2(u))=z.
p(p(f1(x),p(y,y,x),z),f2(u),u)=z.
p(p(x,x,p(p(y,y,z),z,f1(u))),f2(u),v)=v.
p(p(p(p(x,x,y),y,f1(z)),u,u),f2(z),v)=v.
p(p(p(x,x,y),y,p(z,z,f1(u))),f2(u),v)=v.
p(p(p(x,x,y),y,p(f1(z),u,u)),f2(z),v)=v.
p(p(p(x,x,y),y,p(p(z,z,u),u,f1(v))),f2(v),w)=w.
p(p(p(x,x,y),p(z,z,y),f1(u)),f2(u),v)=v.
p(p(p(x,x,y),p(y,z,z),f1(u)),f2(u),v)=v.
p(p(p(x,x,y),p(y,z,y),f1(u)),f2(u),v)=v.
p(p(p(x,x,y),p(p(z,z,u),u,y),f1(v)),f2(v),w)=w.
p(p(p(p(x,x,y),z,z),y,f1(u)),f2(u),v)=v.
p(p(p(p(x,x,y),z,p(x,x,y)),y,f1(u)),f2(u),v)=v.
p(p(p(p(x,x,y),y,p(z,z,u)),u,f1(v)),f2(v),w)=w.
p(p(p(x,x,p(y,y,z)),z,f1(u)),f2(u),v)=v.
p(p(p(x,x,p(y,z,z)),y,f1(u)),f2(u),v)=v.
p(p(p(x,x,p(y,z,y)),y,f1(u)),f2(u),v)=v.
p(p(p(x,x,p(p(y,y,z),z,u)),u,f1(v)),f2(v),w)=w.
p(p(p(x,p(y,y,x),z),z,f1(u)),f2(u),v)=v.
p(p(p(x,p(x,y,y),z),z,f1(u)),f2(u),v)=v.
p(p(p(x,p(x,y,x),z),z,f1(u)),f2(u),v)=v.
p(p(p(x,p(p(y,y,z),z,x),u),u,f1(v)),f2(v),w)=w.
p(p(p(p(x,x,y),y,z),z,f1(u)),f2(u),v)=v.
p(p(p(p(x,y,y),x,z),z,f1(u)),f2(u),v)=v.
p(p(p(p(x,y,x),x,z),z,f1(u)),f2(u),v)=v.
p(p(p(p(p(x,x,y),y,z),z,u),u,f1(v)),f2(v),w)=w.
p(p(f1(x),y,p(y,z,y)),f2(x),u)=u.
p(p(f1(x),y,p(z,z,y)),f2(x),u)=u.
p(p(f1(x),y,p(y,z,z)),f2(x),u)=u.
p(p(f1(x),p(y,z,y),y),f2(x),u)=u.
p(p(f1(x),p(y,y,z),z),f2(x),u)=u.
p(p(f1(x),p(y,z,z),y),f2(x),u)=u.
p(p(p(f1(x),y,y),z,z),f2(x),u)=u.
p(p(p(x,x,f1(y)),z,z),f2(y),u)=u.
p(p(x,p(x,y,y),f1(z)),f2(z),u)=u.
p(p(x,p(x,y,x),f1(z)),f2(z),u)=u.
p(p(x,p(y,y,x),f1(z)),f2(z),u)=u.
p(p(p(x,y,y),x,f1(z)),f2(z),u)=u.
p(p(p(x,y,x),x,f1(z)),f2(z),u)=u.
p(f1(x),p(p(y,y,z),p(u,u,z),f2(x)),v)=v.
p(f1(x),p(p(y,y,z),p(z,u,u),f2(x)),v)=v.
p(f1(x),p(p(y,y,z),p(z,u,z),f2(x)),v)=v.
p(f1(x),p(p(y,y,z),p(p(u,u,v),v,z),f2(x)),w)=w.
p(f1(x),p(p(p(y,y,z),u,u),z,f2(x)),v)=v.
p(f1(x),p(p(p(y,y,z),u,p(y,y,z)),z,f2(x)),v)=v.
p(f1(x),p(p(p(y,y,z),z,p(u,u,v)),v,f2(x)),w)=w.
p(f1(x),p(p(y,y,p(z,z,u)),u,f2(x)),v)=v.
p(f1(x),p(p(y,y,p(z,u,u)),z,f2(x)),v)=v.
p(f1(x),p(p(y,y,p(z,u,z)),z,f2(x)),v)=v.
p(f1(x),p(p(y,y,p(p(z,z,u),u,v)),v,f2(x)),w)=w.
p(f1(x),p(p(y,p(z,z,y),u),u,f2(x)),v)=v.
p(f1(x),p(p(y,p(y,z,z),u),u,f2(x)),v)=v.
p(f1(x),p(p(y,p(y,z,y),u),u,f2(x)),v)=v.
p(f1(x),p(p(y,p(p(z,z,u),u,y),v),v,f2(x)),w)=w.
p(f1(x),p(p(p(y,y,z),z,u),u,f2(x)),v)=v.
p(f1(x),p(p(p(y,z,z),y,u),u,f2(x)),v)=v.
p(f1(x),p(p(p(y,z,y),y,u),u,f2(x)),v)=v.
p(f1(x),p(p(p(p(y,y,z),z,u),u,v),v,f2(x)),w)=w.
p(f1(x),p(f2(x),y,p(y,z,y)),u)=u.
p(f1(x),p(f2(x),y,p(z,z,y)),u)=u.
p(f1(x),p(f2(x),y,p(y,z,z)),u)=u.
p(f1(x),p(f2(x),p(y,z,y),y),u)=u.
p(f1(x),p(f2(x),p(y,y,z),z),u)=u.
p(f1(x),p(f2(x),p(y,z,z),y),u)=u.
p(f1(x),p(y,p(y,z,z),f2(x)),u)=u.
p(f1(x),p(y,p(y,z,y),f2(x)),u)=u.
p(f1(x),p(y,p(z,z,y),f2(x)),u)=u.
p(f1(x),p(p(y,z,z),y,f2(x)),u)=u.
p(f1(x),p(p(y,z,y),y,f2(x)),u)=u.
p(f1(x),f2(x),p(y,y,p(p(z,z,u),u,v)))=v.
p(f1(x),f2(x),p(p(p(y,y,z),z,u),v,v))=u.
p(f1(x),f2(x),p(p(p(y,y,z),z,u),v,p(p(y,y,z),z,u)))=u.
p(f1(x),f2(x),p(p(y,y,z),z,p(u,u,v)))=v.
p(f1(x),f2(x),p(p(y,y,z),z,p(u,v,v)))=u.
p(f1(x),f2(x),p(p(y,y,z),z,p(u,v,u)))=u.
p(f1(x),f2(x),p(p(y,y,z),z,p(p(u,u,v),v,w)))=w.
p(f1(x),f2(x),p(p(y,y,z),p(u,u,z),v))=v.
p(f1(x),f2(x),p(p(y,y,z),p(z,u,u),v))=v.
p(f1(x),f2(x),p(p(y,y,z),p(z,u,z),v))=v.
p(f1(x),f2(x),p(p(y,y,z),p(p(u,u,v),v,z),w))=w.
p(f1(x),f2(x),p(p(p(y,y,z),u,u),z,v))=v.
p(f1(x),f2(x),p(p(p(y,y,z),u,p(y,y,z)),z,v))=v.
p(f1(x),f2(x),p(p(p(y,y,z),z,p(u,u,v)),v,w))=w.
p(f1(x),f2(x),p(p(y,y,p(z,z,u)),u,v))=v.
p(f1(x),f2(x),p(p(y,y,p(z,u,u)),z,v))=v.
p(f1(x),f2(x),p(p(y,y,p(z,u,z)),z,v))=v.
p(f1(x),f2(x),p(p(y,y,p(p(z,z,u),u,v)),v,w))=w.
p(f1(x),f2(x),p(p(y,p(z,z,y),u),u,v))=v.
p(f1(x),f2(x),p(p(y,p(y,z,z),u),u,v))=v.
p(f1(x),f2(x),p(p(y,p(y,z,y),u),u,v))=v.
p(f1(x),f2(x),p(p(y,p(p(z,z,u),u,y),v),v,w))=w.
p(f1(x),f2(x),p(p(p(y,y,z),z,u),u,v))=v.
p(f1(x),f2(x),p(p(p(y,z,z),y,u),u,v))=v.
p(f1(x),f2(x),p(p(p(y,z,y),y,u),u,v))=v.
p(f1(x),f2(x),p(p(p(p(y,y,z),z,u),u,v),v,w))=w.
p(f1(x),f2(x),p(y,z,p(u,u,y)))=y.
p(f1(x),f2(x),p(y,z,p(y,u,u)))=y.
p(f1(x),f2(x),p(y,z,p(y,u,y)))=y.
p(f1(x),f2(x),p(p(y,y,z),u,z))=z.
p(f1(x),f2(x),p(p(y,z,z),u,y))=y.
p(f1(x),f2(x),p(p(y,z,y),u,y))=y.
p(f1(x),f2(x),p(y,z,p(z,u,z)))=y.
p(f1(x),f2(x),p(y,z,p(u,u,z)))=y.
p(f1(x),f2(x),p(y,z,p(z,u,u)))=y.
p(f1(x),f2(x),p(y,p(z,u,z),z))=y.
p(f1(x),f2(x),p(y,p(z,z,u),u))=y.
p(f1(x),f2(x),p(y,p(z,u,u),z))=y.
p(f1(x),f2(x),p(p(y,z,y),u,u))=y.
p(f1(x),f2(x),p(p(y,z,z),u,u))=y.
p(f1(x),f2(x),p(p(y,y,z),u,u))=z.
p(f1(x),f2(x),p(y,y,p(z,u,u)))=z.
p(f1(x),f2(x),p(y,y,p(z,u,z)))=z.
p(f1(x),f2(x),p(y,y,p(z,z,u)))=u.
p(f1(x),f2(x),p(y,p(y,z,z),u))=u.
p(f1(x),f2(x),p(y,p(y,z,y),u))=u.
p(f1(x),f2(x),p(y,p(z,z,y),u))=u.
p(f1(x),f2(x),p(p(y,z,z),y,u))=u.
p(f1(x),f2(x),p(p(y,z,y),y,u))=u.
p(f1(x),f2(x),p(p(y,y,z),z,u))=u.
p(f1(x),f2(x),p(y,z,y))=y.
p(f1(x),f2(x),p(y,z,z))=y.
p(f1(x),f2(x),p(y,y,z))=z.
p(x,x,p(p(y,y,z),z,p(f1(u),f2(u),v)))=v.
p(p(p(x,x,y),y,p(f1(z),f2(z),u)),v,v)=u.
p(p(x,x,y),y,p(z,z,p(f1(u),f2(u),v)))=v.
p(p(x,x,y),y,p(p(f1(z),f2(z),u),v,v))=u.
p(p(x,x,y),y,p(p(z,z,u),u,p(f1(v),f2(v),w)))=w.
p(p(x,x,y),p(z,z,y),p(f1(u),f2(u),v))=v.
p(p(x,x,y),p(y,z,z),p(f1(u),f2(u),v))=v.
p(p(x,x,y),p(y,z,y),p(f1(u),f2(u),v))=v.
p(p(x,x,y),p(p(z,z,u),u,y),p(f1(v),f2(v),w))=w.
p(p(p(x,x,y),z,z),y,p(f1(u),f2(u),v))=v.
p(p(p(x,x,y),z,p(x,x,y)),y,p(f1(u),f2(u),v))=v.
p(p(p(x,x,y),y,p(z,z,u)),u,p(f1(v),f2(v),w))=w.
p(p(x,x,p(y,y,z)),z,p(f1(u),f2(u),v))=v.
p(p(x,x,p(y,z,z)),y,p(f1(u),f2(u),v))=v.
p(p(x,x,p(y,z,y)),y,p(f1(u),f2(u),v))=v.
p(p(x,x,p(p(y,y,z),z,u)),u,p(f1(v),f2(v),w))=w.
p(p(x,p(y,y,x),z),z,p(f1(u),f2(u),v))=v.
p(p(x,p(x,y,y),z),z,p(f1(u),f2(u),v))=v.
p(p(x,p(x,y,x),z),z,p(f1(u),f2(u),v))=v.
p(p(x,p(p(y,y,z),z,x),u),u,p(f1(v),f2(v),w))=w.
p(p(p(x,x,y),y,z),z,p(f1(u),f2(u),v))=v.
p(p(p(x,y,y),x,z),z,p(f1(u),f2(u),v))=v.
p(p(p(x,y,x),x,z),z,p(f1(u),f2(u),v))=v.
p(p(p(p(x,x,y),y,z),z,u),u,p(f1(v),f2(v),w))=w.
p(p(f1(x),f2(x),y),z,p(z,u,z))=y.
p(p(f1(x),f2(x),y),z,p(u,u,z))=y.
p(p(f1(x),f2(x),y),z,p(z,u,u))=y.
p(p(f1(x),f2(x),y),p(z,u,z),z)=y.
p(p(f1(x),f2(x),y),p(z,z,u),u)=y.
p(p(f1(x),f2(x),y),p(z,u,u),z)=y.
p(p(p(f1(x),f2(x),y),z,z),u,u)=y.
p(p(x,x,p(f1(y),f2(y),z)),u,u)=z.
p(x,x,p(p(f1(y),f2(y),z),u,u))=z.
p(x,x,p(y,y,p(f1(z),f2(z),u)))=u.
p(x,p(x,y,y),p(f1(z),f2(z),u))=u.
p(x,p(x,y,x),p(f1(z),f2(z),u))=u.
p(x,p(y,y,x),p(f1(z),f2(z),u))=u.
p(p(x,y,y),x,p(f1(z),f2(z),u))=u.
p(p(x,y,x),x,p(f1(z),f2(z),u))=u.
p(p(x,x,y),y,p(f1(z),f2(z),u))=u.
p(p(f1(x),f2(x),y),z,z)=y.
p(x,x,p(f1(y),f2(y),z))=z.
p(p(f1(x),y,f2(y)),x,p(p(z,z,u),u,v))=v.
p(p(f1(x),f2(y),y),x,p(p(z,z,u),u,v))=v.
p(f1(x),p(p(y,y,z),z,f2(x)),p(p(u,u,v),v,w))=w.
p(f1(x),p(p(y,y,z),f2(z),x),p(p(u,u,v),v,w))=w.
p(f1(x),p(p(y,y,f2(z)),z,x),p(p(u,u,v),v,w))=w.
p(f1(x),p(p(y,f2(y),z),z,x),p(p(u,u,v),v,w))=w.
p(f1(x),p(p(f2(y),y,z),z,x),p(p(u,u,v),v,w))=w.
p(f1(x),p(x,y,f2(x)),p(p(z,z,u),u,v))=v.
p(f1(x),p(f2(x),y,x),p(p(z,z,u),u,v))=v.
p(f1(x),p(x,y,f2(y)),p(p(z,z,u),u,v))=v.
p(f1(x),p(x,f2(y),y),p(p(z,z,u),u,v))=v.
p(f1(x),p(f2(x),y,y),p(p(z,z,u),u,v))=v.
p(f1(x),p(y,y,f2(x)),p(p(z,z,u),u,v))=v.
p(f1(x),p(y,f2(y),x),p(p(z,z,u),u,v))=v.
p(f1(x),p(f2(y),y,x),p(p(z,z,u),u,v))=v.
p(f1(x),x,p(p(p(p(y,y,z),z,f2(u)),u,v),v,w))=w.
p(f1(x),x,p(p(p(p(y,y,z),f2(z),u),u,v),v,w))=w.
p(f1(x),x,p(p(p(p(y,y,f2(z)),z,u),u,v),v,w))=w.
p(f1(x),x,p(p(p(p(y,f2(y),z),z,u),u,v),v,w))=w.
p(f1(x),x,p(p(p(p(f2(y),y,z),z,u),u,v),v,w))=w.
p(f1(x),x,p(p(p(y,z,f2(y)),y,u),u,v))=v.
p(f1(x),x,p(p(p(f2(y),z,y),y,u),u,v))=v.
p(f1(x),x,p(p(p(y,z,f2(z)),y,u),u,v))=v.
p(f1(x),x,p(p(p(y,f2(z),z),y,u),u,v))=v.
p(f1(x),x,p(p(p(f2(y),z,z),y,u),u,v))=v.
p(f1(x),x,p(p(p(y,y,f2(z)),z,u),u,v))=v.
p(f1(x),x,p(p(p(y,f2(y),z),z,u),u,v))=v.
p(f1(x),x,p(p(p(f2(y),y,z),z,u),u,v))=v.
p(f1(x),x,p(p(y,p(p(z,z,u),u,f2(y)),v),v,w))=w.
p(f1(x),x,p(p(y,p(p(z,z,u),f2(u),y),v),v,w))=w.
p(f1(x),x,p(p(y,p(p(z,z,f2(u)),u,y),v),v,w))=w.
p(f1(x),x,p(p(y,p(p(z,f2(z),u),u,y),v),v,w))=w.
p(f1(x),x,p(p(y,p(p(f2(z),z,u),u,y),v),v,w))=w.
p(f1(x),x,p(p(y,p(y,z,f2(y)),u),u,v))=v.
p(f1(x),x,p(p(y,p(f2(y),z,y),u),u,v))=v.
p(f1(x),x,p(p(y,p(y,z,f2(z)),u),u,v))=v.
p(f1(x),x,p(p(y,p(y,f2(z),z),u),u,v))=v.
p(f1(x),x,p(p(y,p(f2(y),z,z),u),u,v))=v.
p(f1(x),x,p(p(y,p(z,z,f2(y)),u),u,v))=v.
p(f1(x),x,p(p(y,p(z,f2(z),y),u),u,v))=v.
p(f1(x),x,p(p(y,p(f2(z),z,y),u),u,v))=v.
p(f1(x),x,p(p(y,y,p(p(z,z,u),u,f2(v))),v,w))=w.
p(f1(x),x,p(p(y,y,p(p(z,z,u),f2(u),v)),v,w))=w.
p(f1(x),x,p(p(y,y,p(p(z,z,f2(u)),u,v)),v,w))=w.
p(f1(x),x,p(p(y,y,p(p(z,f2(z),u),u,v)),v,w))=w.
p(f1(x),x,p(p(y,y,p(p(f2(z),z,u),u,v)),v,w))=w.
p(f1(x),x,p(p(y,y,p(z,u,f2(z))),z,v))=v.
p(f1(x),x,p(p(y,y,p(f2(z),u,z)),z,v))=v.
p(f1(x),x,p(p(y,y,p(z,u,f2(u))),z,v))=v.
p(f1(x),x,p(p(y,y,p(z,f2(u),u)),z,v))=v.
p(f1(x),x,p(p(y,y,p(f2(z),u,u)),z,v))=v.
p(f1(x),x,p(p(y,y,p(z,z,f2(u))),u,v))=v.
p(f1(x),x,p(p(y,y,p(z,f2(z),u)),u,v))=v.
p(f1(x),x,p(p(y,y,p(f2(z),z,u)),u,v))=v.
p(f1(x),x,p(p(p(y,y,z),f2(z),p(u,u,v)),v,w))=w.
p(f1(x),x,p(p(p(y,y,f2(z)),z,p(u,u,v)),v,w))=w.
p(f1(x),x,p(p(p(y,f2(y),z),z,p(u,u,v)),v,w))=w.
p(f1(x),x,p(p(p(f2(y),y,z),z,p(u,u,v)),v,w))=w.
p(f1(x),x,p(p(p(y,y,z),u,f2(u)),z,v))=v.
p(f1(x),x,p(p(p(y,y,z),f2(u),u),z,v))=v.
p(f1(x),x,p(p(y,f2(y),p(z,z,u)),u,v))=v.
p(f1(x),x,p(p(f2(y),y,p(z,z,u)),u,v))=v.
p(f1(x),x,p(p(y,y,z),p(p(u,u,v),v,f2(z)),w))=w.
p(f1(x),x,p(p(y,y,z),p(p(u,u,v),f2(v),z),w))=w.
p(f1(x),x,p(p(y,y,z),p(p(u,u,f2(v)),v,z),w))=w.
p(f1(x),x,p(p(y,y,z),p(p(u,f2(u),v),v,z),w))=w.
p(f1(x),x,p(p(y,y,z),p(p(f2(u),u,v),v,z),w))=w.
p(f1(x),x,p(p(y,y,z),p(z,u,f2(z)),v))=v.
p(f1(x),x,p(p(y,y,z),p(f2(z),u,z),v))=v.
p(f1(x),x,p(p(y,y,z),p(z,u,f2(u)),v))=v.
p(f1(x),x,p(p(y,y,z),p(z,f2(u),u),v))=v.
p(f1(x),x,p(p(y,y,z),p(f2(z),u,u),v))=v.
p(f1(x),x,p(p(y,y,z),p(u,u,f2(z)),v))=v.
p(f1(x),x,p(p(y,y,z),p(u,f2(u),z),v))=v.
p(f1(x),x,p(p(y,y,z),p(f2(u),u,z),v))=v.
p(f1(x),x,p(p(y,y,z),z,p(p(u,u,v),v,f2(w))))=w.
p(f1(x),x,p(p(y,y,z),z,p(p(u,u,v),f2(v),w)))=w.
p(f1(x),x,p(p(y,y,z),z,p(p(u,u,f2(v)),v,w)))=w.
p(f1(x),x,p(p(y,y,z),z,p(p(u,f2(u),v),v,w)))=w.
p(f1(x),x,p(p(y,y,z),z,p(p(f2(u),u,v),v,w)))=w.
p(f1(x),x,p(p(y,y,z),z,p(u,v,f2(u))))=u.
p(f1(x),x,p(p(y,y,z),z,p(f2(u),v,u)))=u.
p(f1(x),x,p(p(y,y,z),z,p(u,v,f2(v))))=u.
p(f1(x),x,p(p(y,y,z),z,p(u,f2(v),v)))=u.
p(f1(x),x,p(p(y,y,z),z,p(f2(u),v,v)))=u.
p(f1(x),x,p(p(y,y,z),z,p(u,u,f2(v))))=v.
p(f1(x),x,p(p(y,y,z),z,p(u,f2(u),v)))=v.
p(f1(x),x,p(p(y,y,z),z,p(f2(u),u,v)))=v.
p(f1(x),x,p(p(y,y,z),f2(z),p(p(u,u,v),v,w)))=w.
p(f1(x),x,p(p(y,y,f2(z)),z,p(p(u,u,v),v,w)))=w.
p(f1(x),x,p(p(y,f2(y),z),z,p(p(u,u,v),v,w)))=w.
p(f1(x),x,p(p(f2(y),y,z),z,p(p(u,u,v),v,w)))=w.
p(f1(x),x,p(p(p(y,y,z),z,u),v,f2(v)))=u.
p(f1(x),x,p(p(p(y,y,z),z,u),f2(v),v))=u.
p(f1(x),x,p(y,f2(y),p(p(z,z,u),u,v)))=v.
p(f1(x),x,p(f2(y),y,p(p(z,z,u),u,v)))=v.
p(p(f1(x),x,p(p(y,y,z),z,u)),v,f2(v))=u.
p(p(f1(x),x,p(p(y,y,z),z,u)),f2(v),v)=u.
p(p(f1(x),y,f2(y)),x,p(z,u,z))=z.
p(p(f1(x),f2(y),y),x,p(z,u,z))=z.
p(f1(x),p(p(y,y,z),z,f2(x)),p(u,v,u))=u.
p(f1(x),p(p(y,y,z),f2(z),x),p(u,v,u))=u.
p(f1(x),p(p(y,y,f2(z)),z,x),p(u,v,u))=u.
p(f1(x),p(p(y,f2(y),z),z,x),p(u,v,u))=u.
p(f1(x),p(p(f2(y),y,z),z,x),p(u,v,u))=u.
p(f1(x),p(x,y,f2(x)),p(z,u,z))=z.
p(f1(x),p(f2(x),y,x),p(z,u,z))=z.
p(f1(x),p(x,y,f2(y)),p(z,u,z))=z.
p(f1(x),p(x,f2(y),y),p(z,u,z))=z.
p(f1(x),p(f2(x),y,y),p(z,u,z))=z.
p(f1(x),p(y,y,f2(x)),p(z,u,z))=z.
p(f1(x),p(y,f2(y),x),p(z,u,z))=z.
p(f1(x),p(f2(y),y,x),p(z,u,z))=z.
p(f1(x),x,p(p(p(y,y,z),z,f2(u)),v,u))=u.
p(f1(x),x,p(p(p(y,y,z),f2(z),u),v,u))=u.
p(f1(x),x,p(p(p(y,y,f2(z)),z,u),v,u))=u.
p(f1(x),x,p(p(p(y,f2(y),z),z,u),v,u))=u.
p(f1(x),x,p(p(p(f2(y),y,z),z,u),v,u))=u.
p(f1(x),x,p(p(y,z,f2(y)),u,y))=y.
p(f1(x),x,p(p(f2(y),z,y),u,y))=y.
p(f1(x),x,p(p(y,z,f2(z)),u,y))=y.
p(f1(x),x,p(p(y,f2(z),z),u,y))=y.
p(f1(x),x,p(p(f2(y),z,z),u,y))=y.
p(f1(x),x,p(p(y,y,f2(z)),u,z))=z.
p(f1(x),x,p(p(y,f2(y),z),u,z))=z.
p(f1(x),x,p(p(f2(y),y,z),u,z))=z.
p(f1(x),x,p(y,z,p(p(u,u,v),v,f2(y))))=y.
p(f1(x),x,p(y,z,p(p(u,u,v),f2(v),y)))=y.
p(f1(x),x,p(y,z,p(p(u,u,f2(v)),v,y)))=y.
p(f1(x),x,p(y,z,p(p(u,f2(u),v),v,y)))=y.
p(f1(x),x,p(y,z,p(p(f2(u),u,v),v,y)))=y.
p(f1(x),x,p(y,z,p(y,u,f2(y))))=y.
p(f1(x),x,p(y,z,p(f2(y),u,y)))=y.
p(f1(x),x,p(y,z,p(y,u,f2(u))))=y.
p(f1(x),x,p(y,z,p(y,f2(u),u)))=y.
p(f1(x),x,p(y,z,p(f2(y),u,u)))=y.
p(f1(x),x,p(y,z,p(u,u,f2(y))))=y.
p(f1(x),x,p(y,z,p(u,f2(u),y)))=y.
p(f1(x),x,p(y,z,p(f2(u),u,y)))=y.
p(f1(x),x,p(p(y,y,z),f2(z),p(u,v,u)))=u.
p(f1(x),x,p(p(y,y,f2(z)),z,p(u,v,u)))=u.
p(f1(x),x,p(p(y,f2(y),z),z,p(u,v,u)))=u.
p(f1(x),x,p(p(f2(y),y,z),z,p(u,v,u)))=u.
p(f1(x),x,p(p(y,z,y),u,f2(u)))=y.
p(f1(x),x,p(p(y,z,y),f2(u),u))=y.
p(f1(x),x,p(y,f2(y),p(z,u,z)))=z.
p(f1(x),x,p(f2(y),y,p(z,u,z)))=z.
p(p(f1(x),x,p(y,z,y)),u,f2(u))=y.
p(p(f1(x),x,p(y,z,y)),f2(u),u)=y.
p(p(f1(x),y,f2(y)),x,p(z,u,u))=z.
p(p(f1(x),f2(y),y),x,p(z,u,u))=z.
p(f1(x),p(p(y,y,z),z,f2(x)),p(u,v,v))=u.
p(f1(x),p(p(y,y,z),f2(z),x),p(u,v,v))=u.
p(f1(x),p(p(y,y,f2(z)),z,x),p(u,v,v))=u.
p(f1(x),p(p(y,f2(y),z),z,x),p(u,v,v))=u.
p(f1(x),p(p(f2(y),y,z),z,x),p(u,v,v))=u.
p(f1(x),p(x,y,f2(x)),p(z,u,u))=z.
p(f1(x),p(f2(x),y,x),p(z,u,u))=z.
p(f1(x),p(x,y,f2(y)),p(z,u,u))=z.
p(f1(x),p(x,f2(y),y),p(z,u,u))=z.
p(f1(x),p(f2(x),y,y),p(z,u,u))=z.
p(f1(x),p(y,y,f2(x)),p(z,u,u))=z.
p(f1(x),p(y,f2(y),x),p(z,u,u))=z.
p(f1(x),p(f2(y),y,x),p(z,u,u))=z.
p(f1(x),x,p(p(p(y,y,z),z,f2(u)),v,v))=u.
p(f1(x),x,p(p(p(y,y,z),f2(z),u),v,v))=u.
p(f1(x),x,p(p(p(y,y,f2(z)),z,u),v,v))=u.
p(f1(x),x,p(p(p(y,f2(y),z),z,u),v,v))=u.
p(f1(x),x,p(p(p(f2(y),y,z),z,u),v,v))=u.
p(f1(x),x,p(p(y,z,f2(y)),u,u))=y.
p(f1(x),x,p(p(f2(y),z,y),u,u))=y.
p(f1(x),x,p(p(y,z,f2(z)),u,u))=y.
p(f1(x),x,p(p(y,f2(z),z),u,u))=y.
p(f1(x),x,p(p(f2(y),z,z),u,u))=y.
p(f1(x),x,p(p(y,y,f2(z)),u,u))=z.
p(f1(x),x,p(p(y,f2(y),z),u,u))=z.
p(f1(x),x,p(p(f2(y),y,z),u,u))=z.
p(f1(x),x,p(y,p(p(z,z,u),u,f2(v)),v))=y.
p(f1(x),x,p(y,p(p(z,z,u),f2(u),v),v))=y.
p(f1(x),x,p(y,p(p(z,z,f2(u)),u,v),v))=y.
p(f1(x),x,p(y,p(p(z,f2(z),u),u,v),v))=y.
p(f1(x),x,p(y,p(p(f2(z),z,u),u,v),v))=y.
p(f1(x),x,p(y,p(z,u,f2(z)),z))=y.
p(f1(x),x,p(y,p(f2(z),u,z),z))=y.
p(f1(x),x,p(y,p(z,u,f2(u)),z))=y.
p(f1(x),x,p(y,p(z,f2(u),u),z))=y.
p(f1(x),x,p(y,p(f2(z),u,u),z))=y.
p(f1(x),x,p(y,p(z,z,f2(u)),u))=y.
p(f1(x),x,p(y,p(z,f2(z),u),u))=y.
p(f1(x),x,p(y,p(f2(z),z,u),u))=y.
p(f1(x),x,p(y,z,p(p(u,u,v),v,f2(z))))=y.
p(f1(x),x,p(y,z,p(p(u,u,v),f2(v),z)))=y.
p(f1(x),x,p(y,z,p(p(u,u,f2(v)),v,z)))=y.
p(f1(x),x,p(y,z,p(p(u,f2(u),v),v,z)))=y.
p(f1(x),x,p(y,z,p(p(f2(u),u,v),v,z)))=y.
p(f1(x),x,p(y,z,p(z,u,f2(z))))=y.
p(f1(x),x,p(y,z,p(f2(z),u,z)))=y.
p(f1(x),x,p(y,z,p(z,u,f2(u))))=y.
p(f1(x),x,p(y,z,p(z,f2(u),u)))=y.
p(f1(x),x,p(y,z,p(f2(z),u,u)))=y.
p(f1(x),x,p(y,z,p(u,u,f2(z))))=y.
p(f1(x),x,p(y,z,p(u,f2(u),z)))=y.
p(f1(x),x,p(y,z,p(f2(u),u,z)))=y.
p(f1(x),x,p(p(y,y,z),f2(z),p(u,v,v)))=u.
p(f1(x),x,p(p(y,y,f2(z)),z,p(u,v,v)))=u.
p(f1(x),x,p(p(y,f2(y),z),z,p(u,v,v)))=u.
p(f1(x),x,p(p(f2(y),y,z),z,p(u,v,v)))=u.
p(f1(x),x,p(p(y,z,z),u,f2(u)))=y.
p(f1(x),x,p(p(y,z,z),f2(u),u))=y.
p(f1(x),x,p(y,f2(y),p(z,u,u)))=z.
p(f1(x),x,p(f2(y),y,p(z,u,u)))=z.
p(p(f1(x),x,p(y,z,z)),u,f2(u))=y.
p(p(f1(x),x,p(y,z,z)),f2(u),u)=y.
p(p(f1(x),y,f2(y)),x,p(z,z,u))=u.
p(p(f1(x),f2(y),y),x,p(z,z,u))=u.
p(f1(x),p(p(y,y,z),z,f2(x)),p(u,u,v))=v.
p(f1(x),p(p(y,y,z),f2(z),x),p(u,u,v))=v.
p(f1(x),p(p(y,y,f2(z)),z,x),p(u,u,v))=v.
p(f1(x),p(p(y,f2(y),z),z,x),p(u,u,v))=v.
p(f1(x),p(p(f2(y),y,z),z,x),p(u,u,v))=v.
p(f1(x),p(x,y,f2(x)),p(z,z,u))=u.
p(f1(x),p(f2(x),y,x),p(z,z,u))=u.
p(f1(x),p(x,y,f2(y)),p(z,z,u))=u.
p(f1(x),p(x,f2(y),y),p(z,z,u))=u.
p(f1(x),p(f2(x),y,y),p(z,z,u))=u.
p(f1(x),p(y,y,f2(x)),p(z,z,u))=u.
p(f1(x),p(y,f2(y),x),p(z,z,u))=u.
p(f1(x),p(f2(y),y,x),p(z,z,u))=u.
p(f1(x),x,p(p(p(y,y,z),z,f2(u)),u,v))=v.
p(f1(x),x,p(p(p(y,y,z),f2(z),u),u,v))=v.
p(f1(x),x,p(p(y,z,f2(y)),y,u))=u.
p(f1(x),x,p(p(f2(y),z,y),y,u))=u.
p(f1(x),x,p(p(y,z,f2(z)),y,u))=u.
p(f1(x),x,p(p(y,f2(z),z),y,u))=u.
p(f1(x),x,p(p(f2(y),z,z),y,u))=u.
p(f1(x),x,p(y,p(p(z,z,u),u,f2(y)),v))=v.
p(f1(x),x,p(y,p(p(z,z,u),f2(u),y),v))=v.
p(f1(x),x,p(y,p(p(z,z,f2(u)),u,y),v))=v.
p(f1(x),x,p(y,p(p(z,f2(z),u),u,y),v))=v.
p(f1(x),x,p(y,p(p(f2(z),z,u),u,y),v))=v.
p(f1(x),x,p(y,p(y,z,f2(y)),u))=u.
p(f1(x),x,p(y,p(f2(y),z,y),u))=u.
p(f1(x),x,p(y,p(y,z,f2(z)),u))=u.
p(f1(x),x,p(y,p(y,f2(z),z),u))=u.
p(f1(x),x,p(y,p(f2(y),z,z),u))=u.
p(f1(x),x,p(y,p(z,z,f2(y)),u))=u.
p(f1(x),x,p(y,p(z,f2(z),y),u))=u.
p(f1(x),x,p(y,p(f2(z),z,y),u))=u.
p(f1(x),x,p(y,y,p(p(z,z,u),u,f2(v))))=v.
p(f1(x),x,p(y,y,p(p(z,z,u),f2(u),v)))=v.
p(f1(x),x,p(y,y,p(p(z,z,f2(u)),u,v)))=v.
p(f1(x),x,p(y,y,p(p(z,f2(z),u),u,v)))=v.
p(f1(x),x,p(y,y,p(p(f2(z),z,u),u,v)))=v.
p(f1(x),x,p(y,y,p(z,u,f2(z))))=z.
p(f1(x),x,p(y,y,p(f2(z),u,z)))=z.
p(f1(x),x,p(y,y,p(z,u,f2(u))))=z.
p(f1(x),x,p(y,y,p(z,f2(u),u)))=z.
p(f1(x),x,p(y,y,p(f2(z),u,u)))=z.
p(f1(x),x,p(y,y,p(z,z,f2(u))))=u.
p(f1(x),x,p(y,y,p(z,f2(z),u)))=u.
p(f1(x),x,p(y,y,p(f2(z),z,u)))=u.
p(f1(x),x,p(p(y,y,z),f2(z),p(u,u,v)))=v.
p(f1(x),x,p(p(y,y,f2(z)),z,p(u,u,v)))=v.
p(f1(x),x,p(p(y,f2(y),z),z,p(u,u,v)))=v.
p(f1(x),x,p(p(f2(y),y,z),z,p(u,u,v)))=v.
p(f1(x),x,p(p(y,y,z),u,f2(u)))=z.
p(f1(x),x,p(p(y,y,z),f2(u),u))=z.
p(f1(x),x,p(y,f2(y),p(z,z,u)))=u.
p(f1(x),x,p(f2(y),y,p(z,z,u)))=u.
p(p(f1(x),x,p(y,y,z)),u,f2(u))=z.
p(p(f1(x),x,p(y,y,z)),f2(u),u)=z.
p(p(p(p(x,x,y),y,f1(z)),u,u),z,f2(v))=v.
p(p(p(x,x,y),y,p(z,z,f1(u))),u,f2(v))=v.
p(p(p(x,x,y),y,p(f1(z),u,u)),z,f2(v))=v.
p(p(p(x,x,y),y,p(p(z,z,u),u,f1(v))),v,f2(w))=w.
p(p(p(x,x,y),p(z,z,y),f1(u)),u,f2(v))=v.
p(p(p(x,x,y),p(y,z,z),f1(u)),u,f2(v))=v.
p(p(p(x,x,y),p(y,z,y),f1(u)),u,f2(v))=v.
p(p(p(x,x,y),p(p(z,z,u),u,y),f1(v)),v,f2(w))=w.
p(p(p(p(x,x,y),z,z),y,f1(u)),u,f2(v))=v.
p(p(p(p(x,x,y),z,p(x,x,y)),y,f1(u)),u,f2(v))=v.
p(p(p(p(x,x,y),y,p(z,z,u)),u,f1(v)),v,f2(w))=w.
p(p(p(x,x,p(y,y,z)),z,f1(u)),u,f2(v))=v.
p(p(p(x,x,p(y,z,z)),y,f1(u)),u,f2(v))=v.
p(p(p(x,x,p(y,z,y)),y,f1(u)),u,f2(v))=v.
p(p(p(x,x,p(p(y,y,z),z,u)),u,f1(v)),v,f2(w))=w.
p(p(p(x,p(y,y,x),z),z,f1(u)),u,f2(v))=v.
p(p(p(x,p(x,y,y),z),z,f1(u)),u,f2(v))=v.
p(p(p(x,p(x,y,x),z),z,f1(u)),u,f2(v))=v.
p(p(p(x,p(p(y,y,z),z,x),u),u,f1(v)),v,f2(w))=w.
p(p(p(p(x,x,y),y,z),z,f1(u)),u,f2(v))=v.
p(p(p(p(x,y,y),x,z),z,f1(u)),u,f2(v))=v.
p(p(p(p(x,y,x),x,z),z,f1(u)),u,f2(v))=v.
p(p(p(p(p(x,x,y),y,z),z,u),u,f1(v)),v,f2(w))=w.
p(p(f1(x),y,p(y,z,y)),x,f2(u))=u.
p(p(f1(x),y,p(z,z,y)),x,f2(u))=u.
p(p(f1(x),y,p(y,z,z)),x,f2(u))=u.
p(p(f1(x),p(y,z,y),y),x,f2(u))=u.
p(p(f1(x),p(y,y,z),z),x,f2(u))=u.
p(p(f1(x),p(y,z,z),y),x,f2(u))=u.
p(p(p(f1(x),y,y),z,z),x,f2(u))=u.
p(p(p(x,x,f1(y)),z,z),y,f2(u))=u.
p(p(x,p(x,y,y),f1(z)),z,f2(u))=u.
p(p(x,p(x,y,x),f1(z)),z,f2(u))=u.
p(p(x,p(y,y,x),f1(z)),z,f2(u))=u.
p(p(p(x,y,y),x,f1(z)),z,f2(u))=u.
p(p(p(x,y,x),x,f1(z)),z,f2(u))=u.
p(f1(x),p(y,y,p(p(z,z,u),u,x)),f2(v))=v.
p(f1(x),p(p(p(y,y,z),z,x),u,u),f2(v))=v.
p(f1(x),p(p(p(y,y,z),z,x),u,p(p(y,y,z),z,x)),f2(v))=v.
p(f1(x),p(p(y,y,z),z,p(u,u,x)),f2(v))=v.
p(f1(x),p(p(y,y,z),z,p(x,u,u)),f2(v))=v.
p(f1(x),p(p(y,y,z),z,p(x,u,x)),f2(v))=v.
p(f1(x),p(p(y,y,z),z,p(p(u,u,v),v,x)),f2(w))=w.
p(f1(x),p(p(y,y,z),p(u,u,z),x),f2(v))=v.
p(f1(x),p(p(y,y,z),p(z,u,u),x),f2(v))=v.
p(f1(x),p(p(y,y,z),p(z,u,z),x),f2(v))=v.
p(f1(x),p(p(y,y,z),p(p(u,u,v),v,z),x),f2(w))=w.
p(f1(x),p(p(p(y,y,z),u,u),z,x),f2(v))=v.
p(f1(x),p(p(p(y,y,z),u,p(y,y,z)),z,x),f2(v))=v.
p(f1(x),p(p(p(y,y,z),z,p(u,u,v)),v,x),f2(w))=w.
p(f1(x),p(p(y,y,p(z,z,u)),u,x),f2(v))=v.
p(f1(x),p(p(y,y,p(z,u,u)),z,x),f2(v))=v.
p(f1(x),p(p(y,y,p(z,u,z)),z,x),f2(v))=v.
p(f1(x),p(p(y,y,p(p(z,z,u),u,v)),v,x),f2(w))=w.
p(f1(x),p(p(y,p(z,z,y),u),u,x),f2(v))=v.
p(f1(x),p(p(y,p(y,z,z),u),u,x),f2(v))=v.
p(f1(x),p(p(y,p(y,z,y),u),u,x),f2(v))=v.
p(f1(x),p(p(y,p(p(z,z,u),u,y),v),v,x),f2(w))=w.
p(f1(x),p(p(p(y,y,z),z,u),u,x),f2(v))=v.
p(f1(x),p(p(p(y,z,z),y,u),u,x),f2(v))=v.
p(f1(x),p(p(p(y,z,y),y,u),u,x),f2(v))=v.
p(f1(x),p(p(p(p(y,y,z),z,u),u,v),v,x),f2(w))=w.
p(f1(x),p(x,y,p(z,z,x)),f2(u))=u.
p(f1(x),p(x,y,p(x,z,z)),f2(u))=u.
p(f1(x),p(x,y,p(x,z,x)),f2(u))=u.
p(f1(x),p(p(y,y,x),z,x),f2(u))=u.
p(f1(x),p(p(x,y,y),z,x),f2(u))=u.
p(f1(x),p(p(x,y,x),z,x),f2(u))=u.
p(f1(x),p(x,y,p(y,z,y)),f2(u))=u.
p(f1(x),p(x,y,p(z,z,y)),f2(u))=u.
p(f1(x),p(x,y,p(y,z,z)),f2(u))=u.
p(f1(x),p(x,p(y,z,y),y),f2(u))=u.
p(f1(x),p(x,p(y,y,z),z),f2(u))=u.
p(f1(x),p(x,p(y,z,z),y),f2(u))=u.
p(f1(x),p(p(x,y,x),z,z),f2(u))=u.
p(f1(x),p(p(x,y,y),z,z),f2(u))=u.
p(f1(x),p(p(y,y,x),z,z),f2(u))=u.
p(f1(x),p(y,y,p(x,z,z)),f2(u))=u.
p(f1(x),p(y,y,p(x,z,x)),f2(u))=u.
p(f1(x),p(y,y,p(z,z,x)),f2(u))=u.
p(f1(x),p(y,p(y,z,z),x),f2(u))=u.
p(f1(x),p(y,p(y,z,y),x),f2(u))=u.
p(f1(x),p(y,p(z,z,y),x),f2(u))=u.
p(f1(x),p(p(y,z,z),y,x),f2(u))=u.
p(f1(x),p(p(y,z,y),y,x),f2(u))=u.
p(f1(x),x,p(p(y,y,z),p(u,u,z),f2(v)))=v.
p(f1(x),x,p(p(y,y,z),p(z,u,u),f2(v)))=v.
p(f1(x),x,p(p(y,y,z),p(z,u,z),f2(v)))=v.
p(f1(x),x,p(p(y,y,z),p(p(u,u,v),v,z),f2(w)))=w.
p(f1(x),x,p(p(p(y,y,z),u,u),z,f2(v)))=v.
p(f1(x),x,p(p(p(y,y,z),u,p(y,y,z)),z,f2(v)))=v.
p(f1(x),x,p(p(p(y,y,z),z,p(u,u,v)),v,f2(w)))=w.
p(f1(x),x,p(p(y,y,p(z,z,u)),u,f2(v)))=v.
p(f1(x),x,p(p(y,y,p(z,u,u)),z,f2(v)))=v.
p(f1(x),x,p(p(y,y,p(z,u,z)),z,f2(v)))=v.
p(f1(x),x,p(p(y,y,p(p(z,z,u),u,v)),v,f2(w)))=w.
p(f1(x),x,p(p(y,p(z,z,y),u),u,f2(v)))=v.
p(f1(x),x,p(p(y,p(y,z,z),u),u,f2(v)))=v.
p(f1(x),x,p(p(y,p(y,z,y),u),u,f2(v)))=v.
p(f1(x),x,p(p(y,p(p(z,z,u),u,y),v),v,f2(w)))=w.
p(f1(x),x,p(p(p(y,y,z),z,u),u,f2(v)))=v.
p(f1(x),x,p(p(p(y,z,z),y,u),u,f2(v)))=v.
p(f1(x),x,p(p(p(y,z,y),y,u),u,f2(v)))=v.
p(f1(x),x,p(p(p(p(y,y,z),z,u),u,v),v,f2(w)))=w.
p(f1(x),x,p(f2(y),z,p(z,u,z)))=y.
p(f1(x),x,p(f2(y),z,p(u,u,z)))=y.
p(f1(x),x,p(f2(y),z,p(z,u,u)))=y.
p(f1(x),x,p(f2(y),p(z,u,z),z))=y.
p(f1(x),x,p(f2(y),p(z,z,u),u))=y.
p(f1(x),x,p(f2(y),p(z,u,u),z))=y.
p(f1(x),x,p(y,p(y,z,z),f2(u)))=u.
p(f1(x),x,p(y,p(y,z,y),f2(u)))=u.
p(f1(x),x,p(y,p(z,z,y),f2(u)))=u.
p(f1(x),x,p(p(y,z,z),y,f2(u)))=u.
p(f1(x),x,p(p(y,z,y),y,f2(u)))=u.
p(x,x,p(p(y,y,z),z,p(f1(u),u,f2(v))))=v.
p(p(p(x,x,y),y,p(f1(z),z,f2(u))),v,v)=u.
p(p(x,x,y),y,p(z,z,p(f1(u),u,f2(v))))=v.
p(p(x,x,y),y,p(p(f1(z),z,f2(u)),v,v))=u.
p(p(x,x,y),y,p(p(z,z,u),u,p(f1(v),v,f2(w))))=w.
p(p(x,x,y),p(z,z,y),p(f1(u),u,f2(v)))=v.
p(p(x,x,y),p(y,z,z),p(f1(u),u,f2(v)))=v.
p(p(x,x,y),p(y,z,y),p(f1(u),u,f2(v)))=v.
p(p(x,x,y),p(p(z,z,u),u,y),p(f1(v),v,f2(w)))=w.
p(p(p(x,x,y),z,z),y,p(f1(u),u,f2(v)))=v.
p(p(p(x,x,y),z,p(x,x,y)),y,p(f1(u),u,f2(v)))=v.
p(p(p(x,x,y),y,p(z,z,u)),u,p(f1(v),v,f2(w)))=w.
p(p(x,x,p(y,y,z)),z,p(f1(u),u,f2(v)))=v.
p(p(x,x,p(y,z,z)),y,p(f1(u),u,f2(v)))=v.
p(p(x,x,p(y,z,y)),y,p(f1(u),u,f2(v)))=v.
p(p(x,x,p(p(y,y,z),z,u)),u,p(f1(v),v,f2(w)))=w.
p(p(x,p(y,y,x),z),z,p(f1(u),u,f2(v)))=v.
p(p(x,p(x,y,y),z),z,p(f1(u),u,f2(v)))=v.
p(p(x,p(x,y,x),z),z,p(f1(u),u,f2(v)))=v.
p(p(x,p(p(y,y,z),z,x),u),u,p(f1(v),v,f2(w)))=w.
p(p(p(x,x,y),y,z),z,p(f1(u),u,f2(v)))=v.
p(p(p(x,y,y),x,z),z,p(f1(u),u,f2(v)))=v.
p(p(p(x,y,x),x,z),z,p(f1(u),u,f2(v)))=v.
p(p(p(p(x,x,y),y,z),z,u),u,p(f1(v),v,f2(w)))=w.
p(p(f1(x),x,f2(y)),z,p(z,u,z))=y.
p(p(f1(x),x,f2(y)),z,p(u,u,z))=y.
p(p(f1(x),x,f2(y)),z,p(z,u,u))=y.
p(p(f1(x),x,f2(y)),p(z,u,z),z)=y.
p(p(f1(x),x,f2(y)),p(z,z,u),u)=y.
p(p(f1(x),x,f2(y)),p(z,u,u),z)=y.
p(p(p(f1(x),x,f2(y)),z,z),u,u)=y.
p(p(x,x,p(f1(y),y,f2(z))),u,u)=z.
p(x,x,p(p(f1(y),y,f2(z)),u,u))=z.
p(x,x,p(y,y,p(f1(z),z,f2(u))))=u.
p(x,p(x,y,y),p(f1(z),z,f2(u)))=u.
p(x,p(x,y,x),p(f1(z),z,f2(u)))=u.
p(x,p(y,y,x),p(f1(z),z,f2(u)))=u.
p(p(x,y,y),x,p(f1(z),z,f2(u)))=u.
p(p(x,y,x),x,p(f1(z),z,f2(u)))=u.
p(p(x,x,y),y,p(p(f1(z),u,f2(u)),z,v))=v.
p(p(x,x,y),y,p(p(f1(z),f2(u),u),z,v))=v.
p(p(x,x,y),y,p(f1(z),p(p(u,u,v),v,f2(z)),w))=w.
p(p(x,x,y),y,p(f1(z),p(p(u,u,v),f2(v),z),w))=w.
p(p(x,x,y),y,p(f1(z),p(p(u,u,f2(v)),v,z),w))=w.
p(p(x,x,y),y,p(f1(z),p(p(u,f2(u),v),v,z),w))=w.
p(p(x,x,y),y,p(f1(z),p(p(f2(u),u,v),v,z),w))=w.
p(p(x,x,y),y,p(f1(z),p(z,u,f2(z)),v))=v.
p(p(x,x,y),y,p(f1(z),p(f2(z),u,z),v))=v.
p(p(x,x,y),y,p(f1(z),p(z,u,f2(u)),v))=v.
p(p(x,x,y),y,p(f1(z),p(z,f2(u),u),v))=v.
p(p(x,x,y),y,p(f1(z),p(f2(z),u,u),v))=v.
p(p(x,x,y),y,p(f1(z),p(u,u,f2(z)),v))=v.
p(p(x,x,y),y,p(f1(z),p(u,f2(u),z),v))=v.
p(p(x,x,y),y,p(f1(z),p(f2(u),u,z),v))=v.
p(p(x,x,y),y,p(f1(z),z,p(p(u,u,v),v,f2(w))))=w.
p(p(x,x,y),y,p(f1(z),z,p(p(u,u,v),f2(v),w)))=w.
p(p(x,x,y),y,p(f1(z),z,p(p(u,u,f2(v)),v,w)))=w.
p(p(x,x,y),y,p(f1(z),z,p(p(u,f2(u),v),v,w)))=w.
p(p(x,x,y),y,p(f1(z),z,p(p(f2(u),u,v),v,w)))=w.
p(p(x,x,y),y,p(f1(z),z,p(u,v,f2(u))))=u.
p(p(x,x,y),y,p(f1(z),z,p(f2(u),v,u)))=u.
p(p(x,x,y),y,p(f1(z),z,p(u,v,f2(v))))=u.
p(p(x,x,y),y,p(f1(z),z,p(u,f2(v),v)))=u.
p(p(x,x,y),y,p(f1(z),z,p(f2(u),v,v)))=u.
p(p(x,x,y),y,p(f1(z),z,p(u,u,f2(v))))=v.
p(p(x,x,y),y,p(f1(z),z,p(u,f2(u),v)))=v.
p(p(x,x,y),y,p(f1(z),z,p(f2(u),u,v)))=v.
p(p(x,x,y),y,p(p(f1(z),z,u),v,f2(v)))=u.
p(p(x,x,y),y,p(p(f1(z),z,u),f2(v),v))=u.
p(p(p(x,x,y),y,p(f1(z),z,u)),v,f2(v))=u.
p(p(p(x,x,y),y,p(f1(z),z,u)),f2(v),v)=u.
p(p(p(f1(x),y,f2(y)),x,z),u,u)=z.
p(p(p(f1(x),f2(y),y),x,z),u,u)=z.
p(p(f1(x),p(p(y,y,z),z,f2(x)),u),v,v)=u.
p(p(f1(x),p(p(y,y,z),f2(z),x),u),v,v)=u.
p(p(f1(x),p(p(y,y,f2(z)),z,x),u),v,v)=u.
p(p(f1(x),p(p(y,f2(y),z),z,x),u),v,v)=u.
p(p(f1(x),p(p(f2(y),y,z),z,x),u),v,v)=u.
p(p(f1(x),p(x,y,f2(x)),z),u,u)=z.
p(p(f1(x),p(f2(x),y,x),z),u,u)=z.
p(p(f1(x),p(x,y,f2(y)),z),u,u)=z.
p(p(f1(x),p(x,f2(y),y),z),u,u)=z.
p(p(f1(x),p(f2(x),y,y),z),u,u)=z.
p(p(f1(x),p(y,y,f2(x)),z),u,u)=z.
p(p(f1(x),p(y,f2(y),x),z),u,u)=z.
p(p(f1(x),p(f2(y),y,x),z),u,u)=z.
p(p(f1(x),x,p(p(y,y,z),z,f2(u))),v,v)=u.
p(p(f1(x),x,p(p(y,y,z),f2(z),u)),v,v)=u.
p(p(f1(x),x,p(p(y,y,f2(z)),z,u)),v,v)=u.
p(p(f1(x),x,p(p(y,f2(y),z),z,u)),v,v)=u.
p(p(f1(x),x,p(p(f2(y),y,z),z,u)),v,v)=u.
p(p(f1(x),x,p(y,z,f2(y))),u,u)=y.
p(p(f1(x),x,p(f2(y),z,y)),u,u)=y.
p(p(f1(x),x,p(y,z,f2(z))),u,u)=y.
p(p(f1(x),x,p(y,f2(z),z)),u,u)=y.
p(p(f1(x),x,p(f2(y),z,z)),u,u)=y.
p(p(f1(x),x,p(y,y,f2(z))),u,u)=z.
p(p(f1(x),x,p(y,f2(y),z)),u,u)=z.
p(p(f1(x),x,p(f2(y),y,z)),u,u)=z.
p(p(p(f1(x),x,y),z,f2(z)),u,u)=y.
p(p(p(f1(x),x,y),f2(z),z),u,u)=y.
p(p(f1(x),x,y),p(p(z,z,u),u,f2(v)),v)=y.
p(p(f1(x),x,y),p(p(z,z,u),f2(u),v),v)=y.
p(p(f1(x),x,y),p(p(z,z,f2(u)),u,v),v)=y.
p(p(f1(x),x,y),p(p(z,f2(z),u),u,v),v)=y.
p(p(f1(x),x,y),p(p(f2(z),z,u),u,v),v)=y.
p(p(f1(x),x,y),p(z,u,f2(z)),z)=y.
p(p(f1(x),x,y),p(f2(z),u,z),z)=y.
p(p(f1(x),x,y),p(z,u,f2(u)),z)=y.
p(p(f1(x),x,y),p(z,f2(u),u),z)=y.
p(p(f1(x),x,y),p(f2(z),u,u),z)=y.
p(p(f1(x),x,y),p(z,z,f2(u)),u)=y.
p(p(f1(x),x,y),p(z,f2(z),u),u)=y.
p(p(f1(x),x,y),p(f2(z),z,u),u)=y.
p(p(f1(x),x,y),z,p(p(u,u,v),v,f2(z)))=y.
p(p(f1(x),x,y),z,p(p(u,u,v),f2(v),z))=y.
p(p(f1(x),x,y),z,p(p(u,u,f2(v)),v,z))=y.
p(p(f1(x),x,y),z,p(p(u,f2(u),v),v,z))=y.
p(p(f1(x),x,y),z,p(p(f2(u),u,v),v,z))=y.
p(p(f1(x),x,y),z,p(z,u,f2(z)))=y.
p(p(f1(x),x,y),z,p(f2(z),u,z))=y.
p(p(f1(x),x,y),z,p(z,u,f2(u)))=y.
p(p(f1(x),x,y),z,p(z,f2(u),u))=y.
p(p(f1(x),x,y),z,p(f2(z),u,u))=y.
p(p(f1(x),x,y),z,p(u,u,f2(z)))=y.
p(p(f1(x),x,y),z,p(u,f2(u),z))=y.
p(p(f1(x),x,y),z,p(f2(u),u,z))=y.
p(p(p(f1(x),x,y),z,z),u,f2(u))=y.
p(p(p(f1(x),x,y),z,z),f2(u),u)=y.
p(x,x,p(p(f1(y),z,f2(z)),y,u))=u.
p(x,x,p(p(f1(y),f2(z),z),y,u))=u.
p(x,x,p(f1(y),p(p(z,z,u),u,f2(y)),v))=v.
p(x,x,p(f1(y),p(p(z,z,u),f2(u),y),v))=v.
p(x,x,p(f1(y),p(p(z,z,f2(u)),u,y),v))=v.
p(x,x,p(f1(y),p(p(z,f2(z),u),u,y),v))=v.
p(x,x,p(f1(y),p(p(f2(z),z,u),u,y),v))=v.
p(x,x,p(f1(y),p(y,z,f2(y)),u))=u.
p(x,x,p(f1(y),p(f2(y),z,y),u))=u.
p(x,x,p(f1(y),p(y,z,f2(z)),u))=u.
p(x,x,p(f1(y),p(y,f2(z),z),u))=u.
p(x,x,p(f1(y),p(f2(y),z,z),u))=u.
p(x,x,p(f1(y),p(z,z,f2(y)),u))=u.
p(x,x,p(f1(y),p(z,f2(z),y),u))=u.
p(x,x,p(f1(y),p(f2(z),z,y),u))=u.
p(x,x,p(f1(y),y,p(p(z,z,u),u,f2(v))))=v.
p(x,x,p(f1(y),y,p(p(z,z,u),f2(u),v)))=v.
p(x,x,p(f1(y),y,p(p(z,z,f2(u)),u,v)))=v.
p(x,x,p(f1(y),y,p(p(z,f2(z),u),u,v)))=v.
p(x,x,p(f1(y),y,p(p(f2(z),z,u),u,v)))=v.
p(x,x,p(f1(y),y,p(z,u,f2(z))))=z.
p(x,x,p(f1(y),y,p(f2(z),u,z)))=z.
p(x,x,p(f1(y),y,p(z,u,f2(u))))=z.
p(x,x,p(f1(y),y,p(z,f2(u),u)))=z.
p(x,x,p(f1(y),y,p(f2(z),u,u)))=z.
p(x,x,p(f1(y),y,p(z,z,f2(u))))=u.
p(x,x,p(f1(y),y,p(z,f2(z),u)))=u.
p(x,x,p(f1(y),y,p(f2(z),z,u)))=u.
p(x,x,p(p(f1(y),y,z),u,f2(u)))=z.
p(x,x,p(p(f1(y),y,z),f2(u),u))=z.
p(p(x,x,p(f1(y),y,z)),u,f2(u))=z.
p(p(x,x,p(f1(y),y,z)),f2(u),u)=z.
p(p(p(x,x,p(p(y,y,z),z,f1(u))),u,f2(v)),v,w)=w.
p(p(p(p(p(x,x,y),y,f1(z)),u,u),z,f2(v)),v,w)=w.
p(p(p(p(x,x,y),y,p(z,z,f1(u))),u,f2(v)),v,w)=w.
p(p(p(p(x,x,y),y,p(f1(z),u,u)),z,f2(v)),v,w)=w.
p(p(p(p(x,x,y),y,p(p(z,z,u),u,f1(v))),v,f2(w)),w,v6)=v6.
p(p(p(p(x,x,y),p(z,z,y),f1(u)),u,f2(v)),v,w)=w.
p(p(p(p(x,x,y),p(y,z,z),f1(u)),u,f2(v)),v,w)=w.
p(p(p(p(x,x,y),p(y,z,y),f1(u)),u,f2(v)),v,w)=w.
p(p(p(p(x,x,y),p(p(z,z,u),u,y),f1(v)),v,f2(w)),w,v6)=v6.
p(p(p(p(p(x,x,y),z,z),y,f1(u)),u,f2(v)),v,w)=w.
p(p(p(p(p(x,x,y),z,p(x,x,y)),y,f1(u)),u,f2(v)),v,w)=w.
p(p(p(p(p(x,x,y),y,p(z,z,u)),u,f1(v)),v,f2(w)),w,v6)=v6.
p(p(p(p(x,x,p(y,y,z)),z,f1(u)),u,f2(v)),v,w)=w.
p(p(p(p(x,x,p(y,z,z)),y,f1(u)),u,f2(v)),v,w)=w.
p(p(p(p(x,x,p(y,z,y)),y,f1(u)),u,f2(v)),v,w)=w.
p(p(p(p(x,x,p(p(y,y,z),z,u)),u,f1(v)),v,f2(w)),w,v6)=v6.
p(p(p(p(x,p(y,y,x),z),z,f1(u)),u,f2(v)),v,w)=w.
p(p(p(p(x,p(x,y,y),z),z,f1(u)),u,f2(v)),v,w)=w.
p(p(p(p(x,p(x,y,x),z),z,f1(u)),u,f2(v)),v,w)=w.
p(p(p(p(x,p(p(y,y,z),z,x),u),u,f1(v)),v,f2(w)),w,v6)=v6.
p(p(p(p(p(x,x,y),y,z),z,f1(u)),u,f2(v)),v,w)=w.
p(p(p(p(p(x,y,y),x,z),z,f1(u)),u,f2(v)),v,w)=w.
p(p(p(p(p(x,y,x),x,z),z,f1(u)),u,f2(v)),v,w)=w.
p(p(p(p(p(p(x,x,y),y,z),z,u),u,f1(v)),v,f2(w)),w,v6)=v6.
p(p(p(f1(x),y,p(y,z,y)),x,f2(u)),u,v)=v.
p(p(p(f1(x),y,p(z,z,y)),x,f2(u)),u,v)=v.
p(p(p(f1(x),y,p(y,z,z)),x,f2(u)),u,v)=v.
p(p(p(f1(x),p(y,z,y),y),x,f2(u)),u,v)=v.
p(p(p(f1(x),p(y,y,z),z),x,f2(u)),u,v)=v.
p(p(p(f1(x),p(y,z,z),y),x,f2(u)),u,v)=v.
p(p(p(p(f1(x),y,y),z,z),x,f2(u)),u,v)=v.
p(p(p(p(x,x,f1(y)),z,z),y,f2(u)),u,v)=v.
p(p(p(x,x,p(f1(y),z,z)),y,f2(u)),u,v)=v.
p(p(p(x,x,p(y,y,f1(z))),z,f2(u)),u,v)=v.
p(p(p(x,p(x,y,y),f1(z)),z,f2(u)),u,v)=v.
p(p(p(x,p(x,y,x),f1(z)),z,f2(u)),u,v)=v.
p(p(p(x,p(y,y,x),f1(z)),z,f2(u)),u,v)=v.
p(p(p(p(x,y,y),x,f1(z)),z,f2(u)),u,v)=v.
p(p(p(p(x,y,x),x,f1(z)),z,f2(u)),u,v)=v.
p(p(p(p(x,x,y),y,f1(z)),z,f2(u)),u,v)=v.
p(p(f1(x),p(y,y,p(p(z,z,u),u,x)),f2(v)),v,w)=w.
p(p(f1(x),p(p(p(y,y,z),z,x),u,u),f2(v)),v,w)=w.
p(p(f1(x),p(p(p(y,y,z),z,x),u,p(p(y,y,z),z,x)),f2(v)),v,w)=w.
p(p(f1(x),p(p(y,y,z),z,p(u,u,x)),f2(v)),v,w)=w.
p(p(f1(x),p(p(y,y,z),z,p(x,u,u)),f2(v)),v,w)=w.
p(p(f1(x),p(p(y,y,z),z,p(x,u,x)),f2(v)),v,w)=w.
p(p(f1(x),p(p(y,y,z),z,p(p(u,u,v),v,x)),f2(w)),w,v6)=v6.
p(p(f1(x),p(p(y,y,z),p(u,u,z),x),f2(v)),v,w)=w.
p(p(f1(x),p(p(y,y,z),p(z,u,u),x),f2(v)),v,w)=w.
p(p(f1(x),p(p(y,y,z),p(z,u,z),x),f2(v)),v,w)=w.
p(p(f1(x),p(p(y,y,z),p(p(u,u,v),v,z),x),f2(w)),w,v6)=v6.
p(p(f1(x),p(p(p(y,y,z),u,u),z,x),f2(v)),v,w)=w.
p(p(f1(x),p(p(p(y,y,z),u,p(y,y,z)),z,x),f2(v)),v,w)=w.
p(p(f1(x),p(p(p(y,y,z),z,p(u,u,v)),v,x),f2(w)),w,v6)=v6.
p(p(f1(x),p(p(y,y,p(z,z,u)),u,x),f2(v)),v,w)=w.
p(p(f1(x),p(p(y,y,p(z,u,u)),z,x),f2(v)),v,w)=w.
p(p(f1(x),p(p(y,y,p(z,u,z)),z,x),f2(v)),v,w)=w.
p(p(f1(x),p(p(y,y,p(p(z,z,u),u,v)),v,x),f2(w)),w,v6)=v6.
p(p(f1(x),p(p(y,p(z,z,y),u),u,x),f2(v)),v,w)=w.
p(p(f1(x),p(p(y,p(y,z,z),u),u,x),f2(v)),v,w)=w.
p(p(f1(x),p(p(y,p(y,z,y),u),u,x),f2(v)),v,w)=w.
p(p(f1(x),p(p(y,p(p(z,z,u),u,y),v),v,x),f2(w)),w,v6)=v6.
p(p(f1(x),p(p(p(y,y,z),z,u),u,x),f2(v)),v,w)=w.
p(p(f1(x),p(p(p(y,z,z),y,u),u,x),f2(v)),v,w)=w.
p(p(f1(x),p(p(p(y,z,y),y,u),u,x),f2(v)),v,w)=w.
p(p(f1(x),p(p(p(p(y,y,z),z,u),u,v),v,x),f2(w)),w,v6)=v6.
p(p(f1(x),p(x,y,p(z,z,x)),f2(u)),u,v)=v.
p(p(f1(x),p(x,y,p(x,z,z)),f2(u)),u,v)=v.
p(p(f1(x),p(x,y,p(x,z,x)),f2(u)),u,v)=v.
p(p(f1(x),p(p(y,y,x),z,x),f2(u)),u,v)=v.
p(p(f1(x),p(p(x,y,y),z,x),f2(u)),u,v)=v.
p(p(f1(x),p(p(x,y,x),z,x),f2(u)),u,v)=v.
p(p(f1(x),p(x,y,p(y,z,y)),f2(u)),u,v)=v.
p(p(f1(x),p(x,y,p(z,z,y)),f2(u)),u,v)=v.
p(p(f1(x),p(x,y,p(y,z,z)),f2(u)),u,v)=v.
p(p(f1(x),p(x,p(y,z,y),y),f2(u)),u,v)=v.
p(p(f1(x),p(x,p(y,y,z),z),f2(u)),u,v)=v.
p(p(f1(x),p(x,p(y,z,z),y),f2(u)),u,v)=v.
p(p(f1(x),p(p(x,y,x),z,z),f2(u)),u,v)=v.
p(p(f1(x),p(p(x,y,y),z,z),f2(u)),u,v)=v.
p(p(f1(x),p(p(y,y,x),z,z),f2(u)),u,v)=v.
p(p(f1(x),p(y,y,p(x,z,z)),f2(u)),u,v)=v.
p(p(f1(x),p(y,y,p(x,z,x)),f2(u)),u,v)=v.
p(p(f1(x),p(y,y,p(z,z,x)),f2(u)),u,v)=v.
p(p(f1(x),p(y,p(y,z,z),x),f2(u)),u,v)=v.
p(p(f1(x),p(y,p(y,z,y),x),f2(u)),u,v)=v.
p(p(f1(x),p(y,p(z,z,y),x),f2(u)),u,v)=v.
p(p(f1(x),p(p(y,z,z),y,x),f2(u)),u,v)=v.
p(p(f1(x),p(p(y,z,y),y,x),f2(u)),u,v)=v.
p(p(f1(x),p(p(y,y,z),z,x),f2(u)),u,v)=v.
p(p(f1(x),p(x,y,x),f2(z)),z,u)=u.
p(p(f1(x),p(x,y,y),f2(z)),z,u)=u.
p(p(f1(x),p(y,y,x),f2(z)),z,u)=u.
p(p(f1(x),x,p(y,y,p(p(z,z,u),u,f2(v)))),v,w)=w.
p(p(f1(x),x,p(p(p(y,y,z),z,f2(u)),v,v)),u,w)=w.
p(p(f1(x),x,p(p(y,y,z),z,p(u,u,f2(v)))),v,w)=w.
p(p(f1(x),x,p(p(y,y,z),z,p(f2(u),v,v))),u,w)=w.
p(p(f1(x),x,p(p(y,y,z),z,p(p(u,u,v),v,f2(w)))),w,v6)=v6.
p(p(f1(x),x,p(p(y,y,z),p(u,u,z),f2(v))),v,w)=w.
p(p(f1(x),x,p(p(y,y,z),p(z,u,u),f2(v))),v,w)=w.
p(p(f1(x),x,p(p(y,y,z),p(z,u,z),f2(v))),v,w)=w.
p(p(f1(x),x,p(p(y,y,z),p(p(u,u,v),v,z),f2(w))),w,v6)=v6.
p(p(f1(x),x,p(p(p(y,y,z),u,u),z,f2(v))),v,w)=w.
p(p(f1(x),x,p(p(p(y,y,z),u,p(y,y,z)),z,f2(v))),v,w)=w.
p(p(f1(x),x,p(p(p(y,y,z),z,p(u,u,v)),v,f2(w))),w,v6)=v6.
p(p(f1(x),x,p(p(y,y,p(z,z,u)),u,f2(v))),v,w)=w.
p(p(f1(x),x,p(p(y,y,p(z,u,u)),z,f2(v))),v,w)=w.
p(p(f1(x),x,p(p(y,y,p(z,u,z)),z,f2(v))),v,w)=w.
p(p(f1(x),x,p(p(y,y,p(p(z,z,u),u,v)),v,f2(w))),w,v6)=v6.
p(p(f1(x),x,p(p(y,p(z,z,y),u),u,f2(v))),v,w)=w.
p(p(f1(x),x,p(p(y,p(y,z,z),u),u,f2(v))),v,w)=w.
p(p(f1(x),x,p(p(y,p(y,z,y),u),u,f2(v))),v,w)=w.
p(p(f1(x),x,p(p(y,p(p(z,z,u),u,y),v),v,f2(w))),w,v6)=v6.
p(p(f1(x),x,p(p(p(y,y,z),z,u),u,f2(v))),v,w)=w.
p(p(f1(x),x,p(p(p(y,z,z),y,u),u,f2(v))),v,w)=w.
p(p(f1(x),x,p(p(p(y,z,y),y,u),u,f2(v))),v,w)=w.
p(p(f1(x),x,p(p(p(p(y,y,z),z,u),u,v),v,f2(w))),w,v6)=v6.
p(p(f1(x),x,p(f2(y),z,p(z,u,z))),y,v)=v.
p(p(f1(x),x,p(f2(y),z,p(u,u,z))),y,v)=v.
p(p(f1(x),x,p(f2(y),z,p(z,u,u))),y,v)=v.
p(p(f1(x),x,p(f2(y),p(z,u,z),z)),y,v)=v.
p(p(f1(x),x,p(f2(y),p(z,z,u),u)),y,v)=v.
p(p(f1(x),x,p(f2(y),p(z,u,u),z)),y,v)=v.
p(p(f1(x),x,p(p(f2(y),z,z),u,u)),y,v)=v.
p(p(f1(x),x,p(p(y,y,f2(z)),u,u)),z,v)=v.
p(p(f1(x),x,p(y,y,p(f2(z),u,u))),z,v)=v.
p(p(f1(x),x,p(y,y,p(z,z,f2(u)))),u,v)=v.
p(p(f1(x),x,p(y,p(y,z,z),f2(u))),u,v)=v.
p(p(f1(x),x,p(y,p(y,z,y),f2(u))),u,v)=v.
p(p(f1(x),x,p(y,p(z,z,y),f2(u))),u,v)=v.
p(p(f1(x),x,p(p(y,z,z),y,f2(u))),u,v)=v.
p(p(f1(x),x,p(p(y,z,y),y,f2(u))),u,v)=v.
p(p(f1(x),x,p(p(y,y,z),z,f2(u))),u,v)=v.
p(p(x,x,p(p(y,y,z),z,p(f1(u),u,f2(v)))),v,w)=w.
p(p(p(p(x,x,y),y,p(f1(z),z,f2(u))),v,v),u,w)=w.
p(p(p(x,x,y),y,p(z,z,p(f1(u),u,f2(v)))),v,w)=w.
p(p(p(x,x,y),y,p(p(f1(z),z,f2(u)),v,v)),u,w)=w.
p(p(p(x,x,y),y,p(p(z,z,u),u,p(f1(v),v,f2(w)))),w,v6)=v6.
p(p(p(x,x,y),p(z,z,y),p(f1(u),u,f2(v))),v,w)=w.
p(p(p(x,x,y),p(y,z,z),p(f1(u),u,f2(v))),v,w)=w.
p(p(p(x,x,y),p(y,z,y),p(f1(u),u,f2(v))),v,w)=w.
p(p(p(x,x,y),p(p(z,z,u),u,y),p(f1(v),v,f2(w))),w,v6)=v6.
p(p(p(p(x,x,y),z,z),y,p(f1(u),u,f2(v))),v,w)=w.
p(p(p(p(x,x,y),z,p(x,x,y)),y,p(f1(u),u,f2(v))),v,w)=w.
p(p(p(p(x,x,y),y,p(z,z,u)),u,p(f1(v),v,f2(w))),w,v6)=v6.
p(p(p(x,x,p(y,y,z)),z,p(f1(u),u,f2(v))),v,w)=w.
p(p(p(x,x,p(y,z,z)),y,p(f1(u),u,f2(v))),v,w)=w.
p(p(p(x,x,p(y,z,y)),y,p(f1(u),u,f2(v))),v,w)=w.
p(p(p(x,x,p(p(y,y,z),z,u)),u,p(f1(v),v,f2(w))),w,v6)=v6.
p(p(p(x,p(y,y,x),z),z,p(f1(u),u,f2(v))),v,w)=w.
p(p(p(x,p(x,y,y),z),z,p(f1(u),u,f2(v))),v,w)=w.
p(p(p(x,p(x,y,x),z),z,p(f1(u),u,f2(v))),v,w)=w.
p(p(p(x,p(p(y,y,z),z,x),u),u,p(f1(v),v,f2(w))),w,v6)=v6.
p(p(p(p(x,x,y),y,z),z,p(f1(u),u,f2(v))),v,w)=w.
p(p(p(p(x,y,y),x,z),z,p(f1(u),u,f2(v))),v,w)=w.
p(p(p(p(x,y,x),x,z),z,p(f1(u),u,f2(v))),v,w)=w.
p(p(p(p(p(x,x,y),y,z),z,u),u,p(f1(v),v,f2(w))),w,v6)=v6.
p(p(p(f1(x),x,f2(y)),z,p(z,u,z)),y,v)=v.
p(p(p(f1(x),x,f2(y)),z,p(u,u,z)),y,v)=v.
p(p(p(f1(x),x,f2(y)),z,p(z,u,u)),y,v)=v.
p(p(p(f1(x),x,f2(y)),p(z,u,z),z),y,v)=v.
p(p(p(f1(x),x,f2(y)),p(z,z,u),u),y,v)=v.
p(p(p(f1(x),x,f2(y)),p(z,u,u),z),y,v)=v.
p(p(p(p(f1(x),x,f2(y)),z,z),u,u),y,v)=v.
p(p(p(x,x,p(f1(y),y,f2(z))),u,u),z,v)=v.
p(p(x,x,p(p(f1(y),y,f2(z)),u,u)),z,v)=v.
p(p(x,x,p(y,y,p(f1(z),z,f2(u)))),u,v)=v.
p(p(x,p(x,y,y),p(f1(z),z,f2(u))),u,v)=v.
p(p(x,p(x,y,x),p(f1(z),z,f2(u))),u,v)=v.
p(p(x,p(y,y,x),p(f1(z),z,f2(u))),u,v)=v.
p(p(p(x,y,y),x,p(f1(z),z,f2(u))),u,v)=v.
p(p(p(x,y,x),x,p(f1(z),z,f2(u))),u,v)=v.
p(p(p(x,x,y),y,p(f1(z),z,f2(u))),u,v)=v.
p(p(p(f1(x),x,f2(y)),z,z),y,u)=u.
p(p(f1(x),x,f2(y)),p(z,z,p(p(u,u,v),v,y)),w)=w.
p(p(f1(x),x,f2(y)),p(p(p(z,z,u),u,y),v,v),w)=w.
p(p(f1(x),x,f2(y)),p(p(p(z,z,u),u,y),v,p(p(z,z,u),u,y)),w)=w.
p(p(f1(x),x,f2(y)),p(p(z,z,u),u,p(v,v,y)),w)=w.
p(p(f1(x),x,f2(y)),p(p(z,z,u),u,p(y,v,v)),w)=w.
p(p(f1(x),x,f2(y)),p(p(z,z,u),u,p(y,v,y)),w)=w.
p(p(f1(x),x,f2(y)),p(p(z,z,u),u,p(p(v,v,w),w,y)),v6)=v6.
p(p(f1(x),x,f2(y)),p(p(z,z,u),p(v,v,u),y),w)=w.
p(p(f1(x),x,f2(y)),p(p(z,z,u),p(u,v,v),y),w)=w.
p(p(f1(x),x,f2(y)),p(p(z,z,u),p(u,v,u),y),w)=w.
p(p(f1(x),x,f2(y)),p(p(z,z,u),p(p(v,v,w),w,u),y),v6)=v6.
p(p(f1(x),x,f2(y)),p(p(p(z,z,u),v,v),u,y),w)=w.
p(p(f1(x),x,f2(y)),p(p(p(z,z,u),v,p(z,z,u)),u,y),w)=w.
p(p(f1(x),x,f2(y)),p(p(p(z,z,u),u,p(v,v,w)),w,y),v6)=v6.
p(p(f1(x),x,f2(y)),p(p(z,z,p(u,u,v)),v,y),w)=w.
p(p(f1(x),x,f2(y)),p(p(z,z,p(u,v,v)),u,y),w)=w.
p(p(f1(x),x,f2(y)),p(p(z,z,p(u,v,u)),u,y),w)=w.
p(p(f1(x),x,f2(y)),p(p(z,z,p(p(u,u,v),v,w)),w,y),v6)=v6.
p(p(f1(x),x,f2(y)),p(p(z,p(u,u,z),v),v,y),w)=w.
p(p(f1(x),x,f2(y)),p(p(z,p(z,u,u),v),v,y),w)=w.
p(p(f1(x),x,f2(y)),p(p(z,p(z,u,z),v),v,y),w)=w.
p(p(f1(x),x,f2(y)),p(p(z,p(p(u,u,v),v,z),w),w,y),v6)=v6.
p(p(f1(x),x,f2(y)),p(p(p(z,z,u),u,v),v,y),w)=w.
p(p(f1(x),x,f2(y)),p(p(p(z,u,u),z,v),v,y),w)=w.
p(p(f1(x),x,f2(y)),p(p(p(z,u,z),z,v),v,y),w)=w.
p(p(f1(x),x,f2(y)),p(p(p(p(z,z,u),u,v),v,w),w,y),v6)=v6.
p(p(f1(x),x,f2(y)),p(y,z,p(u,u,y)),v)=v.
p(p(f1(x),x,f2(y)),p(y,z,p(y,u,u)),v)=v.
p(p(f1(x),x,f2(y)),p(y,z,p(y,u,y)),v)=v.
p(p(f1(x),x,f2(y)),p(p(z,z,y),u,y),v)=v.
p(p(f1(x),x,f2(y)),p(p(y,z,z),u,y),v)=v.
p(p(f1(x),x,f2(y)),p(p(y,z,y),u,y),v)=v.
p(p(f1(x),x,f2(y)),p(y,z,p(z,u,z)),v)=v.
p(p(f1(x),x,f2(y)),p(y,z,p(u,u,z)),v)=v.
p(p(f1(x),x,f2(y)),p(y,z,p(z,u,u)),v)=v.
p(p(f1(x),x,f2(y)),p(y,p(z,u,z),z),v)=v.
p(p(f1(x),x,f2(y)),p(y,p(z,z,u),u),v)=v.
p(p(f1(x),x,f2(y)),p(y,p(z,u,u),z),v)=v.
p(p(f1(x),x,f2(y)),p(p(y,z,y),u,u),v)=v.
p(p(f1(x),x,f2(y)),p(p(y,z,z),u,u),v)=v.
p(p(f1(x),x,f2(y)),p(p(z,z,y),u,u),v)=v.
p(p(f1(x),x,f2(y)),p(z,z,p(y,u,u)),v)=v.
p(p(f1(x),x,f2(y)),p(z,z,p(y,u,y)),v)=v.
p(p(f1(x),x,f2(y)),p(z,z,p(u,u,y)),v)=v.
p(p(f1(x),x,f2(y)),p(z,p(z,u,u),y),v)=v.
p(p(f1(x),x,f2(y)),p(z,p(z,u,z),y),v)=v.
p(p(f1(x),x,f2(y)),p(z,p(u,u,z),y),v)=v.
p(p(f1(x),x,f2(y)),p(p(z,u,u),z,y),v)=v.
p(p(f1(x),x,f2(y)),p(p(z,u,z),z,y),v)=v.
p(p(f1(x),x,f2(y)),p(p(z,z,u),u,y),v)=v.
p(p(f1(x),x,f2(y)),p(y,z,y),u)=u.
p(p(f1(x),x,f2(y)),p(y,z,z),u)=u.
p(p(f1(x),x,f2(y)),p(z,z,y),u)=u.
p(p(f1(x),x,f2(y)),y,p(z,z,p(p(u,u,v),v,w)))=w.
p(p(f1(x),x,f2(y)),y,p(p(p(z,z,u),u,v),w,w))=v.
p(p(f1(x),x,f2(y)),y,p(p(p(z,z,u),u,v),w,p(p(z,z,u),u,v)))=v.
p(p(f1(x),x,f2(y)),y,p(p(z,z,u),u,p(v,v,w)))=w.
p(p(f1(x),x,f2(y)),y,p(p(z,z,u),u,p(v,w,w)))=v.
p(p(f1(x),x,f2(y)),y,p(p(z,z,u),u,p(v,w,v)))=v.
p(p(f1(x),x,f2(y)),y,p(p(z,z,u),u,p(p(v,v,w),w,v6)))=v6.
p(p(f1(x),x,f2(y)),y,p(p(z,z,u),p(v,v,u),w))=w.
p(p(f1(x),x,f2(y)),y,p(p(z,z,u),p(u,v,v),w))=w.
p(p(f1(x),x,f2(y)),y,p(p(z,z,u),p(u,v,u),w))=w.
p(p(f1(x),x,f2(y)),y,p(p(z,z,u),p(p(v,v,w),w,u),v6))=v6.
p(p(f1(x),x,f2(y)),y,p(p(p(z,z,u),v,v),u,w))=w.
p(p(f1(x),x,f2(y)),y,p(p(p(z,z,u),v,p(z,z,u)),u,w))=w.
p(p(f1(x),x,f2(y)),y,p(p(p(z,z,u),u,p(v,v,w)),w,v6))=v6.
p(p(f1(x),x,f2(y)),y,p(p(z,z,p(u,u,v)),v,w))=w.
p(p(f1(x),x,f2(y)),y,p(p(z,z,p(u,v,v)),u,w))=w.
p(p(f1(x),x,f2(y)),y,p(p(z,z,p(u,v,u)),u,w))=w.
p(p(f1(x),x,f2(y)),y,p(p(z,z,p(p(u,u,v),v,w)),w,v6))=v6.
p(p(f1(x),x,f2(y)),y,p(p(z,p(u,u,z),v),v,w))=w.
p(p(f1(x),x,f2(y)),y,p(p(z,p(z,u,u),v),v,w))=w.
p(p(f1(x),x,f2(y)),y,p(p(z,p(z,u,z),v),v,w))=w.
p(p(f1(x),x,f2(y)),y,p(p(z,p(p(u,u,v),v,z),w),w,v6))=v6.
p(p(f1(x),x,f2(y)),y,p(p(p(z,z,u),u,v),v,w))=w.
p(p(f1(x),x,f2(y)),y,p(p(p(z,u,u),z,v),v,w))=w.
p(p(f1(x),x,f2(y)),y,p(p(p(z,u,z),z,v),v,w))=w.
p(p(f1(x),x,f2(y)),y,p(p(p(p(z,z,u),u,v),v,w),w,v6))=v6.
p(p(f1(x),x,f2(y)),y,p(z,u,p(v,v,z)))=z.
p(p(f1(x),x,f2(y)),y,p(z,u,p(z,v,v)))=z.
p(p(f1(x),x,f2(y)),y,p(z,u,p(z,v,z)))=z.
p(p(f1(x),x,f2(y)),y,p(p(z,z,u),v,u))=u.
p(p(f1(x),x,f2(y)),y,p(p(z,u,u),v,z))=z.
p(p(f1(x),x,f2(y)),y,p(p(z,u,z),v,z))=z.
p(p(f1(x),x,f2(y)),y,p(z,u,p(u,v,u)))=z.
p(p(f1(x),x,f2(y)),y,p(z,u,p(v,v,u)))=z.
p(p(f1(x),x,f2(y)),y,p(z,u,p(u,v,v)))=z.
p(p(f1(x),x,f2(y)),y,p(z,p(u,v,u),u))=z.
p(p(f1(x),x,f2(y)),y,p(z,p(u,u,v),v))=z.
p(p(f1(x),x,f2(y)),y,p(z,p(u,v,v),u))=z.
p(p(f1(x),x,f2(y)),y,p(p(z,u,z),v,v))=z.
p(p(f1(x),x,f2(y)),y,p(p(z,u,u),v,v))=z.
p(p(f1(x),x,f2(y)),y,p(p(z,z,u),v,v))=u.
p(p(f1(x),x,f2(y)),y,p(z,z,p(u,v,v)))=u.
p(p(f1(x),x,f2(y)),y,p(z,z,p(u,v,u)))=u.
p(p(f1(x),x,f2(y)),y,p(z,z,p(u,u,v)))=v.
p(p(f1(x),x,f2(y)),y,p(z,p(z,u,u),v))=v.
p(p(f1(x),x,f2(y)),y,p(z,p(z,u,z),v))=v.
p(p(f1(x),x,f2(y)),y,p(z,p(u,u,z),v))=v.
p(p(f1(x),x,f2(y)),y,p(p(z,u,u),z,v))=v.
p(p(f1(x),x,f2(y)),y,p(p(z,u,z),z,v))=v.
p(p(f1(x),x,f2(y)),y,p(p(z,z,u),u,v))=v.
p(p(f1(x),x,f2(y)),y,p(z,u,z))=z.
p(p(f1(x),x,f2(y)),y,p(z,u,u))=z.
p(p(f1(x),x,f2(y)),y,p(z,z,u))=u.
p(x,x,p(p(y,y,z),z,p(p(f1(u),u,f2(v)),v,w)))=w.
p(p(p(x,x,y),y,p(p(f1(z),z,f2(u)),u,v)),w,w)=v.
p(p(x,x,y),y,p(z,z,p(p(f1(u),u,f2(v)),v,w)))=w.
p(p(x,x,y),y,p(p(p(f1(z),z,f2(u)),u,v),w,w))=v.
p(p(x,x,y),y,p(p(z,z,u),u,p(p(f1(v),v,f2(w)),w,v6)))=v6.
p(p(x,x,y),p(z,z,y),p(p(f1(u),u,f2(v)),v,w))=w.
p(p(x,x,y),p(y,z,z),p(p(f1(u),u,f2(v)),v,w))=w.
p(p(x,x,y),p(y,z,y),p(p(f1(u),u,f2(v)),v,w))=w.
p(p(x,x,y),p(p(z,z,u),u,y),p(p(f1(v),v,f2(w)),w,v6))=v6.
p(p(p(x,x,y),z,z),y,p(p(f1(u),u,f2(v)),v,w))=w.
p(p(p(x,x,y),z,p(x,x,y)),y,p(p(f1(u),u,f2(v)),v,w))=w.
p(p(p(x,x,y),y,p(z,z,u)),u,p(p(f1(v),v,f2(w)),w,v6))=v6.
p(p(x,x,p(y,y,z)),z,p(p(f1(u),u,f2(v)),v,w))=w.
p(p(x,x,p(y,z,z)),y,p(p(f1(u),u,f2(v)),v,w))=w.
p(p(x,x,p(y,z,y)),y,p(p(f1(u),u,f2(v)),v,w))=w.
p(p(x,x,p(p(y,y,z),z,u)),u,p(p(f1(v),v,f2(w)),w,v6))=v6.
p(p(x,p(y,y,x),z),z,p(p(f1(u),u,f2(v)),v,w))=w.
p(p(x,p(x,y,y),z),z,p(p(f1(u),u,f2(v)),v,w))=w.
p(p(x,p(x,y,x),z),z,p(p(f1(u),u,f2(v)),v,w))=w.
p(p(x,p(p(y,y,z),z,x),u),u,p(p(f1(v),v,f2(w)),w,v6))=v6.
p(p(p(x,x,y),y,z),z,p(p(f1(u),u,f2(v)),v,w))=w.
p(p(p(x,y,y),x,z),z,p(p(f1(u),u,f2(v)),v,w))=w.
p(p(p(x,y,x),x,z),z,p(p(f1(u),u,f2(v)),v,w))=w.
p(p(p(p(x,x,y),y,z),z,u),u,p(p(f1(v),v,f2(w)),w,v6))=v6.
p(p(p(f1(x),x,f2(y)),y,z),u,p(u,v,u))=z.
p(p(p(f1(x),x,f2(y)),y,z),u,p(v,v,u))=z.
p(p(p(f1(x),x,f2(y)),y,z),u,p(u,v,v))=z.
p(p(p(f1(x),x,f2(y)),y,z),p(u,v,u),u)=z.
p(p(p(f1(x),x,f2(y)),y,z),p(u,u,v),v)=z.
p(p(p(f1(x),x,f2(y)),y,z),p(u,v,v),u)=z.
p(p(p(p(f1(x),x,f2(y)),y,z),u,u),v,v)=z.
p(p(x,x,p(p(f1(y),y,f2(z)),z,u)),v,v)=u.
p(x,x,p(p(p(f1(y),y,f2(z)),z,u),v,v))=u.
p(x,x,p(y,y,p(p(f1(z),z,f2(u)),u,v)))=v.
p(x,p(x,y,y),p(p(f1(z),z,f2(u)),u,v))=v.
p(x,p(x,y,x),p(p(f1(z),z,f2(u)),u,v))=v.
p(x,p(y,y,x),p(p(f1(z),z,f2(u)),u,v))=v.
p(p(x,y,y),x,p(p(f1(z),z,f2(u)),u,v))=v.
p(p(x,y,x),x,p(p(f1(z),z,f2(u)),u,v))=v.
p(p(x,x,y),y,p(p(f1(z),z,f2(u)),u,v))=v.
p(p(p(f1(x),x,f2(y)),y,z),u,u)=z.
p(x,x,p(p(f1(y),y,f2(z)),z,u))=u.
p(p(p(p(x,x,p(f1(y),y,z)),z,u),u,f2(v)),v,w)=w.
p(p(p(p(p(f1(x),x,y),z,z),y,u),u,f2(v)),v,w)=w.
p(p(p(p(p(x,x,y),y,p(f1(z),z,u)),u,v),v,f2(w)),w,v6)=v6.
p(p(p(p(f1(x),x,p(y,y,z)),z,u),u,f2(v)),v,w)=w.
p(p(p(p(f1(x),x,p(y,z,z)),y,u),u,f2(v)),v,w)=w.
p(p(p(p(f1(x),x,p(y,z,y)),y,u),u,f2(v)),v,w)=w.
p(p(p(p(f1(x),x,p(p(y,y,z),z,u)),u,v),v,f2(w)),w,v6)=v6.
p(p(p(p(f1(x),p(y,y,x),z),z,u),u,f2(v)),v,w)=w.
p(p(p(p(f1(x),p(x,y,y),z),z,u),u,f2(v)),v,w)=w.
p(p(p(p(f1(x),p(x,y,x),z),z,u),u,f2(v)),v,w)=w.
p(p(p(p(f1(x),p(p(y,y,z),z,x),u),u,v),v,f2(w)),w,v6)=v6.
p(p(p(p(p(f1(x),y,y),x,z),z,u),u,f2(v)),v,w)=w.
p(p(p(p(p(p(x,x,y),y,f1(z)),z,u),u,v),v,f2(w)),w,v6)=v6.
p(p(p(p(p(x,x,y),y,f1(z)),z,u),u,f2(v)),v,w)=w.
p(p(p(p(p(x,x,y),f1(y),z),z,u),u,f2(v)),v,w)=w.
p(p(p(p(p(x,x,f1(y)),y,z),z,u),u,f2(v)),v,w)=w.
p(p(p(p(p(x,f1(x),y),y,z),z,u),u,f2(v)),v,w)=w.
p(p(p(p(p(f1(x),x,y),y,z),z,u),u,f2(v)),v,w)=w.
p(p(p(p(x,y,f1(x)),x,z),z,f2(u)),u,v)=v.
p(p(p(p(f1(x),y,x),x,z),z,f2(u)),u,v)=v.
p(p(p(p(x,y,f1(y)),x,z),z,f2(u)),u,v)=v.
p(p(p(p(x,f1(y),y),x,z),z,f2(u)),u,v)=v.
p(p(p(p(f1(x),y,y),x,z),z,f2(u)),u,v)=v.
p(p(p(x,p(y,y,p(f1(z),z,x)),u),u,f2(v)),v,w)=w.
p(p(p(x,p(p(f1(y),y,x),z,z),u),u,f2(v)),v,w)=w.
p(p(p(x,p(p(y,y,z),z,p(f1(u),u,x)),v),v,f2(w)),w,v6)=v6.
p(p(p(x,p(f1(y),y,p(z,z,x)),u),u,f2(v)),v,w)=w.
p(p(p(x,p(f1(y),y,p(x,z,z)),u),u,f2(v)),v,w)=w.
p(p(p(x,p(f1(y),y,p(x,z,x)),u),u,f2(v)),v,w)=w.
p(p(p(x,p(f1(y),y,p(p(z,z,u),u,x)),v),v,f2(w)),w,v6)=v6.
p(p(p(x,p(f1(y),p(z,z,y),x),u),u,f2(v)),v,w)=w.
p(p(p(x,p(f1(y),p(y,z,z),x),u),u,f2(v)),v,w)=w.
p(p(p(x,p(f1(y),p(y,z,y),x),u),u,f2(v)),v,w)=w.
p(p(p(x,p(f1(y),p(p(z,z,u),u,y),x),v),v,f2(w)),w,v6)=v6.
p(p(p(x,p(p(f1(y),z,z),y,x),u),u,f2(v)),v,w)=w.
p(p(p(x,p(p(p(y,y,z),z,f1(u)),u,x),v),v,f2(w)),w,v6)=v6.
p(p(p(x,p(p(y,y,z),z,f1(x)),u),u,f2(v)),v,w)=w.
p(p(p(x,p(p(y,y,z),f1(z),x),u),u,f2(v)),v,w)=w.
p(p(p(x,p(p(y,y,f1(z)),z,x),u),u,f2(v)),v,w)=w.
p(p(p(x,p(p(y,f1(y),z),z,x),u),u,f2(v)),v,w)=w.
p(p(p(x,p(p(f1(y),y,z),z,x),u),u,f2(v)),v,w)=w.
p(p(p(x,p(x,y,f1(x)),z),z,f2(u)),u,v)=v.
p(p(p(x,p(f1(x),y,x),z),z,f2(u)),u,v)=v.
p(p(p(x,p(x,y,f1(y)),z),z,f2(u)),u,v)=v.
p(p(p(x,p(x,f1(y),y),z),z,f2(u)),u,v)=v.
p(p(p(x,p(f1(x),y,y),z),z,f2(u)),u,v)=v.
p(p(p(x,p(y,y,f1(x)),z),z,f2(u)),u,v)=v.
p(p(p(x,p(y,f1(y),x),z),z,f2(u)),u,v)=v.
p(p(p(x,p(f1(y),y,x),z),z,f2(u)),u,v)=v.
p(p(p(x,x,p(y,y,p(f1(z),z,u))),u,f2(v)),v,w)=w.
p(p(p(x,x,p(p(f1(y),y,z),u,u)),z,f2(v)),v,w)=w.
p(p(p(x,x,p(p(y,y,z),z,p(f1(u),u,v))),v,f2(w)),w,v6)=v6.
p(p(p(x,x,p(f1(y),y,p(z,z,u))),u,f2(v)),v,w)=w.
p(p(p(x,x,p(f1(y),y,p(z,u,u))),z,f2(v)),v,w)=w.
p(p(p(x,x,p(f1(y),y,p(z,u,z))),z,f2(v)),v,w)=w.
p(p(p(x,x,p(f1(y),y,p(p(z,z,u),u,v))),v,f2(w)),w,v6)=v6.
p(p(p(x,x,p(f1(y),p(z,z,y),u)),u,f2(v)),v,w)=w.
p(p(p(x,x,p(f1(y),p(y,z,z),u)),u,f2(v)),v,w)=w.
p(p(p(x,x,p(f1(y),p(y,z,y),u)),u,f2(v)),v,w)=w.
p(p(p(x,x,p(f1(y),p(p(z,z,u),u,y),v)),v,f2(w)),w,v6)=v6.
p(p(p(x,x,p(p(f1(y),z,z),y,u)),u,f2(v)),v,w)=w.
p(p(p(x,x,p(p(p(y,y,z),z,f1(u)),u,v)),v,f2(w)),w,v6)=v6.
p(p(p(x,x,p(p(y,y,z),f1(z),u)),u,f2(v)),v,w)=w.
p(p(p(x,x,p(p(y,y,f1(z)),z,u)),u,f2(v)),v,w)=w.
p(p(p(x,x,p(p(y,f1(y),z),z,u)),u,f2(v)),v,w)=w.
p(p(p(x,x,p(p(f1(y),y,z),z,u)),u,f2(v)),v,w)=w.
p(p(p(x,x,p(y,z,f1(y))),y,f2(u)),u,v)=v.
p(p(p(x,x,p(f1(y),z,y)),y,f2(u)),u,v)=v.
p(p(p(x,x,p(y,z,f1(z))),y,f2(u)),u,v)=v.
p(p(p(x,x,p(y,f1(z),z)),y,f2(u)),u,v)=v.
p(p(p(x,x,p(y,f1(y),z)),z,f2(u)),u,v)=v.
p(p(p(x,x,p(f1(y),y,z)),z,f2(u)),u,v)=v.
p(p(p(p(f1(x),x,p(y,y,z)),u,u),z,f2(v)),v,w)=w.
p(p(p(p(x,x,y),y,p(f1(z),z,p(u,u,v))),v,f2(w)),w,v6)=v6.
p(p(p(f1(x),x,p(y,y,p(z,z,u))),u,f2(v)),v,w)=w.
p(p(p(f1(x),x,p(p(y,y,z),u,u)),z,f2(v)),v,w)=w.
p(p(p(f1(x),x,p(p(y,y,z),u,p(y,y,z))),z,f2(v)),v,w)=w.
p(p(p(f1(x),x,p(p(y,y,z),z,p(u,u,v))),v,f2(w)),w,v6)=v6.
p(p(p(f1(x),p(y,y,x),p(z,z,u)),u,f2(v)),v,w)=w.
p(p(p(f1(x),p(x,y,y),p(z,z,u)),u,f2(v)),v,w)=w.
p(p(p(f1(x),p(x,y,x),p(z,z,u)),u,f2(v)),v,w)=w.
p(p(p(f1(x),p(p(y,y,z),z,x),p(u,u,v)),v,f2(w)),w,v6)=v6.
p(p(p(p(f1(x),y,y),x,p(z,z,u)),u,f2(v)),v,w)=w.
p(p(p(p(p(x,x,y),y,f1(z)),z,p(u,u,v)),v,f2(w)),w,v6)=v6.
p(p(p(p(x,x,y),f1(y),p(z,z,u)),u,f2(v)),v,w)=w.
p(p(p(p(x,x,f1(y)),y,p(z,z,u)),u,f2(v)),v,w)=w.
p(p(p(p(x,f1(x),y),y,p(z,z,u)),u,f2(v)),v,w)=w.
p(p(p(p(f1(x),x,y),y,p(z,z,u)),u,f2(v)),v,w)=w.
p(p(p(p(x,x,y),z,f1(z)),y,f2(u)),u,v)=v.
p(p(p(p(x,x,y),f1(z),z),y,f2(u)),u,v)=v.
p(p(p(x,f1(x),p(y,y,z)),z,f2(u)),u,v)=v.
p(p(p(f1(x),x,p(y,y,z)),z,f2(u)),u,v)=v.
p(p(p(x,x,y),p(z,z,p(f1(u),u,y)),f2(v)),v,w)=w.
p(p(p(x,x,y),p(p(f1(z),z,y),u,u),f2(v)),v,w)=w.
p(p(p(x,x,y),p(p(z,z,u),u,p(f1(v),v,y)),f2(w)),w,v6)=v6.
p(p(p(x,x,y),p(f1(z),z,p(u,u,y)),f2(v)),v,w)=w.
p(p(p(x,x,y),p(f1(z),z,p(y,u,u)),f2(v)),v,w)=w.
p(p(p(x,x,y),p(f1(z),z,p(y,u,y)),f2(v)),v,w)=w.
p(p(p(x,x,y),p(f1(z),z,p(p(u,u,v),v,y)),f2(w)),w,v6)=v6.
p(p(p(x,x,y),p(f1(z),p(u,u,z),y),f2(v)),v,w)=w.
p(p(p(x,x,y),p(f1(z),p(z,u,u),y),f2(v)),v,w)=w.
p(p(p(x,x,y),p(f1(z),p(z,u,z),y),f2(v)),v,w)=w.
p(p(p(x,x,y),p(f1(z),p(p(u,u,v),v,z),y),f2(w)),w,v6)=v6.
p(p(p(x,x,y),p(p(f1(z),u,u),z,y),f2(v)),v,w)=w.
p(p(p(x,x,y),p(p(p(z,z,u),u,f1(v)),v,y),f2(w)),w,v6)=v6.
p(p(p(x,x,y),p(p(z,z,u),u,f1(y)),f2(v)),v,w)=w.
p(p(p(x,x,y),p(p(z,z,u),f1(u),y),f2(v)),v,w)=w.
p(p(p(x,x,y),p(p(z,z,f1(u)),u,y),f2(v)),v,w)=w.
p(p(p(x,x,y),p(p(z,f1(z),u),u,y),f2(v)),v,w)=w.
p(p(p(x,x,y),p(p(f1(z),z,u),u,y),f2(v)),v,w)=w.
p(p(p(x,x,y),p(y,z,f1(y)),f2(u)),u,v)=v.
p(p(p(x,x,y),p(f1(y),z,y),f2(u)),u,v)=v.
p(p(p(x,x,y),p(y,z,f1(z)),f2(u)),u,v)=v.
p(p(p(x,x,y),p(y,f1(z),z),f2(u)),u,v)=v.
p(p(p(x,x,y),p(f1(y),z,z),f2(u)),u,v)=v.
p(p(p(x,x,y),p(z,z,f1(y)),f2(u)),u,v)=v.
p(p(p(x,x,y),p(z,f1(z),y),f2(u)),u,v)=v.
p(p(p(x,x,y),p(f1(z),z,y),f2(u)),u,v)=v.
p(p(p(x,x,y),f1(y),f2(z)),z,u)=u.
p(p(p(x,x,y),y,p(f1(z),z,p(u,u,f2(v)))),v,w)=w.
p(p(p(x,x,y),y,p(f1(z),z,p(f2(u),v,v))),u,w)=w.
p(p(p(x,x,y),y,p(f1(z),z,p(p(u,u,v),v,f2(w)))),w,v6)=v6.
p(p(p(x,x,y),y,p(f1(z),p(u,u,z),f2(v))),v,w)=w.
p(p(p(x,x,y),y,p(f1(z),p(z,u,u),f2(v))),v,w)=w.
p(p(p(x,x,y),y,p(f1(z),p(z,u,z),f2(v))),v,w)=w.
p(p(p(x,x,y),y,p(f1(z),p(p(u,u,v),v,z),f2(w))),w,v6)=v6.
p(p(p(x,x,y),y,p(p(f1(z),u,u),z,f2(v))),v,w)=w.
p(p(p(x,x,y),y,p(p(p(z,z,u),u,f1(v)),v,f2(w))),w,v6)=v6.
p(p(p(x,x,y),y,p(p(z,z,u),f1(u),f2(v))),v,w)=w.
p(p(p(x,x,y),y,p(p(z,z,f1(u)),u,f2(v))),v,w)=w.
p(p(p(x,x,y),y,p(p(z,f1(z),u),u,f2(v))),v,w)=w.
p(p(p(x,x,y),y,p(p(f1(z),z,u),u,f2(v))),v,w)=w.
p(p(p(x,x,y),y,p(z,f1(z),f2(u))),u,v)=v.
p(p(x,x,p(f1(y),y,p(p(z,z,u),u,f2(v)))),v,w)=w.
p(p(p(f1(x),x,p(p(y,y,z),z,f2(u))),v,v),u,w)=w.
p(p(f1(x),p(y,y,x),p(p(z,z,u),u,f2(v))),v,w)=w.
p(p(f1(x),p(x,y,y),p(p(z,z,u),u,f2(v))),v,w)=w.
p(p(f1(x),p(x,y,x),p(p(z,z,u),u,f2(v))),v,w)=w.
p(p(f1(x),p(p(y,y,z),z,x),p(p(u,u,v),v,f2(w))),w,v6)=v6.
p(p(p(f1(x),y,y),x,p(p(z,z,u),u,f2(v))),v,w)=w.
p(p(p(p(x,x,y),y,f1(z)),z,p(p(u,u,v),v,f2(w))),w,v6)=v6.
p(p(p(x,x,y),f1(y),p(p(z,z,u),u,f2(v))),v,w)=w.
p(p(p(x,x,f1(y)),y,p(p(z,z,u),u,f2(v))),v,w)=w.
p(p(p(x,f1(x),y),y,p(p(z,z,u),u,f2(v))),v,w)=w.
p(p(p(f1(x),x,y),y,p(p(z,z,u),u,f2(v))),v,w)=w.
p(p(x,f1(x),p(p(y,y,z),z,f2(u))),u,v)=v.
p(x,x,p(f1(y),y,p(p(p(z,z,u),u,f2(v)),v,w)))=w.
p(p(f1(x),x,p(p(p(y,y,z),z,f2(u)),u,v)),w,w)=v.
p(p(x,x,y),y,p(f1(z),z,p(p(p(u,u,v),v,f2(w)),w,v6)))=v6.
p(f1(x),x,p(y,y,p(p(p(z,z,u),u,f2(v)),v,w)))=w.
p(f1(x),x,p(p(p(p(y,y,z),z,f2(u)),u,v),w,w))=v.
p(f1(x),x,p(p(y,y,z),z,p(p(p(u,u,v),v,f2(w)),w,v6)))=v6.
p(f1(x),p(y,y,x),p(p(p(z,z,u),u,f2(v)),v,w))=w.
p(f1(x),p(x,y,y),p(p(p(z,z,u),u,f2(v)),v,w))=w.
p(f1(x),p(x,y,x),p(p(p(z,z,u),u,f2(v)),v,w))=w.
p(f1(x),p(p(y,y,z),z,x),p(p(p(u,u,v),v,f2(w)),w,v6))=v6.
p(p(f1(x),y,y),x,p(p(p(z,z,u),u,f2(v)),v,w))=w.
p(p(p(x,x,y),y,f1(z)),z,p(p(p(u,u,v),v,f2(w)),w,v6))=v6.
p(p(x,x,y),f1(y),p(p(p(z,z,u),u,f2(v)),v,w))=w.
p(p(x,x,f1(y)),y,p(p(p(z,z,u),u,f2(v)),v,w))=w.
p(p(x,f1(x),y),y,p(p(p(z,z,u),u,f2(v)),v,w))=w.
p(p(f1(x),x,y),y,p(p(p(z,z,u),u,f2(v)),v,w))=w.
p(x,f1(x),p(p(p(y,y,z),z,f2(u)),u,v))=v.