OFFSET
0,1
COMMENTS
Over the 2-adic integers there are 2 solutions to x^2 = -7, one ends in 01 and the other ends in 11. This sequence gives the latter one. See A318961 for detailed information.
LINKS
Jianing Song, Table of n, a(n) for n = 0..1000
FORMULA
EXAMPLE
...01001110001100011011001110011111101001011.
PROG
(PARI) a(n) = if(n==1, 1, truncate(sqrt(-7+O(2^(n+2))))\2^n)
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Jianing Song, Sep 06 2018
EXTENSIONS
Corrected by Jianing Song, Aug 28 2019
STATUS
approved