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