Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.54206448268216048375504315216947653357\ 0284435735426476894917458137958049376556\ 319015383459321437358