lyapunov_lab
