
# L
i \ge -N 
j \ge -N 
i +j \le -N -4
union
i \le N 
j \le N 
i +j \ge N +1
union
i \le N 
j \le N 
i +j \ge N -2
i \ge N -2

# DC_1^0
i +j \le N -3
i \le N 
j \ge -N 
i \ge N -2

# DC_1^1
i +j \ge N -2
i \le N -3
i +j \le N 
j \le N 

# C_1^0
i = -3
j = 0

# C_6^0
i \ge -N 
j \ge 0
i +j \le -4

# C_6^1
i +j \ge -N 
i \le -3
j \le -1

# C_6^2
j \ge -N +3
i +j \le -3
i \ge -2

# C_6^3
i \le N -6
j \le 0
i +j \ge -2

# C_6^4
i +j \le N -6
i \ge -3
j \ge 1

# C_6^5
j \le +N -3
i +j \ge -3
i \le -4

# DC_3^0
i +j \ge -N -3
i +j \le -N -1
j \ge -N 
j \le -N +2

# DC_3^1
i \ge N -5
j \ge -N 
i \le N -3
j \le -N +2

# DC_3^2
i +j \ge N -5
i \le N -3
i +j \le N -3
i \ge +N -5

# DC_3^3
j \ge N -2
i +j \le N -3
j \le N 
i +j \ge N -5

# DC_4^0
i \ge -N 
j \ge -N +3
i +j \ge -N -3
i +j \le -N -1

# DC_4^1
i \le N -6
i +j \ge -N 
j \le -N +2
j \ge -N 

# DC_4^2
i +j \le N -6
j \ge -N +3
i \ge N -5
i \le N -3

# DC_4^3
j \le N -3
i \le N -6
i +j \ge N -5
i +j \le N -3

# DC_4^4
i \ge -N 
i +j \le N -6
j \ge N -2
j \le N 


#context
N \ge 5
