OFFSET
1,1
PROG
(PARI) fibomod(n, m) = lift(Mod([0, 1; 1, 1], m)^(n+1))[1, 1];
isok(n) = prod(k=0, 8, fibomod(n, n+k)==0);
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Silvester Resnik, May 25 2018
STATUS
approved