x_{1} = \operatorname{piecewise}(k_{150}, \operatorname{and}\left(7 \le t - 24 \cdot \lfloor t / 24 \rfloor, t - 24 \cdot \lfloor t / 24 \rfloor \le 10\right), k_{149}, \operatorname{and}\left(12 \le t - 24 \cdot \lfloor t / 24 \rfloor, t - 24 \cdot \lfloor t / 24 \rfloor \le 15\right), k_{148}, \operatorname{and}\left(18 \le t - 24 \cdot \lfloor t / 24 \rfloor, t - 24 \cdot \lfloor t / 24 \rfloor \le 21\right), k_{151}) \cdot k_{154}\\
x_{2} = \operatorname{piecewise}(k_{150}, \operatorname{and}\left(7 \le t - 24 \cdot \lfloor t / 24 \rfloor, t - 24 \cdot \lfloor t / 24 \rfloor \le 10\right), k_{149}, \operatorname{and}\left(12 \le t - 24 \cdot \lfloor t / 24 \rfloor, t - 24 \cdot \lfloor t / 24 \rfloor \le 15\right), k_{148}, \operatorname{and}\left(18 \le t - 24 \cdot \lfloor t / 24 \rfloor, t - 24 \cdot \lfloor t / 24 \rfloor \le 21\right), k_{151}) \cdot k_{155}\\
1 \cdot k_{161} \cdot x_{11} + 1 \cdot k_{161} \cdot x_{13} + 1 \cdot k_{161} \cdot x_{14} + 1 \cdot k_{161} \cdot x_{15} + 1 \cdot k_{161} \cdot x_{16} + 1 \cdot k_{161} \cdot x_{17} = k_{161} \cdot k_{172}\\
1 \cdot k_{162} \cdot x_{12} + 1 \cdot k_{162} \cdot x_{18} + 1 \cdot k_{162} \cdot x_{19} + 1 \cdot k_{162} \cdot x_{20} = k_{162} \cdot k_{173}