Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
5.55029102851551026907043211366183924073\ 7598212882498867111753863538836707333245\ 23648293889