[ 1*k[3]*x[1] + 1*k[3]*x[3] + 1*k[3]*x[12] + 1*k[3]*x[13] + 1*k[3]*x[15] + 1*k[3]*x[16] + 1*k[3]*x[17] = k[3]*k[38],
  1*k[3]*x[2] + 1*k[3]*x[3] + 1*k[3]*x[6] + 1*k[3]*x[7] + 1*k[3]*x[10] + 1*k[3]*x[11] + 1*k[3]*x[12] + 1*k[3]*x[13] + 1*k[3]*x[14] + 1*k[3]*x[15] + 1*k[3]*x[16] + 1*k[3]*x[17] = k[3]*k[39],
  1*k[3]*x[4] + 1*k[3]*x[6] + 1*k[3]*x[7] + 1*k[3]*x[9] + 1*k[3]*x[11] + 1*k[3]*x[12] + 1*k[3]*x[13] + 1*k[3]*x[14] + 1*k[3]*x[16] + 1*k[3]*x[17] = k[3]*k[40],
  1*k[3]*x[4] + 1*k[3]*x[6] + 1*k[3]*x[8] + 1*k[3]*x[11] + 1*k[3]*x[12] + 1*k[3]*x[16] = k[3]*k[41],
  1*k[3]*x[5] + 1*k[3]*x[10] + 1*k[3]*x[11] + 1*k[3]*x[14] + 1*k[3]*x[15] + 1*k[3]*x[16] + 1*k[3]*x[17] = k[3]*k[42] ]