a(n)=A173257(A173257(n)) 5381, 52711, 648391, 2269733, 9737333, 17624813, 37139213, 50728129, 7755718
1 seqfan posts