Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.04375011589963984116636546422698533386\ 3260615294751818718215795687104264092771\ 40617859