Dear SeqFans, I just realized that I do not have a rigorous proof that all terms of https://oeis.org/A277471 are integers. Could anybody suggest a proof of that? Also, I'm very interested to know the asymptotics for this sequence. -- Thanks Vladimir Reshetnikov