Зависимость числа работников мастерской централизованной заточки от общего числа рабочих