Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
3283.13970365388707929065636893296469913\ 5789942695316131258953329754536016671200\ 97434182515555338739621947