Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.11257965541656832664621194241208402171\ 3476516403115411848005664385178192117063\ 96034930375265518055227755