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