test-062/porta/cp6.ine.ieq

DIM = 15
INEQUALITIES_SECTION
-1x2-1x3-1x4-1x5+1x10+1x11+1x12+1x13+1x14+1x15<=2
-1x1-1x3-1x4-1x5+1x7+1x8+1x9+1x13+1x14+1x15<=2
-1x1-1x2-1x4-1x5+1x6+1x8+1x9+1x11+1x12+1x15<=2
-1x1-1x4+1x8<=0
-1x1-1x5+1x9<=0
-1x2-1x4+1x11<=0
-1x2-1x5+1x12<=0
-1x3-1x4+1x13<=0
-1x3-1x5+1x14<=0
-1x4-1x5+1x15<=0
-2x1-2x2-2x3-2x4-2x5+1x6+1x7+1x8+1x9+1x10+1x11+1x12+1x13+1x14+1x15<=2
-1x2-1x3+1x10<=0
+1x1-1x2-1x6<=0
+2x1-2x2-2x3-2x4-2x5-1x6-1x7-1x8-1x9+1x10+1x11+1x12+1x13+1x14+1x15<=0
+2x1-1x2-1x3-1x4-1x5-2x6-2x7-2x8-2x9+1x10+1x11+1x12+1x13+1x14+1x15<=0
-1x1+1x2-2x3+1x4+1x5-1x6+2x7-1x8-1x9-2x10+1x11+1x12-2x13-2x14+1x15<=0
-1x1+1x2+1x3-2x4+1x5-1x6-1x7+2x8-1x9+1x10-2x11+1x12-2x13+1x14-2x15<=0
+2x1-1x2-1x3+1x4+1x5-2x6-2x7+2x8+2x9+1x10-1x11-1x12-1x13-1x14+1x15<=2
+1x1-2x2-1x3+1x4+1x5-2x6-1x7+1x8+1x9+2x10-2x11-2x12-1x13-1x14+1x15<=0
+2x1-1x2+1x3+1x4-1x5-2x6+2x7+2x8-2x9-1x10-1x11+1x12+1x13-1x14-1x15<=2
+1x1-2x2+1x3+1x4-1x5-2x6+1x7+1x8-1x9-2x10-2x11+2x12+1x13-1x14-1x15<=0
+1x1-2x2-1x3-1x4-1x5-2x6-1x7-1x8-1x9+2x10+2x11+2x12+1x13+1x14+1x15<=2
+2x1-1x2+1x3-1x4+1x5-2x6+2x7-2x8+2x9-1x10+1x11-1x12-1x13+1x14-1x15<=2
+1x1-2x2+1x3-1x4+1x5-2x6+1x7-1x8+1x9-2x10+2x11-2x12-1x13+1x14-1x15<=0
-1x1+1x2+1x3+1x4-2x5-1x6-1x7-1x8+2x9+1x10+1x11-2x12+1x13-2x14-2x15<=0
-1x6+1x9-1x12<=0
+1x1-1x2-1x3-1x4-1x6-1x7-1x8+1x10+1x11+1x13<=0
-1x1+2x2+1x3+1x4-1x5-2x6-1x7-1x8+1x9+2x10+2x11-2x12+1x13-1x14-1x15<=2
-2x1+1x2+1x3+1x4-1x5-2x6-2x7-2x8+2x9+1x10+1x11-1x12+1x13-1x14-1x15<=0
-1x2-1x3-1x4+1x5+1x10+1x11-1x12+1x13-1x14-1x15<=0
+1x1-2x2-1x3-1x4+1x5-2x6-1x7-1x8+1x9+2x10+2x11-2x12+1x13-1x14-1x15<=0
-1x6-1x7-1x8+1x9+1x10+1x11-1x12+1x13-1x14-1x15<=0
-1x1-2x2+1x3+1x4+1x5+2x6-1x7-1x8-1x9-2x10-2x11-2x12+1x13+1x14+1x15<=0
+2x1-2x2+2x3-2x4+2x5-1x6+1x7-1x8+1x9-1x10+1x11-1x12-1x13+1x14-1x15<=2
+1x1-1x2+1x3-1x4+2x5-1x6+1x7-1x8+2x9-1x10+1x11-2x12-1x13+2x14-2x15<=2
-1x2+1x5-1x12<=0
+1x1-2x2+1x3+1x4+1x5-2x6+1x7+1x8+1x9-2x10-2x11-2x12+1x13+1x14+1x15<=2
+1x1-1x2+1x3+1x4+2x5-1x6+1x7+1x8+2x9-1x10-1x11-2x12+1x13+2x14+2x15<=6
-1x2+1x3+1x4+1x5-1x10-1x11-1x12+1x13+1x14+1x15<=2
+1x1-1x2+1x3+1x5-1x6+1x7+1x9-1x10-1x12+1x14<=2
+1x1-1x2+1x4+1x5-1x6+1x8+1x9-1x11-1x12+1x15<=2
-1x6+1x7+1x8+1x9-1x10-1x11-1x12+1x13+1x14+1x15<=2
-1x1+1x2-1x3-1x4-2x5-1x6+1x7+1x8+2x9-1x10-1x11-2x12+1x13+2x14+2x15<=2
+2x1-1x2-1x3-1x4+1x5-2x6-2x7-2x8+2x9+1x10+1x11-1x12+1x13-1x14-1x15<=0
+1x1-1x2-1x4+1x5-1x6-1x8+1x9+1x11-1x12-1x15<=0
+1x1-1x2-1x3+1x5-1x6-1x7+1x9+1x10-1x12-1x14<=0
+1x1+1x5+1x9<=2
+1x1-1x3-1x4+1x5-1x7-1x8+1x9+1x13-1x14-1x15<=0
+2x1-2x2-2x3-2x4+2x5-1x6-1x7-1x8+1x9+1x10+1x11-1x12+1x13-1x14-1x15<=0
+2x1+2x2-2x3-2x4+2x5+1x6-1x7-1x8+1x9-1x10-1x11+1x12+1x13-1x14-1x15<=2
+1x1+1x2-1x3-1x4+2x5+1x6-1x7-1x8+2x9-1x10-1x11+2x12+1x13-2x14-2x15<=2
+1x1+1x2+1x3+1x4+2x5+1x6+1x7+1x8+2x9+1x10+1x11+2x12+1x13+2x14+2x15<=12
-1x6+1x8-1x11<=0
+1x1-1x2-1x3-1x5-1x6-1x7-1x9+1x10+1x12+1x14<=0
-1x1+2x2+1x3-1x4+1x5-2x6-1x7+1x8-1x9+2x10-2x11+2x12-1x13+1x14-1x15<=2
-2x1+1x2+1x3-1x4+1x5-2x6-2x7+2x8-2x9+1x10-1x11+1x12-1x13+1x14-1x15<=0
-1x2-1x3+1x4-1x5+1x10-1x11+1x12-1x13+1x14-1x15<=0
+1x1-2x2-1x3+1x4-1x5-2x6-1x7+1x8-1x9+2x10-2x11+2x12-1x13+1x14-1x15<=0
-1x6-1x7+1x8-1x9+1x10-1x11+1x12-1x13+1x14-1x15<=0
-1x6-1x7+1x10<=0
-1x1+1x2-1x4-1x5-1x6+1x8+1x9-1x11-1x12+1x15<=0
-1x1+1x2+2x3-1x4+1x5-1x6-2x7+1x8-1x9+2x10-1x11+1x12-2x13+2x14-1x15<=2
+2x1+1x2-1x3+1x4-1x5+2x6-2x7+2x8-2x9-1x10+1x11-1x12-1x13+1x14-1x15<=2
+1x1+1x2-2x3+1x4-1x5+1x6-2x7+1x8-1x9-2x10+1x11-1x12-2x13+2x14-1x15<=0
+1x1-1x2-2x3-1x4-1x5-1x6-2x7-1x8-1x9+2x10+1x11+1x12+2x13+2x14+1x15<=2
-1x1+1x2-1x3-2x4-1x5-1x6+1x7+2x8+1x9-1x10-2x11-1x12+2x13+1x14+2x15<=2
+1x10-1x11-1x13<=0
-1x1+1x2+1x3-1x4-1x6-1x7+1x8+1x10-1x11-1x13<=0
-1x7+1x8-1x13<=0
-1x1+1x3-1x4-1x5-1x7+1x8+1x9-1x13-1x14+1x15<=0
-2x1+1x2+1x3-1x4-1x5-2x6-2x7+2x8+2x9+1x10-1x11-1x12-1x13-1x14+1x15<=0
-1x1-1x2+1x3-2x4-1x5+1x6-1x7+2x8+1x9-1x10+2x11+1x12-2x13-1x14+2x15<=2
-1x1+1x2+1x3-2x4-1x5-1x6-1x7+2x8+1x9+1x10-2x11-1x12-2x13-1x14+2x15<=0
+1x1-1x2-2x3+1x4+1x5-1x6-2x7+1x8+1x9+2x10-1x11-1x12-2x13-2x14+1x15<=0
+1x1-1x2-1x3+1x4-1x6-1x7+1x8+1x10-1x11-1x13<=0
+1x1-1x2-2x3+1x4-1x5-1x6-2x7+1x8-1x9+2x10-1x11+1x12-2x13+2x14-1x15<=0
-1x6-1x7+1x8+1x9+1x10-1x11-1x12-1x13-1x14+1x15<=0
+2x1+1x2-1x3-1x4+1x5+2x6-2x7-2x8+2x9-1x10-1x11+1x12+1x13-1x14-1x15<=2
+1x1+1x2-2x3-1x4+1x5+1x6-2x7-1x8+1x9-2x10-1x11+1x12+2x13-2x14-1x15<=0
-1x2+1x4-1x11<=0
-1x11-1x12+1x15<=0
+2x1-1x2-1x3+1x4-1x5-2x6-2x7+2x8-2x9+1x10-1x11+1x12-1x13+1x14-1x15<=0
+1x1-1x2+1x4-1x5-1x6+1x8-1x9-1x11+1x12-1x15<=0
+1x10-1x12-1x14<=0
-1x1+2x2+1x3-1x4-1x5-2x6-1x7+1x8+1x9+2x10-2x11-2x12-1x13-1x14+1x15<=0
-1x1+1x2+1x3-1x5-1x6-1x7+1x9+1x10-1x12-1x14<=0
+2x1-2x2+2x3+2x4-2x5-1x6+1x7+1x8-1x9-1x10-1x11+1x12+1x13-1x14-1x15<=2
+1x1-1x2+1x3+2x4-1x5-1x6+1x7+2x8-1x9-1x10-2x11+1x12+2x13-1x14-2x15<=2
-1x1+1x2+2x3+1x4-1x5-1x6-2x7-1x8+1x9+2x10+1x11-1x12+2x13-2x14-1x15<=2
+1x1-1x2+1x3+2x4+1x5-1x6+1x7+2x8+1x9-1x10-2x11-1x12+2x13+1x14+2x15<=6
+1x1-1x2+1x3+1x4-1x6+1x7+1x8-1x10-1x11+1x13<=2
-1x1+1x2+2x3-1x4-1x5-1x6-2x7+1x8+1x9+2x10-1x11-1x12-2x13-2x14+1x15<=0
+1x1-1x2-2x3-1x4+1x5-1x6-2x7-1x8+1x9+2x10+1x11-1x12+2x13-2x14-1x15<=0
+1x1+1x2-1x3+2x4+1x5+1x6-1x7+2x8+1x9-1x10+2x11+1x12-2x13-1x14+2x15<=6
+1x1+1x2-1x3+1x4+1x6-1x7+1x8-1x10+1x11-1x13<=2
+1x1+1x4+1x8<=2
+1x1-1x3+1x4-1x5-1x7+1x8-1x9-1x13+1x14-1x15<=0
+2x1-2x2-2x3+2x4-2x5-1x6-1x7+1x8-1x9+1x10-1x11+1x12-1x13+1x14-1x15<=0
+2x1+2x2-2x3+2x4-2x5+1x6-1x7+1x8-1x9-1x10+1x11-1x12-1x13+1x14-1x15<=2
+1x1+1x2-1x3+2x4-1x5+1x6-1x7+2x8-1x9-1x10+2x11-1x12-2x13+1x14-2x15<=2
+1x1+1x2+1x3+2x4+1x5+1x6+1x7+2x8+1x9+1x10+2x11+1x12+2x13+1x14+2x15<=12
-1x1+1x2+1x3-1x4-2x5-1x6-1x7+1x8+2x9+1x10-1x11-2x12-1x13-2x14+2x15<=0
+1x8+1x9+1x15<=2
-1x7+1x9-1x14<=0
+1x1-1x3-1x7<=0
-1x3+1x5-1x14<=0
+1x1+1x2-2x3+1x4+1x5+1x6-2x7+1x8+1x9-2x10+1x11+1x12-2x13-2x14+1x15<=2
+1x1+1x2-1x3+1x4+2x5+1x6-1x7+1x8+2x9-1x10+1x11+2x12-1x13-2x14+2x15<=6
+1x2-1x3+1x4+1x5-1x10+1x11+1x12-1x13-1x14+1x15<=2
+1x1+1x2-1x3+1x5+1x6-1x7+1x9-1x10+1x12-1x14<=2
+1x1-1x3+1x4+1x5-1x7+1x8+1x9-1x13-1x14+1x15<=2
+1x6-1x7+1x8+1x9-1x10+1x11+1x12-1x13-1x14+1x15<=2
-1x1-1x2+1x3-1x4-2x5+1x6-1x7+1x8+2x9-1x10+1x11+2x12-1x13-2x14+2x15<=2
-1x3+1x4-1x13<=0
-1x13-1x14+1x15<=0
-1x1-1x3+1x7<=0
-1x6+1x7-1x10<=0
+1x1-1x2-1x4-1x5-1x6-1x8-1x9+1x11+1x12+1x15<=0
-1x1+2x2-1x3+1x4+1x5-2x6+1x7-1x8-1x9-2x10+2x11+2x12-1x13-1x14+1x15<=2
-2x1+1x2-1x3+1x4+1x5-2x6+2x7-2x8-2x9-1x10+1x11+1x12-1x13-1x14+1x15<=0
-1x2+1x3-1x4-1x5-1x10+1x11+1x12-1x13-1x14+1x15<=0
+1x1-2x2+1x3-1x4-1x5-2x6+1x7-1x8-1x9-2x10+2x11+2x12-1x13-1x14+1x15<=0
-1x6+1x7-1x8-1x9-1x10+1x11+1x12-1x13-1x14+1x15<=0
-1x6-1x8+1x11<=0
-1x1+1x2-1x3-1x5-1x6+1x7+1x9-1x10-1x12+1x14<=0
-1x1+1x2-1x3+2x4+1x5-1x6+1x7-2x8-1x9-1x10+2x11+1x12-2x13-1x14+2x15<=2
+2x1+1x2+1x3-1x4-1x5+2x6+2x7-2x8-2x9+1x10-1x11-1x12-1x13-1x14+1x15<=2
+1x1+1x2+1x3-2x4-1x5+1x6+1x7-2x8-1x9+1x10-2x11-1x12-2x13-1x14+2x15<=0
+2x1-2x2-2x3+2x4+2x5-1x6-1x7+1x8+1x9+1x10-1x11-1x12-1x13-1x14+1x15<=2
-1x1+1x2-2x3-1x4-1x5-1x6+2x7+1x8+1x9-2x10-1x11-1x12+2x13+2x14+1x15<=2
-1x1-2x2+1x3-1x4-1x5+2x6-1x7+1x8+1x9-2x10+2x11+2x12-1x13-1x14+1x15<=2
+1x1-1x2-1x3-2x4-1x5-1x6-1x7-2x8-1x9+1x10+2x11+1x12+2x13+1x14+2x15<=2
-2x1+2x2+2x3-2x4+2x5-1x6-1x7+1x8-1x9+1x10-1x11+1x12-1x13+1x14-1x15<=2
+1x1-1x2-1x3+1x4+2x5-1x6-1x7+1x8+2x9+1x10-1x11-2x12-1x13-2x14+2x15<=2
-1x1+1x2+1x3-1x4+2x5-1x6-1x7+1x8-2x9+1x10-1x11+2x12-1x13+2x14-2x15<=2
+1x7-1x8-1x13<=0
-1x1-1x3+1x4-1x5+1x7-1x8+1x9-1x13+1x14-1x15<=0
-2x1+1x2-1x3+1x4-1x5-2x6+2x7-2x8+2x9-1x10+1x11-1x12-1x13+1x14-1x15<=0
-1x1-1x2-2x3+1x4-1x5+1x6+2x7-1x8+1x9+2x10-1x11+1x12-2x13+2x14-1x15<=2
-1x1+1x2-2x3+1x4-1x5-1x6+2x7-1x8+1x9-2x10+1x11-1x12-2x13+2x14-1x15<=0
+1x1-1x2+1x3-2x4+1x5-1x6+1x7-2x8+1x9-1x10+2x11-1x12-2x13+1x14-2x15<=0
+1x1-1x2+1x3-1x4-1x6+1x7-1x8-1x10+1x11-1x13<=0
+1x1-1x2+1x3-2x4-1x5-1x6+1x7-2x8-1x9-1x10+2x11+1x12-2x13-1x14+2x15<=0
-1x6+1x7-1x8+1x9-1x10+1x11-1x12-1x13+1x14-1x15<=0
-1x10+1x11-1x13<=0
-1x1+1x2-1x3+1x4-1x6+1x7-1x8-1x10+1x11-1x13<=0
-1x6-1x9+1x12<=0
-1x1+1x2-1x3-1x4-1x6+1x7+1x8-1x10-1x11+1x13<=0
-1x1+1x2-1x6<=0
-2x1+2x2-2x3-2x4-2x5-1x6+1x7+1x8+1x9-1x10-1x11-1x12+1x13+1x14+1x15<=0
-1x1+2x2-1x3-1x4-1x5-2x6+1x7+1x8+1x9-2x10-2x11-2x12+1x13+1x14+1x15<=0
-2x1+1x2-1x3-1x4-1x5-2x6+2x7+2x8+2x9-1x10-1x11-1x12+1x13+1x14+1x15<=2
-1x1+1x5-1x9<=0
-1x1-1x2-1x3-1x4+2x5+1x6+1x7+1x8-2x9+1x10+1x11-2x12+1x13-2x14-2x15<=0
-2x1-2x2-2x3-2x4+2x5+1x6+1x7+1x8-1x9+1x10+1x11-1x12+1x13-1x14-1x15<=0
-2x1-1x2-1x3-1x4+1x5+2x6+2x7+2x8-2x9+1x10+1x11-1x12+1x13-1x14-1x15<=2
-2x1-2x2+2x3+2x4+2x5+1x6-1x7-1x8-1x9-1x10-1x11-1x12+1x13+1x14+1x15<=2
-2x1+1x2+1x3+1x4+1x5-2x6-2x7-2x8-2x9+1x10+1x11+1x12+1x13+1x14+1x15<=2
-1x1+1x2+1x3+1x4+2x5-1x6-1x7-1x8-2x9+1x10+1x11+2x12+1x13+2x14+2x15<=6
-1x1+1x3+1x4+1x5-1x7-1x8-1x9+1x13+1x14+1x15<=2
-1x1-1x2+1x3+1x4+2x5+1x6-1x7-1x8-2x9-1x10-1x11-2x12+1x13+2x14+2x15<=2
-1x1+1x2+1x3+1x5-1x6-1x7-1x9+1x10+1x12+1x14<=2
-1x1+1x2+1x3+2x4+1x5-1x6-1x7-2x8-1x9+1x10+2x11+1x12+2x13+1x14+2x15<=6
-1x1+1x2+1x4+1x5-1x6-1x8-1x9+1x11+1x12+1x15<=2
-2x1+2x2-2x3+2x4+2x5-1x6+1x7-1x8-1x9-1x10+1x11+1x12-1x13-1x14+1x15<=2
-1x1+1x2-1x3+1x4+2x5-1x6+1x7-1x8-2x9-1x10+1x11+2x12-1x13-2x14+2x15<=2
+1x1+2x2-1x3-1x4+1x5+2x6-1x7-1x8+1x9-2x10-2x11+2x12+1x13-1x14-1x15<=2
+1x1-1x2-1x3+2x4+1x5-1x6-1x7+2x8+1x9+1x10-2x11-1x12-2x13-1x14+2x15<=2
+1x1-1x2-1x3-1x4-2x5-1x6-1x7-1x8-2x9+1x10+1x11+2x12+1x13+2x14+2x15<=2
-2x1+2x2+2x3+2x4-2x5-1x6-1x7-1x8+1x9+1x10+1x11-1x12+1x13-1x14-1x15<=2
+1x1-1x2+2x3-1x4+1x5-1x6+2x7-1x8+1x9-2x10+1x11-1x12-2x13+2x14-1x15<=2
-1x1+1x2+1x3+1x4-1x6-1x7-1x8+1x10+1x11+1x13<=2
-1x6-1x7-1x8-1x9+1x10+1x11+1x12+1x13+1x14+1x15<=2
-1x1+2x2-1x3-1x4+1x5-2x6+1x7+1x8-1x9-2x10-2x11+2x12+1x13-1x14-1x15<=0
-1x1+1x2-1x4+1x5-1x6+1x8-1x9-1x11+1x12-1x15<=0
-1x1+1x2-1x3+1x5-1x6+1x7-1x9-1x10+1x12-1x14<=0
+1x2+1x5+1x12<=2
+1x2-1x3-1x4+1x5-1x10-1x11+1x12+1x13-1x14-1x15<=0
-2x1+2x2-2x3-2x4+2x5-1x6+1x7+1x8-1x9-1x10-1x11+1x12+1x13-1x14-1x15<=0
-1x8-1x9+1x15<=0
-1x1-1x2-1x3+1x4+1x6+1x7-1x8+1x10-1x11-1x13<=0
-1x1+1x4-1x8<=0
-2x1-1x2-1x3+1x4-1x5+2x6+2x7-2x8+2x9+1x10-1x11+1x12-1x13+1x14-1x15<=2
-2x1-2x2-2x3+2x4-2x5+1x6+1x7-1x8+1x9+1x10-1x11+1x12-1x13+1x14-1x15<=0
-1x1-1x2-1x3+2x4-1x5+1x6+1x7-2x8+1x9+1x10-2x11+1x12-2x13+1x14-2x15<=0
-1x1-1x2-1x3+2x4+1x5+1x6+1x7-2x8-1x9+1x10-2x11-1x12-2x13-1x14+2x15<=0
-1x1-1x3+1x4+1x5+1x7-1x8-1x9-1x13-1x14+1x15<=0
-1x1-1x2+1x4+1x5+1x6-1x8-1x9-1x11-1x12+1x15<=0
+1x4+1x5+1x15<=2
-1x2-1x3+1x4+1x5+1x10-1x11-1x12-1x13-1x14+1x15<=0
-2x1-2x2-2x3+2x4+2x5+1x6+1x7-1x8-1x9+1x10-1x11-1x12-1x13-1x14+1x15<=0
-1x1-1x2+1x3+2x4+1x5+1x6-1x7-2x8-1x9-1x10-2x11-1x12+2x13+1x14+2x15<=2
+1x7-1x9-1x14<=0
-1x1-1x2-2x3-1x4+1x5+1x6+2x7+1x8-1x9+2x10+1x11-1x12+2x13-2x14-1x15<=2
-1x1-1x3-1x4+1x5+1x7+1x8-1x9+1x13-1x14-1x15<=0
-2x1+1x2-1x3-1x4+1x5-2x6+2x7+2x8-2x9-1x10-1x11+1x12+1x13-1x14-1x15<=0
-1x1+1x2-2x3-1x4+1x5-1x6+2x7+1x8-1x9-2x10-1x11+1x12+2x13-2x14-1x15<=0
+1x1-1x2+1x3+1x4-2x5-1x6+1x7+1x8-2x9-1x10-1x11+2x12+1x13-2x14-2x15<=0
+2x1-1x2+1x3-1x4-1x5-2x6+2x7-2x8-2x9-1x10+1x11+1x12-1x13-1x14+1x15<=0
+1x1-1x2+1x3-1x5-1x6+1x7-1x9-1x10+1x12-1x14<=0
+1x1-1x2+2x3-1x4-1x5-1x6+2x7-1x8-1x9-2x10+1x11+1x12-2x13-2x14+1x15<=0
+1x1-1x2+1x3-1x4-2x5-1x6+1x7-1x8-2x9-1x10+1x11+2x12-1x13-2x14+2x15<=0
-1x6+1x7+1x8-1x9-1x10-1x11+1x12+1x13-1x14-1x15<=0
-1x1+2x2-1x3+1x4-1x5-2x6+1x7-1x8+1x9-2x10+2x11-2x12-1x13+1x14-1x15<=0
-1x1+1x2+1x4-1x5-1x6-1x8+1x9+1x11-1x12-1x15<=0
+1x6+1x7-1x8-1x9+1x10-1x11-1x12-1x13-1x14+1x15<=0
-1x1-1x2-2x3+1x4+1x5+1x6+2x7-1x8-1x9+2x10-1x11-1x12-2x13-2x14+1x15<=0
+1x1+2x2-1x3+1x4-1x5+2x6-1x7+1x8-1x9-2x10+2x11-2x12-1x13+1x14-1x15<=2
+1x1+1x2+1x3-1x4-2x5+1x6+1x7-1x8-2x9+1x10-1x11-2x12-1x13-2x14+2x15<=0
-1x1+1x2+1x3+2x4-1x5-1x6-1x7-2x8+1x9+1x10+2x11-1x12+2x13-1x14-2x15<=2
+1x1-1x2+2x3+1x4-1x5-1x6+2x7+1x8-1x9-2x10-1x11+1x12+2x13-2x14-1x15<=2
+1x2+1x4+1x11<=2
+1x2-1x3+1x4-1x5-1x10+1x11-1x12-1x13+1x14-1x15<=0
-2x1+2x2-2x3+2x4-2x5-1x6+1x7-1x8+1x9-1x10+1x11-1x12-1x13+1x14-1x15<=0
+1x11+1x12+1x15<=2
-1x10+1x12-1x14<=0
+1x2-1x3-1x10<=0
-1x1-1x2+1x6<=0
+1x6-1x7-1x10<=0
+1x1-1x3-1x4-1x5-1x7-1x8-1x9+1x13+1x14+1x15<=0
-1x1-1x2+2x3+1x4+1x5+1x6-2x7-1x8-1x9-2x10-1x11-1x12+2x13+2x14+1x15<=2
-2x1-1x2+1x3+1x4+1x5+2x6-2x7-2x8-2x9-1x10-1x11-1x12+1x13+1x14+1x15<=0
+1x2-1x3-1x4-1x5-1x10-1x11-1x12+1x13+1x14+1x15<=0
+1x1+1x2-2x3-1x4-1x5+1x6-2x7-1x8-1x9-2x10-1x11-1x12+2x13+2x14+1x15<=0
+1x6-1x7-1x8-1x9-1x10-1x11-1x12+1x13+1x14+1x15<=0
-1x7-1x8+1x13<=0
-1x1-1x2+1x3-1x5+1x6-1x7+1x9-1x10+1x12-1x14<=0
-1x10-1x11+1x13<=0
-1x1-1x2+1x3+1x4+1x6-1x7-1x8-1x10-1x11+1x13<=0
-1x7-1x9+1x14<=0
-1x1-1x2+1x3-1x4+1x6-1x7+1x8-1x10+1x11-1x13<=0
-1x1+1x3-1x7<=0
-2x1-1x2+1x3-1x4-1x5+2x6-2x7+2x8+2x9-1x10+1x11+1x12-1x13-1x14+1x15<=2
-2x1-2x2+2x3-2x4-2x5+1x6-1x7+1x8+1x9-1x10+1x11+1x12-1x13-1x14+1x15<=0
-1x1-1x2+2x3-1x4-1x5+1x6-2x7+1x8+1x9-2x10+1x11+1x12-2x13-2x14+1x15<=0
-1x1-1x2+2x3-1x4+1x5+1x6-2x7+1x8-1x9-2x10+1x11-1x12-2x13+2x14-1x15<=0
-1x1+1x3-1x4+1x5-1x7+1x8-1x9-1x13+1x14-1x15<=0
-1x1-1x2+1x3+1x5+1x6-1x7-1x9-1x10-1x12+1x14<=0
+1x3+1x5+1x14<=2
-1x2+1x3-1x4+1x5-1x10+1x11-1x12-1x13+1x14-1x15<=0
-2x1-2x2+2x3-2x4+2x5+1x6-1x7+1x8-1x9-1x10+1x11-1x12-1x13+1x14-1x15<=0
+1x13+1x14+1x15<=2
-1x2+1x3-1x10<=0
-1x10-1x12+1x14<=0
-1x1-1x2-1x3-1x4+1x6+1x7+1x8+1x10+1x11+1x13<=2
+1x7+1x8+1x13<=2
+1x8-1x9-1x15<=0
+1x1-1x5-1x9<=0
+1x4-1x5-1x15<=0
+1x1+1x2+1x3+1x4-2x5+1x6+1x7+1x8-2x9+1x10+1x11-2x12+1x13-2x14-2x15<=2
+1x1+1x2+1x3+2x4-1x5+1x6+1x7+2x8-1x9+1x10+2x11-1x12+2x13-1x14-2x15<=6
+1x2+1x3+1x4-1x5+1x10+1x11-1x12+1x13-1x14-1x15<=2
+1x1+1x2+1x4-1x5+1x6+1x8-1x9+1x11-1x12-1x15<=2
+1x1+1x3+1x4-1x5+1x7+1x8-1x9+1x13-1x14-1x15<=2
+1x6+1x7+1x8-1x9+1x10+1x11-1x12+1x13-1x14-1x15<=2
-1x1-1x2-1x3-2x4+1x5+1x6+1x7+2x8-1x9+1x10+2x11-1x12+2x13-1x14-2x15<=2
+1x13-1x14-1x15<=0
+1x3-1x5-1x14<=0
+1x10+1x11+1x13<=2
+1x11-1x12-1x15<=0
+1x2-1x5-1x12<=0
+1x6-1x9-1x12<=0
-1x1-2x2-1x3-1x4+1x5+2x6+1x7+1x8-1x9+2x10+2x11-2x12+1x13-1x14-1x15<=2
-1x1-1x2-1x4+1x5+1x6+1x8-1x9+1x11-1x12-1x15<=0
-2x1-1x2+1x3-1x4+1x5+2x6-2x7+2x8-2x9-1x10+1x11-1x12-1x13+1x14-1x15<=0
-1x1-2x2+1x3-1x4+1x5+2x6-1x7+1x8-1x9-2x10+2x11-2x12-1x13+1x14-1x15<=0
-1x1-1x2-1x3+1x5+1x6+1x7-1x9+1x10-1x12-1x14<=0
-2x1-1x2-1x3+1x4+1x5+2x6+2x7-2x8-2x9+1x10-1x11-1x12-1x13-1x14+1x15<=0
-1x1-1x2-1x3+1x4+2x5+1x6+1x7-1x8-2x9+1x10-1x11-2x12-1x13-2x14+2x15<=0
-1x1-2x2-1x3+1x4+1x5+2x6+1x7-1x8-1x9+2x10-2x11-2x12-1x13-1x14+1x15<=0
-1x1-1x2+1x3-1x4+2x5+1x6-1x7+1x8-2x9-1x10+1x11-2x12-1x13+2x14-2x15<=0
+2x1+1x2-1x3-1x4-1x5+2x6-2x7-2x8-2x9-1x10-1x11-1x12+1x13+1x14+1x15<=0
+1x1+1x2-1x3-1x5+1x6-1x7-1x9-1x10-1x12+1x14<=0
+1x1+2x2-1x3-1x4-1x5+2x6-1x7-1x8-1x9-2x10-2x11-2x12+1x13+1x14+1x15<=0
+1x1+1x2-1x3-1x4-2x5+1x6-1x7-1x8-2x9-1x10-1x11-2x12+1x13+2x14+2x15<=0
+1x1+1x2-1x3+1x4-2x5+1x6-1x7+1x8-2x9-1x10+1x11-2x12-1x13+2x14-2x15<=0
-1x1-1x2+2x3+1x4-1x5+1x6-2x7-1x8+1x9-2x10-1x11+1x12+2x13-2x14-1x15<=0
-1x1+1x3+1x4-1x5-1x7-1x8+1x9+1x13-1x14-1x15<=0
+1x3+1x4+1x13<=2
-1x2+1x3+1x4-1x5-1x10-1x11+1x12+1x13-1x14-1x15<=0
-2x1-2x2+2x3+2x4-2x5+1x6-1x7-1x8+1x9-1x10-1x11+1x12+1x13-1x14-1x15<=0
+1x6-1x7+1x8-1x9-1x10+1x11-1x12-1x13+1x14-1x15<=0
-1x1-1x2+1x3-2x4+1x5+1x6-1x7+2x8-1x9-1x10+2x11-1x12-2x13+1x14-2x15<=0
-1x1+1x2+2x3+1x4+1x5-1x6-2x7-1x8-1x9+2x10+1x11+1x12+2x13+2x14+1x15<=6
+1x6+1x8+1x11<=2
-1x1-1x2-1x3-2x4-1x5+1x6+1x7+2x8+1x9+1x10+2x11+1x12+2x13+1x14+2x15<=6
-1x1-1x2-1x3-1x5+1x6+1x7+1x9+1x10+1x12+1x14<=2
+1x7+1x9+1x14<=2
-1x8+1x9-1x15<=0
+1x1-1x4-1x8<=0
-1x4+1x5-1x15<=0
+1x1+1x2+1x3-2x4+1x5+1x6+1x7-2x8+1x9+1x10-2x11+1x12-2x13+1x14-2x15<=2
+1x1+1x2+1x3-1x4+2x5+1x6+1x7-1x8+2x9+1x10-1x11+2x12-1x13+2x14-2x15<=6
+1x2+1x3-1x4+1x5+1x10-1x11+1x12-1x13+1x14-1x15<=2
+1x1+1x2-1x4+1x5+1x6-1x8+1x9-1x11+1x12-1x15<=2
+1x1+1x3-1x4+1x5+1x7-1x8+1x9-1x13+1x14-1x15<=2
+1x6+1x7-1x8+1x9+1x10-1x11+1x12-1x13+1x14-1x15<=2
-1x1-1x2-1x3+1x4-2x5+1x6+1x7-1x8+2x9+1x10-1x11+2x12-1x13+2x14-2x15<=2
-1x13+1x14-1x15<=0
+1x3-1x4-1x13<=0
+1x10+1x12+1x14<=2
-1x11+1x12-1x15<=0
+1x2-1x4-1x11<=0
+1x6-1x8-1x11<=0
-1x1-1x2+1x4-1x5+1x6-1x8+1x9-1x11+1x12-1x15<=0
-2x1-1x2+1x3+1x4-1x5+2x6-2x7-2x8+2x9-1x10-1x11+1x12+1x13-1x14-1x15<=0
-1x1-2x2-1x3+1x4-1x5+2x6+1x7-1x8+1x9+2x10-2x11+2x12-1x13+1x14-1x15<=2
-1x1-2x2+1x3+1x4-1x5+2x6-1x7-1x8+1x9-2x10-2x11+2x12+1x13-1x14-1x15<=0
+1x1+1x2-1x3-1x4+1x6-1x7-1x8-1x10-1x11+1x13<=0
+1x1+1x2-1x3-2x4-1x5+1x6-1x7-2x8-1x9-1x10-2x11-1x12+2x13+1x14+2x15<=0
+1x1+1x2-1x3-2x4+1x5+1x6-1x7-2x8+1x9-1x10-2x11+1x12+2x13-1x14-2x15<=0
+1x6-1x7-1x8+1x9-1x10-1x11+1x12+1x13-1x14-1x15<=0
+1x6+1x7+1x10<=2
-1x1-1x2-2x3-1x4-1x5+1x6+2x7+1x8+1x9+2x10+1x11+1x12+2x13+2x14+1x15<=6
-1x1+1x2-1x3-1x4+2x5-1x6+1x7+1x8-2x9-1x10-1x11+2x12+1x13-2x14-2x15<=0
+1x1-1x2-1x3+2x4-1x5-1x6-1x7+2x8-1x9+1x10-2x11+1x12-2x13+1x14-2x15<=0
+1x1+1x2+2x3+1x4-1x5+1x6+2x7+1x8-1x9+2x10+1x11-1x12+2x13-2x14-1x15<=6
+1x1+1x2+1x3-1x5+1x6+1x7-1x9+1x10-1x12-1x14<=2
+1x1-1x2-1x3+1x4-2x5-1x6-1x7+1x8-2x9+1x10-1x11+2x12-1x13+2x14-2x15<=0
-1x1+1x2-1x3-2x4+1x5-1x6+1x7+2x8-1x9-1x10-2x11+1x12+2x13-1x14-2x15<=0
-1x1+1x2-1x3+2x4-1x5-1x6+1x7-2x8+1x9-1x10+2x11-1x12-2x13+1x14-2x15<=0
+1x1-1x2-1x3-1x4+2x5-1x6-1x7-1x8+2x9+1x10+1x11-2x12+1x13-2x14-2x15<=0
+1x1-1x2-1x3-2x4+1x5-1x6-1x7-2x8+1x9+1x10+2x11-1x12+2x13-1x14-2x15<=0
+1x1+1x2+2x3-1x4+1x5+1x6+2x7-1x8+1x9+2x10-1x11+1x12-2x13+2x14-1x15<=6
+1x1+1x2+1x3-1x4+1x6+1x7-1x8+1x10-1x11-1x13<=2
+2x1+2x2+2x3-2x4-2x5+1x6+1x7-1x8-1x9+1x10-1x11-1x12-1x13-1x14+1x15<=2
+2x1-2x2+2x3-2x4-2x5-1x6+1x7-1x8-1x9-1x10+1x11+1x12-1x13-1x14+1x15<=0
+1x1+1x3-1x4-1x5+1x7-1x8-1x9-1x13-1x14+1x15<=0
+1x1+1x2+2x3-1x4-1x5+1x6+2x7-1x8-1x9+2x10-1x11-1x12-2x13-2x14+1x15<=2
+1x1+1x3+1x7<=2
+2x1+2x2+2x3+2x4+2x5+1x6+1x7+1x8+1x9+1x10+1x11+1x12+1x13+1x14+1x15<=12
+1x1+1x2+2x3+1x4+1x5+1x6+2x7+1x8+1x9+2x10+1x11+1x12+2x13+2x14+1x15<=12
+1x1-1x2+2x3+1x4+1x5-1x6+2x7+1x8+1x9-2x10-1x11-1x12+2x13+2x14+1x15<=6
+1x1+1x3+1x4+1x5+1x7+1x8+1x9+1x13+1x14+1x15<=6
+2x1-1x2+1x3+1x4+1x5-2x6+2x7+2x8+2x9-1x10-1x11-1x12+1x13+1x14+1x15<=6
-1x1+1x2-1x3+1x4-2x5-1x6+1x7-1x8+2x9-1x10+1x11-2x12-1x13+2x14-2x15<=0
-2x1+2x2+2x3-2x4-2x5-1x6-1x7+1x8+1x9+1x10-1x11-1x12-1x13-1x14+1x15<=0
+1x2+1x3-1x4-1x5+1x10-1x11-1x12-1x13-1x14+1x15<=0
+1x2+1x3+1x10<=2
-1x1-1x2+1x3+2x4-1x5+1x6-1x7-2x8+1x9-1x10-2x11+1x12+2x13-1x14-2x15<=0
+2x1+2x2-2x3-2x4-2x5+1x6-1x7-1x8-1x9-1x10-1x11-1x12+1x13+1x14+1x15<=0
+1x1+1x2-1x4-1x5+1x6-1x8-1x9-1x11-1x12+1x15<=0
+1x1+2x2+1x3-1x4-1x5+2x6+1x7-1x8-1x9+2x10-2x11-2x12-1x13-1x14+1x15<=2
-1x1-1x2+1x3+1x4-2x5+1x6-1x7-1x8+2x9-1x10-1x11+2x12+1x13-2x14-2x15<=0
-1x1-2x2-1x3-1x4-1x5+2x6+1x7+1x8+1x9+2x10+2x11+2x12+1x13+1x14+1x15<=6
-2x1+2x2+2x3+2x4+2x5-1x6-1x7-1x8-1x9+1x10+1x11+1x12+1x13+1x14+1x15<=6
-2x1-1x2-1x3-1x4-1x5+2x6+2x7+2x8+2x9+1x10+1x11+1x12+1x13+1x14+1x15<=6
+2x1-2x2+2x3+2x4+2x5-1x6+1x7+1x8+1x9-1x10-1x11-1x12+1x13+1x14+1x15<=6
+2x1+2x2-2x3+2x4+2x5+1x6-1x7+1x8+1x9-1x10+1x11+1x12-1x13-1x14+1x15<=6
+1x1+1x2+1x6<=2
+1x1+2x2+1x3+1x4+1x5+2x6+1x7+1x8+1x9+2x10+2x11+2x12+1x13+1x14+1x15<=12
+1x1+2x2-1x3+1x4+1x5+2x6-1x7+1x8+1x9-2x10+2x11+2x12-1x13-1x14+1x15<=6
+1x1+1x2+1x4+1x5+1x6+1x8+1x9+1x11+1x12+1x15<=6
+2x1+1x2-1x3+1x4+1x5+2x6-2x7+2x8+2x9-1x10+1x11+1x12-1x13-1x14+1x15<=6
+1x1+2x2+1x3-1x4+1x5+2x6+1x7-1x8+1x9+2x10-2x11+2x12-1x13+1x14-1x15<=6
+2x1+2x2+2x3-2x4+2x5+1x6+1x7-1x8+1x9+1x10-1x11+1x12-1x13+1x14-1x15<=6
+1x1+1x2+1x3+1x5+1x6+1x7+1x9+1x10+1x12+1x14<=6
+2x1+1x2+1x3-1x4+1x5+2x6+2x7-2x8+2x9+1x10-1x11+1x12-1x13+1x14-1x15<=6
+2x1+1x2+1x3+1x4+1x5+2x6+2x7+2x8+2x9+1x10+1x11+1x12+1x13+1x14+1x15<=12
+1x1+2x2+1x3+1x4-1x5+2x6+1x7+1x8-1x9+2x10+2x11-2x12+1x13-1x14-1x15<=6
+2x1+2x2+2x3+2x4-2x5+1x6+1x7+1x8-1x9+1x10+1x11-1x12+1x13-1x14-1x15<=6
+1x1+1x2+1x3+1x4+1x6+1x7+1x8+1x10+1x11+1x13<=6
+2x1+1x2+1x3+1x4-1x5+2x6+2x7+2x8-2x9+1x10+1x11-1x12+1x13-1x14-1x15<=6
+1x2+1x3+1x4+1x5+1x10+1x11+1x12+1x13+1x14+1x15<=6
-1x1+2x2+1x3+1x4+1x5-2x6-1x7-1x8-1x9+2x10+2x11+2x12+1x13+1x14+1x15<=6
+1x6+1x7+1x8+1x9+1x10+1x11+1x12+1x13+1x14+1x15<=6
+1x6+1x9+1x12<=2
-1x1-1x2-1x3-1x4-2x5+1x6+1x7+1x8+2x9+1x10+1x11+2x12+1x13+2x14+2x15<=6
END