State-to-state chemical kinetic mechanism for HF chemical lasers. Issue 1 (2nd January 2020)