[ 1*k[53]*x[1] + 1*k[53]*x[2] + 1*k[53]*x[6] + 1*k[53]*x[8] + 1*k[53]*x[9] + 1*k[53]*x[10] + 1*k[53]*x[11] + 1*k[53]*x[12] = k[53]*k[54],
  1*k[53]*x[3] + 1*k[53]*x[4] + 1*k[53]*x[5] + 1*k[53]*x[6] + 1*k[53]*x[8] + 1*k[53]*x[9] + 1*k[53]*x[10] + 1*k[53]*x[11] + 1*k[53]*x[12] = k[53]*k[55],
  1*k[53]*x[3] + 1*k[53]*x[6] + 1*k[53]*x[7] + 1*k[53]*x[8] = k[53]*k[56] ]