M25-CHEM-HL-TZ3-P1A-Q37 What are the products of the electrolysis of molten aluminium oxide, \( Al_2O_3(l) \)?