1 \cdot k_{1} \cdot x_{1} + 1 \cdot k_{1} \cdot x_{3} + 2 \cdot k_{1} \cdot x_{4} + 2 \cdot k_{1} \cdot x_{5} + 2 \cdot k_{1} \cdot x_{7} + 2 \cdot k_{1} \cdot x_{9} + 2 \cdot k_{1} \cdot x_{10} + 2 \cdot k_{1} \cdot x_{14} + 2 \cdot k_{1} \cdot x_{16} + 2 \cdot k_{1} \cdot x_{19} + 2 \cdot k_{1} \cdot x_{21} + 2 \cdot k_{1} \cdot x_{22} + 2 \cdot k_{1} \cdot x_{23} + 2 \cdot k_{1} \cdot x_{47} + 2 \cdot k_{1} \cdot x_{49} + 2 \cdot k_{1} \cdot x_{51} + 2 \cdot k_{1} \cdot x_{52} + 2 \cdot k_{1} \cdot x_{88} + 2 \cdot k_{1} \cdot x_{89} + 2 \cdot k_{1} \cdot x_{90} + 2 \cdot k_{1} \cdot x_{92} + 2 \cdot k_{1} \cdot x_{93} + 2 \cdot k_{1} \cdot x_{94} + 2 \cdot k_{1} \cdot x_{97} + 2 \cdot k_{1} \cdot x_{99} + 2 \cdot k_{1} \cdot x_{100} + 2 \cdot k_{1} \cdot x_{101} + 2 \cdot k_{1} \cdot x_{102} + 2 \cdot k_{1} \cdot x_{103} + 2 \cdot k_{1} \cdot x_{104} + 2 \cdot k_{1} \cdot x_{108} + 4 \cdot k_{1} \cdot x_{109} + 4 \cdot k_{1} \cdot x_{110} + 2 \cdot k_{1} \cdot x_{113} + 2 \cdot k_{1} \cdot x_{114} + 2 \cdot k_{1} \cdot x_{116} + 2 \cdot k_{1} \cdot x_{117} + 2 \cdot k_{1} \cdot x_{119} + 2 \cdot k_{1} \cdot x_{120} + 2 \cdot k_{1} \cdot x_{121} + 2 \cdot k_{1} \cdot x_{133} + 2 \cdot k_{1} \cdot x_{134} + 2 \cdot k_{1} \cdot x_{135} + 2 \cdot k_{1} \cdot x_{136} + 2 \cdot k_{1} \cdot x_{137} + 2 \cdot k_{1} \cdot x_{138} + 2 \cdot k_{1} \cdot x_{139} + 2 \cdot k_{1} \cdot x_{140} + 2 \cdot k_{1} \cdot x_{141} + 2 \cdot k_{1} \cdot x_{142} + 2 \cdot k_{1} \cdot x_{143} + 2 \cdot k_{1} \cdot x_{144} + 2 \cdot k_{1} \cdot x_{145} + 2 \cdot k_{1} \cdot x_{146} + 2 \cdot k_{1} \cdot x_{147} + 2 \cdot k_{1} \cdot x_{148} + 2 \cdot k_{1} \cdot x_{149} + 2 \cdot k_{1} \cdot x_{150} + 2 \cdot k_{1} \cdot x_{151} + 2 \cdot k_{1} \cdot x_{152} + 2 \cdot k_{1} \cdot x_{153} + 2 \cdot k_{1} \cdot x_{154} + 2 \cdot k_{1} \cdot x_{155} + 2 \cdot k_{1} \cdot x_{156} + 2 \cdot k_{1} \cdot x_{157} + 2 \cdot k_{1} \cdot x_{158} + 2 \cdot k_{1} \cdot x_{159} + 2 \cdot k_{1} \cdot x_{160} + 2 \cdot k_{1} \cdot x_{161} + 2 \cdot k_{1} \cdot x_{162} + 2 \cdot k_{1} \cdot x_{163} + 2 \cdot k_{1} \cdot x_{164} + 2 \cdot k_{1} \cdot x_{165} + 2 \cdot k_{1} \cdot x_{166} + 2 \cdot k_{1} \cdot x_{167} + 2 \cdot k_{1} \cdot x_{168} + 2 \cdot k_{1} \cdot x_{169} + 2 \cdot k_{1} \cdot x_{170} + 2 \cdot k_{1} \cdot x_{171} + 2 \cdot k_{1} \cdot x_{172} + 2 \cdot k_{1} \cdot x_{173} + 2 \cdot k_{1} \cdot x_{174} + 2 \cdot k_{1} \cdot x_{175} + 2 \cdot k_{1} \cdot x_{176} + 2 \cdot k_{1} \cdot x_{177} + 2 \cdot k_{1} \cdot x_{178} + 2 \cdot k_{1} \cdot x_{179} + 2 \cdot k_{1} \cdot x_{180} + 2 \cdot k_{1} \cdot x_{181} + 2 \cdot k_{1} \cdot x_{182} + 2 \cdot k_{1} \cdot x_{183} + 2 \cdot k_{1} \cdot x_{184} + 2 \cdot k_{1} \cdot x_{185} + 2 \cdot k_{1} \cdot x_{186} + 2 \cdot k_{1} \cdot x_{187} + 2 \cdot k_{1} \cdot x_{188} + 2 \cdot k_{1} \cdot x_{189} + 2 \cdot k_{1} \cdot x_{190} + 2 \cdot k_{1} \cdot x_{191} + 2 \cdot k_{1} \cdot x_{192} + 2 \cdot k_{1} \cdot x_{193} + 2 \cdot k_{1} \cdot x_{194} = k_{1} \cdot k_{315}\\ 1 \cdot k_{1} \cdot x_{1} + 1 \cdot k_{1} \cdot x_{3} + 2 \cdot k_{1} \cdot x_{4} + 2 \cdot k_{1} \cdot x_{5} + 2 \cdot k_{1} \cdot x_{7} + 2 \cdot k_{1} \cdot x_{9} + 2 \cdot k_{1} \cdot x_{10} + 2 \cdot k_{1} \cdot x_{14} + 2 \cdot k_{1} \cdot x_{16} + 2 \cdot k_{1} \cdot x_{19} + 2 \cdot k_{1} \cdot x_{21} + 2 \cdot k_{1} \cdot x_{22} + 2 \cdot k_{1} \cdot x_{23} + 2 \cdot k_{1} \cdot x_{47} + 2 \cdot k_{1} \cdot x_{49} + 2 \cdot k_{1} \cdot x_{51} + 2 \cdot k_{1} \cdot x_{52} + 2 \cdot k_{1} \cdot x_{88} + 2 \cdot k_{1} \cdot x_{89} + 2 \cdot k_{1} \cdot x_{90} + 2 \cdot k_{1} \cdot x_{92} + 2 \cdot k_{1} \cdot x_{93} + 2 \cdot k_{1} \cdot x_{94} + 2 \cdot k_{1} \cdot x_{97} + 2 \cdot k_{1} \cdot x_{99} + 2 \cdot k_{1} \cdot x_{100} + 2 \cdot k_{1} \cdot x_{101} + 2 \cdot k_{1} \cdot x_{109} + 2 \cdot k_{1} \cdot x_{110} + 2 \cdot k_{1} \cdot x_{111} + 2 \cdot k_{1} \cdot x_{116} + 2 \cdot k_{1} \cdot x_{117} + 2 \cdot k_{1} \cdot x_{119} + 2 \cdot k_{1} \cdot x_{120} + 2 \cdot k_{1} \cdot x_{121} + 2 \cdot k_{1} \cdot x_{133} + 2 \cdot k_{1} \cdot x_{134} + 2 \cdot k_{1} \cdot x_{135} + 2 \cdot k_{1} \cdot x_{136} + 2 \cdot k_{1} \cdot x_{137} + 2 \cdot k_{1} \cdot x_{138} + 2 \cdot k_{1} \cdot x_{139} + 2 \cdot k_{1} \cdot x_{140} + 2 \cdot k_{1} \cdot x_{141} + 2 \cdot k_{1} \cdot x_{142} + 2 \cdot k_{1} \cdot x_{143} + 2 \cdot k_{1} \cdot x_{144} + 2 \cdot k_{1} \cdot x_{145} + 2 \cdot k_{1} \cdot x_{146} + 2 \cdot k_{1} \cdot x_{147} + 2 \cdot k_{1} \cdot x_{148} + 2 \cdot k_{1} \cdot x_{149} + 2 \cdot k_{1} \cdot x_{150} + 2 \cdot k_{1} \cdot x_{151} + 2 \cdot k_{1} \cdot x_{152} + 2 \cdot k_{1} \cdot x_{153} + 2 \cdot k_{1} \cdot x_{154} + 2 \cdot k_{1} \cdot x_{155} + 2 \cdot k_{1} \cdot x_{156} + 2 \cdot k_{1} \cdot x_{157} + 2 \cdot k_{1} \cdot x_{158} + 2 \cdot k_{1} \cdot x_{159} + 2 \cdot k_{1} \cdot x_{160} + 2 \cdot k_{1} \cdot x_{161} + 2 \cdot k_{1} \cdot x_{162} + 2 \cdot k_{1} \cdot x_{163} + 2 \cdot k_{1} \cdot x_{164} + 2 \cdot k_{1} \cdot x_{165} + 2 \cdot k_{1} \cdot x_{166} + 2 \cdot k_{1} \cdot x_{167} + 2 \cdot k_{1} \cdot x_{168} + 2 \cdot k_{1} \cdot x_{169} + 2 \cdot k_{1} \cdot x_{170} + 2 \cdot k_{1} \cdot x_{171} + 2 \cdot k_{1} \cdot x_{172} + 2 \cdot k_{1} \cdot x_{173} + 2 \cdot k_{1} \cdot x_{174} + 2 \cdot k_{1} \cdot x_{175} + 2 \cdot k_{1} \cdot x_{176} + 2 \cdot k_{1} \cdot x_{177} + 2 \cdot k_{1} \cdot x_{178} + 2 \cdot k_{1} \cdot x_{179} + 2 \cdot k_{1} \cdot x_{180} + 2 \cdot k_{1} \cdot x_{181} + 2 \cdot k_{1} \cdot x_{182} + 2 \cdot k_{1} \cdot x_{183} + 2 \cdot k_{1} \cdot x_{184} + 2 \cdot k_{1} \cdot x_{185} + 2 \cdot k_{1} \cdot x_{186} + 2 \cdot k_{1} \cdot x_{187} + 2 \cdot k_{1} \cdot x_{188} + 2 \cdot k_{1} \cdot x_{189} + 2 \cdot k_{1} \cdot x_{190} + 2 \cdot k_{1} \cdot x_{191} + 2 \cdot k_{1} \cdot x_{192} + 2 \cdot k_{1} \cdot x_{193} + 2 \cdot k_{1} \cdot x_{194} = k_{1} \cdot k_{316}\\ 1 \cdot k_{1} \cdot x_{2} + 1 \cdot k_{1} \cdot x_{3} + 2 \cdot k_{1} \cdot x_{4} + 2 \cdot k_{1} \cdot x_{5} + 2 \cdot k_{1} \cdot x_{7} + 2 \cdot k_{1} \cdot x_{9} + 2 \cdot k_{1} \cdot x_{10} + 2 \cdot k_{1} \cdot x_{14} + 2 \cdot k_{1} \cdot x_{16} + 2 \cdot k_{1} \cdot x_{19} + 2 \cdot k_{1} \cdot x_{21} + 2 \cdot k_{1} \cdot x_{22} + 2 \cdot k_{1} \cdot x_{23} + 2 \cdot k_{1} \cdot x_{47} + 2 \cdot k_{1} \cdot x_{49} + 2 \cdot k_{1} \cdot x_{51} + 2 \cdot k_{1} \cdot x_{52} + 2 \cdot k_{1} \cdot x_{88} + 2 \cdot k_{1} \cdot x_{89} + 2 \cdot k_{1} \cdot x_{90} + 2 \cdot k_{1} \cdot x_{92} + 2 \cdot k_{1} \cdot x_{93} + 2 \cdot k_{1} \cdot x_{94} + 2 \cdot k_{1} \cdot x_{97} + 2 \cdot k_{1} \cdot x_{99} + 2 \cdot k_{1} \cdot x_{100} + 2 \cdot k_{1} \cdot x_{101} + 2 \cdot k_{1} \cdot x_{102} + 2 \cdot k_{1} \cdot x_{103} + 2 \cdot k_{1} \cdot x_{104} + 2 \cdot k_{1} \cdot x_{108} + 4 \cdot k_{1} \cdot x_{109} + 4 \cdot k_{1} \cdot x_{110} + 2 \cdot k_{1} \cdot x_{113} + 2 \cdot k_{1} \cdot x_{114} + 2 \cdot k_{1} \cdot x_{116} + 2 \cdot k_{1} \cdot x_{117} + 2 \cdot k_{1} \cdot x_{119} + 2 \cdot k_{1} \cdot x_{120} + 2 \cdot k_{1} \cdot x_{121} + 1 \cdot k_{1} \cdot x_{123} + 2 \cdot k_{1} \cdot x_{133} + 2 \cdot k_{1} \cdot x_{134} + 2 \cdot k_{1} \cdot x_{135} + 2 \cdot k_{1} \cdot x_{136} + 2 \cdot k_{1} \cdot x_{137} + 2 \cdot k_{1} \cdot x_{138} + 2 \cdot k_{1} \cdot x_{139} + 2 \cdot k_{1} \cdot x_{140} + 2 \cdot k_{1} \cdot x_{141} + 2 \cdot k_{1} \cdot x_{142} + 2 \cdot k_{1} \cdot x_{143} + 2 \cdot k_{1} \cdot x_{144} + 2 \cdot k_{1} \cdot x_{145} + 2 \cdot k_{1} \cdot x_{146} + 2 \cdot k_{1} \cdot x_{147} + 2 \cdot k_{1} \cdot x_{148} + 2 \cdot k_{1} \cdot x_{149} + 2 \cdot k_{1} \cdot x_{150} + 2 \cdot k_{1} \cdot x_{151} + 2 \cdot k_{1} \cdot x_{152} + 2 \cdot k_{1} \cdot x_{153} + 2 \cdot k_{1} \cdot x_{154} + 2 \cdot k_{1} \cdot x_{155} + 2 \cdot k_{1} \cdot x_{156} + 2 \cdot k_{1} \cdot x_{157} + 2 \cdot k_{1} \cdot x_{158} + 2 \cdot k_{1} \cdot x_{159} + 2 \cdot k_{1} \cdot x_{160} + 2 \cdot k_{1} \cdot x_{161} + 2 \cdot k_{1} \cdot x_{162} + 2 \cdot k_{1} \cdot x_{163} + 2 \cdot k_{1} \cdot x_{164} + 2 \cdot k_{1} \cdot x_{165} + 2 \cdot k_{1} \cdot x_{166} + 2 \cdot k_{1} \cdot x_{167} + 2 \cdot k_{1} \cdot x_{168} + 2 \cdot k_{1} \cdot x_{169} + 2 \cdot k_{1} \cdot x_{170} + 2 \cdot k_{1} \cdot x_{171} + 2 \cdot k_{1} \cdot x_{172} + 2 \cdot k_{1} \cdot x_{173} + 2 \cdot k_{1} \cdot x_{174} + 2 \cdot k_{1} \cdot x_{175} + 2 \cdot k_{1} \cdot x_{176} + 2 \cdot k_{1} \cdot x_{177} + 2 \cdot k_{1} \cdot x_{178} + 2 \cdot k_{1} \cdot x_{179} + 2 \cdot k_{1} \cdot x_{180} + 2 \cdot k_{1} \cdot x_{181} + 2 \cdot k_{1} \cdot x_{182} + 2 \cdot k_{1} \cdot x_{183} + 2 \cdot k_{1} \cdot x_{184} + 2 \cdot k_{1} \cdot x_{185} + 2 \cdot k_{1} \cdot x_{186} + 2 \cdot k_{1} \cdot x_{187} + 2 \cdot k_{1} \cdot x_{188} + 2 \cdot k_{1} \cdot x_{189} + 2 \cdot k_{1} \cdot x_{190} + 2 \cdot k_{1} \cdot x_{191} + 2 \cdot k_{1} \cdot x_{192} + 2 \cdot k_{1} \cdot x_{193} + 2 \cdot k_{1} \cdot x_{194} = k_{1} \cdot k_{317}\\ 1 \cdot k_{1} \cdot x_{2} + 1 \cdot k_{1} \cdot x_{3} + 2 \cdot k_{1} \cdot x_{4} + 2 \cdot k_{1} \cdot x_{5} + 2 \cdot k_{1} \cdot x_{7} + 2 \cdot k_{1} \cdot x_{9} + 2 \cdot k_{1} \cdot x_{10} + 2 \cdot k_{1} \cdot x_{14} + 2 \cdot k_{1} \cdot x_{16} + 2 \cdot k_{1} \cdot x_{19} + 2 \cdot k_{1} \cdot x_{21} + 2 \cdot k_{1} \cdot x_{22} + 2 \cdot k_{1} \cdot x_{23} + 2 \cdot k_{1} \cdot x_{47} + 2 \cdot k_{1} \cdot x_{49} + 2 \cdot k_{1} \cdot x_{51} + 2 \cdot k_{1} \cdot x_{52} + 2 \cdot k_{1} \cdot x_{88} + 2 \cdot k_{1} \cdot x_{89} + 2 \cdot k_{1} \cdot x_{90} + 2 \cdot k_{1} \cdot x_{92} + 2 \cdot k_{1} \cdot x_{93} + 2 \cdot k_{1} \cdot x_{94} + 2 \cdot k_{1} \cdot x_{97} + 2 \cdot k_{1} \cdot x_{99} + 2 \cdot k_{1} \cdot x_{100} + 2 \cdot k_{1} \cdot x_{101} + 2 \cdot k_{1} \cdot x_{109} + 2 \cdot k_{1} \cdot x_{110} + 2 \cdot k_{1} \cdot x_{111} + 2 \cdot k_{1} \cdot x_{116} + 2 \cdot k_{1} \cdot x_{117} + 2 \cdot k_{1} \cdot x_{119} + 2 \cdot k_{1} \cdot x_{120} + 2 \cdot k_{1} \cdot x_{121} + 1 \cdot k_{1} \cdot x_{123} + 2 \cdot k_{1} \cdot x_{133} + 2 \cdot k_{1} \cdot x_{134} + 2 \cdot k_{1} \cdot x_{135} + 2 \cdot k_{1} \cdot x_{136} + 2 \cdot k_{1} \cdot x_{137} + 2 \cdot k_{1} \cdot x_{138} + 2 \cdot k_{1} \cdot x_{139} + 2 \cdot k_{1} \cdot x_{140} + 2 \cdot k_{1} \cdot x_{141} + 2 \cdot k_{1} \cdot x_{142} + 2 \cdot k_{1} \cdot x_{143} + 2 \cdot k_{1} \cdot x_{144} + 2 \cdot k_{1} \cdot x_{145} + 2 \cdot k_{1} \cdot x_{146} + 2 \cdot k_{1} \cdot x_{147} + 2 \cdot k_{1} \cdot x_{148} + 2 \cdot k_{1} \cdot x_{149} + 2 \cdot k_{1} \cdot x_{150} + 2 \cdot k_{1} \cdot x_{151} + 2 \cdot k_{1} \cdot x_{152} + 2 \cdot k_{1} \cdot x_{153} + 2 \cdot k_{1} \cdot x_{154} + 2 \cdot k_{1} \cdot x_{155} + 2 \cdot k_{1} \cdot x_{156} + 2 \cdot k_{1} \cdot x_{157} + 2 \cdot k_{1} \cdot x_{158} + 2 \cdot k_{1} \cdot x_{159} + 2 \cdot k_{1} \cdot x_{160} + 2 \cdot k_{1} \cdot x_{161} + 2 \cdot k_{1} \cdot x_{162} + 2 \cdot k_{1} \cdot x_{163} + 2 \cdot k_{1} \cdot x_{164} + 2 \cdot k_{1} \cdot x_{165} + 2 \cdot k_{1} \cdot x_{166} + 2 \cdot k_{1} \cdot x_{167} + 2 \cdot k_{1} \cdot x_{168} + 2 \cdot k_{1} \cdot x_{169} + 2 \cdot k_{1} \cdot x_{170} + 2 \cdot k_{1} \cdot x_{171} + 2 \cdot k_{1} \cdot x_{172} + 2 \cdot k_{1} \cdot x_{173} + 2 \cdot k_{1} \cdot x_{174} + 2 \cdot k_{1} \cdot x_{175} + 2 \cdot k_{1} \cdot x_{176} + 2 \cdot k_{1} \cdot x_{177} + 2 \cdot k_{1} \cdot x_{178} + 2 \cdot k_{1} \cdot x_{179} + 2 \cdot k_{1} \cdot x_{180} + 2 \cdot k_{1} \cdot x_{181} + 2 \cdot k_{1} \cdot x_{182} + 2 \cdot k_{1} \cdot x_{183} + 2 \cdot k_{1} \cdot x_{184} + 2 \cdot k_{1} \cdot x_{185} + 2 \cdot k_{1} \cdot x_{186} + 2 \cdot k_{1} \cdot x_{187} + 2 \cdot k_{1} \cdot x_{188} + 2 \cdot k_{1} \cdot x_{189} + 2 \cdot k_{1} \cdot x_{190} + 2 \cdot k_{1} \cdot x_{191} + 2 \cdot k_{1} \cdot x_{192} + 2 \cdot k_{1} \cdot x_{193} + 2 \cdot k_{1} \cdot x_{194} = k_{1} \cdot k_{318}\\ 1 \cdot k_{1} \cdot x_{6} + 1 \cdot k_{1} \cdot x_{7} + 1 \cdot k_{1} \cdot x_{12} = k_{1} \cdot k_{319}\\ 1 \cdot k_{1} \cdot x_{8} + 1 \cdot k_{1} \cdot x_{9} + 1 \cdot k_{1} \cdot x_{10} + 1 \cdot k_{1} \cdot x_{11} + 1 \cdot k_{1} \cdot x_{12} + 1 \cdot k_{1} \cdot x_{14} + 1 \cdot k_{1} \cdot x_{16} + 1 \cdot k_{1} \cdot x_{19} + 1 \cdot k_{1} \cdot x_{47} + 1 \cdot k_{1} \cdot x_{92} + 1 \cdot k_{1} \cdot x_{94} + 1 \cdot k_{1} \cdot x_{97} + 1 \cdot k_{1} \cdot x_{116} + 1 \cdot k_{1} \cdot x_{119} + 1 \cdot k_{1} \cdot x_{122} + 1 \cdot k_{1} \cdot x_{133} + 1 \cdot k_{1} \cdot x_{135} + 1 \cdot k_{1} \cdot x_{136} + 1 \cdot k_{1} \cdot x_{137} + 1 \cdot k_{1} \cdot x_{141} + 1 \cdot k_{1} \cdot x_{142} + 1 \cdot k_{1} \cdot x_{143} + 1 \cdot k_{1} \cdot x_{144} + 1 \cdot k_{1} \cdot x_{149} + 1 \cdot k_{1} \cdot x_{150} + 1 \cdot k_{1} \cdot x_{151} + 1 \cdot k_{1} \cdot x_{152} + 1 \cdot k_{1} \cdot x_{157} + 1 \cdot k_{1} \cdot x_{158} + 1 \cdot k_{1} \cdot x_{159} + 1 \cdot k_{1} \cdot x_{163} + 1 \cdot k_{1} \cdot x_{164} + 1 \cdot k_{1} \cdot x_{165} + 1 \cdot k_{1} \cdot x_{166} + 1 \cdot k_{1} \cdot x_{171} + 1 \cdot k_{1} \cdot x_{172} + 1 \cdot k_{1} \cdot x_{175} + 1 \cdot k_{1} \cdot x_{176} + 1 \cdot k_{1} \cdot x_{179} + 1 \cdot k_{1} \cdot x_{180} + 1 \cdot k_{1} \cdot x_{181} + 1 \cdot k_{1} \cdot x_{185} + 1 \cdot k_{1} \cdot x_{186} + 1 \cdot k_{1} \cdot x_{187} + 1 \cdot k_{1} \cdot x_{191} + 1 \cdot k_{1} \cdot x_{193} = k_{1} \cdot k_{320}\\ 1 \cdot k_{1} \cdot x_{13} + 1 \cdot k_{1} \cdot x_{14} + 1 \cdot k_{1} \cdot x_{16} + 1 \cdot k_{1} \cdot x_{17} + 1 \cdot k_{1} \cdot x_{19} + 1 \cdot k_{1} \cdot x_{21} + 1 \cdot k_{1} \cdot x_{22} + 1 \cdot k_{1} \cdot x_{23} + 1 \cdot k_{1} \cdot x_{47} + 1 \cdot k_{1} \cdot x_{49} + 1 \cdot k_{1} \cdot x_{92} + 1 \cdot k_{1} \cdot x_{93} + 1 \cdot k_{1} \cdot x_{94} + 1 \cdot k_{1} \cdot x_{97} + 1 \cdot k_{1} \cdot x_{99} + 1 \cdot k_{1} \cdot x_{100} + 1 \cdot k_{1} \cdot x_{116} + 1 \cdot k_{1} \cdot x_{117} + 1 \cdot k_{1} \cdot x_{119} + 1 \cdot k_{1} \cdot x_{120} + 1 \cdot k_{1} \cdot x_{122} + 1 \cdot k_{1} \cdot x_{132} + 1 \cdot k_{1} \cdot x_{133} + 1 \cdot k_{1} \cdot x_{134} + 1 \cdot k_{1} \cdot x_{135} + 1 \cdot k_{1} \cdot x_{136} + 1 \cdot k_{1} \cdot x_{137} + 1 \cdot k_{1} \cdot x_{138} + 1 \cdot k_{1} \cdot x_{139} + 1 \cdot k_{1} \cdot x_{140} + 1 \cdot k_{1} \cdot x_{141} + 1 \cdot k_{1} \cdot x_{142} + 1 \cdot k_{1} \cdot x_{143} + 1 \cdot k_{1} \cdot x_{144} + 1 \cdot k_{1} \cdot x_{145} + 1 \cdot k_{1} \cdot x_{146} + 1 \cdot k_{1} \cdot x_{147} + 1 \cdot k_{1} \cdot x_{148} + 1 \cdot k_{1} \cdot x_{149} + 1 \cdot k_{1} \cdot x_{150} + 1 \cdot k_{1} \cdot x_{151} + 1 \cdot k_{1} \cdot x_{152} + 1 \cdot k_{1} \cdot x_{153} + 1 \cdot k_{1} \cdot x_{154} + 1 \cdot k_{1} \cdot x_{155} + 1 \cdot k_{1} \cdot x_{156} + 1 \cdot k_{1} \cdot x_{157} + 1 \cdot k_{1} \cdot x_{158} + 1 \cdot k_{1} \cdot x_{159} + 1 \cdot k_{1} \cdot x_{160} + 1 \cdot k_{1} \cdot x_{161} + 1 \cdot k_{1} \cdot x_{162} + 1 \cdot k_{1} \cdot x_{163} + 1 \cdot k_{1} \cdot x_{164} + 1 \cdot k_{1} \cdot x_{165} + 1 \cdot k_{1} \cdot x_{166} + 1 \cdot k_{1} \cdot x_{167} + 1 \cdot k_{1} \cdot x_{168} + 1 \cdot k_{1} \cdot x_{169} + 1 \cdot k_{1} \cdot x_{170} + 1 \cdot k_{1} \cdot x_{171} + 1 \cdot k_{1} \cdot x_{172} + 1 \cdot k_{1} \cdot x_{173} + 1 \cdot k_{1} \cdot x_{174} + 1 \cdot k_{1} \cdot x_{175} + 1 \cdot k_{1} \cdot x_{176} + 1 \cdot k_{1} \cdot x_{177} + 1 \cdot k_{1} \cdot x_{178} + 1 \cdot k_{1} \cdot x_{179} + 1 \cdot k_{1} \cdot x_{180} + 1 \cdot k_{1} \cdot x_{181} + 1 \cdot k_{1} \cdot x_{182} + 1 \cdot k_{1} \cdot x_{183} + 1 \cdot k_{1} \cdot x_{184} + 1 \cdot k_{1} \cdot x_{185} + 1 \cdot k_{1} \cdot x_{186} + 1 \cdot k_{1} \cdot x_{187} + 1 \cdot k_{1} \cdot x_{188} + 1 \cdot k_{1} \cdot x_{189} + 1 \cdot k_{1} \cdot x_{190} + 1 \cdot k_{1} \cdot x_{191} + 1 \cdot k_{1} \cdot x_{192} + 1 \cdot k_{1} \cdot x_{193} + 1 \cdot k_{1} \cdot x_{194} = k_{1} \cdot k_{321}\\ 1 \cdot k_{1} \cdot x_{15} + 1 \cdot k_{1} \cdot x_{16} + 1 \cdot k_{1} \cdot x_{17} + 1 \cdot k_{1} \cdot x_{19} + 1 \cdot k_{1} \cdot x_{22} + 1 \cdot k_{1} \cdot x_{23} + 1 \cdot k_{1} \cdot x_{47} + 1 \cdot k_{1} \cdot x_{48} + 1 \cdot k_{1} \cdot x_{49} + 1 \cdot k_{1} \cdot x_{116} + 1 \cdot k_{1} \cdot x_{117} + 1 \cdot k_{1} \cdot x_{119} + 1 \cdot k_{1} \cdot x_{120} + 1 \cdot k_{1} \cdot x_{122} = k_{1} \cdot k_{322}\\ 1 \cdot k_{1} \cdot x_{18} + 1 \cdot k_{1} \cdot x_{19} + 1 \cdot k_{1} \cdot x_{20} + 1 \cdot k_{1} \cdot x_{23} + 1 \cdot k_{1} \cdot x_{25} + 1 \cdot k_{1} \cdot x_{46} + 1 \cdot k_{1} \cdot x_{89} + 1 \cdot k_{1} \cdot x_{129} + 1 \cdot k_{1} \cdot x_{149} + 1 \cdot k_{1} \cdot x_{150} + 1 \cdot k_{1} \cdot x_{151} + 1 \cdot k_{1} \cdot x_{152} + 1 \cdot k_{1} \cdot x_{153} + 1 \cdot k_{1} \cdot x_{154} + 1 \cdot k_{1} \cdot x_{155} + 1 \cdot k_{1} \cdot x_{156} + 1 \cdot k_{1} \cdot x_{157} + 1 \cdot k_{1} \cdot x_{158} + 1 \cdot k_{1} \cdot x_{159} + 1 \cdot k_{1} \cdot x_{160} + 1 \cdot k_{1} \cdot x_{161} + 1 \cdot k_{1} \cdot x_{162} = k_{1} \cdot k_{323}\\ 1 \cdot k_{1} \cdot x_{24} + 1 \cdot k_{1} \cdot x_{25} + 1 \cdot k_{1} \cdot x_{26} + 1 \cdot k_{1} \cdot x_{28} + 1 \cdot k_{1} \cdot x_{30} + 1 \cdot k_{1} \cdot x_{38} + 1 \cdot k_{1} \cdot x_{67} + 1 \cdot k_{1} \cdot x_{68} + 1 \cdot k_{1} \cdot x_{141} + 1 \cdot k_{1} \cdot x_{142} + 1 \cdot k_{1} \cdot x_{143} + 1 \cdot k_{1} \cdot x_{144} + 1 \cdot k_{1} \cdot x_{145} + 1 \cdot k_{1} \cdot x_{146} + 1 \cdot k_{1} \cdot x_{147} + 1 \cdot k_{1} \cdot x_{148} + 1 \cdot k_{1} \cdot x_{163} + 1 \cdot k_{1} \cdot x_{164} + 1 \cdot k_{1} \cdot x_{165} + 1 \cdot k_{1} \cdot x_{166} + 1 \cdot k_{1} \cdot x_{167} + 1 \cdot k_{1} \cdot x_{168} + 1 \cdot k_{1} \cdot x_{169} + 1 \cdot k_{1} \cdot x_{170} + 1 \cdot k_{1} \cdot x_{172} + 1 \cdot k_{1} \cdot x_{174} + 1 \cdot k_{1} \cdot x_{175} + 1 \cdot k_{1} \cdot x_{176} + 1 \cdot k_{1} \cdot x_{177} + 1 \cdot k_{1} \cdot x_{178} + 1 \cdot k_{1} \cdot x_{185} + 1 \cdot k_{1} \cdot x_{186} + 1 \cdot k_{1} \cdot x_{187} + 1 \cdot k_{1} \cdot x_{188} + 1 \cdot k_{1} \cdot x_{189} + 1 \cdot k_{1} \cdot x_{190} + 1 \cdot k_{1} \cdot x_{191} + 1 \cdot k_{1} \cdot x_{192} + 1 \cdot k_{1} \cdot x_{193} + 1 \cdot k_{1} \cdot x_{194} = k_{1} \cdot k_{324}\\ 1 \cdot k_{1} \cdot x_{27} + 1 \cdot k_{1} \cdot x_{28} + 1 \cdot k_{1} \cdot x_{29} + 1 \cdot k_{1} \cdot x_{30} + 1 \cdot k_{1} \cdot x_{31} + 1 \cdot k_{1} \cdot x_{33} + 1 \cdot k_{1} \cdot x_{35} + 1 \cdot k_{1} \cdot x_{40} + 1 \cdot k_{1} \cdot x_{41} + 1 \cdot k_{1} \cdot x_{135} + 1 \cdot k_{1} \cdot x_{136} + 1 \cdot k_{1} \cdot x_{137} + 1 \cdot k_{1} \cdot x_{138} + 1 \cdot k_{1} \cdot x_{139} + 1 \cdot k_{1} \cdot x_{140} + 1 \cdot k_{1} \cdot x_{142} + 1 \cdot k_{1} \cdot x_{143} + 1 \cdot k_{1} \cdot x_{144} + 1 \cdot k_{1} \cdot x_{146} + 1 \cdot k_{1} \cdot x_{147} + 1 \cdot k_{1} \cdot x_{148} + 1 \cdot k_{1} \cdot x_{150} + 1 \cdot k_{1} \cdot x_{151} + 1 \cdot k_{1} \cdot x_{152} + 1 \cdot k_{1} \cdot x_{154} + 1 \cdot k_{1} \cdot x_{155} + 1 \cdot k_{1} \cdot x_{156} + 1 \cdot k_{1} \cdot x_{157} + 1 \cdot k_{1} \cdot x_{158} + 1 \cdot k_{1} \cdot x_{159} + 1 \cdot k_{1} \cdot x_{160} + 1 \cdot k_{1} \cdot x_{161} + 1 \cdot k_{1} \cdot x_{162} + 1 \cdot k_{1} \cdot x_{164} + 1 \cdot k_{1} \cdot x_{165} + 1 \cdot k_{1} \cdot x_{166} + 1 \cdot k_{1} \cdot x_{168} + 1 \cdot k_{1} \cdot x_{169} + 1 \cdot k_{1} \cdot x_{170} + 1 \cdot k_{1} \cdot x_{171} + 1 \cdot k_{1} \cdot x_{172} + 1 \cdot k_{1} \cdot x_{173} + 1 \cdot k_{1} \cdot x_{174} + 1 \cdot k_{1} \cdot x_{175} + 1 \cdot k_{1} \cdot x_{177} + 1 \cdot k_{1} \cdot x_{179} + 1 \cdot k_{1} \cdot x_{180} + 1 \cdot k_{1} \cdot x_{181} + 1 \cdot k_{1} \cdot x_{182} + 1 \cdot k_{1} \cdot x_{183} + 1 \cdot k_{1} \cdot x_{184} + 1 \cdot k_{1} \cdot x_{185} + 1 \cdot k_{1} \cdot x_{186} + 1 \cdot k_{1} \cdot x_{187} + 1 \cdot k_{1} \cdot x_{188} + 1 \cdot k_{1} \cdot x_{189} + 1 \cdot k_{1} \cdot x_{190} + 1 \cdot k_{1} \cdot x_{191} + 1 \cdot k_{1} \cdot x_{192} = k_{1} \cdot k_{325}\\ 1 \cdot k_{1} \cdot x_{32} + 1 \cdot k_{1} \cdot x_{33} + 1 \cdot k_{1} \cdot x_{34} + 1 \cdot k_{1} \cdot x_{35} + 1 \cdot k_{1} \cdot x_{36} + 1 \cdot k_{1} \cdot x_{43} + 1 \cdot k_{1} \cdot x_{44} + 1 \cdot k_{1} \cdot x_{47} + 1 \cdot k_{1} \cdot x_{49} + 1 \cdot k_{1} \cdot x_{130} + 1 \cdot k_{1} \cdot x_{157} + 1 \cdot k_{1} \cdot x_{158} + 1 \cdot k_{1} \cdot x_{159} + 1 \cdot k_{1} \cdot x_{160} + 1 \cdot k_{1} \cdot x_{161} + 1 \cdot k_{1} \cdot x_{162} + 1 \cdot k_{1} \cdot x_{179} + 1 \cdot k_{1} \cdot x_{180} + 1 \cdot k_{1} \cdot x_{181} + 1 \cdot k_{1} \cdot x_{182} + 1 \cdot k_{1} \cdot x_{183} + 1 \cdot k_{1} \cdot x_{184} + 1 \cdot k_{1} \cdot x_{185} + 1 \cdot k_{1} \cdot x_{186} + 1 \cdot k_{1} \cdot x_{187} + 1 \cdot k_{1} \cdot x_{188} + 1 \cdot k_{1} \cdot x_{189} + 1 \cdot k_{1} \cdot x_{190} = k_{1} \cdot k_{326}\\ 1 \cdot k_{1} \cdot x_{37} + 1 \cdot k_{1} \cdot x_{38} = k_{1} \cdot k_{327}\\ 1 \cdot k_{1} \cdot x_{39} + 1 \cdot k_{1} \cdot x_{40} + 1 \cdot k_{1} \cdot x_{41} = k_{1} \cdot k_{328}\\ 1 \cdot k_{1} \cdot x_{42} + 1 \cdot k_{1} \cdot x_{43} + 1 \cdot k_{1} \cdot x_{44} = k_{1} \cdot k_{329}\\ 1 \cdot k_{1} \cdot x_{45} + 1 \cdot k_{1} \cdot x_{46} + 1 \cdot k_{1} \cdot x_{88} + 1 \cdot k_{1} \cdot x_{89} + 1 \cdot k_{1} \cdot x_{90} + 1 \cdot k_{1} \cdot x_{101} = k_{1} \cdot k_{330}\\ 1 \cdot k_{1} \cdot x_{50} + 1 \cdot k_{1} \cdot x_{51} + 1 \cdot k_{1} \cdot x_{53} + 1 \cdot k_{1} \cdot x_{55} + 1 \cdot k_{1} \cdot x_{57} = k_{1} \cdot k_{331}\\ 1 \cdot k_{1} \cdot x_{54} + 1 \cdot k_{1} \cdot x_{55} = k_{1} \cdot k_{332}\\ 1 \cdot k_{1} \cdot x_{56} + 1 \cdot k_{1} \cdot x_{57} + 1 \cdot k_{1} \cdot x_{58} + 1 \cdot k_{1} \cdot x_{60} + 1 \cdot k_{1} \cdot x_{62} + 1 \cdot k_{1} \cdot x_{63} + 1 \cdot k_{1} \cdot x_{66} + 1 \cdot k_{1} \cdot x_{67} + 1 \cdot k_{1} \cdot x_{73} + 1 \cdot k_{1} \cdot x_{75} + 1 \cdot k_{1} \cdot x_{77} = k_{1} \cdot k_{333}\\ 1 \cdot k_{1} \cdot x_{59} + 1 \cdot k_{1} \cdot x_{60} + 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_{66} + 1 \cdot k_{1} \cdot x_{67} = k_{1} \cdot k_{334}\\ 1 \cdot k_{1} \cdot x_{61} + 1 \cdot k_{1} \cdot x_{62} = k_{1} \cdot k_{335}\\ 1 \cdot k_{1} \cdot x_{65} + 1 \cdot k_{1} \cdot x_{66} = k_{1} \cdot k_{336}\\ 1 \cdot k_{1} \cdot x_{69} + 1 \cdot k_{1} \cdot x_{71} + 1 \cdot k_{1} \cdot x_{106} + 1 \cdot k_{1} \cdot x_{107} + 1 \cdot k_{1} \cdot x_{124} + 1 \cdot k_{1} \cdot x_{130} = k_{1} \cdot k_{337}\\ 1 \cdot k_{1} \cdot x_{70} + 1 \cdot k_{1} \cdot x_{71} + 1 \cdot k_{1} \cdot x_{72} + 1 \cdot k_{1} \cdot x_{73} = k_{1} \cdot k_{338}\\ 1 \cdot k_{1} \cdot x_{74} + 1 \cdot k_{1} \cdot x_{75} + 1 \cdot k_{1} \cdot x_{77} = k_{1} \cdot k_{339}\\ 1 \cdot k_{1} \cdot x_{76} + 1 \cdot k_{1} \cdot x_{77} + 1 \cdot k_{1} \cdot x_{78} + 1 \cdot k_{1} \cdot x_{80} + 1 \cdot k_{1} \cdot x_{82} = k_{1} \cdot k_{340}\\ 1 \cdot k_{1} \cdot x_{79} + 1 \cdot k_{1} \cdot x_{80} + 1 \cdot k_{1} \cdot x_{84} = k_{1} \cdot k_{341}\\ 1 \cdot k_{1} \cdot x_{81} + 1 \cdot k_{1} \cdot x_{82} = k_{1} \cdot k_{342}\\ 1 \cdot k_{1} \cdot x_{83} + 1 \cdot k_{1} \cdot x_{84} + 1 \cdot k_{1} \cdot x_{86} + 1 \cdot k_{1} \cdot x_{87} + 1 \cdot k_{1} \cdot x_{105} + 1 \cdot k_{1} \cdot x_{107} + 1 \cdot k_{1} \cdot x_{171} + 1 \cdot k_{1} \cdot x_{172} + 1 \cdot k_{1} \cdot x_{173} + 1 \cdot k_{1} \cdot x_{174} + 1 \cdot k_{1} \cdot x_{175} + 1 \cdot k_{1} \cdot x_{176} + 1 \cdot k_{1} \cdot x_{177} + 1 \cdot k_{1} \cdot x_{178} + 1 \cdot k_{1} \cdot x_{191} + 1 \cdot k_{1} \cdot x_{192} + 1 \cdot k_{1} \cdot x_{193} + 1 \cdot k_{1} \cdot x_{194} = k_{1} \cdot k_{343}\\ 1 \cdot k_{1} \cdot x_{85} + 1 \cdot k_{1} \cdot x_{86} + 1 \cdot k_{1} \cdot x_{94} + 1 \cdot k_{1} \cdot x_{95} + 1 \cdot k_{1} \cdot x_{99} + 1 \cdot k_{1} \cdot x_{103} + 1 \cdot k_{1} \cdot x_{129} = k_{1} \cdot k_{344}\\ 1 \cdot k_{1} \cdot x_{91} + 1 \cdot k_{1} \cdot x_{92} + 1 \cdot k_{1} \cdot x_{93} + 1 \cdot k_{1} \cdot x_{94} + 1 \cdot k_{1} \cdot x_{97} + 1 \cdot k_{1} \cdot x_{99} + 1 \cdot k_{1} \cdot x_{100} + 1 \cdot k_{1} \cdot x_{101} = k_{1} \cdot k_{345}\\ 1 \cdot k_{1} \cdot x_{96} + 1 \cdot k_{1} \cdot x_{97} + 1 \cdot k_{1} \cdot x_{98} + 1 \cdot k_{1} \cdot x_{100} + 1 \cdot k_{1} \cdot x_{104} + 1 \cdot k_{1} \cdot x_{105} + 1 \cdot k_{1} \cdot x_{191} + 1 \cdot k_{1} \cdot x_{192} + 1 \cdot k_{1} \cdot x_{193} + 1 \cdot k_{1} \cdot x_{194} = k_{1} \cdot k_{346}\\ 1 \cdot k_{1} \cdot x_{112} + 1 \cdot k_{1} \cdot x_{113} + 1 \cdot k_{1} \cdot x_{114} = k_{1} \cdot k_{347}\\ 1 \cdot k_{1} \cdot x_{115} + 1 \cdot k_{1} \cdot x_{116} + 1 \cdot k_{1} \cdot x_{117} + 1 \cdot k_{1} \cdot x_{119} + 1 \cdot k_{1} \cdot x_{120} = k_{1} \cdot k_{348}\\ 1 \cdot k_{1} \cdot x_{118} + 1 \cdot k_{1} \cdot x_{119} + 1 \cdot k_{1} \cdot x_{120} + 1 \cdot k_{1} \cdot x_{124} + 1 \cdot k_{1} \cdot x_{125} + 1 \cdot k_{1} \cdot x_{127} + 1 \cdot k_{1} \cdot x_{128} = k_{1} \cdot k_{349}\\ 1 \cdot k_{1} \cdot x_{126} + 1 \cdot k_{1} \cdot x_{127} + 1 \cdot k_{1} \cdot x_{128} = k_{1} \cdot k_{350}\\ 1 \cdot k_{1} \cdot x_{131} + 1 \cdot k_{1} \cdot x_{132} + 1 \cdot k_{1} \cdot x_{133} + 1 \cdot k_{1} \cdot x_{134} + 1 \cdot k_{1} \cdot x_{135} + 1 \cdot k_{1} \cdot x_{136} + 1 \cdot k_{1} \cdot x_{137} + 1 \cdot k_{1} \cdot x_{138} + 1 \cdot k_{1} \cdot x_{139} + 1 \cdot k_{1} \cdot x_{140} + 1 \cdot k_{1} \cdot x_{141} + 1 \cdot k_{1} \cdot x_{142} + 1 \cdot k_{1} \cdot x_{143} + 1 \cdot k_{1} \cdot x_{144} + 1 \cdot k_{1} \cdot x_{145} + 1 \cdot k_{1} \cdot x_{146} + 1 \cdot k_{1} \cdot x_{147} + 1 \cdot k_{1} \cdot x_{148} + 1 \cdot k_{1} \cdot x_{149} + 1 \cdot k_{1} \cdot x_{150} + 1 \cdot k_{1} \cdot x_{151} + 1 \cdot k_{1} \cdot x_{152} + 1 \cdot k_{1} \cdot x_{153} + 1 \cdot k_{1} \cdot x_{154} + 1 \cdot k_{1} \cdot x_{155} + 1 \cdot k_{1} \cdot x_{156} + 1 \cdot k_{1} \cdot x_{157} + 1 \cdot k_{1} \cdot x_{158} + 1 \cdot k_{1} \cdot x_{159} + 1 \cdot k_{1} \cdot x_{160} + 1 \cdot k_{1} \cdot x_{161} + 1 \cdot k_{1} \cdot x_{162} + 1 \cdot k_{1} \cdot x_{163} + 1 \cdot k_{1} \cdot x_{164} + 1 \cdot k_{1} \cdot x_{165} + 1 \cdot k_{1} \cdot x_{166} + 1 \cdot k_{1} \cdot x_{167} + 1 \cdot k_{1} \cdot x_{168} + 1 \cdot k_{1} \cdot x_{169} + 1 \cdot k_{1} \cdot x_{170} + 1 \cdot k_{1} \cdot x_{171} + 1 \cdot k_{1} \cdot x_{172} + 1 \cdot k_{1} \cdot x_{173} + 1 \cdot k_{1} \cdot x_{174} + 1 \cdot k_{1} \cdot x_{175} + 1 \cdot k_{1} \cdot x_{176} + 1 \cdot k_{1} \cdot x_{177} + 1 \cdot k_{1} \cdot x_{178} + 1 \cdot k_{1} \cdot x_{179} + 1 \cdot k_{1} \cdot x_{180} + 1 \cdot k_{1} \cdot x_{181} + 1 \cdot k_{1} \cdot x_{182} + 1 \cdot k_{1} \cdot x_{183} + 1 \cdot k_{1} \cdot x_{184} + 1 \cdot k_{1} \cdot x_{185} + 1 \cdot k_{1} \cdot x_{186} + 1 \cdot k_{1} \cdot x_{187} + 1 \cdot k_{1} \cdot x_{188} + 1 \cdot k_{1} \cdot x_{189} + 1 \cdot k_{1} \cdot x_{190} + 1 \cdot k_{1} \cdot x_{191} + 1 \cdot k_{1} \cdot x_{192} + 1 \cdot k_{1} \cdot x_{193} + 1 \cdot k_{1} \cdot x_{194} = k_{1} \cdot k_{351}