Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.10000000000488510904138251562430788699\ 9116796082638280401471116282662606305119\ 720816685510072691380125