“…FREZCHEM is an equilibrium chemical thermodynamic model parameterized for concentrated electrolyte solutions (to ionic strengths >20 m) using the Pitzer approach (Pitzer, 1991(Pitzer, , 1995 for the temperature range from <À70 to 25°C and the total pressure range from 1 to 1000 bars (Marion and Farren, 1999;Marion, 2001Marion, , 2002Marion et al, 2003Marion et al, , 2005Marion et al, , 2006Marion et al, , 2008bMarion and Kargel, 2008). The previous version of the model was parameterized for the Na-K-Mg-Ca-Fe(II)Fe(III)-H-Cl-Br-SO 4 -NO 3 -OH-HCO 3 -CO 3 -CO 2 -O 2 -CH 4 -H 2 O system and included 83 solid phases including ice, 14 chloride minerals, 30 sulfate minerals, 15 carbonate minerals, five solid phase acids, three nitrate minerals, six acid-salts, five iron oxides, two gas hydrates, and two bromide sinks.…”