1 \cdot k_{13} \cdot x_{1} + 1 \cdot k_{13} \cdot x_{2} + 1 \cdot k_{13} \cdot x_{5} + 1 \cdot k_{15} \cdot x_{11} + 1 \cdot k_{15} \cdot x_{13} + 1 \cdot k_{13} \cdot x_{16} + 1 \cdot k_{13} \cdot x_{19} + 1 \cdot k_{15} \cdot x_{20} = k_{13} \cdot k_{70} + k_{15} \cdot k_{71}\\
4 \cdot k_{13} \cdot x_{2} + 4 \cdot k_{13} \cdot x_{5} + 4 \cdot k_{15} \cdot x_{7} + 4 \cdot k_{15} \cdot x_{9} + 4 \cdot k_{15} \cdot x_{10} + 4 \cdot k_{13} \cdot x_{12} + 4 \cdot k_{15} \cdot x_{13} + 4 \cdot k_{13} \cdot x_{14} + 4 \cdot k_{13} \cdot x_{26} = k_{13} \cdot k_{72} + k_{15} \cdot k_{73}\\
1 \cdot k_{13} \cdot x_{4} + 1 \cdot k_{13} \cdot x_{5} + 1 \cdot k_{13} \cdot x_{19} = k_{13} \cdot k_{74}\\
4 \cdot k_{15} \cdot x_{6} + 4 \cdot k_{15} \cdot x_{10} + 4 \cdot k_{13} \cdot x_{14} + 4 \cdot k_{13} \cdot x_{18} + 4 \cdot k_{15} \cdot x_{22} + 4 \cdot k_{13} \cdot x_{24} = k_{13} \cdot k_{76} + k_{15} \cdot k_{75}