Statistics of A warm layer in Venus' cryosphere and high-altitude measurements of HF, HCl, H[SUB]2[/SUB]O and HDO