Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.69034712611496431946732843846418942443\ 9833197382726700289613191643650153528911\ 533493867713295502844582479