1 \cdot k_{143} \cdot x_{3} + 1 \cdot k_{143} \cdot x_{4} = k_{143} \cdot k_{147}\\
1 \cdot k_{143} \cdot x_{5} + 1 \cdot k_{143} \cdot x_{6} = k_{143} \cdot k_{148}\\
1 \cdot k_{143} \cdot x_{7} + 1 \cdot k_{143} \cdot x_{8} = k_{143} \cdot k_{149}\\
1 \cdot k_{143} \cdot x_{10} + 1 \cdot k_{143} \cdot x_{11} + 1 \cdot k_{143} \cdot x_{12} + 1 \cdot k_{144} \cdot x_{30} + 1 \cdot k_{144} \cdot x_{31} + 1 \cdot k_{144} \cdot x_{32} + 1 \cdot k_{144} \cdot x_{40} + 1 \cdot k_{144} \cdot x_{41} + 1 \cdot k_{144} \cdot x_{42} + 1 \cdot k_{144} \cdot x_{43} + 1 \cdot k_{144} \cdot x_{44} + 1 \cdot k_{144} \cdot x_{45} = k_{143} \cdot k_{150} + k_{144} \cdot k_{151}\\
1 \cdot k_{143} \cdot x_{18} + 1 \cdot k_{143} \cdot x_{19} = k_{143} \cdot k_{152}\\
1 \cdot k_{143} \cdot x_{20} + 1 \cdot k_{143} \cdot x_{21} = k_{143} \cdot k_{153}\\
1 \cdot k_{143} \cdot x_{24} + 1 \cdot k_{143} \cdot x_{25} + 1 \cdot k_{144} \cdot x_{49} = k_{143} \cdot k_{154} + k_{144} \cdot k_{155}\\
1 \cdot k_{143} \cdot x_{26} + 1 \cdot k_{143} \cdot x_{27} = k_{143} \cdot k_{156}\\
1 \cdot k_{144} \cdot x_{28} + 1 \cdot k_{144} \cdot x_{29} = k_{144} \cdot k_{157}\\
1 \cdot k_{144} \cdot x_{33} + 1 \cdot k_{144} \cdot x_{34} = k_{144} \cdot k_{158}