Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
%I #18 Jan 02 2019 22:08:37
%S 2,3,5,11,17,167,193,197,433,4111,9173,42929,95279,98897,139409
%N Duplicate of A227126.
%K dead
%O 1,1