add OEIS filtering, for real...