Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.99962421685948160947672240348952559590\ 0713735071222361808127195279286016693333\ 299294973796891444296