База знаний для горняков — Типовые сечения горных выработок,