Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.02803763004549800323313548040472218253\ 4492921554559351863360733855896186800567\ 84832195373589290169740