$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 * 631 1 630 0 0 0 0 0 * FX 0 0 0 0 0 0 0 0 * * Nonzero counts * Total const NL DLL * 631 1 630 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,b327,b328,b329,b330,b331,b332,b333,b334,b335,b336 ,b337,b338,b339,b340,b341,b342,b343,b344,b345,b346,b347,b348,b349 ,b350,b351,b352,b353,b354,b355,b356,b357,b358,b359,b360,b361,b362 ,b363,b364,b365,b366,b367,b368,b369,b370,b371,b372,b373,b374,b375 ,b376,b377,b378,b379,b380,b381,b382,b383,b384,b385,b386,b387,b388 ,b389,b390,b391,b392,b393,b394,b395,b396,b397,b398,b399,b400,b401 ,b402,b403,b404,b405,b406,b407,b408,b409,b410,b411,b412,b413,b414 ,b415,b416,b417,b418,b419,b420,b421,b422,b423,b424,b425,b426,b427 ,b428,b429,b430,b431,b432,b433,b434,b435,b436,b437,b438,b439,b440 ,b441,b442,b443,b444,b445,b446,b447,b448,b449,b450,b451,b452,b453 ,b454,b455,b456,b457,b458,b459,b460,b461,b462,b463,b464,b465,b466 ,b467,b468,b469,b470,b471,b472,b473,b474,b475,b476,b477,b478,b479 ,b480,b481,b482,b483,b484,b485,b486,b487,b488,b489,b490,b491,b492 ,b493,b494,b495,b496,b497,b498,b499,b500,b501,b502,b503,b504,b505 ,b506,b507,b508,b509,b510,b511,b512,b513,b514,b515,b516,b517,b518 ,b519,b520,b521,b522,b523,b524,b525,b526,b527,b528,b529,b530,b531 ,b532,b533,b534,b535,b536,b537,b538,b539,b540,b541,b542,b543,b544 ,b545,b546,b547,b548,b549,b550,b551,b552,b553,b554,b555,b556,b557 ,b558,b559,b560,b561,b562,b563,b564,b565,b566,b567,b568,b569,b570 ,b571,b572,b573,b574,b575,b576,b577,b578,b579,b580,b581,b582,b583 ,b584,b585,b586,b587,b588,b589,b590,b591,b592,b593,b594,b595,b596 ,b597,b598,b599,b600,b601,b602,b603,b604,b605,b606,b607,b608,b609 ,b610,b611,b612,b613,b614,b615,b616,b617,b618,b619,b620,b621,b622 ,b623,b624,b625,b626,b627,b628,b629,b630,b631; 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,b327,b328,b329,b330,b331,b332,b333,b334,b335,b336 ,b337,b338,b339,b340,b341,b342,b343,b344,b345,b346,b347,b348,b349 ,b350,b351,b352,b353,b354,b355,b356,b357,b358,b359,b360,b361,b362 ,b363,b364,b365,b366,b367,b368,b369,b370,b371,b372,b373,b374,b375 ,b376,b377,b378,b379,b380,b381,b382,b383,b384,b385,b386,b387,b388 ,b389,b390,b391,b392,b393,b394,b395,b396,b397,b398,b399,b400,b401 ,b402,b403,b404,b405,b406,b407,b408,b409,b410,b411,b412,b413,b414 ,b415,b416,b417,b418,b419,b420,b421,b422,b423,b424,b425,b426,b427 ,b428,b429,b430,b431,b432,b433,b434,b435,b436,b437,b438,b439,b440 ,b441,b442,b443,b444,b445,b446,b447,b448,b449,b450,b451,b452,b453 ,b454,b455,b456,b457,b458,b459,b460,b461,b462,b463,b464,b465,b466 ,b467,b468,b469,b470,b471,b472,b473,b474,b475,b476,b477,b478,b479 ,b480,b481,b482,b483,b484,b485,b486,b487,b488,b489,b490,b491,b492 ,b493,b494,b495,b496,b497,b498,b499,b500,b501,b502,b503,b504,b505 ,b506,b507,b508,b509,b510,b511,b512,b513,b514,b515,b516,b517,b518 ,b519,b520,b521,b522,b523,b524,b525,b526,b527,b528,b529,b530,b531 ,b532,b533,b534,b535,b536,b537,b538,b539,b540,b541,b542,b543,b544 ,b545,b546,b547,b548,b549,b550,b551,b552,b553,b554,b555,b556,b557 ,b558,b559,b560,b561,b562,b563,b564,b565,b566,b567,b568,b569,b570 ,b571,b572,b573,b574,b575,b576,b577,b578,b579,b580,b581,b582,b583 ,b584,b585,b586,b587,b588,b589,b590,b591,b592,b593,b594,b595,b596 ,b597,b598,b599,b600,b601,b602,b603,b604,b605,b606,b607,b608,b609 ,b610,b611,b612,b613,b614,b615,b616,b617,b618,b619,b620,b621,b622 ,b623,b624,b625,b626,b627,b628,b629,b630,b631; Equations e1; e1.. 2*b2*b3 - 2*b2*b97 + 2*b2*b296 + 2*b296 - 2*b2*b312 + 4*b312 - 2*b3*b96 + 2*b3*b284 - 2*b284 - 2*b3*b311 + 4*b311 + 2*b4*b51 - 2*b4*b316 + 2*b316 + 2*b4*b471 + 2*b471 - 2*b4*b503 + 4*b503 - 2*b5*b6 + 2*b5*b416 - 2*b416 + 2 *b5*b474 - 2*b474 - 2*b5*b540 + 2*b540 + 2*b6*b21 - 2*b6*b383 + 4*b383 + 2 *b6*b413 - 2*b413 + 2*b7*b8 - 2*b7*b113 - 2*b7*b280 + 2*b280 + 2*b7*b390 - 2*b390 - 2*b8*b72 - 2*b8*b132 + 2*b8*b587 - 2*b587 - 2*b9*b248 + 2*b248 - 2*b9*b316 + 2*b9*b508 + 2*b508 + 2*b9*b537 - 2*b537 + 2*b10*b11 - 2*b10 *b121 - 2*b10*b273 + 2*b273 + 2*b10*b365 - 2*b365 - 2*b11*b86 - 2*b11*b120 + 2*b11*b322 - 4*b322 - 2*b12*b63 + 2*b12*b303 - 2*b303 + 2*b12*b367 + 2* b367 - 2*b12*b392 + 4*b392 + 2*b13*b14 - 2*b13*b79 + 2*b13*b157 - 2*b13* b397 + 2*b397 - 2*b14*b295 + 2*b295 - 2*b14*b519 - 2*b519 + 2*b14*b554 - 2 *b554 - 2*b15*b76 + 2*b15*b292 - 2*b292 + 2*b15*b343 + 2*b343 - 2*b15*b422 + 4*b422 + 2*b16*b17 + 2*b16*b146 - 2*b16*b307 + 2*b307 - 2*b16*b351 + 2* b351 - 2*b17*b103 + 2*b17*b517 - 2*b517 - 2*b17*b556 - 2*b556 + 2*b18*b19 + 2*b18*b127 - 2*b18*b262 + 2*b262 - 2*b18*b458 + 2*b458 + 2*b19*b93 - 2* b19*b249 + 2*b249 - 2*b19*b254 + 2*b254 + 2*b20*b21 - 2*b20*b248 + 2*b20* b418 + 2*b418 - 2*b20*b542 + 4*b542 - 2*b21*b581 + 2*b581 - 2*b21*b584 + 4 *b584 - 2*b22*b89 + 2*b22*b281 - 2*b281 + 2*b22*b324 + 2*b324 - 2*b22*b450 + 4*b450 + 2*b23*b293 - 2*b293 + 2*b23*b396 + 2*b396 - 2*b23*b482 + 4* b482 - 2*b23*b597 + 4*b597 + 2*b24*b25 + 2*b24*b136 - 2*b24*b328 + 2*b328 - 2*b24*b373 + 2*b373 - 2*b25*b90 + 2*b25*b486 - 2*b486 - 2*b25*b599 - 2* b599 + 2*b26*b27 - 2*b26*b28 + 2*b26*b116 - 2*b26*b148 - 2*b27*b44 - 2*b27 *b251 + 2*b251 + 2*b27*b524 + 2*b524 + 2*b28*b115 - 2*b28*b251 + 2*b28* b602 + 2*b602 + 2*b29*b30 - 2*b29*b70 + 2*b29*b434 - 2*b434 - 2*b29*b461 + 2*b461 - 2*b30*b116 + 2*b30*b117 - 2*b30*b252 + 2*b252 - 2*b31*b32 + 2* b31*b442 - 2*b442 + 2*b31*b627 + 2*b627 - 2*b31*b628 + 2*b628 + 2*b32*b384 + 2*b384 - 2*b32*b579 + 4*b579 + 2*b32*b623 - 2*b623 - 2*b33*b294 + 4* b294 + 2*b33*b304 - 4*b304 + 2*b33*b372 + 2*b372 - 2*b33*b426 + 4*b426 + 2 *b34*b124 + 2*b34*b274 - 2*b274 - 2*b34*b350 + 4*b350 - 2*b34*b400 + 2* b400 + 2*b35*b329 - 2*b329 - 2*b35*b331 + 4*b331 - 2*b35*b559 + 2*b559 + 2 *b35*b560 - 2*b560 - 2*b36*b37 + 2*b36*b107 - 2*b36*b159 + 2*b36*b560 + 2* b37*b125 + 2*b37*b126 - 2*b37*b254 + 2*b38*b39 - 2*b38*b82 - 2*b38*b432 + 2*b432 + 2*b38*b464 - 2*b464 - 2*b39*b68 - 2*b39*b107 + 2*b39*b108 + 2*b40 *b161 + 2*b40*b186 - 2*b40*b506 - 2*b506 - 2*b40*b624 + 4*b624 - 2*b41*b42 - 2*b41*b133 + 2*b41*b204 + 2*b41*b478 + 2*b478 + 2*b42*b169 + 2*b42*b170 - 2*b42*b341 + 2*b341 - 2*b43*b305 + 4*b305 + 2*b43*b325 - 4*b325 + 2*b43 *b348 + 2*b348 - 2*b43*b454 + 4*b454 - 2*b44*b45 + 2*b44*b352 - 2*b352 + 2 *b44*b603 - 2*b603 - 2*b45*b136 + 2*b45*b206 + 2*b45*b210 - 2*b46*b47 + 2* b46*b94 - 2*b46*b525 + 2*b525 + 2*b46*b603 + 2*b47*b138 - 2*b47*b256 + 2* b256 + 2*b47*b431 - 2*b431 + 2*b48*b49 - 2*b48*b355 + 2*b355 - 2*b48*b406 + 2*b406 + 2*b48*b495 - 4*b495 - 2*b49*b80 - 2*b49*b94 + 2*b49*b567 + 2* b567 + 2*b50*b140 - 2*b50*b436 + 4*b436 - 2*b50*b464 + 2*b50*b495 + 2*b51* b175 - 2*b51*b381 + 4*b381 - 2*b51*b474 + 2*b52*b197 + 2*b52*b449 + 2*b449 - 2*b52*b511 + 4*b511 - 2*b52*b590 + 2*b590 - 2*b53*b197 + 2*b53*b245 + 2 *b53*b303 - 2*b53*b513 + 2*b513 - 2*b54*b326 + 4*b326 + 2*b54*b345 - 4* b345 + 2*b54*b347 - 2*b347 - 2*b54*b485 + 4*b485 + 2*b55*b347 - 2*b55*b397 + 2*b55*b555 - 2*b555 - 2*b55*b597 - 2*b56*b104 + 2*b56*b249 - 2*b56*b400 + 2*b56*b457 + 2*b457 - 2*b57*b332 + 2*b332 - 2*b57*b376 + 2*b376 + 2*b57 *b529 - 4*b529 + 2*b57*b608 - 2*b608 + 2*b58*b130 - 2*b58*b434 - 2*b58* b465 + 4*b465 + 2*b58*b529 + 2*b59*b60 + 2*b59*b62 - 2*b59*b260 + 2*b260 - 2*b59*b449 - 2*b60*b280 + 2*b61*b62 + 2*b61*b188 - 2*b61*b324 - 2*b61* b546 + 4*b546 - 2*b62*b180 - 2*b62*b420 - 2*b420 + 2*b63*b64 - 2*b63*b326 + 2*b63*b369 - 4*b369 - 2*b64*b188 + 2*b64*b241 - 2*b64*b481 + 2*b481 - 2 *b65*b346 + 4*b346 + 2*b65*b369 + 2*b65*b371 - 2*b371 - 2*b65*b516 + 4* b516 - 2*b66*b172 - 2*b66*b348 + 2*b66*b371 + 2*b66*b518 - 2*b518 - 2*b67* b91 + 2*b67*b250 + 2*b250 - 2*b67*b373 + 2*b67*b490 + 2*b490 + 2*b68*b106 + 2*b68*b282 + 2*b282 - 2*b68*b563 + 2*b563 - 2*b69*b70 + 2*b69*b118 - 2* b69*b497 + 4*b497 + 2*b69*b568 - 4*b568 + 2*b70*b184 + 2*b70*b408 - 2*b408 + 2*b71*b72 - 2*b71*b73 + 2*b71*b75 - 2*b71*b478 + 2*b73*b586 + 2*b586 + 2*b74*b75 + 2*b74*b179 - 2*b74*b343 - 2*b74*b588 + 4*b588 - 2*b75*b189 - 2 *b75*b389 - 2*b389 - 2*b76*b346 + 2*b76*b393 - 4*b393 + 2*b76*b452 + 2* b452 - 2*b77*b370 + 4*b370 + 2*b77*b393 + 2*b77*b395 - 2*b395 - 2*b77*b553 + 4*b553 + 2*b78*b145 - 2*b78*b274 - 2*b78*b372 + 2*b78*b395 + 2*b79*b428 - 2*b428 + 2*b79*b488 + 2*b488 - 2*b79*b559 + 2*b80*b93 - 2*b80*b524 + 2* b80*b608 - 2*b81*b82 + 2*b81*b109 - 2*b81*b531 + 4*b531 + 2*b81*b612 - 2* b612 + 2*b82*b194 + 2*b82*b377 - 2*b377 + 2*b83*b84 - 2*b83*b382 + 4*b382 + 2*b83*b581 - 2*b83*b626 + 4*b626 + 2*b84*b219 - 2*b84*b359 + 4*b359 - 2 *b84*b502 + 4*b502 + 2*b85*b86 - 2*b85*b87 + 2*b85*b88 - 2*b85*b511 + 2* b87*b169 - 2*b88*b198 - 2*b88*b364 - 2*b364 + 2*b88*b365 - 2*b89*b370 + 2* b89*b424 + 2*b424 + 2*b89*b594 - 2*b594 + 2*b90*b135 - 2*b90*b396 + 2*b90* b425 - 2*b425 + 2*b91*b92 + 2*b91*b456 - 2*b456 - 2*b91*b520 + 4*b520 - 2* b92*b135 + 2*b92*b236 - 2*b92*b558 - 2*b558 - 2*b93*b491 + 4*b491 - 2*b93* b492 + 2*b492 + 2*b94*b126 - 2*b94*b461 + 2*b95*b96 - 2*b95*b355 + 2*b95* b570 - 2*b570 - 2*b95*b571 + 4*b571 + 2*b96*b117 - 2*b96*b567 + 2*b97*b110 - 2*b97*b438 + 4*b438 + 2*b97*b570 + 2*b98*b215 - 2*b98*b336 + 4*b336 - 2 *b98*b470 + 4*b470 + 2*b98*b537 + 2*b99*b100 - 2*b99*b101 + 2*b99*b102 - 2 *b99*b546 - 2*b100*b585 + 2*b585 + 2*b101*b178 - 2*b102*b205 - 2*b102*b341 + 2*b102*b390 + 2*b103*b123 - 2*b103*b426 + 2*b103*b453 - 2*b453 + 2*b104 *b105 + 2*b104*b489 - 2*b489 - 2*b104*b557 + 4*b557 - 2*b105*b123 + 2*b105 *b231 - 2*b105*b601 - 2*b601 + 2*b106*b458 - 2*b106*b459 + 4*b459 - 2*b106 *b460 + 2*b460 + 2*b107*b431 - 2*b107*b432 - 2*b108*b224 + 2*b108*b310 + 2 *b310 - 2*b108*b527 + 2*b527 - 2*b109*b253 + 2*b253 - 2*b109*b333 - 2*b333 + 2*b109*b572 + 2*b572 - 2*b110*b253 + 2*b110*b286 + 2*b286 - 2*b110*b297 + 4*b297 + 2*b111*b212 - 2*b111*b315 + 4*b315 - 2*b111*b440 + 4*b440 + 2* b111*b505 - 2*b505 + 2*b112*b187 - 2*b112*b585 + 2*b113*b323 - 2*b323 + 2* b113*b366 - 2*b366 - 2*b113*b422 + 2*b114*b137 - 2*b114*b352 + 2*b114*b399 - 2*b399 - 2*b114*b600 + 4*b600 - 2*b115*b223 + 2*b115*b252 - 2*b115*b430 + 2*b430 + 2*b116*b147 - 2*b116*b406 - 2*b117*b228 - 2*b117*b493 + 2*b493 - 2*b118*b255 + 2*b255 - 2*b118*b356 - 2*b356 + 2*b118*b532 + 2*b532 + 2* b119*b208 - 2*b119*b298 + 4*b298 - 2*b119*b411 + 4*b411 + 2*b119*b473 - 2* b473 + 2*b120*b196 + 2*b121*b322 + 2*b121*b342 - 2*b342 - 2*b121*b450 + 2* b122*b483 + 2*b483 + 2*b122*b513 - 2*b122*b514 + 4*b514 - 2*b122*b550 + 4* b550 - 2*b123*b306 + 2*b306 + 2*b123*b398 - 4*b398 - 2*b124*b329 + 2*b124* b398 - 2*b124*b559 - 2*b125*b238 + 2*b125*b559 - 2*b125*b561 + 4*b561 - 2* b126*b403 + 2*b403 - 2*b126*b405 + 4*b405 + 2*b127*b158 - 2*b127*b376 - 2* b127*b461 - 2*b128*b234 + 2*b128*b461 - 2*b128*b462 + 2*b462 + 2*b128*b612 + 2*b129*b257 + 2*b257 - 2*b129*b285 + 4*b285 + 2*b129*b377 - 2*b129*b614 + 2*b614 - 2*b130*b257 - 2*b130*b377 + 2*b130*b498 + 2*b498 + 2*b131*b203 - 2*b131*b287 + 2*b287 - 2*b131*b380 + 4*b380 + 2*b131*b442 + 2*b132*b420 - 2*b133*b344 + 2*b344 + 2*b133*b479 + 2*b479 + 2*b133*b589 + 2*b589 + 2* b134*b166 + 2*b134*b481 - 2*b134*b551 + 4*b551 - 2*b134*b593 + 4*b593 - 2* b135*b327 + 2*b327 + 2*b135*b427 - 2*b427 - 2*b136*b137 + 2*b136*b427 + 2* b137*b138 - 2*b137*b602 - 2*b138*b243 - 2*b138*b522 + 4*b522 + 2*b139*b258 + 2*b258 - 2*b139*b275 + 4*b275 + 2*b139*b408 - 2*b139*b569 + 2*b569 - 2* b140*b258 - 2*b140*b408 + 2*b140*b466 + 2*b466 - 2*b141*b150 - 2*b141*b359 + 2*b141*b413 + 2*b141*b580 + 2*b580 + 2*b142*b162 - 2*b142*b264 + 2*b264 + 2*b142*b319 + 2*b319 - 2*b142*b338 + 4*b338 - 2*b143*b280 + 2*b143*b389 + 2*b144*b235 - 2*b144*b451 + 2*b451 - 2*b144*b452 + 2*b144*b594 - 2*b145 *b349 + 2*b349 + 2*b145*b455 - 2*b455 - 2*b145*b488 - 2*b146*b308 + 2*b308 + 2*b146*b455 - 2*b146*b489 - 2*b147*b211 + 2*b147*b460 - 2*b147*b604 + 4 *b604 - 2*b148*b406 + 2*b148*b562 - 2*b562 + 2*b148*b609 + 2*b609 + 2*b149 *b261 + 2*b261 - 2*b149*b269 + 4*b269 + 2*b149*b435 - 2*b435 - 2*b149*b530 + 2*b530 + 2*b150*b151 - 2*b150*b266 + 2*b266 + 2*b150*b623 - 2*b151*b298 + 2*b151*b378 + 2*b378 - 2*b151*b437 + 4*b437 - 2*b152*b273 + 2*b152*b364 + 2*b153*b245 + 2*b153*b366 - 2*b153*b510 - 2*b510 - 2*b153*b511 + 2*b154 *b230 + 2*b154*b393 - 2*b154*b423 + 2*b423 - 2*b154*b424 + 2*b155*b230 - 2 *b155*b426 + 2*b155*b594 - 2*b155*b596 - 2*b596 - 2*b156*b221 + 2*b156* b518 + 2*b156*b596 - 2*b156*b597 - 2*b157*b330 + 2*b330 - 2*b157*b456 + 2* b157*b487 - 2*b487 - 2*b158*b331 + 2*b158*b492 - 2*b158*b561 - 2*b159*b376 + 2*b159*b565 + 2*b565 + 2*b159*b605 - 2*b605 + 2*b160*b168 + 2*b160*b263 + 2*b263 - 2*b160*b265 + 4*b265 - 2*b160*b496 + 2*b496 + 2*b161*b287 - 2* b161*b315 - 2*b161*b316 - 2*b162*b271 + 2*b271 - 2*b163*b177 + 2*b163*b241 + 2*b163*b391 - 2*b391 - 2*b163*b478 - 2*b164*b199 + 2*b164*b226 + 2*b164 *b369 - 2*b164*b591 + 4*b591 + 2*b165*b369 - 2*b165*b370 - 2*b165*b372 + 2 *b165*b552 - 2*b552 + 2*b166*b235 - 2*b166*b454 - 2*b166*b552 - 2*b167* b227 + 2*b167*b552 - 2*b167*b553 + 2*b167*b555 - 2*b168*b234 + 2*b168*b464 - 2*b168*b465 - 2*b169*b220 - 2*b169*b546 + 2*b170*b421 - 2*b421 - 2*b170 *b449 - 2*b170*b450 + 2*b171*b345 - 2*b171*b346 - 2*b171*b348 + 2*b171* b515 - 2*b515 + 2*b172*b173 + 2*b172*b556 - 2*b172*b600 - 2*b173*b231 + 2* b173*b515 - 2*b173*b516 - 2*b174*b175 + 2*b174*b176 - 2*b174*b277 + 2*b277 + 2*b174*b317 - 2*b317 + 2*b175*b215 - 2*b175*b385 + 4*b385 - 2*b176*b288 + 2*b288 + 2*b176*b290 + 2*b290 - 2*b176*b301 + 4*b301 + 2*b177*b178 + 2* b177*b180 - 2*b177*b586 - 2*b178*b225 - 2*b178*b511 + 2*b179*b180 - 2*b179 *b344 - 2*b179*b452 - 2*b180*b422 + 2*b181*b325 + 2*b181*b344 - 2*b181* b346 - 2*b181*b512 + 4*b512 + 2*b182*b325 - 2*b182*b326 - 2*b182*b347 + 2* b182*b484 - 2*b484 - 2*b183*b236 + 2*b183*b274 + 2*b183*b484 - 2*b183*b485 - 2*b184*b311 + 2*b184*b433 + 2*b433 - 2*b184*b565 + 2*b185*b208 + 2*b185 *b288 - 2*b185*b337 + 4*b337 - 2*b185*b625 + 2*b625 + 2*b186*b219 - 2*b186 *b288 - 2*b186*b415 + 4*b415 - 2*b187*b229 - 2*b187*b478 + 2*b187*b510 + 2 *b188*b189 - 2*b188*b190 - 2*b189*b392 + 2*b189*b510 + 2*b190*b191 - 2* b190*b368 + 2*b368 + 2*b190*b421 + 2*b191*b304 - 2*b191*b326 - 2*b191*b479 + 2*b192*b304 - 2*b192*b305 - 2*b192*b371 + 2*b192*b453 - 2*b193*b233 + 2 *b193*b352 + 2*b193*b599 - 2*b193*b600 - 2*b194*b332 + 2*b194*b462 - 2* b194*b527 + 2*b195*b203 + 2*b195*b299 + 2*b299 - 2*b195*b318 + 4*b318 - 2* b195*b580 - 2*b196*b448 + 2*b448 - 2*b196*b449 + 2*b196*b545 - 2*b545 + 2* b197*b198 - 2*b197*b199 - 2*b198*b367 + 2*b198*b545 + 2*b199*b200 + 2*b199 *b391 + 2*b200*b293 - 2*b200*b305 - 2*b200*b451 + 2*b201*b293 - 2*b201* b294 - 2*b201*b395 + 2*b201*b425 - 2*b202*b238 + 2*b202*b329 + 2*b202*b556 - 2*b202*b557 - 2*b203*b536 + 2*b536 - 2*b203*b538 + 2*b538 + 2*b204*b205 - 2*b204*b423 - 2*b204*b549 + 2*b549 - 2*b205*b343 + 2*b205*b587 - 2*b206 *b243 + 2*b206*b519 - 2*b206*b520 + 2*b207*b615 - 4*b615 - 2*b207*b616 + 4 *b616 + 2*b207*b618 + 2*b618 - 2*b207*b619 + 2*b619 - 2*b208*b504 + 4*b504 - 2*b208*b507 + 2*b507 + 2*b209*b322 - 2*b209*b323 - 2*b209*b324 + 2*b209 *b590 + 2*b210*b211 - 2*b210*b308 - 2*b210*b375 + 2*b375 - 2*b211*b429 + 2 *b429 + 2*b211*b523 - 2*b523 + 2*b212*b317 - 2*b212*b472 + 4*b472 - 2*b212 *b475 + 2*b475 + 2*b213*b328 + 2*b213*b347 - 2*b213*b348 - 2*b213*b350 + 2 *b214*b333 + 2*b214*b610 - 2*b610 - 2*b214*b611 + 2*b611 - 2*b214*b614 - 2 *b215*b441 + 4*b441 - 2*b215*b443 + 2*b443 + 2*b216*b341 - 2*b216*b586 + 2 *b217*b223 - 2*b217*b460 - 2*b217*b528 - 2*b528 + 2*b217*b566 - 4*b566 + 2 *b218*b356 + 2*b218*b566 - 2*b218*b567 - 2*b218*b569 - 2*b219*b412 + 4* b412 - 2*b219*b414 + 2*b414 + 2*b220*b364 + 2*b221*b398 + 2*b221*b598 - 2* b598 - 2*b221*b600 + 2*b222*b374 + 2*b374 + 2*b222*b398 - 2*b222*b399 - 2* b222*b401 + 4*b401 + 2*b223*b431 - 2*b223*b433 + 2*b224*b377 + 2*b224*b528 - 2*b224*b530 + 2*b225*b389 + 2*b226*b394 - 2*b394 - 2*b226*b593 - 2*b226 *b595 + 4*b595 + 2*b227*b399 + 2*b227*b554 - 2*b227*b557 + 2*b228*b408 + 2 *b228*b494 - 2*b494 - 2*b228*b496 + 2*b229*b420 - 2*b230*b550 - 2*b230* b551 + 2*b231*b517 - 2*b231*b520 + 2*b232*b233 + 2*b232*b428 - 2*b232*b430 - 2*b232*b522 + 2*b233*b601 - 2*b233*b602 + 2*b234*b435 + 2*b234*b463 - 2 *b463 - 2*b235*b513 - 2*b235*b514 + 2*b236*b486 - 2*b236*b488 + 2*b237* b238 + 2*b237*b456 - 2*b237*b459 - 2*b237*b561 + 2*b238*b558 + 2*b239*b240 - 2*b239*b477 + 2*b477 - 2*b240*b247 + 2*b240*b629 + 2*b629 - 2*b240*b630 + 4*b630 - 2*b241*b589 - 2*b241*b592 + 2*b592 + 2*b242*b243 + 2*b242*b489 - 2*b242*b491 - 2*b242*b604 + 2*b243*b521 - 2*b521 - 2*b244*b509 + 4*b509 + 2*b244*b631 - 2*b631 - 2*b245*b547 + 2*b547 - 2*b245*b549 + 2*b246*b536 + 2*b246*b620 + 2*b620 - 2*b246*b621 + 4*b621 - 2*b246*b624 + 2*b247*b631 + 2*b248*b506 - 2*b248*b540 - 2*b249*b308 - 2*b249*b603 - 2*b250*b330 - 2 *b250*b458 - 2*b250*b560 - 2*b251*b353 + 2*b353 + 2*b251*b428 - 2*b252* b606 + 2*b606 - 2*b252*b608 - 2*b253*b313 + 2*b313 + 2*b253*b615 - 2*b254* b374 + 2*b254*b456 + 2*b255*b284 - 2*b255*b313 - 2*b255*b334 + 2*b334 - 2* b256*b401 - 2*b256*b458 + 2*b256*b489 - 2*b257*b334 - 2*b257*b357 + 2*b357 - 2*b258*b357 - 2*b258*b378 - 2*b259*b267 + 2*b259 + 2*b267 - 2*b259*b543 + 4*b543 - 2*b260*b273 - 2*b261*b378 - 2*b261*b409 + 4*b409 - 2*b261*b436 - 2*b262*b354 + 2*b354 - 2*b262*b432 + 2*b262*b523 - 2*b263*b409 - 2*b263 *b437 - 2*b263*b465 - 2*b264*b278 + 2*b278 - 2*b265*b437 - 2*b265*b467 + 4 *b467 - 2*b265*b497 - 2*b266*b315 + 2*b266*b357 - 2*b266*b467 - 2*b267* b268 + 2*b268 + 2*b267*b300 + 2*b300 - 2*b267*b361 + 4*b361 - 2*b268*b290 - 2*b269*b467 - 2*b269*b499 + 4*b499 - 2*b269*b531 - 2*b270*b287 + 2*b270 + 2*b270*b334 - 2*b270*b336 - 2*b270*b499 - 2*b271*b272 + 2*b272 + 2*b271 *b289 + 2*b289 - 2*b271*b386 + 4*b386 - 2*b272*b301 + 2*b273*b510 + 2*b274 *b599 - 2*b275*b499 - 2*b275*b533 + 4*b533 - 2*b275*b571 - 2*b276*b298 + 2 *b276 + 2*b276*b313 - 2*b276*b359 - 2*b276*b533 + 2*b277*b278 - 2*b277* b299 - 2*b277*b320 + 4*b320 - 2*b278*b279 + 2*b279 - 2*b278*b417 + 4*b417 - 2*b279*b320 + 2*b280*b545 - 2*b281*b293 + 2*b281*b304 + 2*b281*b592 - 2 *b282*b283 + 2*b283 - 2*b282*b309 + 2*b309 - 2*b282*b405 - 2*b283*b310 - 2 *b283*b355 + 2*b283*b493 - 2*b284*b296 + 2*b284*b356 - 2*b285*b533 - 2* b285*b573 + 4*b573 - 2*b285*b616 - 2*b286*b315 - 2*b286*b380 - 2*b286*b573 - 2*b287*b575 + 4*b575 - 2*b288*b289 - 2*b289*b318 - 2*b289*b339 + 4*b339 - 2*b290*b291 + 2*b291 - 2*b290*b445 + 4*b445 - 2*b291*b339 - 2*b292*b294 + 2*b292*b325 + 2*b292*b549 - 2*b294*b480 + 4*b480 - 2*b295*b397 - 2*b295 *b454 + 2*b295*b484 - 2*b296*b573 - 2*b296*b618 - 2*b297*b336 - 2*b297* b411 - 2*b297*b618 - 2*b298*b381 - 2*b299*b300 - 2*b299*b384 - 2*b300*b337 - 2*b300*b362 + 4*b362 - 2*b301*b302 + 2*b302 - 2*b301*b629 - 2*b302*b362 - 2*b303*b305 + 2*b303*b345 - 2*b306*b307 - 2*b306*b485 + 2*b306*b515 - 2 *b307*b487 + 2*b307*b598 + 2*b308*b521 - 2*b309*b311 - 2*b309*b354 + 2* b309*b568 - 2*b310*b312 - 2*b310*b613 + 2*b613 - 2*b311*b312 - 2*b312*b570 - 2*b313*b314 + 2*b314 - 2*b314*b359 - 2*b314*b440 + 2*b314*b619 + 2*b316 *b317 - 2*b317*b360 + 4*b360 - 2*b318*b319 - 2*b318*b414 - 2*b319*b360 - 2 *b319*b387 + 4*b387 - 2*b320*b321 + 2*b321 - 2*b320*b583 + 2*b583 - 2*b321 *b387 + 2*b322*b389 + 2*b323*b364 + 2*b323*b585 - 2*b324*b479 - 2*b327* b328 - 2*b327*b516 + 2*b327*b552 - 2*b328*b455 + 2*b329*b402 + 2*b402 - 2* b330*b402 + 2*b330*b558 - 2*b331*b402 - 2*b331*b404 + 2*b404 + 2*b332*b333 - 2*b332*b613 + 2*b333*b615 - 2*b334*b335 + 2*b335 - 2*b335*b380 - 2*b335 *b470 + 2*b335*b574 + 2*b574 - 2*b336*b623 - 2*b337*b338 - 2*b337*b443 - 2 *b338*b385 - 2*b338*b418 - 2*b339*b340 + 2*b340 - 2*b339*b541 + 4*b541 - 2 *b340*b418 - 2*b341*b448 + 2*b342*b451 - 2*b342*b512 + 2*b342*b547 - 2* b343*b512 - 2*b344*b480 + 2*b345*b368 - 2*b349*b350 - 2*b349*b553 + 2*b349 *b596 - 2*b350*b427 - 2*b351*b353 - 2*b351*b428 + 2*b351*b519 + 2*b352* b429 - 2*b353*b429 + 2*b353*b601 - 2*b354*b525 + 2*b354*b566 + 2*b355*b356 - 2*b357*b358 + 2*b358 - 2*b358*b411 - 2*b358*b502 + 2*b358*b534 + 2*b534 - 2*b360*b361 - 2*b360*b475 - 2*b361*b415 - 2*b361*b446 + 2*b446 - 2*b362 *b363 + 2*b363 - 2*b362*b584 - 2*b363*b446 - 2*b365*b367 + 2*b365*b421 + 2 *b366*b423 - 2*b366*b548 + 4*b548 - 2*b367*b548 - 2*b368*b370 - 2*b368* b548 + 2*b371*b598 - 2*b372*b598 - 2*b373*b374 + 2*b373*b556 - 2*b374*b457 - 2*b375*b431 - 2*b375*b457 + 2*b375*b562 + 2*b376*b528 - 2*b378*b379 + 2 *b379 - 2*b379*b440 + 2*b379*b500 + 2*b500 - 2*b379*b535 + 4*b535 - 2*b380 *b382 - 2*b381*b383 - 2*b381*b578 + 4*b578 - 2*b382*b383 - 2*b382*b535 - 2 *b383*b384 - 2*b384*b444 + 4*b444 - 2*b385*b386 - 2*b385*b507 - 2*b386* b444 - 2*b386*b477 - 2*b387*b388 + 2*b388 - 2*b387*b630 - 2*b388*b477 + 2* b390*b391 - 2*b390*b392 - 2*b391*b591 - 2*b392*b591 + 2*b393*b394 - 2*b394 *b396 + 2*b394*b596 + 2*b395*b554 - 2*b396*b554 + 2*b397*b399 - 2*b400* b401 + 2*b400*b599 - 2*b401*b490 - 2*b402*b403 - 2*b403*b490 + 2*b403*b605 - 2*b404*b405 + 2*b404*b430 - 2*b404*b525 - 2*b405*b407 + 2*b407 + 2*b406 *b494 - 2*b407*b492 - 2*b407*b494 + 2*b407*b610 - 2*b409*b410 + 2*b410 - 2 *b409*b575 + 2*b410*b468 + 2*b468 - 2*b410*b470 - 2*b410*b577 + 4*b577 - 2 *b411*b412 - 2*b412*b537 - 2*b412*b577 + 2*b413*b414 - 2*b413*b536 - 2* b414*b476 + 4*b476 - 2*b415*b417 - 2*b415*b538 + 2*b416*b446 - 2*b416*b509 + 2*b416*b628 - 2*b417*b476 - 2*b417*b509 - 2*b418*b419 + 2*b419 - 2*b419 *b509 + 2*b420*b587 - 2*b421*b424 - 2*b422*b424 - 2*b423*b480 + 2*b425* b517 - 2*b425*b595 - 2*b426*b517 + 2*b427*b601 - 2*b429*b430 + 2*b432*b463 - 2*b433*b463 - 2*b433*b526 + 2*b526 + 2*b434*b435 + 2*b434*b610 - 2*b435 *b436 - 2*b436*b466 - 2*b437*b439 + 4*b439 - 2*b438*b439 - 2*b438*b466 - 2 *b438*b575 - 2*b439*b502 - 2*b439*b622 + 4*b622 - 2*b440*b441 - 2*b441* b505 - 2*b441*b622 + 2*b442*b443 - 2*b442*b504 - 2*b443*b508 - 2*b444*b445 - 2*b444*b581 - 2*b445*b508 - 2*b445*b542 - 2*b446*b447 + 2*b447 - 2*b447 *b542 - 2*b450*b452 - 2*b451*b590 + 2*b453*b486 - 2*b453*b551 - 2*b454* b486 + 2*b455*b558 - 2*b457*b459 - 2*b459*b605 - 2*b460*b462 - 2*b462*b564 + 2*b564 + 2*b463*b568 + 2*b464*b566 - 2*b465*b498 - 2*b466*b468 - 2*b467 *b469 + 4*b469 - 2*b468*b469 - 2*b468*b498 - 2*b469*b471 - 2*b469*b535 - 2 *b470*b472 - 2*b471*b472 - 2*b471*b576 + 4*b576 - 2*b472*b473 + 2*b473* b475 + 2*b473*b506 + 2*b474*b505 + 2*b474*b539 + 2*b539 - 2*b475*b539 - 2* b476*b626 - 2*b476*b629 + 2*b477*b540 - 2*b479*b481 - 2*b480*b482 - 2*b481 *b482 - 2*b482*b483 - 2*b483*b485 - 2*b483*b515 - 2*b484*b514 + 2*b487* b518 + 2*b487*b521 - 2*b488*b521 - 2*b490*b491 - 2*b491*b562 - 2*b492*b493 - 2*b493*b607 + 2*b607 + 2*b494*b529 + 2*b495*b496 + 2*b495*b528 - 2*b496 *b497 - 2*b497*b532 - 2*b498*b500 - 2*b499*b501 + 4*b501 - 2*b500*b501 - 2 *b500*b532 - 2*b501*b503 - 2*b501*b577 - 2*b502*b504 - 2*b503*b504 - 2* b503*b621 + 2*b505*b507 + 2*b506*b582 + 2*b582 - 2*b507*b582 - 2*b508*b583 - 2*b512*b513 - 2*b514*b516 - 2*b518*b520 + 2*b519*b555 - 2*b522*b523 - 2 *b522*b524 + 2*b523*b526 - 2*b524*b526 + 2*b525*b527 - 2*b526*b527 + 2* b529*b530 - 2*b530*b531 - 2*b531*b572 - 2*b532*b534 - 2*b533*b620 - 2*b534 *b572 - 2*b534*b620 - 2*b535*b536 + 2*b537*b538 - 2*b538*b627 - 2*b539* b541 - 2*b539*b629 - 2*b540*b543 - 2*b541*b543 - 2*b541*b627 - 2*b542*b544 + 2*b544 - 2*b543*b544 - 2*b545*b547 - 2*b546*b547 - 2*b548*b550 - 2*b549 *b550 - 2*b551*b553 - 2*b555*b557 + 2*b560*b563 - 2*b561*b563 + 2*b562* b564 - 2*b563*b564 - 2*b564*b565 - 2*b565*b567 + 2*b568*b569 - 2*b569*b571 + 2*b570*b617 + 2*b617 - 2*b571*b617 - 2*b572*b574 - 2*b573*b576 - 2*b574 *b576 - 2*b574*b617 - 2*b575*b578 - 2*b576*b578 - 2*b577*b579 - 2*b578* b579 - 2*b579*b580 - 2*b580*b581 - 2*b582*b583 - 2*b582*b584 + 2*b583*b631 - 2*b584*b631 - 2*b585*b588 - 2*b586*b588 - 2*b587*b589 - 2*b588*b589 - 2 *b590*b592 - 2*b591*b593 - 2*b592*b593 - 2*b594*b595 - 2*b595*b597 - 2* b602*b604 + 2*b603*b606 - 2*b604*b606 + 2*b605*b607 - 2*b606*b607 - 2*b607 *b609 + 2*b608*b611 - 2*b609*b610 - 2*b609*b611 - 2*b611*b612 + 2*b612* b614 + 2*b613*b615 - 2*b613*b616 - 2*b614*b616 - 2*b617*b619 - 2*b618*b621 - 2*b619*b621 - 2*b620*b622 - 2*b622*b624 + 2*b623*b625 - 2*b624*b625 - 2 *b625*b626 - 2*b626*b628 - 2*b627*b630 - 2*b628*b630 - 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;