Αποστολή με SMS: Algorithmic lie theory for solving ordinary differential equations