lim (2^(n-1)-1)/n mod 13