# nr_constraints nr_columns
9 11
# first column: 0: equality; 1: inequality
# "variables" first; then the "parameters"; finally the constant
0 1 0 0 1 1 0 -1 0 0 0
0 0 1 0 1 1 1 0 -1 0 0
0 0 0 1 0 1 1 0 0 -1 0
1 1 0 0 0 0 0 0 0 0 0
1 0 1 0 0 0 0 0 0 0 0
1 0 0 1 0 0 0 0 0 0 0
1 0 0 0 1 0 0 0 0 0 0
1 0 0 0 0 1 0 0 0 0 0
1 0 0 0 0 0 1 0 0 0 0

# 5 = 1 + 3 + 1 => 3 parameters
0 5
