Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00124378109452736318407960199004975124\ 3781094527363184079601990049751243781094\ 527363184079601990049