Make up the equations of electrode processes (inert anode) and the molecular equation of the reaction

Make up the equations of electrode processes (inert anode) and the molecular equation of the reaction taking place during the electrolysis of a melt or electrolyte solution, a NaF melt.

Melt:
NaF <=> Na + + F–;
K (-): Na + + 1e => Na0;
А (+): 2F– – 2e => F20;
2NaF = (electric current) => 2Na + F2 ↑.

Solution:
NaF <=> Na + + F–;
К (-): 2H2O + 2e => H20 + 2OH–;
A (+): 2H2O – 4e => O20 + 4H +;
2H2O = (electric current) => 2H2 ↑ + O2 ↑.