2L:LON,OCF
p(p1(p1(p2(0))))=p(p1(p2(0)))=p(W_2)=BHO
p(p1(p2(0))+p(p1(p1(p2(0)))))=p(W_2+p(W_2))
p(p1(p2(0))+p(p1(p1(p2(0)))+p(p1(p1(p2(0))))))=p(W_2+p(W_2+p(W_2)))
p(p1(p2(0))+p(p1(p1(p2(0)))+p1(0)))=p(W_2+W)
p(p1(p2(0))+p(p1(p1(p2(0)))+p1(p1(0))))=p(W_2+W^2)
p(p1(p2(0))+p(p1(p1(p2(0)))2))=p(W_2+p_1(W_2))
p(p1(p2(0))+p(p1(p1(p2(0))+1)))=p(W_2+p_1(W_2+1))
p(p1(p2(0))+p(p1(p1(p2(0))+p1(p1(p2(0))))))=p(W_2+p_1(W_2+p_1(W_2)))
p(p1(p2(0))+p(p1(p1(p2(0))2)))=p(W_2*2)
p(p1(p2(0))+p(p1(p1(p2(0)+1))))=p(W_2*w)
p(p1(p2(0))+p(p1(p1(p2(0)+p1(p1(p2(0)))))))=p(W_2*p_1(W_2))
p(p1(p2(0))+p(p1(p1(p2(0)+p1(p2(0))))))=p(p1(p2(0))+p(p1(p2(0))))=p(W_2^2)
p(p1(p2(0))+p(p1(p2(0)))+p(p1(p1(p2(0)+p1(p2(0))))))=p(W_2^2+p(W_2^2))
p(p1(p2(0))+p(p1(p2(0)))+p(p1(p1(p2(0)+p1(p2(0))))+p1(0)))=p(W_2^2+W)
p(p1(p2(0))+p(p1(p2(0)))+p(p1(p1(p2(0)+p1(p2(0))))2))=p(W_2^2+p_1(W_2^2))
p(p1(p2(0))+p(p1(p2(0)))+p(p1(p1(p2(0)+p1(p2(0)))+1)))=p(W_2^2+p_1(W_2^2+1))
p(p1(p2(0))+p(p1(p2(0)))+p(p1(p1(p2(0)+p1(p2(0)))+p1(p1(p2(0)+p1(p2(0)))))))=p(W_2^2+p_1(W_2^2+p_1(W_2^2)))
p(p1(p2(0))+p(p1(p2(0)))+p(p1(p1(p2(0)+p1(p2(0)))+p1(p2(0)))))=p(W_2^2+W_2)
p(p1(p2(0))+p(p1(p2(0)))+p(p1(p1(p2(0)+p1(p2(0)))+p1(p2(0)+1))))=p(W_2^2+W_2*w)
p(p1(p2(0))+p(p1(p2(0)))+p(p1(p1(p2(0)+p1(p2(0)))+p1(p2(0)+p1(p1(p2(0)+p1(p2(0)))+p1(p2(0)))))))=p(W_2^2+W_2*p_1(W_2^2+W_2))
p(p1(p2(0))+p(p1(p2(0)))+p(p1(p1(p2(0)+p1(p2(0)))2)))=p(W_2^2*2)
p(p1(p2(0))+p(p1(p2(0)))+p(p1(p1(p2(0)+p1(p2(0))+1))))=p(W_2^2*w)
p(p1(p2(0))+p(p1(p2(0)))+p(p1(p1(p2(0)+p1(p2(0))+p1(p1(p2(0)+p1(p2(0))))))))=p(W_2^2*p_1(W_2^2))
p(p1(p2(0))+p(p1(p2(0)))+p(p1(p1(p2(0)+p1(p2(0))2))))=p(p1(p2(0))+p(p1(p2(0)))2)=p(W_2^3)
p(p1(p2(0))+p(p1(p2(0))+1))=p(W_2^w)
p(p1(p2(0))+p(p1(p2(0))+p(p1(p1(p2(0))))))=p(W_2^p(W_2))
p(p1(p2(0))+p(p1(p2(0))+p(p1(p1(p2(0)+p1(p2(0)+p(p1(p1(p2(0))))))))))=p(W_2^p(W_2^p(W_2)))
p(p1(p2(0))+p(p1(p2(0))+p(p1(p1(p2(0)+p1(p2(0)+p(p1(p1(p2(0)+p1(p2(0)+p(p1(p1(p2(0))))))))))))))=p(W_2^p(W_2^p(W_2^p(W_2))))

