Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
4.66649956344464427694328301460179403021\ 1136268772859776924061430914260542209986\ 897151464197604193097