MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance sporttournament44
This is a quadratic model for the max-cut problem. The instance arises when minimizing so-called breaks in sports tournaments.
| Formatsⓘ | ams gms lp mod nl osil pip py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | 1066.60813900 (ANTIGONE) 954.84094910 (BARON) 1149.00000000 (COUENNE) 1066.99045500 (CPLEX) 944.00000000 (GUROBI) 1048.00000000 (LINDO) 960.49715260 (SCIP) 987.69921260 (SHOT) |
| Referencesⓘ | Elf, Matthias, Jünger, Michael, and Rinaldi, Giovanni, Minimizing Breaks by Maximizing Cuts, Operations Research Letters, 31:5, 2003, 343-349. |
| Sourceⓘ | POLIP instance maxcut/sched-44-4711 |
| Applicationⓘ | Sports Tournament |
| Added to libraryⓘ | 26 Feb 2014 |
| Problem typeⓘ | MBQCP |
| #Variablesⓘ | 947 |
| #Binary Variablesⓘ | 946 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 946 |
| #Nonlinear Binary Variablesⓘ | 946 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | max |
| Objective typeⓘ | linear |
| Objective curvatureⓘ | linear |
| #Nonzeros in Objectiveⓘ | 1 |
| #Nonlinear Nonzeros in Objectiveⓘ | 0 |
| #Constraintsⓘ | 1 |
| #Linear Constraintsⓘ | 0 |
| #Quadratic Constraintsⓘ | 1 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 0 |
| Operands in Gen. Nonlin. Functionsⓘ | |
| Constraints curvatureⓘ | indefinite |
| #Nonzeros in Jacobianⓘ | 947 |
| #Nonlinear Nonzeros in Jacobianⓘ | 946 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 3696 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 0 |
| #Blocks in Hessian of Lagrangianⓘ | 1 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 946 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 946 |
| Average blocksize in Hessian of Lagrangianⓘ | 946.0 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 1.0000e+00 |
| Maximal coefficientⓘ | 4.0000e+00 |
| Infeasibility of initial pointⓘ | 0 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$offlisting
*
* 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
* 947 1 946 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL DLL
* 947 1 946 0
*
* Solve m using MINLP maximizing objvar;
Variables b1,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,b632,b633,b634,b635,b636
,b637,b638,b639,b640,b641,b642,b643,b644,b645,b646,b647,b648,b649
,b650,b651,b652,b653,b654,b655,b656,b657,b658,b659,b660,b661,b662
,b663,b664,b665,b666,b667,b668,b669,b670,b671,b672,b673,b674,b675
,b676,b677,b678,b679,b680,b681,b682,b683,b684,b685,b686,b687,b688
,b689,b690,b691,b692,b693,b694,b695,b696,b697,b698,b699,b700,b701
,b702,b703,b704,b705,b706,b707,b708,b709,b710,b711,b712,b713,b714
,b715,b716,b717,b718,b719,b720,b721,b722,b723,b724,b725,b726,b727
,b728,b729,b730,b731,b732,b733,b734,b735,b736,b737,b738,b739,b740
,b741,b742,b743,b744,b745,b746,b747,b748,b749,b750,b751,b752,b753
,b754,b755,b756,b757,b758,b759,b760,b761,b762,b763,b764,b765,b766
,b767,b768,b769,b770,b771,b772,b773,b774,b775,b776,b777,b778,b779
,b780,b781,b782,b783,b784,b785,b786,b787,b788,b789,b790,b791,b792
,b793,b794,b795,b796,b797,b798,b799,b800,b801,b802,b803,b804,b805
,b806,b807,b808,b809,b810,b811,b812,b813,b814,b815,b816,b817,b818
,b819,b820,b821,b822,b823,b824,b825,b826,b827,b828,b829,b830,b831
,b832,b833,b834,b835,b836,b837,b838,b839,b840,b841,b842,b843,b844
,b845,b846,b847,b848,b849,b850,b851,b852,b853,b854,b855,b856,b857
,b858,b859,b860,b861,b862,b863,b864,b865,b866,b867,b868,b869,b870
,b871,b872,b873,b874,b875,b876,b877,b878,b879,b880,b881,b882,b883
,b884,b885,b886,b887,b888,b889,b890,b891,b892,b893,b894,b895,b896
,b897,b898,b899,b900,b901,b902,b903,b904,b905,b906,b907,b908,b909
,b910,b911,b912,b913,b914,b915,b916,b917,b918,b919,b920,b921,b922
,b923,b924,b925,b926,b927,b928,b929,b930,b931,b932,b933,b934,b935
,b936,b937,b938,b939,b940,b941,b942,b943,b944,b945,b946,objvar;
Binary Variables b1,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,b632,b633,b634
,b635,b636,b637,b638,b639,b640,b641,b642,b643,b644,b645,b646,b647
,b648,b649,b650,b651,b652,b653,b654,b655,b656,b657,b658,b659,b660
,b661,b662,b663,b664,b665,b666,b667,b668,b669,b670,b671,b672,b673
,b674,b675,b676,b677,b678,b679,b680,b681,b682,b683,b684,b685,b686
,b687,b688,b689,b690,b691,b692,b693,b694,b695,b696,b697,b698,b699
,b700,b701,b702,b703,b704,b705,b706,b707,b708,b709,b710,b711,b712
,b713,b714,b715,b716,b717,b718,b719,b720,b721,b722,b723,b724,b725
,b726,b727,b728,b729,b730,b731,b732,b733,b734,b735,b736,b737,b738
,b739,b740,b741,b742,b743,b744,b745,b746,b747,b748,b749,b750,b751
,b752,b753,b754,b755,b756,b757,b758,b759,b760,b761,b762,b763,b764
,b765,b766,b767,b768,b769,b770,b771,b772,b773,b774,b775,b776,b777
,b778,b779,b780,b781,b782,b783,b784,b785,b786,b787,b788,b789,b790
,b791,b792,b793,b794,b795,b796,b797,b798,b799,b800,b801,b802,b803
,b804,b805,b806,b807,b808,b809,b810,b811,b812,b813,b814,b815,b816
,b817,b818,b819,b820,b821,b822,b823,b824,b825,b826,b827,b828,b829
,b830,b831,b832,b833,b834,b835,b836,b837,b838,b839,b840,b841,b842
,b843,b844,b845,b846,b847,b848,b849,b850,b851,b852,b853,b854,b855
,b856,b857,b858,b859,b860,b861,b862,b863,b864,b865,b866,b867,b868
,b869,b870,b871,b872,b873,b874,b875,b876,b877,b878,b879,b880,b881
,b882,b883,b884,b885,b886,b887,b888,b889,b890,b891,b892,b893,b894
,b895,b896,b897,b898,b899,b900,b901,b902,b903,b904,b905,b906,b907
,b908,b909,b910,b911,b912,b913,b914,b915,b916,b917,b918,b919,b920
,b921,b922,b923,b924,b925,b926,b927,b928,b929,b930,b931,b932,b933
,b934,b935,b936,b937,b938,b939,b940,b941,b942,b943,b944,b945,b946;
Equations e1;
e1.. 2*b1*b87 - 2*b1 - 4*b87 - 2*b1*b613 + 2*b1*b614 + 2*b1*b624 + 2*b2*b431 -
2*b2 - 2*b431 - 2*b2*b477 + 2*b477 + 2*b2*b615 + 2*b2*b628 - 2*b3*b536 - 2
*b3 + 2*b536 + 2*b3*b620 + 2*b3*b621 + 2*b3*b640 + 2*b4*b23 - 2*b4 - 2*b23
+ 2*b4*b108 - 2*b108 - 2*b4*b500 + 4*b500 + 2*b4*b664 + 2*b5*b281 - 2*b5
- 2*b281 - 2*b5*b642 + 2*b5*b643 + 2*b5*b709 + 2*b6*b134 - 2*b6 - 2*b134
+ 2*b6*b576 + 2*b576 + 2*b6*b636 - 2*b6*b679 + 2*b7*b148 - 2*b7 - 2*b148
- 2*b7*b236 + 2*b236 + 2*b7*b544 - 2*b544 + 2*b7*b698 - 2*b8*b653 - 2*b8
+ 2*b8*b654 + 2*b8*b655 + 2*b8*b722 + 2*b9*b516 - 2*b9 + 2*b516 + 2*b9*
b627 - 2*b9*b693 + 2*b9*b694 + 2*b10*b171 - 2*b10 - 2*b171 - 2*b10*b277 +
2*b277 + 2*b10*b487 - 2*b487 + 2*b10*b653 + 2*b11*b113 - 2*b11 - 2*b113 +
2*b11*b337 - 2*b337 + 2*b11*b649 - 2*b11*b706 + 2*b12*b198 - 2*b12 - 2*
b198 - 2*b12*b318 + 2*b318 + 2*b12*b544 + 2*b12*b642 + 2*b13*b208 - 2*b13
- 2*b208 + 2*b13*b675 - 2*b13*b750 + 2*b13*b751 + 2*b14*b135 - 2*b14 - 2*
b135 + 2*b14*b301 - 2*b301 + 2*b14*b636 - 2*b14*b715 + 2*b15*b237 - 2*b15
- 2*b237 - 2*b15*b355 + 2*b355 + 2*b15*b631 + 2*b15*b653 + 2*b16*b248 - 2
*b16 - 2*b248 + 2*b16*b687 - 2*b16*b761 + 2*b16*b762 + 2*b17*b161 - 2*b17
- 2*b161 - 2*b17*b412 + 2*b412 + 2*b17*b627 + 2*b17*b650 + 2*b18*b340 - 2
*b18 - 2*b340 + 2*b18*b579 - 2*b579 + 2*b18*b581 + 2*b581 - 2*b18*b769 + 2
*b19*b278 - 2*b19 - 2*b278 - 2*b19*b393 + 2*b393 + 2*b19*b623 + 2*b19*b642
+ 2*b20*b108 - 2*b20 + 2*b20*b246 - 2*b246 + 2*b20*b290 - 4*b290 - 2*b20*
b776 + 2*b21*b185 - 2*b21 - 2*b185 + 2*b21*b337 - 2*b21*b461 + 2*b461 + 2*
b21*b660 + 2*b22*b319 - 2*b22 - 2*b319 - 2*b22*b436 + 2*b436 + 2*b22*b617
+ 2*b22*b631 + 2*b23*b72 - 4*b72 - 2*b23*b327 - 2*b327 + 2*b23*b558 - 2*
b558 + 2*b24*b218 - 2*b24 - 2*b218 + 2*b24*b301 - 2*b24*b515 + 2*b515 + 2*
b24*b671 + 2*b25*b126 - 2*b25 - 2*b126 + 2*b25*b356 - 2*b356 - 2*b25*b484
+ 2*b484 + 2*b25*b623 + 2*b26*b47 - 2*b26 - 2*b47 + 2*b26*b434 - 4*b434
+ 2*b27*b106 - 2*b27 - 2*b106 + 2*b27*b394 - 2*b394 - 2*b27*b541 + 2*b541
+ 2*b27*b617 + 2*b28*b164 - 2*b28 - 4*b164 - 2*b28*b587 + 2*b587 + 2*b28*
b758 + 2*b28*b759 + 2*b29*b126 - 2*b29 + 2*b29*b437 - 2*b437 + 2*b29*b643
- 2*b29*b795 + 2*b30*b189 - 2*b30 - 4*b189 - 2*b30*b772 + 2*b30*b773 + 2*
b30*b774 + 2*b31*b106 - 4*b31 + 2*b31*b485 - 2*b485 + 2*b31*b654 + 2*b31*
b795 + 2*b32*b573 - 2*b32 - 2*b573 + 2*b32*b693 - 2*b32*b766 + 2*b32*b767
+ 2*b33*b224 - 2*b33 - 4*b224 + 2*b33*b265 - 2*b265 - 2*b33*b783 + 2*b33*
b784 + 2*b34*b80 - 2*b34 - 4*b80 - 2*b34*b118 - 2*b118 + 2*b34*b224 + 2*
b34*b803 + 2*b35*b85 - 2*b35 - 2*b85 + 2*b35*b786 - 2*b36*b323 + 2*b36 + 2
*b323 + 2*b36*b493 - 2*b493 - 2*b36*b547 - 2*b547 - 2*b36*b622 + 2*b37*
b515 - 2*b37 + 2*b37*b679 - 2*b37*b779 + 2*b37*b780 + 2*b38*b118 - 2*b38
+ 2*b38*b266 - 4*b266 + 2*b38*b308 - 4*b308 - 2*b38*b793 + 2*b39*b54 - 2*
b39 - 2*b54 + 2*b39*b100 - 4*b100 + 2*b39*b266 - 2*b39*b784 + 2*b40*b104
- 2*b40 - 2*b104 + 2*b40*b794 - 2*b41*b283 + 2*b41 + 2*b283 - 2*b41*b490
- 2*b490 + 2*b41*b550 - 2*b550 - 2*b41*b616 + 2*b42*b150 - 2*b42 - 2*b150
+ 2*b42*b284 - 4*b284 + 2*b42*b443 - 2*b443 - 2*b42*b833 + 2*b43*b299 - 2
*b43 - 2*b299 + 2*b43*b461 + 2*b43*b669 - 2*b43*b790 + 2*b44*b140 - 2*b44
- 2*b140 + 2*b44*b309 - 4*b309 + 2*b44*b345 - 4*b345 - 2*b44*b802 + 2*b45
*b65 - 2*b45 - 4*b65 + 2*b45*b120 - 4*b120 + 2*b45*b309 - 2*b45*b774 + 2*
b46*b81 - 2*b46 - 2*b81 + 2*b46*b120 - 2*b46*b229 + 2*b229 + 2*b46*b803 +
2*b47*b48 - 2*b48 - 2*b47*b103 - 2*b103 + 2*b47*b233 - 4*b233 + 2*b48*b124
- 4*b124 + 2*b49*b150 - 2*b49 + 2*b49*b203 - 2*b203 - 2*b49*b399 + 2*b399
+ 2*b49*b493 + 2*b50*b90 + 2*b50 + 2*b90 - 2*b50*b154 + 4*b154 - 2*b50*
b451 - 2*b451 - 2*b50*b645 + 2*b51*b335 - 2*b51 - 2*b335 + 2*b51*b412 + 2*
b51*b658 - 2*b51*b799 + 2*b52*b164 - 2*b52 + 2*b52*b346 - 4*b346 + 2*b52*
b383 - 4*b383 - 2*b52*b810 + 2*b53*b80 - 2*b53 + 2*b53*b142 - 4*b142 + 2*
b53*b346 - 2*b53*b759 + 2*b54*b531 - 4*b531 + 2*b54*b785 - 2*b54*b811 + 2*
b55*b83 - 2*b55 - 2*b83 - 2*b55*b85 + 2*b55*b146 - 4*b146 + 2*b55*b829 + 2
*b56*b57 - 2*b56 - 2*b57 - 2*b56*b84 - 2*b84 + 2*b56*b274 - 4*b274 + 2*b56
*b812 + 2*b57*b146 + 2*b58*b242 - 2*b58 - 2*b242 - 2*b58*b360 + 2*b360 + 2
*b58*b550 + 2*b58*b833 + 2*b59*b74 + 2*b59 + 2*b74 - 2*b59*b181 + 4*b181
- 2*b59*b632 - 2*b59*b689 + 2*b60*b160 - 2*b60 - 2*b160 + 2*b60*b376 - 4*
b376 + 2*b60*b715 - 2*b60*b808 + 2*b61*b62 - 2*b61 - 2*b62 + 2*b61*b114 -
2*b114 + 2*b61*b260 - 4*b260 - 2*b61*b695 + 2*b62*b95 - 2*b95 + 2*b62*b137
- 2*b137 - 2*b62*b854 + 2*b63*b189 - 4*b63 + 2*b63*b384 - 2*b384 + 2*b63*
b422 - 4*b422 + 2*b63*b810 + 2*b64*b100 - 4*b64 + 2*b64*b166 - 4*b166 + 2*
b64*b384 + 2*b64*b759 + 2*b65*b227 - 4*b227 + 2*b65*b775 + 2*b65*b804 + 2*
b66*b67 - 2*b66 - 2*b67 - 2*b66*b82 + 2*b82 + 2*b66*b831 + 2*b66*b839 - 2*
b67*b68 - 2*b68 + 2*b67*b102 - 4*b102 + 2*b67*b169 - 4*b169 + 2*b68*b69 -
2*b69 + 2*b68*b599 - 2*b599 + 2*b68*b818 + 2*b69*b169 + 2*b70*b107 - 2*b70
- 2*b107 + 2*b70*b607 + 2*b70*b709 - 2*b70*b858 + 2*b71*b203 - 2*b71 + 2*
b71*b286 - 4*b286 - 2*b71*b323 + 2*b71*b613 + 2*b72*b150 + 2*b72*b286 + 2*
b72*b725 + 2*b73*b75 + 2*b73 - 2*b75 - 2*b73*b213 + 4*b213 - 2*b73*b625 -
2*b73*b702 - 2*b74*b634 - 2*b74*b852 - 2*b74*b853 + 2*b75*b647 + 2*b75*
b853 - 2*b75*b861 + 2*b76*b93 - 2*b76 - 2*b93 + 2*b76*b183 - 4*b183 + 2*
b76*b513 - 2*b513 - 2*b76*b568 + 2*b568 + 2*b77*b134 - 2*b77 + 2*b77*b410
- 4*b410 + 2*b77*b706 - 2*b77*b817 + 2*b78*b224 - 4*b78 + 2*b78*b423 - 2*
b423 + 2*b78*b472 - 4*b472 + 2*b78*b802 + 2*b79*b120 - 4*b79 + 2*b79*b191
- 4*b191 + 2*b79*b423 + 2*b79*b774 + 2*b80*b760 + 2*b80*b811 - 2*b81*b82
+ 2*b81*b606 + 2*b81*b620 + 2*b82*b122 - 4*b122 - 2*b82*b864 + 2*b83*b84
- 2*b83*b846 + 2*b83*b847 + 2*b84*b122 + 2*b84*b195 - 4*b195 + 2*b85*b86
- 2*b86 + 2*b85*b539 - 2*b539 + 2*b86*b195 + 2*b87*b127 - 2*b127 + 2*b87*
b722 + 2*b87*b858 + 2*b88*b242 - 2*b88 - 2*b88*b283 + 2*b88*b325 - 4*b325
+ 2*b88*b608 + 2*b89*b91 + 2*b89 - 2*b91 - 2*b89*b566 + 2*b566 - 2*b89*
b619 - 2*b89*b712 - 2*b90*b564 + 2*b564 - 2*b90*b647 - 2*b90*b844 + 2*b91*
b656 + 2*b91*b844 - 2*b91*b868 + 2*b92*b215 - 2*b92 - 4*b215 + 2*b92*b570
- 2*b570 - 2*b92*b764 + 2*b92*b765 - 2*b93*b571 + 2*b571 + 2*b93*b604 + 2
*b93*b678 + 2*b94*b459 - 4*b94 - 4*b459 + 2*b94*b693 + 2*b94*b694 + 2*b94*
b817 + 2*b95*b97 - 4*b97 + 2*b95*b603 - 2*b95*b746 + 2*b96*b97 - 4*b96 + 2
*b96*b680 + 2*b96*b733 + 2*b96*b838 + 2*b97*b471 + 2*b471 + 2*b97*b602 + 2
*b98*b266 - 4*b98 + 2*b98*b473 - 2*b473 + 2*b98*b528 - 4*b528 + 2*b98*b793
+ 2*b99*b142 - 4*b99 + 2*b99*b226 - 4*b226 + 2*b99*b473 + 2*b99*b784 + 2*
b100*b749 + 2*b100*b805 + 2*b101*b144 + 2*b101 - 4*b144 - 2*b101*b674 - 2*
b101*b829 - 2*b101*b871 + 2*b102*b103 + 2*b102*b846 + 2*b102*b857 + 2*b103
*b144 + 2*b103*b234 - 2*b234 + 2*b104*b105 - 2*b105 + 2*b104*b480 - 2*b480
- 2*b104*b831 + 2*b105*b234 + 2*b106*b630 - 2*b106*b872 - 2*b107*b240 + 2
*b240 + 2*b107*b286 + 2*b107*b362 - 4*b362 - 2*b108*b368 + 2*b368 + 2*b108
*b633 - 2*b109*b506 + 2*b109 + 2*b506 - 2*b109*b656 + 2*b109*b666 - 2*b109
*b836 + 2*b110*b369 - 4*b110 - 4*b369 + 2*b110*b667 + 2*b110*b726 + 2*b110
*b836 + 2*b111*b255 - 2*b111 - 4*b255 + 2*b111*b610 - 2*b111*b777 + 2*b111
*b778 + 2*b112*b113 - 4*b112 + 2*b112*b514 - 4*b514 + 2*b112*b679 + 2*b112
*b808 - 2*b113*b876 + 2*b113*b877 + 2*b114*b116 - 4*b116 + 2*b114*b162 - 2
*b162 - 2*b114*b419 + 4*b419 + 2*b115*b672 - 2*b115 + 2*b115*b718 + 2*b115
*b845 - 2*b115*b862 + 2*b116*b603 + 2*b116*b828 + 2*b116*b862 + 2*b117*
b309 - 4*b117 + 2*b117*b529 - 2*b529 + 2*b117*b588 - 4*b588 + 2*b117*b783
+ 2*b118*b119 - 4*b119 + 2*b118*b734 + 2*b119*b166 + 2*b119*b268 - 4*b268
+ 2*b119*b529 + 2*b120*b737 + 2*b121*b428 - 2*b121 + 2*b428 + 2*b121*b595
- 4*b595 + 2*b121*b811 - 2*b121*b830 + 2*b122*b123 - 2*b123 + 2*b122*b231
- 2*b231 + 2*b123*b167 - 4*b167 + 2*b123*b275 - 2*b275 - 2*b123*b794 + 2*
b124*b125 - 2*b125 + 2*b124*b432 - 4*b432 + 2*b124*b831 + 2*b125*b275 + 2*
b126*b622 - 2*b126*b881 - 2*b127*b201 + 2*b201 + 2*b127*b325 + 2*b127*b401
- 4*b401 + 2*b128*b129 - 2*b128 - 2*b129 - 2*b128*b331 + 2*b331 + 2*b128*
b558 + 2*b128*b688 + 2*b129*b504 - 2*b504 - 2*b129*b625 + 2*b129*b875 - 2*
b130*b666 + 4*b130 - 2*b130*b667 - 2*b130*b826 - 2*b130*b827 + 2*b131*b677
- 4*b131 + 2*b131*b740 + 2*b131*b827 + 2*b131*b868 + 2*b132*b297 - 4*b132
- 4*b297 + 2*b132*b605 + 2*b132*b777 + 2*b132*b789 + 2*b133*b135 - 4*b133
+ 2*b133*b572 - 4*b572 + 2*b133*b669 + 2*b133*b799 + 2*b134*b217 - 4*b217
- 2*b134*b219 - 2*b219 + 2*b135*b219 - 2*b135*b886 + 2*b136*b219 - 4*b136
+ 2*b136*b259 - 2*b259 + 2*b136*b657 + 2*b136*b809 - 2*b137*b138 + 2*b138
+ 2*b137*b661 + 2*b137*b708 - 2*b138*b587 + 2*b138*b735 - 2*b138*b888 + 2
*b139*b346 - 2*b139 + 2*b139*b590 - 2*b590 - 2*b139*b602 + 2*b139*b772 + 2
*b140*b141 - 4*b141 + 2*b140*b747 - 2*b140*b804 + 2*b141*b191 + 2*b141*
b311 - 4*b311 + 2*b141*b590 + 2*b142*b721 + 2*b142*b785 + 2*b143*b227 - 2*
b143 + 2*b143*b477 + 2*b143*b535 - 4*b535 - 2*b143*b839 + 2*b144*b145 - 2*
b145 + 2*b144*b272 - 2*b272 + 2*b145*b193 - 4*b193 + 2*b145*b317 - 2*b317
- 2*b145*b786 + 2*b146*b147 - 2*b147 + 2*b146*b481 - 4*b481 + 2*b147*b317
+ 2*b148*b199 - 2*b199 + 2*b149*b202 + 2*b149 - 2*b202 - 2*b149*b549 - 2*
b549 - 2*b149*b722 - 2*b149*b882 - 2*b150*b825 + 2*b151*b153 - 2*b151 - 2*
b153 - 2*b151*b292 + 2*b292 + 2*b151*b501 - 2*b501 + 2*b151*b676 + 2*b152*
b252 - 2*b152 - 2*b252 + 2*b152*b290 - 2*b152*b562 - 2*b562 + 2*b152*b664
+ 2*b153*b562 - 2*b153*b619 + 2*b153*b866 - 2*b154*b677 - 2*b154*b821 - 2
*b154*b822 + 2*b155*b690 - 4*b155 + 2*b155*b752 + 2*b155*b822 + 2*b155*
b861 + 2*b156*b647 - 4*b156 + 2*b156*b741 + 2*b156*b822 + 2*b156*b885 + 2*
b157*b158 - 4*b157 - 4*b158 + 2*b157*b333 - 4*b333 + 2*b157*b764 + 2*b157*
b798 + 2*b158*b409 - 2*b409 + 2*b158*b609 + 2*b158*b885 + 2*b159*b161 - 2*
b159 - 2*b159*b609 + 2*b159*b658 + 2*b159*b790 + 2*b160*b184 - 2*b184 - 2*
b160*b257 - 2*b257 + 2*b160*b668 + 2*b161*b257 - 2*b161*b895 + 2*b162*b378
- 2*b378 - 2*b162*b523 + 4*b523 + 2*b162*b770 - 2*b163*b697 + 2*b163 + 2*
b163*b748 - 2*b163*b772 - 2*b163*b897 + 2*b164*b165 - 2*b165 + 2*b164*b531
+ 2*b165*b226 + 2*b165*b349 - 4*b349 - 2*b165*b591 - 2*b591 + 2*b166*b312
- 2*b312 + 2*b166*b775 + 2*b167*b168 - 4*b168 + 2*b167*b315 - 2*b315 + 2*
b167*b830 + 2*b168*b232 - 4*b232 + 2*b168*b354 - 2*b354 + 2*b168*b786 + 2*
b169*b170 - 2*b170 + 2*b169*b540 - 4*b540 + 2*b170*b354 + 2*b171*b238 - 2*
b238 + 2*b172*b199 - 4*b172 + 2*b172*b238 + 2*b172*b397 - 2*b397 + 2*b172*
b616 + 2*b173*b241 + 2*b173 - 2*b241 - 2*b173*b492 - 2*b492 - 2*b173*b709
- 2*b173*b873 + 2*b174*b206 + 2*b174 - 2*b206 - 2*b174*b446 - 2*b446 - 2*
b174*b624 - 2*b174*b751 + 2*b175*b206 - 2*b175 + 2*b175*b496 - 4*b496 - 2*
b175*b738 + 2*b175*b833 + 2*b176*b178 - 2*b176 - 4*b178 - 2*b176*b250 + 2*
b250 + 2*b176*b448 - 2*b448 + 2*b176*b665 + 2*b177*b179 + 2*b177 - 2*b179
- 2*b177*b248 - 2*b177*b504 - 2*b177*b787 + 2*b178*b179 + 2*b178*b619 + 2
*b178*b859 - 2*b179*b180 - 2*b180 + 2*b179*b852 + 2*b180*b182 - 4*b182 + 2
*b180*b645 + 2*b180*b763 - 2*b181*b370 - 2*b370 - 2*b181*b690 - 2*b181*
b815 + 2*b182*b703 + 2*b182*b815 + 2*b182*b852 + 2*b183*b569 + 2*b569 + 2*
b183*b656 + 2*b183*b815 + 2*b184*b185 - 2*b184*b604 + 2*b184*b779 + 2*b185
*b300 - 2*b300 - 2*b185*b411 + 2*b411 + 2*b186*b300 - 2*b186 + 2*b186*b339
+ 2*b339 - 2*b186*b518 + 2*b518 + 2*b186*b877 + 2*b187*b415 - 2*b187 - 2*
b415 - 2*b187*b467 + 2*b467 + 2*b187*b680 + 2*b187*b756 - 2*b188*b682 + 2*
b188 + 2*b188*b758 - 2*b188*b783 - 2*b188*b904 + 2*b189*b190 - 2*b190 + 2*
b189*b804 + 2*b190*b268 + 2*b190*b386 - 4*b386 - 2*b190*b530 - 2*b530 + 2*
b191*b269 - 2*b269 + 2*b191*b760 + 2*b192*b427 + 2*b192 - 4*b427 - 2*b192*
b612 - 2*b192*b805 - 2*b192*b857 + 2*b193*b194 - 4*b194 + 2*b193*b352 - 2*
b352 + 2*b193*b839 + 2*b194*b273 - 4*b273 + 2*b194*b392 - 4*b392 + 2*b194*
b794 + 2*b195*b196 - 2*b196 + 2*b195*b600 - 4*b600 + 2*b196*b392 - 2*b197*
b279 + 2*b197 - 2*b279 - 2*b197*b683 + 2*b198*b279 + 2*b199*b542 - 2*b542
- 2*b199*b892 - 2*b200*b358 + 2*b200 - 2*b358 - 2*b200*b654 + 2*b200*b820
- 2*b200*b858 + 2*b201*b285 - 2*b285 - 2*b201*b442 - 2*b442 - 2*b201*b699
+ 2*b202*b445 - 4*b445 + 2*b202*b553 - 4*b553 - 2*b202*b893 + 2*b203*b205
- 2*b205 - 2*b203*b841 + 2*b204*b207 + 2*b204 - 4*b207 - 2*b204*b402 - 2*
b402 - 2*b204*b618 - 2*b204*b739 + 2*b205*b207 + 2*b205*b553 - 2*b205*b750
+ 2*b206*b558 - 2*b206*b900 + 2*b207*b501 + 2*b207*b900 - 2*b208*b210 + 2
*b210 + 2*b208*b211 - 4*b211 + 2*b208*b403 - 2*b403 + 2*b209*b211 - 2*b209
- 2*b209*b850 + 2*b209*b900 + 2*b209*b907 + 2*b210*b212 - 2*b212 - 2*b210
*b450 - 2*b450 - 2*b210*b796 + 2*b211*b212 + 2*b211*b625 + 2*b212*b564 - 2
*b212*b752 - 2*b213*b214 + 2*b214 - 2*b213*b404 - 2*b404 - 2*b213*b703 + 2
*b214*b215 - 2*b214*b568 - 2*b214*b908 + 2*b215*b512 + 2*b512 + 2*b215*
b667 - 2*b216*b691 + 2*b216 + 2*b216*b767 - 2*b216*b807 - 2*b216*b808 + 2*
b217*b218 + 2*b217*b609 + 2*b217*b766 + 2*b218*b336 - 2*b336 - 2*b218*b460
+ 2*b460 + 2*b219*b220 - 2*b220 + 2*b220*b303 + 2*b303 + 2*b220*b336 - 2*
b220*b578 + 2*b578 - 2*b221*b418 - 2*b221 + 2*b418 + 2*b221*b672 + 2*b221*
b745 + 2*b221*b801 - 2*b222*b223 + 2*b222 + 2*b223 - 2*b222*b637 + 2*b222*
b673 - 2*b222*b828 + 2*b223*b773 - 2*b223*b793 - 2*b223*b911 + 2*b224*b225
- 2*b225 + 2*b225*b311 + 2*b225*b425 - 4*b425 - 2*b225*b474 - 2*b474 + 2*
b226*b228 - 4*b228 + 2*b226*b749 + 2*b227*b230 - 4*b230 + 2*b227*b534 - 4*
b534 + 2*b228*b230 + 2*b228*b389 + 2*b389 + 2*b228*b425 - 2*b229*b231 + 2*
b229*b388 - 4*b388 - 2*b229*b536 + 2*b230*b231 + 2*b230*b612 + 2*b231*b316
- 4*b316 + 2*b232*b233 + 2*b232*b390 - 2*b390 + 2*b232*b847 + 2*b233*b316
+ 2*b233*b433 - 4*b433 + 2*b234*b235 - 2*b235 - 2*b234*b640 + 2*b235*b433
- 2*b236*b320 - 2*b320 + 2*b237*b320 + 2*b238*b239 - 2*b239 - 2*b238*b684
+ 2*b239*b320 + 2*b239*b489 - 2*b489 - 2*b239*b881 + 2*b240*b324 - 2*b324
- 2*b240*b398 - 2*b398 - 2*b240*b685 + 2*b241*b243 - 2*b243 + 2*b241*b496
- 2*b241*b899 + 2*b242*b245 - 2*b245 - 2*b242*b849 + 2*b243*b245 + 2*b243
*b324 - 2*b243*b711 + 2*b244*b247 + 2*b244 - 4*b247 - 2*b244*b363 - 2*b363
- 2*b244*b614 - 2*b244*b725 + 2*b245*b247 - 2*b245*b761 + 2*b246*b644 + 2
*b246*b825 - 2*b246*b894 + 2*b247*b448 + 2*b247*b894 + 2*b248*b251 - 4*
b251 + 2*b248*b366 - 2*b366 + 2*b249*b251 - 2*b249 + 2*b249*b502 - 2*b502
- 2*b249*b842 + 2*b249*b894 + 2*b250*b253 - 2*b253 - 2*b250*b806 - 2*b250
*b867 + 2*b251*b253 + 2*b251*b632 + 2*b252*b369 - 2*b252*b506 + 2*b252*
b835 + 2*b253*b506 - 2*b253*b740 + 2*b254*b255 + 2*b254 - 2*b254*b566 - 2*
b254*b764 - 2*b254*b913 + 2*b255*b457 + 2*b457 + 2*b255*b677 - 2*b256*b678
+ 2*b256 + 2*b256*b780 - 2*b256*b816 - 2*b256*b817 + 2*b257*b258 - 2*b258
+ 2*b257*b878 + 2*b258*b769 - 2*b258*b837 + 2*b258*b915 + 2*b259*b260 - 2
*b259*b302 - 2*b302 + 2*b259*b415 + 2*b260*b262 - 2*b262 + 2*b260*b769 - 2
*b261*b380 - 2*b261 + 2*b380 + 2*b261*b661 + 2*b261*b732 + 2*b261*b792 + 2
*b262*b380 + 2*b262*b465 - 2*b465 - 2*b262*b828 - 2*b263*b264 + 2*b263 + 2
*b264 - 2*b263*b583 + 2*b583 - 2*b263*b651 + 2*b263*b663 + 2*b264*b265 - 2
*b264*b802 - 2*b264*b916 - 2*b265*b663 + 2*b265*b917 + 2*b266*b267 - 2*
b267 + 2*b267*b349 + 2*b267*b475 - 4*b475 - 2*b267*b918 + 2*b268*b270 - 4*
b270 + 2*b268*b737 + 2*b269*b386 + 2*b269*b736 - 2*b269*b905 + 2*b270*b351
+ 2*b351 + 2*b270*b475 + 2*b270*b905 - 2*b271*b272 + 2*b271 + 2*b271*b350
- 4*b350 - 2*b271*b477 - 2*b271*b785 + 2*b272*b353 - 4*b353 + 2*b272*b905
+ 2*b273*b274 + 2*b273*b429 - 2*b429 + 2*b273*b857 + 2*b274*b353 + 2*b274
*b482 - 4*b482 + 2*b275*b276 - 2*b276 - 2*b275*b628 + 2*b276*b482 - 2*b277
*b357 - 2*b357 + 2*b278*b357 + 2*b279*b280 - 2*b280 + 2*b279*b892 + 2*b280
*b357 + 2*b280*b546 - 2*b546 - 2*b280*b872 + 2*b281*b284 - 2*b281*b399 + 2
*b281*b616 + 2*b282*b284 - 2*b282 - 2*b282*b360 + 2*b282*b546 + 2*b282*
b872 - 2*b283*b359 - 2*b359 + 2*b283*b361 - 4*b361 + 2*b284*b361 + 2*b285*
b287 - 2*b287 + 2*b285*b553 - 2*b285*b906 + 2*b286*b288 - 2*b288 + 2*b287*
b288 + 2*b287*b361 - 2*b287*b701 + 2*b288*b289 - 4*b289 - 2*b288*b776 + 2*
b289*b403 + 2*b289*b686 + 2*b289*b884 + 2*b290*b293 - 4*b293 + 2*b290*b329
- 2*b329 + 2*b291*b293 - 2*b291 + 2*b291*b559 - 2*b559 - 2*b291*b835 + 2*
b291*b884 + 2*b292*b294 - 2*b294 - 2*b292*b449 + 2*b449 - 2*b292*b860 + 2*
b293*b294 + 2*b293*b645 - 2*b294*b726 + 2*b294*b826 + 2*b295*b297 + 2*b295
- 2*b295*b508 + 2*b508 - 2*b295*b777 - 2*b295*b919 - 2*b296*b406 + 4*b296
+ 2*b406 - 2*b296*b677 - 2*b296*b678 - 2*b296*b853 + 2*b297*b406 + 2*b297
*b690 + 2*b298*b299 - 2*b298 + 2*b298*b691 + 2*b298*b817 - 2*b298*b823 - 2
*b299*b920 + 2*b299*b921 + 2*b300*b302 - 2*b300*b658 + 2*b301*b635 - 2*
b301*b755 + 2*b302*b755 + 2*b302*b922 - 2*b303*b660 - 2*b303*b717 - 2*b303
*b910 - 2*b304*b342 - 2*b304 + 2*b342 + 2*b304*b651 + 2*b304*b717 + 2*b304
*b782 + 2*b305*b342 - 2*b305 + 2*b305*b520 - 2*b520 - 2*b305*b838 + 2*b305
*b910 - 2*b306*b307 + 4*b306 + 2*b307 - 2*b306*b523 - 2*b306*b661 - 2*b306
*b663 + 2*b307*b308 - 2*b307*b810 - 2*b307*b924 + 2*b308*b663 + 2*b308*
b925 + 2*b309*b310 - 2*b310 + 2*b310*b386 + 2*b310*b533 - 4*b533 - 2*b310*
b926 + 2*b311*b313 - 4*b313 + 2*b311*b721 + 2*b312*b349 + 2*b312*b720 - 2*
b312*b898 + 2*b313*b314 + 2*b314 + 2*b313*b533 + 2*b313*b898 - 2*b314*b315
- 2*b314*b428 - 2*b314*b775 + 2*b315*b391 - 4*b391 + 2*b315*b898 + 2*b316
*b478 - 2*b478 + 2*b316*b599 - 2*b317*b621 + 2*b317*b927 - 2*b318*b395 - 2
*b395 + 2*b319*b395 + 2*b320*b321 - 2*b321 + 2*b321*b395 + 2*b321*b723 - 2
*b321*b865 - 2*b322*b323 - 2*b322 + 2*b322*b723 + 2*b322*b881 + 2*b322*
b912 + 2*b323*b400 - 4*b400 + 2*b324*b326 - 2*b326 - 2*b324*b912 + 2*b325*
b327 + 2*b325*b849 + 2*b326*b327 + 2*b326*b400 - 2*b326*b686 + 2*b327*b328
- 4*b328 + 2*b328*b330 - 2*b330 + 2*b328*b366 + 2*b328*b701 + 2*b329*b365
- 4*b365 - 2*b329*b560 + 2*b560 + 2*b329*b724 + 2*b330*b560 - 2*b330*b751
+ 2*b330*b875 - 2*b331*b503 + 2*b503 + 2*b331*b712 - 2*b331*b851 - 2*b332
*b373 + 4*b332 + 2*b373 - 2*b332*b690 - 2*b332*b691 - 2*b332*b844 + 2*b333
*b373 + 2*b333*b703 + 2*b333*b788 + 2*b334*b335 - 2*b334 - 2*b334*b407 + 2
*b407 + 2*b334*b704 + 2*b334*b808 + 2*b335*b460 - 2*b335*b931 + 2*b336*
b338 - 4*b338 - 2*b336*b669 + 2*b337*b626 - 2*b337*b744 + 2*b338*b744 + 2*
b338*b837 + 2*b338*b932 - 2*b339*b671 - 2*b339*b732 - 2*b339*b903 + 2*b340
*b637 + 2*b340*b770 - 2*b340*b771 + 2*b341*b580 - 2*b341 - 2*b580 + 2*b341
*b771 - 2*b341*b845 + 2*b341*b903 - 2*b342*b469 + 2*b469 - 2*b342*b924 - 2
*b343*b344 + 4*b343 - 2*b344 - 2*b343*b467 - 2*b343*b672 - 2*b343*b673 + 2
*b344*b345 + 2*b344*b810 + 2*b344*b924 + 2*b345*b589 - 2*b589 + 2*b345*
b673 + 2*b346*b348 - 4*b348 + 2*b347*b348 - 4*b347 + 2*b347*b531 + 2*b347*
b589 + 2*b347*b719 + 2*b348*b425 + 2*b348*b594 - 4*b594 + 2*b349*b350 + 2*
b350*b594 + 2*b350*b890 - 2*b351*b352 - 2*b351*b615 - 2*b351*b760 + 2*b352
*b430 - 2*b430 + 2*b352*b890 + 2*b353*b537 - 4*b537 + 2*b353*b539 - 2*b354
*b431 + 2*b354*b934 - 2*b355*b438 - 2*b438 + 2*b356*b438 + 2*b357*b358 + 2
*b358*b438 + 2*b358*b710 + 2*b359*b710 + 2*b359*b891 + 2*b359*b906 + 2*
b360*b444 - 4*b444 - 2*b360*b655 + 2*b361*b363 + 2*b362*b364 - 4*b364 + 2*
b362*b841 + 2*b362*b873 + 2*b363*b364 + 2*b363*b444 + 2*b364*b365 + 2*b364
*b776 + 2*b365*b367 - 2*b367 + 2*b365*b711 - 2*b366*b503 + 2*b366*b738 + 2
*b367*b503 - 2*b367*b739 + 2*b367*b866 - 2*b368*b560 + 2*b368*b702 - 2*
b368*b843 + 2*b369*b371 - 4*b371 + 2*b369*b450 + 2*b370*b371 + 2*b370*b702
+ 2*b370*b860 + 2*b371*b634 + 2*b371*b797 - 2*b372*b374 + 4*b372 + 2*b374
- 2*b372*b703 - 2*b372*b704 - 2*b372*b836 - 2*b373*b408 - 2*b408 - 2*b373
*b931 - 2*b374*b375 - 2*b375 + 2*b374*b931 - 2*b374*b936 + 2*b375*b376 + 2
*b375*b713 + 2*b375*b799 + 2*b376*b411 + 2*b376*b931 + 2*b377*b578 - 4*
b377 + 2*b377*b731 + 2*b377*b915 + 2*b377*b937 + 2*b378*b670 + 2*b378*b837
- 2*b378*b854 + 2*b379*b731 - 2*b379 - 2*b379*b800 + 2*b379*b854 + 2*b379
*b896 - 2*b380*b419 - 2*b380*b916 - 2*b381*b382 + 4*b381 - 2*b382 - 2*b381
*b418 - 2*b381*b680 - 2*b381*b681 + 2*b382*b383 + 2*b382*b802 + 2*b382*
b916 + 2*b383*b681 + 2*b383*b889 + 2*b384*b385 - 4*b385 - 2*b384*b855 + 2*
b385*b387 - 2*b387 + 2*b385*b475 + 2*b385*b926 + 2*b386*b388 + 2*b387*b388
+ 2*b387*b532 - 4*b532 - 2*b387*b606 + 2*b388*b880 - 2*b389*b390 - 2*b389
*b620 - 2*b389*b749 + 2*b390*b479 - 2*b479 + 2*b390*b880 + 2*b391*b480 + 2
*b391*b597 - 4*b597 + 2*b391*b599 + 2*b392*b621 + 2*b392*b939 - 2*b393*
b486 - 2*b486 + 2*b394*b486 + 2*b395*b396 - 2*b396 + 2*b396*b486 + 2*b396*
b700 - 2*b396*b848 + 2*b397*b398 - 2*b397*b623 + 2*b397*b824 + 2*b398*b700
+ 2*b398*b899 + 2*b399*b494 - 4*b494 - 2*b399*b814 + 2*b400*b402 + 2*b400
*b912 + 2*b401*b555 - 2*b555 + 2*b401*b834 + 2*b401*b882 + 2*b402*b494 + 2
*b402*b555 - 2*b403*b449 + 2*b403*b750 + 2*b404*b689 + 2*b404*b867 + 2*
b404*b930 - 2*b405*b407 + 2*b405 + 2*b405*b567 - 4*b567 - 2*b405*b713 - 2*
b405*b827 - 2*b406*b458 - 2*b458 - 2*b406*b920 + 2*b407*b920 - 2*b407*b943
+ 2*b408*b410 + 2*b408*b727 + 2*b408*b790 + 2*b409*b742 + 2*b409*b789 - 2
*b409*b895 + 2*b410*b895 + 2*b410*b920 - 2*b411*b754 - 2*b411*b938 - 2*
b412*b575 - 2*b575 - 2*b412*b729 + 2*b413*b414 - 4*b413 - 2*b414 + 2*b413*
b518 + 2*b413*b575 + 2*b413*b922 + 2*b414*b416 - 2*b416 - 2*b414*b636 + 2*
b414*b716 - 2*b415*b417 - 2*b417 + 2*b415*b659 + 2*b416*b417 - 2*b416*b809
+ 2*b416*b887 + 2*b417*b746 + 2*b417*b845 + 2*b418*b887 - 2*b418*b911 - 2
*b419*b420 - 2*b420 - 2*b419*b696 + 2*b420*b422 + 2*b420*b793 + 2*b420*
b911 - 2*b421*b718 + 2*b421 - 2*b421*b719 + 2*b421*b862 - 2*b421*b879 + 2*
b422*b696 + 2*b422*b879 + 2*b423*b424 - 4*b424 - 2*b423*b863 + 2*b424*b426
- 4*b426 + 2*b424*b533 + 2*b424*b918 + 2*b425*b427 + 2*b426*b427 + 2*b426
*b593 - 4*b593 + 2*b426*b606 + 2*b427*b871 - 2*b428*b538 - 2*b538 - 2*b428
*b611 + 2*b429*b538 - 2*b429*b736 + 2*b429*b871 + 2*b430*b432 + 2*b430*
b539 - 2*b430*b620 + 2*b431*b434 + 2*b431*b611 + 2*b432*b434 + 2*b432*b538
+ 2*b433*b435 - 2*b435 + 2*b433*b628 + 2*b434*b435 - 2*b436*b543 - 2*b543
+ 2*b437*b543 + 2*b438*b439 - 2*b439 + 2*b439*b441 - 2*b441 + 2*b439*b543
- 2*b439*b840 + 2*b440*b442 - 2*b440 - 2*b440*b631 + 2*b440*b820 + 2*b440
*b892 + 2*b441*b442 - 2*b441*b685 + 2*b441*b698 + 2*b442*b893 + 2*b443*
b551 - 4*b551 + 2*b443*b655 - 2*b443*b820 + 2*b444*b446 + 2*b444*b906 + 2*
b445*b498 - 2*b498 + 2*b445*b825 + 2*b445*b873 + 2*b446*b498 + 2*b446*b551
- 2*b447*b686 + 2*b447 + 2*b447*b688 - 2*b447*b849 - 2*b447*b907 + 2*b448
*b761 - 2*b448*b806 + 2*b449*b901 - 2*b449*b942 + 2*b450*b452 - 2*b452 + 2
*b450*b633 + 2*b451*b452 + 2*b451*b842 + 2*b451*b942 - 2*b452*b566 + 2*
b452*b919 + 2*b453*b454 + 2*b453 - 4*b454 - 2*b453*b565 - 2*b565 - 2*b453*
b740 - 2*b453*b788 + 2*b454*b456 - 4*b456 + 2*b454*b511 + 2*b511 + 2*b454*
b919 + 2*b455*b510 + 2*b455 - 4*b510 - 2*b455*b727 - 2*b455*b822 - 2*b455*
b823 + 2*b456*b634 + 2*b456*b678 + 2*b456*b823 - 2*b457*b513 - 2*b457*b692
- 2*b457*b914 + 2*b458*b459 + 2*b458*b741 + 2*b458*b779 + 2*b459*b886 + 2
*b459*b914 - 2*b460*b767 - 2*b460*b933 - 2*b461*b742 - 2*b461*b791 + 2*
b462*b463 - 4*b462 + 2*b463 + 2*b462*b464 - 2*b464 + 2*b462*b791 + 2*b462*
b932 - 2*b463*b465 - 2*b463*b770 - 2*b463*b878 + 2*b464*b465 - 2*b464*b649
+ 2*b464*b707 + 2*b465*b466 - 2*b466 + 2*b466*b468 - 2*b468 - 2*b466*b801
+ 2*b466*b838 + 2*b467*b896 - 2*b467*b904 + 2*b468*b585 + 2*b585 - 2*b468
*b662 + 2*b468*b904 - 2*b469*b470 - 2*b470 + 2*b469*b584 - 2*b584 - 2*b469
*b708 + 2*b470*b472 + 2*b470*b783 + 2*b470*b904 - 2*b471*b733 - 2*b471*
b734 - 2*b471*b870 + 2*b472*b708 + 2*b472*b870 + 2*b473*b592 - 2*b592 - 2*
b473*b870 + 2*b474*b592 + 2*b474*b870 + 2*b474*b917 + 2*b475*b476 - 2*b476
+ 2*b476*b639 + 2*b476*b864 - 2*b476*b945 - 2*b477*b598 - 2*b598 + 2*b478
*b598 - 2*b478*b720 + 2*b478*b864 + 2*b479*b480 + 2*b479*b481 - 2*b479*
b615 - 2*b480*b940 + 2*b481*b598 + 2*b481*b940 + 2*b482*b483 - 2*b483 + 2*
b482*b640 + 2*b483*b940 - 2*b484*b819 + 2*b485*b819 + 2*b486*b488 - 4*b488
+ 2*b487*b490 + 2*b487*b683 - 2*b487*b710 + 2*b488*b490 + 2*b488*b819 + 2
*b488*b840 + 2*b489*b492 - 2*b489*b642 + 2*b489*b814 + 2*b490*b492 - 2*
b491*b613 + 2*b491 - 2*b491*b840 + 2*b491*b881 - 2*b491*b883 + 2*b492*b883
+ 2*b493*b495 - 2*b495 - 2*b493*b824 + 2*b494*b497 - 2*b497 + 2*b494*b899
+ 2*b495*b497 - 2*b495*b624 + 2*b495*b883 + 2*b496*b499 - 4*b499 + 2*b496
*b882 + 2*b497*b499 - 2*b497*b644 + 2*b498*b750 - 2*b498*b944 + 2*b499*
b738 + 2*b499*b944 - 2*b500*b502 - 2*b500*b701 - 2*b500*b841 + 2*b501*b776
- 2*b501*b796 + 2*b502*b796 + 2*b502*b944 - 2*b503*b935 + 2*b504*b507 - 2
*b507 + 2*b504*b868 + 2*b505*b507 - 2*b505 - 2*b505*b666 + 2*b505*b850 + 2
*b505*b935 - 2*b506*b913 - 2*b507*b508 + 2*b507*b913 + 2*b508*b510 - 2*
b508*b726 + 2*b509*b568 - 2*b509 + 2*b509*b763 + 2*b509*b930 - 2*b509*b943
+ 2*b510*b913 + 2*b510*b943 - 2*b511*b741 - 2*b511*b815 - 2*b511*b816 - 2
*b512*b570 - 2*b512*b705 - 2*b512*b909 + 2*b513*b514 + 2*b513*b766 + 2*
b514*b876 + 2*b514*b909 - 2*b515*b753 - 2*b515*b781 - 2*b516*b519 - 2*b519
- 2*b516*b657 - 2*b516*b659 + 2*b517*b519 - 4*b517 + 2*b517*b781 + 2*b517
*b809 + 2*b517*b937 - 2*b518*b520 - 2*b518*b782 + 2*b519*b520 + 2*b519*
b695 + 2*b520*b522 - 2*b522 - 2*b521*b524 + 2*b521 - 2*b524 - 2*b521*b672
- 2*b521*b716 + 2*b521*b717 + 2*b522*b524 - 2*b522*b792 + 2*b522*b828 - 2
*b523*b896 - 2*b523*b897 + 2*b524*b525 + 2*b525 + 2*b524*b897 - 2*b525*
b526 - 2*b526 - 2*b525*b718 - 2*b525*b771 + 2*b526*b528 + 2*b526*b772 + 2*
b526*b897 - 2*b527*b603 + 4*b527 - 2*b527*b747 - 2*b527*b862 - 2*b527*b863
+ 2*b528*b718 + 2*b528*b863 + 2*b529*b532 - 2*b529*b879 + 2*b530*b532 + 2
*b530*b863 + 2*b530*b925 + 2*b531*b534 + 2*b532*b534 + 2*b533*b535 + 2*
b534*b535 + 2*b535*b856 + 2*b536*b639 - 2*b536*b641 + 2*b537*b641 + 2*b537
*b720 + 2*b537*b856 + 2*b538*b540 - 2*b539*b601 + 2*b601 + 2*b540*b601 + 2
*b540*b641 - 2*b541*b813 + 2*b542*b813 + 2*b543*b545 - 4*b545 + 2*b544*
b547 - 2*b544*b723 + 2*b545*b547 + 2*b545*b813 + 2*b545*b848 + 2*b546*b549
- 2*b546*b653 + 2*b547*b549 - 2*b548*b608 + 2*b548 - 2*b548*b848 + 2*b548
*b872 - 2*b548*b874 + 2*b549*b874 + 2*b550*b552 - 2*b552 - 2*b550*b832 + 2
*b551*b554 - 4*b554 + 2*b551*b893 + 2*b552*b554 - 2*b552*b618 + 2*b552*
b874 + 2*b553*b556 - 4*b556 + 2*b554*b556 + 2*b554*b644 + 2*b555*b761 - 2*
b555*b941 + 2*b556*b724 + 2*b556*b941 - 2*b557*b559 + 4*b557 - 2*b557*b688
- 2*b557*b711 - 2*b557*b834 - 2*b558*b787 + 2*b559*b787 + 2*b559*b941 - 2
*b560*b929 + 2*b561*b563 - 2*b561 - 4*b563 + 2*b561*b675 - 2*b561*b859 + 2
*b561*b860 + 2*b562*b565 + 2*b562*b861 + 2*b563*b565 + 2*b563*b666 + 2*
b563*b929 - 2*b564*b843 - 2*b564*b908 + 2*b565*b908 + 2*b566*b567 + 2*b567
*b908 + 2*b567*b936 - 2*b568*b807 - 2*b569*b610 - 2*b569*b714 - 2*b569*
b902 + 2*b570*b571 + 2*b570*b572 - 2*b571*b753 - 2*b571*b869 + 2*b572*b869
+ 2*b572*b902 + 2*b573*b657 + 2*b573*b729 - 2*b573*b768 + 2*b574*b768 - 2
*b574 + 2*b574*b869 - 2*b574*b915 + 2*b574*b921 + 2*b575*b577 - 4*b577 + 2
*b575*b938 - 2*b576*b579 - 2*b576*b668 - 2*b576*b670 + 2*b577*b579 + 2*
b577*b768 + 2*b577*b800 - 2*b578*b580 - 2*b578*b792 + 2*b579*b580 + 2*b580
*b582 - 2*b582 - 2*b581*b584 - 2*b581*b680 - 2*b581*b707 + 2*b582*b583 + 2
*b582*b584 - 2*b582*b782 - 2*b583*b887 - 2*b583*b888 + 2*b584*b888 - 2*
b585*b586 - 2*b586 - 2*b585*b733 - 2*b585*b757 + 2*b586*b587 + 2*b586*b588
+ 2*b586*b888 - 2*b587*b855 + 2*b588*b733 + 2*b588*b855 + 2*b589*b591 - 2
*b589*b748 + 2*b590*b593 - 2*b590*b889 + 2*b591*b593 + 2*b591*b855 + 2*
b592*b594 - 2*b592*b945 + 2*b593*b945 + 2*b594*b595 + 2*b595*b596 - 2*b596
+ 2*b595*b945 + 2*b596*b597 - 2*b596*b785 + 2*b596*b846 + 2*b597*b629 + 2
*b597*b736 + 2*b598*b600 - 2*b599*b928 + 2*b600*b629 + 2*b600*b928 - 2*
b601*b934 - 2*b601*b946 - 2*b602*b603 + 2*b602*b719 - 2*b604*b605 + 2*b604
*b729 + 2*b605*b730 - 2*b605*b885 - 2*b606*b674 - 2*b607*b608 - 2*b607*
b614 + 2*b607*b618 + 2*b608*b699 - 2*b609*b610 + 2*b610*b743 + 2*b611*b612
- 2*b611*b621 - 2*b612*b629 + 2*b613*b685 + 2*b614*b686 + 2*b615*b674 - 2
*b616*b617 - 2*b617*b891 + 2*b618*b701 + 2*b619*b726 - 2*b622*b623 + 2*
b622*b685 + 2*b624*b711 + 2*b625*b740 - 2*b626*b627 - 2*b626*b770 + 2*b626
*b782 - 2*b627*b731 - 2*b628*b629 - 2*b630*b631 - 2*b630*b655 + 2*b630*
b699 - 2*b632*b633 + 2*b632*b752 - 2*b633*b875 - 2*b634*b728 - 2*b635*b636
- 2*b635*b756 + 2*b635*b792 - 2*b637*b638 + 2*b637*b682 + 2*b638*b695 + 2
*b638*b756 - 2*b638*b757 - 2*b639*b811 - 2*b639*b847 - 2*b640*b641 - 2*
b643*b813 - 2*b643*b865 - 2*b644*b762 - 2*b645*b646 + 2*b646*b687 - 2*b646
*b866 + 2*b646*b867 - 2*b647*b714 - 2*b648*b649 + 2*b648*b650 - 2*b648*
b745 + 2*b648*b801 + 2*b649*b668 - 2*b650*b768 - 2*b650*b769 - 2*b651*b652
+ 2*b651*b697 + 2*b652*b707 + 2*b652*b745 - 2*b652*b746 - 2*b654*b819 - 2
*b656*b705 - 2*b657*b658 + 2*b659*b660 - 2*b659*b732 - 2*b660*b781 - 2*
b661*b662 + 2*b662*b716 + 2*b662*b732 - 2*b664*b665 - 2*b664*b850 - 2*b665
*b738 + 2*b665*b739 - 2*b667*b692 - 2*b668*b669 + 2*b670*b671 - 2*b670*
b717 - 2*b671*b791 - 2*b673*b773 + 2*b674*b805 - 2*b675*b676 - 2*b675*b842
- 2*b676*b724 + 2*b676*b725 - 2*b679*b915 + 2*b681*b682 - 2*b681*b758 - 2
*b682*b838 + 2*b683*b684 - 2*b683*b698 - 2*b687*b688 - 2*b687*b835 + 2*
b689*b835 - 2*b689*b942 + 2*b691*b692 + 2*b692*b853 - 2*b693*b922 - 2*b694
*b869 - 2*b694*b877 - 2*b695*b755 + 2*b696*b697 - 2*b696*b748 - 2*b697*
b845 - 2*b698*b700 - 2*b699*b700 - 2*b702*b935 + 2*b704*b705 - 2*b704*b798
+ 2*b705*b844 + 2*b706*b753 - 2*b706*b932 - 2*b707*b744 - 2*b708*b735 - 2
*b709*b710 + 2*b712*b821 - 2*b712*b929 + 2*b713*b714 - 2*b713*b789 + 2*
b714*b836 + 2*b715*b742 - 2*b715*b937 - 2*b716*b731 - 2*b719*b784 - 2*b720
*b721 - 2*b721*b890 - 2*b722*b723 - 2*b724*b825 - 2*b725*b901 + 2*b727*
b728 - 2*b727*b778 + 2*b728*b827 - 2*b728*b885 - 2*b729*b730 + 2*b730*b778
- 2*b730*b886 + 2*b734*b735 - 2*b734*b774 - 2*b735*b889 - 2*b736*b737 - 2
*b737*b880 + 2*b739*b849 - 2*b741*b765 - 2*b742*b743 + 2*b743*b765 - 2*
b743*b876 + 2*b744*b903 - 2*b745*b800 + 2*b746*b911 + 2*b747*b748 - 2*b747
*b759 - 2*b749*b871 + 2*b751*b841 - 2*b752*b763 + 2*b753*b754 + 2*b754*
b798 - 2*b754*b902 + 2*b755*b910 - 2*b756*b809 + 2*b757*b854 + 2*b757*b916
- 2*b758*b925 - 2*b760*b864 + 2*b762*b834 - 2*b762*b884 - 2*b763*b797 + 2
*b764*b797 - 2*b765*b766 - 2*b767*b909 + 2*b771*b924 - 2*b773*b917 - 2*
b775*b856 + 2*b777*b788 - 2*b778*b779 - 2*b780*b914 - 2*b780*b921 + 2*b781
*b923 - 2*b786*b818 + 2*b787*b929 - 2*b788*b930 - 2*b789*b790 + 2*b791*
b933 - 2*b794*b812 + 2*b796*b935 - 2*b797*b936 - 2*b798*b799 + 2*b800*b878
- 2*b801*b837 - 2*b803*b804 - 2*b803*b805 + 2*b806*b907 + 2*b806*b942 + 2
*b807*b902 + 2*b807*b936 + 2*b814*b865 - 2*b814*b912 + 2*b816*b909 + 2*
b816*b943 - 2*b820*b906 + 2*b821*b851 - 2*b821*b930 + 2*b823*b914 + 2*b824
*b848 - 2*b824*b899 + 2*b826*b843 - 2*b826*b919 + 2*b829*b830 - 2*b829*
b831 - 2*b830*b880 + 2*b832*b840 + 2*b832*b891 - 2*b832*b893 - 2*b833*b834
- 2*b839*b890 + 2*b842*b843 - 2*b846*b856 - 2*b847*b898 + 2*b850*b851 - 2
*b851*b852 - 2*b857*b905 + 2*b858*b865 - 2*b859*b900 + 2*b859*b901 - 2*
b860*b861 - 2*b866*b894 - 2*b867*b868 - 2*b873*b874 - 2*b875*b884 + 2*b876
*b923 - 2*b877*b878 + 2*b879*b918 - 2*b882*b883 + 2*b886*b933 - 2*b887*
b910 + 2*b889*b926 - 2*b891*b892 + 2*b895*b938 - 2*b896*b903 - 2*b901*b941
- 2*b907*b944 - 2*b917*b918 - 2*b921*b923 - 2*b922*b923 - 2*b925*b926 - 2
*b927*b928 + 2*b928*b946 - 2*b932*b933 - 2*b937*b938 - 2*b939*b940
+ objvar =L= 0;
Model m / all /;
m.limrow=0; m.limcol=0;
m.tolproj=0.0;
$if NOT '%gams.u1%' == '' $include '%gams.u1%'
$if not set MINLP $set MINLP MINLP
Solve m using %MINLP% maximizing objvar;
Last updated: 2024-04-02 Git hash: 1dd5fb9b