Symbolic_dynamics loading ...