[ 1*k[47]*x[4] + 1*k[47]*x[5] + 1*k[47]*x[7] + 1*k[47]*x[8] + 1*k[47]*x[10] + 1*k[47]*x[14] + 1*k[47]*x[15] = k[47]*k[50],
  1*k[47]*x[6] + 1*k[47]*x[7] + 1*k[47]*x[8] + 1*k[47]*x[9] = k[47]*k[51],
  1*k[47]*x[13] + 1*k[47]*x[14] + 1*k[47]*x[15] + 1*k[47]*x[16] + 2*k[47]*x[18] + 1*k[47]*x[23] = k[47]*k[52],
  1*k[47]*x[18] + 1*k[47]*x[19] + 1*k[47]*x[20] = k[47]*k[53] ]