ω（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%）