[ Eq(x1, Piecewise((k150, And(Le(7, t - 24*floor(t/24)), Le(t - 24*floor(t/24), 10))), (k149, And(Le(12, t - 24*floor(t/24)), Le(t - 24*floor(t/24), 15))), (k148, And(Le(18, t - 24*floor(t/24)), Le(t - 24*floor(t/24), 21))), (k151, True))*k154),
  Eq(x2, Piecewise((k150, And(Le(7, t - 24*floor(t/24)), Le(t - 24*floor(t/24), 10))), (k149, And(Le(12, t - 24*floor(t/24)), Le(t - 24*floor(t/24), 15))), (k148, And(Le(18, t - 24*floor(t/24)), Le(t - 24*floor(t/24), 21))), (k151, True))*k155),
  Eq(1*k161*x11 + 1*k161*x13 + 1*k161*x14 + 1*k161*x15 + 1*k161*x16 + 1*k161*x17, k161*k172),
  Eq(1*k162*x12 + 1*k162*x18 + 1*k162*x19 + 1*k162*x20, k162*k173) ]