[seqfan] Conway's "para-budding" sequence. A019594(n) = A005206(n) + A019588(n) ?

[Georg.Fischer]

Hi Seqfans,

Jon Maiga found (cf. http://sequencedb.net/s/A019594)
5 (for me) astonishing relations that are true to high indices,
among them:

   A019594(n) = A005206(n) + A019588(n)  (1000 terms).

I would be grateful if somebody could confirm this
(and/or the other 4) for all n.

Best regards
Georg