x_{88} = x_{80} + x_{79}\\
1 \cdot x_{7} + 1 \cdot x_{8} + 1 \cdot x_{11} + 1 \cdot x_{12} + 1 \cdot x_{13} + 1 \cdot x_{15} + 1 \cdot x_{16} + 1 \cdot x_{18} + 1 \cdot x_{19} + 1 \cdot x_{26} + 1 \cdot x_{55} + 1 \cdot x_{59} = k_{189}\\
1 \cdot x_{9} + 1 \cdot x_{10} + 1 \cdot x_{13} + 1 \cdot x_{16} + 1 \cdot x_{22} + 1 \cdot x_{33} = k_{190}\\
1 \cdot x_{14} + 1 \cdot x_{15} + 1 \cdot x_{16} + 1 \cdot x_{18} + 1 \cdot x_{19} + 1 \cdot x_{20} + 1 \cdot x_{21} + 1 \cdot x_{22} + 1 \cdot x_{23} + 1 \cdot x_{24} + 1 \cdot x_{26} + 1 \cdot x_{28} + 1 \cdot x_{55} + 1 \cdot x_{57} + 1 \cdot x_{59} + 1 \cdot x_{61} = k_{191}\\
1 \cdot x_{17} + 1 \cdot x_{18} + 1 \cdot x_{19} + 1 \cdot x_{20} + 1 \cdot x_{23} + 1 \cdot x_{24} + 1 \cdot x_{26} + 1 \cdot x_{28} + 1 \cdot x_{55} + 1 \cdot x_{56} + 1 \cdot x_{57} + 1 \cdot x_{59} + 1 \cdot x_{61} = k_{192}\\
1 \cdot x_{25} + 1 \cdot x_{26} + 1 \cdot x_{27} + 1 \cdot x_{28} + 1 \cdot x_{30} + 1 \cdot x_{32} + 1 \cdot x_{35} = k_{193}\\
1 \cdot x_{29} + 1 \cdot x_{30} + 1 \cdot x_{31} + 1 \cdot x_{32} + 1 \cdot x_{33} = k_{194}\\
1 \cdot x_{34} + 1 \cdot x_{35} + 1 \cdot x_{36} + 1 \cdot x_{38} + 1 \cdot x_{40} + 1 \cdot x_{48} + 1 \cdot x_{89} = k_{195}\\
1 \cdot x_{37} + 1 \cdot x_{38} + 1 \cdot x_{39} + 1 \cdot x_{40} + 1 \cdot x_{41} + 1 \cdot x_{43} + 1 \cdot x_{45} + 1 \cdot x_{50} + 1 \cdot x_{51} = k_{196}\\
1 \cdot x_{42} + 1 \cdot x_{43} + 1 \cdot x_{44} + 1 \cdot x_{45} + 1 \cdot x_{46} + 1 \cdot x_{53} + 1 \cdot x_{54} + 1 \cdot x_{55} + 1 \cdot x_{57} = k_{197}\\
1 \cdot x_{47} + 1 \cdot x_{48} = k_{198}\\
1 \cdot x_{49} + 1 \cdot x_{50} + 1 \cdot x_{51} = k_{199}\\
1 \cdot x_{52} + 1 \cdot x_{53} + 1 \cdot x_{54} = k_{200}\\
1 \cdot x_{59} + 1 \cdot x_{60} + 1 \cdot x_{61} + 1 \cdot x_{63} + 1 \cdot x_{107} + 1 \cdot x_{109} = k_{201}\\
1 \cdot x_{64} + 1 \cdot x_{65} + 1 \cdot x_{66} + 1 \cdot x_{67} + 1 \cdot x_{69} + 1 \cdot x_{70} + 1 \cdot x_{72} + 1 \cdot x_{108} + 1 \cdot x_{109} = k_{202}\\
1 \cdot x_{68} + 1 \cdot x_{69} + 1 \cdot x_{70} = k_{203}\\
1 \cdot x_{71} + 1 \cdot x_{72} + 1 \cdot x_{73} + 1 \cdot x_{75} + 1 \cdot x_{77} + 1 \cdot x_{78} + 1 \cdot x_{79} + 1 \cdot x_{84} + 1 \cdot x_{85} + 1 \cdot x_{86} + 1 \cdot x_{87} = k_{204}\\
1 \cdot x_{74} + 1 \cdot x_{75} + 1 \cdot x_{77} + 1 \cdot x_{78} + 1 \cdot x_{79} + 1 \cdot x_{80} + 1 \cdot x_{81} + 1 \cdot x_{82} + 1 \cdot x_{84} + 1 \cdot x_{85} + 1 \cdot x_{86} + 1 \cdot x_{87} = k_{205}\\
1 \cdot x_{76} + 1 \cdot x_{77} + 1 \cdot x_{78} + 1 \cdot x_{86} + 1 \cdot x_{87} = k_{206}\\
1 \cdot x_{81} + 1 \cdot x_{82} + 1 \cdot x_{83} + 1 \cdot x_{84} + 1 \cdot x_{85} + 1 \cdot x_{86} + 1 \cdot x_{87} = k_{207}\\
1 \cdot x_{94} + 1 \cdot x_{95} + 1 \cdot x_{96} = k_{208}\\
1 \cdot x_{101} + 1 \cdot x_{102} + 1 \cdot x_{105} = k_{209}