[ Eq(x5, Piecewise((0, Lt(t, k1)), (Piecewise((1/10, And(Ge(t, k1), Lt(t, k2))), (13/250, True)), True))),
  Eq(x6, Piecewise((0, Lt(t, k2)), (6/125, True))) ]