#  MINLP written by GAMS Convert at 01/12/18 13:42:51
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#          1        0        0        1        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        191        1      190        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        191        1      190        0


var b1 binary >= 0, <= 1;
var b2 binary >= 0, <= 1;
var b3 binary >= 0, <= 1;
var b4 binary >= 0, <= 1;
var b5 binary >= 0, <= 1;
var b6 binary >= 0, <= 1;
var b7 binary >= 0, <= 1;
var b8 binary >= 0, <= 1;
var b9 binary >= 0, <= 1;
var b10 binary >= 0, <= 1;
var b11 binary >= 0, <= 1;
var b12 binary >= 0, <= 1;
var b13 binary >= 0, <= 1;
var b14 binary >= 0, <= 1;
var b15 binary >= 0, <= 1;
var b16 binary >= 0, <= 1;
var b17 binary >= 0, <= 1;
var b18 binary >= 0, <= 1;
var b19 binary >= 0, <= 1;
var b20 binary >= 0, <= 1;
var b21 binary >= 0, <= 1;
var b22 binary >= 0, <= 1;
var b23 binary >= 0, <= 1;
var b24 binary >= 0, <= 1;
var b25 binary >= 0, <= 1;
var b26 binary >= 0, <= 1;
var b27 binary >= 0, <= 1;
var b28 binary >= 0, <= 1;
var b29 binary >= 0, <= 1;
var b30 binary >= 0, <= 1;
var b31 binary >= 0, <= 1;
var b32 binary >= 0, <= 1;
var b33 binary >= 0, <= 1;
var b34 binary >= 0, <= 1;
var b35 binary >= 0, <= 1;
var b36 binary >= 0, <= 1;
var b37 binary >= 0, <= 1;
var b38 binary >= 0, <= 1;
var b39 binary >= 0, <= 1;
var b40 binary >= 0, <= 1;
var b41 binary >= 0, <= 1;
var b42 binary >= 0, <= 1;
var b43 binary >= 0, <= 1;
var b44 binary >= 0, <= 1;
var b45 binary >= 0, <= 1;
var b46 binary >= 0, <= 1;
var b47 binary >= 0, <= 1;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var b50 binary >= 0, <= 1;
var b51 binary >= 0, <= 1;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var b54 binary >= 0, <= 1;
var b55 binary >= 0, <= 1;
var b56 binary >= 0, <= 1;
var b57 binary >= 0, <= 1;
var b58 binary >= 0, <= 1;
var b59 binary >= 0, <= 1;
var b60 binary >= 0, <= 1;
var b61 binary >= 0, <= 1;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var b64 binary >= 0, <= 1;
var b65 binary >= 0, <= 1;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var b68 binary >= 0, <= 1;
var b69 binary >= 0, <= 1;
var b70 binary >= 0, <= 1;
var b71 binary >= 0, <= 1;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var b76 binary >= 0, <= 1;
var b77 binary >= 0, <= 1;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var b80 binary >= 0, <= 1;
var b81 binary >= 0, <= 1;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
var b88 binary >= 0, <= 1;
var b89 binary >= 0, <= 1;
var b90 binary >= 0, <= 1;
var b91 binary >= 0, <= 1;
var b92 binary >= 0, <= 1;
var b93 binary >= 0, <= 1;
var b94 binary >= 0, <= 1;
var b95 binary >= 0, <= 1;
var b96 binary >= 0, <= 1;
var b97 binary >= 0, <= 1;
var b98 binary >= 0, <= 1;
var b99 binary >= 0, <= 1;
var b100 binary >= 0, <= 1;
var b101 binary >= 0, <= 1;
var b102 binary >= 0, <= 1;
var b103 binary >= 0, <= 1;
var b104 binary >= 0, <= 1;
var b105 binary >= 0, <= 1;
var b106 binary >= 0, <= 1;
var b107 binary >= 0, <= 1;
var b108 binary >= 0, <= 1;
var b109 binary >= 0, <= 1;
var b110 binary >= 0, <= 1;
var b111 binary >= 0, <= 1;
var b112 binary >= 0, <= 1;
var b113 binary >= 0, <= 1;
var b114 binary >= 0, <= 1;
var b115 binary >= 0, <= 1;
var b116 binary >= 0, <= 1;
var b117 binary >= 0, <= 1;
var b118 binary >= 0, <= 1;
var b119 binary >= 0, <= 1;
var b120 binary >= 0, <= 1;
var b121 binary >= 0, <= 1;
var b122 binary >= 0, <= 1;
var b123 binary >= 0, <= 1;
var b124 binary >= 0, <= 1;
var b125 binary >= 0, <= 1;
var b126 binary >= 0, <= 1;
var b127 binary >= 0, <= 1;
var b128 binary >= 0, <= 1;
var b129 binary >= 0, <= 1;
var b130 binary >= 0, <= 1;
var b131 binary >= 0, <= 1;
var b132 binary >= 0, <= 1;
var b133 binary >= 0, <= 1;
var b134 binary >= 0, <= 1;
var b135 binary >= 0, <= 1;
var b136 binary >= 0, <= 1;
var b137 binary >= 0, <= 1;
var b138 binary >= 0, <= 1;
var b139 binary >= 0, <= 1;
var b140 binary >= 0, <= 1;
var b141 binary >= 0, <= 1;
var b142 binary >= 0, <= 1;
var b143 binary >= 0, <= 1;
var b144 binary >= 0, <= 1;
var b145 binary >= 0, <= 1;
var b146 binary >= 0, <= 1;
var b147 binary >= 0, <= 1;
var b148 binary >= 0, <= 1;
var b149 binary >= 0, <= 1;
var b150 binary >= 0, <= 1;
var b151 binary >= 0, <= 1;
var b152 binary >= 0, <= 1;
var b153 binary >= 0, <= 1;
var b154 binary >= 0, <= 1;
var b155 binary >= 0, <= 1;
var b156 binary >= 0, <= 1;
var b157 binary >= 0, <= 1;
var b158 binary >= 0, <= 1;
var b159 binary >= 0, <= 1;
var b160 binary >= 0, <= 1;
var b161 binary >= 0, <= 1;
var b162 binary >= 0, <= 1;
var b163 binary >= 0, <= 1;
var b164 binary >= 0, <= 1;
var b165 binary >= 0, <= 1;
var b166 binary >= 0, <= 1;
var b167 binary >= 0, <= 1;
var b168 binary >= 0, <= 1;
var b169 binary >= 0, <= 1;
var b170 binary >= 0, <= 1;
var b171 binary >= 0, <= 1;
var b172 binary >= 0, <= 1;
var b173 binary >= 0, <= 1;
var b174 binary >= 0, <= 1;
var b175 binary >= 0, <= 1;
var b176 binary >= 0, <= 1;
var b177 binary >= 0, <= 1;
var b178 binary >= 0, <= 1;
var b179 binary >= 0, <= 1;
var b180 binary >= 0, <= 1;
var b181 binary >= 0, <= 1;
var b182 binary >= 0, <= 1;
var b183 binary >= 0, <= 1;
var b184 binary >= 0, <= 1;
var b185 binary >= 0, <= 1;
var b186 binary >= 0, <= 1;
var b187 binary >= 0, <= 1;
var b188 binary >= 0, <= 1;
var b189 binary >= 0, <= 1;
var b190 binary >= 0, <= 1;
var x191;

