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