1,1

Lars Blomberg, Table of n, a(n) for n = 1..6075

Peter R. J. Asveld, On a Post's System of Tag. Bulletin of the EATCS 36 (1988), 96-102.

Cf. A284116 and the cross-references there.

Sequence in context: A302841 A113259 A298265 * A321775 A166621 A160275

Adjacent sequences: A291791 A291792 A291793 * A291795 A291796 A291797

nonn

N. J. A. Sloane, Sep 04 2017

a(33) and beyond from Lars Blomberg, Apr 19 2018

approved