1 \cdot x_{2} + 1 \cdot x_{3} + 1 \cdot x_{4} + 1 \cdot x_{5} + 1 \cdot x_{9} + 1 \cdot x_{10} + 1 \cdot x_{11} = k_{142} + k_{141} + k_{140}\\ 1 \cdot x_{6} + 1 \cdot x_{7} + 1 \cdot x_{8} = k_{143}\\ 1 \cdot x_{12} + 1 \cdot x_{13} = k_{144}\\ 1 \cdot x_{14} + 1 \cdot x_{25} = k_{145}\\ 1 \cdot x_{16} + 1 \cdot x_{26} + 1 \cdot x_{27} + 1 \cdot x_{28} = k_{146}\\ 1 \cdot x_{17} + 1 \cdot x_{19} + 1 \cdot x_{26} + 1 \cdot x_{27} + 1 \cdot x_{28} = k_{147}\\ 1 \cdot x_{20} + 1 \cdot x_{22} = k_{148}\\ 1 \cdot x_{21} + 1 \cdot x_{23} = k_{149}\\ 1 \cdot x_{29} + 1 \cdot x_{67} + 1 \cdot x_{69} + 1 \cdot x_{75} = k_{150} + k_{151}\\ 1 \cdot x_{31} + 1 \cdot x_{32} = k_{152}\\ 1 \cdot x_{33} + 1 \cdot x_{68} = k_{153}\\ 1 \cdot x_{34} + 1 \cdot x_{57} + 1 \cdot x_{61} = k_{154}\\ 1 \cdot x_{35} + 1 \cdot x_{60} + 1 \cdot x_{65} = k_{155}\\ 1 \cdot x_{36} + 1 \cdot x_{37} + 1 \cdot x_{38} + 1 \cdot x_{40} + 1 \cdot x_{42} + 1 \cdot x_{44} + 1 \cdot x_{45} + 1 \cdot x_{46} + 1 \cdot x_{47} = k_{156}\\ 1 \cdot x_{39} + 1 \cdot x_{66} = k_{157}\\ 1 \cdot x_{43} + 1 \cdot x_{44} + 1 \cdot x_{45} + 1 \cdot x_{46} + 1 \cdot x_{47} + 1 \cdot x_{50} + 1 \cdot x_{51} = k_{158}\\ 1 \cdot x_{48} + 1 \cdot x_{49} = k_{159}\\ 1 \cdot x_{52} + 1 \cdot x_{59} + 1 \cdot x_{70} + 1 \cdot x_{72} + 1 \cdot x_{73} + 1 \cdot x_{74} = k_{160}\\ 1 \cdot x_{53} + 1 \cdot x_{55} = k_{161}\\ 1 \cdot x_{54} + 1 \cdot x_{56} + 1 \cdot x_{70} + 1 \cdot x_{72} + 1 \cdot x_{73} = k_{162}\\ 1 \cdot x_{58} + 1 \cdot x_{62} = k_{163}\\ 1 \cdot x_{63} + 1 \cdot x_{64} = k_{164}\\ 1 \cdot x_{71} + 1 \cdot x_{73} + 1 \cdot x_{74} = k_{165}