2 # exemple de Francois Irigoin qui fait boucler (?) chernikova
5 # A B C D E F G H I J K L M
6 1 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 # -L+M <= -1
7 1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 # -M <= -1
8 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 5 # M <= 5
9 1 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 # -K+H <= 0
10 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 # -F+G <= 0
11 1 0 0 0 -4 4 -4 4 4 0 -1 -4 1 0 4 # 4D-4E+4F-4G+4K-4H+J-L <= 4
12 1 0 0 0 -4 4 -4 4 4 0 1 -4 -1 0 4 # 4D-4E+4F-4G+4K-4H-J+L <= 4
13 1 0 0 0 0 0 0 0 0 0 0 0 -1 0 5 # L <= 5
14 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 5 # J <= 5
15 1 0 0 1 0 0 0 0 0 0 0 -1 0 0 -1 # -C+K <= -1
16 1 0 1 0 0 0 0 0 0 0 0 0 0 0 -5 # -B <= -5
17 1 0 0 0 0 0 0 0 0 -1 0 0 0 0 5 # I <= 5
18 1 1 0 0 0 0 -1 0 0 0 0 0 0 0 -1 # F-A <= -1
19 1 0 0 0 0 0 0 0 0 -1 1 0 -1 0 5 # I-J+L <= 5
20 1 0 0 1 0 0 0 0 0 0 0 0 0 0 -5 # -C <= -5
21 1 1 0 0 0 0 0 0 0 0 0 0 0 0 -5 # -A <= -5
22 1 0 0 0 1 0 0 0 0 0 0 0 0 0 -2 # -D <= -2
23 1 0 0 0 0 0 1 0 0 0 0 0 0 0 -2 # -F <= -2
24 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 -1 # D-B <= -1
25 1 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 # -L <= -1
26 1 0 0 0 0 0 0 0 0 0 1 0 0 0 -1 # -J <= -1
27 1 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 # -I <= -1
28 1 0 0 0 4 -4 4 -4 -4 1 -1 4 0 0 0 # -4D+4E-4F+4G-4K+4H-I+J <= 0
29 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 # -D+E <= 0
30 1 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 # -I+J-L <= -1
31 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 33 # A <= 33
32 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 33 # B <= 33
33 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 33 # C <= 33
34 1 0 0 0 4 -4 4 -4 -4 -1 1 4 0 0 0 # -4D+4E-4F+4G-4K+4H+I-J <= 0
35 1 0 0 0 0 0 0 0 0 0 0 1 0 0 -2 # -K <= -2
36 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 -1 # G-F <= -1