ω^ω
ω^ω+1
ω^ω*2
ω^(ω+1)
ω^(ω+2)
ω^ω2
ω^(ω2+1)
ω^ω3
ω^ω^2
ω^(ω^2+1)
ω^(ω^2*2)
ω^ω^3
ω^ω^4
ω^ω^ω
ω^ω^ω+1
ω^(ω^ω+1)
ω^(ω^(ω+1))
ω^ω^ω2
ω^ω^ω^2
ω^ω^ω^ω
ω^ω^ω^ω^ω
ε_0

ε_0+1
ε_0*2
ω^(ε_0+1)
ω^(ε_0+ω)
ω^(ε_0+ω^ω)
ω^(ε_0*2)
ω^(ω^(ε_0+1))
ω^(ω^(ω^(ε_0+1)))
ε_1
ω^(ε_1+1)
ω^(ε_1*2)
skip
ε_2
ε_ω
ε_ε_0
ζ_0
ω^(ζ_0+1)
ε(ζ_0+1)
ε(ζ_0*2)
ε(ω^(ζ_0+1))
ε(ε(ζ_0+1))
ζ_1
ζ_ζ_0
η_0
ω^(η_0+1)
ε(η_0+1)
ζ(η_0+1)
η_1
η_η_0
φ(4,0)
φ(4,φ(4,0))
φ(5,0)
φ(ω,0)

φ(ω,0)
φ(φ(ω,0)+1)
φ(1,φ(ω,0)+1)
φ(2,φ(ω,0)+1)
φ(ω,1)
φ(ω,φ(ω,0))
φ(ω+1,0)
φ(ω,φ(ω+1,0))
φ(ω+1,1)
φ(ω+2,0)
φ(φ(1,0),0)
φ(φ(ω,0),0)
φ(1,0,0)
φ(φ(1,0,0)+1)
φ(ω,φ(1,0,0)+1)
φ(φ(1,0,0),1)
φ(φ(1,0,0),φ(φ(1,0,0),1))
φ(φ(1,0,0)+1,0)
φ(φ(φ(1,0,0)+1,0),0)
φ(1,0,1)
φ(1,0,φ(1,0,0))
φ(1,1,0)
φ(1,φ(1,0,0),0)
φ(2,0,0)
φ(ω,0,0)
φ(φ(1,0,0),0,0)
φ(1,0,0,0)
φ(1,0,0,1)
φ(1,0,1,0)
φ(1,1,0,0)
φ(2,0,0,0)
φ(φ(1,0,0,0),0,0,0)
φ(1,0,0,0,0)
φ(1,0,0,0,0,0)
SVO=φ(1@ω)
φ(1,φ(1@ω)+1)
φ(1,0,φ(1@ω)+1)
φ(1,0,0,φ(1@ω)+1)
φ(1@ω,1)
φ(1@ω,1,0)
φ(1@ω,1,0,0)
φ(2@ω)
φ(φ(1@ω)@ω)
φ(1@ω+1)
skip
φ(1@φ(1@ω))
LVO=φ(1@(1,0))=ψ(Ω^Ω^Ω)

