Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.64139282064257168422088716512718168739\ 3656828446464013955957700225257627983693\ 21724947