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}