Exponential_sheaf_sequence loading ...