> FYI: > > https://oeis.org/draft/A278484 > > I guess this is clear: a(n) = 2*A073359(n) as observed by Arie Groeneveld ? This is true for n <= 2000. However, there is no obvious relationship between the definitions of A278484 and A073359 that suggests a proof.