范成龙等1957年手稿命名，同石树沟群。