Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
[3,5,11,13,19,23,107,137,251,457,587,3203]