Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00129701686121919584954604409857328145\ 2658884565499351491569390402075226977950\ 713359273670557717250