1 \cdot k_{13} \cdot x_{1} + 1 \cdot k_{13} \cdot x_{3} + 1 \cdot k_{13} \cdot x_{4} + 1 \cdot k_{13} \cdot x_{6} + 1 \cdot k_{13} \cdot x_{10} + 1 \cdot k_{13} \cdot x_{12} + 1 \cdot k_{13} \cdot x_{16} + 1 \cdot k_{13} \cdot x_{28} + 1 \cdot k_{13} \cdot x_{30} + 1 \cdot k_{13} \cdot x_{33} = k_{13} \cdot k_{65}\\ 1 \cdot k_{13} \cdot x_{2} + 1 \cdot k_{13} \cdot x_{3} = k_{13} \cdot k_{66}\\ 1 \cdot k_{13} \cdot x_{7} + 1 \cdot k_{13} \cdot x_{9} + 1 \cdot k_{13} \cdot x_{10} + 1 \cdot k_{13} \cdot x_{12} + 1 \cdot k_{13} \cdot x_{16} + 1 \cdot k_{13} \cdot x_{28} + 1 \cdot k_{13} \cdot x_{30} + 1 \cdot k_{13} \cdot x_{33} = k_{13} \cdot k_{67}\\ 1 \cdot k_{13} \cdot x_{8} + 1 \cdot k_{13} \cdot x_{9} + 1 \cdot k_{13} \cdot x_{10} + 1 \cdot k_{13} \cdot x_{12} + 1 \cdot k_{13} \cdot x_{16} + 1 \cdot k_{13} \cdot x_{28} + 1 \cdot k_{13} \cdot x_{30} + 1 \cdot k_{13} \cdot x_{33} = k_{13} \cdot k_{68}\\ 1 \cdot k_{13} \cdot x_{11} + 1 \cdot k_{13} \cdot x_{12} + 1 \cdot k_{13} \cdot x_{16} + 1 \cdot k_{13} \cdot x_{28} + 1 \cdot k_{13} \cdot x_{30} + 1 \cdot k_{13} \cdot x_{33} = k_{13} \cdot k_{69}\\ 1 \cdot k_{13} \cdot x_{13} + 1 \cdot k_{13} \cdot x_{15} + 1 \cdot k_{13} \cdot x_{16} + 1 \cdot k_{13} \cdot x_{28} + 1 \cdot k_{13} \cdot x_{30} + 1 \cdot k_{13} \cdot x_{33} + 1 \cdot k_{13} \cdot x_{46} + 1 \cdot k_{13} \cdot x_{47} + 1 \cdot k_{13} \cdot x_{48} + 1 \cdot k_{13} \cdot x_{49} + 1 \cdot k_{13} \cdot x_{50} + 1 \cdot k_{13} \cdot x_{51} + 1 \cdot k_{13} \cdot x_{52} + 1 \cdot k_{13} \cdot x_{53} + 1 \cdot k_{13} \cdot x_{54} + 1 \cdot k_{13} \cdot x_{55} + 1 \cdot k_{13} \cdot x_{56} + 1 \cdot k_{13} \cdot x_{57} + 1 \cdot k_{13} \cdot x_{58} + 1 \cdot k_{13} \cdot x_{59} + 1 \cdot k_{13} \cdot x_{60} + 1 \cdot k_{13} \cdot x_{61} + 1 \cdot k_{13} \cdot x_{62} + 1 \cdot k_{13} \cdot x_{63} + 1 \cdot k_{13} \cdot x_{64} + 1 \cdot k_{13} \cdot x_{65} + 1 \cdot k_{13} \cdot x_{66} + 1 \cdot k_{13} \cdot x_{67} + 1 \cdot k_{13} \cdot x_{68} + 1 \cdot k_{13} \cdot x_{69} + 1 \cdot k_{13} \cdot x_{70} + 1 \cdot k_{13} \cdot x_{71} + 1 \cdot k_{13} \cdot x_{72} + 1 \cdot k_{13} \cdot x_{73} + 1 \cdot k_{13} \cdot x_{74} + 1 \cdot k_{13} \cdot x_{75} + 1 \cdot k_{13} \cdot x_{76} + 1 \cdot k_{13} \cdot x_{77} + 1 \cdot k_{13} \cdot x_{78} + 1 \cdot k_{13} \cdot x_{79} + 1 \cdot k_{13} \cdot x_{80} + 1 \cdot k_{13} \cdot x_{81} + 1 \cdot k_{13} \cdot x_{82} + 1 \cdot k_{13} \cdot x_{83} + 1 \cdot k_{13} \cdot x_{84} + 1 \cdot k_{13} \cdot x_{85} + 1 \cdot k_{13} \cdot x_{86} + 1 \cdot k_{13} \cdot x_{87} + 1 \cdot k_{13} \cdot x_{88} + 1 \cdot k_{13} \cdot x_{89} + 1 \cdot k_{13} \cdot x_{90} + 1 \cdot k_{13} \cdot x_{91} + 1 \cdot k_{13} \cdot x_{92} + 1 \cdot k_{13} \cdot x_{93} + 1 \cdot k_{13} \cdot x_{94} + 1 \cdot k_{13} \cdot x_{95} + 1 \cdot k_{13} \cdot x_{96} + 1 \cdot k_{13} \cdot x_{97} + 1 \cdot k_{13} \cdot x_{98} + 1 \cdot k_{13} \cdot x_{99} + 1 \cdot k_{13} \cdot x_{100} + 1 \cdot k_{13} \cdot x_{101} + 1 \cdot k_{13} \cdot x_{102} + 1 \cdot k_{13} \cdot x_{103} + 1 \cdot k_{13} \cdot x_{104} + 1 \cdot k_{13} \cdot x_{105} + 1 \cdot k_{13} \cdot x_{106} + 1 \cdot k_{13} \cdot x_{107} + 1 \cdot k_{13} \cdot x_{108} + 1 \cdot k_{13} \cdot x_{109} + 1 \cdot k_{13} \cdot x_{110} + 1 \cdot k_{13} \cdot x_{111} + 1 \cdot k_{13} \cdot x_{112} + 1 \cdot k_{13} \cdot x_{113} + 1 \cdot k_{13} \cdot x_{114} + 1 \cdot k_{13} \cdot x_{115} + 1 \cdot k_{13} \cdot x_{116} + 1 \cdot k_{13} \cdot x_{117} + 1 \cdot k_{13} \cdot x_{118} + 1 \cdot k_{13} \cdot x_{119} + 1 \cdot k_{13} \cdot x_{120} + 1 \cdot k_{13} \cdot x_{121} + 1 \cdot k_{13} \cdot x_{122} + 1 \cdot k_{13} \cdot x_{123} + 1 \cdot k_{13} \cdot x_{124} + 1 \cdot k_{13} \cdot x_{125} + 1 \cdot k_{13} \cdot x_{126} + 1 \cdot k_{13} \cdot x_{127} + 1 \cdot k_{13} \cdot x_{128} + 1 \cdot k_{13} \cdot x_{129} + 1 \cdot k_{13} \cdot x_{130} + 1 \cdot k_{13} \cdot x_{131} + 1 \cdot k_{13} \cdot x_{132} + 1 \cdot k_{13} \cdot x_{133} + 1 \cdot k_{13} \cdot x_{134} + 1 \cdot k_{13} \cdot x_{135} + 1 \cdot k_{13} \cdot x_{136} + 1 \cdot k_{13} \cdot x_{137} + 1 \cdot k_{13} \cdot x_{138} + 1 \cdot k_{13} \cdot x_{139} + 1 \cdot k_{13} \cdot x_{140} + 1 \cdot k_{13} \cdot x_{141} + 1 \cdot k_{13} \cdot x_{142} + 1 \cdot k_{13} \cdot x_{143} + 1 \cdot k_{13} \cdot x_{144} + 1 \cdot k_{13} \cdot x_{145} + 1 \cdot k_{13} \cdot x_{146} + 1 \cdot k_{13} \cdot x_{147} + 1 \cdot k_{13} \cdot x_{148} + 1 \cdot k_{13} \cdot x_{149} + 1 \cdot k_{13} \cdot x_{150} + 1 \cdot k_{13} \cdot x_{151} + 1 \cdot k_{13} \cdot x_{152} + 1 \cdot k_{13} \cdot x_{153} + 1 \cdot k_{13} \cdot x_{154} + 1 \cdot k_{13} \cdot x_{155} + 1 \cdot k_{13} \cdot x_{156} + 1 \cdot k_{13} \cdot x_{157} + 1 \cdot k_{13} \cdot x_{158} + 1 \cdot k_{13} \cdot x_{159} + 1 \cdot k_{13} \cdot x_{160} + 1 \cdot k_{13} \cdot x_{165} = k_{13} \cdot k_{70}\\ 1 \cdot k_{13} \cdot x_{14} + 1 \cdot k_{13} \cdot x_{15} + 1 \cdot k_{13} \cdot x_{16} + 1 \cdot k_{13} \cdot x_{28} + 1 \cdot k_{13} \cdot x_{30} + 1 \cdot k_{13} \cdot x_{33} = k_{13} \cdot k_{71}\\ 1 \cdot k_{13} \cdot x_{17} + 1 \cdot k_{13} \cdot x_{19} + 1 \cdot k_{13} \cdot x_{23} + 1 \cdot k_{13} \cdot x_{27} + 1 \cdot k_{13} \cdot x_{28} + 1 \cdot k_{13} \cdot x_{30} + 1 \cdot k_{13} \cdot x_{33} + 1 \cdot k_{13} \cdot x_{166} = k_{13} \cdot k_{72}\\ 1 \cdot k_{13} \cdot x_{18} + 1 \cdot k_{13} \cdot x_{19} + 1 \cdot k_{13} \cdot x_{23} + 1 \cdot k_{13} \cdot x_{27} + 1 \cdot k_{13} \cdot x_{28} + 1 \cdot k_{13} \cdot x_{30} + 1 \cdot k_{13} \cdot x_{33} + 1 \cdot k_{13} \cdot x_{166} = k_{13} \cdot k_{73}\\ 1 \cdot k_{13} \cdot x_{20} + 1 \cdot k_{13} \cdot x_{22} + 1 \cdot k_{13} \cdot x_{23} + 1 \cdot k_{13} \cdot x_{27} + 1 \cdot k_{13} \cdot x_{28} + 1 \cdot k_{13} \cdot x_{30} + 1 \cdot k_{13} \cdot x_{33} + 1 \cdot k_{13} \cdot x_{166} = k_{13} \cdot k_{74}\\ 1 \cdot k_{13} \cdot x_{21} + 1 \cdot k_{13} \cdot x_{22} + 1 \cdot k_{13} \cdot x_{23} + 1 \cdot k_{13} \cdot x_{27} + 1 \cdot k_{13} \cdot x_{28} + 1 \cdot k_{13} \cdot x_{30} + 1 \cdot k_{13} \cdot x_{33} + 1 \cdot k_{13} \cdot x_{166} = k_{13} \cdot k_{75}\\ 1 \cdot k_{13} \cdot x_{24} + 1 \cdot k_{13} \cdot x_{27} + 1 \cdot k_{13} \cdot x_{28} + 1 \cdot k_{13} \cdot x_{30} + 1 \cdot k_{13} \cdot x_{33} + 1 \cdot k_{13} \cdot x_{166} = k_{13} \cdot k_{76}\\ 1 \cdot k_{13} \cdot x_{25} + 1 \cdot k_{13} \cdot x_{27} + 1 \cdot k_{13} \cdot x_{28} + 1 \cdot k_{13} \cdot x_{30} + 1 \cdot k_{13} \cdot x_{33} = k_{13} \cdot k_{77}\\ 1 \cdot k_{13} \cdot x_{29} + 1 \cdot k_{13} \cdot x_{30} + 1 \cdot k_{13} \cdot x_{33} = k_{13} \cdot k_{78}\\ 1 \cdot k_{13} \cdot x_{31} + 1 \cdot k_{13} \cdot x_{32} + 1 \cdot k_{13} \cdot x_{33} = k_{13} \cdot k_{79}\\ 1 \cdot k_{13} \cdot x_{34} + 1 \cdot k_{13} \cdot x_{46} + 1 \cdot k_{13} \cdot x_{47} + 1 \cdot k_{13} \cdot x_{48} + 1 \cdot k_{13} \cdot x_{49} + 1 \cdot k_{13} \cdot x_{50} + 1 \cdot k_{13} \cdot x_{51} + 1 \cdot k_{13} \cdot x_{52} + 1 \cdot k_{13} \cdot x_{53} + 1 \cdot k_{13} \cdot x_{54} + 1 \cdot k_{13} \cdot x_{55} + 1 \cdot k_{13} \cdot x_{56} + 1 \cdot k_{13} \cdot x_{57} + 1 \cdot k_{13} \cdot x_{58} + 1 \cdot k_{13} \cdot x_{59} + 1 \cdot k_{13} \cdot x_{60} + 1 \cdot k_{13} \cdot x_{61} + 1 \cdot k_{13} \cdot x_{62} + 1 \cdot k_{13} \cdot x_{63} + 1 \cdot k_{13} \cdot x_{64} + 1 \cdot k_{13} \cdot x_{65} + 1 \cdot k_{13} \cdot x_{66} + 1 \cdot k_{13} \cdot x_{67} + 1 \cdot k_{13} \cdot x_{68} + 1 \cdot k_{13} \cdot x_{69} + 1 \cdot k_{13} \cdot x_{70} + 1 \cdot k_{13} \cdot x_{71} + 1 \cdot k_{13} \cdot x_{72} + 1 \cdot k_{13} \cdot x_{73} + 1 \cdot k_{13} \cdot x_{74} + 1 \cdot k_{13} \cdot x_{75} + 1 \cdot k_{13} \cdot x_{76} + 1 \cdot k_{13} \cdot x_{77} + 1 \cdot k_{13} \cdot x_{78} + 1 \cdot k_{13} \cdot x_{79} + 1 \cdot k_{13} \cdot x_{80} + 1 \cdot k_{13} \cdot x_{81} + 1 \cdot k_{13} \cdot x_{82} + 1 \cdot k_{13} \cdot x_{83} + 1 \cdot k_{13} \cdot x_{84} + 1 \cdot k_{13} \cdot x_{85} + 1 \cdot k_{13} \cdot x_{86} + 1 \cdot k_{13} \cdot x_{87} + 1 \cdot k_{13} \cdot x_{88} + 1 \cdot k_{13} \cdot x_{89} + 1 \cdot k_{13} \cdot x_{90} + 1 \cdot k_{13} \cdot x_{91} + 1 \cdot k_{13} \cdot x_{92} + 1 \cdot k_{13} \cdot x_{93} + 1 \cdot k_{13} \cdot x_{94} + 1 \cdot k_{13} \cdot x_{95} + 1 \cdot k_{13} \cdot x_{96} + 1 \cdot k_{13} \cdot x_{97} + 1 \cdot k_{13} \cdot x_{98} + 1 \cdot k_{13} \cdot x_{99} + 1 \cdot k_{13} \cdot x_{100} + 1 \cdot k_{13} \cdot x_{101} + 1 \cdot k_{13} \cdot x_{102} + 1 \cdot k_{13} \cdot x_{103} + 1 \cdot k_{13} \cdot x_{104} + 1 \cdot k_{13} \cdot x_{105} + 1 \cdot k_{13} \cdot x_{106} + 1 \cdot k_{13} \cdot x_{107} + 1 \cdot k_{13} \cdot x_{108} + 1 \cdot k_{13} \cdot x_{109} + 1 \cdot k_{13} \cdot x_{110} + 1 \cdot k_{13} \cdot x_{111} + 1 \cdot k_{13} \cdot x_{112} + 1 \cdot k_{13} \cdot x_{113} + 1 \cdot k_{13} \cdot x_{114} + 1 \cdot k_{13} \cdot x_{115} + 1 \cdot k_{13} \cdot x_{116} + 1 \cdot k_{13} \cdot x_{117} + 1 \cdot k_{13} \cdot x_{118} + 1 \cdot k_{13} \cdot x_{119} + 1 \cdot k_{13} \cdot x_{120} + 1 \cdot k_{13} \cdot x_{121} + 1 \cdot k_{13} \cdot x_{122} + 1 \cdot k_{13} \cdot x_{123} + 1 \cdot k_{13} \cdot x_{124} + 1 \cdot k_{13} \cdot x_{125} + 1 \cdot k_{13} \cdot x_{126} + 1 \cdot k_{13} \cdot x_{127} + 1 \cdot k_{13} \cdot x_{128} + 1 \cdot k_{13} \cdot x_{129} + 1 \cdot k_{13} \cdot x_{130} + 1 \cdot k_{13} \cdot x_{131} + 1 \cdot k_{13} \cdot x_{132} + 1 \cdot k_{13} \cdot x_{133} + 1 \cdot k_{13} \cdot x_{134} + 1 \cdot k_{13} \cdot x_{135} + 1 \cdot k_{13} \cdot x_{136} + 1 \cdot k_{13} \cdot x_{137} + 1 \cdot k_{13} \cdot x_{138} + 1 \cdot k_{13} \cdot x_{139} + 1 \cdot k_{13} \cdot x_{140} + 1 \cdot k_{13} \cdot x_{141} + 1 \cdot k_{13} \cdot x_{142} + 1 \cdot k_{13} \cdot x_{143} + 1 \cdot k_{13} \cdot x_{144} + 1 \cdot k_{13} \cdot x_{145} + 1 \cdot k_{13} \cdot x_{146} + 1 \cdot k_{13} \cdot x_{147} + 1 \cdot k_{13} \cdot x_{148} + 1 \cdot k_{13} \cdot x_{149} + 1 \cdot k_{13} \cdot x_{150} + 1 \cdot k_{13} \cdot x_{151} + 1 \cdot k_{13} \cdot x_{152} + 1 \cdot k_{13} \cdot x_{153} + 1 \cdot k_{13} \cdot x_{154} + 1 \cdot k_{13} \cdot x_{155} + 1 \cdot k_{13} \cdot x_{156} + 1 \cdot k_{13} \cdot x_{157} + 1 \cdot k_{13} \cdot x_{158} + 1 \cdot k_{13} \cdot x_{159} + 1 \cdot k_{13} \cdot x_{160} + 1 \cdot k_{13} \cdot x_{165} = k_{13} \cdot k_{80}\\ 1 \cdot k_{13} \cdot x_{35} + 1 \cdot k_{13} \cdot x_{37} + 1 \cdot k_{13} \cdot x_{38} + 1 \cdot k_{13} \cdot x_{40} + 1 \cdot k_{13} \cdot x_{47} + 1 \cdot k_{13} \cdot x_{51} + 1 \cdot k_{13} \cdot x_{57} + 1 \cdot k_{13} \cdot x_{63} + 1 \cdot k_{13} \cdot x_{69} + 1 \cdot k_{13} \cdot x_{75} + 1 \cdot k_{13} \cdot x_{81} + 1 \cdot k_{13} \cdot x_{87} + 1 \cdot k_{13} \cdot x_{93} + 1 \cdot k_{13} \cdot x_{99} + 1 \cdot k_{13} \cdot x_{105} + 1 \cdot k_{13} \cdot x_{111} + 1 \cdot k_{13} \cdot x_{117} + 1 \cdot k_{13} \cdot x_{123} + 1 \cdot k_{13} \cdot x_{129} + 1 \cdot k_{13} \cdot x_{135} + 1 \cdot k_{13} \cdot x_{141} + 1 \cdot k_{13} \cdot x_{147} + 1 \cdot k_{13} \cdot x_{153} = k_{13} \cdot k_{81}\\ 1 \cdot k_{13} \cdot x_{36} + 1 \cdot k_{13} \cdot x_{37} = k_{13} \cdot k_{82}\\ 1 \cdot k_{13} \cdot x_{41} + 1 \cdot k_{13} \cdot x_{42} + 1 \cdot k_{13} \cdot x_{49} + 1 \cdot k_{13} \cdot x_{53} + 1 \cdot k_{13} \cdot x_{59} + 1 \cdot k_{13} \cdot x_{65} + 1 \cdot k_{13} \cdot x_{71} + 1 \cdot k_{13} \cdot x_{77} + 1 \cdot k_{13} \cdot x_{83} + 1 \cdot k_{13} \cdot x_{89} + 1 \cdot k_{13} \cdot x_{95} + 1 \cdot k_{13} \cdot x_{101} + 1 \cdot k_{13} \cdot x_{107} + 1 \cdot k_{13} \cdot x_{113} + 1 \cdot k_{13} \cdot x_{119} + 1 \cdot k_{13} \cdot x_{125} + 1 \cdot k_{13} \cdot x_{131} + 1 \cdot k_{13} \cdot x_{137} + 1 \cdot k_{13} \cdot x_{143} + 1 \cdot k_{13} \cdot x_{149} + 1 \cdot k_{13} \cdot x_{155} = k_{13} \cdot k_{83}\\ 1 \cdot k_{13} \cdot x_{43} + 1 \cdot k_{13} \cdot x_{44} + 1 \cdot k_{13} \cdot x_{55} + 1 \cdot k_{13} \cdot x_{61} + 1 \cdot k_{13} \cdot x_{67} + 1 \cdot k_{13} \cdot x_{73} + 1 \cdot k_{13} \cdot x_{79} + 1 \cdot k_{13} \cdot x_{85} + 1 \cdot k_{13} \cdot x_{91} + 1 \cdot k_{13} \cdot x_{97} + 1 \cdot k_{13} \cdot x_{103} + 1 \cdot k_{13} \cdot x_{109} + 1 \cdot k_{13} \cdot x_{115} + 1 \cdot k_{13} \cdot x_{121} + 1 \cdot k_{13} \cdot x_{127} + 1 \cdot k_{13} \cdot x_{133} + 1 \cdot k_{13} \cdot x_{139} + 1 \cdot k_{13} \cdot x_{145} + 1 \cdot k_{13} \cdot x_{151} + 1 \cdot k_{13} \cdot x_{157} + 1 \cdot k_{13} \cdot x_{160} = k_{13} \cdot k_{84}\\ 1 \cdot k_{13} \cdot x_{161} + 1 \cdot k_{13} \cdot x_{162} + 1 \cdot k_{13} \cdot x_{164} + 1 \cdot k_{13} \cdot x_{165} = k_{13} \cdot k_{85}\\ 1 \cdot k_{13} \cdot x_{163} + 1 \cdot k_{13} \cdot x_{164} + 1 \cdot k_{13} \cdot x_{165} = k_{13} \cdot k_{86}