Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
3.03418797197910458137772275617957145655\ 3705462562123986675952855130192548403829\ 50528253269606142308