Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.10696011195321767665117913000743959294\ 9548833658122419043134044978777332412373\ 70780444985659591253724916