1 \cdot k_{2} \cdot x_{4} + 1 \cdot k_{2} \cdot x_{5} + 1 \cdot k_{2} \cdot x_{7} = k_{2} \cdot k_{51}\\ 1 \cdot k_{2} \cdot x_{4} + 1 \cdot k_{2} \cdot x_{6} + 1 \cdot k_{2} \cdot x_{9} + 1 \cdot k_{2} \cdot x_{17} + 1 \cdot k_{2} \cdot x_{18} + 1 \cdot k_{2} \cdot x_{19} + 1 \cdot k_{2} \cdot x_{20} + 1 \cdot k_{2} \cdot x_{21} + 1 \cdot k_{2} \cdot x_{22} + 1 \cdot k_{2} \cdot x_{24} + 1 \cdot k_{2} \cdot x_{33} = k_{2} \cdot k_{52}\\ 1 \cdot k_{2} \cdot x_{8} + 1 \cdot k_{2} \cdot x_{9} + 1 \cdot k_{2} \cdot x_{10} + 1 \cdot k_{2} \cdot x_{12} + 1 \cdot k_{2} \cdot x_{17} + 1 \cdot k_{2} \cdot x_{18} + 1 \cdot k_{2} \cdot x_{19} + 1 \cdot k_{2} \cdot x_{20} + 1 \cdot k_{2} \cdot x_{21} + 1 \cdot k_{2} \cdot x_{22} + 1 \cdot k_{2} \cdot x_{24} = k_{2} \cdot k_{53}\\ 1 \cdot k_{2} \cdot x_{8} + 1 \cdot k_{2} \cdot x_{9} + 1 \cdot k_{2} \cdot x_{11} + 1 \cdot k_{2} \cdot x_{12} + 1 \cdot k_{2} \cdot x_{17} + 1 \cdot k_{2} \cdot x_{18} + 1 \cdot k_{2} \cdot x_{19} + 1 \cdot k_{2} \cdot x_{20} + 1 \cdot k_{2} \cdot x_{21} + 1 \cdot k_{2} \cdot x_{22} + 1 \cdot k_{2} \cdot x_{24} = k_{2} \cdot k_{54}\\ 1 \cdot k_{2} \cdot x_{8} + 1 \cdot k_{2} \cdot x_{9} + 1 \cdot k_{2} \cdot x_{13} + 1 \cdot k_{2} \cdot x_{15} + 1 \cdot k_{2} \cdot x_{17} + 1 \cdot k_{2} \cdot x_{18} + 1 \cdot k_{2} \cdot x_{19} + 1 \cdot k_{2} \cdot x_{20} + 1 \cdot k_{2} \cdot x_{21} + 1 \cdot k_{2} \cdot x_{22} + 1 \cdot k_{2} \cdot x_{24} = k_{2} \cdot k_{55}\\ 1 \cdot k_{2} \cdot x_{8} + 1 \cdot k_{2} \cdot x_{9} + 1 \cdot k_{2} \cdot x_{14} + 1 \cdot k_{2} \cdot x_{15} + 1 \cdot k_{2} \cdot x_{17} + 1 \cdot k_{2} \cdot x_{18} + 1 \cdot k_{2} \cdot x_{19} + 1 \cdot k_{2} \cdot x_{20} + 1 \cdot k_{2} \cdot x_{21} + 1 \cdot k_{2} \cdot x_{23} + 1 \cdot k_{2} \cdot x_{24} + 1 \cdot k_{2} \cdot x_{26} = k_{2} \cdot k_{56}\\ 1 \cdot k_{2} \cdot x_{16} + 1 \cdot k_{2} \cdot x_{17} + 1 \cdot k_{2} \cdot x_{18} + 1 \cdot k_{2} \cdot x_{19} + 1 \cdot k_{2} \cdot x_{20} + 1 \cdot k_{2} \cdot x_{21} + 1 \cdot k_{2} \cdot x_{22} + 1 \cdot k_{2} \cdot x_{24} = k_{2} \cdot k_{57}\\ 1 \cdot k_{2} \cdot x_{25} + 1 \cdot k_{2} \cdot x_{26} = k_{2} \cdot k_{58}\\ 1 \cdot k_{2} \cdot x_{27} + 1 \cdot k_{2} \cdot x_{28} + 1 \cdot k_{1} \cdot x_{29} = k_{1} \cdot k_{60} + k_{2} \cdot k_{59}\\ 1 \cdot k_{2} \cdot x_{30} + 1 \cdot k_{2} \cdot x_{31} + 1 \cdot k_{2} \cdot x_{32} + 1 \cdot k_{2} \cdot x_{33} + 1 \cdot k_{2} \cdot x_{34} = k_{2} \cdot k_{61}\\ 1 \cdot k_{2} \cdot x_{34} + 1 \cdot k_{2} \cdot x_{35} = k_{2} \cdot k_{62}