reflecting new integers found to depth 25
Added a mathjax latex-formatted version of the primrec expression to the web output