Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00157480314960629921259842519685039370\ 0787401574803149606299212598425196850393\ 700787401574803149606