Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.25546528610385359669588269661332027265\ 4788355953708528930252676729764822670930\ 6682506411183672589114