industryterm:main gas pipeline