1 \cdot k_{84} \cdot x_{7} + 1 \cdot k_{84} \cdot x_{9} + 1 \cdot k_{84} \cdot x_{12} + 1 \cdot k_{84} \cdot x_{87} + 1 \cdot k_{84} \cdot x_{88} + 1 \cdot k_{84} \cdot x_{89} + 1 \cdot k_{84} \cdot x_{100} + 1 \cdot k_{84} \cdot x_{101} + 1 \cdot k_{84} \cdot x_{102} + 1 \cdot k_{84} \cdot x_{103} = k_{84} \cdot k_{85}\\ 1 \cdot k_{84} \cdot x_{41} + 1 \cdot k_{84} \cdot x_{42} + 1 \cdot k_{84} \cdot x_{45} + 1 \cdot k_{84} \cdot x_{46} + 1 \cdot k_{84} \cdot x_{48} + 1 \cdot k_{84} \cdot x_{50} + 1 \cdot k_{84} \cdot x_{70} + 1 \cdot k_{84} \cdot x_{72} + 1 \cdot k_{84} \cdot x_{73} + 1 \cdot k_{84} \cdot x_{74} + 1 \cdot k_{84} \cdot x_{76} = k_{84} \cdot k_{86}\\ 1 \cdot k_{84} \cdot x_{44} + 1 \cdot k_{84} \cdot x_{46} + 1 \cdot k_{84} \cdot x_{73} = k_{84} \cdot k_{87}\\ 1 \cdot k_{84} \cdot x_{47} + 1 \cdot k_{84} \cdot x_{48} + 1 \cdot k_{84} \cdot x_{49} + 1 \cdot k_{84} \cdot x_{50} + 1 \cdot k_{84} \cdot x_{51} + 1 \cdot k_{84} \cdot x_{52} + 1 \cdot k_{84} \cdot x_{54} + 1 \cdot k_{84} \cdot x_{56} + 1 \cdot k_{84} \cdot x_{58} + 1 \cdot k_{84} \cdot x_{74} + 1 \cdot k_{84} \cdot x_{75} + 1 \cdot k_{84} \cdot x_{76} + 1 \cdot k_{84} \cdot x_{77} + 1 \cdot k_{84} \cdot x_{78} + 1 \cdot k_{84} \cdot x_{79} + 1 \cdot k_{84} \cdot x_{81} + 1 \cdot k_{84} \cdot x_{99} = k_{84} \cdot k_{88}\\ 1 \cdot k_{84} \cdot x_{52} + 1 \cdot k_{84} \cdot x_{53} + 1 \cdot k_{84} \cdot x_{54} + 1 \cdot k_{84} \cdot x_{78} + 1 \cdot k_{84} \cdot x_{79} = k_{84} \cdot k_{89}\\ 1 \cdot k_{84} \cdot x_{55} + 1 \cdot k_{84} \cdot x_{56} + 1 \cdot k_{84} \cdot x_{57} + 1 \cdot k_{84} \cdot x_{58} + 1 \cdot k_{84} \cdot x_{59} + 1 \cdot k_{84} \cdot x_{61} + 1 \cdot k_{84} \cdot x_{62} + 1 \cdot k_{84} \cdot x_{80} + 1 \cdot k_{84} \cdot x_{81} + 1 \cdot k_{84} \cdot x_{82} + 1 \cdot k_{84} \cdot x_{83} + 1 \cdot k_{84} \cdot x_{84} + 1 \cdot k_{84} \cdot x_{90} + 1 \cdot k_{84} \cdot x_{91} + 1 \cdot k_{84} \cdot x_{92} + 1 \cdot k_{84} \cdot x_{93} + 1 \cdot k_{84} \cdot x_{96} + 1 \cdot k_{84} \cdot x_{97} + 1 \cdot k_{84} \cdot x_{99} = k_{84} \cdot k_{90}\\ 1 \cdot k_{84} \cdot x_{60} + 1 \cdot k_{84} \cdot x_{61} + 1 \cdot k_{84} \cdot x_{62} + 1 \cdot k_{84} \cdot x_{83} + 1 \cdot k_{84} \cdot x_{84} = k_{84} \cdot k_{91}