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