1 \cdot k_{1} \cdot x_{2} + 1 \cdot k_{1} \cdot x_{38} = k_{1} \cdot k_{169}\\ 2 \cdot k_{2} \cdot x_{3} + 1 \cdot k_{2} \cdot x_{4} + 1 \cdot k_{2} \cdot x_{5} + 1 \cdot k_{2} \cdot x_{6} + 1 \cdot k_{2} \cdot x_{10} + 1 \cdot k_{2} \cdot x_{16} + 1 \cdot k_{2} \cdot x_{20} + 1 \cdot k_{2} \cdot x_{23} + 1 \cdot k_{2} \cdot x_{25} + 2 \cdot k_{2} \cdot x_{33} + 1 \cdot k_{2} \cdot x_{34} + 1 \cdot k_{2} \cdot x_{39} + 1 \cdot k_{2} \cdot x_{42} = k_{2} \cdot k_{170}\\ 1 \cdot k_{2} \cdot x_{3} + 1 \cdot k_{2} \cdot x_{5} + 1 \cdot k_{2} \cdot x_{44} = k_{2} \cdot k_{171}\\ 1 \cdot k_{1} \cdot x_{7} + 1 \cdot k_{1} \cdot x_{14} + 1 \cdot k_{1} \cdot x_{46} = k_{1} \cdot k_{172}\\ 1 \cdot k_{1} \cdot x_{9} + 1 \cdot k_{1} \cdot x_{13} = k_{1} \cdot k_{173}\\ 1 \cdot k_{2} \cdot x_{15} + 1 \cdot k_{2} \cdot x_{28} = k_{2} \cdot k_{174}\\ 1 \cdot k_{2} \cdot x_{32} + 1 \cdot k_{2} \cdot x_{47} = k_{2} \cdot k_{175}\\ 1 \cdot k_{1} \cdot x_{36} + 1 \cdot k_{1} \cdot x_{41} = k_{1} \cdot k_{176}