Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.02325581395348837209302325581395348837\ 2093023255813953488372093023255813953488\ 372093023255813953488