$offlisting * * Equation counts * Total E G L N X C B * 1 1 0 0 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 326 1 325 0 0 0 0 0 * FX 0 0 0 0 0 0 0 0 * * Nonzero counts * Total const NL DLL * 326 1 325 0 * * Solve m using MIQCP maximizing objvar; Variables objvar,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18 ,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35 ,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52 ,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69 ,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86 ,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102 ,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115 ,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128 ,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141 ,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154 ,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167 ,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180 ,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193 ,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206 ,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219 ,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232 ,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245 ,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258 ,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271 ,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284 ,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297 ,b298,b299,b300,b301,b302,b303,b304,b305,b306,b307,b308,b309,b310 ,b311,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322,b323 ,b324,b325,b326; Binary Variables b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18 ,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35 ,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52 ,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69 ,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86 ,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102 ,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115 ,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128 ,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141 ,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154 ,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167 ,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180 ,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193 ,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206 ,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219 ,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232 ,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245 ,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258 ,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271 ,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284 ,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297 ,b298,b299,b300,b301,b302,b303,b304,b305,b306,b307,b308,b309,b310 ,b311,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322,b323 ,b324,b325,b326; Equations e1; e1.. 2*b2*b3 - 2*b2*b38 - 2*b2*b148 + 4*b148 + 2*b2*b149 + 2*b149 - 2*b3*b146 + 2*b146 - 2*b3*b165 + 4*b165 + 2*b3*b278 - 4*b278 - 2*b4*b169 + 2*b169 + 2*b4*b186 - 2*b186 + 2*b4*b257 + 2*b257 - 2*b4*b284 + 4*b284 + 2*b5*b6 - 2*b5*b99 + 2*b99 + 2*b5*b236 + 2*b236 - 2*b5*b326 + 2*b326 - 2*b6*b15 - 2*b6*b100 + 2*b100 + 2*b6*b325 + 2*b325 + 2*b7*b8 - 2*b7*b161 + 2*b161 - 2*b7*b271 + 2*b271 + 2*b7*b303 - 2*b303 - 2*b8*b105 + 2*b105 - 2*b8* b107 + 2*b107 + 2*b8*b218 - 2*b218 - 2*b9*b19 + 2*b9*b99 + 2*b9*b259 - 2* b259 - 2*b9*b289 + 2*b289 + 2*b10*b11 + 2*b10*b21 - 2*b10*b27 - 2*b10*b143 + 2*b143 - 2*b11*b68 + 2*b12*b13 - 2*b12*b14 + 2*b12*b44 - 2*b12*b245 + 2 *b245 + 2*b13*b39 - 2*b13*b104 + 2*b104 - 2*b13*b105 + 2*b14*b53 - 2*b14* b109 + 4*b109 + 2*b14*b269 - 4*b269 - 2*b15*b186 + 2*b15*b286 - 2*b286 + 2 *b15*b323 + 2*b323 + 2*b16*b101 + 2*b101 - 2*b16*b158 + 2*b158 + 2*b17*b18 - 2*b17*b32 + 2*b17*b202 - 2*b202 - 2*b17*b273 + 2*b273 - 2*b18*b36 - 2* b18*b110 + 2*b110 + 2*b18*b306 + 2*b306 + 2*b19*b55 + 2*b19*b209 + 2*b209 - 2*b19*b319 + 4*b319 - 2*b20*b169 - 2*b20*b289 + 2*b20*b290 + 2*b290 + 2 *b20*b320 - 2*b320 + 2*b21*b52 - 2*b21*b103 + 2*b103 - 2*b21*b144 + 2*b144 + 2*b22*b23 + 2*b22*b29 - 2*b22*b106 + 4*b106 - 2*b22*b162 + 4*b162 - 2* b23*b52 - 2*b23*b175 + 2*b175 + 2*b23*b216 + 2*b216 + 2*b24*b25 - 2*b24* b164 + 2*b164 + 2*b24*b222 - 4*b222 - 2*b24*b247 + 2*b247 + 2*b25*b36 - 2* b25*b108 + 2*b108 - 2*b25*b163 + 2*b163 - 2*b26*b202 + 2*b26*b204 + 2*b204 + 2*b26*b222 - 2*b26*b225 + 4*b225 + 2*b27*b48 - 2*b27*b159 + 2*b159 + 2* b27*b293 + 2*b293 - 2*b28*b48 + 2*b28*b91 + 2*b28*b102 + 2*b102 - 2*b28* b159 - 2*b29*b102 + 2*b29*b244 + 2*b244 - 2*b29*b270 + 4*b270 + 2*b30*b134 + 2*b134 + 2*b30*b218 - 2*b30*b244 - 2*b30*b273 - 2*b31*b32 + 2*b31*b42 + 2*b31*b250 - 4*b250 - 2*b31*b253 + 4*b253 + 2*b32*b65 + 2*b32*b180 - 2* b180 - 2*b33*b101 + 2*b33*b117 - 2*b117 - 2*b33*b175 + 2*b33*b263 + 2*b263 + 2*b34*b94 + 2*b34*b104 - 2*b34*b117 - 2*b34*b144 + 2*b35*b74 - 2*b35* b104 - 2*b35*b144 + 2*b35*b178 + 2*b178 + 2*b36*b39 - 2*b36*b219 + 2*b219 - 2*b37*b164 + 2*b37*b224 - 2*b224 + 2*b37*b276 - 4*b276 - 2*b37*b279 + 4 *b279 + 2*b38*b50 + 2*b38*b224 - 2*b38*b227 + 4*b227 - 2*b39*b197 + 2*b197 - 2*b39*b199 + 4*b199 - 2*b40*b147 + 4*b147 + 2*b40*b252 - 2*b252 + 2*b40 *b307 - 2*b307 - 2*b40*b310 + 4*b310 - 2*b41*b42 + 2*b41*b46 - 2*b41*b166 + 2*b166 + 2*b41*b252 + 2*b42*b88 - 2*b42*b180 + 2*b43*b80 - 2*b43*b168 + 4*b168 - 2*b43*b229 + 4*b229 + 2*b43*b286 - 2*b44*b200 + 2*b200 - 2*b44 *b273 + 2*b44*b301 - 2*b301 - 2*b45*b87 + 2*b45*b146 + 2*b45*b273 - 2*b45* b274 + 2*b274 - 2*b46*b114 + 2*b114 + 2*b46*b127 + 2*b127 - 2*b46*b137 + 4 *b137 + 2*b47*b76 - 2*b47*b151 + 4*b151 - 2*b47*b207 + 4*b207 + 2*b47*b259 - 2*b48*b106 + 2*b48*b265 + 2*b265 - 2*b49*b93 + 2*b49*b247 - 2*b49*b248 + 2*b248 + 2*b49*b307 - 2*b50*b118 + 2*b118 + 2*b50*b123 + 2*b123 - 2*b50 *b150 + 4*b150 + 2*b51*b71 - 2*b51*b138 + 4*b138 - 2*b51*b183 + 4*b183 + 2 *b51*b231 - 2*b231 + 2*b52*b241 + 2*b241 - 2*b52*b297 - 2*b297 - 2*b53*b92 + 2*b53*b297 - 2*b53*b300 + 4*b300 + 2*b54*b122 + 2*b122 - 2*b54*b149 + 2 *b54*b203 - 2*b203 - 2*b54*b277 + 2*b277 - 2*b55*b128 + 2*b128 - 2*b55* b168 + 2*b55*b287 + 2*b287 + 2*b56*b112 + 2*b112 - 2*b56*b176 + 2*b176 + 2 *b56*b215 + 2*b215 - 2*b56*b267 - 2*b267 + 2*b57*b126 + 2*b126 - 2*b57* b136 + 4*b136 + 2*b57*b223 - 2*b223 - 2*b57*b251 + 2*b251 - 2*b58*b84 + 2* b58*b144 - 2*b58*b193 + 2*b193 + 2*b58*b296 - 2*b296 + 2*b59*b217 + 2*b217 - 2*b59*b245 - 2*b59*b268 + 4*b268 + 2*b59*b303 - 2*b60*b79 + 2*b60*b83 + 2*b60*b222 - 2*b60*b305 + 2*b305 + 2*b61*b64 + 2*b61*b124 + 2*b124 - 2* b61*b130 + 4*b130 - 2*b61*b139 + 4*b139 - 2*b62*b68 + 2*b62*b159 - 2*b62* b239 + 2*b239 + 2*b62*b266 - 2*b266 + 2*b63*b79 - 2*b63*b165 + 2*b63*b202 - 2*b63*b274 + 2*b64*b67 - 2*b64*b129 + 2*b129 - 2*b64*b152 + 2*b152 - 2* b65*b147 + 2*b65*b201 + 2*b201 - 2*b65*b248 + 2*b66*b254 + 2*b254 + 2*b66* b309 - 2*b309 - 2*b66*b310 - 2*b66*b313 + 2*b313 + 2*b67*b71 - 2*b67*b139 - 2*b67*b287 + 2*b68*b132 - 2*b132 + 2*b68*b294 - 2*b294 + 2*b69*b164 - 2 *b69*b165 - 2*b69*b224 + 2*b69*b278 + 2*b70*b278 - 2*b70*b279 + 2*b70*b280 + 2*b280 - 2*b70*b281 + 2*b281 - 2*b71*b258 + 4*b258 - 2*b71*b260 + 2* b260 + 2*b72*b80 - 2*b72*b139 + 2*b72*b169 - 2*b72*b170 + 4*b170 + 2*b73* b193 - 2*b73*b293 - 2*b74*b92 + 2*b74*b294 - 2*b74*b295 + 2*b295 - 2*b75* b89 + 2*b75*b252 - 2*b75*b253 + 2*b75*b312 + 2*b312 + 2*b76*b152 - 2*b76* b230 + 4*b230 - 2*b76*b232 + 2*b232 + 2*b77*b214 + 2*b214 - 2*b77*b263 - 2 *b78*b95 + 2*b78*b160 + 2*b160 + 2*b78*b264 - 2*b264 - 2*b78*b265 + 2*b79* b82 - 2*b79*b246 + 2*b246 - 2*b80*b208 + 4*b208 - 2*b80*b209 + 2*b81*b239 - 2*b81*b240 + 2*b240 + 2*b82*b218 - 2*b82*b219 - 2*b82*b221 + 2*b221 + 2 *b83*b180 - 2*b83*b306 - 2*b83*b308 + 2*b308 + 2*b84*b85 + 2*b84*b86 - 2* b84*b265 - 2*b85*b292 + 2*b292 - 2*b86*b293 + 2*b87*b203 + 2*b87*b275 - 2* b275 - 2*b87*b277 + 2*b88*b89 - 2*b88*b204 - 2*b88*b281 + 2*b89*b206 + 2* b206 - 2*b89*b255 + 4*b255 - 2*b90*b263 + 2*b90*b292 + 2*b91*b92 - 2*b91* b217 - 2*b91*b242 + 2*b242 + 2*b92*b296 + 2*b93*b223 + 2*b93*b249 - 2*b249 - 2*b93*b251 + 2*b94*b95 - 2*b94*b242 - 2*b94*b268 + 2*b95*b266 - 2*b95* b298 + 2*b298 + 2*b96*b97 - 2*b96*b262 + 4*b262 - 2*b97*b98 + 2*b97*b324 + 2*b324 - 2*b97*b325 + 2*b98*b326 - 2*b99*b100 - 2*b99*b234 + 2*b234 - 2 *b100*b187 + 4*b187 + 2*b100*b231 - 2*b101*b112 - 2*b101*b157 + 2*b157 - 2 *b102*b176 - 2*b102*b299 + 2*b299 + 2*b103*b132 - 2*b103*b133 + 2*b133 - 2 *b103*b174 + 2*b174 - 2*b104*b299 - 2*b105*b160 + 2*b105*b267 - 2*b106* b109 - 2*b106*b113 + 2*b113 - 2*b107*b161 - 2*b107*b177 + 2*b177 + 2*b107* b297 + 2*b108*b243 - 2*b243 - 2*b108*b247 - 2*b108*b270 - 2*b109*b161 - 2* b109*b195 + 2*b195 - 2*b110*b220 + 2*b220 + 2*b110*b269 - 2*b110*b302 + 4* b302 - 2*b111*b115 + 2*b111 + 2*b115 - 2*b111*b326 - 2*b112*b113 - 2*b112* b158 - 2*b113*b133 + 2*b113*b267 - 2*b114*b181 + 4*b181 - 2*b114*b204 + 2* b114*b278 - 2*b115*b116 + 2*b116 + 2*b115*b140 + 2*b140 - 2*b115*b154 + 4* b154 - 2*b116*b120 + 2*b120 + 2*b117*b295 + 2*b117*b297 - 2*b118*b205 + 4* b205 - 2*b118*b225 + 2*b118*b309 - 2*b119*b128 + 2*b119 - 2*b119*b138 + 2* b119*b166 - 2*b119*b205 - 2*b120*b121 + 2*b121 + 2*b120*b129 - 2*b120*b171 + 4*b171 - 2*b121*b124 - 2*b122*b166 - 2*b122*b226 + 4*b226 - 2*b122*b253 - 2*b123*b138 - 2*b123*b151 - 2*b123*b226 - 2*b124*b125 + 2*b125 - 2*b124 *b190 + 4*b190 - 2*b125*b130 - 2*b126*b181 - 2*b126*b254 - 2*b126*b279 - 2 *b127*b151 - 2*b127*b168 - 2*b127*b254 - 2*b128*b314 + 4*b314 + 2*b128* b318 - 2*b318 - 2*b129*b141 + 4*b141 - 2*b129*b153 + 4*b153 - 2*b130*b131 + 2*b131 - 2*b130*b211 + 4*b211 - 2*b131*b141 - 2*b133*b194 + 2*b194 + 2* b133*b240 - 2*b134*b135 + 2*b135 - 2*b134*b145 + 2*b145 - 2*b134*b199 - 2* b135*b146 - 2*b135*b164 + 2*b135*b221 - 2*b136*b205 - 2*b136*b280 - 2*b136 *b310 - 2*b137*b168 - 2*b137*b183 - 2*b137*b280 - 2*b138*b184 + 4*b184 - 2 *b139*b140 - 2*b140*b155 + 4*b155 - 2*b140*b170 - 2*b141*b142 + 2*b142 - 2 *b141*b235 + 4*b235 - 2*b142*b155 - 2*b143*b193 - 2*b145*b147 - 2*b145* b220 + 2*b145*b250 - 2*b146*b148 - 2*b147*b148 - 2*b148*b252 - 2*b149*b226 - 2*b149*b312 - 2*b150*b183 - 2*b150*b207 - 2*b150*b312 - 2*b151*b318 - 2 *b152*b153 - 2*b152*b321 + 2*b321 - 2*b153*b154 - 2*b153*b188 + 2*b188 - 2 *b154*b172 + 4*b172 - 2*b154*b189 + 4*b189 - 2*b155*b156 + 2*b156 - 2*b155 *b324 - 2*b156*b172 - 2*b157*b214 - 2*b158*b238 + 2*b238 + 2*b158*b264 - 2 *b159*b160 - 2*b160*b178 + 2*b161*b243 - 2*b162*b178 - 2*b162*b198 + 2* b198 - 2*b162*b243 - 2*b163*b165 - 2*b163*b200 + 2*b163*b276 - 2*b166*b167 + 2*b167 - 2*b167*b207 - 2*b167*b229 + 2*b167*b313 - 2*b169*b184 - 2*b170 *b171 - 2*b170*b209 - 2*b171*b191 + 4*b191 - 2*b171*b210 + 4*b210 - 2*b172 *b173 + 2*b173 - 2*b172*b291 + 2*b291 - 2*b173*b191 - 2*b174*b239 - 2*b175 *b177 + 2*b175*b264 - 2*b176*b194 + 2*b176*b196 + 2*b196 - 2*b177*b196 + 2 *b177*b266 - 2*b178*b179 + 2*b179 - 2*b179*b196 - 2*b179*b218 + 2*b179* b269 + 2*b180*b309 - 2*b181*b182 + 2*b182 - 2*b181*b314 - 2*b182*b229 - 2* b182*b256 + 4*b256 + 2*b182*b281 - 2*b183*b185 + 2*b185 - 2*b184*b187 - 2* b184*b317 + 4*b317 - 2*b185*b187 - 2*b185*b256 + 2*b185*b320 + 2*b186*b188 + 2*b186*b318 - 2*b187*b188 - 2*b188*b189 - 2*b189*b190 - 2*b189*b232 - 2 *b190*b212 + 2*b212 - 2*b190*b233 + 4*b233 - 2*b191*b192 + 2*b192 - 2*b191 *b325 - 2*b192*b212 - 2*b193*b294 - 2*b194*b195 + 2*b194*b294 - 2*b195* b216 + 2*b195*b296 - 2*b196*b197 - 2*b197*b216 + 2*b197*b301 - 2*b198*b199 + 2*b198*b242 - 2*b198*b271 - 2*b199*b201 - 2*b200*b245 + 2*b200*b275 - 2 *b201*b272 + 2*b272 - 2*b201*b275 + 2*b202*b203 - 2*b203*b204 - 2*b205* b206 - 2*b206*b256 - 2*b206*b283 + 4*b283 - 2*b207*b208 - 2*b208*b283 - 2* b208*b320 - 2*b209*b210 - 2*b210*b211 - 2*b210*b260 - 2*b211*b236 - 2*b211 *b261 + 4*b261 - 2*b212*b213 + 2*b213 + 2*b212*b234 - 2*b213*b236 - 2*b214 *b215 - 2*b214*b264 - 2*b215*b292 - 2*b215*b296 - 2*b216*b217 - 2*b217* b219 + 2*b219*b299 + 2*b220*b249 - 2*b220*b271 - 2*b221*b249 - 2*b221*b304 + 2*b304 + 2*b222*b223 - 2*b223*b225 + 2*b224*b311 + 2*b311 - 2*b225*b311 - 2*b226*b228 + 4*b228 - 2*b227*b228 - 2*b227*b311 - 2*b227*b314 - 2*b228 *b283 - 2*b228*b316 + 4*b316 - 2*b229*b230 - 2*b230*b286 - 2*b230*b316 + 2 *b231*b232 - 2*b231*b285 + 4*b285 - 2*b232*b233 - 2*b233*b235 - 2*b233* b288 + 2*b288 - 2*b234*b262 - 2*b234*b289 - 2*b235*b262 - 2*b235*b290 - 2* b236*b237 + 2*b237 - 2*b237*b262 - 2*b238*b240 - 2*b239*b241 - 2*b240*b241 - 2*b241*b266 - 2*b242*b244 + 2*b243*b246 - 2*b244*b246 + 2*b245*b248 - 2 *b246*b248 - 2*b247*b303 + 2*b249*b276 + 2*b250*b251 + 2*b250*b275 - 2* b251*b253 - 2*b254*b255 - 2*b255*b257 - 2*b255*b316 - 2*b256*b258 - 2*b257 *b258 - 2*b257*b282 + 4*b282 - 2*b258*b259 + 2*b259*b260 - 2*b260*b261 - 2 *b261*b322 + 2*b322 - 2*b261*b324 - 2*b263*b265 + 2*b267*b298 - 2*b268* b270 - 2*b268*b298 + 2*b269*b272 - 2*b270*b272 + 2*b271*b274 - 2*b272*b274 + 2*b276*b277 - 2*b277*b279 - 2*b280*b282 - 2*b281*b282 - 2*b282*b284 - 2 *b283*b285 - 2*b284*b285 - 2*b284*b315 + 4*b315 - 2*b285*b287 + 2*b286* b288 - 2*b287*b288 - 2*b288*b290 + 2*b289*b291 - 2*b290*b291 - 2*b291*b326 - 2*b292*b295 - 2*b293*b295 - 2*b298*b300 - 2*b299*b302 - 2*b300*b301 - 2 *b300*b302 + 2*b301*b304 - 2*b302*b304 + 2*b303*b305 - 2*b304*b305 - 2* b305*b306 - 2*b306*b307 + 2*b307*b308 - 2*b308*b309 - 2*b308*b310 - 2*b311 *b313 - 2*b312*b315 - 2*b313*b315 - 2*b314*b317 - 2*b315*b317 - 2*b316* b319 - 2*b317*b319 + 2*b318*b321 - 2*b319*b321 + 2*b320*b322 - 2*b321*b322 - 2*b322*b323 - 2*b323*b324 - 2*b323*b325 - objvar =E= 0; Model m / all /; m.limrow=0; m.limcol=0; $if NOT '%gams.u1%' == '' $include '%gams.u1%' m.tolproj = 0.0; $if not set MIQCP $set MIQCP MIQCP Solve m using %MIQCP% maximizing objvar;