x_{17} = x_{20} - x_{12}\\ x_{18} = x_{21} - x_{13}\\ x_{19} = x_{22} - x_{14}\\ x_{24} = x_{25} - x_{9}