(0, 3)から(15, 15)の整数が、1に収束するまでに何回の操作が必要か
(0, 3)から(15, 15)までの整数にコラッツ操作を施して、1に収束するまでに何回の操作が必要かを検証する。
更に、第3桁があった場合にその第3桁が奇数であり「2で割る」際の微調整が必要なときに、第2桁が「-16」されて第3桁が「+1」される桁上がり、第3桁が「-1」されて第2桁に「+16」が下りてくる桁下がりが合計何回起きているかについて着目した。3回起これば第2桁の偶奇に影響を与えてしまう。つまり、第2桁の偶奇が反転することになる。第2桁の偶奇が変更になると、ルートが変わってしまう。その際の後1回ではその経路の倍率が変わらないので、「3+1=4」の合計4回は、ルートの変更に耐えることが出来る。従って、「3n/2」（第3桁なので(3n+1)/2の「1」は無視する）あるいは「/2」の回数が4回に達するまでに自分よりも小さい値にまで収縮してしまうことが出来るかが重要である。そのために、最初の1から5回目程度の間に証明済みの整数にまで縮小するものについて、その間に「3n/2」あるいは「/2」を何回行っているのかを数えている。<＊, 5>に達すると、後はルートの変更はないので<＊, 5>に達した後の「/2」の数は数えていない。ただし、<<＊、＊>, 5>のように3桁になっている場合は、2桁の整数に戻るだけで、まだ証明済みの整数にまで縮小できていない場合もある。このような場合は更にコラッツ操作が続けられるので、この場合に限って例外的に「割る2」の処理回数を追加で足している。
<0, 3>: 試行回数 2回
＊「2で割る」処理の回数 3n/2：1回
3<0, 3> + 1 = <0, 10> → <0, 5>
3<0, 5> + 1 = <0, 16> = <1, 0> = 16 → 1
<0, 5>: 試行回数 1回
＊「2で割る」処理の回数 0回
3<0, 5> + 1 = <0, 16> = <1, 0> = 16 → 1
<0, 7>: 試行回数 <0, 7>(transition4)<0, 5>(transition1)<0, 1> 試行回数4+1=5回
＊「2で割る」処理の回数 3n/2：4回、/2：3回
3<0, 7> + 1 = <0, 22> → <0, 11>
3<0, 11> + 1 = <0, 34> → <0, 17> = <1, 1>
3<1, 1> + 1 = <3, 4> = <2, 20> → <1, 10> = <0, 26> → <0, 13>
3<0, 13> + 1 = <0, 40> → <0, 5>（証明済み）
＊<0, 5>は既に証明済みなので、ここで検証を終わる。これ以降も、既に証明済みの数に達したら、そこで「証明済み」と表示して、そこで証明を終えることとする（以下同様）。試行回数は、今回の4回と、<0, 5>の1回を合計して、試行回数5回とする。transitionについては、これ以降は省略して”t”と表す。
<0, 9>: <0, 9>(t1)<0, 7>(4)<0, 5>(t1)<0, 1> 試行回数 1+5=6回
＊「2で割る」処理の回数 3n/2：1回、/2 1回
3<0, 9> + 1 = <0, 28> → <0, 7>（証明済み）
<0, 11>: <0, 11>(t3)<0, 5>(t1)<0, 1> 試行回数 3+1=4回
＊「2で割る」処理の回数 3n/2：3回、/2：3回
3<0, 11> + 1 = <0, 34> → <0, 17> = <1, 1>
3<1, 1> + 1 = <3, 4> = <2, 20> → <1, 10> = <0, 26> → <0, 13>
3<0, 13> + 1 = <0, 40> → <0, 5>（証明済み）
<0, 13>: <0, 13>(t1)<0, 5>(t1)<0, 1> 試行回数 2回
＊「2で割る」処理の回数 3n/2：1回、/2：2回
3<0, 13> + 1 = <0, 40> → <0, 5>（証明済み）
<0, 15>: 試行回数 4+1=5回
＊「2で割る」処理の回数 3n/2：3回
3<0, 15> + 1 = <0, 46> → <0, 23> = <1, 7>
3<1, 7> + 1 = <3, 22> = <4, 6> → <2, 3>
3<2, 3> + 1 = <6, 10> → <3, 5>
3<3, 5> + 1 = <9, 16> → <10, 0> → 10 → 5 = <0, 5>（証明済み）
<1, 1>: <1, 1>(t1)<0, 13>(t2)<0, 1> 試行回数 1+2=3回
＊「2で割る」処理の回数 3n/2：1回、/2：1回
3<1, 1> + 1 = <3, 4> = <2, 20> → <1, 10> = <0, 26> → <0, 13>（証明済み）
<1, 3>: <1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 2+4=6回
＊「2で割る」処理の回数 3n/2：2回、/2：2回
3<1, 3> + 1 = <3, 10> = <2, 26> → <1, 13>
3<1, 13> + 1 = <3, 40> = <4, 24> → <2, 12> → <1, 6> = <0, 22> → <0, 11> （証明済み）
<1, 5>: <1, 5>(t1)<0, 1> 試行回数 1回
＊「2で割る」処理の回数 3n/2：0回、/2：0回
3<1, 5> + 1 = <3, 16> = <4, 0> → <1, 0> = 16 → 1
<1, 7>: <1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 3+1=4回
＊「2で割る」処理の回数 3n/2：2回
3<1, 7> + 1 = <3, 22> = <4, 6> → <2, 3>
3<2, 3> + 1 = <6, 10> → <3, 5>
3<3, 5> + 1 = <9, 16> = <10, 0> → 10 → 5 =<0, 5> （証明済み）
<1, 9>: <1, 9>(t1)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 1+(2+4)=7回
3<1, 9> + 1 = <3, 28> = <4, 12> → <1, 3> （証明済み）
＊「2で割る」処理の回数 3n/2：1回、/2：1回
<1, 11>: <1, 11>(t37)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 37+(3+1)=41回
3<1, 11> + 1 = <3, 34> = <4, 18> → <2, 9>
3<2, 9> + 1 = <6, 28> → <3, 14> = <2, 30> → <1, 15>
3<1, 15> + 1 = <3, 46> = <4, 30> → <2, 15>
3<2, 15> + 1 = <6, 46> → <3, 23> = <4, 7>
3<4, 7> + 1 = <12, 22> → <6, 11>
3<6, 11> + 1 = <18, 34> → <9, 17> = <10, 1>
3<10, 1> + 1 = <30, 4> → <15, 2> = <14, 18> → <7, 9>
3<7, 9> + 1 = <21, 28> = <22, 12> → <11, 6> = <10, 22> → <5, 11>
3<5, 11> + 1 = <15, 34> = <16, 18> → <8, 9>
3<8, 9> + 1 = <24, 28> → <12,14> → <6, 7>
3<6, 7> + 1 = <18, 22> → <9, 11>
3<9, 11> + 1 = <27, 34> = <28, 18> → <14, 9>
3<14, 9> + 1 = <42, 28> → <21, 14> = <20, 30> → <10, 15>
3<10, 15> + 1 = <30, 46> → <15, 23> = <16, 7> = <<1, 0>, 7>
3<<1, 0>, 7> + 1 = <<3, 0>, 22> = <<2, 16>, 22> → <<1, 8>, 11>
3<<1, 8>, 11> + 1 = <<3, 24>, 34> = <<4, 8>, 34> → <<2, 4>, 17> =<<2, 5>, 1>
3<<2, 5>, 1> + 1 = <<6, 15>, 4> = <<6, 14>, 20> → <<3, 7>, 10> = <<3, 6>, 26> = <<2, 22>, 26> → <<1, 11>, 13>
3<<1, 11>, 13> + 1 = <<3, 33>, 40> = <<3, 34>, 24> = <<4, 18>, 24> → <<2, 9>, 12> = <<2, 8>, 28> → <<1, 4>, 14> = <<0, 20>, 14> → <<0, 10>, 7>
3<<0, 10>, 7> + 1 = <<0, 30>, 22> → <<0, 15>, 11>
3<<0, 15>, 11> + 1 = <<0, 45>, 34> = <<0, 46>, 18> → <<0, 23>, 9> = <<1, 7>, 9>
3<<1, 7>, 9> + 1 = <<3, 21>, 28> = <<3, 22>, 12> = <<4, 6>, 12> → <<2, 3>, 6> = <<2, 2>, 22> → <<1, 1>, 11>
3<<1, 1>, 11> + 1 = <<3, 3>, 34> = <<3, 4>, 18> = <<2, 20>, 18> → <<1, 10>, 9>
3<<1, 10>, 9> + 1 = <<3, 30>, 28> = <<4, 14>, 28> → <<2, 7>, 14> = <<2, 6>, 30> → <<1, 3>, 15>
3<<1, 3>, 15> + 1 = <<3, 9>, 46> = <<3, 10>, 30> = <<2, 26>, 30> → <<1, 13>, 15>
3<<1, 13>, 15> + 1 = <<3, 39>, 46> = <<3, 40>, 30> = <<4, 24>, 30> → <<2, 12>, 15>
3<<2, 12>, 15> + 1 = <<6, 36>, 46> → <<3, 18>, 23> = <<3, 19>, 7> = <<4, 3>, 7>
3<<4, 3>, 7> + 1 = <<12, 9>, 22> = <<12, 10>, 6> → <<6, 5>, 3>
3<<6, 5>, 3> + 1 = <<18, 15>, 10> = <<18, 14>, 26> → <<9, 7>, 13>
3<<9, 7>, 13> + 1 = <<27, 21>, 40> = <<27, 22>, 24> = <<28, 6>, 24> → <<14, 3>, 12> = <<14, 2>, 28> → <<7, 1>, 14> = <<7, 0> 30> = <<6, 16>, 30> → <<3, 8>, 15>
3<<3, 8>, 15> + 1 = <<9, 24>, 46> = <<10, 8>, 46> → <<5, 4>, 23> = <<5, 5>, 7>
3<<5, 5>, 7> + 1 = <<15, 15>, 22> = <<15, 16>, 6> = <<16, 0>, 6> → <<8, 0>, 3>
3<<8, 0>, 3> + 1 = <<24, 0>, 10> → <<12, 0>, 5>
3<<12, 0>, 5> + 1 = <<36, 0>, 16> = <<<2, 4>, 1>, 0> = <<2, 4>, 1>
3<<2, 4>, 1> + 1 = <<6, 12>, 4> → <<3, 6>, 2> = <<2, 22>, 2> →<<1, 11>, 1>
3<<1, 11>, 1> + 1 = <<3, 33>, 4> = <<3, 32>, 20> = <<4, 16>, 20> → <<1, 4>, 5>
3<<1, 4>, 5> + 1 = <<3, 12>, 16> = <<3, 13>, 0> → <3, 13>
3<3, 13> + 1 = <9, 40> = <10, 24> → <5, 12> = <4, 28> → <1, 7> (証明済み）
<1, 13>: <1, 13>(t1)<0, 11>(t4)<0, 1> 試行回数 1+4=5回
3<1, 13> + 1 = <3, 40> = <4, 24> → <1, 6> =<0, 22> → <0, 11> （証明済み）
＊「2で割る」処理の回数 3n/2：1回、/2：2回
<1, 15>: <1, 15>(t35)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 35+(3+1)=39回
3<1, 15> + 1 = <3, 46> = <4, 30> → <2, 15>
3<2, 15> + 1 = <6, 46> → <3, 23> = <4, 7>
3<4, 7> + 1 = <12, 22> → <6, 11>
3<6, 11> + 1 = <18, 34> → <9, 17> = <10, 1>
3<10, 1> + 1 = <30, 4> → <15, 2> = <14, 18> → <7, 9>
3<7, 9> + 1 = <21, 28> = <22, 12> → <11, 6> = <10, 22> → <5, 11>
3<5, 11> + 1 = <15, 34> = <16, 18> → <8, 9>
3<8, 9> + 1 = <24, 28> → <6, 7>
3<6, 7> + 1 = <18, 22> → <9, 11>
3<9, 11> + 1 = <27, 34> = <28, 18> → <14, 9>
3<14, 9> + 1 = <42, 28> → <21, 14> = <20, 30> → <10, 15>
3<10, 15> + 1 = <30, 46> → <15, 23> = <16, 7> = <<1, 0>, 7>
3<<1, 0>, 7> + 1 = <<3, 0>, 22> = <<2, 16>, 22> → <<1, 8>, 11>
3<<1, 8>, 11> + 1 = <<3, 24>, 34> = <<4, 8>, 34> → <<2, 4>, 17> = <<2, 5>, 1>
3<<2, 5>, 1> + 1 = <<6, 15>, 4> = <<6, 14>, 20> → <<3, 7>, 10> = <<3, 6>, 26> → <<2, 22>, 26> → <<1, 11>, 13>
3<<1, 11>, 13> + 1 = <<3, 33>, 40> = <<3, 34>, 24> = <<4, 18>, 24> → <<2, 9>, 12> = <<2, 8>, 28> → <<1, 4>, 14> = <<0, 20>, 14> → <10, 7>
3<10, 7> + 1 = <30, 22> → <15, 11>
3<15, 11> + 1 = <45, 34> = <46, 18> → <23, 9> = <<1, 7>, 9>
3<<1, 7>, 9> + 1 = <<3, 21>, 28> = <<3, 22>, 12> = <<4, 6>, 12> → <<2, 3>, 6> = <<2, 2>, 22> = <<1, 1>, 11>
3<<1, 1>, 11> + 1 = <<3, 3>, 34> = <<3, 4>, 18> = <<2, 20>, 18> → <<1, 10>, 9>
3<<1, 10>, 9> + 1 = <<3, 30>, 28> = <<4, 14>, 28> → <<2, 7>, 14> = <<2, 6>, 30> → <<1, 3>, 15>
3<<1, 3>, 15> + 1 = <<3, 9>, 46> = <<3, 10>, 30> = <<2, 26>, 30> → <<1, 13>, 15>
3<<1, 13>, 15> + 1 = <<3, 39>, 46> = <<3, 40>, 30> = <<4, 24>, 30> → <<2, 12>, 15>
3<<2, 12>, 15> + 1 = <<6, 36>, 46> → <<3, 18>, 23> = <<3, 19>, 7> = <<4, 3>, 7>
3<<4, 3>, 7> + 1 = <<12, 9>, 22> = <<12, 10>, 6> → <<6, 5>, 3>
3<<6, 5>, 3> + 1 = <<18, 15>, 10> = <<18, 14>, 26> → <<9, 7>, 13>
3<<9, 7>, 13> + 1 = <<27, 21>, 40> = <<27, 22>, 24> = <<28, 6>, 24> → <<14, 3>, 12> = <<14, 2>, 28> → <<7, 1>, 14> = <<7, 0>, 30> = <<6, 16>, 30> → <<3, 8>, 15>
3<<3, 8>, 15> + 1 = <<9, 24>, 46> = <<10, 8>, 46> → <<5, 4>, 23> = <<5, 5>, 7>
3<<5, 5>, 7> + 1 = <<15, 15>, 22> = <<15, 16>, 6> = <<16, 0>, 6> → <<8, 0>, 3>
3<<8, 0>, 3> + 1 = <<24, 0>, 10> → <<12, 0>, 5>
3<<12, 0>, 5> + 1 = <<36, 0>, 16> = <36,1> = <<2, 4>, 1>
3<<2, 4>, 1> + 1 = <<6, 12>, 4> → <<3, 6>, 2> =<<2, 22>, 2> → <<1, 11>, 1>
3<<1, 11>, 1> + 1 = <<3, 33>, 4> = <<3, 32>, 20> = <<4, 16>, 20> → <<1, 4>, 5>
3<<1, 4>, 5> + 1 = <<3, 12>, 16> = <<3, 13>, 0> = <3, 13>
3<3, 13> + 1 = <9, 40> = <10, 24> → <5, 12> = <4, 28> → <1, 7> （証明済み）
<2, 1>: <2, 1>(t1)<1, 9>(t1)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 1+(1+(2+4))=8回
3<2, 1> + 1 = <6, 4> → <3, 2> = <2, 18> → <1, 9> (証明済み）
＊「2で割る」処理の回数 3n/2：1回、/2：1回
<2, 3>: 試行回数 2+1=3回
＊「2で割る」処理の回数 3n/2：1回、/2：0回
3<2, 3> + 1 = <6, 10> → <3, 5>
3<3, 5> + 1 = <9, 16> = <10, 0> → 5 = <0, 5>（証明済み）
<2, 5>: <2, 5>(t1)<0, 7>(t5)<0, 1> 試行回数 1+5=6回
3<2, 5> + 1 = <6, 16> = <7, 0> → 7 = <0, 7> （証明済み）
＊「2で割る」処理の回数 3n/2：0回
<2, 7>: <2, 7>(t5)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 5+(2+4)=11回
3<2, 7> + 1 = <6, 22> → <3, 11>
3<3, 11> + 1 = <9, 34> = <10, 18> → <5, 9>
3<5, 9> + 1 = <15, 28> = <16, 12> → <4, 3>
3<4, 3> + 1 = <12, 10> → <6, 5>
3<6, 5> + 1 = <18, 16> = <19, 0> → 19 = <1, 3> （証明済み）
＊「2で割る」処理の回数 3n/2：4回、/2：1回
<2, 9>: <2, 9>(t1)<1, 15>(t35)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(35+(3+1))=40回
3<2, 9> + 1 = <6, 28> → <3, 14> = <2, 30> → <1, 15> (証明済み）
＊「2で割る」処理の回数 3n/2：1回、/2：1回
<2, 11>: <2, 11>(t3)<2, 5>(t1)<0, 7>(t5)<0, 1> 試行回数 3+(1+5)=9回
3<2, 11> + 1 = <6, 34> → <3, 17> = <4, 1>
3<4, 1> + 1 = <12, 4> → <3, 1>
3<3, 1> + 1 = <9, 4> = <8, 20> → <2, 5> （証明済み）
＊「2で割る」処理の回数 3n/2：3回、/2：2回
<2, 13>: <2, 13>(t1)<1, 1>(t1)<0, 13>(t2)<0, 1> 試行回数 1+(1+2)=4回
3<2, 13> + 1 = <6, 40> → <3, 20> = <4, 4> → <1, 1> （証明済み）
＊「2で割る」処理の回数 3n/2：1回、/2：2回
<2, 15>: <2, 15>(t34)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 34+(3+1)=38回
3<2, 15> + 1 = <6, 46> → <3, 23> = <4, 7>
3<4, 7> + 1 = <12, 22> → <6, 11>
3<6, 11> + 1 = <18, 34> → <9, 17> = <10, 1>
3<10, 1> + 1 = <30, 4> → <15, 2> = <14, 18> → <7, 9>
3<7, 9> + 1 = <21, 28> = <22, 12> → <11, 6> = <10, 22> → <5, 11>
3<5, 11> + 1 = <15, 34> = <16, 18> → <8, 9>
3<8, 9> + 1 = <24, 28> → <6, 7>
3<6, 7> + 1 = <18, 22> → <9, 11>
3<9, 11> + 1 = <27, 34> = <28, 18> → <14, 9>
3<14, 9> + 1 = <42, 28> → <21, 14> = <20, 30> → <10, 15>
3<10, 15> + 1 = <30, 46> → <15, 23> = <16, 7> = <<1, 0>, 7>
3<<1, 0>, 7> + 1 = <<3, 0>, 22> = <<2, 16>, 22> → <<1, 8>, 11>
3<<1, 8>, 11> + 1 = <<3, 24>, 34> = <<4, 8>, 34> → <<2, 4>, 17> = <<2, 5>, 1>
3<<2, 5>, 1> + 1 = <<6, 15>, 4> = <<6, 14>, 20> → <<3, 7>, 10> = <<3, 6>, 26> = <<2, 22>, 26> → <<1, 11>, 13>
3<<1, 11>, 13> + 1 = <<3, 33>, 40> = <<3, 34>, 24> = <<4, 18>, 24> → <<2, 9>, 12> = <<2, 8>, 28> → <<1, 4>, 14> = <<0, 20>, 14> = <10, 7>
3<10, 7> + 1 = <30, 22> → <15, 11>
3<15, 11> + 1 = <45, 34> = <46, 18> → <23, 9> = <<1, 7>, 9>
3<<1, 7>, 9> + 1 = <<3, 21>, 28> = <<3, 22>, 12> = <<4, 6>, 12> → <<2, 3>, 6> = <<2, 2>, 22> → <<1, 1>, 11>
3<<1, 1>, 11> + 1 = <<3, 3>, 34> = <<3, 4>, 18> = <<2, 20>, 18> → <<1, 10>, 9>
3<<1, 10>, 9> + 1 = <<3, 30>, 28> = <<4, 14>, 28> → <<2, 7>, 14> = <<2, 6>, 30> → <<1, 3>, 15>
3<<1, 3>, 15> + 1 = <<3, 9>, 46> = <<3, 10>, 30> = <<2, 26>, 30> → <<1, 13>, 15>
3<<1, 13>, 15> + 1 = <<3, 39>, 46> = <<3, 40>, 30> = <<4, 24>, 30> → <<2, 12>, 15>
3<<2, 12>, 15> + 1 = <<6, 36>, 46> → <<3, 18>, 23> = <<3, 19>, 7> = <<4, 3>, 7>
3<<4, 3>, 7> + 1 = <<12, 9>, 22> = <<12, 10>, 6> → <<6, 5>, 3>
3<<6, 5>, 3> + 1 = <<18, 15>, 10> = <<18, 14>, 26> → <<9, 7>, 13>
3<<9, 7>, 13> + 1 = <<27, 21>, 40> = <<27, 22>, 24> = <<28, 6>, 24> → <<14, 3>, 12> = <<14, 2>, 28> → <<7, 1>, 14> = <<7, 0>, 30> = <<6, 16>, 30> → <<3, 8>, 15>
3<<3, 8>, 15> + 1 = <<9, 24>, 46> = <<10, 8>, 46> → <<5, 4>, 23> = <<5, 5>, 7>
3<<5, 5>, 7> + 1 = <<15, 15>, 22> = <<15, 16>, 6> = <<16, 0>, 6> → <<8, 0>, 3>
3<<8, 0>, 3> + 1 = <<24, 0>, 10> → <<12, 0>, 5>
3<<12, 0>, 5> + 1 = <<36, 0>, 16> = <36,1> = <<2, 4>, 1>
3<<2, 4>, 1> + 1 = <<6, 12>, 4> → <<3, 6>, 2> =<<2, 22>, 2> → <<1, 11>, 1>
3<<1, 11>, 1> + 1 = <<3, 33>, 4> = <<3, 32>, 20> = <<4, 16>, 20> → <<1, 4>, 5>
3<<1, 4>, 5> + 1 = <<3, 12>, 16> = <<3, 13>, 0> = <3, 13>
3<3, 13> + 1 = <9, 40> = <10, 24> → <5, 12> = <4, 28> → <1, 7> （証明済み）
<3, 1>: <3, 1>(t1)<2, 5>(t1)<0, 7>(t5)<0, 1> 試行回数 1+(1+5)=7回
3<3, 1> + 1 = <9, 4> = <8, 20> → <2, 5> （証明済み）
＊「2で割る」処理の回数 3n/2：1回、/2：1回
<3, 3>: <3, 3>(t2)<1, 13>(t1)<0, 11>(t4)<0, 1> 試行回数 2+(1+4)=7回
3<3, 3> + 1 = <9, 10> = <8, 26> → <4, 13>
3<4, 13> + 1 = <12, 40> → <3, 10> = <2, 26> → <1, 13> （証明済み）
＊「2で割る」処理の回数 3n/2：2回、/2：2回
<3, 5>: 試行回数 1+1=2回
3<3, 5> + 1 = <9, 16> = <10, 0> → 10 → 5 = <0, 5>（証明済み）
＊「2で割る」処理の回数 3n/2：0回
<3, 7>: <3, 7>(t3)<2, 15>(t34)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 3+(34+(3+1))=41回
3<3, 7> + 1 = <9, 22> = <10, 6> → <5, 3>
3<5, 3> + 1 = <15, 10> = <14, 26> → <7, 13>
3<7, 13> + 1 = <21, 40> = <22, 24> → <11, 12> = <10, 28> → <5, 14> = <4, 30> → <2, 15> (証明済み)
＊「2で割る」処理の回数 3n/2：3回、/2：2回
<3, 9>: <3, 9>(t1)<2, 11>(t3)<2, 5>(t1)<0, 7>(t5)<0, 1> 試行回数 1+(3+(1+5))=10回
3<3, 9> + 1 = <9, 28> = <10, 12> → <5, 6> = <4, 22> → <2, 11> (証明済み)
＊「2で割る」処理の回数 3n/2：1回、/2：1回
<3, 11>: <3, 11>(t4)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 4+(2+4)=10回
3<3, 11> + 1 = <9, 34> = <10, 18> → <5, 9>
3<5, 9> + 1 = <15, 28> = <16, 12> → <4, 3>
3<4, 3> + 1 = <12, 10> → <6, 5>
3<6, 5> + 1 = <18, 16> = <19, 0> → 19 = <1, 3> (証明済み)
＊「2で割る」処理の回数 3n/2：3回、/2：1回
<3, 13>: <3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(3+1)=5回
3<3, 13> + 1 = <9, 40> = <10, 24> → <5, 12> = <4, 28> → <1, 7> (証明済み）
＊「2で割る」処理の回数 3n/2：1回、/2：2回
<3, 15>: <3, 15>(t34)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 34+(1+(3+1))=39回
3<3, 15> + 1 = <9, 46> = <10, 30> → <5, 15>
3<5, 15> + 1 = <15, 46> = <16, 30> → <8, 15>
3<8, 15> + 1 = <24, 46> → <12, 23> = <13, 7>
3<13, 7> + 1 = <39, 22> = <40, 6> → <20, 3> = <<1, 4>, 3>
3<<1, 4>, 3> + 1 = <<3, 12>, 10> = <<2, 28>, 10> → <<1, 14>, 5>
3<<1, 14>, 5> + 1 = <<3, 42>, 16> = <<3, 43>, 0> = <5, 11>
3<5, 11> + 1 = <15, 34> = <16, 18> → <8, 9>
3<8, 9> + 1 = <24, 28> → <6, 7>
3<6, 7> + 1 = <18, 22> → <9, 11>
3<9, 11> + 1 = <27, 34> = <28, 18> → <14, 9>
3<14, 9> + 1 = <42, 28> → <21, 14> = <20, 30> → <10, 15>
3<10, 15> + 1 = <30, 46> → <15, 23> = <16, 7> = <<1, 0>, 7>
3<<1, 0>, 7> + 1 = <<3, 0>, 22> = <<2, 16>, 22> → <<1, 8>, 11>
3<<1, 8>, 11> + 1 = <<3, 24>, 34> = <<4, 8>, 34> → <<2, 4>, 17> = <<2, 5>, 1>
3<<2, 5>, 1> + 1 = <<6, 15>, 4> = <<6, 14>, 20> → <<3, 7>, 10> = <<3, 6>, 26> = <<2, 22>, 26> → <<1, 11>, 13>
3<<1, 11>, 13> + 1 = <<3, 33>, 40> = <<3, 34>, 24> = <<4, 18>, 24> → <<2, 9>, 12> = <<2, 8>, 28> → <<1, 4>, 14> = <<0, 20>, 14> → <10, 7>
3<10, 7> + 1 = <30, 22> → <15, 11>
3<15, 11> + 1 = <45, 34> = <46, 18> → <23, 9> = <<1, 7>, 9>
3<<1, 7>, 9> + 1 = <<3, 21>, 28> = <<3, 22>, 12> = <<4, 6>, 12> → <<2, 3>, 6> = <<2, 2>, 22> → <<1, 1>, 11>
3<<1, 1>, 11> + 1 = <<3, 3>, 34> = <<3, 4>, 18> = <<2, 20>, 18> → <<1, 10>, 9>
3<<1, 10>, 9> + 1 = <<3, 30>, 28> = <<4, 14>, 28> → <<2, 7>, 14> = <<2, 6>, 30> → <<1, 3>, 15>
3<<1, 3>, 15> + 1 = <<3, 9>, 46> = <<3, 10>, 30> = <<2, 26>, 30> → <<1, 13>, 15>
3<<1, 13>, 15> + 1 = <<3, 39>, 46> = <<3, 40>, 30> = <<4, 24>, 30> → <<2, 12>, 15>
3<<2, 12>, 15> + 1 = <<6, 36>, 46> → <<3, 18>, 23> = <<3, 19>, 7> = <<4, 3>, 7>
3<<4, 3>, 7> + 1 = <<12, 9>, 22> = <<12, 10>, 6> → <<6, 5>, 3>
3<<6, 5>, 3> + 1 = <<18, 15>, 10> = <<18, 14>, 26> → <<9, 7>, 13>
3<<9, 7>, 13> + 1 = <<27, 21>, 40> = <<27, 22>, 24> = <<28, 6>, 24> → <<14, 3>, 12> = <<14, 2>, 28> → <<7, 1>, 14> = <<7, 0>, 30> = <<6, 16>, 30> → <<3, 8>, 15>
3<<3, 8>, 15> + 1 = <<9, 24>, 46> = <<10, 8>, 46> → <<5, 4>, 23> = <<5, 5>, 7>
3<<5, 5>, 7> + 1 = <<15, 15>, 22> = <<15, 16>, 6> = <<16, 0>, 6> → <<8, 0>, 3>
3<<8, 0>, 3> + 1 = <<24, 0>, 10> → <<12, 0>, 5>
3<<12, 0>, 5> + 1 = <<36, 0>, 16> = <36,1> = <<2, 4>, 1>
3<<2, 4>, 1> + 1 = <<6, 12>, 4> → <<3, 6>, 2> =<<2, 22>, 2> → <<1, 11>, 1>
3<<1, 11>, 1> + 1 = <<3, 33>, 4> = <<3, 32>, 20> = <<4, 16>, 20> → <<1, 4>, 5>
3<<1, 4>, 5> + 1 = <<3, 12>, 16> = <<3, 13>, 0> = <3, 13> （証明済み）
<4, 1>: <4, 1>(t1)<3, 1>(t1)<2, 5>(t1)<0, 7>(t5)<0, 1> 試行回数 1+(1+(1+5))=8回
3<4, 1> + 1 = <12, 4> → <3, 1> (証明済み）
＊「2で割る」処理の回数 3n/2：1回、/2：1回
<4, 3>: <4, 3>(t2)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 2+(2+4)=8回
3<4, 3> + 1 = <12, 10> → <6, 5>
3<6, 5> + 1 = <18, 16> = <19, 0> = <<1, 3>, 0> → <1, 3> (証明済み）
＊「2で割る」処理の回数 3n/2：1回
<4, 5>: <4, 5>(t1)<0, 13>(t2)<0, 1> 試行回数 1+2=3回
<4, 5> + 1 = <12, 16> = <13, 0> → 13 = <0, 13> （証明済み）
＊「2で割る」処理の回数 3n/2：0回
<4, 7>: 試行回数 18回
3<4, 7> + 1 = <12, 22> → <6, 11>
3<6, 11> + 1 = <18, 34> → <9, 17> = <10, 1>
3<10, 1> + 1 = <30, 4> → <15, 2> = <14, 18> → <7, 9>
3<7, 9> + 1 = <21, 28> = <22, 12> → <11, 6> = <10, 22> → <5, 11>
3<5, 11> + 1 = <15, 34> = <16, 18> → <8, 9>
3<8, 9> + 1 = <24, 28> → <6, 7>
3<6, 7> + 1 = <18, 22> → <9, 11>
3<9, 11> + 1 = <27, 34> = <28, 18> → <14, 9>
3<14, 9> + 1 = <42, 28> → <21, 14> = <20, 30> → <10, 15>
3<10, 15> + 1 = <30, 46> → <15, 23> = <16, 7> = <<1, 0>, 7>
3<<1, 0>, 7> + 1 = <<3, 0>, 22> = <<2, 16>, 22> → <<1, 13>, 11>
3<<1, 13>, 11> + 1 = <<3, 39>, 34> = <<3, 40>, 18> = <<4, 24>, 18> → <<2, 12>, 9>
3<<2, 12>, 9> + 1 = <<6, 36>, 28> → <<3, 18>, 14> = <<4, 2>, 14> → <<2, 1>, 7>
3<<2, 1>, 7> + 1 = <<6, 3>, 22> = <<6, 4>, 6> → <<3, 2>, 3>
3<<3, 2>, 3> + 1 = <<9, 6>, 10> = <<8, 22>, 10> → <<4, 11>, 5>
3<<4, 11>, 5> + 1 = <<12, 33>, 16> = <<12, 34>, 0> → <12, 34> → <6, 17> = <7, 1>
3<7, 1> + 1 = <21, 4> = <20, 20> → <5, 5>
3<5, 5> + 1 = <15, 16> = <16, 0> → <1, 0> = 16 → 1
<4, 9>: <4, 9>(t1)<3, 7>(t3)<2, 15>(t34)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(3+(34+(3+1)))=42回
3<4, 9> + 1 = <12, 28> → <3, 7> (証明済み）
＊「2で割る」処理の回数 3n/2：1回、/2：1回
<4, 11>: 試行回数 3回
3<4, 11> + 1 = <12, 34> → <6, 17> = <7, 1>
3<7, 1> + 1 = <21, 4> = <20, 20> → <5, 5>
3<5, 5> + 1 = <15, 16> = <16, 0> → <1, 0> = 16 → 1
＊「2で割る」処理の回数 3n/2：3回、/2：1回
<4, 13>: <4, 13>(t1)<1, 13>(t1)<0, 11>(t4)<0, 1> 試行回数 1+(1+4)=6回
3<4, 13> + 1 = <12, 40> → <3, 10> = <2, 26> → <1, 13> （証明済み）
＊「2で割る」処理の回数 3n/2：1回、/2：2回
<4, 15>: <4, 15>(t5)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 5+(2+4)=11回
3<4, 15> + 1 = <12, 46> → <6, 23> = <7, 7>
3<7, 7> + 1 = <21, 22> = <22, 6> → <11, 3>
3<11, 3> + 1 = <33, 10> = <32, 26> → <16, 13> = <<1, 0>, 13>
3<<1, 0>, 13> + 1 = <<3, 0>, 40> = <<2, 16>, 40> → <<1, 8>, 20> = <<0, 24>, 20> → <6, 5>
3<6, 5> + 1 = <18, 16> = <19, 0> = <<1, 3>, 0> → <1, 3> (証明済み）
＊「2で割る」処理の回数 3n/2：4回、/2：2回
<5, 1>: <5, 1>(t1)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(1+(3+1))=6回
3<5, 1> + 1 = <15, 4> = <14, 20> → <7, 10> = <6, 26> → <3, 13> (証明済み）
＊「2で割る」処理の回数 3n/2：1回、/2：1回
<5, 3>: <5, 3>(t2)<2, 15>(t34)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 2+(34+(3+1))=40回
3<5, 3> + 1 = <15, 10> = <14, 26> → <7, 13>
3<7, 13> + 1 = <21, 40> = <22, 24> → <11, 12> = <10, 28> → <5, 14> = <4, 30> → <2, 15> (証明済み）
＊「2で割る」処理の回数 3n/2：2回、/2：2回
<5, 5>: 試行回数 1回
3<5, 5> + 1 = <15, 16> = <16, 0> → <1, 0> = 16 → 1
＊「2で割る」処理の回数 3n/2：1回
<5, 7>: <5, 7>(t3)<2, 5>(t1)<0, 7>(t5)<0, 1> 試行回数 3+(1+5)=9回
3<5, 7> + 1 = <15, 22> = <16, 6> → <8, 3>
3<8, 3> + 1 = <24, 10> → <12, 5>
3<12, 5> + 1 = <36, 16> = <37, 0> = <<2, 5>, 0> → <2, 5> （証明済み）
＊「2で割る」処理の回数 3n/2：2回
<5, 9>: <5, 9>(t1)<4, 3>(t2)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 1+(2+(2+4))=9回
＊「2で割る」処理の回数 3n/2：1回、/2：1回
3<5, 9> + 1 = <15, 28> = <16, 12> → <4, 3> (証明済み)
<5, 11>: <5, 11>(t28)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 28+(1+(3+1))=33回
3<5, 11> + 1 = <15, 34> = <16, 18> → <8, 9>
3<8, 9> + 1 = <24, 28> → <6, 7>
3<6, 7> + 1 = <18, 22> → <9, 11>
3<9, 11> + 1 = <27, 34> = <28, 18> → <14, 9>
3<14, 9> + 1 = <42, 28> → <21, 14> = <20, 30> → <10, 15>
3<10, 15> + 1 = <30, 46> → <15, 23> = <16, 7> = <<1, 0>, 7>
3<<1, 0>, 7> + 1 = <<3, 0>, 22> = <<2, 16>, 22> → <<1, 8>, 11>
3<<1, 8>, 11> + 1 = <<3, 24>, 34> = <<4, 8>, 34> → <<2, 4>, 17> = <<2, 5>, 1>
3<<2, 5>, 1> + 1 = <<6, 15>, 4> = <<6, 14>, 20> → <<3, 7>, 10> = <<3, 6>, 26> = <<2, 22>, 26> → <<1, 11>, 13>
3<<1, 11>, 13> + 1 = <<3, 33>, 40> = <<3, 34>, 24> = <<4, 18>, 24> → <<2, 9>, 12> = <<2, 8>, 28> → <<1, 4>, 14> = <<0, 20>, 14> → <10, 7>
3<10, 7> + 1 = <30, 22> → <15, 11>
3<15, 11> + 1 = <45, 34> = <46, 18> → <23, 9> = <<1, 7>, 9>
3<<1, 7>, 9> + 1 = <<3, 21>, 28> = <<3, 22>, 12> = <<4, 6>, 12> → <<2, 3>, 6> = <<2, 2>, 22> → <<1, 1>, 11>
3<<1, 1>, 11> + 1 = <<3, 3>, 34> = <<3, 4>, 18> = <<2, 20>, 18> → <<1, 10>, 9>
3<<1, 10>, 9> + 1 = <<3, 30>, 28> = <<4, 14>, 28> → <<2, 7>, 14> = <<2, 6>, 30> → <<1, 3>, 15>
3<<1, 3>, 15> + 1 = <<3, 9>, 46> = <<3, 10>, 30> = <<2, 26>, 30> → <<1, 13>, 15>
3<<1, 13>, 15> + 1 = <<3, 39>, 46> = <<3, 40>, 30> = <<4, 24>, 30> → <<2, 12>, 15>
3<<2, 12>, 15> + 1 = <<6, 36>, 46> → <<3, 18>, 23> = <<3, 19>, 7> = <<4, 3>, 7>
3<<4, 3>, 7> + 1 = <<12, 9>, 22> = <<12, 10>, 6> → <<6, 5>, 3>
3<<6, 5>, 3> + 1 = <<18, 15>, 10> = <<18, 14>, 26> → <<9, 7>, 13>
3<<9, 7>, 13> + 1 = <<27, 21>, 40> = <<27, 22>, 24> = <<28, 6>, 24> → <<14, 3>, 12> = <<14, 2>, 28> → <<7, 1>, 14> = <<7, 0>, 30> = <<6, 16>, 30> → <<3, 8>, 15>
3<<3, 8>, 15> + 1 = <<9, 24>, 46> = <<10, 8>, 46> → <<5, 4>, 23> = <<5, 5>, 7>
3<<5, 5>, 7> + 1 = <<15, 15>, 22> = <<15, 16>, 6> = <<16, 0>, 6> → <<8, 0>, 3>
3<<8, 0>, 3> + 1 = <<24, 0>, 10> → <<12, 0>, 5>
3<<12, 0>, 5> + 1 = <<36, 0>, 16> = <36,1> = <<2, 4>, 1>
3<<2, 4>, 1> + 1 = <<6, 12>, 4> → <<3, 6>, 2> =<<2, 22>, 2> → <<1, 11>, 1>
3<<1, 11>, 1> + 1 = <<3, 33>, 4> = <<3, 32>, 20> = <<4, 16>, 20> → <<1, 4>, 5>
3<<1, 4>, 5> + 1 = <<3, 12>, 16> = <<3, 13>, 0> = <3, 13> （証明済み）
<5, 13>: <5, 13>(t1)<2, 3>(t3)<0, 1> 試行回数 1+3=4回
＊「2で割る」処理の回数 3n/2：1回、/2：2回
3<5, 13> + 1 = <15, 40> = <16, 24> → <2, 3>
<5, 15>: <5, 15>(t5)<5, 11>(t28)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 5+(28+(1+(3+1)))=38回
＊「2で割る」処理の回数 3n/2：4回
3<5, 15> + 1 = <15, 46> = <16, 30> → <8, 15>
3<8, 15> + 1 = <24, 46> → <12, 23> = <13, 7>
3<13, 7> + 1 = <39, 22> = <40, 6> → <20, 3> = <<1, 4>, 3>
3<<1, 4>, 3> + 1 = <<3, 12>, 10> = <<2, 28>, 10> → <<1, 14>, 5>
3<<1, 14>, 5> + 1 = <<3, 42>, 16> = <<3, 43>, 0> → <5, 11>（証明済み）
<6, 1>: <6, 1>(t1)<4, 9>(t1)<3, 7>(t3)<2, 15>(t34)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(1+(3+(34+(3+1))))=43回
＊「2で割る」処理の回数 3n/2：1回、/2：1回
3<6, 1> + 1 = <18, 4> → <9, 2> = <8, 18> → <4, 9> （証明済み）
<6, 3>: <6, 3>(t2)<0, 7>(t5)<0, 1> 試行回数 2+5=7回
＊「2で割る」処理の回数 3n/2：2回
3<6, 3> + 1 = <18, 10> → <9, 5>
3<9, 5> + 1 = <27, 16> = <28, 0> → 28 → 14 → 7 = <0, 7> （証明済み）
<6, 5>: <6, 5>(t1)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 1+(2+4)=7回
＊「2で割る」処理の回数 3n/2：0回
3<6, 5> + 1 = <18, 16> = <19, 0> = <<1, 3>, 0> → <1, 3> （証明済み）
<6, 7>: <6, 7>(t26)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 26+(1+(3+1))=31回
3<6, 7> + 1 = <18, 22> → <9, 11>
3<9, 11> + 1 = <27, 34> = <28, 18> → <14, 9>
3<14, 9> + 1 = <42, 28> → <21, 14> = <20, 30> → <10, 15>
3<10, 15> + 1 = <30, 46> → <15, 23> = <16, 7> = <<1, 0>, 7>
3<<1, 0>, 7> + 1 = <<3, 0>, 22> = <<2, 16>, 22> → <<1, 8>, 11>
3<<1, 8>, 11> + 1 = <<3, 24>, 34> = <<4, 8>, 34> → <<2, 4>, 17> = <<2, 5>, 1>
3<<2, 5>, 1> + 1 = <<6, 15>, 4> = <<6, 14>, 20> → <<3, 7>, 10> = <<3, 6>, 26> = <<2, 22>, 26> → <<1, 11>, 13>
3<<1, 11>, 13> + 1 = <<3, 33>, 40> = <<3, 34>, 24> = <<4, 18>, 24> → <<2, 9>, 12> = <<2, 8>, 28> → <<1, 4>, 14> = <<0, 20>, 14> → <10, 7>
3<10, 7> + 1 = <30, 22> → <15, 11>
3<15, 11> + 1 = <45, 34> = <46, 18> → <23, 9> = <<1, 7>, 9>
3<<1, 7>, 9> + 1 = <3, 21>, 28> = <<3, 22>, 12> = <<4, 6>, 12> → <<2, 3>, 6> = <<2, 2>, 22> → <<1, 1>, 11>
3<<1, 1>, 11> + 1 = <<3, 3>, 34> = <<3, 4>, 18> = <<2, 20>, 18> → <<1, 10>, 9>
3<<1, 10>, 9> + 1 = <<3, 30>, 28> = <<4, 14>, 28> → <<2, 7>, 14> = <<2, 6>, 30> → <<1, 3>, 15>
3<<1, 3>, 15> + 1 = <<3, 9>, 46> = <<3, 10>, 30> = <<2, 26>, 30> → <<1, 13>, 15>
3<<1, 13>, 15> + 1 = <<3, 39>, 46> = <<3, 40>, 30> = <<4, 24>, 30> → <<2, 12>, 15>
3<<2, 12>, 15> + 1 = <<6, 36>, 46> → <<3, 18>, 23> = <<3, 19>, 7> = <<4, 3>, 7>
3<<4, 3>, 7> + 1 = <<12, 9>, 22> = <<12, 10>, 6> → <<6, 5>, 3>
3<<6, 5>, 3> + 1 = <<18, 15>, 10> = <<18, 14>, 26> → <<9, 7>, 13>
3<<9, 7>, 13> + 1 = <<27, 21>, 40> = <<27, 22>, 24> = <<28, 6>, 24> → <<14, 3>, 12> = <<14, 2>, 28> → <<7, 1>, 14> = <<7, 0>, 30> = <<6, 16>, 30> → <<3, 8>, 15>
3<<3, 8>, 15> + 1 = <<9, 24>, 46> = <<10, 8>, 46> → <<5, 4>, 23> = <<5, 5>, 7>
3<<5, 5>, 7> + 1 = <<15, 15>, 22> = <<15, 16>, 6> = <<16, 0>, 6> → <<8, 0>, 3>
3<<8, 0>, 3> + 1 = <<24, 0>, 10> → <<12, 0>, 5>
3<<12, 0>, 5> + 1 = <<36, 0>, 16> = <36,1> = <<2, 4>, 1>
3<<2, 4>, 1> + 1 = <<6, 12>, 4> → <<3, 6>, 2> =<<2, 22>, 2> → <<1, 11>, 1>
3<<1, 11>, 1> + 1 = <<3, 33>, 4> = <<3, 32>, 20> = <<4, 16>, 20> → <<1, 4>, 5>
3<<1, 4>, 5> + 1 = <<3, 12>, 16> = <<3, 13>, 0> = <3, 13> （証明済み）
<6, 9>: <6, 9>(t1)<4, 15>(t5)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 1+(5+(2+4))=12回
＊「2で割る」処理の回数「3n/2」：1回、「/2」：1回
3<6, 9> + 1 = <18, 28> → <9, 14> = <8, 30> → <4, 15> （証明済み）
<6, 11>: <6, 11>(t3)<5, 11>(t28)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 3+(28+(1+(3+1)))=36回
＊「2で割る」処理の回数「3n/2」：3回、「/2」：2回
3<6, 11> + 1 = <18, 34> → <9, 17> = <10, 1>
3<10, 1> + 1 = <30, 4> → <15, 2> = <14, 18> → <7, 9>
3<7, 9> + 1 = <21, 28> = <22, 12> → <11, 6> = <10, 22> → <5, 11> （証明済み）
<6, 13>: <6, 13>(t1)<2, 9>(t1)<1, 15>(t35)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(1+(35+(3+1)))=41回
＊「2で割る」処理の回数「3n/2」：1回、「/2」：2回
3<6, 13> + 1 = <18, 40> → <9, 20> = <10, 4> → <5, 2> = <4, 18> → <2, 9> （証明済み）
<6, 15>: <6, 15>(t19)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 19+(1+(3+1))=24回
3<6, 15> + 1 = <18, 46> → <9, 23> = <10, 7>
3<10, 7> + 1 = <30, 22> → <15, 11>
3<15, 11> + 1 = <45, 34> = <46, 18> → <23, 9> = <<1, 7>, 9>
3<<1, 7>, 9> + 1 = <<3, 21>, 28> = <<3, 22>, 12> = <<4, 6>, 12> → <<2, 3>, 6> = <<2, 2>, 22> → <<1, 1>, 11>
3<<1, 1>, 11> + 1 = <<3, 3>, 34> = <<3, 4>, 18> = <<2, 20>, 18> → <<1, 10>, 9>
3<<1, 10>, 9> + 1 = <<3, 30>, 28> = <<4, 14>, 28> → <<2, 7>, 14> = <<2, 6>, 30> → <<1, 3>, 15>
3<<1, 3>, 15> + 1 = <<3, 9>, 46> = <<3, 10>, 30> = <<2, 26>, 30> → <<1, 13>, 15>
3<<1, 13>, 15> + 1 = <<3, 39>, 46> = <<3, 40>, 30> = <<4, 24>, 30> → <<2, 12>, 15>
3<<2, 12>, 15> + 1 = <<6, 36>, 46> → <<3, 18>, 23> = <<3, 19>, 7> = <<4, 3>, 7>
3<<4, 3>, 7> + 1 = <<12, 9>, 22> = <<12, 10>, 6> → <<6, 5>, 3>
3<<6, 5>, 3> + 1 = <<18, 15>, 10> = <<18, 14>, 26> → <<9, 7>, 13>
3<<9, 7>, 13> + 1 = <<27, 21>, 40> = <<27, 22>, 24> = <<28, 6>, 24> → <<14, 3>, 12> = <<14, 2>, 28> → <<7, 1>, 14> = <<7, 0>, 30> = <<6, 16>, 30> → <<3, 8>, 15>
3<<3, 8>, 15> + 1 = <<9, 24>, 46> = <<10, 8>, 46> → <<5, 4>, 23> = <<5, 5>, 7>
3<<5, 5>, 7> + 1 = <<15, 15>, 22> = <<15, 16>, 6> = <<16, 0>, 6> → <<8, 0>, 3>
3<<8, 0>, 3> + 1 = <<24, 0>, 10> → <<12, 0>, 5>
3<<12, 0>, 5> + 1 = <<36, 0>, 16> = <36,1> = <<2, 4>, 1>
3<<2, 4>, 1> + 1 = <<6, 12>, 4> → <<3, 6>, 2> =<<2, 22>, 2> → <<1, 11>, 1>
3<<1, 11>, 1> + 1 = <<3, 33>, 4> = <<3, 32>, 20> = <<4, 16>, 20> → <<1, 4>, 5>
3<<1, 4>, 5> + 1 = <<3, 12>, 16> = <<3, 13>, 0> = <3, 13> （証明済み）
<7, 1>: 試行回数 2回
＊「2で割る」処理の回数「3n/2」：1回、「/2」：1回
3<7, 1> + 1 = <21, 4> = <20, 20> → <5, 5>
3<5, 5> + 1 = <15, 16> = <16, 0> → <1, 0> = 16 → <0, 1> = 1
<7, 3>: <7, 3>(t2)<4, 1>(t1)<3, 1>(t1)<2, 5>(t1)<0, 7>(t5)<0, 1> 試行回数 2+(1+(1+(1+5)))=10回
＊「2で割る」処理の回数「3n/2」：2回、「/2」：2回
3<7, 3> + 1 = <21, 10> = <20, 26> → <10, 13>
3<10, 13> + 1 = <30, 40> → <15, 20> = <16, 4> → <4, 1> （証明済み）
<7, 5>: <7, 5>(t1)<0, 11>(t4)<0, 1> 試行回数 1+4=5回
＊「2で割る」処理の回数「3n/2」：0回、「/2」：0回
3<7, 5> + 1 = <21, 16> = <22, 0> → 22 → 11 = <0, 11> （証明済み）
<7, 7>: <7, 7>(t4)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 4+(2+4)=10回
＊「2で割る」処理の回数「3n/2」：3回、「/2」：2回
3<7, 7> + 1 = <21, 22> = <22, 6> → <11, 3>
3<11, 3> + 1 = <33, 10> = <32, 26> → <16, 13> = <<1, 0>, 13>
3<<1, 0>, 13> + 1 = <<3, 0>, 40> = <<2, 16>, 40> → <<1, 8>, 20> = <<0, 24>, 20> → <6, 5>
3<6, 5> + 1 = <18, 16> = <19, 0> = <<1, 3>, 0> → <1, 3> （証明済み）
<7, 9>: <7, 9>(t1)<5, 11>(t28)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(28+(1+(3+1)))=34回
＊「2で割る」処理の回数「3n/2」：1回、「/2」：1回
3<7, 9> + 1 = <21, 28> = <22, 12> → <11, 6> = <10, 22> → <5, 11> (証明済み)
<7, 11>: <7, 11>(t5)<3, 11>(t4)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 5+(4+(2+4))=15回
＊「2で割る」処理の回数「3n/2」：5回、「/2」：4回
3<7, 11> + 1 = <21, 34> = <22, 18> → <11, 9>
3<11, 9> + 1 = <33, 28> = <34, 12> → <17, 6> = <16, 22> → <8, 11>
3<8, 11> + 1 = <24, 34> → <12, 17> = <13, 1>
3<13, 1> + 1 = <39, 4> = <38, 20> → <19, 10> = <18, 26> → <9, 13>
3<9, 13> + 1 = <27, 40> = <28, 24> → <7, 6> = <6, 22> → <3, 11> （証明済み）
<7, 13>: <7, 13>(t1)<2, 15>(t34)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(34+(3+1))=39回
＊「2で割る」処理の回数「3n/2」：1回、「/2」：2回
3<7, 13> + 1 = <21, 40> = <22, 24> → <11, 12> = <10, 28> → <5, 14> = <4, 30> → <2, 15> （証明済み）
<7, 15>: <7, 15>(t9)<4, 13>(t1)<1, 13>(t1)<0, 11>(t4)<0, 1> 試行回数 9+(1+(1+4))=15回
3<7, 15> + 1 = <21, 46> = <22, 30> → <11, 15>
3<11, 15> + 1 = <33, 46> = <34, 30> → <17, 15> = <<1, 1>, 15>
3<1, 1>, 15> + 1 = <<3, 3>, 46> = <<3, 4>, 30> = <<2, 20>, 30> → <<1, 10>, 15>
3<<1, 10>, 15> + 1 = <<3, 30>, 46> = <<4, 14>, 46> → <<2, 7>, 23> = <<2, 8>, 7>
3<<2, 8>, 7> + 1 = <<6, 24>, 22> → <<3, 12>, 11>
3<<3, 12>, 11> + 1 = <<9, 36>, 34> = <<10, 20>, 34> → <<5, 10>, 17> = <<5, 11>, 1>
3<<5, 11>, 1> + 1 = <<15, 33>, 4> = <<15, 32>, 20> = <<16, 16>, 20> → <<8, 8>, 10> → <<4, 4>, 5>
3<<4, 4>, 5> + 1 = <<12, 12>, 16> = <<12, 13>, 0> → <12, 13>
3<12, 13> + 1 = <36, 40> → <9, 10> = <8, 26> → <4, 13> （証明済み）
<8, 1>: <8, 1>(t1)<6, 1>(t1)<4, 9>(t1)<3, 7>(t3)<2, 15>(t34)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(1+(1+(3+(34+(3+1)))))=44回
＊「2で割る」処理の回数「3n/2」：1回、「/2」：1回
3<8, 1> + 1 = <24, 4> → <6, 1> （証明済み）
<8, 3>: <8, 3>(t2)<2, 5>(t1)<0, 7>(t5)<0, 1> 試行回数 2+(1+5)=8回
＊「2で割る」処理の回数 「3n/2」：1回、「/2」：0回
3<8, 3> + 1 = <24, 10> → <12, 5>
3<12, 5> + 1 = <36, 16> = <37, 0> = <<2, 5>, 0> → <2, 5> （証明済み）
<8, 5>: <8, 5>(t1)<1, 9>(t1)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 1+(1+(2+4))=8回
＊「2で割る」処理の回数 「3n/2」：0回、「/2」：0回
3<8, 5> + 1 = <24, 16> = <25, 0> = <<1, 9>, 0> → <1, 9> （証明済み）
<8, 7>: <8, 7>(t4)<2, 11>(t3)<2, 5>(t1)<0, 7>(t5)<0, 1> 試行回数 4+(3+(1+5))=13回
＊「2で割る」処理の回数 [3n/2」：3回、[/2」：1回
3<8, 7> + 1 = <24, 22> → <12, 11>
3<12, 11> + 1 = <36, 34> → <18, 17> = <19, 1> = <<1, 3>, 1>
3<<1, 3>, 1> + 1 = <<3, 9>, 4> = <<3, 8>, 20> = <<2, 24>, 20> → <<1, 12>, 10> → <<0, 28>, 10> → <14, 5>
3<14, 5> + 1 = <42, 16> = <43, 0> = <2, 11> （証明済み）
<8, 9>: <8, 9>(t1)<6, 7>(t26)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(26+(1+(3+1)))=32回
＊「2で割る」処理の回数 「3n/2」：1回、「/2」：1回
3<8, 9> + 1 = <24, 28> → <6, 7> （証明済み）
<8, 11>: <8, 11>(t3)<3, 11>(t4)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 3+(4+(2+4))=13回
＊「2で割る」処理の回数 「3n/2」：3回、「/2」：3回
3<8, 11> + 1 = <24, 34> → <12, 17> = <13, 1>
3<13, 1> + 1 = <39, 4> = <38, 20> → <19, 10> = <18, 26> → <9, 13>
3<9, 13> + 1 = <27, 40> = <28, 24> → <7, 6> = <6, 22> → <3, 11> （証明済み）
<8, 13>: <8, 13>(t1)<3, 5>(t2)<0, 1> 試行回数 1+2=3回
＊「2で割る」処理の回数 「3n/2」：1回、「/2」：2回
3<8, 13> + 1 = <24, 40> → <3, 5> （証明済み）
<8, 15>: <8, 15>(t5)<8, 9>(t1)<6, 7>(t26)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 4+(28+(1+(3+1)))=37回
＊「2で割る」処理の回数 「3n/2」：3回、「/2」：0回
3<8, 15> + 1 = <24, 46> → <12, 23> = <13, 7>
3<13, 7> + 1 = <39, 22> = <40, 6> → <20, 3> = <<1, 4>, 3>
3<<1, 4>, 3> + 1 = <<3, 12>, 10> = <<2, 28>, 10> → <<1, 14>, 5>
3<<1, 14>, 5> + 1 = <<3, 42>, 16> = <<3, 43>, 0> → <5, 11>（証明済み）
<9, 1>: <9, 1>(t1)<6, 13>(t1)<2, 9>(t1)<1, 15>(t35)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(1+(1+(35+(3+1))))=42回
＊「2で割る」処理の回数 「3n/2」：1回、「/2」：1回
3<9, 1> + 1 = <27, 4> = <26, 20> → <13, 10> = <12, 26> → <6, 13> （証明済み）
<9, 3>: <9, 3>(t2)<5, 3>(t2)<2, 15>(t34)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 2+(2+(34+(3+1)))=42回
＊「2で割る」処理の回数 「3n/2」：2回、「/2」：2回
3<9, 3> + 1 = <27, 10> = <26, 26> → <13, 13>
3<13, 13> + 1 = <39, 40> = <40, 24> → <5, 3> （証明済み）
<9, 5>: <9, 5>(t1)<0, 7>(t5)<0, 1> 試行回数 1+5=6回
＊「2で割る」処理の回数 「3n/2」：0回、「/2」：0回
3<9, 5> + 1 = <27, 16> = <28, 0> → 28 → 7 = <0, 7> （証明済み）
<9, 7>: 試行回数 3回
＊「2で割る」処理の回数 「3n/2」：2回、「/2」：0回
3<9, 7> + 1 = <27, 22> = <28, 6> → <14, 3>
3<14, 3> + 1 = <42, 10> → <21, 5> = <<1, 5>, 5>
3<<1, 5>, 5> + 1 = <<3, 15>, 16> = <<3, 16>, 0> → <4, 0> → 4 → 1
<9, 9>: <9, 9>(t1)<7, 3>(t2)<4, 1>(t1)<3, 1>(t1)<2, 5>(t1)<0, 7>(t5)<0, 1>試行回数 1+(2+(1+(1+(1+5))))=11回
＊「2で割る」処理の回数 「3n/2」：1回、「/2」：1回
3<9, 9> +1 = <27, 28> = <28, 12> → <7, 3> （証明済み）
<9, 11>: <9, 11>(t25)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 25+(1+(3+1))=30回
3<9, 11> + 1 = <27, 34> = <28, 18> → <14, 9>
3<14, 9> + 1 = <42, 28> → <21, 14> = <20, 30> → <10, 15>
3<10, 15> + 1 = <30, 46> → <15, 23> = <16, 7> = <<1, 0>, 7>
3<<1, 0>, 7> + 1 = <<3, 0>, 22> = <<2, 16>, 22> → <<1, 8>, 11>
3<<1, 8>, 11> + 1 = <<3, 24>, 34> = <<4, 8>, 34> → <<2, 4>, 17> = <<2, 5>, 1>
3<<2, 5>, 1> + 1 = <<6, 15>, 4> = <<6, 14>, 20> → <<3, 7>, 10> = <<3, 6>, 26> = <<2, 22>, 26> = <<1, 11>, 13>
3<<1, 11>, 13> + 1 = <<3, 33>, 40> = <<3, 34>, 24> = <<4, 18>, 24> → <<2, 9>,12> = <<2, 8>, 28> → <<1, 4>, 14> = <<0, 20>, 14> → <10, 7>
3<10, 7> + 1 = <30, 22> → <15, 11>
3<15, 11> + 1 = <45, 34> = <46, 18> → <23, 9> = <<1, 7>, 9>
3<<1, 7>, 9> + 1 = <<3, 21>, 28> = <<3, 22>, 12> = <<4, 6>, 12> → <<2, 3>, 6> = <<2, 2>, 22> → <<1, 1>, 11>
3<<1, 1>, 11> + 1 = <<3, 3>, 34> = <<3, 4>, 18> = <<2, 20>, 18> → <<1, 10>, 9>
3<<1, 10>, 9> + 1 = <<3, 30>, 28> = <<4, 14>, 28> → <<2, 7>, 14> = <<2, 6>, 30> → <<1, 3>, 15>
3<<1, 3>, 15> + 1 = <<3, 9>, 46> = <<3, 10>, 30> = <<2, 26>, 30> → <<1, 13>, 15>
3<<1, 13>, 15> + 1 = <<3, 39>, 46> = <<3, 40>, 30> = <<4, 24>, 30> → <<2, 12>, 15>
3<<2, 12>, 15> + 1 = <<6, 36>, 46> → <<3, 18>, 23> = <<3, 19>, 7> = <<4, 3>, 7>
3<<4, 3>, 7> + 1 = <<12, 9>, 22> = <<12, 10>, 6> → <<6, 5>, 3>
3<<6, 5>, 3> + 1 = <<18, 15>, 10> = <<18, 14>, 26> → <<9, 7>, 13>
3<<9, 7>, 13> + 1 = <<27, 21>, 40> = <<27, 22>, 24> = <<28, 6>, 24> → <<14, 3>, 12> = <<14, 2>, 28> → <<7, 1>, 14> = <<7, 0>, 30> = <<6, 16>, 30> → <<3, 8>, 15>
3<<3, 8>, 15> + 1 = <<9, 24>, 46> = <<10, 8>, 46> → <<5, 4>, 23> = <<5, 5>, 7>
3<<5, 5>, 7> + 1 = <<15, 15>, 22> = <<15, 16>, 6> = <<16, 0>, 6> → <<8, 0>, 3>
3<<8, 0>, 3> + 1 = <<24, 0>, 10> → <<12, 0>, 5>
3<<12, 0>, 5> + 1 = <<36, 0>, 16> = <36,1> = <<2, 4>, 1>
3<<2, 4>, 1> + 1 = <<6, 12>, 4> → <<3, 6>, 2> =<<2, 22>, 2> → <<1, 11>, 1>
3<<1, 11>, 1> + 1 = <<3, 33>, 4> = <<3, 32>, 20> = <<4, 16>, 20> → <<1, 4>, 5>
3<<1, 4>, 5> + 1 = <<3, 12>, 16> = <<3, 13>, 0> = <3, 13> （証明済み）
<9, 13>: <9, 13>(t1)<3, 11>(t4)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 1+(4+(2+4))=11回
＊「2で割る」処理の回数 「3n/2」：1回、「/2」：2回
3<9, 13> + 1 = <27, 40> = <28, 24> → <7, 6> = <6, 22> → <3, 11> （証明済み）
<9, 15>: <9, 15>(t13)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 13+(1+(3+1))=18回
3<9, 15> + 1 = <27, 46> = <28, 30> → <14, 15>
3<14, 15> + 1 = <42, 46> → <21, 23> = <22, 7> = <<1, 6>, 7>
3<<1, 6>, 7> + 1 = <<3, 18>, 22> = <<4, 2>, 22> → <<2, 1>, 11>
3<<2, 1>, 11> + 1 = <<6, 3>, 34> = <<6, 4>, 18> → <<3, 2>, 9>
3<<3, 2>, 9> + 1 = <<9, 6>, 28> = <<8, 22>, 28> → <<4, 11>, 14> = <<4, 10>, 30> → <<2, 5>, 15>
3<<2, 5>, 15> + 1 = <<6, 15>, 46> = <<6, 16>, 30> → <<3, 8>, 15>
3<<3, 8>, 15> + 1 = <<9, 24>, 46> = <<9, 26>, 14> = <<10, 10>, 14> → <<5, 5>, 7>
3<<5, 5>, 7> + 1 = <<15, 15>, 22> = <<15, 16>, 6> = <<16, 0>, 6> → <<8, 0>, 3>
3<<8, 0>, 3> + 1 = <<24, 0>, 10> → <<12, 0>, 5>
3<<12, 0>, 5> + 1 = <<36, 0>, 16> → <36, 1> = <<2, 4>, 1>
3<<2, 4>, 1> + 1 = <<6, 12>, 4> → <<3, 6>, 2> = <<2, 22>, 2> → <<1, 11>, 1>
3<<1, 11>, 1> + 1 = <<3, 33>, 4> = <<3, 32>, 20> = <<4, 16>, 20> → <<1, 4>, 5>
3<<1, 4>, 5> + 1 = <<3, 12>, 16> = <<3, 13>, 0> → <3, 13> （証明済み）
<10, 1>: <10, 1>(t1)<7, 9>(t1)<5, 11>(t28)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(1+(28+(1+(3+1))))=35回
3<10, 1> + 1 = <30, 4> → <15, 2> = <14, 18> → <7, 9> （証明済み）
<10, 3>: <10, 3>(t2)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 2+(3+1)=6回
3<10, 3> + 1 = <30, 10> → <15, 5>
3<15, 5> + 1 = <45, 16> = <46, 0> = <<2, 14>, 0> → <1, 7> （証明済み）
<10, 5>: <10, 5>(t1)<1, 15>(t35)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(35+(3+1))=40回
3<10, 5> + 1 = <30, 16> = <31, 0> = <<1, 15>, 0> → <1, 15> （証明済み）
<10, 7>: <10, 7>(t18)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 18+(1+(3+1))=23回
3<10, 7> + 1 = <30, 22> → <15, 11>
3<15, 11> + 1 = <45, 34> = <46, 18> → <23, 9> = <<1, 7>, 9>
3<<1, 7>, 9> + 1 = <<3, 21>, 28> = <<3, 22>, 12> = <<4, 6>, 12> → <<2, 3>, 6> = <<2, 2>, 22> → <<1, 1>, 11>
3<<1, 1>, 11> + 1 = <<3, 3>, 34> = <<3, 4>, 18> = <<2, 20>, 18> → <<1, 10>, 9>
3<<1, 10>, 9> + 1 = <<3, 30>, 28> = <<4, 14>, 28> → <<2, 7>, 14> = <<2, 6>, 30> → <<1, 3>, 15>
3<<1, 3>, 15> + 1 = <<3, 9>, 46> = <<3, 10>, 30> = <<2, 26>, 30> → <<1, 13>, 15>
3<<1, 13>, 15> + 1 = <<3, 39>, 46> = <<3, 40>, 30> = <<4, 24>, 30> → <<2, 12>, 15>
3<<2, 12>, 15> + 1 = <<6, 36>, 46> → <<3, 18>, 23> = <<3, 19>, 7> = <<4, 3>, 7>
3<<4, 3>, 7> + 1 = <<12, 9>, 22> = <<12, 10>, 6> → <<6, 5>, 3>
3<<6, 5>, 3> + 1 = <<18, 15>, 10> = <<18, 14>, 26> → <<9, 7>, 13>
3<<9, 7>, 13> + 1 = <<27, 21>, 40> = <<27, 22>, 24> = <<28, 6>, 24> → <<14, 3>, 12> = <<14, 2>, 28> → <<7, 1>, 14> = <<7, 0>, 30> = <<6, 16>, 30> → <<3, 8>, 15>
3<<3, 8>, 15> + 1 = <<9, 24>, 46> = <<10, 8>, 46> → <<5, 4>, 23> = <<5, 5>, 7>
3<<5, 5>, 7> + 1 = <<15, 15>, 22> = <<15, 16>, 6> = <<16, 0>, 6> → <<8, 0>, 3>
3<<8, 0>, 3> + 1 = <<24, 0>, 10> → <<12, 0>, 5>
3<<12, 0>, 5> + 1 = <<36, 0>, 16> = <36,1> = <<2, 4>, 1>
3<<2, 4>, 1> + 1 = <<6, 12>, 4> → <<3, 6>, 2> =<<2, 22>, 2> → <<1, 11>, 1>
3<<1, 11>, 1> + 1 = <<3, 33>, 4> = <<3, 32>, 20> = <<4, 16>, 20> → <<1, 4>, 5>
3<<1, 4>, 5> + 1 = <<3, 12>, 16> = <<3, 13>, 0> = <3, 13> （証明済み）
<10, 9>: <10, 9>(t1)<7, 15>(t9)<4, 13>(t1)<1, 13>(t1)<0, 11>(t4)<0, 1> 試行回数 1+(9+(1+(1+4)))=16回
3<10, 9> + 1 = <30, 28> → <15, 14> = <14, 30> → <7, 15> （証明済み）
<10, 11>: <10, 11>(t3)<9, 1>(t1)<6, 13>(t1)<2, 9>(t1)<1, 15>(t35)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 3+(1+(1+(1+(35+(3+1)))))=45回
3<10, 11> + 1 = <30, 34> → <15, 17> = <16, 1> = <<1, 0>, 1>
3<<1, 0>, 1> + 1 = <<3, 0>, 4> = <<2, 16>, 4> → <<1, 8>, 2> = <<0, 24>, 2> → <12, 1>
3<12, 1> + 1 = <36, 4> → <9, 1> （証明済み）
<10, 13>: <10, 13>(t1)<4, 1>(t1)<3, 1>(t1)<2, 5>(t1)<0, 7>(t5)<0, 1> 試行回数 1+(1+(1+(1+5)))=9回
3<10, 13> + 1 = <30, 40> → <15, 20> = <16, 4> → <4, 1> （証明済み）
<10, 15>: <10, 15>(t5)<10, 7>(t18)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 5+(18+(1+(3+1)))=28回
3<10, 15> + 1 = <30, 46> → <15, 23> = <16, 7> = <<1, 0>, 7>
3<<1, 0>, 7> + 1= <<3, 0>, 22> = <<2, 16>, 22> → <<1, 8>, 11>
3<<1, 8>, 11> + 1 = <<3, 24>, 34> = <<4, 8>, 34> → <<2, 4>, 17> = <<2, 5>, 1>
3<<2, 5>, 1> + 1= <<6, 15>, 4> = <<6, 14>, 20> → <<3, 7>, 10> = << 3, 6>, 26> = <<2, 22>, 26> → <<1, 11>, 13>
3<<1, 11>, 13> + 1 = <<3, 33>, 40> = <<3, 34>, 24> = <<4, 18>, 24> → <<2, 9>, 12> = <<2, 8>, 28> → <<1, 4>, 14> = <<0, 20>, 14> → <10, 7> （証明済み）
<11, 1>: <11, 1>(t1)<8, 5>(t1)<1, 9>(t1)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 1+(1+(1+(2+4)))=9回
3<11, 1> + 1 = <<33, 4> = <32, 20> → <8, 5> （証明済み）
<11, 3>: <11, 3>(t2)<6, 5>(t1)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 2+(1+(2+4))=9回
3<11, 3> + 1 = <33, 10> = <32, 26> → <16, 13> = <<1, 0>, 13>
3<<1, 0>, 13> + 1 = <<3, 0>, 40> = <<2, 16>, 40> → <<1, 8>, 20> = <<0, 24>, 20> → <6, 5> （証明済み）
<11, 5>: <11, 5>(t1)<1, 1>(t1)<0, 13>(t2)<0, 1> 試行回数 1+(1+2)=4回
3<11, 5> + 1 = <<33, 16> = <34, 0> = <<2, 2>, 0> → <1, 1> （証明済み）
<11, 7>: <11, 7>(t3)<9, 11>(t25)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 3+(25+(1+(3+1)))=33回
3<11, 7> + 1 = <<33, 22> = <34, 6> → <17, 3> = <<1, 1>, 3>
3<<1, 1>, 3> + 1 = <<3, 3>, 10> = <<3, 2>, 26> = <<2, 18>, 26> → <<1, 9>, 13>
3<<1, 9>, 13> + 1 = <<3, 27>, 40> = <<3, 28>, 24> = <<4, 12>, 24> → <<1, 3>, 6> = <<1, 2>, 22> = <<0, 18>, 22> → <9, 11> （証明済み）
<11, 9>: <11, 9>(t1)<8, 11>(t3)<3, 11>(t4)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 1+(3+(4+(2+4)))=14回
3<11, 9> + 1 = <33, 28> = <34, 12> → <17, 6> = <16, 22> → <8, 11> （証明済み）
<11, 11>: <11, 11>(t4)<7, 7>(t4)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 4+(4+(2+4))=14回
3<11, 11> + 1 = <33, 34> = <34, 18> → <17, 9> = <<1, 1>, 9>
3<<1, 1>, 9> + 1 = <<3, 3>, 28> = <<3, 4>, 12> = <<2, 20>, 12> = <<1, 10>, 6> = <<0, 26>, 6> → <13, 3>
3<13, 3> + 1 = <39, 10> = <38, 26> → <19,13> = <<1, 3>, 13>
3<<1, 3>, 13> + 1 = <<3, 9>, 40> = <<3, 10>, 24> = <<2, 26>, 24> → <<1, 13>, 12> = <<1, 12>, 28> = <<0, 28>, 28> → <7, 7> （証明済み）
<11, 13>: <11, 13>(t1)<4, 7>(t18)<0, 1> 試行回数 1+18=19回
3<11, 13> + 1 = <33, 40> = <34, 24> → <17, 12> = <16, 28> → <4, 7> （証明済み）
<11, 15>: <11, 15>(t8)<4, 13>(t1)<1, 13>(t1)<0, 11>(t4)<0, 1> 試行回数 8+(1+(1+4))=14回
3<11, 15> + 1 = <33, 46> = <34, 30> → <17, 15> = <<1, 1>, 15>
3<<1, 1>,15> + 1 = <<3, 3>, 46> = <<3, 4>, 30> = <<2, 20>, 30> → <<1, 10>, 15>
3<<1, 10>, 15> + 1 = <<3, 30>, 46> = <<4, 14>, 46> → <<2, 7>, 23> = <<2, 8>, 7>
3<<2, 8>, 7> + 1 = <<6, 24>, 22> → <<3, 12>, 11>
3<<3, 12>, 11> + 1 = <<9, 36>, 34> = <<10, 20>, 34> → <<5, 10>, 17> = <<5, 11>, 1>
3<<5, 11>, 1> + 1 = <<15, 33>, 4> = <<15, 32>, 20> = <<16, 16>, 20> → <<4, 4>, 5>
3<<4, 4>, 5> + 1 = <<12, 12>, 16> → <12, 13>
3<12, 13> + 1 = <36, 40> → <9, 10> = <8, 26> → <4, 13> （証明済み）
<12, 1>: <12, 1>(t1)<9, 1>(t1)<6, 13>(t1)<2, 9>(t1)<1, 15>(t35)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(1+(1+(1+(35+(3+1)))))=43回
3<12, 1> + 1 = <36, 4> → <9, 1>（証明済み）
<12, 3>: <12, 3>(t2)<3, 7>(t3)<2, 15>(t34)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 2+(3+(34+(3+1)))=43回
3<12, 3> + 1 = <36, 10> → <18, 5> = <<1, 2>, 5>
3<<1, 2>, 5> + 1 = <<3, 6>, 16> → <3, 7> （証明済み）
<12, 5>: <12, 5>(t1)<2, 5>(t1)<0, 7>(t5)<0, 1> 試行回数 1+(1+5)=7回
<12, 5> + 1 = <36, 16> = <37, 0> = <<2, 5>, 0> → <2, 5> （証明済み）
<12, 7>: <12, 7>(t5)<5, 15>(t5)<5, 11>(t28)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 5+(5+(28+(1+(3+1))))=43回
3<12, 7> + 1 = <36, 22> → <18, 11> = <<1, 2>, 11>
3<<1, 2>, 11> = <<3, 6>, 34> = <<2, 22>, 34> → <<1, 11>, 17> = <<1, 12>, 1>
3<<1, 12>, 1> + 1 = <<3, 36>, 4> = <<4, 20>, 4> → <<1, 5>, 1>
3<<1, 5>, 1> + 1 = <<3, 15>, 4> = <<3, 14>, 20> = <<2, 30>, 20> → <<1, 15>, 10> = <<1, 14>, 26> = <<0, 30>, 26> → <15, 13>
3<15, 13> + 1 = <45, 40> = <46, 24> → < 23, 12> = <<22, 28> → <11, 14> = <10, 30> → <5, 15> （証明済み）
<12, 9>: <12, 9>(t1)<9, 7>(t3)<0, 1> 試行回数 1+3=4回
3<12, 9> + 1 = <36, 28> → <9, 7> （証明済み）
<12, 11>: <12, 11>(t3)<2, 11>(t3)<2, 5>(t1)<0, 7>(t5)<0, 1> 試行回数 3+(3+(1+5))=12回
3<12, 11> + 1 = <36, 34> → <18, 17> = <19, 1> = <<1, 3>, 1>
3<<1, 3>, 1> + 1 = <<3, 9>, 4> = <<3, 8>, 20> = <<2, 24>, 20> = <<1, 12>, 10> = <<0, 28>, 10> → <14, 5>
3<14, 5> + 1 = <42, 16> = <43, 0> → 43 = <2, 11> （証明済み）
<12, 13>: <12, 13>(t1)<4, 13>(t1)<1, 13>(t1)<0, 11>(t4)<0, 1> 試行回数 1+(1+(1+4))=7回
3<12, 13> + 1 = <36, 40> → <9, 10> = <8, 26> → <4, 13> （証明済み）
<12, 15>: <12, 15>(t8)<10, 7>(t18)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 8+(18+(1+(3+1)))=31回
3<12, 15> + 1 = <36, 46> → <18, 23> = <19, 7> = <<1, 3>, 7>
3<<1, 3>, 7> + 1 = <<3, 9>, 22> = <<3, 10>, 6> = <<2, 26>, 6> → <<1, 13>, 3>
3<<1, 13>, 3> + 1 = <<3, 39>, 10> = <<3, 38>, 26> = <<4, 22>, 26> → <<2, 11>, 13>
3<<2, 11>, 13> + 1 = <<6, 33>, 40> = <<6, 34>, 24> → <<3, 17>, 12> = <<3, 16>, 28> = <<4, 0>, 28> → <<1, 0>, 7>
3<<1, 0>, 7> + 1 = <<3, 0>, 22> = <<2, 16>, 22> → <<1, 8>, 11>
3<<1, 8>, 11> + 1 = <<3, 24>, 34> = <<4, 8>, 34> → <<2, 4>, 17> = <<2, 5>, 1>
3<<2, 5>, 1> + 1 = <<6, 15>, 4> = <<6, 14>, 20> → <<3, 7>, 10> = <<3, 6>, 26> = <<2, 22>, 26> → <<1, 11>, 13
3<<1, 11>, 13> + 1 = <<3, 33>, 40> = <<3, 34>, 24> = <<4, 18>, 24> → <<2, 9>, 12> = <<2, 8>, 28> → <<1, 4>, 14> = <<0, 20>, 14> → <10, 7> （証明済み）
<13, 1>: <13, 1>(t1)<9, 13>(t1)<3, 11>(t4)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 1+(1+(4+(2+4)))=12回
3<13, 1> + 1 = <39, 4> = <38, 20> → <19, 10> = <18, 26> → <9, 13> （証明済み）
<13, 3>: <13, 3>(t2)<7, 7>(t4)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 2+(4+(2+4))=12回
3<13, 3> + 1 = <39, 10> = <38, 26> → <19, 13> = <<1, 3>, 13>
3<<1, 3>, 13> + 1 = <<3, 9>, 40> = <<3, 10>, 24> = <<2, 26>, 24> → <<1, 13>, 12> = <<1, 12>, 28> = <<0, 28>, 28> → <7, 7> （証明済み）
<13, 5>: <13, 5>(t2)<0, 5>(t1)<0, 1> 試行回数 1+1=2回
3<13, 5> + 1 = <39, 16> = <40, 0> → 40 → 5 = <0, 5> （証明済み）
<13, 7>: <13, 7>(t3)<5, 11>(t28)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 3+(28+(1+(3+1)))=36回
3<13, 7> + 1 = <39, 22> = <40, 6> → <20, 3> = <<1, 4>, 3>
3<<1, 4>, 3> + 1 = <<3, 12>, 10> = <<2, 28>, 10> → <<1, 14>, 5>
3<<1, 14>, 5> + 1 = <<3, 42>, 16> = <<3, 43>, 0> → <5, 11> （証明済み）
<13, 9>: <13, 9>(t1)<10, 3>(t2)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(2+(3+1))=7回
3<13, 9> + 1 = <39, 28> = <40, 12> → <10, 3> （証明済み）
<13, 11>: <13, 11>(t5)<13, 1>(t1)<9, 13>(t1)<3, 11>(t4)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 5+(1+(1+(4+(2+4))))=17回
3<13, 11> + 1 = <39, 34> = <40, 18> → <20, 9> = <<1, 4>, 9>
3<<1, 4>, 9> + 1 = <<3, 12>, 28> = <<2, 28>, 28> → <<1, 14>, 14> = <<0, 30>, 14> → <15, 7>
3<15, 7> + 1 = <45, 22> = <46, 6> → <23, 3> = <<1, 7>, 3>
3<<1, 7>, 3> + 1 = <<3, 21>, 10> = <<3, 20>, 26> = <<4, 4>, 26> → <<2, 2>, 13>
3<<2, 2>, 13> + 1 = <<6, 6>, 40> → <<3, 3>, 20> =<<3, 4>, 4> = <<2, 20>, 4> → <<1, 10>, 2> = <<0, 26>, 2> → <13, 1> （証明済み）
<13, 13>: <13, 13>(t1)<5, 3>(t2)<2, 15>(t34)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(2+(34+(3+1)))=41回
3<13, 13> + 1 = <39, 40> = <40, 24> → <5, 3> （証明済み）
<13, 15>: <13, 15>(t19)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 19+(1+(3+1))=24回
3<13, 15> + 1 = <39, 46> = <40, 30> → <20, 15> = <<1, 4>, 15>
3<<1, 4>, 15> + 1 = <<3, 12>, 46> = <<2, 28>, 46> → <<1, 14>, 23> = <<1, 15>, 7>
3<<1, 15>, 7> + 1 = <<3, 45>, 22> = <<3, 46>, 6> = <<4, 30>, 6> → <<2, 15>, 3>
3<<2, 15>, 3> + 1 = <<6, 45>, 10> = <<6, 44>, 26> → <<3, 22>, 13> = <<4, 6>, 13>
3<<4, 6>, 13> + 1 = <<12, 18>, 40> → <<6, 9>, 20> = <<6, 10>, 4> → <<3, 5>, 2> = <<3, 4>, 18> = <<2, 20>, 18> → <<1, 10>, 9>
3<<1, 10>, 9> + 1 = <<3, 30>, 28> = <<4, 14>, 28> → <<2, 7>, 14> = <<2, 6>,30> → <<1, 3>, 15>
3<<1, 3>, 15> + 1 = <<3, 9>, 46> = <<3, 10>, 30> = <<2, 26>, 30> → <<1, 13>, 15>
3<<1, 13>, 15> + 1 = <<3, 39>, 46> = <<3, 40>, 30> = <<4, 24>, 30> → <<2, 12>, 15>
3<<2, 12>, 15> + 1 = <<6, 36>, 46> → <<3, 18>, 23> = <<3, 19>, 7> = <<4, 3>, 7>
3<<4, 3>, 7> + 1 = <<12, 9>, 22> = <<12, 10>, 6> → <<6, 5>, 3>
3<<6, 5>, 3> + 1 = <<18, 15>, 10> = <<18, 14>, 26> → <<9, 7>, 13>
3<<9, 7>, 13> + 1 = <<27, 21>, 40> = <<27, 22>, 24> = <<28, 6>, 24> → <<14, 3>, 12> = <<14, 2>, 28> → <<7, 1>, 14> = <<7, 0>, 30> = <<6, 16>, 30> → <<3, 8>, 15>
3<<3, 8>, 15> + 1 = <<9, 24>, 46> = <<10, 8>, 46> → <<5, 4>, 23> = <<5, 5>, 7>
3<<5, 5>, 7> + 1 = <<15, 15>, 22> = <<15, 16>, 6> = <<16, 0>, 6> → <<8, 0>, 3>
3<<8, 0>, 3> + 1 = <<24, 0>, 10> → <<12, 0>, 5>
3<<12, 0>, 5> + 1 = <<36, 0>, 16> = <<36, 1>, 0> → <<2, 4>, 1>
3<<2, 4>, 1> + 1 = <<6, 12>, 4> → <<3, 6>, 2> = <<2, 22>, 2> → <<1, 11>, 1>
3<<1, 11>, 1> + 1 = <<3, 33>, 4> = <<3, 32>, 20> = <<4, 16>, 20> → <<1, 4>, 5>
3<<1, 4>, 5> + 1 = <<3, 12>, 16> = <<3, 13>, 0> → <3, 13> （証明済み）
<14, 1>: <14, 1>(t1)<10, 9>(t1)<7, 15>(t9)<4, 13>(t1)<1, 13>(t1)<0, 11>(t4)<0, 1> 試行回数 1+(1+(9+(1+(1+4))))=17回
3<14, 1> + 1 = <42, 4> → <21, 2> = <20, 18> → <10, 9> （証明済み）
<14, 3>: 試行回数 2回
3<14, 3> + 1 = <42, 10> → <21, 5> = <<1, 5>, 5>
3<<1, 5>, 5> + 1 = <<3, 15>, 16> = <<3, 16>, 0> → <4, 0> → 4 → 1
<14, 5>: <14, 5>(t1)<2, 11>(t3)<2, 5>(t1)<0, 7>(t5)<0, 1> 試行回数 1+(3+(1+5))=10回
3<14, 5> + 1 = <42, 16> = <43, 0> → <2, 11> （証明済み）
<14, 7>: <14, 7>(t7)<1, 15>(t35)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 7+(35+(3+1))=46回
3<14, 7> + 1 = <42, 22> → <21, 11> = <<1, 5>, 11>
3<<1, 5>, 11> + 1 = <<3, 15>, 34> = <<3, 16>, 18> = <<4, 0>, 18> → <<2, 0>, 9>
3<<2, 0>, 9> + 1 = <<6, 0>, 28> → <<3, 0>, 14> = <<2, 16>, 14> → <<1, 8>, 7>
3<<1, 8>, 7> + 1 = <<3, 24>, 22> = <<4, 8>, 22> → <<2, 4>, 11>
3<<2, 4>, 11> + 1 = <<6, 12>, 34> → <<3, 6>, 17> = <<3, 7>, 1>
3<<3, 7>, 1> + 1 = <<9, 21>, 4> = <<9, 20>, 20> = <<10, 4>, 20> → <<5, 2>, 10> = <<4, 18>, 10> → <<2, 9>, 5>
3<<2, 9>, 5> + 1 = <<6, 27>, 16> = <<6, 28>, 0> → <3, 14> = <2, 30> → <1, 15> （証明済み）
<14, 9>: <14, 9>(t1)<10, 15>(t5)<10, 7>(t18)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(5+(18+(1+(3+1))))=29回
3<14, 9> + 1 = <42, 28> → <21, 14> = <20, 30> → <10, 15> （証明済み）
<14, 11>: <14, 11>(t3)<12, 7>(t5)<5, 15>(t5)<5, 11>(t28)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 3+(5+(5+(28+(1+(3+1)))))=46回
3<14, 11> + 1 = <42, 34> → <21, 17> = <<22, 1> = <<1, 6>, 1>
3<<1, 6>, 1> + 1 = <<3, 18>, 4> = <<4, 2>, 4> → <<2, 1>, 2> = <<2, 0>, 18> → <<1, 0>, 9>
3<<1, 0>, 9> + 1 = <<3, 0>, 28> = <<2, 16>, 28> → <<1, 8>, 14> = <<0, 24>, 14> → <12, 7> （証明済み）
<14, 13>: <14, 13>(t1)<5, 9>(t1)<4, 3>(t2)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 1+(1+(2+(2+4)))=10回
3<14, 13> + 1 = <42, 40> → <21, 20> = <22, 4> → <11, 2> = <10, 18> → <5, 9> （証明済み）
<14, 15>: <14, 15>(t12)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 12+(1+(3+1))=17回
3<14, 15> + 1 = <42, 46> → <21, 23> = <22, 7> = <<1, 6>, 7>
3<<1, 6>, 7> + 1 = <<3, 18>, 22> = <<4, 2>, 22> → <<2, 1>, 11>
3<<2, 1>, 11> + 1 = <<6, 3>, 34> = <<6, 4>, 18> → <<3, 2>, 9>
3<<3, 2>, 9> + 1 = <<9, 6>, 28> = <<8, 22>, 28> → <<4, 11>, 14> = <<4, 10>, 30> → <<2, 5>, 15>
3<<2, 5>, 15> + 1 = <<6, 15>, 46> = <<6, 16>, 30> → <<3, 8>, 15>
3<<3, 8>, 15> + 1 = <<9, 24>, 46> = <<10, 8>, 46> → <<5, 4>, 23> = <<5, 5>, 7>
3<<5, 5>, 7> + 1 = <<15, 15>, 22> = <<15, 16>, 6> = <<16, 0>, 6> → <<8, 0>, 3>
3<<8, 0>, 3> + 1 = <<24, 0>, 10> → <<12, 0>, 5>
3<<12, 0>, 5> + 1 = <<36, 0>, 16> → <36, 1> = <<2, 4>, 1>
3<<2, 4>, 1> + 1 = <<6, 12>, 4> → <<3, 6>, 2> = <<2, 22>, 2> → <<1, 11>, 1>
3<<1, 11>, 1> +1 = <<3, 33>, 4> = <<3, 32>, 20> = <<4, 16>, 20> → <<1, 4>, 5>
3<<1, 4>, 5> + 1 = <<3, 12>, 16> = <<3, 13>, 0> → <3, 13> （証明済み）
<15, 1>: <15, 1>(t1)<11, 5>(t1)<1, 1>(t1)<0, 13>(2)<0, 1> 試行回数 1+(1+(1+2)))=5回
3<15, 1> + 1 = <45, 4> = <44, 20> → <11, 5>（証明済み）
<15, 3>: <15, 3>(t2)<8, 9>(t1)<6, 7>(t26)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 2+(1+(26+(1+(3+1))))=34回
3<15, 3> + 1 = <45, 10> = <44, 26> → <<22, 13> = <<1, 6>, 13>
3<<1, 6>, 13> + 1 = <<3, 18>, 40> = <<4, 2>, 40> → <<2, 1>, 20> = <<2, 2>, 4> → <<1, 1>, 2> = <<1, 0>, 18> = <<0, 16>, 18> → <8, 9> （証明済み）
<15, 5>: <15, 5>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(3+1)=5回
3<15, 5> + 1 = <45, 16> = <46, 0> → 46 → 23 = <1, 7> （証明済み）
<15, 7>: <15, 7>(t3)<13, 1>(t1)<9, 13>(t1)<3, 11>(t4)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 3+(1+(1+(4+(2+4)))=15回
3<15, 7> + 1 = <45, 22> = <46, 6> → <23, 3> = <<1, 7>, 3>
3<<1, 7>, 3> + 1 = <<3, 21>, 10> = <<3, 20>, 26> = <<4, 4>, 26> → <<2, 2>, 13>
3<<2, 2>, 13> + 1 = <<6, 6>, 40> → <<3, 3>, 20> = <<3, 4>, 4> = <<2, 20>, 4> → <<1, 10>, 2> = <<0, 26>, 2> → <13, 1> （証明済み）
<15, 9>: <15, 9>(t1)<11, 11>(t4)<7, 7>(t4)<1, 3>(t2)<0, 11>(t4)<0, 1> 試行回数 1+(4+(4+(2+4)))=15回
3<15, 9> + 1 = <45, 28> = <46, 12> → <23, 6> = <22, 22> → <11, 11> （証明済み）
<15, 11>: <15, 11>(t17)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 17+(1+(3+1))=22回
3<15, 11> + 1 = <45, 34> = <46, 18> → <23, 9> = <<1, 7>, 9>
3<<1, 7>, 9> + 1 = <<3, 21>, 28> = <<3, 22>, 12> = <<4, 6>, 12> → <<2, 3>, 6> = <<2, 2>, 22> → <<1, 1>, 11>
3<<1, 1>, 11> + 1 = <<3, 3>, 34> = <<3, 4>, 18> = <<2, 20>, 18> → <<1, 10>, 9>
3<<1, 10>, 9> + 1 = <<3, 30>, 28> = <<4, 14>, 28> → <<2, 7>, 14> = <<2, 6>, 30> → <<1, 3>, 15>
3<<1, 3>, 15> + 1 = <<3, 9>, 46> = <<3, 10>, 30> = <<2, 26>, 30> → <<1, 13>, 15>
3<<1, 13>, 15> + 1 = <<3, 39>, 46> = <<3, 40>, 30> = <<4, 24>, 30> → <<2, 12>, 15>
3<<2, 12>, 15> + 1 = <<6, 36>, 46> → <<3, 18>, 23> = <<3, 19>, 7> = <<4, 3>, 7>
3<<4, 3>, 7> + 1 = <<12, 9>, 22> = <<12, 10>, 6> → <<6, 5>, 3>
3<<6, 5>, 3> + 1 = <<18, 15>, 10> = <<18, 14>, 26> → <<9, 7>, 13>
3<<9, 7>, 13> + 1 = <<27, 21>, 40> = <<27, 22>, 24> = <<28, 6>, 24> → <<14, 3>, 12> = <<14, 2>, 28> → <<7, 1>, 14> = <<7, 0>, 30> = <<6, 16>, 30> → <<3, 8>, 15>
3<<3, 8>, 15> + 1 = <<9, 24>, 46> = <<10, 8>, 46> → <<5, 4>, 23> = <<5, 5>, 7>
3<<5, 5>, 7> + 1 = <<15, 15>, 22> = <<15, 16>, 6> = <<16, 0>, 6> → <<8, 0>, 3>
3<<8, 0>, 3> + 1 = <<24, 0>, 10> → <<12, 0>, 5>
3<<12, 0>, 5> + 1 = <<36, 0>, 16> = <36,1> = <<2, 4>, 1>
3<<2, 4>, 1> + 1 = <<6, 12>, 4> → <<3, 6>, 2> =<<2, 22>, 2> → <<1, 11>, 1>
3<<1, 11>, 1> + 1 = <<3, 33>, 4> = <<3, 32>, 20> = <<4, 16>, 20> → <<1, 4>, 5>
3<<1, 4>, 5> + 1 = <<3, 12>, 16> = <<3, 13>, 0> = <3, 13> （証明済み）
<15, 13>: <15, 13>(t1)<5, 15>(t5)<5, 11>(t28)<3, 13>(t1)<1, 7>(t3)<0, 5>(t1)<0, 1> 試行回数 1+(5+(28+(1+(3+1))))=39回
3<15, 13> + 1 = <45, 40> = <46, 24> → <23, 12> = <<22, 28> → <11, 14> = <10, 30> → <5, 15> （証明済み）
<15, 15>: <15, 15>(t8)<12, 13>(t1)<4, 13>(t1)<1, 13>(t1)<0, 11>(t4)<0, 1> 試行回数 8+(1+(1+(1+4)))=15回
3<15, 15> + 1 = <45, 46> = <46, 30> → <23, 15> = <<1, 7>, 15>
3<<1, 7>, 15> + 1 = <<3, 21>, 46> = <<3, 22>, 30> = <<4, 6>, 30> → <<2, 3>, 15>
3<<2, 3>, 15> + 1 = <<6, 9>, 46> = <<6, 10>, 30> → <<3, 5>, 15>
3<<3, 5>, 15> + 1 = <<9, 15>, 46> = <<9, 16>, 30> = <<10, 0>, 30> → <<5, 0>, 15>
3<<5, 0>, 15> + 1 = <<15, 0>, 46> = <<14, 16>, 46> → <<7, 8>, 23> = <<7, 9>, 7>
3<<7, 9>, 7> + 1 = <<21, 27>, 22> = <<21, 28>, 6> = <<22, 12>, 6> → <<11, 6>, 3>
3<<11, 6>, 3> + 1 = <<33, 18>, 10> = <<34, 2>, 10> → <<17, 1>, 5> = <<<1, 1>, 1>, 5>
3<<<1, 1>, 1>, 5> + 1 = <<<3, 3>, 3>, 16> = <<<3, 3>, 4>, 0> → <<3, 3>, 4> = <<3, 2>, 20> = <<2, 18>, 20> → <<1, 9>, 10> = <<1, 8>, 26> = <<0, 24>, 26> → <12, 13> （証明済み）
コメント