Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.39647840017672880132037721954914501311\ 7837614221904185158663889544010878085087\ 799703955591110529929025598