[ x[5] = piecewise(t < k[1], 0, piecewise(And(t >= k[1], t < k[2]), 1/10, 13/250)),
  x[6] = piecewise(t < k[2], 0, 6/125) ]