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

Thank you! I tried making the base independent of any worm, but I couldn't get very far. I also tried prime factorisations but it never worked without using more complicated functions and definitions, like replacing every p_i with p_(i+1). Would you show me what a 2-adic encoding would look like on some example worm?