[ 1*k[62]*x[1] + 1*k[62]*x[2] + 1*k[62]*x[6] + 1*k[62]*x[8] + 1*k[62]*x[9] + 1*k[62]*x[10] + 1*k[62]*x[11] + 1*k[62]*x[12] + 1*k[62]*x[13] + 1*k[62]*x[14] + 1*k[62]*x[15] + 1*k[62]*x[16] + 1*k[62]*x[17] + 1*k[62]*x[18] + 1*k[62]*x[19] + 1*k[62]*x[20] = k[62]*k[64],
  1*k[62]*x[3] + 1*k[62]*x[4] + 1*k[62]*x[5] + 1*k[62]*x[6] + 1*k[62]*x[8] + 1*k[62]*x[9] + 1*k[62]*x[10] + 1*k[62]*x[11] + 1*k[62]*x[12] + 1*k[62]*x[14] + 1*k[62]*x[15] + 1*k[62]*x[16] + 1*k[62]*x[18] + 1*k[62]*x[19] + 1*k[62]*x[20] = k[62]*k[65],
  1*k[62]*x[3] + 1*k[62]*x[6] + 1*k[62]*x[7] + 1*k[62]*x[8] + 1*k[62]*x[14] + 1*k[62]*x[18] = k[62]*k[66],
  1*k[62]*x[13] + 1*k[62]*x[14] + 1*k[62]*x[15] + 1*k[62]*x[16] + 1*k[62]*x[17] + 1*k[62]*x[18] + 1*k[62]*x[19] + 1*k[62]*x[20] + 1*k[63]*x[21] = k[62]*k[67] + k[63]*k[68] ]