洞顶排水沟沟底至拱顶衬砌外缘的最小厚度不应小于（）m。