Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.99964523833261336773020663912072677750\ 3960574831358345008