[ 1*k[13]*x[1] + 1*k[13]*x[2] + 1*k[13]*x[5] + 1*k[15]*x[11] + 1*k[15]*x[13] + 1*k[13]*x[16] + 1*k[13]*x[19] + 1*k[15]*x[20] = k[13]*k[70] + k[15]*k[71],
  4*k[13]*x[2] + 4*k[13]*x[5] + 4*k[15]*x[7] + 4*k[15]*x[9] + 4*k[15]*x[10] + 4*k[13]*x[12] + 4*k[15]*x[13] + 4*k[13]*x[14] + 4*k[13]*x[26] = k[13]*k[72] + k[15]*k[73],
  1*k[13]*x[4] + 1*k[13]*x[5] + 1*k[13]*x[19] = k[13]*k[74],
  4*k[15]*x[6] + 4*k[15]*x[10] + 4*k[13]*x[14] + 4*k[13]*x[18] + 4*k[15]*x[22] + 4*k[13]*x[24] = k[13]*k[76] + k[15]*k[75] ]