x_{4} = x_{9} + x_{10} + x_{11} + 1 \cdot \left(x_{12} + x_{13} + x_{14}\right) + 2 \cdot \left(x_{15} + x_{16} + x_{17} + x_{18} + x_{19} + x_{20} + x_{21} + x_{22}\right) + 2 \cdot \left(x_{23} + x_{24} + x_{25}\right) + 3 \cdot \left(x_{26} + x_{27} + x_{28} + x_{29} + x_{30} + x_{31} + x_{32} + x_{33}\right)\\ x_{5} = x_{21} + x_{32} + x_{10} + x_{16} + x_{27} + x_{11} + x_{17} + x_{28} + x_{20} + x_{31} + x_{22} + x_{33}\\ x_{6} = x_{4} / k_{28}\\ x_{7} = x_{5} / \left(k_{29} \cdot k_{32}\right)\\ 1 \cdot k_{33} \cdot x_{1} + 1 \cdot k_{33} \cdot x_{3} + 1 \cdot k_{33} \cdot x_{10} + 1 \cdot k_{33} \cdot x_{11} + 1 \cdot k_{33} \cdot x_{14} + 1 \cdot k_{33} \cdot x_{16} + 1 \cdot k_{33} \cdot x_{17} + 1 \cdot k_{33} \cdot x_{19} + 1 \cdot k_{33} \cdot x_{20} + 1 \cdot k_{33} \cdot x_{21} + 1 \cdot k_{33} \cdot x_{22} + 1 \cdot k_{33} \cdot x_{25} + 1 \cdot k_{33} \cdot x_{27} + 1 \cdot k_{33} \cdot x_{28} + 1 \cdot k_{33} \cdot x_{30} + 1 \cdot k_{33} \cdot x_{31} + 1 \cdot k_{33} \cdot x_{32} + 1 \cdot k_{33} \cdot x_{33} = k_{33} \cdot k_{34}\\ 1 \cdot k_{33} \cdot x_{2} + 1 \cdot k_{33} \cdot x_{3} + 1 \cdot k_{33} \cdot x_{11} + 1 \cdot k_{33} \cdot x_{13} + 1 \cdot k_{33} \cdot x_{14} + 1 \cdot k_{33} \cdot x_{17} + 1 \cdot k_{33} \cdot x_{18} + 1 \cdot k_{33} \cdot x_{19} + 1 \cdot k_{33} \cdot x_{20} + 1 \cdot k_{33} \cdot x_{21} + 2 \cdot k_{33} \cdot x_{22} + 1 \cdot k_{33} \cdot x_{24} + 1 \cdot k_{33} \cdot x_{25} + 1 \cdot k_{33} \cdot x_{28} + 1 \cdot k_{33} \cdot x_{29} + 1 \cdot k_{33} \cdot x_{30} + 1 \cdot k_{33} \cdot x_{31} + 1 \cdot k_{33} \cdot x_{32} + 2 \cdot k_{33} \cdot x_{33} = k_{33} \cdot k_{35}\\ 1 \cdot k_{33} \cdot x_{8} + 1 \cdot k_{33} \cdot x_{9} + 1 \cdot k_{33} \cdot x_{10} + 1 \cdot k_{33} \cdot x_{11} + 1 \cdot k_{33} \cdot x_{12} + 1 \cdot k_{33} \cdot x_{13} + 1 \cdot k_{33} \cdot x_{14} + 1 \cdot k_{33} \cdot x_{15} + 1 \cdot k_{33} \cdot x_{16} + 1 \cdot k_{33} \cdot x_{17} + 1 \cdot k_{33} \cdot x_{18} + 1 \cdot k_{33} \cdot x_{19} + 1 \cdot k_{33} \cdot x_{20} + 1 \cdot k_{33} \cdot x_{21} + 1 \cdot k_{33} \cdot x_{22} + 1 \cdot k_{33} \cdot x_{23} + 1 \cdot k_{33} \cdot x_{24} + 1 \cdot k_{33} \cdot x_{25} + 1 \cdot k_{33} \cdot x_{26} + 1 \cdot k_{33} \cdot x_{27} + 1 \cdot k_{33} \cdot x_{28} + 1 \cdot k_{33} \cdot x_{29} + 1 \cdot k_{33} \cdot x_{30} + 1 \cdot k_{33} \cdot x_{31} + 1 \cdot k_{33} \cdot x_{32} + 1 \cdot k_{33} \cdot x_{33} = k_{33} \cdot k_{36}