[ 1*k[6]*x[2] + 1*k[6]*x[3] + 1*k[6]*x[6] = k[6]*k[88],
  1*k[6]*x[8] + 1*k[6]*x[9] = k[6]*k[89],
  1*k[7]*x[11] + 1*k[7]*x[12] + 1*k[7]*x[13] = k[7]*k[90],
  8*k[7]*x[11] + 4*k[7]*x[12] + 4*k[7]*x[14] + 4*k[7]*x[15] + 8*k[7]*x[16] + 4*k[7]*x[17] + 4*k[7]*x[18] + 4*k[7]*x[21] + 4*k[7]*x[22] = k[7]*k[91],
  1*k[7]*x[19] + 1*k[7]*x[20] = k[7]*k[92] ]