1 \cdot k_{1} \cdot x_{2} + 1 \cdot k_{1} \cdot x_{4} + 1 \cdot k_{1} \cdot x_{21} + 1 \cdot k_{1} \cdot x_{22} + 1 \cdot k_{1} \cdot x_{31} + 1 \cdot k_{1} \cdot x_{32} = k_{1} \cdot k_{173}\\
1 \cdot k_{1} \cdot x_{2} + 1 \cdot k_{1} \cdot x_{4} + 1 \cdot k_{1} \cdot x_{31} + 1 \cdot k_{1} \cdot x_{33} + 1 \cdot k_{1} \cdot x_{34} = k_{1} \cdot k_{174}\\
1 \cdot k_{1} \cdot x_{10} + 1 \cdot k_{1} \cdot x_{12} = k_{1} \cdot k_{175}\\
1 \cdot k_{1} \cdot x_{19} + 1 \cdot k_{1} \cdot x_{20} + 1 \cdot k_{1} \cdot x_{35} + 1 \cdot k_{1} \cdot x_{37} + 1 \cdot k_{1} \cdot x_{38} + 1 \cdot k_{1} \cdot x_{40} = k_{1} \cdot k_{176}\\
2 \cdot k_{1} \cdot x_{25} + 1 \cdot k_{1} \cdot x_{26} = k_{1} \cdot k_{177}\\
1 \cdot k_{1} \cdot x_{35} + 1 \cdot k_{1} \cdot x_{36} + 1 \cdot k_{1} \cdot x_{37} = k_{1} \cdot k_{178}\\
1 \cdot k_{1} \cdot x_{38} + 1 \cdot k_{1} \cdot x_{39} + 1 \cdot k_{1} \cdot x_{40} = k_{1} \cdot k_{179}