[seqfan] A024812 and A024813.

[L. Edson Jeffery]

I added the following to A024812

Conjecture: A024812(n) = (A024813(n)+n-1)/2;

and the following to A024813

Conjecture: A024813(n) = 2*A024812(n)-n+1.

These relations have been verified up to n=10^6 by M. F. Hasler (personal
communication), so there is reason to suspect that they might be true
generally. Can anyone find a proof? (If so, then please add a comment to
both sequences and let me know.)

Thanks,

Ed Jeffery