Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
[19,9007199254741, 392750863685502459010271914701912679]