1 \cdot k_{47} \cdot x_{4} + 1 \cdot k_{47} \cdot x_{5} + 1 \cdot k_{47} \cdot x_{7} + 1 \cdot k_{47} \cdot x_{8} + 1 \cdot k_{47} \cdot x_{10} + 1 \cdot k_{47} \cdot x_{14} + 1 \cdot k_{47} \cdot x_{15} = k_{47} \cdot k_{50}\\
1 \cdot k_{47} \cdot x_{6} + 1 \cdot k_{47} \cdot x_{7} + 1 \cdot k_{47} \cdot x_{8} + 1 \cdot k_{47} \cdot x_{9} = k_{47} \cdot k_{51}\\
1 \cdot k_{47} \cdot x_{13} + 1 \cdot k_{47} \cdot x_{14} + 1 \cdot k_{47} \cdot x_{15} + 1 \cdot k_{47} \cdot x_{16} + 2 \cdot k_{47} \cdot x_{18} + 1 \cdot k_{47} \cdot x_{23} = k_{47} \cdot k_{52}\\
1 \cdot k_{47} \cdot x_{18} + 1 \cdot k_{47} \cdot x_{19} + 1 \cdot k_{47} \cdot x_{20} = k_{47} \cdot k_{53}