3 \cdot k_{24} \cdot x_{1} + 3 \cdot k_{23} \cdot x_{2} + 9 \cdot k_{24} \cdot x_{4} + 9 \cdot k_{24} \cdot x_{6} + 9 \cdot k_{24} \cdot x_{7} + 9 \cdot k_{23} \cdot x_{10} + 9 \cdot k_{23} \cdot x_{12} + 9 \cdot k_{23} \cdot x_{13} = k_{23} \cdot k_{26} + k_{24} \cdot k_{25}\\ 1 \cdot k_{24} \cdot x_{3} + 1 \cdot k_{24} \cdot x_{5} + 1 \cdot k_{24} \cdot x_{6} + 1 \cdot k_{24} \cdot x_{7} + 1 \cdot k_{23} \cdot x_{9} + 1 \cdot k_{23} \cdot x_{11} + 1 \cdot k_{23} \cdot x_{12} + 1 \cdot k_{23} \cdot x_{13} = k_{23} \cdot k_{28} + k_{24} \cdot k_{27}\\ 1 \cdot k_{24} \cdot x_{4} + 1 \cdot k_{24} \cdot x_{6} + 1 \cdot k_{24} \cdot x_{7} + 1 \cdot k_{24} \cdot x_{8} + 1 \cdot k_{23} \cdot x_{10} + 1 \cdot k_{23} \cdot x_{12} + 1 \cdot k_{23} \cdot x_{13} + 1 \cdot k_{23} \cdot x_{14} = k_{23} \cdot k_{30} + k_{24} \cdot k_{29}