A computation of the ninth Dedekind Number - Christian Jäkel (2023)