{ x24 = piecewise(1, t < -1, piecewise(1, t < 0, 1)),
  x25 = piecewise(1, t < -1, piecewise(1, t < 0, 1)),
  x26 = piecewise(0, t < -1, piecewise(0, t < 0, piecewise(1, t < 217/62500, 0))),
  x27 = k53*x15,
  x28 = k42*x2,
  x29 = k46*x6,
  x30 = k45*x4,
  x31 = k50*x10,
  x32 = k51*x11,
  x33 = k43*x9,
  x34 = k44*(x8 + x9),
  x35 = k48*(x18 + x19),
  x36 = k49*(x21 + x22),
  x37 = k47*x7,
  x38 = k52*x14,
  x39 = k54*x13,
  x40 = k55*x16,
  1*k56*x1 + 1*k56*x2 = k56*k57,
  1*k56*x3 + 1*k56*x4 = k56*k58,
  1*k56*x5 + 1*k56*x6 = k56*k59,
  1*k56*x12 + 1*k56*x13 = k56*k60,
  1*k56*x18 + 1*k56*x19 + 1*k56*x20 = k56*k61 }