{ x1 = piecewise(k150, and(7 <= t - 24*floor(t/24), t - 24*floor(t/24) <= 10), k149, and(12 <= t - 24*floor(t/24), t - 24*floor(t/24) <= 15), k148, and(18 <= t - 24*floor(t/24), t - 24*floor(t/24) <= 21), k151)*k154,
  x2 = piecewise(k150, and(7 <= t - 24*floor(t/24), t - 24*floor(t/24) <= 10), k149, and(12 <= t - 24*floor(t/24), t - 24*floor(t/24) <= 15), k148, and(18 <= t - 24*floor(t/24), t - 24*floor(t/24) <= 21), k151)*k155,
  1*k161*x11 + 1*k161*x13 + 1*k161*x14 + 1*k161*x15 + 1*k161*x16 + 1*k161*x17 = k161*k172,
  1*k162*x12 + 1*k162*x18 + 1*k162*x19 + 1*k162*x20 = k162*k173 }