1 \cdot k_{2} \cdot x_{4} + 1 \cdot k_{2} \cdot x_{6} + 1 \cdot k_{2} \cdot x_{7} + 1 \cdot k_{2} \cdot x_{14} + 1 \cdot k_{2} \cdot x_{43} + 1 \cdot k_{2} \cdot x_{44} + 1 \cdot k_{2} \cdot x_{48} + 1 \cdot k_{2} \cdot x_{50} + 1 \cdot k_{2} \cdot x_{78} + 1 \cdot k_{2} \cdot x_{80} = k_{2} \cdot k_{242}\\
1 \cdot k_{2} \cdot x_{7} + 1 \cdot k_{2} \cdot x_{8} + 1 \cdot k_{2} \cdot x_{14} + 1 \cdot k_{2} \cdot x_{43} + 1 \cdot k_{2} \cdot x_{44} + 1 \cdot k_{2} \cdot x_{48} + 1 \cdot k_{2} \cdot x_{50} + 1 \cdot k_{2} \cdot x_{78} + 1 \cdot k_{2} \cdot x_{80} = k_{2} \cdot k_{243}\\
1 \cdot k_{2} \cdot x_{9} + 1 \cdot k_{2} \cdot x_{10} + 1 \cdot k_{2} \cdot x_{53} = k_{2} \cdot k_{244}\\
1 \cdot k_{2} \cdot x_{11} + 1 \cdot k_{2} \cdot x_{40} + 1 \cdot k_{2} \cdot x_{42} + 1 \cdot k_{2} \cdot x_{58} + 1 \cdot k_{2} \cdot x_{64} + 1 \cdot k_{2} \cdot x_{77} + 1 \cdot k_{2} \cdot x_{79} = k_{2} \cdot k_{245}\\
1 \cdot k_{2} \cdot x_{12} + 1 \cdot k_{2} \cdot x_{22} + 1 \cdot k_{2} \cdot x_{35} + 1 \cdot k_{2} \cdot x_{39} + 1 \cdot k_{2} \cdot x_{40} + 1 \cdot k_{2} \cdot x_{42} + 1 \cdot k_{2} \cdot x_{51} + 1 \cdot k_{2} \cdot x_{52} + 1 \cdot k_{2} \cdot x_{55} + 1 \cdot k_{2} \cdot x_{56} + 1 \cdot k_{2} \cdot x_{58} + 1 \cdot k_{2} \cdot x_{72} + 1 \cdot k_{2} \cdot x_{73} + 1 \cdot k_{2} \cdot x_{75} + 1 \cdot k_{2} \cdot x_{76} + 1 \cdot k_{2} \cdot x_{77} + 1 \cdot k_{2} \cdot x_{79} = k_{2} \cdot k_{246}\\
1 \cdot k_{2} \cdot x_{13} + 1 \cdot k_{2} \cdot x_{18} + 1 \cdot k_{2} \cdot x_{21} + 1 \cdot k_{2} \cdot x_{23} + 1 \cdot k_{2} \cdot x_{34} + 1 \cdot k_{2} \cdot x_{41} + 1 \cdot k_{2} \cdot x_{43} + 1 \cdot k_{2} \cdot x_{44} + 1 \cdot k_{2} \cdot x_{45} + 1 \cdot k_{2} \cdot x_{48} + 1 \cdot k_{2} \cdot x_{49} + 1 \cdot k_{2} \cdot x_{50} + 1 \cdot k_{2} \cdot x_{69} + 1 \cdot k_{2} \cdot x_{70} + 1 \cdot k_{2} \cdot x_{71} + 1 \cdot k_{2} \cdot x_{74} + 1 \cdot k_{2} \cdot x_{78} + 1 \cdot k_{2} \cdot x_{80} = k_{2} \cdot k_{247}\\
1 \cdot k_{2} \cdot x_{15} + 1 \cdot k_{2} \cdot x_{20} + 1 \cdot k_{2} \cdot x_{65} + 1 \cdot k_{2} \cdot x_{89} + 1 \cdot k_{2} \cdot x_{90} + 1 \cdot k_{2} \cdot x_{91} + 1 \cdot k_{2} \cdot x_{92} = k_{2} \cdot k_{248}\\
1 \cdot k_{2} \cdot x_{16} + 1 \cdot k_{2} \cdot x_{37} + 1 \cdot k_{2} \cdot x_{38} + 1 \cdot k_{2} \cdot x_{54} + 1 \cdot k_{2} \cdot x_{61} + 1 \cdot k_{2} \cdot x_{67} + 1 \cdot k_{2} \cdot x_{81} + 1 \cdot k_{2} \cdot x_{82} + 1 \cdot k_{2} \cdot x_{83} + 1 \cdot k_{2} \cdot x_{84} + 1 \cdot k_{2} \cdot x_{85} + 1 \cdot k_{2} \cdot x_{86} + 1 \cdot k_{2} \cdot x_{87} + 1 \cdot k_{2} \cdot x_{88} + 1 \cdot k_{2} \cdot x_{89} + 1 \cdot k_{2} \cdot x_{90} + 1 \cdot k_{2} \cdot x_{91} + 1 \cdot k_{2} \cdot x_{92} = k_{2} \cdot k_{249}\\
1 \cdot k_{2} \cdot x_{17} + 1 \cdot k_{2} \cdot x_{93} + 1 \cdot k_{2} \cdot x_{94} = k_{2} \cdot k_{250}\\
1 \cdot k_{2} \cdot x_{19} + 1 \cdot k_{2} \cdot x_{21} + 1 \cdot k_{2} \cdot x_{22} + 1 \cdot k_{2} \cdot x_{24} + 1 \cdot k_{2} \cdot x_{39} + 1 \cdot k_{2} \cdot x_{40} + 1 \cdot k_{2} \cdot x_{41} + 1 \cdot k_{2} \cdot x_{43} + 1 \cdot k_{2} \cdot x_{44} + 1 \cdot k_{2} \cdot x_{45} + 1 \cdot k_{2} \cdot x_{46} + 1 \cdot k_{2} \cdot x_{49} + 1 \cdot k_{2} \cdot x_{55} + 1 \cdot k_{2} \cdot x_{56} + 1 \cdot k_{2} \cdot x_{58} = k_{2} \cdot k_{251}\\
1 \cdot k_{2} \cdot x_{20} + 1 \cdot k_{2} \cdot x_{27} + 1 \cdot k_{2} \cdot x_{60} + 1 \cdot k_{2} \cdot x_{85} + 1 \cdot k_{2} \cdot x_{86} + 1 \cdot k_{2} \cdot x_{87} + 1 \cdot k_{2} \cdot x_{88} + 1 \cdot k_{2} \cdot x_{89} + 1 \cdot k_{2} \cdot x_{90} + 1 \cdot k_{2} \cdot x_{91} + 1 \cdot k_{2} \cdot x_{92} = k_{2} \cdot k_{252}\\
1 \cdot k_{2} \cdot x_{25} + 1 \cdot k_{2} \cdot x_{53} = k_{2} \cdot k_{253}\\
1 \cdot k_{2} \cdot x_{26} + 1 \cdot k_{2} \cdot x_{59} + 1 \cdot k_{2} \cdot x_{81} + 1 \cdot k_{2} \cdot x_{82} + 1 \cdot k_{2} \cdot x_{83} + 1 \cdot k_{2} \cdot x_{84} = k_{2} \cdot k_{254}\\
1 \cdot k_{2} \cdot x_{28} + 1 \cdot k_{2} \cdot x_{37} + 1 \cdot k_{2} \cdot x_{38} + 1 \cdot k_{2} \cdot x_{62} + 1 \cdot k_{2} \cdot x_{67} + 2 \cdot k_{2} \cdot x_{68} + 1 \cdot k_{2} \cdot x_{83} + 1 \cdot k_{2} \cdot x_{84} + 1 \cdot k_{2} \cdot x_{87} + 1 \cdot k_{2} \cdot x_{88} + 1 \cdot k_{2} \cdot x_{91} + 1 \cdot k_{2} \cdot x_{92} + 1 \cdot k_{2} \cdot x_{93} + 2 \cdot k_{2} \cdot x_{94} = k_{2} \cdot k_{255}\\
1 \cdot k_{2} \cdot x_{30} + 1 \cdot k_{2} \cdot x_{57} + 1 \cdot k_{2} \cdot x_{59} + 1 \cdot k_{2} \cdot x_{60} + 1 \cdot k_{2} \cdot x_{81} + 1 \cdot k_{2} \cdot x_{82} + 1 \cdot k_{2} \cdot x_{83} + 1 \cdot k_{2} \cdot x_{84} + 1 \cdot k_{2} \cdot x_{85} + 1 \cdot k_{2} \cdot x_{86} + 1 \cdot k_{2} \cdot x_{87} + 1 \cdot k_{2} \cdot x_{88} = k_{2} \cdot k_{256}\\
1 \cdot k_{2} \cdot x_{32} + 1 \cdot k_{2} \cdot x_{40} + 1 \cdot k_{2} \cdot x_{42} + 1 \cdot k_{2} \cdot x_{58} + 1 \cdot k_{2} \cdot x_{64} + 1 \cdot k_{2} \cdot x_{77} + 1 \cdot k_{2} \cdot x_{79} = k_{2} \cdot k_{257}