The Largest Countable Inductive Set is a Mouse Set

We show that the set of reals in the canonical inner model for the theory ZFC - Replacement + "There exists omega Woodin cardinals cofinal in the ordinals" is equal to the largest countable inductive set of reals.