Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.67225516773825688074860461787032597665\ 7509368213981895501775235781129544721248\ 188786085083455299804