1 \cdot k_{22} \cdot x_{1} + 1 \cdot k_{22} \cdot x_{10} + 1 \cdot k_{22} \cdot x_{23} + 1 \cdot k_{22} \cdot x_{37} = k_{22} \cdot k_{67}\\
1 \cdot k_{22} \cdot x_{3} + 1 \cdot k_{22} \cdot x_{4} + 1 \cdot k_{22} \cdot x_{10} + 1 \cdot k_{22} \cdot x_{23} + 1 \cdot k_{22} \cdot x_{25} + 1 \cdot k_{22} \cdot x_{37} = k_{22} \cdot k_{68}\\
1 \cdot k_{22} \cdot x_{5} + 1 \cdot k_{22} \cdot x_{9} + 1 \cdot k_{22} \cdot x_{17} + 1 \cdot k_{22} \cdot x_{23} + 1 \cdot k_{22} \cdot x_{30} + 1 \cdot k_{22} \cdot x_{31} + 1 \cdot k_{22} \cdot x_{37} = k_{22} \cdot k_{69}\\
1 \cdot k_{22} \cdot x_{6} + 1 \cdot k_{22} \cdot x_{7} + 1 \cdot k_{22} \cdot x_{27} = k_{22} \cdot k_{70}\\
1 \cdot k_{22} \cdot x_{11} + 1 \cdot k_{22} \cdot x_{12} + 1 \cdot k_{22} \cdot x_{14} + 1 \cdot k_{22} \cdot x_{22} = k_{22} \cdot k_{71}\\
1 \cdot k_{22} \cdot x_{11} + 1 \cdot k_{22} \cdot x_{13} + 1 \cdot k_{22} \cdot x_{14} + 1 \cdot k_{22} \cdot x_{15} + 1 \cdot k_{22} \cdot x_{21} + 1 \cdot k_{22} \cdot x_{22} = k_{22} \cdot k_{72}\\
1 \cdot k_{22} \cdot x_{15} + 1 \cdot k_{22} \cdot x_{32} + 1 \cdot k_{22} \cdot x_{33} + 1 \cdot k_{22} \cdot x_{35} = k_{22} \cdot k_{73}\\
1 \cdot k_{22} \cdot x_{19} + 1 \cdot k_{22} \cdot x_{25} + 1 \cdot k_{22} \cdot x_{29} = k_{22} \cdot k_{74}\\
1 \cdot k_{22} \cdot x_{20} + 1 \cdot k_{22} \cdot x_{21} = k_{22} \cdot k_{75}\\
1 \cdot k_{22} \cdot x_{26} + 1 \cdot k_{22} \cdot x_{27} = k_{22} \cdot k_{76}\\
1 \cdot k_{22} \cdot x_{28} + 1 \cdot k_{22} \cdot x_{29} = k_{22} \cdot k_{77}\\
1 \cdot k_{22} \cdot x_{34} + 1 \cdot k_{22} \cdot x_{35} = k_{22} \cdot k_{78}