
# Dimension of the matrix:
8 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
1    0 -1  0    1    0    # j <= J
0    0  0  0   -1    8    # J = 8

# 2 parameters, no constraints.
0 4

