>>72
規則とプログラムに誤りがあったので、修正したものをアップロードしました。
規則のtxtファイル
http://www1.axfc.net/uploader/Sc/so/180654.txt
プログラム
http://www1.axfc.net/uploader/Sc/so/180655.lzh

>>73
以下では、8-6のψをψと書き、8-696のψをψ'と書きます。
また、厳密な議論は困難なので、大雑把な話をしています。

もしも新定義の方針で定義されたならば、ψ_1(ψ_1(0))やψ'_1(ψ'_1(0))が収束列を持たず、共終数がΩ_1なので、
ψ_1(ψ_1(0))=Γ_{Ω_1+Ω_1}、ψ'_1(ψ'_1(0))=ε_{Ω_1+Ω_1}のようになります。
ψ'_1(Ω_2を用いた順序数)でΩ_1にVeblen関数を用いるより大きい順序数を作れるので、
ψ'_0(Ω_2を用いた順序数) ＞ ψ_0(Ω_1を用いた順序数)となり、
同様にしてψ'_0(Ω_2nを用いた順序数) ＞ ψ_0(Ω_nを用いた順序数)のようになり、Ω_ωで追いつくと思われます。

しかし、旧定義の方針(元々の8-6、8-696)だと、ψ_1(ψ_1(0))やψ'_1(ψ'_1(0))は収束列のある順序数で、
ψ_1(α)≒Γ_{Ω_1+ψ_0(α)}、ψ'_1(α)≒ε_{Ω_1+ψ'_0(α)}のようになってしまいます。
　ψ_0(f(ε_{Ω_1+Ω_1}))≒ψ_0(f(ε_{Ω_1+ψ_0(f(…))}))
　ψ'_0(f(Ω_2))≒ψ'_0(f(ψ'_1(f(…))))≒ψ'_0(f(ε_{Ω_1+ψ'_0(f(…))}))
となることから、8-696でのΩ_2は8-6でのε_{Ω_1+Ω_1}に相当する程度の働きしかしません。
同様にして、おそらく8-696でのΩ_αは8-6でのε_{Ω_1×α}に相当します。
なので、ψ'_0(Ψ)≒ψ_0(η_{Ω_1+1})≒ψ_0(φ_2(ψ_1(0)+1))となりそうです。

上での考察は大雑把なので間違いがあるかもしれませんが、8-696は8-6より小さいと思います。