Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.50542947468351924164245048190843214918\ 8669014568262864982664712875733473376175\ 9068271645331815001366196