Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.84640569789320609999476752064284462831\ 1433910495682160592309202339227290477990\ 82836746569357400628082597987