Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.43917695555544589436945471323839609013\ 6210096978190149595234168105374029488