lower Serpukhovian