Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
[12067,49924,54195,60099,83395,86551,91643,93067, 96551]