1 \cdot k_{86} \cdot x_{1} + 1 \cdot k_{86} \cdot x_{3} + 1 \cdot k_{86} \cdot x_{9} + 1 \cdot k_{86} \cdot x_{23} + 1 \cdot k_{86} \cdot x_{24} + 1 \cdot k_{86} \cdot x_{25} + 1 \cdot k_{86} \cdot x_{26} + 1 \cdot k_{86} \cdot x_{28} + 1 \cdot k_{86} \cdot x_{29} + 1 \cdot k_{86} \cdot x_{34} + 1 \cdot k_{86} \cdot x_{35} + 1 \cdot k_{86} \cdot x_{36} + 1 \cdot k_{86} \cdot x_{37} = k_{86} \cdot k_{92}\\ 1 \cdot k_{86} \cdot x_{2} + 1 \cdot k_{86} \cdot x_{3} + 1 \cdot k_{86} \cdot x_{9} + 1 \cdot k_{86} \cdot x_{23} + 1 \cdot k_{86} \cdot x_{24} + 1 \cdot k_{86} \cdot x_{28} + 1 \cdot k_{86} \cdot x_{34} + 1 \cdot k_{86} \cdot x_{35} + 1 \cdot k_{86} \cdot x_{37} = k_{86} \cdot k_{93}\\ 1 \cdot k_{86} \cdot x_{4} + 1 \cdot k_{86} \cdot x_{5} = k_{86} \cdot k_{94}\\ 1 \cdot k_{86} \cdot x_{7} + 1 \cdot k_{86} \cdot x_{11} = k_{86} \cdot k_{95}\\ 1 \cdot k_{86} \cdot x_{8} + 1 \cdot k_{86} \cdot x_{9} + 1 \cdot k_{86} \cdot x_{26} + 1 \cdot k_{86} \cdot x_{34} + 1 \cdot k_{86} \cdot x_{37} = k_{86} \cdot k_{96}\\ 1 \cdot k_{86} \cdot x_{13} + 1 \cdot k_{86} \cdot x_{14} = k_{86} \cdot k_{97}\\ 1 \cdot k_{86} \cdot x_{17} + 1 \cdot k_{86} \cdot x_{22} + 1 \cdot k_{86} \cdot x_{24} + 1 \cdot k_{86} \cdot x_{36} + 1 \cdot k_{86} \cdot x_{37} + 1 \cdot k_{86} \cdot x_{41} = k_{86} \cdot k_{98}\\ 1 \cdot k_{86} \cdot x_{19} + 1 \cdot k_{86} \cdot x_{20} + 1 \cdot k_{86} \cdot x_{22} + 1 \cdot k_{86} \cdot x_{25} + 1 \cdot k_{86} \cdot x_{26} + 1 \cdot k_{86} \cdot x_{29} + 1 \cdot k_{86} \cdot x_{36} = k_{86} \cdot k_{99}\\ 1 \cdot k_{86} \cdot x_{20} + 1 \cdot k_{86} \cdot x_{21} + 1 \cdot k_{86} \cdot x_{22} + 1 \cdot k_{86} \cdot x_{23} + 1 \cdot k_{86} \cdot x_{24} + 1 \cdot k_{86} \cdot x_{25} + 1 \cdot k_{86} \cdot x_{26} + 1 \cdot k_{86} \cdot x_{29} + 1 \cdot k_{86} \cdot x_{34} + 1 \cdot k_{86} \cdot x_{35} + 1 \cdot k_{86} \cdot x_{36} + 1 \cdot k_{86} \cdot x_{37} = k_{86} \cdot k_{100}\\ 1 \cdot k_{86} \cdot x_{39} + 1 \cdot k_{86} \cdot x_{40} + 1 \cdot k_{86} \cdot x_{41} = k_{86} \cdot k_{101}\\ 1 \cdot k_{86} \cdot x_{39} + 1 \cdot k_{86} \cdot x_{41} + 1 \cdot k_{86} \cdot x_{42} = k_{86} \cdot k_{102}