右はじのカッコの値が0の時、
それよりも左のカッコをコピーする際、
右はじカッコのAの値よりも小さいAの値をもつカッコであれば、
たとえBの値がなんであろうと、コピーすることができます。

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

なお、A<Bとなるような二組の値をもつカッコは
存在しません。

(0,0)(1,1)(2,0)(1,1)(1,1)
[ψ(ψ1(1)+ψ1(0)*2)][5]

(0,0)(1,1)(2,0)(1,1)(1,1)(1,0)(2,1)(3,0)(2,1)(2,1)
[ψ(ψ1(1)+ψ1(0)+ψ(ψ1(1)+ψ1(0)))][6]

これも続けていくと何千何万とカッコが増えていくと思うので
とりあえずここまでとします。

後、(0,0)(1,1)(2,2)の列にカッコを付けて対応する順序数を
示すところは、特に変えることはないのでこのままで。