1 ω ψ(1) = ψχ(0)(1)
2 ω2 ψ(2) = ψχ(0)(2)
3 ωω ψ(ψ(1)) = ψχ(0)χ(0)(1))
4 ωωω ψ(ψ(ψ(1))) = ψχ(0)χ(0)χ(0)(1)))
5 ψ(Ω) ψ(χ(0)) = ψχ(0)(χ(0)) = ψχ(0)χ(0)χ(0)χ(0)(...))))
6 ψ(Ω×ω) ψ(χ(0)×ω) = ψ(ψχ(1)(1))
7 ψ(Ω×ω2) ψ(χ(0)×ω2) = ψ(ψχ(1)(2))
8 ψ(Ω2) ψ(χ(0)2) = ψ(ψχ(1)(χ(0)))
9 ψ(Ωω) ψ(χ(0)ω) = ψ(ψχ(1)χ(1)(1)))
10 ψ(ΩΩ) ψ(χ(0)χ(0)) = ψ(ψχ(1)χ(1)(χ(0))))
11 ψ(ΩΩΩ) ψ(χ(0)χ(0)χ(0)) = ψ(ψχ(1)χ(1)χ(1)(χ(0)))))
12 ψ(Ω2) = ψ(εΩ+1) ψ(χ(1)) = ψ(εχ(0)+1) =
ψ(ψχ(1)(χ(1))) = ψ(ψχ(1)χ(1)χ(1)χ(1)(...)))))
13 ψ(Ωω) ψ(ψχ(ω)(ω))
14 ψ(Ωω×ω) ψ(ψχ(ω)(ω+1)) = ψ(ψχ(ω)(ω)×ω)
15 ψ(Ωω+1) = ψ(εΩω+1) ψ(χ(ω)) = ψ(εψχ(ω)(ω)+1) =
ψ(ψχ(ω)(χ(ω))) = ψ(ψχ(ω)χ(ω)χ(ω)χ(ω)(...)))))
16 ψ(ΩΩ) ψ(ψχ(♦)(♦))
♦ = χ(0)
17 ψ(ΩΩ+1) ψ(χ(χ(0)))
18 ψ(ΩΩΩ) ψ(ψχ(♦)(χ(♦))
♦ = ψχ(♥)(♥)
♥ = χ(0)
19 ψ(ΩΩΩ+1) ψ(χ(ψχ(♦)(♦)))
♦ = χ(0)
20 ψ(ΩΩΩ+1) ψ(ψχ(♦)(♦))
♦ = χ(χ(0))
21 ψ(ΩΩΩ+1+1) ψ(χ(χ(χ(0))))
22 ψ(ΩΩΩΩ+1+1) ψ(ψχ(♦)(χ(♦)))
♦ = χ(χ(χ(0)))
23 ψ(ΩΩΩΩ+1+1+1) ψ(χ(χ(χ(χ(0)))))
24 ψ(ψI(0)) = ψ(ΩΩΩΩ...) ψ(M) = ψ(ψχ(M)(M)) = ψ(χ(χ(χ(χ(...)))))
25 ψ(ψI(0)+1) = ψ(ΩΩΩΩ...)×ω ψ(M+1) = ψ(M)×ω
26 ψ(ψI(0)+ψ(Ω)) ψ(M+ψ(χ(0)))
27 ψ(ψI(0)+ψ(ψI(0))) ψ(M+ψ(M))
28 ψ(ψI(0)+ψ(ψI(0)+1)) ψ(M+ψ(M+1))
29 ψ(ψI(0)+ψ(ψI(0)+ψ(ψI(0)+1))) ψ(M+ψ(M+ψ(M+1)))
30 ψ(ψI(0)+ψ(ψI(0)+ψ(ψI(0)+ψ(ψI(0)+1)))) ψ(M+ψ(M+ψ(M+ψ(M+1))))
31 ψ(ψI(0)+Ω) = εψ(ΩΩΩ...)+1 ψ(M+χ(0))
32 ψ(ψI(0)+Ω2) ψ(M+χ(1))
33 ψ(ψI(0)+Ωω) ψ(M+ψχ(ω)(ω))
34 ψ(ψI(0)+Ωω+1) ψ(M+χ(ω))
35 ψ(ψI(0)+ΩΩ) ψ(M+ψχ(♦)(♦))
♦ = χ(0)
36 ψ(ψI(0)+ΩΩ+1) ψ(M+χ(χ(0)))
37 ψ(ψI(0)+ΩΩΩ) ψ(M+ψχ(♦)(χ(♦))
♦ = ψχ(♥)(♥)
♥ = χ(0)
38 ψ(ψI(0)+ΩΩΩ+1) ψ(M+χ(ψχ(♦)(♦)))
♦ = χ(0)
39 ψ(ψI(0)+ΩΩΩ+1) ψ(M+ψχ(♦)(♦))
♦ = χ(χ(0))
40 ψ(ψI(0)+ΩΩΩ+1+1) ψ(M+χ(χ(0)))
41 ψ(ψI(0)+ΩΩΩΩ+1+1+1) ψ(M+χ(χ(χ(0))))
42 ψ(ψI(0)×2) ψ(M+ψχ(M)(M)) = ψ(M+χ(χ(χ(χ(...)))))
43 ψ(ψI(0)×3) ψ(M+ψχ(M)(M)×2)
44 ψ(ψI(0)×ω) ψ(M+ψχ(M)(M)×ω) = ψ(M+ψχ(♦)(M+1))
♦ = ψχ(M)(M)
45 ψ(ψI(0)×Ω) ψ(M+ψχ(M)(M)×χ(0)) = ψ(M+ψχ(♦)(M+χ(0)))
♦ = ψχ(M)(M)
46 ψ(ψI(0)2) ψ(M+ψχ(M)(M)2) = ψ(M+ψχ(♦)(M+ψχ(M)(M)))
♦ = ψχ(M)(M)
47 ψ(ψI(0)3) ψ(M+ψχ(M)(M)3) = ψ(M+ψχ(♦)(M+ψχ(M)(M)×2))
♦ = ψχ(M)(M)
48 ψ(ψI(0)ω) ψ(M+ψχ(M)(M)ω) = ψ(M+ψχ(♦)(M+ψχ(♦)(M+1)))
♦ = ψχ(M)(M)
49 ψ(ψI(0)Ω) ψ(M+ψχ(M)(M)χ(0)) = ψ(M+ψχ(♦)(M+ψχ(♦)(M+χ(0))))
♦ = ψχ(M)(M)
50 ψ(ψI(0)ψI(0)) ψ(M+ψχ(M)(M)ψχ(M)(M)) = ψ(M+ψχ(♦)(M+ψχ(♦)(M+ψχ(M)(M))))
♦ = ψχ(M)(M)
51 ψ(ΩψI(0)+1) = ψ(ΩΩΩ...+1)) ψ(M+χ(ψχ(M)(M))) = ψ(M+ψχ(♦)(M+ψχ(♦)(M+ψχ(♦)(M+...))))
♦ = ψχ(M)(M)
52 ψ(ΩψI(0)+1ω) ψ(M+χ(ψχ(M)(M))+ψχ(ω)(ω))
53 ψ(ΩψI(0)+1I(0)) ψ(M+χ(ψχ(M)(M))+ψχ(M)(M))
54 ψ(ΩψI(0)+1I(0)ψI(0)) ψ(M+χ(ψχ(M)(M))+ψχ(♦)(M+ψχ(♦)(M+ψχ(M)(M))))
♦ = ψχ(M)(M)
55 ψ(ΩψI(0)+1ΩψI(0)+1ψI(0)+1)) ψ(M+χ(ψχ(M)(M))+ψχ(♦)(M+χ(ψχ(M)(M))))
♦ = ψχ(M)(M)
56 ψ(ΩψI(0)+1×2) ψ(M+χ(ψχ(M)(M))×2) = ψ(M+χ(♦)+ψχ(♦)(M+χ(♦)+ψχ(♦)(M+...)))
♦ = ψχ(M)(M)
57 ψ(ΩψI(0)+12) ψ(M+χ(ψχ(M)(M))2)
58 ψ(ΩψI(0)+1ΩψI(0)+1) ψ(M+χ(ψχ(M)(M))χ(ψχ(M)(M)))
59 ψ(ΩψI(0)+2) ψ(M+χ(ψχ(M)(M)+1))
60 ψ(ΩψI(0)+ω) ψ(M+ψχ(♦)(♦))
♦ = ψχ(M)(M)+ω
61 ψ(ΩψI(0)+ω+1) ψ(M+χ(ψχ(M)(M)+ω))
62 ψ(ΩψI(0)+Ω) ψ(M+ψχ(♦)(♦))
♦ = ψχ(M)(M)+χ(0)
63 ψ(ΩψI(0)+Ω+1) ψ(M+χ(ψχ(M)(M)+χ(0)))
64 ψ(ΩψI(0)+Ωω) ψ(M+ψχ(♦)(♦))
♦ = ψχ(M)(M)+χ(ω)
65 ψ(ΩψI(0)+Ωω+1) ψ(M+χ(ψχ(M)(M)+χ(ω)))
66 ψ(ΩψI(0)×2) ψ(M+ψχ(♦)(♦))
♦ = ψχ(M)(M)×2
67 ψ(ΩψI(0)×2+1) ψ(M+χ(ψχ(M)(M)×2))
68 ψ(ΩψI(0)×3) ψ(M+ψχ(♦)(♦))
♦ = ψχ(M)(M)×3
69 ψ(ΩψI(0)×ω) ψ(M+ψχ(♦)(♦))
♦ = ψχ(M)(M)×ω
70 ψ(ΩψI(0)×Ω) ψ(M+ψχ(♦)(♦))
♦ = ψχ(M)(M)×χ(0)
71 ψ(ΩψI(0)2) ψ(M+ψχ(♦)(♦))
♦ = ψχ(M)(M)2
72 ψ(ΩψI(0)ω) ψ(M+ψχ(♦)(♦))
♦ = ψχ(M)(M)ω
73 ψ(ΩψI(0)Ω) ψ(M+ψχ(♦)(♦))
♦ = ψχ(M)(M)χ(0)
74 ψ(ΩψI(0)ψI(0)) ψ(M+ψχ(♦)(♦))
♦ = ψχ(M)(M)ψχ(M)(M)
75 ψ(ΩψΩψI(0)+1ψI(0)+1)) = ψ(ΩεψI(0)+1) ψ(M+ψχ(♦)(♦))
♦ = ψχ(♥)(M+χ(ψχ(M)(M)))
♥ = ψχ(M)(M)
76 ψ(ΩψΩψI(0)+1ψI(0)+1)+1) ψ(M+χ(ψχ(♦)(M+χ(ψχ(M)(M)))))
♦ = ψχ(M)(M)
77 ψ(ΩψΩψI(0)+1ψI(0)+2)) ψ(M+ψχ(♦)(♦))
♦ = ψχ(♥)(M+χ(ψχ(M)(M)+1))
♥ = ψχ(M)(M)
78 ψ(ΩψΩψI(0)+1ψI(0)+2)+1) ψ(M+χ(ψχ(♦)(M+χ(ψχ(M)(M)+1))))
♦ = ψχ(M)(M)
79 ψ(ΩψΩψI(0)+1ψI(0)+ω)) ψ(M+ψχ(♦)(♦))
♦ = ψχ(♥)(M+χ(ψχ(M)(M)+ω))
♥ = ψχ(M)(M)
80 ψ(ΩψΩψI(0)+1ψI(0)+Ω)) ψ(M+ψχ(♦)(♦))
♦ = ψχ(♥)(M+χ(ψχ(M)(M)+χ(0)))
♥ = ψχ(M)(M)
81 ψ(ΩψΩψI(0)+1ψI(0)×2)) ψ(M+ψχ(♦)(♦))
♦ = ψχ(♥)(M+χ(ψχ(M)(M)×2))
♥ = ψχ(M)(M)
82 ψ(ΩψΩψI(0)+1ψI(0)2)) ψ(M+ψχ(♦)(♦))
♦ = ψχ(♥)(M+χ(ψχ(M)(M)2))
♥ = ψχ(M)(M)
83 ψ(ΩψΩψI(0)+1ψI(0)ψI(0))) ψ(M+ψχ(♦)(♦))
♦ = ψχ(♥)(M+χ(ψχ(M)(M)ψχ(M)(M)))
♥ = ψχ(M)(M)
84 ψ(ΩψΩψI(0)+1(ΩψΩψI(0)+1ψI(0)+1))) ψ(M+ψχ(♦)(♦))
♦ = ψχ(♥)(M+χ(ψχ(M)(M+ψχ(♥)(M+χ(ψχ(M)(M))))))
♥ = ψχ(M)(M)
85 ψ(ΩψΩψI(0)+1(ΩψΩψI(0)+1ψI(0)+1))+1) ψ(M+χ(ψχ(♦)(M+χ(ψχ(M)(M+ψχ(♦)(M+χ(ψχ(M)(M))))))))
♦ = ψχ(M)(M)
86 ψ(ΩψΩψI(0)+1(ΩψΩψI(0)+1ψI(0)+1)+1)) ψ(M+ψχ(♦)(♦))
♦ = ψχ(♥)(M+χ(ψχ(M)(M+χ(ψχ(♥)(M+χ(ψχ(M)(M)))))))
♥ = ψχ(M)(M)
87 ψ(ΩψΩψI(0)+1(ΩψΩψI(0)+1ψI(0)+1)+1)+1) ψ(M+χ(ψχ(♦)(M+χ(ψχ(M)(M+χ(ψχ(♦)(M+χ(ψχ(M)(M)))))))))
♦ = ψχ(M)(M)
88 ψ(ΩΩψI(0)+1) = ψ(ΩΩΩ...+1)) ψ(M+ψχ(♦)(♦))
♦ = χ(ψχ(M)(M))
89 ψ(ΩΩψI(0)+1+1) ψ(M+χ(χ(ψχ(M)(M))))
90 ψ(ΩΩψI(0)+1+2) ψ(M+χ(χ(ψχ(M)(M))+1))
91 ψ(ΩΩψI(0)+1) ψ(M+ψχ(♦)(♦))
♦ = χ(ψχ(M)(M))+ω
92 ψ(ΩΩψI(0)+1×2) ψ(M+ψχ(♦)(♦))
♦ = χ(ψχ(M)(M))×2
93 ψ(ΩΩψI(0)+1×2+1) ψ(M+χ(χ(ψχ(M)(M))×2+1))
94 ψ(ΩψΩψI(0)+2ψI(0)+2)) ψ(M+ψχ(♦)(♦))
♦ = ψχ(♥)(M+χ(ψχ(M)(M)+1))
♥ = ψχ(M)(M)+1
95 ψ(ΩΩψI(0)+2) ψ(M+ψχ(♦)(♦))
♦ = χ(ψχ(M)(M)+1)
96 ψ(ΩΩψI(0)+2+1) ψ(M+χ(χ(ψχ(M)(M)+1)))
97 ψ(ΩΩψI(0)+ω) ψ(M+ψχ(♦)(♦))
♦ = ψχ(♥)(M+χ(ψχ(M)(M)+ω))
♥ = ψχ(M)(M)+ω
98 ψ(ΩΩψI(0)+ω+1) ψ(M+ψχ(♦)(♦))
♦ = χ(ψχ(M)(M)+ω)
99 ψ(ΩΩψI(0)+ω+1+1) ψ(M+χ(χ(ψχ(M)(M)+ω)))
100 ψ(ΩΩψI(0)+Ω) ψ(M+ψχ(♦)(♦))
♦ = ψχ(♥)(M+χ(ψχ(M)(M)+χ(0)))
♥ = ψχ(M)(M)+χ(0)
101 ψ(ΩΩψI(0)+Ωω) ψ(M+ψχ(♦)(♦))
♦ = ψχ(♥)(M+χ(ψχ(M)(M)+χ(ω)))
♥ = ψχ(M)(M)+χ(ω)
102 ψ(ΩΩψI(0)×2) ψ(M+ψχ(♦)(♦))
♦ = ψχ(♥)(M+χ(ψχ(M)(M)×2))
♥ = ψχ(M)(M)×2
103 ψ(ΩΩΩψI(0)+1) ψ(M+ψχ(♦)(♦))
♦ = ψχ(♥)(♥)
♥ = χ(ψχ(M)(M))
104 ψ(ΩΩΩψI(0)+1+1) ψ(M+χ(ψχ(♦)(♦)))
♦ = χ(ψχ(M)(M))
105 ψ(ΩΩΩψI(0)+1+1) ψ(M+ψχ(♦)(♦))
♦ = χ(χ(ψχ(M)(M)))
106 ψ(ΩΩΩψI(0)+1+1+1) ψ(M+χ(χ(χ(ψχ(M)(M)))))
107 ψ(ΩΩΩΩψI(0)+1+1+1+1) ψ(M+χ(χ(χ(χ(ψχ(M)(M))))))
108 ψ(ψI(1)) = ψ(ΩΩΩ...ψI(0)+1) ψ(M+ψχ(M)(M+1)) = ψ(M+χ(χ(χ(χ(...ψχ(M)(M)...)))))
109 ψ(ΩψI(1)+1) ψ(M+χ(ψχ(M)(M+1)))
110 ψ(ΩψI(1)+ψI(0)) ψ(M+ψχ(♦)(♦))
♦ = χ(ψχ(M)(M+1)+ψχ(M)(M))
111 ψ(ΩψI(1)×2) ψ(M+ψχ(♦)(♦))
♦ = χ(ψχ(M)(M+1)×2)
112 ψ(ΩΩψI(1)+1) ψ(M+ψχ(♦)(♦))
♦ = χ(χ(ψχ(M)(M+1))
113 ψ(ΩΩψI(1)+1+1) ψ(M+χ(χ(ψχ(M)(M+1))))
114 ψ(ψI(2)) = ψ(ΩΩΩ...ψI(1)+1) ψ(M+ψχ(M)(M+2)) = ψ(M+χ(χ(χ(χ(...ψχ(M)(M+1)...)))))
115 ψ(ψI(ω)) ψ(M+ψχ(M)(M+ω))
116 ψ(ψI(Ω)) ψ(M+ψχ(M)(M+χ(0)))
117 ψ(ψI2)) ψ(M+ψχ(M)(M+χ(1)))
118 ψ(ψIω)) ψ(M+ψχ(M)(M+ψχ(ω)(ω)))
119 ψ(ψIω+1)) ψ(M+ψχ(M)(M+χ(ω)))
120 ψ(ψII(0))) ψ(M+ψχ(M)(M+ψχ(M)(M)))
121 ψ(ΩψII(0))+1) ψ(M+χ(ψχ(M)(M+ψχ(M)(M))))
122 ψ(ΩψII(0))×2) ψ(M+ψχ(♦)(♦))
♦ = ψχ(M)(M+ψχ(M)(M))×2
123 ψ(ΩψII(0))×2+1) ψ(M+χ(ψχ(M)(M+ψχ(M)(M))×2))
124 ψ(ψII(0)+1)) ψ(M+ψχ(M)(M+ψχ(M)(M)+1))
125 ψ(ψII(0)×2)) ψ(M+ψχ(M)(M+ψχ(M)(M)×2))
126 ψ(ψIψI(0)+1)) ψ(M+ψχ(M)(M+χ(ψχ(M)(M))))
127 ψ(ψII(1))) ψ(M+ψχ(M)(M+ψχ(M)(M+1)))
128 ψ(ψIII(0)))) ψ(M+ψχ(M)(M+ψχ(M)(M+ψχ(M)(M))))
129 ψ(ψIIII(0))))) ψ(M+ψχ(M)(M+ψχ(M)(M+ψχ(M)(M+ψχ(M)(M)))))
130 ψ(I) ψ(M+χ(M)) = ψ(M+ψχ(M)(M+ψχ(M)(M+ψχ(M)(M+...))))
131 ψ(I+1) = ψ(I)×ω ψ(M+χ(M)+1) = ψ(M+χ(M))×ω
132 ψ(I+Ω) = εψ(I)+1 ψ(M+χ(M)+χ(0))
133 ψ(I+Ω2) ψ(M+χ(M)+χ(1))
134 ψ(I+Ω3) ψ(M+χ(M)+χ(2))
135 ψ(I+Ωω) ψ(M+χ(M)+ψχ(ω)(ω))
136 ψ(I+ψI(0)) ψ(M+χ(M)+ψχ(M)(M))
137 ψ(I+ψI(1)) ψ(M+χ(M)+ψχ(M)(M+1))
138 ψ(I+ψII(0))) ψ(M+χ(M)+ψχ(M)(M+ψχ(M)(M)))
139 ψ(I+ψI(I)) ψ(M+χ(M)+ψχ(M)(M+χ(M)))
140 ψ(I+ψI(I)×2) ψ(M+χ(M)+ψχ(M)(M+χ(M))×2)
141 ψ(I+ψI(I)×ω) ψ(M+χ(M)+ψχ(M)(M+χ(M))×ω)
142 ψ(I+ΩψI(I)+1) ψ(M+χ(M)+χ(ψχ(M)(M+χ(M))))
143 ψ(I+ΩψI(I)+2) ψ(M+χ(M)+χ(ψχ(M)(M+χ(M))+1))
144 ψ(I+ΩψI(I)+ω) ψ(M+χ(M)+ψχ(♦)(♦))
♦ = ψχ(M)(M+χ(M))+ω
145 ψ(I+ΩψI(I)×2) ψ(M+χ(M)+ψχ(♦)(♦))
♦ = ψχ(M)(M+χ(M))×2
146 ψ(I+ψI(I+1)) ψ(M+χ(M)+ψχ(M)(M+χ(M)+1))
147 ψ(I+ψI(I+ψI(I))) ψ(M+χ(M)+ψχ(M)(M+χ(M)+ψχ(M)(M+χ(M))))
148 ψ(I+ψI(I+ψI(I+1))) ψ(M+χ(M)+ψχ(M)(M+χ(M)+ψχ(M)(M+χ(M)+1)))
149 ψ(I×2) ψ(M+χ(M)+χ(M)) = ψ(M+χ(M)+ψχ(M)(M+χ(M)+...))
150 ψ(I×3) ψ(M+χ(M)+χ(M)+χ(M))
151 ψ(I×ω) ψ(M+χ(M)×ω)
152 ψ(I×Ω) ψ(M+χ(M)×χ(0))
153 ψ(I×ψI(0)) ψ(M+χ(M)×ψχ(M)(M))
154 ψ(I×ψI(I)) ψ(M+χ(M)×ψχ(M)(M+χ(M)))
155 ψ(I2) ψ(M+χ(M)×χ(M)) = ψ(M+χ(M)×ψχ(M)(M+χ(M)×...))
156 ψ(I3) ψ(M+χ(M)×χ(M)×χ(M))
157 ψ(Iω) ψ(M+χ(M)ω)
158 ψ(IΩ) ψ(M+χ(M)χ(0))
159 ψ(IψI(0)) ψ(M+χ(M)ψχ(M)(M))
160 ψ(IψI(I)) ψ(M+χ(M)ψχ(M)(M+χ(M)))
161 ψ(IψI(Iω)) ψ(M+χ(M)ψχ(M)(M+χ(M)ω))
162 ψ(II) ψ(M+χ(M)χ(M)) = ψ(M+χ(M)ψχ(M)(M+χ(M)...))
163 ψ(II+1) ψ(M+χ(M)χ(M)+1)
164 ψ(II+Ω) ψ(M+χ(M)χ(M)+χ(0))
165 ψ(III(0)) ψ(M+χ(M)χ(M)χ(M)(M))
166 ψ(III(I)) ψ(M+χ(M)χ(M)χ(M)(M+χ(M)))
167 ψ(III(II)) ψ(M+χ(M)χ(M)χ(M)(M+χ(M)χ(M)))
168 ψ(IIψI(II)+1) ψ(M+χ(M)χ(M)+χ(ψχ(M)(M+χ(M)χ(M))))
169 ψ(IIψI(II)+2) ψ(M+χ(M)χ(M)+χ(ψχ(M)(M+χ(M)χ(M))+1))
170 ψ(IIψI(II)+ω) ψ(M+χ(M)χ(M)χ(♦)(♦))
♦ = ψχ(M)(M+χ(M)χ(M))+ω
171 ψ(IIψI(II)×2) ψ(M+χ(M)χ(M)χ(♦)(♦))
♦ = ψχ(M)(M+χ(M)χ(M))×2
172 ψ(III(II+1)) ψ(M+χ(M)χ(M)χ(M)(M+χ(M)χ(M)+1))
173 ψ(III(III(0))) ψ(M+χ(M)χ(M)χ(M)(M+χ(M)χ(M)χ(M)(M))))
174 ψ(III(III(I))) ψ(M+χ(M)χ(M)χ(M)(M+χ(M)χ(M)χ(M)(M+χ(M)))))
175 ψ(III(III(II))) ψ(M+χ(M)χ(M)χ(M)(M+χ(M)χ(M)χ(M)(M+χ(M)χ(M)))))
176 ψ(III(III(II+1))) ψ(M+χ(M)χ(M)χ(M)(M+χ(M)χ(M)χ(M)(M+χ(M)χ(M)+1))))
177 ψ(II+I) ψ(M+χ(M)χ(M)+χ(M)) = ψ(M+χ(M)χ(M)χ(M)(M+χ(M)χ(M)+...))
178 ψ(II+I×2) ψ(M+χ(M)χ(M)+χ(M)+χ(M))
179 ψ(II+I2) ψ(M+χ(M)χ(M)+χ(M)×χ(M))
180 ψ(II+Iω) ψ(M+χ(M)χ(M)+χ(M)ω)
181 ψ(II+IψI(II)) ψ(M+χ(M)χ(M)+χ(M)ψχ(M)(M+χ(M)χ(M)))
182 ψ(II+IψI(II)+1) ψ(M+χ(M)χ(M)+χ(M)ψχ(M)(M+χ(M)χ(M))+1)
183 ψ(II+IψI(II+1)) ψ(M+χ(M)χ(M)+χ(M)ψχ(M)(M+χ(M)χ(M)+1))
184 ψ(II×2) ψ(M+χ(M)χ(M)×2)
185 ψ(II+1) ψ(M+χ(M)χ(M)+1)
186 ψ(II×2) ψ(M+χ(M)χ(M)×2)
187 ψ(II×3) ψ(M+χ(M)χ(M)×3)
188 ψ(II×ω) ψ(M+χ(M)χ(M)×ω)
189 ψ(II2) ψ(M+χ(M)χ(M)2)
190 ψ(IIω) ψ(M+χ(M)χ(M)ω)
191 ψ(IIΩ) ψ(M+χ(M)χ(M)χ(0))
192 ψ(IIψI(IIω)) ψ(M+χ(M)χ(M)ψχ(M)(M+χ(M)χ(M)ω))
193 ψ(III) ψ(M+χ(M)χ(M)χ(M))
194 ψ(III×2) ψ(M+χ(M)χ(M)χ(M)×2)
195 ψ(III+1) ψ(M+χ(M)χ(M)χ(M)+1)
196 ψ(III×ω) ψ(M+χ(M)χ(M)χ(M)×ω)
197 ψ(IIII) ψ(M+χ(M)χ(M)χ(M)χ(M))
198 ψ(IIIII) ψ(M+χ(M)χ(M)χ(M)χ(M)χ(M))
199 ψ(ΩI+1) = ψ(εI+1) ψ(M+χ(M+1)) = ψ(M+εχ(M)+1) = ψ(M+χ(M)χ(M)χ(M)χ(M)...)
200 ψ(ΩI+1+1) = ψ(ΩI+1)×ω ψ(M+χ(M+1)+1) = ψ(M+χ(M+1))×ω
201 ψ(ΩI+1+Ω) = εψ(ΩI+1)+1 ψ(M+χ(M+1)+χ(0))
202 ψ(ΩI+1I(0)) ψ(M+χ(M+1)+ψχ(M)(M))
203 ψ(ΩI+1I(I)) ψ(M+χ(M+1)+ψχ(M)(M+χ(M)))
204 ψ(ΩI+1II+1)) ψ(M+χ(M+1)+ψχ(M)(M+χ(M+1)))
205 ψ(ΩI+1ψII+1)+1) ψ(M+χ(M+1)+χ(ψχ(M)(M+χ(M+1))))
206 ψ(ΩI+1II+1+1)) ψ(M+χ(M+1)+ψχ(M)(M+χ(M+1)+1))
207 ψ(ΩI+1+I) ψ(M+χ(M+1)+χ(M))
208 ψ(ΩI+1ΩI+1I+1)) ψ(M+χ(M+1)+ψχ(M+1)(M+1))
209 ψ(ΩI+1ΩI+1I+1+1)) ψ(M+χ(M+1)+ψχ(M+1)(M+2))
210 ψ(ΩI+1ΩI+1I+1+I)) ψ(M+χ(M+1)+ψχ(M+1)(M+χ(M)))
211 ψ(ΩI+1ΩI+1I+1ΩI+1I+1))) ψ(M+χ(M+1)+ψχ(M+1)(M+ψχ(M+1)(M+1)))
212 ψ(ΩI+1ΩI+1I+1ΩI+1I+1+1))) ψ(M+χ(M+1)+ψχ(M+1)(M+ψχ(M+1)(M+2)))
213 ψ(ΩI+1ΩI+1I+1ΩI+1I+1+I))) ψ(M+χ(M+1)+ψχ(M+1)(M+ψχ(M+1)(M+χ(M))))
214 ψ(ΩI+1×2) ψ(M+χ(M+1)×2) = ψ(M+χ(M+1)+ψχ(M+1)(M+ψχ(M+1)(M+...))
215 ψ(ΩI+1×3) ψ(M+χ(M+1)×3)
216 ψ(ΩI+1×ω) ψ(M+χ(M+1)×ω)
217 ψ(ΩI+1×Ω) ψ(M+χ(M+1)×χ(0))
218 ψ(ΩI+1×I) ψ(M+χ(M+1)×χ(M))
219 ψ(ΩI+1×ψΩI+1I+1)) ψ(M+χ(M+1)×ψχ(M+1)(M+1))
220 ψ(ΩI+12) ψ(M+χ(M+1)2) = ψ(M+χ(M+1)×ψχ(M+1)(M×ψχ(M+1)(M+...))
221 ψ(ΩI+1ω) ψ(M+χ(M+1)ω)
222 ψ(ΩI+1ΩI+1) ψ(M+χ(M+1)χ(M+1))
223 ψ(ΩI+1ΩI+12) ψ(M+χ(M+1)χ(M+1)2)
224 ψ(ΩI+1ΩI+1ω) ψ(M+χ(M+1)χ(M+1)ω)
225 ψ(ΩI+1ΩI+1Ω) ψ(M+χ(M+1)χ(M+1)χ(0))
226 ψ(ΩI+1ΩI+1I) ψ(M+χ(M+1)χ(M+1)χ(M))
227 ψ(ΩI+1ΩI+1ΩI+1) ψ(M+χ(M+1)χ(M+1)χ(M+1))
228 ψ(ΩI+2) = ψ(εΩI+1+1) ψ(M+χ(M+2)) = ψ(M+εχ(M+1)+1) = ψ(M+χ(M+1)χ(M+1)χ(M+1)...)
229 ψ(ΩI+2×2) ψ(M+χ(M+2)×2)
230 ψ(ΩI+22) ψ(M+χ(M+2)2)
231 ψ(ΩI+2ΩI+2) ψ(M+χ(M+2)χ(M+2))
232 ψ(ΩI+3) ψ(M+χ(M+3)) = ψ(M+εχ(M+2)+1) = ψ(M+χ(M+2)χ(M+2)χ(M+2)...)
233 ψ(ΩI+ω) ψ(M+ψχ(M+ω)(M+ω))
234 ψ(ΩI+ω+1) ψ(M+ψχ(M+ω)(M+ω)+1)
235 ψ(ΩI+ωII+ω)) ψ(M+ψχ(M+ω)(M+ω)+ψχ(M)(M+ψχ(M+ω)(M+ω)))
236 ψ(ΩI+ωψII+ω)+1) ψ(M+ψχ(M+ω)(M+ω)+χ(ψχ(M)(M+ψχ(M+ω)(M+ω))))
237 ψ(ΩI+ωII+ω+1)) ψ(M+ψχ(M+ω)(M+ω)+ψχ(M)(M+ψχ(M+ω)(M+ω)+1))
238 ψ(ΩI+ωII+ωII+ω+1))) ψ(M+♦+ψχ(M)(M+♦+ψχ(M)(M+♦+1)))
♦ = ψχ(M+ω)(M+ω)
239 ψ(ΩI+ωII+ωII+ωII+ω+1)))) ψ(M+♦+ψχ(M)(M+♦+ψχ(M)(M+♦+ψχ(M)(M+♦+1)))
♦ = ψχ(M+ω)(M+ω)
240 ψ(ΩI+ω+I) ψ(M+ψχ(M+ω)(M+ω)+χ(M))
241 ψ(ΩI+ωΩI+1I+1)) ψ(M+ψχ(M+ω)(M+ω)+ψχ(M+1)(M+1))
242 ψ(ΩI+ωΩI+1I+ω)) ψ(M+ψχ(M+ω)(M+ω)+ψχ(M+1)(M+ψχ(M+ω)(M+ω)))
243 ψ(ΩI+ωΩI+1I+ω+1)) ψ(M+ψχ(M+ω)(M+ω)+ψχ(M+1)(M+ψχ(M+ω)(M+ω)+1))
244 ψ(ΩI+ωΩI+1I+ωΩI+1I+ω+1))) ψ(M+♦+ψχ(M+1)(M+♦+ψχ(M+1)(M+♦+1)))
♦ = ψχ(M+ω)(M+ω)
245 ψ(ΩI+ωΩI+1I+ωΩI+1I+ωΩI+1I+ω+1)))) ψ(M+♦+ψχ(M+1)(M+♦+ψχ(M+1)(M+♦+ψχ(M+1)(M+♦+1)))
♦ = ψχ(M+ω)(M+ω)
246 ψ(ΩI+ωI+1) ψ(M+ψχ(M+ω)(M+ω)+χ(M+1))
247 ψ(ΩI+ωΩI+2I+2)) ψ(M+ψχ(M+ω)(M+ω)+ψχ(M+2)(M+2))
248 ψ(ΩI+ωΩI+2I+ω)) ψ(M+ψχ(M+ω)(M+ω)+ψχ(M+2)(M+ψχ(M+ω)(M+ω)))
249 ψ(ΩI+ωΩI+2I+ω+1)) ψ(M+ψχ(M+ω)(M+ω)+ψχ(M+2)(M+ψχ(M+ω)(M+ω)+1))
250 ψ(ΩI+ωΩI+2I+ωΩI+2I+ω+1))) ψ(M+♦+ψχ(M+2)(M+♦+ψχ(M+2)(M+♦+1)))
♦ = ψχ(M+ω)(M+ω)
251 ψ(ΩI+ωΩI+2I+ωΩI+2I+ωΩI+2I+ω+1)))) ψ(M+♦+ψχ(M+2)(M+♦+ψχ(M+2)(M+♦+ψχ(M+2)(♦+1)))
♦ = ψχ(M+ω)(M+ω)
252 ψ(ΩI+ωI+2) ψ(M+ψχ(M+ω)(M+ω)+χ(M+2))
253 ψ(ΩI+ωI+3) ψ(M+ψχ(M+ω)(M+ω)+χ(M+3))
254 ψ(ΩI+ω×2) ψ(M+ψχ(M+ω)(M+ω)×2)
255 ψ(ΩI+ω×ω) ψ(M+ψχ(M+ω)(M+ω)×ω) =
ψ(M+ψχ(M+ω)(M+ω+1))
256 ψ(ΩI+ω2) ψ(M+ψχ(M+ω)(M+ω)2) =
ψ(M+ψχ(M+ω)(M+ψχ(M+ω)(M+ω)))
257 ψ(ΩI+ωω) ψ(M+ψχ(M+ω)(M+ω)ω) =
ψ(M+ψχ(M+ω)(M+ψχ(M+ω)(M+ω+1)))
258 ψ(ΩI+ωΩI+ω) ψ(M+ψχ(M+ω)(M+ω)ψχ(M+ω)(M+ω)) =
ψ(M+ψχ(M+ω)(M+ψχ(M+ω)(M+ψχ(M+ω)(M+ω))))
259 ψ(ΩI+ω+1) ψ(M+χ(M+ω)) = ψ(M+εψχ(M+ω)(M+ω)+1) =
ψ(M+ψχ(M+ω)(M+ψχ(M+ω)(M+ψχ(M+ω)(M+...))))
260 ψ(ΩI+ω+2) ψ(M+χ(M+ω+1))
261 ψ(ΩI+ω×2) ψ(M+ψχ(M+ω×2)(M+ω×2))
262 ψ(ΩI+ω×2+1) ψ(M+χ(M+ω×2))
263 ψ(ΩI+Ω) ψ(M+ψχ(M+χ(0))(M+χ(0))) =
ψ(M+χ(M+ψ(M+χ(M+ψ(M+χ(M+...))))))
264 ψ(ΩI+Ω+1) ψ(M+χ(M+χ(0)))
265 ψ(ΩI+εΩ+1) ψ(M+χ(M+ψχ(1)(χ(1))))
266 ψ(ΩI+Ω2) ψ(M+ψχ(M+χ(1))(M+χ(1))) =
ψ(M+χ(M+ψχ(1)(M+χ(M+ψχ(1)(M+χ(M+...))))))
267 ψ(ΩI+Ω2+1) ψ(M+χ(M+χ(1)))
268 ψ(ΩI+Ωω) ψ(M+ψχ(M+ψχ(ω)(ω))(M+ψχ(ω)(ω)))
269 ψ(ΩI+Ωω+1) ψ(M+χ(M+ψχ(ω)(ω)))
270 ψ(ΩI+ψI(0)) ψ(M+ψχ(M+ψχ(M)(M))(M+ψχ(M)(M)))
271 ψ(ΩI+ψI(0)+1) ψ(M+χ(M+ψχ(M)(M)))
272 ψ(ΩI+ψI(I)) ψ(M+ψχ(M+ψχ(M)(M+χ(M)))(M+ψχ(M)(M+χ(M))))
273 ψ(ΩI+ψI(I)+1) ψ(M+χ(M+ψχ(M)(M+χ(M))))
274 ψ(ΩI+ψII+1)) ψ(M+ψχ(M+ψχ(M)(M+χ(M+1)))(M+ψχ(M)(M+χ(M+1))))
275 ψ(ΩI+ψII+1)+1) ψ(M+χ(M+ψχ(M)(M+χ(M+1))))
276 ψ(ΩI+ψII+ψII+1)+1)+1) ψ(M+χ(M+ψχ(M)(M+χ(M+ψχ(M)(M+χ(M+1))))))
277 ψ(ΩI×2) ψ(M+ψχ(M+χ(M))(M+χ(M))) =
ψ(M+χ(M+ψχ(M)(M+χ(M+ψχ(M)(M+χ(M+...))))))
278 ψ(ΩI×2+1) ψ(M+χ(M+χ(M)))
279 ψ(ΩI×3) ψ(M+ψχ(M+χ(M)+χ(M))(M+χ(M)+χ(M)))
280 ψ(ΩI×3+1) ψ(M+χ(M+χ(M)+χ(M)))
281 ψ(ΩψΩI+1I+1)) ψ(M+ψχ(M+ψχ(M+1)(M+1))(M+ψχ(M+1)(M+1))) =
ψ(M+χ(M+χ(M)χ(M)χ(M)χ(M)...)
282 ψ(ΩψΩI+1I+1)+1) ψ(M+χ(M+ψχ(M+1)(M+1)))
283 ψ(ΩψΩI+1I×2)+1) ψ(M+χ(M+ψχ(M+1)(M+χ(M))))
284 ψ(ΩψΩI+1ψΩI+1I+1)+1)+1) ψ(M+χ(M+ψχ(M+1)(M+χ(M+ψχ(M+1)(M+1)))
285 ψ(ΩΩI+1) ψ(M+ψχ(M+χ(M+1))(M+χ(M+1))) =
ψ(M+χ(M+ψχ(M+1)(M+χ(M+ψχ(M+1)(M+χ(M+...))))
286 ψ(ΩΩI+1+1) ψ(M+χ(M+χ(M+1)))
287 ψ(ΩΩI×2+1+1) ψ(M+χ(M+χ(M+χ(M))))
288 ψ(ΩΩΩI+1+1+1) ψ(M+χ(M+χ(M+χ(M+1))))
289 ψ(ΩΩΩI×2+1+1+1) ψ(M+χ(M+χ(M+χ(M+χ(M)))))
290 ψ(ΩΩΩΩI+1+1+1+1) ψ(M+χ(M+χ(M+χ(M+χ(M+1)))))
291 ψ(ψI2(0)) ψ(M×2) = ψ(M+M) = ψ(M+χ(M+χ(M+χ(M+χ(M+...)))))
292 ψ(ψI2(0)+1) ψ(M×2+1)
293 ψ(ψI2(0)+Ω) ψ(M×2+χ(0))
294 ψ(ψI2(0)+ψI(0)) ψ(M×2+ψχ(M)(M))
295 ψ(ψI2(0)+ψI(I)) ψ(M×2+ψχ(M)(M+χ(M)))
296 ψ(ψI2(0)+ψII+1)) ψ(M×2+ψχ(M)(M+χ(M+1)))
297 ψ(ψI2(0)+ψII×2)) ψ(M×2+ψχ(M)(M+χ(M+χ(M))))
298 ψ(ψI2(0)+ψII2(0))) ψ(M×2+ψχ(M)(M×2)) = ψ(M×2+ψχ(M)(M+χ(M+χ(M+...))))
299 ψ(ψI2(0)+ΩψII2(0))+1) ψ(M×2+χ(ψχ(M)(M×2)))
300 ψ(ψI2(0)+ψII2(0)+1)) ψ(M×2+ψχ(M)(M×2+1)) =
ψ(M×2+χ(χ(χ(χ(...ψχ(M)(M×2)...)))))
301 ψ(ψI2(0)+I) ψ(M×2+χ(M)) =
ψ(M×2+ψχ(M)(M×2+ψχ(M)(M×2+...)))
302 ψ(ψI2(0)+ψΩI+1I+1)) ψ(M×2+ψχ(M+1)(M+1))
303 ψ(ψI2(0)+ψΩI+1I×2)) ψ(M×2+ψχ(M+1)(M+χ(M)))
304 ψ(ψI2(0)+ψΩI+1I2(0))) ψ(M×2+ψχ(M+1)(M×2))
305 ψ(ψI2(0)+ψΩI+1I2(0)+ψΩI+1I2(0)))) ψ(M×2+ψχ(M+1)(M×2+ψχ(M+1)(M×2)))
306 ψ(ψI2(0)+ΩI+1) ψ(M×2+χ(M+1)) =
ψ(M×2+ψχ(M+1)(M×2+ψχ(M+1)(M×2+...)))
307 ψ(ψI2(0)+ψΩI+2I+2)) ψ(M×2+ψχ(M+2)(M+2))
308 ψ(ψI2(0)+ψΩI+2I2(0))) ψ(M×2+ψχ(M+2)(M×2))
309 ψ(ψI2(0)+ψΩI+2I2(0)+ψΩI+2I2(0)))) ψ(M×2+ψχ(M+2)(M×2+ψχ(M+2)(M×2)))
310 ψ(ψI2(0)+ΩI+2) ψ(M×2+χ(M+2)) =
ψ(M×2+ψχ(M+2)(M×2+ψχ(M+2)(M×2+...)))
311 ψ(ψI2(0)+ΩI+ω) ψ(M×2+ψχ(M+ω)(M+ω))
312 ψ(ψI2(0)+ΩI+ω+1) ψ(M×2+χ(M+ω)) =
ψ(M×2+ψχ(M+ω)(M×2+ψχ(M+ω)(M×2+...)))
313 ψ(ψI2(0)+ΩI+ψI(0)) ψ(M×2+ψχ(M+ψχ(M)(M))(M+ψχ(M)(M)))
314 ψ(ψI2(0)+ΩI+ψI(0)+1) ψ(M×2+χ(M+ψχ(M)(M)))
315 ψ(ψI2(0)+ΩI×2) ψ(M×2+ψχ(M+χ(M))(M+χ(M)))
316 ψ(ψI2(0)+ΩI×2+1) ψ(M×2+χ(M+χ(M)))
317 ψ(ψI2(0)×2) ψ(M×2+ψχ(M×2)(M×2)) = ψ(M×2+χ(M+χ(M+χ(M+χ(M+...)))))
318 ψ(ψI2(0)×ω) ψ(M×2+ψχ(M×2)(M×2)×ω) = ψ(M×2+ψχ(♦)(M×2+1))
♦ = M+ψχ(M×2)(M×2)
319 ψ(ψI2(0)2) ψ(M×2+ψχ(M×2)(M×2)2) = ψ(M×2+ψχ(♦)(M×2+ψχ(M×2)(M×2)))
♦ = M+ψχ(M×2)(M×2)
320 ψ(ψI2(0)ω) ψ(M×2+ψχ(M×2)(M×2)ω) = ψ(M×2+ψχ(♦)(M×2+ψχ(♦)(M×2+1)))
♦ = M+ψχ(M×2)(M×2)
321 ψ(ψI2(0)ψI2(0)) ψ(M×2+ψχ(M×2)(M×2)ψχ(M×2)(M×2)) =
ψ(M×2+ψχ(♦)(M×2+ψχ(♦)(M×2+ψχ(M×2)(M×2))))
♦ = M+ψχ(M×2)(M×2)
322 ψ(ΩψI2(0)+1) ψ(M×2+χ(M+ψχ(M×2)(M×2))) =
ψ(M×2+ψχ(♦)(M×2+ψχ(♦)(M×2+ψχ(♦)(M×2+...))))
♦ = M+ψχ(M×2)(M×2)
323 ψ(ΩψI2(0)+12) ψ(M×2+χ(M+ψχ(M×2)(M×2))2)
324 ψ(ΩψI2(0)+1ΩψI2(0)+1) ψ(M×2+χ(M+ψχ(M×2)(M×2))χ(M+ψχ(M×2)(M×2)))
325 ψ(ΩψI2(0)+2) ψ(M×2+χ(M+ψχ(M×2)(M×2)+1))
326 ψ(ΩψI2(0)+ω) ψ(M×2+ψχ(♦)(♦))
♦ = M+ψχ(M×2)(M×2)+ω
327 ψ(ΩψI2(0)+I) ψ(M×2+ψχ(♦)(♦))
♦ = M+ψχ(M×2)(M×2)+χ(M)
328 ψ(ΩψI2(0)+ΩI+1) ψ(M×2+ψχ(♦)(♦))
♦ = M+ψχ(M×2)(M×2)+χ(M+1)
329 ψ(ΩψI2(0)×2) ψ(M×2+ψχ(♦)(♦))
♦ = M+ψχ(M×2)(M×2)×2
330 ψ(ΩΩψI2(0)+1) ψ(M×2+ψχ(♦)(♦))
♦ = M+χ(M+ψχ(M×2)(M×2))
331 ψ(ΩΩψI2(0)+1+1) ψ(M×2+χ(M+χ(M+ψχ(M×2)(M×2))))
332 ψ(ΩΩΩψI2(0)+1+1+1) ψ(M×2+χ(M+χ(M+χ(M+ψχ(M×2)(M×2)))))
333 ψ(ψI2(1)) ψ(M×2+ψχ(M×2)(M×2+1)) =
ψ(M×2+χ(M+χ(M+χ(M+χ(M+...ψχ(M×2)(M×2)...)))))
334 ψ(ψI2(Ω)) ψ(M×2+ψχ(M×2)(M×2+χ(0)))
335 ψ(ψI2(I)) ψ(M×2+ψχ(M×2)(M×2+χ(M)))
336 ψ(ψI2I+1)) ψ(M×2+ψχ(M×2)(M×2+χ(M+1)))
337 ψ(ψI2I×2+1)) ψ(M×2+ψχ(M×2)(M×2+χ(M+χ(M))))
338 ψ(ψI2I2(0))) ψ(M×2+ψχ(M×2)(M×2+ψχ(M×2)(M×2)))
339 ψ(ψI2I2I2(0)))) ψ(M×2+ψχ(M×2)(M×2+ψχ(M×2)(M×2+ψχ(M×2)(M×2))))
340 ψ(I2) ψ(M×2+χ(M×2)) =
ψ(M×2+ψχ(M×2)(M×2+ψχ(M×2)(M×2+ψχ(M×2)(M×2+...))))
341 ψ(I2+1) ψ(M×2+χ(M×2)+1)
342 ψ(I2I(I2)) ψ(M×2+χ(M×2)+ψχ(M)(M×2+χ(M×2)))
343 ψ(I2ψI(I2)+1) ψ(M×2+χ(M×2)+χ(ψχ(M)(M×2+χ(M×2))))
344 ψ(I2I(I2+1)) ψ(M×2+χ(M×2)+ψχ(M)(M×2+χ(M×2)+1))
345 ψ(I2+I) ψ(M×2+χ(M×2)+χ(M))
346 ψ(I2I+1) ψ(M×2+χ(M×2)+χ(M+1))
347 ψ(I2I+2) ψ(M×2+χ(M×2)+χ(M+2))
348 ψ(I2I+ω) ψ(M×2+χ(M×2)+ψχ(M+ω)(M+ω))
349 ψ(I2I2(0)) ψ(M×2+χ(M×2)+ψχ(M×2)(M×2))
350 ψ(I2I2(1)) ψ(M×2+χ(M×2)+ψχ(M×2)(M×2+1))
351 ψ(I2I2I2(0))) ψ(M×2+χ(M×2)+ψχ(M×2)(M×2+ψχ(M×2)(M×2)))
352 ψ(I2I2(I2)) ψ(M×2+χ(M×2)+ψχ(M×2)(M×2+χ(M×2)))
353 ψ(I2ψI2(I2)+1) ψ(M×2+χ(M×2)+χ(ψχ(M×2)(M×2+χ(M×2))))
354 ψ(I2ψI2(I2)×2+1) ψ(M×2+χ(M×2)+χ(ψχ(M×2)(M×2+χ(M×2))×2))
355 ψ(I2I2(I2+1)) ψ(M×2+χ(M×2)+ψχ(M×2)(M×2+χ(M×2)+1))
356 ψ(I2I2(I2I2(0))) ψ(M×2+χ(M×2)+ψχ(M×2)(M×2+χ(M×2)+ψχ(M×2)(M×2)))
357 ψ(I2I2(I2I2(1))) ψ(M×2+χ(M×2)+ψχ(M×2)(M×2+χ(M×2)+ψχ(M×2)(M×2+1)))
358 ψ(I2×2) ψ(M×2+χ(M×2)+χ(M×2))
359 ψ(I22) ψ(M×2+χ(M×2)2)
360 ψ(I2ω) ψ(M×2+χ(M×2)ω)
361 ψ(I2Ω) ψ(M×2+χ(M×2)χ(0))
362 ψ(I2I) ψ(M×2+χ(M×2)χ(M))
363 ψ(I2I2) ψ(M×2+χ(M×2)χ(M×2))
364 ψ(I2I22) ψ(M×2+χ(M×2)χ(M×2)2)
365 ψ(I2I2ω) ψ(M×2+χ(M×2)χ(M×2)ω)
366 ψ(I2I2Ω) ψ(M×2+χ(M×2)χ(M×2)χ(0))
367 ψ(I2I2ψI(IIω)) ψ(M×2+χ(M×2)χ(M×2)ψχ(M)(M+χ(M)χ(M)ω))
368 ψ(I2I2I) ψ(M×2+χ(M×2)χ(M×2)χ(M))
369 ψ(I2I2ψI2(I2I2ω)) ψ(M×2+χ(M×2)χ(M×2)ψχ(M×2)(M×2+χ(M×2)χ(M×2)ω))
370 ψ(I2I2I2) ψ(M×2+χ(M×2)χ(M×2)χ(M×2))
371 ψ(I2I2I2×2) ψ(M×2+χ(M×2)χ(M×2)χ(M×2)×2)
372 ψ(I2I2I2+1) ψ(M×2+χ(M×2)χ(M×2)χ(M×2)+1)
373 ψ(I2I2I2×ω) ψ(M×2+χ(M×2)χ(M×2)χ(M×2)×ω)
374 ψ(I2I2I2I2) ψ(M×2+χ(M×2)χ(M×2)χ(M×2)χ(M×2))
375 ψ(ΩI2+1) ψ(M×2+χ(M×2+1)) = ψ(M×2+εχ(M×2)+1)
376 ψ(ΩI2+1×2) ψ(M×2+χ(M×2+1)×2)
377 ψ(ΩI2+12) ψ(M×2+χ(M×2+1)2)
378 ψ(ΩI2+1ω) ψ(M×2+χ(M×2+1)ω)
379 ψ(ΩI2+1ΩI2+1) ψ(M×2+χ(M×2+1)χ(M×2+1))
380 ψ(ΩI2+1ΩI2+1ΩI2+1) ψ(M×2+χ(M×2+1)χ(M×2+1)χ(M×2+1))
381 ψ(ΩI2+2) ψ(M×2+χ(M×2+2)) = ψ(M×2+εχ(M×2+1)+1)
382 ψ(ΩI2) ψ(M×2+ψχ(M×2+ω)(M×2+ω))
383 ψ(ΩI2+I) ψ(M×2+ψχ(M×2+χ(M))(M×2+χ(M)))
384 ψ(ΩI2I2(0)) ψ(M×2+ψχ(M×2+ψχ(M×2)(M×2))(M×2+ψχ(M×2)(M×2)))
385 ψ(ΩI2I2I2+1)+1) ψ(M×2+χ(M×2+ψχ(M×2)(M×2+χ(M×2+1))))
386 ψ(ΩI2×2) ψ(M×2+ψχ(M×2+χ(M×2))(M×2+χ(M×2))) =
ψ(M×2+χ(M×2+ψχ(M×2)(M×2+χ(M×2+ψχ(M×2)(...)))))
387 ψ(ΩI2×2+1) ψ(M×2+χ(M×2+χ(M×2)))
388 ψ(ΩΩI2+1+1) ψ(M×2+χ(M×2+χ(M×2+1)))
389 ψ(ΩΩI2×2+1+1) ψ(M×2+χ(M×2+χ(M×2+χ(M×2))))
390 ψ(ΩΩΩI2+1+1+1) ψ(M×2+χ(M×2+χ(M×2+χ(M×2+1))))
391 ψ(ψI3(0)) ψ(M×3) = ψ(M×2+M) = ψ(M×2+χ(M×2+χ(M×2+χ(M×2+...))))
392 ψ(ψI3(0)+ψI(0)) ψ(M×3+ψχ(M)(M))
393 ψ(ψI3(0)+ψII3(0))) ψ(M×3+ψχ(M)(M×3))
394 ψ(ψI3(0)+ΩψII3(0))+1) ψ(M×3+χ(ψχ(M)(M×3)))
395 ψ(ψI3(0)+ψII3(0)+1)) ψ(M×3+ψχ(M)(M×3+1)) =
ψ(M×3+χ(χ(χ(χ(...ψχ(M)(M×3)...)))))
396 ψ(ψI3(0)+I) ψ(M×3+χ(M)) =
ψ(M×3+ψχ(M)(M×3+ψχ(M)(M×3+...)))
397 ψ(ψI3(0)+ψI2(0)) ψ(M×2+ψχ(M×2)(M×2))
398 ψ(ψI2(0)+ψI2I3(0))) ψ(M×2+ψχ(M×2)(M×3))
399 ψ(ψI3(0)+ΩψI2I3(0))+1) ψ(M×2+χ(M+ψχ(M×2)(M×3)))
400 ψ(ψI3(0)+ψI2I3(0)+1)) ψ(M×2+ψχ(M×2)(M×3+1)) =
ψ(M×2+χ(M+χ(M+χ(M+χ(M+...ψχ(M×2)(M×3)...)))))
401 ψ(ψI3(0)+I2) ψ(M×3+χ(M×2)) =
ψ(M×3+ψχ(M×2)(M×3+ψχ(M×2)(M×3+...)))
402 ψ(ψI3(0)×2) ψ(M×2+ψχ(M×3)(M×3))
403 ψ(ΩψI3(0)+1) ψ(M×3+χ(M×2+ψχ(M×3)(M×3)))
404 ψ(ΩψI3(0)×2) ψ(M×3+ψχ(♦)(♦))
♦ = M×2+ψχ(M×3)(M×3)×2
405 ψ(ΩΩψI3(0)+1) ψ(M×3+ψχ(♦)(♦))
♦ = M×2+χ(M×2+ψχ(M×3)(M×3)
406 ψ(ΩΩψI3(0)+1+1) ψ(M×3+χ(M×2+χ(M×2+ψχ(M×3)(M×3))))
407 ψ(ψI3(1)) ψ(M×3+ψχ(M×3)(M×3+1)) =
ψ(M×3+χ(M×2+χ(M×2+χ(M×2+χ(M×2+...ψχ(M×3)(M×3)...)))))
408 ψ(ψI3I3(0))) ψ(M×3+ψχ(M×3)(M×3+ψχ(M×3)(M×3)))
409 ψ(I3) ψ(M×3+χ(M×3)) =
ψ(M×3+ψχ(M×3)(M×3+ψχ(M×3)(M×3+ψχ(M×3)(M×3+...))))
410 ψ(I3I3(I3)) ψ(M×3+χ(M×3)+ψχ(M×3)(M×3))
411 ψ(I3I3(I3+1)) ψ(M×3+χ(M×3)+ψχ(M×3)(M×3+1))
412 ψ(I3×2) ψ(M×3+χ(M×3)+χ(M×3))
413 ψ(I32) ψ(M×3+χ(M×3)2)
414 ψ(I3ω) ψ(M×3+χ(M×3)ω)
415 ψ(I3I3) ψ(M×3+χ(M×3)χ(M×3))
416 ψ(I3I3I3) ψ(M×3+χ(M×3)χ(M×3)χ(M×3))
417 ψ(ΩI3+1) ψ(M×3+χ(M×3+1)) = ψ(M×3+εχ(M×3)+1)
418 ψ(ΩI3×2+1) ψ(M×3+χ(M×3+χ(M×3)))
419 ψ(ψI4(0)) ψ(M×4) = ψ(M×3+M) = ψ(M×3+χ(M×3+χ(M×3+χ(M×3+...))))
420 ψ(I4) ψ(M×4+χ(M×4)) =
ψ(M×4+ψχ(M×4)(M×4+ψχ(M×4)(M×4+ψχ(M×4)(M×4+...))))
421 ψ(ψI5(0)) ψ(M×5) = ψ(M×4+M) = ψ(M×4+χ(M×4+χ(M×4+χ(M×4+...))))
422 ψ(I5) ψ(M×5+χ(M×5)) =
ψ(M×5+ψχ(M×5)(M×5+ψχ(M×5)(M×5+ψχ(M×5)(M×5+...))))
423 ψ(Iω) ψ(M×ω) = ψ(sup(M×n)|n<ω)
424 ψ(Iω+1) ψ(M×ω+1)
425 ψ(Iω+ψ(Ω)) ψ(M×ω+ψχ(0)(χ(0)))
426 ψ(Iω+ψ(Iω)) ψ(M×ω+ψχ(0)(M×ω))
427 ψ(Iω+ψ(Iω+1)) ψ(M×ω+ψχ(0)(M×ω+1))
428 ψ(Iω+Ω) ψ(M×ω+χ(0))
429 ψ(IωI(0)) ψ(M×ω+ψχ(M)(M))
430 ψ(IωI(Iω)) ψ(M×ω+ψχ(M)(M×ω))
431 ψ(IωψI(Iω)+1) ψ(M×ω+χ(ψχ(M)(M×ω)))
432 ψ(IωI(Iω+1)) ψ(M×ω+ψχ(M)(M×ω+1))
433 ψ(Iω+I) ψ(M×ω+χ(M))
434 ψ(IωΩI+1I+1)) ψ(M×ω+ψχ(M+1)(M+1))
435 ψ(IωΩI+1(Iω)) ψ(M×ω+ψχ(M+1)(M×ω))
436 ψ(IωΩI+1(IωΩI+1(Iω))) ψ(M×ω+ψχ(M+1)(M×ω+ψχ(M+1)(M×ω)))
437 ψ(IωΩI+1(IωΩI+1(Iω+1))) ψ(M×ω+ψχ(M+1)(M×ω+ψχ(M+1)(M×ω+1)))
438 ψ(IωΩI+1(IωΩI+1(IωΩI+1(Iω)))) ψ(M×ω+ψχ(M+1)(M×ω+ψχ(M+1)(M×ω+ψχ(M+1)(M×ω))))
439 ψ(IωI+1) ψ(M×ω+χ(M+1)) =
ψ(M×ω+ψχ(M+1)(M×ω+ψχ(M+1)(M×ω+ψχ(M+1)(M×ω+...))))
440 ψ(IωI+ω) ψ(M×ω+ψχ(M+ω)(M+ω))
441 ψ(IωΩI+ω+1(Iω)) ψ(M×ω+ψχ(M+ω)(M×ω))
442 ψ(IωI+ω+1) ψ(M×ω+χ(M+ω))
443 ψ(IωI2(0)) ψ(M×ω+ψχ(M×2)(M×2))
444 ψ(IωI2(Iω)) ψ(M×ω+ψχ(M×2)(M×ω))
445 ψ(IωψI2(Iω)+1) ψ(M×ω+χ(M+ψχ(M×2)(M×ω)))
446 ψ(IωI2(Iω+1)) ψ(M×ω+ψχ(M×2)(M×ω+1))
447 ψ(Iω+I2) ψ(M×ω+χ(M×2))
448 ψ(IωΩI2+1I2+1)) ψ(M×ω+ψχ(M×2+1)(M×2+1))
449 ψ(IωΩI2+1(Iω)) ψ(M×ω+ψχ(M×2+1)(M×ω))
450 ψ(IωΩI2+1(IωΩI2+1(Iω))) ψ(M×ω+ψχ(M×2+1)(M×ω+ψχ(M×2+1)(M×ω)))
451 ψ(IωΩI2+1(IωΩI2+1(Iω+1))) ψ(M×ω+ψχ(M×2+1)(M×ω+ψχ(M×2+1)(M×ω+1)))
452 ψ(IωI2+1) ψ(M×ω+χ(M+2)) =
ψ(M×ω+ψχ(M+2)(M×ω+ψχ(M+2)(M×ω+ψχ(M+2)(M×ω+...))))
453 ψ(IωI3(0)) ψ(M×ω+ψχ(M×3)(M×3))
454 ψ(Iω+I3) ψ(M×ω+χ(M×3))
455 ψ(Iω×2) ψ(M×ω+ψχ(M×ω)(M×ω))
456 ψ(Iω×ω) ψ(M×ω+ψχ(M×ω)(M×ω)×ω) =
ψ(M×ω+ψχ(M×ω)(M×ω+1))
457 ψ(Iω2) ψ(M×ω+ψχ(M×ω)(M×ω)2) =
ψ(M×ω+ψχ(M×ω)(M×ω+ψχ(M×ω)(M×ω)))
458 ψ(Iωω) ψ(M×ω+ψχ(M×ω)(M×ω)ω) =
ψ(M×ω+ψχ(M×ω)(M×ω+ψχ(M×ω)(M×ω+1)))
459 ψ(IωIω) ψ(M×ω+ψχ(M×ω)(M×ω)ψχ(M×ω)(M×ω)) =
ψ(M×ω+ψχ(M×ω)(M×ω+ψχ(M×ω)(M×ω+ψχ(M×ω)(M×ω))))
460 ψ(ΩIω+1) ψ(M×ω+χ(M×ω)) = ψ(M×ω+εψχ(M×ω)(M×ω)+1) =
ψ(M×ω+ψχ(M×ω)(M×ω+ψχ(M×ω)(M×ω+ψχ(M×ω)(M×ω+...))))
461 ψ(ΩIω+2) ψ(M×ω+χ(M×ω+1))
462 ψ(ΩIω+I) ψ(M×ω+ψχ(M×ω+χ(M))(M×ω+χ(M)))
463 ψ(ΩIω+I+1) ψ(M×ω+χ(M×ω+χ(M)))
464 ψ(ΩIω×2) ψ(M×ω+ψχ(M×ω+χ(M×ω))(M×ω+χ(M×ω)))
465 ψ(ΩIω×2+1) ψ(M×ω+χ(M×ω+χ(M×ω)))
466 ψ(ψIω+1(0)) ψ(M×(ω+1)) = ψ(M×ω+M) = ψ(M×ω+χ(M×ω+χ(M×ω+...)))
467 ψ(ψIω+1(0)+Iω) ψ(M×(ω+1)+ψχ(M×ω)(M×ω))
468 ψ(ψIω+1(0)+ψΩIω+1Iω+1))) ψ(M×(ω+1)+ψχ(M×ω)(M×ω+χ(M×ω))) =
ψ(M×(ω+1)+εψχ(M×ω)(M×ω)+1)
469 ψ(ψIω+1(0)+ψΩIω+1Iω+1(0)))) ψ(M×(ω+1)+ψχ(M×ω)(M×(ω+1)))
470 ψ(ψIω+1(0)+ΩIω+1) ψ(M×(ω+1)+χ(M×ω)) =
ψ(M×(ω+1)+ψχ(M×ω)(M×(ω+1)+ψχ(M×ω)(M×(ω+1)+...)))
471 ψ(ψIω+1(0)×2) ψ(M×(ω+1)+ψχ(M×(ω+1))(M×(ω+1)))
472 ψ(ΩψIω+1(0)+1) ψ(M×(ω+1)+χ(M×ω+ψχ(M×(ω+1))(M×(ω+1))))
473 ψ(ψIω+1(1)) ψ(M×(ω+1)+ψχ(M×(ω+1))(M×(ω+1)+1)) =
ψ(M×(ω+1)+χ(M×ω+χ(M×ω+χ(M×ω+...ψχ(M×(ω+1))(M×(ω+1))...))))
474 ψ(Iω+1) ψ(M×(ω+1)+χ(M×(ω+1))) =
ψ(M×(ω+1)+ψχ(M×(ω+1))(M×(ω+1)+ψχ(M×(ω+1))(M×(ω+1)+...)))
475 ψ(ψIω+2(0)) ψ(M×(ω+2)) = ψ(M×(ω+1)+M) =
ψ(M×(ω+1)+χ(M×(ω+1)+χ(M×(ω+1)+χ(M×(ω+1)+...))))
476 ψ(Iω+2) ψ(M×(ω+2)+χ(M×(ω+2)))
477 ψ(Iω×2) ψ(M×(ω×2))
478 ψ(ΩIω×2+1) ψ(M×(ω×2)+χ(M×(ω×2)))
479 ψ(ψIω×2+1(0)) ψ(M×(ω×2+1)) = ψ(M×(ω×2)+M)
480 ψ(Iω×2+1) ψ(M×(ω×2+1)+χ(M×(ω×2+1)))
481 ψ(Iω2) ψ(M×ω2)
482 ψ(Iωω) ψ(M×ωω)
483 ψ(Iε0) = ψ(Iψ(Ω)) ψ(M×ε0) = ψ(M×ψχ(0)(χ(0)))
484 ψ(Iψ(ψI(0))) ψ(M×ψχ(0)χ(M)(M))) = ψ(M×ψ(M))
485 ψ(Iψ(Iω)) ψ(M×ψχ(0)χ(M×ω)(M×ω))) = ψ(M×ψ(M×ω))
486 ψ(IΩ) ψ(M×χ(0)) =
ψ(M×ψ(M×ψ(M×ψ(M×...))))
487 ψ(IψI(0)) ψ(M×ψχ(M)(M))
488 ψ(IψI(IψI(0))) ψ(M×ψχ(M)(M×ψχ(M)(M)))
489 ψ(II) ψ(M×χ(M)) = ψ(M×ψχ(M)(M×ψχ(M)(M×ψχ(M)(M×...))))
490 ψ(ΩII+1) ψ(M×χ(M)+χ(M×χ(M)))
491 ψ(ψII+1(0)) ψ(M×(χ(M)+1)) = ψ(M×χ(M)+M)
492 ψ(II+1) ψ(M×(χ(M)+1)+χ(M×(χ(M)+1)))
493 ψ(ψII+2(0)) ψ(M×(χ(M)+2)) = ψ(M×(χ(M)+1)+M)
494 ψ(II+2) ψ(M×(χ(M)+2)+χ(M×(χ(M)+2)))
495 ψ(II+ω) ψ(M×(χ(M)+ω))
496 ψ(II×2) ψ(M×(χ(M)×2))
497 ψ(II2) ψ(M×χ(M)2)
498 ψ(IψΩI+1I+1)) ψ(M×ψχ(M+1)(M+1)) = ψ(M×εχ(M)+1)
499 ψ(IΩI+1) ψ(M×χ(M+1)) =
ψ(M×ψχ(M+1)(M×ψχ(M+1)(M×ψχ(M+1)(M×...))))
500 ψ(IΩI+12) ψ(M×χ(M+1)2)
501 ψ(IΩI+2) ψ(M×χ(M+2))
502 ψ(IΩI+ω) ψ(M×ψχ(M+ω)(M+ω))
503 ψ(IψI2(0)) ψ(M×ψχ(M×2)(M×2))
504 ψ(IψI2(Iω)) ψ(M×ψχ(M×2)(M×ω))
505 ψ(II2) ψ(M×χ(M×2)) =
ψ(M×ψχ(M×2)(M×ψχ(M×2)(M×ψχ(M×2)(M×...))))
506 ψ(II3) ψ(M×χ(M×3))
507 ψ(IIω) ψ(M×ψχ(M×ω)(M×ω))
508 ψ(IIω+1) ψ(M×χ(M×ω))
509 ψ(III) ψ(M×χ(M×χ(M)))
510 ψ(IIII) ψ(M×χ(M×χ(M×χ(M))))
511 ψ(ψI(2,0)(0)) = ψ(IIII...) ψ(M2) = ψ(M×M) = ψ(M×χ(M×χ(M×χ(M×χ(M×...)))))
512 ψ(ψI(2,0)(0)+ψI(0)) ψ(M2χ(M)(M))
513 ψ(ψI(2,0)(0)+ψI(I)) ψ(M2χ(M)(M+χ(M)))
514 ψ(ψI(2,0)(0)+ψI(I2)) ψ(M2χ(M)(M×2))
515 ψ(ψI(2,0)(0)+ψII(2,0)(0))) ψ(M2χ(M)(M2))
516 ψ(ψI(2,0)(0)+ΩψII(2,0)(0))+1) ψ(M2+χ(ψχ(M)(M2)))
517 ψ(ψI(2,0)(0)+ΩψII(2,0)(0))+2) ψ(M2+χ(ψχ(M)(M2)+1))
518 ψ(ψI(2,0)(0)+ψII(2,0)(0)+1)) ψ(M2χ(M)(M2+1))
519 ψ(ψI(2,0)(0)+I) ψ(M2+χ(M))
520 ψ(ψI(2,0)(0)+ψΩI+1I+1)) ψ(M2χ(M+1)(M+1))
521 ψ(ψI(2,0)(0)+ψΩI+1I(2,0)(0))) ψ(M2χ(M+1)(M2))
522 ψ(ψI(2,0)(0)+ΩI+1) ψ(M2+χ(M+1))
523 ψ(ψI(2,0)(0)+ψΩI+2I+2)) ψ(M2χ(M+2)(M+2))
524 ψ(ψI(2,0)(0)+ψΩI+2I(2,0)(0))) ψ(M2χ(M+2)(M2))
525 ψ(ψI(2,0)(0)+ΩI+2) ψ(M2+χ(M+2))
526 ψ(ψI(2,0)(0)+ΩI+ω) ψ(M2χ(M+ω)(M+ω))
527 ψ(ψI(2,0)(0)+ψΩI+ω+1I(2,0)(0))) ψ(M2χ(M+ω)(M2))
528 ψ(ψI(2,0)(0)+ΩI+ω+1) ψ(M2+χ(M+ω))
529 ψ(ψI(2,0)(0)+ψI2(0)) ψ(M2χ(M×2)(M×2))
530 ψ(ψI(2,0)(0)+ψI2I(2,0)(0))) ψ(M2χ(M×2)(M2))
531 ψ(ψI(2,0)(0)+ΩψI2I(2,0)(0))+1) ψ(M2+χ(M+ψχ(M×2)(M2)))
532 ψ(ψI(2,0)(0)+ψI2I(2,0)(0)+1)) ψ(M2χ(M×2)(M2+1))
533 ψ(ψI(2,0)(0)+I2) ψ(M2+χ(M×2))
534 ψ(ψI(2,0)(0)+ψΩI2+1I2+2)) ψ(M2χ(M×2+1)(M×2+1))
535 ψ(ψI(2,0)(0)+ψΩI2+1I(2,0)(0))) ψ(M2χ(M×2+1)(M2))
536 ψ(ψI(2,0)(0)+ψI3(0)) ψ(M2χ(M×3)(M×3))
537 ψ(ψI(2,0)(0)+ψI3I(2,0)(0))) ψ(M2χ(M×3)(M2))
538 ψ(ψI(2,0)(0)+ΩψI3I(2,0)(0))+1) ψ(M2+χ(M×2+ψχ(M×3)(M2)))
539 ψ(ψI(2,0)(0)+ψI3I(2,0)(0)+1)) ψ(M2χ(M×3)(M2+1))
540 ψ(ψI(2,0)(0)+I3) ψ(M2+χ(M×3))
541 ψ(ψI(2,0)(0)+ψΩI3+1I3+2)) ψ(M2χ(M×3+1)(M×3+1))
542 ψ(ψI(2,0)(0)+ψΩI3+1I(2,0)(0))) ψ(M2χ(M×3+1)(M2))
543 ψ(ψI(2,0)(0)+Iω) ψ(M2χ(M×ω)(M×ω))
544 ψ(ψI(2,0)(0)+ψΩIω+1I(2,0)(0))) ψ(M2χ(M×ω)(M2))
545 ψ(ψI(2,0)(0)+ΩIω+1) ψ(M2+χ(M×ω))
546 ψ(ψI(2,0)(0)×2) ψ(M2χ(M2)(M2))
547 ψ(ΩψI(2,0)(0)+1) ψ(M2+χ(M×ψχ(M2)(M2)))
548 ψ(ΩψI(2,0)(0)+2) ψ(M2+χ(M×ψχ(M2)(M2)+1))
549 ψ(ΩΩψI(2,0)(0)+1+1) ψ(M2+χ(M×ψχ(M2)(M2)+χ(M×ψχ(M2)(M2))))
550 ψ(ψI(1,ψI(2,0)(0)+1)(0)) ψ(M2χ(M×ψχ(M2)(M2)+M)(M×ψχ(M2)(M2)+M)) =
ψ(M2+χ(M×ψχ(M2)(M2)+χ(M×ψχ(M2)(M2)+...)))
551 ψ(ψI(1,ψI(2,0)(0)+1)(1)) ψ(M2χ(M×ψχ(M2)(M2)+M)(M×ψχ(M2)(M2)+M+1))
552 ψ(I(1,ψI(2,0)(0)+1)) ψ(M2+χ(M×ψχ(M2)(M2)+M))
553 ψ(ΩI(1,ψI(2,0)(0)+1)+1) ψ(M2+χ(M×ψχ(M2)(M2)+M+1)) 
554 ψ(ψI(1,ψI(2,0)(0)+2)(0)) ψ(M2χ(M×ψχ(M2)(M2)+M×2)(M×ψχ(M2)(M2)+M×2))
555 ψ(I(1,ψI(2,0)(0)+2)) ψ(M2+χ(M×ψχ(M2)(M2)+M×2))
556 ψ(ψI(1,ψI(2,0)(0)+3)(0)) ψ(M2χ(M×ψχ(M2)(M2)+M×3)(M×ψχ(M2)(M2)+M×3))
557 ψ(I(1,ψI(2,0)(0)+ω)) ψ(M2χ(M×ψχ(M2)(M2)+M×ω)(M×ψχ(M2)(M2)+M×ω))
558 ψ(I(1,ψI(2,0)(0)×2)) ψ(M2χ(M×(ψχ(M2)(M2)×2))(M×(ψχ(M2)(M2)×2)))
559 ψ(I(1,ΩψI(2,0)+1)) ψ(M2χ(M×χ(M×ψχ(M2)(M2)))(M×χ(M×ψχ(M2)(M2))))
560 ψ(I(1,ΩψI(2,0)+1+1)) ψ(M2+χ(M×χ(M×ψχ(M2)(M2))))
561 ψ(I(1,ψI(1,ψI(2,0)(0)+1)(0))) ψ(M2+χ(M×ψχ(M×ψχ(M2)(M2)+M)(M×ψχ(M2)(M2)+M)))
562 ψ(I(1,I(1,ψI(2,0)(0)+1))) ψ(M2+χ(M×χ(M×ψχ(M2)(M2)+M)))
563 ψ(I(1,I(1,ΩψI(2,0)+1+1))) ψ(M2+χ(M×χ(M×χ(M×ψχ(M2)(M2)))))
564 ψ(I(1,I(1,I(1,ψI(2,0)(0)+1)))) ψ(M2+χ(M×χ(M×χ(M×ψχ(M2)(M2)+M))))
565 ψ(I(1,I(1,I(1,ΩψI(2,0)+1+1)))) ψ(M2+χ(M×χ(M×χ(M×χ(M×ψχ(M2)(M2))))))
566 ψ(ψI(2,0)(1)) ψ(M2χ(M2)(M2+1)) =
ψ(M2+χ(M×χ(M×χ(M×χ(M×...ψχ(M2)(M2)...)))))
567 ψ(ψI(2,0)(ω)) ψ(M2χ(M2)(M2+ω))
568 ψ(ψI(2,0)(I)) ψ(M2χ(M2)(M2+χ(M)))
569 ψ(ψI(2,0)(I2)) ψ(M2χ(M2)(M2+χ(M×2)))
570 ψ(ψI(2,0)(Iω)) ψ(M2χ(M2)(M2χ(M×ω)(M×ω))))
571 ψ(ψI(2,0)I(2,0)(0))) ψ(M2χ(M2)(M2χ(M2)(M2)))) =
ψ(M2χ(M2)(M2+χ(M×χ(M×χ(M×...)))))
572 ψ(ψI(2,0)I(2,0)(1))) ψ(M2χ(M2)(M2χ(M2)(M2+1))) =
ψ(M2χ(M2)(M2+χ(M×χ(M×χ(M×χ(M×...ψχ(M2)(M2)...))))))
573 ψ(I(2,0)) ψ(M2+χ(M2)) =
ψ(M2χ(M2)(M2χ(M2)(M2χ(M2)(M2+...))))
574 ψ(I(2,0)+ψI(0)) ψ(M2+χ(M2)+ψχ(M)(M))
575 ψ(I(2,0)+ψII(2,0)(0))) ψ(M2+χ(M2)+ψχ(M)(M2))
576 ψ(I(2,0)+ψI(I(2,0))) ψ(M2+χ(M2)+ψχ(M)(M2+χ(M2)))
577 ψ(I(2,0)+ψI(I(2,0)+1)) ψ(M2+χ(M2)+ψχ(M)(M2+χ(M2)+1))
578 ψ(I(2,0)+ψΩI+1(I(2,0))) ψ(M2+χ(M2)+ψχ(M+1)(M2+χ(M2)))
579 ψ(I(2,0)+ψΩI2+1(I(2,0))) ψ(M2+χ(M2)+ψχ(M×2+1)(M2+χ(M2)))
580 ψ(I(2,0)+ψΩI3+1(I(2,0))) ψ(M2+χ(M2)+ψχ(M×3+1)(M2+χ(M2)))
581 ψ(I(2,0)+Iω) ψ(M2+χ(M2)+ψχ(M×ω)(M×ω))
582 ψ(I(2,0)+ψI(2,0)(0)) ψ(M2+χ(M2)+ψχ(M2)(M2))
583 ψ(I(2,0)+ψI(2,0)(I(2,0))) ψ(M2+χ(M2)+ψχ(M2)(M2+χ(M2)))
584 ψ(I(2,0)+ΩψI(2,0)(I(2,0))+1) ψ(M2+χ(M2)+χ(M×ψχ(M2)(M2+χ(M2))))
585 ψ(I(2,0)+ψI(1,ψI(2,0)(I(2,0))+1)(0)) ψ(M2+χ(M2)+ψχ(M×ψχ(M2)(M2+χ(M2))+M)(M×ψχ(M2)(M2+χ(M2))+M))
586 ψ(I(2,0)+I(1,ψI(2,0)(I(2,0))+1)) ψ(M2+χ(M2)+χ(M×ψχ(M2)(M2+χ(M2))+M))
587 ψ(I(2,0)+I(1,I(1,ψI(2,0)(I(2,0))+1))) ψ(M2+χ(M2)+χ(M×χ(M×ψχ(M2)(M2+χ(M2))+M)))
588 ψ(I(2,0)+ψI(2,0)(I(2,0)+1)) ψ(M2+χ(M2)+ψχ(M2)(M2+χ(M2)+1))
589 ψ(I(2,0)+ψI(2,0)(I(2,0)+ψI(2,0)(I(2,0)))) ψ(M2+χ(M2)+ψχ(M2)(M2+χ(M2)+ψχ(M2)(M2+χ(M2))))
590 ψ(I(2,0)×2) ψ(M2+χ(M2)×2) = ψ(M2+χ(M2)+χ(M2)) =
ψ(M2+χ(M2)+ψχ(M2)(M2+χ(M2)+ψχ(M2)(M2+χ(M2)+...)))
591 ψ(I(2,0)×ω) ψ(M2+χ(M2)×ω)
592 ψ(I(2,0)2) ψ(M2+χ(M2)2)
593 ψ(I(2,0)ω) ψ(M2+χ(M2)ω)
594 ψ(I(2,0)I(2,0)) ψ(M2+χ(M2)χ(M2))
595 ψ(I(2,0)I(2,0)2) ψ(M2+χ(M2)χ(M2)2)
596 ψ(I(2,0)I(2,0)ω) ψ(M2+χ(M2)χ(M2)ω)
597 ψ(I(2,0)I(2,0)I(2,0)) ψ(M2+χ(M2)χ(M2)χ(M2))
598 ψ(ΩI(2,0)+1) ψ(M2+χ(M2+1)) = ψ(M2χ(M2)+1) = ψ(M2+χ(M2)χ(M2)χ(M2)...)
599 ψ(ΩI(2,0)+ω) ψ(M2χ(M2+ω)(M2+ω))
600 ψ(ΩI(2,0)+ψI(2,0)(0)) ψ(M2χ(M2+ψχ(M2)(M2))(M2χ(M2)(M2)))
601 ψ(ΩI(2,0)+ψI(2,0)(I(2,0))) ψ(M2χ(M2χ(M2)(M2+χ(M2)))(M2χ(M2)(M2+χ(M2))))
602 ψ(ΩI(2,0)×2) ψ(M2χ(M2+χ(M2))(M2+χ(M2)))
603 ψ(ΩI(2,0)×2+1) ψ(M2+χ(M2+χ(M2)))
604 ψ(ΩΩI(2,0)+1+1) ψ(M2+χ(M2+χ(M2+1)))
605 ψ(ψI(1,I(2,0)+1)(0)) ψ(M2+M) = ψ(M2+χ(M2+χ(M2+χ(M2+χ(M2+...)))))
606 ψ(I(1,I(2,0)+1)) ψ(M2+M+χ(M2+M))
607 ψ(ψI(1,I(2,0)+2)(0)) ψ(M2+M×2) = ψ(M2+M+M)
608 ψ(I(1,I(2,0)+2)) ψ(M2+M×2+χ(M2+M×2))
609 ψ(I(1,I(2,0)+ω)) ψ(M2+M×ω)
610 ψ(I(1,I(2,0)+I)) ψ(M2+M×χ(M))
611 ψ(I(1,I(2,0)×2)) ψ(M2+M×χ(M2))
612 ψ(I(1,ΩI(2,0)+1)) ψ(M2+M×χ(M2+1))
613 ψ(I(1,ψI(1,I(2,0)+1)(0))) ψ(M2+M×χ(M2+M))
614 ψ(ψI(2,1)(0)) ψ(M2×2) = ψ(M2+M×M) =
ψ(M2+M×χ(M2+M×χ(M2+M×χ(M2+M×...))))
615 ψ(I(2,1)) ψ(M2×2+χ(M2×2))
616 ψ(ψI(2,2)(0)) ψ(M2×3) = ψ(M2×2+M2)
617 ψ(I(2,2)) ψ(M2×3+χ(M2×3))
618 ψ(I(2,ω)) ψ(M2×ω)
619 ψ(I(2,I(2,0))) ψ(M2×χ(M2))
620 ψ(I(2,I(2,I(2,0)))) ψ(M2×χ(M2×χ(M2)))
621 ψ(ψI(3,0)(0)) ψ(M3) = ψ(M2×M) = ψ(M2×χ(M2×χ(M2×χ(M2×...))))
622 ψ(ψI(3,0)(0)+ψI(0)) ψ(M3χ(M)(M))
623 ψ(ψI(3,0)(0)+ψII(3,0)(0))) ψ(M3χ(M)(M3))
624 ψ(ψI(3,0)(0)+ΩψII(3,0)(0))+1) ψ(M3+χ(ψχ(M)(M3)))
625 ψ(ψI(3,0)(0)+ΩψII(3,0)(0))+2) ψ(M3+χ(ψχ(M)(M3)+1))
626 ψ(ψI(3,0)(0)+ψII(3,0)(0)+1)) ψ(M3χ(M)(M3+1))
627 ψ(ψI(3,0)(0)+I) ψ(M3+χ(M))
628 ψ(ψI(3,0)(0)+ψI(2,0)(0)) ψ(M3χ(M2)(M2))
629 ψ(ψI(3,0)(0)+ψI(2,0)I(3,0)(0))) ψ(M3χ(M2)(M3))
630 ψ(ψI(3,0)(0)+ΩψI(2,0)I(3,0)(0))+1) ψ(M3+χ(M×ψχ(M2)(M3)))
631 ψ(ψI(3,0)(0)+ΩψI(2,0)I(3,0)(0))+2) ψ(M3+χ(M×ψχ(M2)(M3)+1))
632 ψ(ψI(3,0)(0)+IψI(2,0)I(3,0)(0))+1) ψ(M3+χ(M×ψχ(M2)(M3)+M))
633 ψ(ψI(3,0)(0)+IψI(2,0)I(3,0)(0))+2) ψ(M3+χ(M×ψχ(M2)(M3)+M×2))
634 ψ(ψI(3,0)(0)+ψI(2,0)I(3,0)(0)+1)) ψ(M3χ(M2)(M3+1))
635 ψ(ψI(3,0)(0)+I(2,0)) ψ(M3+χ(M2))
636 ψ(ψI(3,0)(0)×2) ψ(M3χ(M3)(M3))
637 ψ(ΩψI(3,0)(0)+1) ψ(M3+χ(M2×ψχ(M3)(M3)))
638 ψ(ΩΩψI(3,0)(0)+1+1) ψ(M3+χ(M2×ψχ(M3)(M3)+χ(M2×ψχ(M3)(M3))))
639 ψ(ψI(1,ψI(3,0)(0)+1)(0)) ψ(M3χ(M2×ψχ(M3)(M3)+M)(M2×ψχ(M3)(M3)+M))
640 ψ(I(1,ψI(3,0)(0)+1)) ψ(M3+χ(M2×ψχ(M3)(M3)+M))
641 ψ(I(1,ψI(3,0)(0)×2)) ψ(M3χ(♦)(♦))
♦ = M2×ψχ(M3)(M3)+M×ψχ(M3)(M3)
642 ψ(I(1,ΩψI(3,0)+1)) ψ(M3χ(♦)(♦))
♦ = M2×ψχ(M3)(M3)+M×χ(M2×ψχ(M3)(M3))
643 ψ(I(1,ΩψI(3,0)+1+1)) ψ(M3+χ(M2×ψχ(M3)(M3)+M×χ(M2×ψχ(M3)(M3)))
644 ψ(I(1,I(1,ψI(3,0)(0)+1))) ψ(M3+χ(M2×ψχ(M3)(M3)+M×χ(M2×ψχ(M3)(M3)+M))
645 ψ(ψI(2,ψI(3,0)(0)+1)(0)) ψ(M3χ(M2×ψχ(M3)(M3)+M2)(M2×ψχ(M3)(M3)+M2))
ψ(M3+χ(M2×ψχ(M3)(M3)+M×χ(M2×ψχ(M3)(M3)+M×χ(...)))
646 ψ(I(2,ψI(3,0)(0)+1)) ψ(M3+χ(M2×ψχ(M3)(M3)+M2))
647 ψ(ΩI(2,ψI(3,0)(0)+1)+1)) ψ(M3+χ(M2×ψχ(M3)(M3)+M2+1)))
648 ψ(I(1,I(2,ψI(3,0)(0)+1))) ψ(M3+χ(M2×ψχ(M3)(M3)+M2+M)))
649 ψ(I(2,ψI(3,0)(0)+2)) ψ(M3+χ(M2×ψχ(M3)(M3)+M2×2)))
650 ψ(I(2,I(2,ψI(3,0)(0)+1))) ψ(M3+χ(M2×χ(M2×ψχ(M3)(M3)+M2)))
651 ψ(I(2,I(2,ΩψI(3,0)+1+1))) ψ(M3+χ(M2×χ(M2×χ(M2×ψχ(M3)(M3))))
652 ψ(ψI(3,0)(1)) ψ(M3χ(M3)(M3+1)) =
ψ(M3+χ(M2×χ(M2×χ(M2×...ψχ(M3)(M3)...))))
653 ψ(ψI(3,0)I(3,0)(0))) ψ(M3χ(M3)(M3χ(M3)(M3)))) =
ψ(M3χ(M3)(M3+χ(M2×χ(M2×χ(M2×...)))))
654 ψ(I(3,0)) ψ(M3+χ(M3)) =
ψ(M3χ(M3)(M3χ(M3)(M3χ(M3)(M3+...))))
655 ψ(ΩI(3,0)+1) ψ(M3+χ(M3+1))
656 ψ(ΩI(3,0)×2+1) ψ(M3+χ(M3+χ(M3)))
657 ψ(ψI(1,I(3,0)+1)(0)) ψ(M3+M) = ψ(M3+χ(M3+χ(M3+χ(M3+χ(M3+...)))))
658 ψ(I(1,I(3,0)+1)) ψ(M3+M+χ(M3+M))
659 ψ(ψI(1,I(3,0)+2)(0)) ψ(M3+M×2)
660 ψ(I(1,I(3,0)+2)) ψ(M3+M×2+χ(M3+M×2))
661 ψ(I(1,I(3,0)+ω)) ψ(M3+M×ω)
662 ψ(I(1,I(3,0)+I)) ψ(M3+M×χ(M))
663 ψ(I(1,I(3,0)+I(2,0))) ψ(M3+M×χ(M2))
664 ψ(I(1,I(3,0)×2)) ψ(M3+M×χ(M3))
665 ψ(I(1,ψI(1,I(3,0)+1)(0))) ψ(M3+M×χ(M3+M))
666 ψ(ψI(2,I(3,0)+1)(0)) ψ(M3+M2) = ψ(M3+M×M) =
ψ(M3+M×χ(M3+M×χ(M3+M×χ(M3+M×...))))
667 ψ(I(2,I(3,0)+1)) ψ(M3+M2+χ(M3+M2))
668 ψ(I(2,I(3,0)+ω)) ψ(M3+M2×ω)
669 ψ(I(2,I(3,0)+I)) ψ(M3+M2×χ(M))
670 ψ(I(2,I(3,0)+I(2,0))) ψ(M3+M2×χ(M2))
671 ψ(I(2,I(3,0)×2)) ψ(M3+M2×χ(M3))
672 ψ(I(2,ψI(1,I(3,0)+1)(0))) ψ(M3+M2×χ(M3+M))
673 ψ(I(2,ψI(2,I(3,0)+1)(0))) ψ(M3+M2×χ(M3+M2))
674 ψ(ψI(3,1)(0)) ψ(M3×2) = ψ(M3+M3) = ψ(M3+M2×M) =
ψ(M3+M2×χ(M3+M2×χ(M3+M2×χ(M3+M2×...))))
675 ψ(I(3,1)) ψ(M3×2+χ(M3×2))
676 ψ(I(3,I(3,0))) ψ(M3×χ(M3))
677 ψ(ψI(4,0)(0)) ψ(M4) = ψ(M3×M) = ψ(M3×χ(M3×χ(M3×χ(M3×...))))
678 ψ(I(4,0)) ψ(M4+χ(M4))
679 ψ(ψI(5,0)(0)) ψ(M5) = ψ(M4×M) = ψ(M4×χ(M4×χ(M4×χ(M4×...))))
680 ψ(I(5,0)) ψ(M5+χ(M5))
681 ψ(ψI(ω,0)(0)) ψ(Mω) = ψ(sup(Mn)|n<ω)
682 ψ(ψI(ω,0)(0)+1) ψ(Mω+1)
683 ψ(ψI(ω,0)(0)+ε0) ψ(Mωχ(0)(0))
684 ψ(ψI(ω,0)(0)+Ω) ψ(Mω+χ(0))
685 ψ(ψI(ω,0)(0)+ψΩ22)) ψ(Mωχ(1)(χ(1)))
686 ψ(ψI(ω,0)(0)+ψΩ23)) ψ(Mωχ(1)(χ(2)))
687 ψ(ψI(ω,0)(0)+ψΩ2I(0))) ψ(Mωχ(1)(M))
688 ψ(ψI(ω,0)(0)+ψΩ2I(2,0)(0))) ψ(Mωχ(1)(M2))
689 ψ(ψI(ω,0)(0)+ψΩ2I(ω,0)(0))) ψ(Mωχ(1)(Mω))
690 ψ(ψI(ω,0)(0)+ψΩ2I(ω,0)(0)+ψΩ2I(ω,0)(0)))) ψ(Mωχ(1)(Mω)+ψχ(1)(Mω)))
691 ψ(ψI(ω,0)(0)+Ω2) ψ(Mω+χ(1))
692 ψ(ψI(ω,0)(0)+ψΩ33)) ψ(Mωχ(2)(χ(2)))
693 ψ(ψI(ω,0)(0)+ψΩ3I(ω,0)(0))) ψ(Mωχ(2)(M))
694 ψ(ψI(ω,0)(0)+ψΩ3I(ω,0)(0)+ψΩ3I(ω,0)(0)))) ψ(Mωχ(2)(Mωχ(2)(Mω)))
695 ψ(ψI(ω,0)(0)+Ωω) ψ(Mωχ(ω)(ω))
696 ψ(ψI(ω,0)(0)+ψI(0)) ψ(Mωχ(M)(M))
697 ψ(ψI(ω,0)(0)+ψI(I)) ψ(Mωχ(M)(M+χ(M)))
698 ψ(ψI(ω,0)(0)+ψII+1)) ψ(Mωχ(M)(M+χ(M+1)))
699 ψ(ψI(ω,0)(0)+ψII2(0))) ψ(Mωχ(M)(M×2))
700 ψ(ψI(ω,0)(0)+ψII(2,0)(0))) ψ(Mωχ(M)(M2))
701 ψ(ψI(ω,0)(0)+ψII(ω,0)(0))) ψ(Mωχ(M)(Mω))
702 ψ(ψI(ω,0)(0)+ΩψII(ω,0)(0))+1) ψ(Mω+χ(ψχ(M)(Mω)))
703 ψ(ψI(ω,0)(0)+ψII(ω,0)(0)+1)) ψ(Mωχ(M)(Mω+1))
704 ψ(ψI(ω,0)(0)+I) ψ(Mω+χ(M))
705 ψ(ψI(ω,0)(0)+ψΩI+1I+1)) ψ(Mωχ(M+1)(M+1))
706 ψ(ψI(ω,0)(0)+ψΩI+1I(ω,0)(0))) ψ(Mωχ(M+1)(Mω))
707 ψ(ψI(ω,0)(0)+ψΩI+1I(ω,0)(0)+ψΩI+1I(ω,0)(0)))) ψ(Mωχ(M+1)(Mωχ(M+1)(Mω)))
708 ψ(ψI(ω,0)(0)+ΩI+1) ψ(Mω+χ(M+1))
709 ψ(ψI(ω,0)(0)+ψΩI+2I+2)) ψ(Mωχ(M+2)(M+2))
710 ψ(ψI(ω,0)(0)+ψΩI+2I(ω,0)(0))) ψ(Mωχ(M+2)(Mω))
711 ψ(ψI(ω,0)(0)+ψΩI+2I(ω,0)(0)+ψΩI+2I(ω,0)(0)))) ψ(Mωχ(M+2)(Mωχ(M+2)(Mω)))
712 ψ(ψI(ω,0)(0)+ΩI+2) ψ(Mω+χ(M+2))
713 ψ(ψI(ω,0)(0)+ΩI+ω) ψ(Mωχ(M+ω)(M+ω))
714 ψ(ψI(ω,0)(0)+ψI2(0)) ψ(Mωχ(M×2)(M×2))
715 ψ(ψI(ω,0)(0)+I2) ψ(Mω+χ(M×2))
716 ψ(ψI(ω,0)(0)+ψΩI2+1I2+1)) ψ(Mωχ(M×2+1)(M×2+1))
717 ψ(ψI(ω,0)(0)+ψΩI2+1I(ω,0)(0))) ψ(Mωχ(M×2+1)(Mω))
718 ψ(ψI(ω,0)(0)+ψΩI2+1I(ω,0)(0)+ψΩI2+1I(ω,0)(0)))) ψ(Mωχ(M×2+1)(Mωχ(M×2+1)(Mω+χ(M×2))))
719 ψ(ψI(ω,0)(0)+I3) ψ(Mω+χ(M×3))
720 ψ(ψI(ω,0)(0)+ψΩI3+1I3+1)) ψ(Mωχ(M×3+1)(M×3+1))
721 ψ(ψI(ω,0)(0)+ψΩI3+1I(ω,0)(0))) ψ(Mωχ(M×3+1)(Mω))
722 ψ(ψI(ω,0)(0)+ψΩI3+1I(ω,0)(0)+ψΩI3+1I(ω,0)(0)))) ψ(Mωχ(M×3+1)(Mωχ(M×3+1)(Mω+χ(M×3))))
723 ψ(ψI(ω,0)(0)+Iω) ψ(Mωχ(M×ω)(M×ω))
724 ψ(ψI(ω,0)(0)+ψI(2,0)(0)) ψ(Mωχ(M2)(M2))
725 ψ(ψI(ω,0)(0)+ψI(2,0)I(ω,0)(0))) ψ(Mωχ(M2)(Mω))
726 ψ(ψI(ω,0)(0)+ΩψI(2,0)I(ω,0)(0))+1) ψ(Mω+χ(M×ψχ(M2)(Mω)))
727 ψ(ψI(ω,0)(0)+ψI(1,ψI(2,0)I(ω,0)(0))+1)(0)) ψ(Mωχ(M×ψχ(M2)(Mω)+M)(M×ψχ(M2)(Mω)+M)) =
ψ(Mω+χ(M×ψχ(M2)(Mω)+χ(M×ψχ(M2)(Mω)+...)))
728 ψ(ψI(ω,0)(0)+ψI(2,0)I(ω,0)(0)+1)) ψ(Mωχ(M2)(Mω+1)) =
ψ(M2+χ(M×χ(M×χ(M×χ(M×...ψχ(M2)(Mω)...)))))
729 ψ(ψI(ω,0)(0)+ I(2,0)) ψ(Mω+χ(M2))
730 ψ(ψI(ω,0)(0)+ψΩI(2,0)+1I(2,0)+1)) ψ(Mωχ(M2+1)(M2+1))
731 ψ(ψI(ω,0)(0)+ψΩI(2,0)+1I(ω,0)(0))) ψ(Mωχ(M2+1)(Mω))
732 ψ(ψI(ω,0)(0)+ψΩI(2,0)+1I(ω,0)(0)+ψΩI(2,0)+1I(ω,0)(0)))) ψ(Mωχ(M2+1)(Mωχ(M2+1)(Mω)))
733 ψ(ψI(ω,0)(0)+ΩI(2,0)+1) ψ(Mω+χ(M2+1))
734 ψ(ψI(ω,0)(0)+II(2,0)+1) ψ(Mω+χ(M2+M))
735 ψ(ψI(ω,0)(0)+I(2,ω)) ψ(Mωχ(M2×ω)(M2×ω))
736 ψ(ψI(ω,0)(0)+ψI(3,0)(0)) ψ(Mωχ(M3)(M3))
737 ψ(ψI(ω,0)(0)+ψI(3,0)I(ω,0)(0))) ψ(Mωχ(M3)(Mω))
738 ψ(ψI(ω,0)(0)+ΩψI(3,0)I(ω,0)(0))+1) ψ(Mω+χ(M2×ψχ(M3)(Mω)))
739 ψ(ψI(ω,0)(0)+ψI(3,0)I(ω,0)(0)+1)) ψ(Mωχ(M3)(Mω+1))
740 ψ(ψI(ω,0)(0)+ I(3,0)) ψ(Mω+χ(M3))
741 ψ(ψI(ω,0)(0)+ψΩI(3,0)+1I(3,0)+1)) ψ(Mωχ(M3+1)(M3+1))
742 ψ(ψI(ω,0)(0)+ψΩI(3,0)+1I(ω,0)(0))) ψ(Mωχ(M3+1)(Mω))
743 ψ(ψI(ω,0)(0)+ψΩI(3,0)+1I(ω,0)(0)+ψΩI(3,0)+1I(ω,0)(0)))) ψ(Mωχ(M3+1)(Mωχ(M3+1)(Mω)))
744 ψ(ψI(ω,0)(0)+ψI(4,0)(0)) ψ(Mωχ(M4)(M4))
745 ψ(ψI(ω,0)(0)+ψI(4,0)I(ω,0)(0))) ψ(Mωχ(M4)(Mω))
746 ψ(ψI(ω,0)(0)+ΩψI(4,0)I(ω,0)(0))+1) ψ(Mω+χ(M3×ψχ(M4)(Mω)))
747 ψ(ψI(ω,0)(0)+ψI(4,0)I(ω,0)(0)+1)) ψ(Mωχ(M4)(Mω+1))
748 ψ(ψI(ω,0)(0)+ψΩI(4,0)+1I(ω,0)(0)+ψΩI(4,0)+1I(ω,0)(0)))) ψ(Mωχ(M4+1)(Mωχ(M4+1)(Mω)))
749 ψ(ψI(ω,0)(0)×2) ψ(Mωχ(Mω)(Mω))
750 ψ(ψI(ω,0)(0)×ω) ψ(Mωχ(Mω)(Mω)×ω) =
ψ(Mωχ(Mω)(Mω+1))
751 ψ(ψI(ω,0)(0)2) ψ(Mωχ(Mω)(Mω)2) =
ψ(Mωχ(Mω)(Mωχ(Mω)(Mω)))
752 ψ(ψI(ω,0)(0)ω) ψ(Mωχ(Mω)(Mω)ω) =
ψ(Mωχ(Mω)(Mωχ(Mω)(Mω+1)))
753 ψ(ψI(ω,0)(0)ψI(ω,0)(0)) ψ(Mωχ(Mω)(Mω)ψχ(Mω)(Mω)) =
ψ(Mωχ(Mω)(Mωχ(Mω)(Mωχ(Mω)(Mω))))
754 ψ(ΩψI(ω,0)(0)+1) ψ(Mω+χ(Mω)) = ψ(Mωψχ(Mω)(Mω)+1) =
ψ(Mωχ(Mω)(Mωχ(Mω)(Mωχ(Mω)(Mω+...))))
755 ψ(ΩψI(ω,0)(0)+2) ψ(Mω+χ(Mω+1))
756 ψ(ΩψI(ω,0)(0)×2+1) ψ(Mω+χ(Mω+χ(Mω)))
757 ψ(ΩΩψI(ω,0)(0)+1+1) ψ(Mω+χ(Mω+χ(Mω+1)))
758 ψ(ψI(1,ψI(ω,0)(0)+1)(0)) ψ(Mω+M) =
ψ(Mω+χ(Mω+χ(Mω+χ(Mω+...))))
759 ψ(I(1,ψI(ω,0)(0)+1)) ψ(Mω+M+χ(Mω+M))
760 ψ(ΩI(1,ψI(ω,0)(0)+1)+1) ψ(Mω+M+χ(Mω+M+1))
761 ψ(ψI(1,ψI(ω,0)(0)+2)(0)) ψ(Mω+M×2) = ψ(Mω+M+M)  =
ψ(Mω+M+χ(Mω+M+χ(Mω+M+χ(Mω+M+...))))
762 ψ(ψI(1,I(1,ψI(ω,0)(0)+1))(0)) ψ(Mω+M×χ(Mω+M))
763 ψ(ψI(2,ψI(ω,0)(0)+1)(0)) ψ(Mω+M2) = ψ(Mω+M×M) =
ψ(Mω+M×χ(Mω+M×χ(Mω+M×...)))
764 ψ(I(2,ψI(ω,0)(0)+1)) ψ(Mω+M2+χ(Mω+M2))
765 ψ(ψI(2,I(2,ψI(ω,0)(0)+1))(0)) ψ(Mω+M2×χ(Mω+M2))
766 ψ(ψI(3,ψI(ω,0)(0)+1)(0)) ψ(Mω+M3) = ψ(Mω+M×M) =
ψ(Mω+M2×χ(Mω+M2×χ(Mω+M2×...)))
767 ψ(I(3,ψI(ω,0)(0)+1)) ψ(Mω+M3+χ(Mω+M3))
768 ψ(ψI(3,I(3,ψI(ω,0)(0)+1))(0)) ψ(Mω+M3×χ(Mω+M3))
769 ψ(ψI(ω,0)(1)) ψ(Mω×2) = ψ(Mω+Mω) = ψ(sup(Mω+Mn)|n<ω)
770 ψ(ψI(ω,0)(2)) ψ(Mω×3) = ψ(Mω×2+Mω) = ψ(sup(Mω×2+Mn)|n<ω)
771 ψ(ψI(ω,0)(ω)) ψ(Mω×ω)
772 ψ(ψI(ω,0)(Ω)) ψ(Mω×χ(0))
773 ψ(ψI(ω,0)(I)) ψ(Mω×χ(M))
774 ψ(ψI(ω,0)I(ω,0)(0))) ψ(Mω×ψχ(Mω)(Mω))
775 ψ(ψI(ω,0)ψI(ω,0)(0)+1)) ψ(Mω×χ(Mω))
776 ψ(ψI(ω,0)I(ω,0)ψI(ω,0)(0)+1))) ψ(Mω×χ(Mω×χ(Mω)))
777 ψ(I(ω,0)) ψ(Mω+1) = ψ(Mω×M) = ψ(Mω×χ(Mω×χ(Mω×χ(Mω×...))))
778 ψ(I(ω,0)+ψI(ω,0)(0)) ψ(Mω+1χ(Mω)(Mω))
779 ψ(I(ω,0)+ψΩψI(ω,0)(0)+1ψI(ω,0)(0)+1)) ψ(Mω+1χ(Mω)(Mω+χ(Mω))) = ψ(Mω+1ψχ(Mω)(Mω)+1) =
ψ(Mω+1χ(Mω)(Mωχ(Mω)(Mωχ(Mω)(Mω+...))))
780 ψ(I(ω,0)+ψΩψI(ω,0)(0)+1(I(ω,0))) ψ(Mω+1χ(Mω)(Mω+1))
781 ψ(I(ω,0)+ΩψI(ω,0)(0)+1) ψ(Mω+1+χ(Mω)) =
ψ(Mω+1χ(Mω)(Mω+1χ(Mω)(Mω+1χ(Mω)(Mω+1+...))))
782 ψ(I(ω,0)+ΩψI(ω,0)(0)+ω) ψ(Mω+1χ(Mω+ω)(Mω+ω))
783 ψ(I(ω,0)+ψI(1,ψI(ω,0)(0)+1)(0)) ψ(Mω+1χ(Mω+M)(Mω+M))
784 ψ(I(ω,0)+ψI(ω,0)(1)) ψ(Mω+1χ(Mω×2)(Mω×2))
785 ψ(I(ω,0)+ψI(ω,0)(I(ω,0))) ψ(Mω+1χ(Mω+1)(Mω+1))
786 ψ(I(ω,0)+ΩψI(ω,0)(I(ω,0))+1) ψ(Mω+1+χ(Mω×ψχ(Mω+1)(Mω+1)))
787 ψ(I(ω,0)+ψI(1,ψI(ω,0)(I(ω,0))+1)(0)) ψ(Mωχ(Mω×ψχ(Mω+1)(Mω+1)+M)(Mω×ψχ(Mω+1)(Mω+1)+M)) =
ψ(Mω+χ(Mω×ψχ(Mω+1)(Mω+1)+χ(Mω×ψχ(Mω+1)(Mω+1)+...)))
788 ψ(I(ω,0)+I(1,ψI(ω,0)(I(ω,0))+1)) ψ(Mω+χ(Mω×ψχ(Mω+1)(Mω+1)+M))
789 ψ(I(ω,0)+ψI(2,ψI(ω,0)(I(ω,0))+1)(0)) ψ(Mωχ(Mω×ψχ(Mω+1)(Mω+1)+M2)(Mω×ψχ(Mω+1)(Mω+1)+M2))
790 ψ(I(ω,0)+I(2,ψI(ω,0)(I(ω,0))+1)) ψ(Mω+χ(Mω×ψχ(Mω+1)(Mω+1)+M2))
791 ψ(I(ω,0)+ψI(3,ψI(ω,0)(I(ω,0))+1)(0)) ψ(Mωχ(Mω×ψχ(Mω+1)(Mω+1)+M3)(Mω×ψχ(Mω+1)(Mω+1)+M3))
792 ψ(I(ω,0)+I(3,ψI(ω,0)(I(ω,0))+1)) ψ(Mω+χ(Mω×ψχ(Mω+1)(Mω+1)+M3))
793 ψ(I(ω,0)+ψI(ω,0)(I(ω,0)+1)) ψ(Mωχ(Mω+1)(Mω+1+1)) =
ψ(sup(Mω+χ(Mω×ψχ(Mω+1)(Mω+1)+Mn))|n<ω)
794 ψ(I(ω,0)×2) ψ(Mω+1+χ(Mω+1)) =
ψ(Mω+1χ(Mω+1)(Mω+1χ(Mω+1)(Mωχ(Mω+1)(Mω+1+...))))
795 ψ(I(ω,0)×3) ψ(Mω+1+χ(Mω+1)×2)
796 ψ(ΩI(ω,0)+1) ψ(Mω+1+χ(Mω+1+1)) = ψ(Mω+1χ(Mω+1)+1) =
ψ(Mω+1+χ(Mω+1)χ(Mω+1)χ(Mω+1)...)
797 ψ(ψI(1,I(ω,0)+1)(0)) ψ(Mω+1+M) = ψ(Mω+1+χ(Mω+1+χ(Mω+1+χ(Mω+1...))))
798 ψ(I(1,I(ω,0)+1) ψ(Mω+1+M+χ(Mω+1+M))
799 ψ(ψI(2,I(ω,0)+1)(0)) ψ(Mω+1+M2) =
ψ(Mω+1+M×χ(Mω+1+M×χ(Mω+1+M×χ(Mω+1+M×...))))
800 ψ(I(2,I(ω,0)+1) ψ(Mω+1+M2+χ(Mω+1+M2))
801 ψ(ψI(ω,1)(0)) ψ(Mω+1+Mω) = ψ(sup(Mω+1+Mn)|n<ω)
802 ψ(I(ω,1)) ψ(Mω+1×2)
803 ψ(I(ω,1)×2) ψ(Mω+1×2+χ(Mω+1×2))
804 ψ(ψI(ω,2)(0)) ψ(Mω+1×2+Mω)
805 ψ(I(ω,2)) ψ(Mω+1×3)
806 ψ(I(ω,2)×2) ψ(Mω+1×3+χ(Mω+1×3))
807 ψ(I(ω,ω)) ψ(Mω+1×ω)
808 ψ(I(ω,ψI(ω,0)(0))) ψ(Mω+1×ψχ(Mω)(Mω))
809 ψ(I(ω,ΩψI(ω,0)(0)+1) ψ(Mω+1×χ(Mω))
810 ψ(I(ω,ψI(ω,0)(I(ω,0)))) ψ(Mω+1×ψχ(Mω+1)(Mω+1))
811 ψ(I(ω,ψI(ω,0)(I(ω,ψI(ω,0)(0))))) ψ(Mω+1×ψχ(Mω+1)(Mω+1+χ(Mω+1×ψχ(Mω+1)(Mω+1))))
812 ψ(I(ω,I(ω,0))) ψ(Mω+1×χ(Mω+1)) =
ψ(Mω+1×ψχ(Mω+1)(Mω+1+χ(Mω+1×ψχ(Mω+1)(Mω+1×...))))
813 ψ(I(ω,I(ω,I(ω,0)))) ψ(Mω+1×χ(Mω+1×χ(Mω+1)))
814 ψ(ψI(ω+1,0)(0)) ψ(Mω+2) = ψ(Mω+1×M) =
ψ(Mω+1×χ(Mω+1×χ(Mω+1×χ(Mω+1×χ(Mω+1×...)))))
815 ψ(ΩψI(ω+1,0)(0)+1) ψ(Mω+2+χ(Mω+1×ψχ(Mω+2)(Mω+2)))
816 ψ(I(ω+1,0)) ψ(Mω+2+χ(Mω+2))
817 ψ(ψI(ω+2,0)(0)) ψ(Mω+3) = ψ(Mω+2×M)
818 ψ(I(ω+2,0)) ψ(Mω+3+χ(Mω+3))
819 ψ(ψI(ω×2,0)(0)) ψ(Mω×2)
820 ψ(ΩψI(ω×2,0)(0)+1) ψ(Mω×2+χ(Mω×2))
821 ψ(I(ω×2,0)) ψ(Mω×2+1)
822 ψ(I(ω×2,0)×2) ψ(Mω×2+1+χ(Mω×2+1))
823 ψ(ψI(ω×2+1,0)(0)) ψ(Mω×2+2)
824 ψ(I(ω×2+1,0)) ψ(Mω×2+1+χ(Mω×2))
825 ψ(I(ω×3,0)) ψ(Mω×3)
826 ψ(ψI(ω2,0)(0)) ψ(Mω2)
827 ψ(ΩψI(ω2,0)(0)+1) ψ(Mω2+χ(Mω2))
828 ψ(I(ω2,0)) ψ(Mω2+1)
829 ψI(ωω,0)(0) ψ(Mωω)
830 ψ(ΩψI(ωω,0)(0)+1) ψ(Mωω+χ(Mωω))
831 ψ(I(ωω,0)) ψ(Mωω+1)
832 ψ(ψI(ε0,0)(0)) ψ(Mε0)
833 ψ(I(ε0,0)) ψ(Mε0+1)
834 ψ(ψI(Ω,0)(0)) ψ(Mχ(0))
835 ψ(I(Ω,0)) ψ(Mχ(0)+1)
836 ψ(ψI(Ω2,0)(0)) ψ(Mχ(1))
837 ψ(I(Ω2,0)) ψ(Mχ(1)+1)
838 ψ(ψI(I,0)(0)) ψ(Mχ(M))
839 ψ(I(I,0)) ψ(Mχ(M)+1)
840 ψ(ψI(I(2,0),0)(0)) ψ(Mχ(M2))
841 ψ(I(I(2,0),0)) ψ(Mχ(M2)+1)
842 ψ(ψI(ψI(ω,0)(0),0)(0)) ψ(Mψχ(Mω)(Mω))
843 ψ(I(ψI(ω,0)(0),0)) ψ(Mψχ(Mω)(Mω)+1)
844 ψ(I(ψI(ω,0)(0),0)×2) ψ(Mψχ(Mω)(Mω)+1+χ(Mψχ(Mω)(Mω)+1))
845 ψ(ψI(ψI(ω,0)(0),1)(0)) ψ(Mψχ(Mω)(Mω)+1+Mψχ(Mω)(Mω))
846 ψ(I(ψI(ω,0)(0),1)) ψ(Mψχ(Mω)(Mω)+1×2)
847 ψ(ψI(ψI(ω,0)(0)+1,0)(0)) ψ(Mψχ(Mω)(Mω)+2)
848 ψ(I(ψI(ω,0)(0)+1,0)) ψ(Mψχ(Mω)(Mω)+2+χ(Mψχ(Mω)(Mω)+2))
849 ψ(ψI(ψI(ω,0)(0)+ω,0)(0)) ψ(Mψχ(Mω)(Mω)+ω)
850 ψ(I(ψI(ω,0)(0)+ω,0)) ψ(Mψχ(Mω)(Mω)+ω+1)
851 ψ(ψI(ψI(ω,0)(0)×2,0)(0)) ψ(Mψχ(Mω)(Mω)×2)
852 ψ(I(ψI(ω,0)(0)×2,0)) ψ(Mψχ(Mω)(Mω)×2+1)
853 ψ(ψI(ψI(ω,0)(0)×ω,0)(0)) ψ(Mψχ(Mω)(Mω+1)) = ψ(Mψχ(Mω)(Mω)×ω)
854 ψ(I(ψI(ω,0)(0)×ω,0)) ψ(Mψχ(Mω)(Mω+1)+1)
855 ψ(ψI(ΩψI(ω,0)(0)+1,0)(0)) ψ(Mχ(Mω))
856 ψ(I(ΩψI(ω,0)(0)+1,0)) ψ(Mχ(Mω)+1)
857 ψ(ψI(ψI(ω,0)(1),0)(0)) ψ(Mψχ(Mω×2)(Mω×2))
858 ψ(I(ψI(ω,0)(1),0)) ψ(Mψχ(Mω×2)(Mω×2)+1)
859 ψ(ψI(ψI(ω,0)(I(ω,0)),0)(0)) ψ(Mψχ(Mω+1)(Mω+1))
860 ψ(I(ψI(ω,0)(I(ω,0)),0)) ψ(Mψχ(Mω+1)(Mω+1)+1)
861 ψ(ψI(I(ω,0),0)(0)) ψ(Mχ(Mω+1))
862 ψ(ψI(I(ω,0),0)(1)) ψ(Mχ(Mω+1)×2)
863 ψ(I(I(ω,0),0)) ψ(Mχ(Mω+1)+1)
864 ψ(ψI(ψI(ψI(ω,0)(0),0)(0),0)(0)) ψ(Mχ(Mψχ(Mω)(Mω)))
865 ψ(I(ψI(ψI(ω,0)(0),0)(0),0)) ψ(Mχ(Mψχ(Mω)(Mω))+1)
866 ψ(I(ψI(ψI(ω,0)(0),0)(0),0)×2) ψ(Mχ(Mψχ(Mω)(Mω))+1+χ(Mχ(Mψχ(Mω)(Mω))+1))
867 ψ(ψI(ψI(ψI(ω,0)(0),0)(0),1)(0)) ψ(Mχ(Mψχ(Mω)(Mω))+1+Mχ(Mψχ(Mω)(Mω)))
868 ψ(I(ψI(ψI(ω,0)(0),0)(0),1)) ψ(Mχ(Mψχ(Mω)(Mω))+1×2)
869 ψ(ψI(ψI(ψI(ω,0)(0),0)(0)+1,0)(0)) ψ(Mχ(Mψχ(Mω)(Mω))+2)
870 ψ(I(ψI(ψI(ω,0)(0),0)(0)+1,0)) ψ(Mχ(Mψχ(Mω)(Mω))+2+χ(Mχ(Mψχ(Mω)(Mω))+2))
871 ψ(ψI(ψI(ψI(ω,0)(0),0)(0)×2,0)(0)) ψ(Mχ(Mψχ(Mω)(Mω))×2)
872 ψ(I(ψI(ψI(ω,0)(0),0)(0)×2,0)) ψ(Mχ(Mψχ(Mω)(Mω))×2+1)
873 ψ(ψI(ψI(ψI(ω,0)(0),0)(0)×ω,0)(0)) ψ(Mχ(Mψχ(Mω)(Mω))×ω)
874 ψ(I(ψI(ψI(ω,0)(0),0)(0)×ω,0)) ψ(Mχ(Mψχ(Mω)(Mω))×ω+1)
875 ψ(ψI(ΩψI(ψI(ω,0)(0),0)(0)+1,0)(0)) ψ(Mχ(Mψχ(Mω)(Mω)+1))
876 ψ(I(ΩψI(ψI(ω,0)(0),0)(0)+1,0)) ψ(Mχ(Mψχ(Mω)(Mω)+1)+1)
877 ψ(ψI(ψI(ψI(ω,0)(0),0)(1),0)(0)) ψ(Mχ(Mψχ(Mω)(Mω)×2))
878 ψ(I(ψI(ψI(ω,0)(0),0)(1),0)) ψ(Mχ(Mψχ(Mω)(Mω)×2)+1)
879 ψ(ψI(ψI(ψI(ω,0)(0),0)(I(ψI(ω,0)(0),0)),0)(0)) ψ(Mχ(Mψχ(Mω)(Mω)×χ(Mψχ(Mω)(Mω)+1)))
880 ψ(I(ψI(ψI(ω,0)(0),0)(I(ψI(ω,0)(0),0)),0)) ψ(Mχ(Mψχ(Mω)(Mω)×χ(Mψχ(Mω)(Mω)+1))+1)
881 ψ(ψI(I(ψI(ω,0)(0),0),0)(0)) ψ(Mχ(Mψχ(Mω)(Mω)+1)) = ψ(Mχ(Mψχ(Mω)(Mω)×M)) =
ψ(Mχ(Mψχ(Mω)(Mω)×χ(Mψχ(Mω)(Mω)×...)))
882 ψ(I(I(ψI(ω,0)(0),0),0)) ψ(Mχ(Mψχ(Mω)(Mω)+1)+1)
883 ψ(ψI(I(ψI(ω,0)(0),0),1)(0)) ψ(Mχ(Mψχ(Mω)(Mω)+1)+1+Mχ(Mψχ(Mω)(Mω)+1))
884 ψ(I(I(ψI(ω,0)(0),0),1)) ψ(Mχ(Mψχ(Mω)(Mω)+1)+1×2)
885 ψ(ψI(I(ψI(ω,0)(0),0)+1,0)(0)) ψ(Mχ(Mψχ(Mω)(Mω)+1)+2)
886 ψ(I(I(ψI(ω,0)(0),0)+1,0)) ψ(Mχ(Mψχ(Mω)(Mω)+1)+2+χ(Mχ(Mψχ(Mω)(Mω)+1)+2))
887 ψ(ψI(I(ψI(ω,0)(0),0)×2,0)(0)) ψ(Mχ(Mψχ(Mω)(Mω)+1)×2)
888 ψ(I(I(ψI(ω,0)(0),0)×2,0)) ψ(Mχ(Mψχ(Mω)(Mω)+1)×2+1)
889 ψ(ψI(I(ψI(ω,0)(0),0)×ω,0)(0)) ψ(Mχ(Mψχ(Mω)(Mω)+1)×ω)
890 ψ(I(I(ψI(ω,0)(0),0)×ω,0)) ψ(Mχ(Mψχ(Mω)(Mω)+1)×ω+1)
891 ψ(ψI(ΩI(ψI(ω,0)(0),0)+1,0)(0)) ψ(Mχ(Mψχ(Mω)(Mω)+1+1))
892 ψ(I(ΩI(ψI(ω,0)(0),0)+1,0)) ψ(Mχ(Mψχ(Mω)(Mω)+1+1)+1)
893 ψ(ψI(ψI(ψI(ω,0)(0),1)(0),0)(0)) ψ(Mχ(Mψχ(Mω)(Mω)+1+Mψχ(Mω)(Mω)))
894 ψ(I(ψI(ψI(ω,0)(0),1)(0),0)) ψ(Mχ(Mψχ(Mω)(Mω)+1+Mψχ(Mω)(Mω))+1)
895 ψ(ψI(I(ψI(ω,0)(0),1),0)(0)) ψ(Mχ(Mψχ(Mω)(Mω)+1×2))
896 ψ(I(I(ψI(ω,0)(0),1),0)) ψ(Mχ(Mψχ(Mω)(Mω)+1×2)+1)
897 ψ(ψI(ψI(ψI(ω,0)(0)+1,0)(0),0)(0)) ψ(Mχ(Mψχ(Mω)(Mω)+2))
898 ψ(I(ψI(ψI(ω,0)(0)+1,0)(0),0)) ψ(Mχ(Mψχ(Mω)(Mω)+2)+1)
899 ψ(ψI(I(ψI(ω,0)(0)+1,0),0)(0)) ψ(Mχ(Mψχ(Mω)(Mω)+2+χ(Mψχ(Mω)(Mω)+2))+1)
900 ψ(I(I(ψI(ω,0)(0)+1,0),0)) ψ(Mχ(Mψχ(Mω)(Mω)+2+χ(Mψχ(Mω)(Mω)+2)+1)+1)
901 ψ(ψI(ψI(ψI(ω,0)(0)×2,0)(0),0)(0)) ψ(Mχ(Mψχ(Mω)(Mω)×2))
902 ψ(I(ψI(ψI(ω,0)(0)×2,0)(0),0)) ψ(Mχ(Mψχ(Mω)(Mω)×2)+1)
903 ψ(ψI(I(ψI(ω,0)(0)×2,0),0)(0)) ψ(Mχ(Mψχ(Mω)(Mω)×2+1))
904 ψ(I(I(ψI(ω,0)(0)×2,0),0)) ψ(Mχ(Mψχ(Mω)(Mω)×2+1)+1)
905 ψ(ψI(ψI(ψI(ω,0)(0)×ω,0)(0),0)(0)) ψ(Mχ(Mψχ(Mω)(Mω+1)))
906 ψ(I(ψI(ψI(ω,0)(0)×ω,0)(0),0)) ψ(Mχ(Mψχ(Mω)(Mω+1))+1)
907 ψ(ψI(I(ψI(ω,0)(0)×ω,0),0)(0)) ψ(Mχ(Mψχ(Mω)(Mω+1)+1))
908 ψ(I(I(ψI(ω,0)(0)×ω,0),0)) ψ(Mχ(Mψχ(Mω)(Mω+1)+1)+1)
909 ψ(ψI(ψI(ΩψI(ω,0)(0)+1,0)(0),0)(0)) ψ(Mχ(Mχ(Mω))) = ψ(Mχ(Mψχ(Mω)(Mχ(Mψχ(Mω)(M...)))))
910 ψ(I(ψI(ΩψI(ω,0)(0)+1,0)(0),0)) ψ(Mχ(Mχ(Mω))+1)
911 ψ(ψI(I(ΩψI(ω,0)(0)+1,0),0)(0)) ψ(Mχ(Mχ(Mω)+1))
912 ψ(I(I(ΩψI(ω,0)(0)+1,0),0)) ψ(Mχ(Mχ(Mω)+1)+1)
913 ψ(ψI(ψI(ψI(ω,0)(1),0)(0),0)(0)) ψ(Mχ(Mψχ(Mω×2)(Mω×2)))
914 ψ(I(ψI(ψI(ω,0)(1),0)(0),0)) ψ(Mχ(Mψχ(Mω×2)(Mω×2))+1)
915 ψ(ψI(I(ψI(ω,0)(1),0),0)(0)) ψ(Mχ(Mψχ(Mω×2)(Mω×2)+1))
916 ψ(I(I(ψI(ω,0)(1),0),0)) ψ(Mχ(Mψχ(Mω×2)(Mω×2)+1)+1)
917 ψ(ψI(ψI(ψI(ω,0)(I(ω,0)),0)(0),0)(0)) ψ(Mχ(Mψχ(Mω+1)(Mω+1)))
918 ψ(I(ψI(ψI(ω,0)(I(ω,0)),0)(0),0)) ψ(Mχ(Mψχ(Mω+1)(Mω+1))+1)
919 ψ(ψI(I(ψI(ω,0)(I(ω,0)),0),0)(0)) ψ(Mχ(Mψχ(Mω+1)(Mω+1)+1))
920 ψ(I(I(ψI(ω,0)(I(ω,0)),0),0)) ψ(Mχ(Mψχ(Mω+1)(Mω+1)+1)+1)
921 ψ(ψI(ψI(I(ω,0),0)(0),0)(0)) ψ(Mχ(Mχ(Mω+1))) = ψ(Mχ(Mψχ(Mω+1)(Mχ(Mψχ(Mω+1)(M...)))))
922 ψ(I(ψI(I(ω,0),0)(0),0)) ψ(Mχ(Mχ(Mω+1))+1)
923 ψ(ψI(ψI(I(ω,0),0)(1),0)(0)) ψ(Mχ(Mχ(Mω+1)×2))
924 ψ(I(ψI(I(ω,0),0)(1),0)) ψ(Mχ(Mχ(Mω+1)×2)+1)
925 ψ(ψI(ψI(I(ω,0),0)(I(I(ω,0),0)),0)(0)) ψ(Mχ(Mχ(Mω+1)×χ(Mχ(Mω+1))))
926 ψ(I(ψI(I(ω,0),0)(I(I(ω,0),0)),0)) ψ(Mχ(Mχ(Mω+1)×χ(Mχ(Mω+1)))+1)
927 ψ(ψI(I(I(ω,0),0),0)(0)) ψ(Mχ(Mχ(Mω+1)+1))
928 ψ(I(I(I(ω,0),0),0)) ψ(Mχ(Mχ(Mω+1)+1)+1)
929 ψ(ψI(1,0,0)(0)) ψ(MM) = ψ(Mχ(Mχ(Mχ(M...)))) = ψ(Mχ(Mχ(Mχ(M...)+1)+1)+1)
930 ψ(ψI(1,0,0)(0)+ψI(ω,0)(0)) ψ(MMχ(Mω)(Mω))
931 ψ(I(ω,0)+ψΩψI(ω,0)(0)+1I(1,0,0)(0))) ψ(MMχ(Mω)(MM))
932 ψ(ψI(1,0,0)(0)+ΩψI(ω,0)(0)+1) ψ(MM+χ(Mω))
933 ψ(ψI(1,0,0)(0)+ψI(ω,0)(1)) ψ(MMχ(Mω×2)(Mω×2))
934 ψ(ψI(1,0,0)(0)+ψI(ω,0)(I(ω,0))) ψ(MMχ(Mω+1)(Mω+1))
935 ψ(ψI(1,0,0)(0)+ψI(ω,0)I(1,0,0)(0))) ψ(MMχ(Mω+1)(MM))
936 ψ(ψI(1,0,0)(0)+I(ω,0)) ψ(MM+χ(Mω+1))
937 ψ(ψI(1,0,0)(0)+I(I(ω,0),0)) ψ(MM+χ(Mχ(Mω+1)+1))
938 ψ(ψI(1,0,0)(0)×2) ψ(MMχ(MM)(MM))
939 ψ(ΩψI(1,0,0)(0)+1) ψ(MM+χ(Mψχ(MM)(MM)))
940 ψ(ψI(1,ψI(1,0,0)(0)+1)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+M
941 ψ(I(1,ψI(1,0,0)(0)+1)) ψ(MM+χ(Mψχ(MM)(MM)+M))
942 ψ(ψI(2,ψI(1,0,0)(0)+1)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+M2
943 ψ(I(2,ψI(1,0,0)(0)+1)) ψ(MM+χ(Mψχ(MM)(MM)+M2))
944 ψ(ψI(ω,ψI(1,0,0)(0)+1)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+Mω
945 ψ(I(ω,ψI(1,0,0)(0)+1)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+Mω+1
946 ψ(I(ψI(ω,0)(0),ψI(1,0,0)(0)+1)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+Mψχ(Mω)(Mω)+1
947 ψ(I(I(ω,0),ψI(1,0,0)(0)+1)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+Mχ(Mω+1)+1
948 ψ(I(ψI(ψI(ω,0)(0),0)(0),ψI(1,0,0)(0)+1)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+Mχ(Mψχ(Mω)(Mω))+1
949 ψ(I(I(ψI(ω,0)(0),0),ψI(1,0,0)(0)+1)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+Mχ(Mψχ(Mω)(Mω)+1)+1
950 ψ(I(I(I(ω,0),0),ψI(1,0,0)(0)+1)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+Mχ(Mχ(Mω+1)+1)+1)
951 ψ(ψI(ψI(1,0,0)(0),1)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)×2
952 ψ(ψI(ψI(1,0,0)(0),1)(1)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)×3
953 ψ(I(ψI(1,0,0)(0),1)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+1
954 ψ(I(ω,I(ψI(1,0,0)(0),1)+1)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+1+Mω+1
955 ψ(ψI(ψI(1,0,0)(0),2)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+1+Mψχ(MM)(MM)
956 ψ(ψI(ψI(1,0,0)(0),2)(1)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+1+Mψχ(MM)(MM)×2
957 ψ(I(ψI(1,0,0)(0),2)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+1×2
958 ψ(ψI(ψI(1,0,0)(0)+1,0)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+2
959 ψ(I(ψI(1,0,0)(0)+1,0)) ψ(MM+χ(Mψχ(MM)(MM)+2))
960 ψ(ψI(ψI(1,0,0)(0)+2,0)(0) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+2
961 ψ(I(ψI(1,0,0)(0)+2,0)) ψ(MM+χ(Mψχ(MM)(MM)+3))
962 ψ(ψI(ψI(1,0,0)(0)+ω,0)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+ω
963 ψ(I(ψI(1,0,0)(0)+ω,0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)+ω+1
964 ψ(ψI(ψI(1,0,0)(0)×2,0)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)×2
965 ψ(I(ψI(1,0,0)(0)×2,0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)×2+1
966 ψ(ψI(ψI(1,0,0)(0)×ω,0)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)×ω
967 ψ(I(ψI(1,0,0)(0)×ω,0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)×ω+1
968 ψ(ψI(ψI(1,0,0)(0)2,0)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)2
969 ψ(I(ψI(1,0,0)(0)2,0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)2+1
970 ψ(ψI(ψI(1,0,0)(0)ω,0)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)ω
971 ψ(I(ψI(1,0,0)(0)ω,0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(MM)(MM)ω+1
972 ψ(ψI(ΩψI(1,0,0)(0)+1,0)(0)) ψ(MMχ(♦)(♦))
♦ = Mχ(Mψχ(MM)(MM))
973 ψ(ΩψI(ΩψI(1,0,0)(0)+1,0)(0)+1) ψ(MM+χ(Mχ(Mψχ(MM)(MM)))
974 ψ(I(ΩψI(1,0,0)(0)+1,0)) ψ(MMχ(♦)(♦))
♦ = Mχ(Mψχ(MM)(MM))+1
975 ψ(ΩI(ΩψI(1,0,0)(0)+1,0)+1) ψ(MM+χ(Mχ(Mψχ(MM)(MM))+1)
976 ψ(ψI(ψI(1,ψI(1,0,0)(0)+1)(0),0)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(♥)(♥)
♥ = Mψχ(MM)(MM)+M
977 ψ(I(ψI(1,ψI(1,0,0)(0)+1)(0),0)) ψ(MM+χ(Mψχ(♦)(♦)))
♦ = Mψχ(MM)(MM)+M
978 ψ(ψI(IψI(1,0,0)(0)+1,0)(0)) ψ(MM+χ(Mχ(Mψχ(MM)(MM)+M))
979 ψ(I(II(ψI(1,0,0)(0)+1,0)) ψ(MM+χ(Mχ(Mψχ(MM)(MM)+M)+1)
980 ψ(ψI(ψI(2,ψI(1,0,0)(0)+1)(0),0)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(♥)(♥)
♥ = Mψχ(MM)(MM)+M2
981 ψ(I(ψI(2,ψI(1,0,0)(0)+1)(0),0)) ψ(MM+χ(Mψχ(♦)(♦)))
♦ = Mψχ(MM)(MM)+M2
982 ψ(ψI(I(2,ψI(1,0,0)(0)+1),0)(0)) ψ(MM+χ(Mχ(Mψχ(MM)(MM)+M2))
983 ψ(I(I(2,ψI(1,0,0)(0)+1),0)) ψ(MM+χ(Mχ(Mψχ(MM)(MM)+M2)+1)
984 ψ(ψI(ψI(ω,ψI(1,0,0)(0)+1)(0),0)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(♥)(♥)
♥ = Mψχ(MM)(MM)+Mω
985 ψ(I(ψI(ω,ψI(1,0,0)(0)+1)(0),0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(♥)(♥)+1
♥ = Mψχ(MM)(MM)+Mω
986 ψ(ψI(I(ω,ψI(1,0,0)(0)+1),0)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(♥)(♥)
♥ = Mψχ(MM)(MM)+Mω+1
987 ψ(I(I(ω,ψI(1,0,0)(0)+1),0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(♥)(♥)+1
♥ = Mψχ(MM)(MM)+Mω+1
988 ψ(ψI(ψI(ψI(1,0,0)(0),1)(0),0)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(♥)(♥)
♥ = Mψχ(MM)(MM)×2
989 ψ(I(ψI(ψI(1,0,0)(0),1)(0),0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(♥)(♥)+1
♥ = Mψχ(MM)(MM)×2
990 ψ(ψI(I(ψI(1,0,0)(0),1),0)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(♥)(♥)
♥ = Mψχ(MM)(MM)+1
991 ψ(I(I(ψI(1,0,0)(0),1),0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(♥)(♥)+1
♥ = Mψχ(MM)(MM)+1
992 ψ(ψI(ψI(ΩψI(1,0,0)(0)+1,0)(0),0)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(♥)(♥)
♥ = Mχ(Mψχ(MM)(MM))
993 ψ(ΩψI(ψI(ΩψI(1,0,0)(0)+1,0)(0),0)(0)+1) ψ(MM+χ(Mψχ(♦)(♦)))
♦ = Mχ(Mψχ(MM)(MM))
994 ψ(I(ψI(ΩψI(1,0,0)(0)+1,0)(0),0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(♥)(♥)+1
♥ = Mχ(Mψχ(MM)(MM))
995 ψ(ΩI(ψI(ΩψI(1,0,0)(0)+1,0)(0),0)+1) ψ(MM+χ(Mψχ(♦)(♦)+1))
♦ = Mχ(Mψχ(MM)(MM))
996 ψ(ΩI(ΩψI(ΩψI(1,0,0)(0)+1,0)(0)+1,0)+1) ψ(MM+χ(Mχ(Mχ(Mψχ(MM)(MM))))
997 ψ(ψI(I(ΩψI(1,0,0)(0)+1,0),0)(0)) ψ(MMχ(♦)(♦))
♦ = Mψχ(♥)(♥)
♥ = Mχ(Mψχ(MM)(MM)+1)
998 ψ(I(I(ΩψI(1,0,0)(0)+1,0),0) ψ(MMχ(♦)(♦))
♦ = Mψχ(♥)(♥)+1
♥ = Mχ(Mψχ(MM)(MM))+1
999 ψ(ΩI(I(ΩψI(1,0,0)(0)+1,0),0)+1) ψ(MM+χ(Mψχ(♦)(♦)+1))
♦ = Mχ(Mψχ(MM)(MM))+1
1000 ψ(ΩI(ΩI(ΩψI(1,0,0)(0)+1,0)+1,0)+1) ψ(MM+χ(Mχ(Mχ(Mψχ(MM)(MM))+1)+1)
1001 ψ(ψI(1,0,0)(1)) ψ(MMχ(MM)(MM+1)) = ψ(MM+χ(Mχ(Mχ(Mχ(M...ψχ(MM)(MM)...))))) =
ψ(MM+χ(Mχ(Mχ(Mχ(M...ψχ(MM)(MM)...)+1)+1)+1))
1002 ψ(ψI(1,0,0)(2)) ψ(MMχ(MM)(MM+2))
1003 ψ(ψI(1,0,0)(ω)) ψ(MMχ(MM)(MM+ω))
1004 ψ(ψI(1,0,0)I(1,0,0)(0))) ψ(MMχ(MM)(MMχ(MM)(MM)))
1005 ψ(I(1,0,0)) ψ(MM+χ(MM)) =
ψ(MMχ(MM)(MMχ(MM)(MMχ(MM)(MM+...))))
1006 ψ(ΩI(1,0,0)+1) ψ(MM+χ(MM+1))
1007 ψ(ψI(1,I(1,0,0)+1)(0)) ψ(MM+M) = ψ(MM+χ(MM+χ(MM+χ(MM+...))))
1008 ψ(I(1,I(1,0,0)+1)) ψ(MM+M+χ(MM+M))
1009 ψ(ψI(ω,I(1,0,0)+1)(0)) ψ(MM+Mω)
1010 ψ(I(ω,I(1,0,0)+1)) ψ(MM+Mω+1))
1011 ψ(ψI(ψI(1,0,0)(0),I(1,0,0)+1)(0)) ψ(MM+Mψχ(MM)(MM))
1012 ψ(I(ψI(1,0,0)(0),I(1,0,0)+1)) ψ(MM+Mψχ(MM)(MM)+1)
1013 ψ(ψI(ψI(1,0,0)(1),I(1,0,0)+1)(0)) ψ(MM+Mψχ(MM)(MM+1))
1014 ψ(I(ψI(1,0,0)(1),I(1,0,0)+1)) ψ(MM+Mψχ(MM)(MM+1)+1)
1015 ψ(ψI(ψI(1,0,0)(I(1,0,0)),I(1,0,0)+1)(0)) ψ(MM+Mψχ(MM)(MM+χ(MM)))
1016 ψ(ψI(ψI(1,0,0)I(ψI(1,0,0)(0),I(1,0,0)+1)(0)),I(1,0,0)+1)(0)) ψ(MM+Mψχ(MM)(MM+Mψχ(MM)(MM+χ(MM))))
1017 ψ(ψI(I(1,0,0),1)(0)) ψ(MM+Mχ(MM)) =
ψ(MM+Mψχ(MM)(MM+Mψχ(MM)(MM+M...)))
1018 ψ(I(I(1,0,0),1)) ψ(MM+Mχ(MM)+1)
1019 ψ(I(1,I(I(1,0,0),1)+1)) ψ(MM+Mχ(MM)+1+M)
1020 ψ(I(ω,I(I(1,0,0),1)+1)) ψ(MM+Mχ(MM)+1+Mω+1)
1021 ψ(ψI(ψI(1,0,0)(0),I(I(1,0,0),1)+1)(0)) ψ(MM+Mχ(MM)+1+Mψχ(MM)(MM))
1022 ψ(ψI(I(1,0,0),2)(0)) ψ(MM+Mχ(MM)+1+Mχ(MM))
1023 ψ(I(I(1,0,0),2)) ψ(MM+Mχ(MM)+1×2) = ψ(MM+Mχ(MM)+1+Mχ(MM)+1)
1024 ψ(ψI(I(1,0,0)+1,0)(0)) ψ(MM+Mχ(MM)+2)
1025 ψ(ψI(ΩI(1,0,0)+1,0)(0)) ψ(MM+Mχ(MM+1))
1026 ψ(ψI(ψI(1,I(1,0,0)+1))(0),0)(0)) ψ(MM+Mχ(MM+M))
1027 ψ(ψI(1,0,1)(0)) ψ(MM×2) = ψ(MM+MM) = ψ(MM+Mχ(MM+Mχ(MM+M...)))
1028 ψ(I(1,0,1)) ψ(MM×2+χ(MM×2))
1029 ψ(ψI(1,1,0)(0)) ψ(MM+1) = ψ(MM×M) = ψ(MM×χ(MM×χ(MM×χ(MM×...))))
1030 ψ(I(1,1,0)) ψ(MM+1+χ(MM+1))
1031 ψ(ψI(1,2,0)(0)) ψ(MM+2)
1032 ψ(I(1,2,0)) ψ(MM+2+χ(MM+2))
1033 ψ(ψI(1,ω,0)(0)) ψ(MM+ω)
1034 ψ(I(1,ω,0)) ψ(MM+ω+1)
1035 ψ(ψI(1,ψI(1,0,0)(0),0)(0)) ψ(MM+ψχ(MM)(MM))
1036 ψ(I(1,ψI(1,0,0)(0),0)) ψ(MM+ψχ(MM)(MM)+1)
1037 ψ(ψI(1,I(1,0,0),0)(0)) ψ(MM+χ(MM))
1038 ψ(I(1,I(1,0,0),0)) ψ(MM+χ(MM)+1)
1039 ψ(ψI(2,0,0)(0)) ψ(MM×2) = ψ(MM+M) = ψ(MM+χ(MM+χ(MM+...))
1040 ψ(I(2,0,0)) ψ(MM×2+χ(MM×2))
1041 ψ(ψI(3,0,0)(0)) ψ(MM×3)
1042 ψ(I(3,0,0)) ψ(MM×3+χ(MM×3))
1043 ψ(ψI(ω,0,0)(0)) ψ(MM×ω)
1044 ψ(I(ω,0,0)) ψ(MM×ω+M)
1045 ψ(ψI(ψI(1,0,0)(0),0,0)(0)) ψ(MM×ψχ(MM)(MM))
1046 ψ(I(ψI(1,0,0)(0),0,0)) ψ(MM×ψχ(MM)(MM)+M)
1047 ψ(ψI(I(1,0,0),0,0)(0)) ψ(MM×χ(MM))
1048 ψ(I(I(1,0,0),0,0)) ψ(MM×χ(MM)+M)
1049 ψ(ψI(1,0,0,0)(0)) ψ(MM2) = ψ(MM×M) = ψ(MM×χ(MM×χ(MM×...))
1050 ψ(ΩψI(1,0,0,0)(0)+1) ψ(MM2+χ(MM×ψχ(MM2)(MM2)))
1051 ψ(I(1,0,0,0)) ψ(MM2+χ(MM2))
1052 ψ(ψI(1,0,0,1)(0)) ψ(MM2×2)
1053 ψ(I(1,0,0,1)) ψ(MM2×2+χ(MM2×2))
1054 ψ(ψI(1,0,1,0)(0)) ψ(MM2×M) = ψ(MM2+1)
1055 ψ(I(1,0,1,0)) ψ(MM2+1+χ(MM2+1))
1056 ψ(ψI(1,1,0,0)(0)) ψ(MM2+M)
1057 ψ(I(1,1,0,0)) ψ(MM2+M+χ(MM2+M))
1058 ψ(ψI(2,0,0,0)(0)) ψ(MM2×2)
1059 ψ(I(2,0,0,0)) ψ(MM2×2+χ(MM2×2))
1060 ψ(ψI(ω,0,0,0)(0)) ψ(MM2×ω)
1061 ψ(I(ω,0,0,0)) ψ(MM2×ω+M2)
1062 ψ(ψI(ψI(1,0,0,0)(0),0,0,0)(0)) ψ(MM2×ψχ(MM2)(MM2))
1063 ψ(I(ψI(1,0,0,0)(0),0,0,0)) ψ(MM2×ψχ(MM2)(MM2)+M2)
1064 ψ(ψI(I(1,0,0,0),0,0,0)(0)) ψ(MM2×χ(MM2))
1065 ψ(I(I(1,0,0,0),0,0,0)) ψ(MM2×χ(MM2)+M2)
1066 ψ(ψI(1,0,0,0,0)(0)) ψ(MM3)
1067 ψ(ΩψI(1,0,0,0,0)(0)+1) ψ(MM3+χ(MM2×ψχ(MM3)(MM3)))
1068 ψ(I(1,0,0,0,0)) ψ(MM3+χ(MM3))
1069 ψ(ψI(1,0,0,0,0,0)(0)) ψ(MM4)
1070 ψ(ΩψI(1,0,0,0,0,0)(0)+1) ψ(MM4+χ(MM3×ψχ(MM4)(MM4)))
1071 ψ(I(1,0,0,0,0,0)) ψ(MM4+χ(MM4))
1072 Limit ψ(MMω) = ψ(sup(MMn)|n<ω)