1 \cdot k_{53} \cdot x_{1} + 1 \cdot k_{53} \cdot x_{2} + 1 \cdot k_{53} \cdot x_{6} + 1 \cdot k_{53} \cdot x_{8} + 1 \cdot k_{53} \cdot x_{9} + 1 \cdot k_{53} \cdot x_{10} + 1 \cdot k_{53} \cdot x_{11} + 1 \cdot k_{53} \cdot x_{12} = k_{53} \cdot k_{54}\\
1 \cdot k_{53} \cdot x_{3} + 1 \cdot k_{53} \cdot x_{4} + 1 \cdot k_{53} \cdot x_{5} + 1 \cdot k_{53} \cdot x_{6} + 1 \cdot k_{53} \cdot x_{8} + 1 \cdot k_{53} \cdot x_{9} + 1 \cdot k_{53} \cdot x_{10} + 1 \cdot k_{53} \cdot x_{11} + 1 \cdot k_{53} \cdot x_{12} = k_{53} \cdot k_{55}\\
1 \cdot k_{53} \cdot x_{3} + 1 \cdot k_{53} \cdot x_{6} + 1 \cdot k_{53} \cdot x_{7} + 1 \cdot k_{53} \cdot x_{8} = k_{53} \cdot k_{56}