[ x[17] = x[1] + x[2], 1*k[41]*x[5] + 1*k[41]*x[14] = k[41]*k[42] ]