ω(1%)
ψ(Ω)/(0)(1,1)/SCO(10%)
ψ(Ω_2)/(0)(1,1)(2,2)/BHO(20%)
ψ(Ω_ω)/(0)(1,1,1)/BO(30%)
ψ(Π_ω)/(0)(1,1,1)(2,2)/SSO(40%)
ψ(λα.(Ωα+2)-Π1)/(0)(1,1,1)(2,2,1)/BGO(50%)
ψ(ω−π-Π0)/(0)(1,1,1)(2,2,2)/LRO(60%)
(0)(1,1……1,1)/SHO(70%)
PTO(Z_2)/BUO(80%)
PTO(Zω)(90%)
PTO(ZFC)(100%)
ψ(Ω)/(0)(1,1)/SCO(10%)
ψ(Ω_2)/(0)(1,1)(2,2)/BHO(20%)
ψ(Ω_ω)/(0)(1,1,1)/BO(30%)
ψ(Π_ω)/(0)(1,1,1)(2,2)/SSO(40%)
ψ(λα.(Ωα+2)-Π1)/(0)(1,1,1)(2,2,1)/BGO(50%)
ψ(ω−π-Π0)/(0)(1,1,1)(2,2,2)/LRO(60%)
(0)(1,1……1,1)/SHO(70%)
PTO(Z_2)/BUO(80%)
PTO(Zω)(90%)
PTO(ZFC)(100%)