[ x[24] = piecewise(t < -1, 1, piecewise(t < 0, 1, 1)),
  x[25] = piecewise(t < -1, 1, piecewise(t < 0, 1, 1)),
  x[26] = piecewise(t < -1, 0, piecewise(t < 0, 0, piecewise(t < 217/62500, 1, 0))),
  x[27] = k[53]*x[15],
  x[28] = k[42]*x[2],
  x[29] = k[46]*x[6],
  x[30] = k[45]*x[4],
  x[31] = k[50]*x[10],
  x[32] = k[51]*x[11],
  x[33] = k[43]*x[9],
  x[34] = k[44]*(x[8] + x[9]),
  x[35] = k[48]*(x[18] + x[19]),
  x[36] = k[49]*(x[21] + x[22]),
  x[37] = k[47]*x[7],
  x[38] = k[52]*x[14],
  x[39] = k[54]*x[13],
  x[40] = k[55]*x[16],
  1*k[56]*x[1] + 1*k[56]*x[2] = k[56]*k[57],
  1*k[56]*x[3] + 1*k[56]*x[4] = k[56]*k[58],
  1*k[56]*x[5] + 1*k[56]*x[6] = k[56]*k[59],
  1*k[56]*x[12] + 1*k[56]*x[13] = k[56]*k[60],
  1*k[56]*x[18] + 1*k[56]*x[19] + 1*k[56]*x[20] = k[56]*k[61] ]