乡人凿石容磴以度