[ 1*k[1]*x[3] + 1*k[1]*x[4] = k[1]*k[62],
  1*k[1]*x[5] + 1*k[1]*x[6] = k[1]*k[63],
  1*k[1]*x[7] + 1*k[1]*x[8] = k[1]*k[64],
  1*k[1]*x[9] + 1*k[1]*x[10] = k[1]*k[65],
  1*k[1]*x[11] + 1*k[1]*x[12] = k[1]*k[66],
  1*k[1]*x[13] + 1*k[1]*x[14] = k[1]*k[67],
  1*k[1]*x[15] + 1*k[1]*x[16] = k[1]*k[68],
  1*k[1]*x[17] + 1*k[1]*x[18] = k[1]*k[69],
  1*k[1]*x[20] + 1*k[1]*x[21] = k[1]*k[70],
  1*k[1]*x[22] + 1*k[1]*x[23] = k[1]*k[71],
  1*k[1]*x[24] + 1*k[1]*x[25] = k[1]*k[72] ]