行业分类-作业装置-一种基坑外围拉应力支撑的连续墙围护.7z