1 \cdot k_{13} \cdot x_{2} + 1 \cdot k_{13} \cdot x_{7} + 1 \cdot k_{13} \cdot x_{8} + 1 \cdot k_{13} \cdot x_{9} + 1 \cdot k_{13} \cdot x_{10} = k_{13} \cdot k_{14}\\ 1 \cdot k_{13} \cdot x_{3} + 1 \cdot k_{13} \cdot x_{8} + 1 \cdot k_{13} \cdot x_{9} + 1 \cdot k_{13} \cdot x_{10} + 1 \cdot k_{13} \cdot x_{11} + 1 \cdot k_{13} \cdot x_{12} = k_{13} \cdot k_{15}\\ 1 \cdot k_{13} \cdot x_{4} + 1 \cdot k_{13} \cdot x_{13} = k_{13} \cdot k_{16}\\ 1 \cdot k_{13} \cdot x_{5} + 1 \cdot k_{13} \cdot x_{14} = k_{13} \cdot k_{17}\\ 1 \cdot k_{13} \cdot x_{5} + 1 \cdot k_{13} \cdot x_{15} = k_{13} \cdot k_{18}\\ 1 \cdot k_{13} \cdot x_{6} + 1 \cdot k_{13} \cdot x_{16} = k_{13} \cdot k_{19}\\ 1 \cdot k_{13} \cdot x_{6} + 1 \cdot k_{13} \cdot x_{17} = k_{13} \cdot k_{20}