>>75
ああ、なるほどわかった。
＞n = Σ[k=0,p] a[k]*4^k (155≦a[k]≦822=4*167-1+155 for 1≦k≦p-1)
この後ろの部分の条件でa[p]はまえの構成で4ときまってるんだな。
でその4を1+3と分割すると。ならあとは全部あってる気配が。
ということは結局＋>>71で完全に終了？すばらしい。