Re: [math-fun] a(n) and a(n+1) substrings of their product