p(p1(p2(0))+p(p1(p2(0))+p(p1(p1(p2(0)+p1(p2(0)+p1(0)))))))=p(W_2^W)
p(p1(p2(0))+p(p1(p2(0))+p(p1(p1(p2(0)+p1(p2(0)+p1(p1(p2(0)))))))))=p(W_2^p_1(W_2))
p(p1(p2(0))+p(p1(p2(0))+p(p1(p1(p2(0)+p1(p2(0)+p1(p1(p2(0)+p1(p2(0))))))))))=p(W_2^p_1(W_2^2))
p(p1(p2(0))+p(p1(p2(0))+p(p1(p1(p2(0)+p1(p2(0)+p1(p1(p2(0)+p1(p2(0)+p1(p1(p2(0))))))))))))=p(W_2^p_1(W_2^p_1(W_2)))
p(p1(p2(0))+p(p1(p2(0))+p(p1(p1(p2(0)+p1(p2(0)+p1(p2(0))))))))=p(p1(p2(0))+p(p1(p2(0))+p(p1(p2(0)))))=p(W_2^W_2)
p(p1(p2(0))+p(p1(p2(0))+p(p1(p2(0))+p(p1(p2(0))))))=p(W_2^W_2^W_2)
p(p1(p2(0))+p1(0))=p(W_3)

p(p1(p2(0))+p1(0)+p(p1(p1(p2(0)2+p1(p2(0))))))
=p(p1(p2(0))+p1(0)+p(p1(p2(0))))
=ψ(ψ1(ψ2(ψ3(0)+ψ2(0))))
p(p1(p2(0))+p1(0)+p(p1(p2(0))+p(p1(p2(0)))))
=ψ(ψ1(ψ2(ψ3(0)+ψ2(ψ2(0)))))
p(p1(p2(0))+p1(0)+p(p1(p2(0))+p1(0)))
=ψ(ψ1(ψ2(ψ3(0)+ψ2(ψ3(0)))))
p(p1(p2(0))+p1(0)2)=ψ(ψ1(ψ2(ψ3(0)2)))
p(p1(p2(0))+p1(1))=ψ(ψ1(ψ2(ψ3(1))))
p(p1(p2(0))+p1(p(p1(p2(0)))))
=ψ(ψ1(ψ2(ψ3(ψ2(0)))))
p(p1(p2(0))+p1(p(p1(p2(0))+p(p1(p2(0))))))
=ψ(ψ1(ψ2(ψ3(ψ2(ψ2(0))))))
p(p1(p2(0))+p1(p(p1(p2(0))+p1(0))))
=ψ(ψ1(ψ2(ψ3(ψ2(ψ3(0))))))
p(p1(p2(0))+p1(p(p1(p2(0))+p1(p(p1(p2(0))+p1(0))))))
=ψ(ψ1(ψ2(ψ3(ψ2(ψ3(ψ2(ψ3(0))))))))
p(p1(p2(0))+p1(p1(0)))
=ψ(ψ1(ψ2(ψ3(ψ3(0)))))
p(p1(p2(0))+p1(p1(p1(0))))
=ψ(ψ1(ψ2(ψ3(ψ3(ψ3(0))))))
p(p1(p2(0))2)=ψ(ψ1(ψ2(ψ3(ψ4(0)))))

