replacing shri.hpp by shr.hpp in core reduction