OFFSET
0,3
CROSSREFS
KEYWORD
nonn
AUTHOR
EXTENSIONS
Bounded, conjectured maximum is a(3169) = 49.
STATUS
approved