Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00186567164179104477611940298507462686\ 5671641791044776119402985074626865671641\ 791044776119402985074