Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.48171411447534970392757531472576785936\ 2816410708334715703888375470573282600487\ 685190847921