[ 1*k[48]*x[1] + 1*k[48]*x[3] + 1*k[48]*x[4] + 1*k[48]*x[5] + 1*k[48]*x[6] + 1*k[48]*x[19] = k[48]*k[50],
  1*k[48]*x[7] + 1*k[48]*x[8] + 1*k[48]*x[9] + 1*k[48]*x[11] + 1*k[48]*x[12] = k[48]*k[51],
  1*k[48]*x[13] + 1*k[48]*x[14] + 1*k[48]*x[15] + 1*k[48]*x[17] + 1*k[48]*x[18] = k[48]*k[52] ]