Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.35808975351871435748796646925872075042\ 9569534372848330947131939477470522086834\ 567849513691196865323