info

[John.Tromp at cwi.nl]

Hi there,

could you please give an overview of the information available through this
service?

Thanks,


-John Tromp (tromp at cwi.nl)         f() is total -- R.L. Goodstein
define s(n){;auto e,r;for(0;n;n/=b)r+=n%b*(b+1)^s(e++);return(r)}
define f(n){;for(b=2;n;b++)n=s(n)-1;return(b)} for(n=0;1;n++)f(n)