$\mathrm{sa5}=1$$\mathrm{csa4}=1$$(\mathrm{sa29}=0)\lor ((\mathrm{sa24}=1)\land (\mathrm{sa50}=1))$ $\mathrm{sa4}=1$$\mathrm{sa43}=1$$(\mathrm{sa10}=1)\land (\mathrm{sa44}=1)\land (\mathrm{csa1}=1)$ $\mathrm{csa2}=1$ $(\mathrm{sa10}=1)\lor (\mathrm{csa6}=1)$ $(\mathrm{sa14}=1)\lor (\mathrm{sa19}=1)$ $(\mathrm{csa5}=1)\land (\mathrm{sa29}=0)$ $\mathrm{sa14}=1$ $\mathrm{sa42}=0$ $(\mathrm{sa23}=1)\lor (\mathrm{csa3}=1)\land (\mathrm{csa4}=0)$ $(\mathrm{sa19}=1)\lor (\mathrm{sa14}=1)$ $(\mathrm{sa40}=1)\lor (\mathrm{csa5}=1)$ $\mathrm{sa48}=1$