@theoremoftheday is that the smallest number not in the a-line of a sequence in the OEIS?