Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
[13,43,109,151,883,2143,34360131583]