Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.58445647306445557290832461522153646307\ 9581510529313371803548002294391234472591\ 376888791313553411784