  In the constructible universe, we construct a co-analytic maximal family of
pairwise eventually different functions from $\mathbb{N}$ to $\mathbb{N}$ which
remains maximal after adding arbitrarily many Sacks reals (by a countably
supported iteration or product).
