
# Dimension of the matrix:
7 6
#    i  j  k    J    1
1    1  0  0    0    0    # 0 <= i
1   -1  0  1    0    0    #      i <= k
1   -1  1  0    0    0    # i <= j
1    1 -1  0    0   12    #      j <= i+12
1    0  0  1    0    0    # 0 <= k
1    0  0 -1    0   16    #      k <= 16
0    0 -1  0    0    8    # j = 8

# 2 parameters, no constraints.
0 4

