[math-fun] a(n)+a(n+1) is pandigital