洞门端墙与仰坡之间的水沟底至衬砌拱顶外缘的厚度不宜小于（ ）m。