From Quadratic Arithmetic Programs: from Zero to Hero by Vitalik Buterin

…he fifth element, adding the two results, and checking if the sum equals the sixth element. Because the first element in the solution vector is always one, this is just an addition check, checking that the output equals the sum of the two inputs.