Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
45417.3481665583170281089077601207461045\ 3419336232542712850202238024238355532591\ 782847046074515576398