Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.52027247650615034595984357679438306304\ 2163806102575393327073264607680776212137\ 24461054535009267100