redec