x_{26} = \operatorname{piecewise}(k_{16}, t > k_{17}, k_{15})\\ 1 \cdot k_{18} \cdot x_{2} + 1 \cdot k_{18} \cdot x_{3} + 2 \cdot k_{18} \cdot x_{6} + 1 \cdot k_{18} \cdot x_{7} + 1 \cdot k_{18} \cdot x_{9} + 2 \cdot k_{19} \cdot x_{12} + 1 \cdot k_{19} \cdot x_{13} + 1 \cdot k_{19} \cdot x_{15} + 1 \cdot k_{19} \cdot x_{16} + 1 \cdot k_{19} \cdot x_{19} = k_{18} \cdot k_{22} + k_{19} \cdot k_{23}\\ 1 \cdot k_{18} \cdot x_{4} + 1 \cdot k_{18} \cdot x_{5} + 1 \cdot k_{18} \cdot x_{9} + 1 \cdot k_{18} \cdot x_{10} + 2 \cdot k_{18} \cdot x_{11} + 1 \cdot k_{19} \cdot x_{17} + 1 \cdot k_{19} \cdot x_{18} + 1 \cdot k_{19} \cdot x_{19} + 1 \cdot k_{19} \cdot x_{20} + 2 \cdot k_{19} \cdot x_{21} = k_{18} \cdot k_{24} + k_{19} \cdot k_{25}\\ 1 \cdot k_{18} \cdot x_{7} + 1 \cdot k_{18} \cdot x_{8} + 1 \cdot k_{18} \cdot x_{10} + 1 \cdot k_{19} \cdot x_{13} + 1 \cdot k_{19} \cdot x_{14} + 1 \cdot k_{19} \cdot x_{20} = k_{18} \cdot k_{26} + k_{19} \cdot k_{27}\\ 1 \cdot k_{19} \cdot x_{23} + 1 \cdot k_{19} \cdot x_{24} + 1 \cdot k_{19} \cdot x_{25} = k_{19} \cdot k_{28}