Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.42581571074831698456892232163414808705\ 3851447859629980011535294386214117976133\ 160914533846584571333