Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.76430413884568819720562499904060001690\ 4556237115049061303925766780861417132924\ 451713811528749678812877534