p(p2(p1(0)))=ψ(Ω_ω*Ω)
p(p2(p1(0))+p1(p3(0)))
=ψ(Ω_ω*Ω+ψ_1(Ω_ω))
p(p2(p1(0))+p1(p3(p1(0))))
=ψ(Ω_ω*Ω+ψ_1(Ω_ω*Ω))
p(p2(p1(0))+p1(p3(p1(0))+p1(p3(p1(0)))))
=ψ(Ω_ω*Ω+ψ_1(Ω_ω*Ω+ψ_1(Ω_ω*Ω)))
p(p2(p1(0)))=ψ(Ω_ω*Ω)
p(p2(p1(0))+p1(p3(0)))
=ψ(Ω_ω*Ω+ψ_1(Ω_ω))
p(p2(p1(0))+p1(p3(p1(0))))
=ψ(Ω_ω*Ω+ψ_1(Ω_ω*Ω))
p(p2(p1(0))+p1(p3(p1(0))+p2(0)))
=ψ(Ω_ω*Ω+Ω_2)
p(p2(p1(0))+p1(p3(p1(0))+p2(p4(p1(0)))))
=ψ(Ω_ω*Ω+ψ_2(Ω_ω*Ω))
p(p2(p1(0))+p1(p3(p1(0))+p2(p4(p1(0))+p2(p4(p1(0))))))
=ψ(Ω_ω*Ω+ψ_2(Ω_ω*Ω+ψ_2(Ω_ω*Ω)))
p(p2(p1(0))+p1(p3(p1(0))+p2(p4(p1(0))+p3(0))))
=ψ(Ω_ω*Ω+Ω_3)
p(p2(p1(0))+p1(p3(p1(0))+p2(p4(p1(0))+p3(p5(p1(0))+p4(0)))))
=ψ(Ω_ω*Ω+Ω_4)
p(p2(p1(0))+p1(p3(p1(0))+p3(0)))
=ψ(Ω_ω*Ω+Ω_ω)
p(p2(p1(0))+p1(p3(p1(0))+p3(0)2))
=ψ(Ω_ω*Ω+Ω_ω*2)
p(p2(p1(0))+p1(p3(p1(0))+p3(1)))
=ψ(Ω_ω*Ω+Ω_ω*ω)
p(p2(p1(0))+p1(p3(p1(0))2))=ψ(Ω_ω*Ω2)
p(p2(p1(0))+p1(p3(p1(0)+1)))
=ψ(Ω_ω*Ωω)
p(p2(p1(0))+p1(p3(p1(0)2)))
=ψ(Ω_ω*Ω^2)
p(p2(p1(0))+p1(p3(p1(p2(0)))))
=ψ(Ω_ω*ε_(Ω+1))
p(p2(p1(0))+p1(p3(p1(p3(0)))))
=ψ(Ω_ω*ψ_1(Ω_ω))
p(p2(p1(0))+p1(p3(p1(p3(p1(p3(0)))))))
=ψ(Ω_ω*ψ_1(Ω_ω*ψ_1(Ω_ω)))
p(p2(p1(0))+p1(p3(p2(0))))=ψ(Ω_ω*Ω_2)
p(p2(p1(0))+p1(p3(p2(0)))2)
=ψ(Ω_ω*Ω_2+ψ_1(Ω_ω*Ω_2))
p(p2(p1(0))+p1(p3(p2(0))+1))
=ψ(Ω_ω*Ω_2+ψ_1(Ω_ω*Ω_2+1))
p(p2(p1(0))+p1(p3(p2(0))+p1(p3(p2(0)))))
=ψ(Ω_ω*Ω_2+ψ_1(Ω_ω*Ω_2+ψ_1(Ω_ω*Ω_2)))
p(p2(p1(0))+p1(p3(p2(0))+p2(0)))
=ψ(Ω_ω*Ω_2+Ω_2)
p(p2(p1(0))+p1(p3(p2(0))+p2(p4(0))))
=ψ(Ω_ω*Ω_2+ψ_2(Ω_ω))
p(p2(p1(0))+p1(p3(p2(0))+p2(p4(p2(0)))))
=ψ(Ω_ω*Ω_2+ψ_2(Ω_ω*Ω_2))
p(p2(p1(0))+p1(p3(p2(0))+p2(p4(p2(0))+p3(0))))
=ψ(Ω_ω*Ω_2+Ω_3)
p(p2(p1(0))+p1(p3(p2(0))+p2(p4(p2(0))+p4(0))))
=ψ(Ω_ω*Ω_2+Ω_ω)
p(p2(p1(0))+p1(p3(p2(0))+p2(p4(p2(0))2)))
=ψ(Ω_ω*Ω_2*2)
p(p2(p1(0))+p1(p3(p2(0))+p2(p4(p2(0)+1))))
=ψ(Ω_ω*Ω_2*ω)
p(p2(p1(0))+p1(p3(p2(0))+p2(p4(p2(p2(0))))))
=ψ(Ω_ω*Ω_2^2)
p(p2(p1(0))+p1(p3(p2(0))+p2(p4(p2(p4(0))))))
=ψ(Ω_ω*ψ_2(Ω_ω))
p(p2(p1(0))+p1(p3(p2(0))+p2(p4(p2(p4(p2(p4(0))))))))
=ψ(Ω_ω*ψ_2(Ω_ω*ψ_2(Ω_ω)))
p(p2(p1(0))+p1(p3(p2(0))+p2(p4(p3(0)))))
=ψ(Ω_ω*Ω_3)
p(p2(p1(0))+p2(0))=ψ(Ω_ω^2)

