#  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
#        232        1      231        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        232        1      231        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 b191 binary >= 0, <= 1;
var b192 binary >= 0, <= 1;
var b193 binary >= 0, <= 1;
var b194 binary >= 0, <= 1;
var b195 binary >= 0, <= 1;
var b196 binary >= 0, <= 1;
var b197 binary >= 0, <= 1;
var b198 binary >= 0, <= 1;
var b199 binary >= 0, <= 1;
var b200 binary >= 0, <= 1;
var b201 binary >= 0, <= 1;
var b202 binary >= 0, <= 1;
var b203 binary >= 0, <= 1;
var b204 binary >= 0, <= 1;
var b205 binary >= 0, <= 1;
var b206 binary >= 0, <= 1;
var b207 binary >= 0, <= 1;
var b208 binary >= 0, <= 1;
var b209 binary >= 0, <= 1;
var b210 binary >= 0, <= 1;
var b211 binary >= 0, <= 1;
var b212 binary >= 0, <= 1;
var b213 binary >= 0, <= 1;
var b214 binary >= 0, <= 1;
var b215 binary >= 0, <= 1;
var b216 binary >= 0, <= 1;
var b217 binary >= 0, <= 1;
var b218 binary >= 0, <= 1;
var b219 binary >= 0, <= 1;
var b220 binary >= 0, <= 1;
var b221 binary >= 0, <= 1;
var b222 binary >= 0, <= 1;
var b223 binary >= 0, <= 1;
var b224 binary >= 0, <= 1;
var b225 binary >= 0, <= 1;
var b226 binary >= 0, <= 1;
var b227 binary >= 0, <= 1;
var b228 binary >= 0, <= 1;
var b229 binary >= 0, <= 1;
var b230 binary >= 0, <= 1;
var b231 binary >= 0, <= 1;
var x232;

maximize obj: x232;

subject to

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