[ x[1] = piecewise(And(7 <= t - 24*floor(t/24), t - 24*floor(t/24) <= 10), k[150], And(12 <= t - 24*floor(t/24), t - 24*floor(t/24) <= 15), k[149], And(18 <= t - 24*floor(t/24), t - 24*floor(t/24) <= 21), k[148], k[151])*k[154],
  x[2] = piecewise(And(7 <= t - 24*floor(t/24), t - 24*floor(t/24) <= 10), k[150], And(12 <= t - 24*floor(t/24), t - 24*floor(t/24) <= 15), k[149], And(18 <= t - 24*floor(t/24), t - 24*floor(t/24) <= 21), k[148], k[151])*k[155],
  1*k[161]*x[11] + 1*k[161]*x[13] + 1*k[161]*x[14] + 1*k[161]*x[15] + 1*k[161]*x[16] + 1*k[161]*x[17] = k[161]*k[172],
  1*k[162]*x[12] + 1*k[162]*x[18] + 1*k[162]*x[19] + 1*k[162]*x[20] = k[162]*k[173] ]