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