MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

Home // Instances // Documentation // Download // Statistics


Instance sporttournament36

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)
568.00000000 p1 ( gdx sol )
(infeas: 1e-13)
580.00000000 p2 ( gdx sol )
(infeas: 0)
600.00000000 p3 ( gdx sol )
(infeas: 1e-10)
602.00000000 p4 ( gdx sol )
(infeas: 0)
Other points (infeas > 1e-08)  
Dual Bounds
697.79506520 (ANTIGONE)
617.89497520 (BARON)
734.00000000 (COUENNE)
694.33737100 (CPLEX)
602.00000000 (GUROBI)
674.00000000 (LINDO)
611.63551500 (SCIP)
622.51675060 (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-36-4711
Application Sports Tournament
Added to library 26 Feb 2014
Problem type MBQCP
#Variables 631
#Binary Variables 630
#Integer Variables 0
#Nonlinear Variables 630
#Nonlinear Binary Variables 630
#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 631
#Nonlinear Nonzeros in Jacobian 630
#Nonzeros in (Upper-Left) Hessian of Lagrangian 2448
#Nonzeros in Diagonal of Hessian of Lagrangian 0
#Blocks in Hessian of Lagrangian 1
Minimal blocksize in Hessian of Lagrangian 630
Maximal blocksize in Hessian of Lagrangian 630
Average blocksize in Hessian of Lagrangian 630.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 of Objective Gradient and Jacobian
Sparsity Hessian of Lagrangian Sparsity of 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
*        631        1      630        0        0        0        0        0
*  FX      0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*        631        1      630        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,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;

Equations  e1;


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