OFFSET
1,1
PROG
(PARI) isok(n) = gcd(numdiv(n), numdiv(n+1))==7;
CROSSREFS
KEYWORD
nonn
AUTHOR
Seiichi Manyama, Aug 12 2023
STATUS
approved