1 \cdot k_{33} \cdot x_{1} + 1 \cdot k_{28} \cdot x_{13} + 1 \cdot k_{33} \cdot x_{22} + 1 \cdot k_{28} \cdot x_{28} + 1 \cdot k_{28} \cdot x_{29} + 1 \cdot k_{28} \cdot x_{30} + 1 \cdot k_{33} \cdot x_{32} + 1 \cdot k_{31} \cdot x_{43} + 1 \cdot k_{31} \cdot x_{44} = k_{28} \cdot k_{143} + k_{31} \cdot k_{144} + k_{33} \cdot k_{142}\\
1 \cdot k_{28} \cdot x_{3} + 1 \cdot k_{31} \cdot x_{8} + 1 \cdot k_{28} \cdot x_{26} = k_{28} \cdot k_{145} + k_{31} \cdot k_{146}\\
1 \cdot k_{31} \cdot x_{5} + 1 \cdot k_{31} \cdot x_{6} + 1 \cdot k_{31} \cdot x_{15} + 1 \cdot k_{31} \cdot x_{27} = k_{31} \cdot k_{147}\\
1 \cdot k_{31} \cdot x_{7} + 1 \cdot k_{31} \cdot x_{10} + 1 \cdot k_{31} \cdot x_{42} = k_{31} \cdot k_{148}\\
1 \cdot k_{31} \cdot x_{8} + 1 \cdot k_{32} \cdot x_{9} + 1 \cdot k_{28} \cdot x_{17} + 1 \cdot k_{32} \cdot x_{20} + 1 \cdot k_{33} \cdot x_{23} + 1 \cdot k_{28} \cdot x_{26} + 1 \cdot k_{28} \cdot x_{31} + 1 \cdot k_{33} \cdot x_{32} + 1 \cdot k_{29} \cdot x_{35} + 1 \cdot k_{28} \cdot x_{40} + 1 \cdot k_{28} \cdot x_{46} = k_{28} \cdot k_{151} + k_{29} \cdot k_{153} + k_{31} \cdot k_{149} + k_{32} \cdot k_{150} + k_{33} \cdot k_{152}\\
1 \cdot k_{32} \cdot x_{9} + 1 \cdot k_{32} \cdot x_{18} = k_{32} \cdot k_{154}\\
1 \cdot k_{31} \cdot x_{12} + 1 \cdot k_{31} \cdot x_{14} = k_{31} \cdot k_{155}\\
1 \cdot k_{32} \cdot x_{19} + 1 \cdot k_{32} \cdot x_{20} = k_{32} \cdot k_{156}\\
1 \cdot k_{33} \cdot x_{23} + 1 \cdot k_{33} \cdot x_{25} + 1 \cdot k_{28} \cdot x_{45} + 1 \cdot k_{28} \cdot x_{46} = k_{28} \cdot k_{158} + k_{33} \cdot k_{157}\\
1 \cdot k_{28} \cdot x_{31} + 1 \cdot k_{33} \cdot x_{32} + 1 \cdot k_{28} \cdot x_{38} = k_{28} \cdot k_{159} + k_{33} \cdot k_{160}\\
1 \cdot k_{28} \cdot x_{36} + 1 \cdot k_{28} \cdot x_{41} + 1 \cdot k_{31} \cdot x_{42} = k_{28} \cdot k_{161} + k_{31} \cdot k_{162}\\
1 \cdot k_{28} \cdot x_{37} + 1 \cdot k_{28} \cdot x_{41} + 1 \cdot k_{31} \cdot x_{42} = k_{28} \cdot k_{163} + k_{31} \cdot k_{164}\\
1 \cdot k_{28} \cdot x_{39} + 1 \cdot k_{28} \cdot x_{40} = k_{28} \cdot k_{165}