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