p(p2(p1(0))+p2(0)+p1(p3(p2(0))))
=ψ(Ω_ω^2+ψ_1(Ω_ω*Ω_2))
p(p2(p1(0))+p2(0)+p1(p3(p2(0))+p2(p4(p3(0)))))
=ψ(Ω_ω^2+ψ_2(Ω_ω*Ω_2))
p(p2(p1(0))+p2(0)+p1(p3(p2(0))+p3(0)))
=ψ(Ω_ω^2+ψ_1(Ω_ω^2))
p(p2(p1(0))+p2(0)+p1(p3(p2(0))+p3(0)+p2(p4(p3(0))+p4(0))))
=ψ(Ω_ω^2+ψ_2(Ω_ω^2))
p(p2(p1(0))+p2(0)2)=ψ(Ω_ω^2+Ω_ω)
p(p2(p1(0))+p2(1))=ψ(Ω_ω^2+Ω_ω*ω)
p(p2(p1(0))2)=ψ(Ω_ω^2+Ω_ω*Ω)
p(p2(p1(0))2+p1(p3(p2(0))+p3(p1(0))+p3(0)))
=ψ(Ω_ω^2+Ω_ω*Ω+Ω_ω)
p(p2(p1(0))2+p1(p3(p2(0))+p3(p1(p3(p2(0))+p3(0)))))
=ψ(Ω_ω^2+Ω_ω*ψ_1(Ω_ω^2+Ω_ω))
p(p2(p1(0))2+p1(p3(p2(0))2))
=ψ(Ω_ω^2+Ω_ω*Ω_2)
p(p2(p1(0))2+p1(p3(p2(0))2+p2(p4(p3(0))2)))
=ψ(Ω_ω^2+Ω_ω*Ω_3)
p(p2(p1(0))2+p2(0))=ψ(Ω_ω^2*2)
p(p2(p1(0))2+p2(0)2)=ψ(Ω_ω^2*2+Ω_ω)
p(p2(p1(0))2+p2(1))
=ψ(Ω_ω^2*2+Ω_ω*ω)
p(p2(p1(0))3)=ψ(Ω_ω^2*2+Ω_ω*Ω)
p(p2(p1(0))3+p2(0))=ψ(Ω_ω^2*3)
p(p2(p1(0)+1))=ψ(Ω_ω^2*ω)

