Integer programming on domains containing inseparable ordered pairs. Issue 4 (December 2018)