ψ(Ω^Ω^Ω+1)
ψ(Ω^Ω^Ω+Ω^ψ(Ω^Ω^Ω))
ψ(Ω^Ω^Ω+Ω^Ω^ψ(Ω^Ω^Ω)
ψ(Ω^Ω^Ω*2)
ψ(Ω^(Ω^Ω+1))
ψ(Ω^Ω^(Ω+1))
ψ(Ω^Ω^Ω^2)
ψ(Ω^Ω^Ω^ψ(Ω^Ω^Ω))
ψ(Ω^Ω^Ω^Ω)
ψ(Ω^Ω^Ω^Ω^Ω)
ψ(Ω^^ω)=ψ(ψ_1(0))
ψ(ψ_1(0)^ψ_1(0))
ψ(ψ_1(1))
ψ(ψ_1(ψ(ψ_1(0))))
ψ(ψ_1(Ω))
ψ(ψ_1(ψ_1(0)))
ψ(Ω_2)
ψ(Ω_2+ψ_1(Ω_2))
ψ(Ω_2+ψ_1(Ω_2)+ψ_1(Ω_2))
ψ(Ω_2+ψ_1(Ω_2+1))
ψ(Ω_2+ψ_1(Ω_2+ψ_1(Ω_2)))
ψ(Ω_2*2)
ψ(Ω_2^2)
ψ(Ω_2^Ω_2)
ψ(ψ_2(0))
ψ(Ω_3)
ψ(Ω_3+Ω)
ψ(Ω_3+ψ_1(Ω_3))
ψ(Ω_3+ψ_2(Ω_3))
ψ(Ω_3*2)
ψ(ψ_3(0))
ψ(Ω_4)
ψ(Ω_5)
ψ(Ω_ω)

ψ(Ω_ω)
ψ(Ω_ω)+1
ψ(Ω_ω+1)
ψ(Ω_ω+ψ(Ω_ω))
ψ(Ω_ω+Ω)
ψ(Ω_ω+ψ_1(Ω_2))
ψ(Ω_ω+ψ_1(Ω_ω))
ψ(Ω_ω+Ω_2)
ψ(Ω_ω*2)
ψ(Ω_ω^2)
ψ(ψ_ω(0))
ψ(Ω_{ω+1})
ψ(Ω_ω2)
ψ(Ω_{ω^2})
ψ(Ω_ψ(Ω_ω))
ψ(Ω_Ω)
ψ(Ω_ψ_1(Ω_2))
ψ(Ω_ψ_1(Ω_ω))
ψ(Ω_ψ_1(Ω_ψ(Ω_ψ_1(Ω_ω))))
ψ(Ω_ψ_1(Ω_Ω))
ψ(Ω_ψ_1(Ω_ψ_1(Ω_Ω)))
ψ(Ω_Ω_2)
ψ(Ω_ψ_2(Ω_ω))
ψ(Ω_Ω_3)
ψ(Ω_Ω_ω)
ψ(Ω_Ω_Ω)
ψ(Ω_Ω_Ω_Ω)
ψ(ψ_I(0))

ψ(ψ_I(0))=ψ(Φ(1,0))
ψ(Φ(1,0)+1)
ψ(Φ(1,0)*2)
ψ(ψ_Ω_Φ(1,0)+1(0))
ψ(ψ_Ω_(Φ(1,0)+1))
ψ(ψ_Ω_(Φ(1,0)+ω))
ψ(ψ_Ω_(Φ(1,0)*2))
ψ(ψ_Ω_(Ω_(Φ(1,0)+1)))
ψ(Φ(1,1))
ψ(Φ(1,Ω))
ψ(Φ(1,Φ(1,0)))
ψ(I)

ψ(I+1)
ψ(I+ψ(I))
ψ(I+Ω)
ψ(I+Ω_ω)
ψ(I+ψ_I(0))
ψ(I+ψ_I(I))
ψ(I2)
ψ(I^2)
ψ(ψ_Ω_(I+1)(0))
ψ(Ω_(I+1))
ψ(Ω_(I+ω))
ψ(Ω_(I2))
ψ(Ω_(I^2))
ψ(ψ_Ω_(Ω_(I+1))(0))
ψ(ψ_Ω_(Ω_(I2))(0))
ψ(ψ_I_2(0))
ψ(I_2)
ψ(Ω_(I_2+1))
ψ(Ω_(Ω_(I_2+1)))
ψ(ψ_I_3(0))
ψ(I_3)
ψ(I_4)
ψ(I_ω)
ψ(I_Ω)
ψ(I_ψ_I(0))
ψ(I_I)
ψ(I_I_ω)
ψ(I_I_I)
ψ(I_I_I_I)
ψ(ψ_I(1,0)(0))=ψ(I_a-Φ(1,0))
ψ(ψ_Ω_(I_a-Φ(1,0)+1)(0))
ψ(ψ_I_(I_a-Φ(1,0)+1)(0))
ψ(ψ_I_I_(I_a-Φ(1,0)+1)(0))
ψ(I_a-Φ(1,1))
ψ(I_a-Φ(1,Ω))
ψ(I_a-Φ(1,Φ(1,0)))
ψ(I_a-Φ(1,I))
ψ(I_a-Φ(1,I_a-Φ(1,0)))
ψ(I(1,0))

ψ(I(1,0)+1)
ψ(I(1,0)+ψ_I(1,0)(I(1,0)))
ψ(I(1,0)*2)
ψ(ψ_Ω_(I(1,0)+1)(0))
ψ(Ω_(I(1,0)+1))
ψ(Ω_(Ω_(I(1,0)+1)))
ψ(ψ_I_(I(1,0)+1)(0))
ψ(I_(I(1,0)+1))
ψ(Ω_(I_(I(1,0)+1)+1))
ψ(I_(I_(I(1,0)+1)))
ψ(ψ_I(1,1)(0))
ψ(I(1,1))
ψ(Ω_(I(1,1)+1))
ψ(I_(I(1,1)+1))
ψ(I(1,2))
ψ(I(1,I(1,0)))
ψ(ψ_I(2,0)(0))=ψ(I(1,a)-Φ(1,0))
ψ(I(1,I(1,a)-Φ(1,0)+1))
ψ(I(1,a)-Φ(1,1))
ψ(I(2,0))
ψ(Ω_(I(2,0)+1))
ψ(I_(I(2,0)+1))
ψ(I(1,I(2,0)+1))
ψ(I(2,1))
ψ(ψ_I(3,0)(0))
ψ(I(3,0))
ψ(I(2,I(3,0)+1))
ψ(I(3,1))
ψ(ψ_I(4,0)(0))
ψ(I(4,0))
ψ(I(5,0))
ψ(I(ω,0))

ψ(Ω_(I(ω,0)+1))
ψ(I_(I(ω,0)+1))
ψ(I(1,(I(ω,0)+1)))
ψ(I(2,(I(ω,0)+1)))
ψ(I(ω,1))
ψ(I(ω,I(ω,0)))
ψ(ψ_I(ω+1,0)(0))
ψ(I(ω+1,0))
ψ(I(ω2,0))
ψ(I(Ω,0))
ψ(I(I,0))
ψ(I(I(ω,0),0))
ψ(ψ_I(1,0,0)(0))

ψ(ψ_I(1,0,0)(0))=ψ(I(a,0)-φ(1,0))
ψ(Ω_(I(a,0)-φ(1,0)+1))
ψ(I_(I(a,0)-φ(1,0)+1))
ψ(I(ω,I(a,0)-φ(1,0)+1))
ψ(I(I(a,0)-φ(1,0),1))
ψ(I(I(a,0)-φ(1,0)+1,0))
ψ(I(I(I(a,0)-φ(1,0)+1,0),0))
ψ(I(a,0)-φ(1,1))
ψ(I(a,0)-φ(1,I(a,0)-φ(1,0)))
ψ(I(1,0,0))
ψ(Ω_(I(1,0,0)+1))
ψ(I(I(1,0,0),1))
ψ(I(I(1,0,0)+1,0))
ψ(I(1,0,1))
ψ(ψ_I(1,1,0)(0))
ψ(I(1,1,0))
ψ(I(1,2,0))
ψ(I(1,ω,0))
ψ(I(1,I(1,0,0),0))
ψ(ψ_I(2,0,0)(0))
ψ(I(2,0,0))
ψ(ψ_I(3,0,0)(0))
ψ(I(3,0,0))
ψ(I(ω,0,0))
ψ(I(I(1,0,0),0,0))
ψ(ψ_I(1,0,0,0)(0))
ψ(I(1,0,0,0))
skip
ψ(I(1,0,0,0,0))
ψ(I(1@ω))

ψ(I(1@Ω))
ψ(I(1@I(1@ω)))
ψ(ψ_I(1@(1,0))(0))=ψ(M^M)
ψ(I(1@(1,0))) (I(1@(1,0)=ψ_M(M^M+1)?)
ψ(M^M*2)
ψ(M^(M+1))
ψ(M^M2)
ψ(M^M^2)
ψ(M^M^M)
ψ(M^M^M^M)
ψ(M^M^M)
ψ(ψ_Ω_(M+1)(0))
skip skip skip
ψ(Ω_(M+1))
ψ(ψ_I_(M+1)(0))
ψ(I(1,M+1))
ψ(I(M+1,0))
ψ(I(1,0,M+1))
ψ(M_2^M_2)
ψ(ψ_Ω_(M_2+1)(0))
ψ(M_3)
ψ(ψ_Ω_(M_3+1)(0))
ψ(M_4)
ψ(M_ω)
ψ(M_M)
ψ(ψ_M_a-I(1,0)(0))=ψ(M_a-φ(1,0))
ψ(Ω_(M_a-φ(1,0)+1))
ψ(I_(M_a-φ(1,0)+1))
ψ(I(1,0,M_a-φ(1,0)+1))
ψ(ψ_Ω_(M_(M_a-φ(1,0)+1))(0))
ψ(M_(M_(M_a-φ(1,0)+1)))
ψ(M_a-φ(1,1))
ψ(M_a-φ(1,M_a-φ(1,1)))
ψ(M_a-I(1,0))
ψ(M_a-I(1,0)^M_a-I(1,0))
ψ(Ω_(M_a-I(1,0)+1))
ψ(I_(M_a-I(1,0)+1))
ψ(M_(M_a-I(1,0)+1))
ψ(ψ_M_a-I(1,1)(0))
ψ(ψ_M_a-I(2,0)(0))
ψ(M_a-I(1,M_a-I(2,0)+1))
ψ(ψ_M_a-I(2,1)(0))
ψ(M_a-I(2,1))
ψ(M_a-I(3,0))
ψ(M_a-I(M_a-I(1,0),0))
ψ(ψ_M_a-I(1,0,0)(0))
ψ(M_a-I(1,0,0))
ψ(M_a-I(1@3))
ψ(M_a-I(1@ω))
ψ(M_a-I(1@(1,0)))
ψ(M(1,0)^M(1,0)*2)

ψ(M(1,0)^(M(1,0)+1))
ψ(M(1,0)^M(1,0)^2)
ψ(M(1,0)^M(1,0)^ψ_M(1,0)(M(1,0)^M(1,0)))
ψ(M(1,0)^M(1,0)^M(1,0))
ψ(M(1,0)^M(1,0)^M(1,0)^M(1,0))
ψ(ψ_Ω_(M(1,0)+1)(0))
ψ(ψ_I_(M(1,0)+1)(0))
ψ(ψ_I(1,0,M(1,0)+1)(0))
ψ(M_(M(1,0)+1)^M_(M(1,0)+1))
ψ(ψ_Ω_(M_(M(1,0)+1)+1)(0))?
ψ(M_(M(1,0)+2))
ψ(M_(M(1,0)*2))
ψ(M_(Ω_(M(1,0)+1)))
ψ(M_(M_(M(1,0)+1)))
ψ(ψ_M(1,1)(0))