* #variable= 58 #constraint= 20
****************************************
* begin normalizer comments
* category= OPT-BIGINT-LIN
* end normalizer comments
****************************************
min: +59982 x1 +55215 x2 +27972 x3 +45814 x4 +85690 x5 +10866 x6 +56247 x7 +94409 x8 +93132 x9 +10000 x10 +57425 x11 +63903 x12 +7469 x13 +25324 x14 +28114 x15 +71903 x16 +49195 x17 +53990 x18 +23416 x19 +20338 x20 +41747 x21 +10462 x22 +63146 x23 +60697 x24 +64740 x25 +60744 x26 +16925 x27 +72461 x28 +45951 x29 +18133 x30 +48667 x31 +8301 x32 +89878 x33 +31689 x34 +1005 x35 +61803 x36 +28382 x37 +49214 x38 +14903 x39 +15310 x40 ;
+1 x31 +1 x32 = 1 ;
+1 x21 +1 x22 +1 x23 = 1 ;
-2 x41 +1 x1 +1 x3 +1 x5 +1 x19 +1 x21 +1 x27 +1 x37 +1 x38 = 0 ;
-2 x42 +1 x2 +1 x6 +1 x10 +1 x11 +1 x16 +1 x25 +1 x39 +1 x40 = 0 ;
-2 x43 +1 x1 +1 x2 +1 x4 +1 x24 +1 x28 +1 x29 +1 x33 = 0 ;
-2 x44 +1 x3 +1 x4 +1 x7 +1 x14 +1 x26 = 0 ;
-2 x45 +1 x5 +1 x6 +1 x8 = 0 ;
-2 x46 +1 x7 +1 x8 +1 x9 +1 x12 +1 x15 +1 x32 +1 x34 +1 x37 = 0 ;
-2 x47 +1 x9 +1 x10 = 0 ;
-2 x48 +1 x11 +1 x12 +1 x13 +1 x18 +1 x20 = 0 ;
-2 x49 +1 x13 +1 x14 +1 x17 +1 x30 = 0 ;
-2 x50 +1 x15 +1 x16 +1 x22 +1 x38 = 0 ;
-2 x51 +1 x17 +1 x18 = 0 ;
-2 x52 +1 x19 +1 x20 = 0 ;
-2 x53 +1 x23 +1 x24 +1 x35 +1 x40 = 0 ;
-2 x54 +1 x25 +1 x26 = 0 ;
-2 x55 +1 x27 +1 x28 = 0 ;
-2 x56 +1 x29 +1 x30 +1 x31 +1 x36 = 0 ;
-2 x57 +1 x33 +1 x34 = 0 ;
-2 x58 +1 x35 +1 x36 +1 x39 = 0 ;