Oeis sequence