Updated status after OEIS submission.