D :=
2
4 4
#  i  j  cst
1  1  0   -1  # i >= 1
1  0  1   -1  # j >= 1
1 -1  0    8  # i <= 8
1  0 -1   12  # j <= 12
4 4
#  i  j  cst
1  1  0  -1  # i >= 1
1  0  1  -1  # j >= 1
1 -1  0  10  # i <= 10
1  0 -1  10  # j <= 10
;
assert((card D) == { 116 });
