Gas requirement to pressurize abandoned deep mines, study of use of inert gases to eliminate acid pollution from abandoned deep mines.