[ 1*k[10]*x[1] + 1*k[10]*x[3] + 1*k[10]*x[5] + 1*k[10]*x[7] + 1*k[10]*x[9] + 1*k[10]*x[11] + 1*k[10]*x[13] + 1*k[10]*x[15] + 1*k[10]*x[23] + 1*k[10]*x[30] = k[10]*k[11],
  1*k[10]*x[2] + 1*k[10]*x[3] + 1*k[10]*x[4] + 1*k[10]*x[5] + 1*k[10]*x[6] + 1*k[10]*x[7] + 1*k[10]*x[8] + 1*k[10]*x[9] + 1*k[10]*x[10] + 1*k[10]*x[11] + 1*k[10]*x[12] + 1*k[10]*x[13] + 1*k[10]*x[14] + 1*k[10]*x[15] + 1*k[10]*x[16] + 1*k[10]*x[18] + 1*k[10]*x[19] + 1*k[10]*x[20] + 1*k[10]*x[21] + 1*k[10]*x[22] + 1*k[10]*x[24] + 1*k[10]*x[25] + 1*k[10]*x[26] + 1*k[10]*x[27] + 1*k[10]*x[28] = k[10]*k[12],
  1*k[10]*x[2] + 1*k[10]*x[3] + 1*k[10]*x[4] + 1*k[10]*x[5] + 1*k[10]*x[6] + 1*k[10]*x[7] + 1*k[10]*x[8] + 1*k[10]*x[9] + 1*k[10]*x[10] + 1*k[10]*x[11] + 1*k[10]*x[12] + 1*k[10]*x[13] + 1*k[10]*x[14] + 1*k[10]*x[15] + 1*k[10]*x[16] + 1*k[10]*x[18] + 1*k[10]*x[19] + 1*k[10]*x[20] + 1*k[10]*x[21] + 1*k[10]*x[22] + 1*k[10]*x[24] + 1*k[10]*x[29] + 1*k[10]*x[30] = k[10]*k[13],
  1*k[10]*x[2] + 1*k[10]*x[3] + 1*k[10]*x[4] + 1*k[10]*x[5] + 1*k[10]*x[6] + 1*k[10]*x[7] + 1*k[10]*x[8] + 1*k[10]*x[9] + 1*k[10]*x[10] + 1*k[10]*x[11] + 1*k[10]*x[12] + 1*k[10]*x[13] + 1*k[10]*x[14] + 1*k[10]*x[15] + 1*k[10]*x[17] + 1*k[10]*x[23] + 1*k[10]*x[25] + 1*k[10]*x[26] + 1*k[10]*x[27] + 1*k[10]*x[28] = k[10]*k[14],
  1*k[10]*x[2] + 1*k[10]*x[3] + 1*k[10]*x[4] + 1*k[10]*x[5] + 1*k[10]*x[6] + 1*k[10]*x[7] + 1*k[10]*x[8] + 1*k[10]*x[9] + 1*k[10]*x[10] + 1*k[10]*x[11] + 1*k[10]*x[12] + 1*k[10]*x[13] + 1*k[10]*x[14] + 1*k[10]*x[15] + 1*k[10]*x[17] + 1*k[10]*x[23] + 1*k[10]*x[29] + 1*k[10]*x[30] = k[10]*k[15] ]