1 \cdot k_{1} \cdot x_{3} + 1 \cdot k_{1} \cdot x_{4} = k_{1} \cdot k_{148}\\
1 \cdot k_{1} \cdot x_{5} + 1 \cdot k_{1} \cdot x_{6} = k_{1} \cdot k_{149}\\
1 \cdot k_{1} \cdot x_{7} + 1 \cdot k_{1} \cdot x_{8} = k_{1} \cdot k_{150}\\
1 \cdot k_{1} \cdot x_{9} + 1 \cdot k_{1} \cdot x_{10} = k_{1} \cdot k_{151}\\
1 \cdot k_{1} \cdot x_{11} + 1 \cdot k_{1} \cdot x_{12} + 1 \cdot k_{1} \cdot x_{59} + 1 \cdot k_{1} \cdot x_{60} + 1 \cdot k_{1} \cdot x_{61} + 1 \cdot k_{1} \cdot x_{62} + 1 \cdot k_{1} \cdot x_{63} + 1 \cdot k_{1} \cdot x_{64} + 1 \cdot k_{1} \cdot x_{65} + 1 \cdot k_{1} \cdot x_{66} + 1 \cdot k_{1} \cdot x_{67} + 1 \cdot k_{1} \cdot x_{68} = k_{1} \cdot k_{152}\\
1 \cdot k_{1} \cdot x_{13} + 1 \cdot k_{1} \cdot x_{14} = k_{1} \cdot k_{153}\\
1 \cdot k_{1} \cdot x_{15} + 1 \cdot k_{1} \cdot x_{16} = k_{1} \cdot k_{154}\\
1 \cdot k_{1} \cdot x_{19} + 1 \cdot k_{1} \cdot x_{20} = k_{1} \cdot k_{155}\\
1 \cdot k_{1} \cdot x_{22} + 1 \cdot k_{1} \cdot x_{23} = k_{1} \cdot k_{156}\\
1 \cdot k_{1} \cdot x_{26} + 1 \cdot k_{1} \cdot x_{73} = k_{1} \cdot k_{157}\\
1 \cdot k_{1} \cdot x_{29} + 1 \cdot k_{1} \cdot x_{30} = k_{1} \cdot k_{158}\\
1 \cdot k_{1} \cdot x_{31} + 1 \cdot k_{1} \cdot x_{58} = k_{1} \cdot k_{159}\\
1 \cdot k_{1} \cdot x_{33} + 1 \cdot k_{1} \cdot x_{34} = k_{1} \cdot k_{160}\\
1 \cdot k_{1} \cdot x_{44} + 1 \cdot k_{1} \cdot x_{45} = k_{1} \cdot k_{161}\\
1 \cdot k_{1} \cdot x_{46} + 1 \cdot k_{1} \cdot x_{47} = k_{1} \cdot k_{162}\\
1 \cdot k_{1} \cdot x_{48} + 1 \cdot k_{1} \cdot x_{49} = k_{1} \cdot k_{163}\\
1 \cdot k_{1} \cdot x_{50} + 1 \cdot k_{1} \cdot x_{51} = k_{1} \cdot k_{164}\\
1 \cdot k_{1} \cdot x_{52} + 1 \cdot k_{1} \cdot x_{53} = k_{1} \cdot k_{165}\\
1 \cdot k_{1} \cdot x_{54} + 1 \cdot k_{1} \cdot x_{55} + 1 \cdot k_{1} \cdot x_{75} = k_{1} \cdot k_{166}\\
1 \cdot k_{1} \cdot x_{69} + 1 \cdot k_{1} \cdot x_{70} = k_{1} \cdot k_{167}\\
1 \cdot k_{1} \cdot x_{71} + 1 \cdot k_{1} \cdot x_{72} = k_{1} \cdot k_{168}\\
1 \cdot k_{1} \cdot x_{74} + 1 \cdot k_{1} \cdot x_{75} = k_{1} \cdot k_{169}