有压遂洞洞身的断面形式为圆形，其内径不小于（）。