多选题 隧道工程的施工中，洞门端墙与仰坡之间的水沟的沟底至衬砌拱顶外围的高度不应小于( )。