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