308の出題者でございます。
Meertens数については素朴に書いたものではきついようです。
自前の処理系はダウンです。
０（ゼロ）が各桁にある場合にはゲーデル数には影響しません。
そのあたりをうまく利用して探索範囲を狭めたいと検討中です。
Haskellによる関数プログラミングの本に参考例があるようです。