Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00130548302872062663185378590078328981\ 7232375979112271540469973890339425587467\ 362924281984334203655