Cedrorestes crichtoni (lat.