Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.41864068997555457299135825093853631607\ 9260405196648337009777629022583071974563\ 6706972