* #variable= 31 #constraint= 139
* forge.problem ilp
+1 x12 -1 x30 +1 x20 +1 x24 >= 0 ;
-1 x8 -1 x25 +1 x21 >= -1 ;
+1 x22 -1 x5 +1 x2 >= 0 ;
-1 x15 -1 x8 -1 x14 >= -2 ;
-1 x15 -1 x16 >= -1 ;
+1 x27 +1 x15 -1 x12 >= 0 ;
-1 x3 -1 x25 >= -1 ;
-1 x26 -1 x7 +1 x15 -1 x30 >= -2 ;
-1 x7 +1 x13 >= 0 ;
+1 x21 -1 x8 +1 x3 >= 0 ;
+1 x26 +1 x4 >= 1 ;
+1 x27 +1 x15 +1 x13 >= 1 ;
-1 x12 +1 x8 >= 0 ;
+1 x24 +1 x2 +1 x28 >= 1 ;
+1 x13 +1 x26 >= 1 ;
+1 x27 +1 x6 >= 1 ;
+1 x15 +1 x11 >= 1 ;
+1 x17 -1 x28 >= 0 ;
-1 x20 +1 x17 >= 0 ;
-1 x27 +1 x1 >= 0 ;
-1 x16 +1 x17 +1 x27 >= 0 ;
+1 x10 +1 x27 >= 1 ;
-1 x9 -1 x7 +1 x29 >= -1 ;
+1 x23 +1 x13 >= 1 ;
-1 x29 -1 x26 -1 x30 +1 x27 >= -2 ;
-1 x3 -1 x24 +1 x8 >= -1 ;
+1 x20 +1 x1 >= 1 ;
-1 x15 -1 x8 -1 x11 >= -2 ;
+1 x9 +1 x26 >= 1 ;
+1 x17 -1 x6 -1 x8 >= -1 ;
+1 x1 +1 x17 >= 1 ;
-1 x28 +1 x11 >= 0 ;
+1 x22 -1 x17 >= 0 ;
-1 x26 +1 x15 -1 x29 -1 x30 >= -2 ;
+1 x20 -1 x18 >= 0 ;
+1 x17 +1 x2 >= 1 ;
-1 x9 -1 x26 +1 x15 >= -1 ;
+1 x8 +1 x2 >= 1 ;
-1 x26 +1 x27 +1 x15 >= 0 ;
-1 x2 -1 x22 -1 x3 -1 x1 >= -3 ;
+1 x18 -1 x30 +1 x12 >= 0 ;
+1 x3 +1 x17 >= 1 ;
+1 x28 +1 x24 +1 x21 -1 x17 -1 x8 >= -1 ;
-1 x17 +1 x10 >= 0 ;
-1 x27 +1 x5 >= 0 ;
+1 x30 +1 x15 +1 x27 >= 1 ;
+1 x29 -1 x13 -1 x25 >= -1 ;
-1 x22 -1 x2 -1 x1 +1 x25 >= -2 ;
+1 x27 -1 x26 +1 x7 -1 x13 -1 x23 >= -2 ;
+1 x6 +1 x4 >= 1 ;
+1 x19 -1 x27 >= 0 ;
-1 x27 +1 x16 >= 0 ;
+1 x17 +1 x5 >= 1 ;
-1 x12 -1 x31 >= -1 ;
-1 x17 -1 x27 >= -1 ;
-1 x7 -1 x31 >= -1 ;
+1 x31 +1 x23 >= 1 ;
-1 x4 -1 x27 >= -1 ;
+1 x27 +1 x17 -1 x8 >= 0 ;
+1 x27 -1 x26 -1 x9 >= -1 ;
-1 x17 -1 x5 >= -1 ;
+1 x17 -1 x25 >= 0 ;
+1 x23 -1 x9 +1 x29 >= 0 ;
-1 x7 +1 x14 >= 0 ;
-1 x1 -1 x20 >= -1 ;
+1 x15 +1 x9 +1 x27 >= 1 ;
-1 x28 +1 x8 -1 x3 >= -1 ;
+1 x30 +1 x26 >= 1 ;
-1 x12 -1 x24 >= -1 ;
-1 x7 -1 x30 -1 x26 +1 x27 >= -2 ;
-1 x12 -1 x18 >= -1 ;
+1 x31 -1 x8 >= 0 ;
+1 x20 -1 x22 >= 0 ;
-1 x27 -1 x15 >= -1 ;
-1 x24 +1 x17 >= 0 ;
+1 x29 -1 x9 +1 x30 >= 0 ;
-1 x22 +1 x17 >= 0 ;
+1 x23 +1 x27 -1 x26 -1 x30 >= -1 ;
-1 x3 -1 x21 >= -1 ;
-1 x21 -1 x24 >= -1 ;
+1 x18 -1 x20 +1 x11 >= 0 ;
-1 x23 -1 x29 +1 x7 >= -1 ;
-1 x18 +1 x30 >= 0 ;
+1 x3 +1 x1 >= 1 ;
-1 x24 -1 x11 >= -1 ;
-1 x27 -1 x23 >= -1 ;
-1 x4 +1 x8 >= 0 ;
+1 x25 +1 x3 >= 1 ;
+1 x25 -1 x29 >= 0 ;
+1 x9 -1 x29 >= 0 ;
+1 x7 -1 x14 -1 x12 >= -1 ;
+1 x23 +1 x8 >= 1 ;
-1 x25 +1 x21 +1 x24 +1 x28 >= 0 ;
-1 x27 +1 x31 >= 0 ;
-1 x4 -1 x26 >= -1 ;
+1 x8 -1 x21 >= 0 ;
+1 x22 -1 x20 >= 0 ;
-1 x1 +1 x25 -1 x2 +1 x5 >= -1 ;
-1 x19 +1 x8 >= 0 ;
-1 x18 -1 x28 >= -1 ;
+1 x14 +1 x8 >= 1 ;
+1 x8 +1 x6 >= 1 ;
+1 x28 +1 x21 +1 x3 +1 x24 >= 1 ;
-1 x4 -1 x6 >= -1 ;
-1 x4 -1 x15 >= -1 ;
-1 x23 +1 x30 +1 x7 >= 0 ;
-1 x28 -1 x21 >= -1 ;
+1 x16 +1 x15 >= 1 ;
+1 x18 -1 x24 -1 x20 >= -1 ;
+1 x31 +1 x7 -1 x14 >= 0 ;
+1 x19 -1 x8 >= 0 ;
-1 x24 -1 x8 -1 x2 >= -2 ;
-1 x27 -1 x10 >= -1 ;
-1 x27 -1 x6 >= -1 ;
-1 x14 -1 x27 >= -1 ;
+1 x8 +1 x5 >= 1 ;
+1 x14 +1 x15 +1 x27 >= 1 ;
+1 x22 +1 x3 -1 x5 >= 0 ;
-1 x11 +1 x18 +1 x28 >= 0 ;
+1 x8 -1 x31 >= 0 ;
-1 x11 -1 x15 >= -1 ;
+1 x12 -1 x27 -1 x7 >= -1 ;
+1 x11 -1 x27 >= 0 ;
-1 x13 -1 x23 -1 x26 +1 x15 +1 x7 >= -2 ;
-1 x3 +1 x5 -1 x1 -1 x2 >= -2 ;
+1 x30 -1 x24 >= 0 ;
+1 x23 +1 x15 +1 x27 >= 1 ;
-1 x8 +1 x12 -1 x15 -1 x7 >= -2 ;
+1 x25 +1 x13 >= 1 ;
+1 x17 -1 x21 >= 0 ;
-1 x27 +1 x8 >= 0 ;
-1 x15 -1 x23 -1 x8 >= -2 ;
+1 x15 -1 x30 -1 x26 +1 x23 >= -1 ;
+1 x8 +1 x10 >= 1 ;
+1 x1 +1 x2 >= 1 ;
+1 x29 -1 x13 -1 x17 >= -1 ;
-1 x28 -1 x2 -1 x8 >= -2 ;
+1 x11 -1 x30 +1 x12 +1 x24 >= 0 ;
-1 x11 +1 x20 >= 0 ;