Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.64951905283832898507279237806470213760\ 3551970178892735520927617294474881340800\ 0139054298200339682158783598030307775136\ 36