User blog comment:QuasarBooster/Arithmetisation of worms!/@comment-35470197-20190920031952/@comment-35470197-20190920225121

I meant the 2-adic encoding in your blog post here. Although it is an arithmetisation of hydras, the same strategy works for worms. For example, you can encode (0,1,2,3)[4] into \(2^{2^0(2^1(2^2(2^3(0 \times 2 + 1)2+1)2+1)2+1)}(4 \times 2 + 1)\).