OFFSET
1,2
PROG
(PARI) isok(n) = Mod(2, n^2)^(n*(n+1)/2)==-1;
CROSSREFS
KEYWORD
nonn
AUTHOR
Altug Alkan, Sep 21 2018
STATUS
approved