Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00114155251141552511415525114155251141\ 5525114155251141552511415525114155251141\ 552511415525114155251