[seqfan] 'Super-Factoring' An Integer NOT Matula-Goebel numbers.

[Antti Karttunen]

Just for note about terminology:

Leroy's system is NOT the same as Matula-encoding of trees, it is
just that I wrote the subject-line of my previous message
when I still believed that they were, but once started to actually
reading to the message I was replying to, I realized the difference!
But of course there is similarity, because you can select the function 
e(p,m)
in many ways.

-- Antti