x_{1} = k_{7} + \operatorname{piecewise}(k_{8}, t \le k_{15}, 0) + k_{9} \cdot t / k_{16}\\ 1 \cdot k_{17} \cdot x_{4} + 1 \cdot k_{17} \cdot x_{5} + 1 \cdot k_{17} \cdot x_{6} + 1 \cdot k_{17} \cdot x_{8} = k_{17} \cdot k_{30}\\ 1 \cdot k_{17} \cdot x_{7} + 1 \cdot k_{17} \cdot x_{8} + 1 \cdot k_{17} \cdot x_{9} = k_{17} \cdot k_{31}