p(p2(p1(0)+1))=ψ(Ω_ω^2*ω)
p(p2(p1(0)+1)+p2(0))=ψ(Ω_ω^2*ω+Ω_ω)
p(p2(p1(0)+1)+p2(p1(0))+p2(0))
=ψ(Ω_ω^2*ω+Ω_ω^2)
p(p2(p1(0)+1)+p2(p1(0))2+p2(0))
=ψ(Ω_ω^2*ω+Ω_ω^2*2)
p(p2(p1(0)+1)2)=ψ(Ω_ω^2*ω2)
p(p2(p1(0)+2))=ψ(Ω_ω^2*ω^2)
p(p2(p1(0)2))=ψ(Ω_ω^2*Ω)
p(p2(p1(0)2)+p1(p3(p2(0)+p1(0))+p3(0)))
=ψ(Ω_ω^2*Ω+Ω_ω)
p(p2(p1(0)2)+p1(p3(p2(0)+p1(0))2))
=ψ(Ω_ω^2*Ω2)
p(p2(p1(0)2)+p1(p3(p2(0)+p1(0)+1)))
=ψ(Ω_ω^2*Ωω)
p(p2(p1(0)2)+p1(p3(p2(0)+p1(p3(p2(0))))))
=ψ(Ω_ω^2*ψ_1(Ω_ω^2))
p(p2(p1(0)2)+p1(p3(p2(0)2)))
=ψ(Ω_ω^2*Ω_2)
p(p2(p1(0)2)+p1(p3(p2(0)2)+p2(p4(p3(0)+p2(0)))))
=ψ(Ω_ω^2*Ω_2+ψ_2(Ω_ω^2*Ω_2))
p(p2(p1(0)2)+p1(p3(p2(0)2)+p2(p4(p3(0)+p2(p4(p3(0)))))))
=ψ(Ω_ω^2*ψ_2(Ω_ω^2))
p(p2(p1(0)2)+p1(p3(p2(0)2)+p2(p4(p3(0)2))))
=ψ(Ω_ω^2*Ω_3)
p(p2(p1(0)2)+p2(0))=ψ(Ω_ω^3)
p(p2(p1(0)2)2+p2(0))=ψ(Ω_ω^4)
p(p2(p1(0)2+1))=ψ(Ω_ω^3*ω)
p(p2(p1(0)3))=ψ(Ω_ω^3*Ω)
p(p2(p1(0)3)+p2(0))=ψ(Ω_ω^4)
p(p2(p1(1)))=ψ(Ω_ω^ω)
p(p2(p1(p1(0))))=ψ(Ω_ω^Ω)
p(p2(p1(p1(0)))+p2(0))=ψ(Ω_ω^Ω_ω)
p(p2(p1(p2(0))))=ψ(Ω_(ω+1))
p(p2(p1(p2(0)))+p2(0))
=ψ(Ω_(ω+1)+Ω_ω)
p(p2(p1(p2(0)))2)
=ψ(Ω_(ω+1)+ψ_ω(Ω_(ω+1)))
p(p2(p1(p2(0)))3)
=ψ(Ω_(ω+1)+ψ_ω(Ω_(ω+1))2)
p(p2(p1(p2(0))+1))
=ψ(Ω_(ω+1)+ψ_ω(Ω_(ω+1)+1))
p(p2(p1(p2(0))+p1(0)))
=ψ(Ω_(ω+1)+ψ_ω(Ω_(ω+1)+Ω))
p(p2(p1(p2(0))+p1(0))+p2(0))
=ψ(Ω_(ω+1)+ψ_ω(Ω_(ω+1)+Ω_ω))
p(p2(p1(p2(0))2))
=ψ(Ω_(ω+1)+ψ_ω(Ω_(ω+1)+ψ_ω(Ω_(ω+1))))
p(p2(p1(p2(0))3))
=ψ(Ω_(ω+1)+ψ_ω(Ω_(ω+1)+ψ_ω(Ω_(ω+1))2))
p(p2(p1(p2(0)+1)))
=ψ(Ω_(ω+1)+ψ_ω(Ω_(ω+1)+ψ_ω(Ω_(ω+1)+1)))
p(p2(p1(p2(0)+p1(p2(0)))))
=ψ(Ω_(ω+1)+ψ_ω(Ω_(ω+1)+ψ_ω(Ω_(ω+1)+ψ_ω(Ω_(ω+1)))))
p(p2(p1(p2(0)2)))=ψ(Ω_(ω+1)2)
p(p2(p1(p2(1))))=ψ(Ω_(ω+1)ω)
p(p2(p1(p2(p1(0)))))=ψ(Ω_(ω+1)Ω)
p(p2(p1(p2(p1(0))))+p2(0))
=ψ(Ω_(ω+1)*Ω_ω)
p(p2(p1(p2(p1(p2(0))))))
=ψ(Ω_(ω+1)*ψ_ω(Ω_(ω+1)))
p(p2(p1(p2(p2(0)))))=ψ(Ω_(ω+1)^2)
p(p2(p1(p2(p2(p2(0))))))
=ψ(Ω_(ω+1)^Ω_(ω+1))
p(p2(p1(p2(p3(0)))))=ψ(Ω_(ω+2))
p(p2(p1(p3(0))))=ψ(Ω_(ω2))