maximize obj: x191;

subject to

e1: 2*b1*b5 - 2*b1 - 2*b5 + 2*b1*b8 - 2*b8 + 2*b1*b23 - 4*b23 - 2*b1*b35 + 4*
    b35 + 2*b2*b3 - 2*b2 - 2*b3 + 2*b2*b33 - 4*b33 - 2*b2*b144 + 2*b2*b150 + 2*
    b3*b84 - 2*b84 - 2*b3*b106 + 2*b106 + 2*b3*b140 + 2*b4*b86 - 2*b4 - 2*b86
     + 2*b4*b107 - 2*b107 + 2*b4*b140 - 2*b4*b158 + 2*b5*b6 - 2*b6 + 2*b5*b136
     - 2*b5*b151 + 2*b6*b52 - 4*b52 + 2*b6*b72 - 4*b72 - 2*b6*b161 + 2*b7*b17
     - 2*b7 - 2*b17 + 2*b7*b103 - 4*b103 + 2*b8*b141 - 2*b8*b146 + 2*b8*b162 + 
    2*b9*b27 - 2*b9 - 4*b27 - 2*b9*b39 - 2*b39 + 2*b9*b72 + 2*b9*b163 + 2*b10*
    b49 - 2*b10 - 2*b49 + 2*b10*b65 - 2*b65 + 2*b10*b68 - 2*b68 - 2*b10*b133 + 
    2*b11*b47 - 2*b11 - 4*b47 + 2*b11*b157 + 2*b12*b32 - 4*b12 - 2*b32 + 2*b12*
    b49 + 2*b12*b133 + 2*b12*b165 + 2*b13*b14 - 2*b13 - 4*b14 - 2*b13*b34 + 2*
    b34 + 2*b13*b136 + 2*b13*b144 + 2*b14*b89 - 2*b89 + 2*b14*b113 - 2*b113 + 2
    *b14*b135 + 2*b15*b26 - 2*b15 - 2*b26 + 2*b15*b38 - 2*b38 + 2*b15*b146 - 2*
    b15*b175 - 2*b16*b17 - 2*b16 + 2*b16*b45 - 2*b45 + 2*b16*b62 - 4*b62 + 2*
    b16*b169 + 2*b17*b18 - 2*b18 + 2*b17*b61 - 4*b61 + 2*b18*b62 + 2*b19*b20 - 
    2*b19 - 2*b20 + 2*b19*b21 - 2*b21 + 2*b19*b67 - 4*b67 - 2*b19*b150 + 2*b20*
    b23 + 2*b20*b49 - 2*b20*b111 + 2*b111 + 2*b21*b23 + 2*b21*b89 - 2*b21*b180
     - 2*b22*b24 + 2*b22 - 2*b24 - 2*b22*b110 + 4*b110 - 2*b22*b136 + 2*b22*
    b139 + 2*b23*b24 + 2*b24*b113 + 2*b24*b166 + 2*b25*b41 - 2*b25 - 2*b41 + 2*
    b25*b146 + 2*b25*b151 - 2*b25*b167 + 2*b26*b55 - 4*b55 - 2*b26*b73 - 2*b73
     + 2*b26*b75 - 4*b75 + 2*b27*b56 - 4*b56 + 2*b27*b154 + 2*b27*b167 + 2*b28*
    b29 - 2*b28 - 2*b29 - 2*b28*b44 + 2*b44 + 2*b28*b98 - 2*b98 + 2*b28*b171 + 
    2*b29*b59 - 2*b59 + 2*b29*b80 - 2*b80 - 2*b29*b157 + 2*b30*b31 - 2*b30 - 2*
    b31 + 2*b30*b124 - 2*b124 - 2*b30*b171 + 2*b30*b172 + 2*b31*b80 + 2*b32*b33
     - 2*b32*b34 + 2*b32*b108 - 2*b108 + 2*b33*b36 - 4*b36 + 2*b33*b89 + 2*b34*
    b36 - 2*b34*b87 - 2*b87 - 2*b35*b37 - 2*b37 - 2*b35*b88 + 2*b88 - 2*b35*
    b139 + 2*b36*b37 + 2*b36*b141 + 2*b37*b161 + 2*b37*b166 + 2*b38*b40 - 2*b40
     + 2*b38*b135 - 2*b38*b145 + 2*b39*b54 - 4*b54 + 2*b39*b151 + 2*b39*b153 + 
    2*b40*b54 + 2*b40*b115 - 2*b115 - 2*b40*b183 - 2*b41*b53 - 2*b53 + 2*b41*
    b75 + 2*b41*b94 - 4*b94 + 2*b42*b152 - 4*b42 + 2*b42*b164 + 2*b42*b167 + 2*
    b42*b175 - 2*b43*b44 - 2*b43 + 2*b43*b130 + 2*b43*b131 + 2*b43*b164 + 2*b44
    *b79 - 2*b79 - 2*b44*b184 + 2*b45*b46 - 4*b46 + 2*b45*b121 - 2*b121 - 2*b45
    *b178 + 2*b46*b79 + 2*b46*b102 - 2*b102 + 2*b46*b157 + 2*b47*b48 - 2*b48 + 
    2*b47*b101 - 4*b101 + 2*b47*b171 + 2*b48*b102 - 2*b49*b110 - 2*b50*b141 + 4
    *b50 - 2*b50*b144 - 2*b50*b160 - 2*b50*b182 - 2*b51*b153 - 2*b51 + 2*b51*
    b182 + 2*b51*b183 + 2*b51*b186 + 2*b52*b74 - 4*b74 + 2*b52*b115 + 2*b52*
    b153 + 2*b53*b71 - 2*b71 + 2*b53*b74 + 2*b53*b183 + 2*b54*b94 + 2*b54*b116
     - 4*b116 + 2*b55*b57 - 4*b57 + 2*b55*b156 + 2*b55*b175 + 2*b56*b58 - 4*b58
     + 2*b56*b117 - 4*b117 + 2*b56*b149 + 2*b57*b58 + 2*b57*b116 + 2*b57*b148
     + 2*b58*b129 + 2*b58*b170 + 2*b59*b61 - 2*b59*b130 + 2*b59*b178 - 2*b60*
    b80 + 2*b60 - 2*b60*b100 - 2*b100 + 2*b60*b126 - 4*b126 - 2*b60*b128 + 2*
    b61*b99 - 2*b99 + 2*b61*b126 + 2*b62*b63 - 2*b63 + 2*b62*b125 - 4*b125 + 2*
    b63*b126 - 2*b64*b66 + 2*b64 - 2*b66 - 2*b64*b133 + 2*b65*b67 + 2*b65*b173
     - 2*b65*b174 + 2*b66*b67 + 2*b66*b150 + 2*b66*b174 + 2*b67*b69 - 2*b69 - 2
    *b68*b88 + 2*b68*b144 + 2*b68*b159 + 2*b69*b85 - 2*b85 + 2*b69*b88 - 2*b69*
    b110 + 2*b70*b71 - 2*b70 + 2*b70*b90 - 2*b90 - 2*b70*b151 + 2*b70*b186 + 2*
    b71*b73 - 2*b71*b166 + 2*b72*b93 - 4*b93 + 2*b72*b162 + 2*b73*b92 - 2*b92
     + 2*b73*b93 + 2*b74*b76 - 2*b76 + 2*b74*b116 + 2*b75*b77 - 4*b77 + 2*b75*
    b154 + 2*b76*b77 + 2*b76*b93 - 2*b76*b131 + 2*b77*b119 + 2*b119 + 2*b77*
    b184 + 2*b78*b122 - 2*b78 - 2*b122 - 2*b78*b143 + 2*b78*b169 + 2*b78*b184
     + 2*b79*b124 - 2*b79*b147 + 2*b80*b188 - 2*b81*b84 + 2*b81 - 2*b81*b137 + 
    2*b82*b84 - 2*b82 + 2*b82*b165 - 2*b83*b85 + 2*b83 - 2*b83*b134 - 2*b83*
    b150 + 2*b83*b177 + 2*b84*b85 + 2*b85*b87 + 2*b86*b139 + 2*b86*b159 - 2*b86
    *b160 + 2*b87*b109 - 2*b109 + 2*b87*b160 - 2*b88*b187 - 2*b89*b90 + 2*b90*
    b91 - 2*b91 + 2*b90*b187 + 2*b91*b92 + 2*b91*b112 - 4*b112 - 2*b91*b146 - 2
    *b92*b113 + 2*b92*b176 + 2*b93*b95 - 2*b95 + 2*b94*b96 - 4*b96 + 2*b94*b152
     + 2*b95*b96 + 2*b95*b131 - 2*b95*b190 + 2*b96*b97 + 2*b97 + 2*b96*b181 - 2
    *b97*b98 - 2*b97*b129 - 2*b97*b156 + 2*b98*b100 + 2*b98*b181 + 2*b99*b101
     - 2*b99*b142 + 2*b99*b170 + 2*b100*b101 + 2*b100*b142 + 2*b101*b103 + 2*
    b102*b104 - 2*b104 - 2*b102*b132 + 2*b103*b104 + 2*b103*b132 + 2*b105*b107
     - 2*b105 + 2*b105*b158 - 2*b106*b109 - 2*b106*b138 + 2*b106*b179 + 2*b107*
    b109 - 2*b107*b173 + 2*b108*b137 + 2*b108*b158 - 2*b108*b180 + 2*b109*b180
     - 2*b110*b185 + 2*b111*b112 - 2*b111*b155 - 2*b111*b186 + 2*b112*b145 + 2*
    b112*b185 + 2*b113*b114 - 4*b114 + 2*b114*b145 + 2*b114*b168 + 2*b114*b176
     + 2*b115*b117 - 2*b115*b163 + 2*b116*b118 - 4*b118 + 2*b117*b118 + 2*b117*
    b190 + 2*b118*b120 - 2*b120 + 2*b118*b143 - 2*b119*b121 - 2*b119*b142 - 2*
    b119*b154 + 2*b120*b121 - 2*b120*b156 + 2*b120*b178 + 2*b121*b123 - 2*b123
     + 2*b122*b124 + 2*b122*b125 - 2*b122*b129 + 2*b123*b125 - 2*b123*b132 + 2*
    b123*b147 - 2*b124*b189 + 2*b125*b189 + 2*b126*b127 - 2*b127 + 2*b127*b189
     + 2*b128*b129 - 2*b128*b130 + 2*b128*b132 + 2*b130*b148 - 2*b131*b149 + 2*
    b133*b134 - 2*b135*b136 - 2*b135*b153 + 2*b137*b138 - 2*b137*b159 - 2*b139*
    b140 - 2*b140*b155 - 2*b141*b145 + 2*b142*b143 - 2*b143*b164 - 2*b147*b148
     + 2*b147*b149 - 2*b148*b152 - 2*b149*b170 - 2*b152*b184 - 2*b154*b181 + 2*
    b155*b180 + 2*b155*b185 + 2*b156*b163 - 2*b157*b172 - 2*b158*b179 - 2*b159*
    b165 + 2*b160*b187 + 2*b161*b182 - 2*b161*b183 - 2*b162*b166 - 2*b162*b168
     - 2*b163*b164 - 2*b165*b177 - 2*b167*b168 + 2*b168*b190 - 2*b169*b170 - 2*
    b169*b171 - 2*b175*b176 - 2*b176*b190 - 2*b178*b181 - 2*b182*b185 - 2*b186*
    b187 - 2*b188*b189 + x191 <= 0;