では、始めます。

順序数の表し方の変更点です。確認をお願いします。
ε_0→ψ(0)
ε_n→ψ(n)
ζ_0=φ_2(0)→ψ(Ω)
φ_2(n)→ψ(Ω*n)
φ_3(0)→ψ(Ω^2)
φ_ω(0)→ψ(Ω^ω)
Γ_0→ψ(Ω^Ω)
ψ(ε_(Ω+1))→ψ(ψ1(0))
ψ(ζ_(Ω+1))→ψ(ψ1(Ω_2))=ψ(Ω_2)

>>167のコードで、ループFが一回目のループを終えたときに得られる
Cの値の大きさはψ(ψ1(ψ2(ψ3(ψ4(ψ5(ψ6(ψ7(ψ8(0)))))))))
に、なると思います。

>>164のコードでループFの処理が終わった地点で
次のようになると思います。

(0,0)(1,1)(2,2)
[ψ(ψ1(0))][0]