p(p2(p2(p1(0))+1))=p(p_I(0))
p(p2(p2(p1(0))+1)+p2(p2(p1(0))))
=p(p_I(0)+W_W)
p(p2(p2(p1(0))+1)2)=p(p_I(0)2)
p(p2(p2(p1(0))+2))=p(p_I(0)w)
p(p2(p2(p1(0))+p(p1(0))))=p(p_I(0)e0)
p(p2(p2(p1(0))+p1(0)))=p(p_I(0)W)
p(p2(p2(p1(0))+p1(0))+p2(0))
=p(p_I(0)W_w)
p(p2(p2(p1(0))+p1(0))+p2(p2(p1(0))+1))
=p(p_I(0)^2)
p(p2(p2(p1(0))+p1(0))+p2(p2(p1(0))+1)2)
=p(p_I(0)^2+p_I(0))
p(p2(p2(p1(0))+p1(0))2)
=p(p_I+p_I(0)W)
p(p2(p2(p1(0))+p1(0))2+p2(p2(p1(0))+1))
=p(p_I(0)^2*2)
p(p2(p2(p1(0))+p1(0)+1))=p(p_I(0)^2*w)
p(p2(p2(p1(0))+p1(0)2))=p(p_I(0)^2*W)
p(p2(p2(p1(0))+p1(0)2)+p2(p2(p1(0))+1))
=p(p_I(0)^3)
p(p2(p2(p1(0))+p1(1)))=p(p_I(0)^w)
p(p2(p2(p1(0))+p1(p1(0))))=p(p_I(0)^W)
p(p2(p2(p1(0))+p1(p1(0)))+p2(p2(p1(0))+1))
=p(p_I(0)^p_I(0))
p(p2(p2(p1(0))+p1(p2(0))))
=p(W_(p_I(0)+1))
p(p2(p2(p1(0))+p1(p2(p3(0)))))
=p(W_(p_I(0)+2))
p(p2(p2(p1(0))+p1(p3(0))))
=p(W_(p_I(0)+w))
p(p2(p2(p1(0))+p1(p3(p3(p1(0))+1))))
=p(W_(p_I(0)2))
p(p2(p2(p1(0))+p1(p3(p3(p1(0))+1))2))
=p(W_(p_I(0)3))
p(p2(p2(p1(0))+p1(p3(p3(p1(0))+1)+1)))
=p(W_(p_I(0)w))
p(p2(p2(p1(0))+p1(p3(p3(p1(0))+1)2)))
=p(W_(p_I(0)^2))
p(p2(p2(p1(0))+p1(p3(p3(p1(0))+p2(p3(0))))))
=p(W_(p_W_(p_I(0)+1)(W_(p_I(0)+1))))
p(p2(p2(p1(0))+p1(p3(p3(p1(0))+p2(p4(0))))))
=p(W_(p_W_(p_I(0)+1)(W_(p_I(0)+w))))
p(p2(p2(p1(0))+p1(p3(p3(p1(0))+p2(p4(p4(p1(0))+1))))))
=p(W_(p_W_(p_I(0)+1)(W_(p_I(0)2))))
p(p2(p2(p1(0))+p1(p3(p3(p1(0))+p2(p4(p4(p1(0))+p3(p4(0))))))))
=p(W_(p_W_(p_I(0)+1)(W_(p_W_(p_I(0)+1)(W_(p_I(0)2))))))
p(p2(p2(p1(0))+p1(p3(p3(p1(0))+p3(0)))))
=p(W_W_(p_I(0)+1))