Mathematicians Have Found The Ninth Dedekind Number