Fourier–Motzkin_elimination loading ...