Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.99599126589340465511919413174582293085\ 6622666250355049753439971963665161727351\ 162328336439779927613009766