Title: Algorithmic Lie Theory for Solving Ordinary Differential Equations