すれば、チャーチ数→整数というデコードができます。出力するプログラムはそれほど長くはありません。Onという記事が見つかります。この記事で、より短くチャーチエンコーディングする方法が紹介されています。理解してませんが、得られたのでよしとしましょう。World"として、得られた「51b数」のリストが以下です。あったら、そこから整数は得られるじゃないか、とあとから気づいたり。自体に使われているので必要です。