Prokopy_Lyapunov loading ...