Which of the following chemical reactions represents Hall-Heroult Process?

The Hall–Héroult process is the major industrial process for smelting aluminium. It involves dissolving aluminium oxide (alumina) (obtained most often from bauxite, aluminium's chief ore, through the Bayer process) in molten cryolite, and electrolyzing the molten salt bath, typically in a purpose-built cell.

In this process carbon electrodes are used.

The following reactions take place