Small triangulations of simply connected 4-manifolds. - Jonathan Spreer; Lucy Tobin (J. Appl. Comput. Topol., 2025)