Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
3.08917421192993020656057748786997380493\ 7163096566721002658058822691100899132505\ 16361848944800166366