Oseledets_theorem loading ...