[ x[21] = x[8] + x[9],
  1*k[36]*x[1] + 1*k[36]*x[13] + 1*k[36]*x[14] + 1*k[36]*x[15] + 1*k[36]*x[16] + 1*k[36]*x[17] + 1*k[36]*x[18] = k[36]*k[37],
  1*k[36]*x[2] + 1*k[36]*x[12] = k[36]*k[38],
  1*k[36]*x[3] + 1*k[36]*x[8] + 1*k[36]*x[9] = k[36]*k[39],
  1*k[36]*x[4] + 1*k[36]*x[5] = k[36]*k[40],
  1*k[36]*x[6] + 1*k[36]*x[7] = k[36]*k[41],
  1*k[36]*x[10] + 1*k[36]*x[14] = k[36]*k[42],
  1*k[36]*x[11] + 1*k[36]*x[15] + 1*k[36]*x[17] + 1*k[36]*x[18] = k[36]*k[43] ]