MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


Instance sporttournament42

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)
798.00000000 p1 ( gdx sol )
(infeas: 0)
810.00000000 p2 ( gdx sol )
(infeas: 0)
842.00000000 p3 ( gdx sol )
(infeas: 0)
844.00000000 p4 ( gdx sol )
(infeas: 0)
846.00000000 p5 ( gdx sol )
(infeas: 0)
850.00000000 p6 ( gdx sol )
(infeas: 0)
Other points (infeas > 1e-08)  
Dual Bounds
994.58353650 (ANTIGONE)
881.33171960 (BARON)
1050.00000000 (COUENNE)
991.61381370 (CPLEX)
870.00000000 (GUROBI)
958.14990180 (LINDO)
885.32991910 (SCIP)
898.02911570 (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-42-4711
Application Sports Tournament
Added to library 26 Feb 2014
Problem type MBQCP
#Variables 862
#Binary Variables 861
#Integer Variables 0
#Nonlinear Variables 861
#Nonlinear Binary Variables 861
#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 862
#Nonlinear Nonzeros in Jacobian 861
#Nonzeros in (Upper-Left) Hessian of Lagrangian 3360
#Nonzeros in Diagonal of Hessian of Lagrangian 0
#Blocks in Hessian of Lagrangian 1
Minimal blocksize in Hessian of Lagrangian 861
Maximal blocksize in Hessian of Lagrangian 861
Average blocksize in Hessian of Lagrangian 861.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
*        862        1      861        0        0        0        0        0
*  FX      0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*        862        1      861        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,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;

Equations  e1;


e1.. 2*b1*b3 - 2*b1 - 4*b3 - 2*b1*b145 + 2*b145 + 2*b1*b193 - 4*b193 + 2*b1*
     b537 + 2*b2*b376 - 2*b2 - 2*b376 - 2*b2*b522 + 2*b522 + 2*b2*b542 + 2*b2*
     b558 + 2*b3*b547 + 2*b3*b548 + 2*b3*b568 + 2*b4*b75 - 2*b4 - 2*b75 + 2*b4*
     b110 - 2*b110 + 2*b4*b344 - 2*b344 - 2*b4*b596 + 2*b5*b130 - 2*b5 - 2*b130
      + 2*b5*b388 - 4*b388 - 2*b5*b607 + 2*b5*b608 + 2*b6*b110 - 2*b6 + 2*b6*
     b153 - 2*b153 + 2*b6*b432 - 4*b432 - 2*b6*b619 + 2*b7*b130 - 2*b7 + 2*b7*
     b174 - 2*b174 + 2*b7*b485 - 4*b485 - 2*b7*b630 + 2*b8*b94 - 2*b8 - 2*b94
      + 2*b8*b217 + 2*b217 - 2*b8*b610 + 2*b8*b611 + 2*b9*b115 - 2*b9 - 2*b115
      + 2*b9*b546 - 2*b9*b622 + 2*b9*b623 - 2*b10*b256 - 2*b10 + 2*b256 + 2*b10
     *b326 - 2*b326 + 2*b10*b450 - 4*b450 + 2*b10*b603 - 2*b11*b109 - 2*b11 - 2
     *b109 + 2*b11*b205 - 2*b205 + 2*b11*b533 + 2*b11*b699 - 2*b12*b76 - 2*b12
      + 2*b76 + 2*b12*b156 - 2*b156 + 2*b12*b308 - 4*b308 + 2*b12*b597 + 2*b13*
     b137 - 2*b13 - 2*b137 - 2*b13*b283 + 2*b283 + 2*b13*b320 + 2*b320 + 2*b13*
     b556 - 2*b14*b286 - 2*b14 + 2*b286 + 2*b14*b287 - 2*b287 + 2*b14*b504 - 4*
     b504 + 2*b14*b507 + 2*b507 + 2*b15*b244 - 2*b15 - 2*b244 + 2*b15*b305 - 2*
     b305 + 2*b15*b540 - 2*b15*b685 + 2*b16*b160 - 2*b16 - 2*b160 - 2*b16*b317
      + 2*b317 + 2*b16*b564 + 2*b16*b565 - 2*b17*b61 - 2*b17 + 2*b61 + 2*b17*
     b120 - 2*b120 + 2*b17*b681 + 2*b17*b682 + 2*b18*b183 - 2*b18 - 2*b183 - 2*
     b18*b355 + 2*b355 + 2*b18*b555 + 2*b18*b578 + 2*b19*b142 - 2*b19 - 2*b142
      - 2*b19*b692 + 2*b19*b693 + 2*b19*b694 + 2*b20*b40 - 2*b20 - 2*b40 + 2*
     b20*b379 - 4*b379 + 2*b21*b113 - 2*b21 - 2*b113 + 2*b21*b280 - 2*b280 - 2*
     b21*b661 + 2*b21*b662 + 2*b22*b99 - 2*b22 - 2*b99 + 2*b22*b162 - 4*b162 - 
     2*b22*b706 + 2*b22*b707 + 2*b23*b314 - 2*b23 - 2*b314 - 2*b23*b674 + 2*b23
     *b675 + 2*b23*b676 + 2*b24*b120 - 2*b24 + 2*b24*b187 - 4*b187 - 2*b24*b716
      + 2*b24*b717 + 2*b25*b351 - 2*b25 - 4*b351 - 2*b25*b687 + 2*b25*b688 + 2*
     b25*b689 + 2*b26*b142 - 2*b26 + 2*b26*b225 - 4*b225 + 2*b26*b261 - 4*b261
      - 2*b26*b725 + 2*b27*b82 - 2*b27 - 4*b82 - 2*b27*b120 + 2*b27*b225 + 2*
     b27*b726 + 2*b28*b85 - 2*b28 - 2*b85 + 2*b28*b709 + 2*b29*b473 - 2*b29 - 2
     *b473 + 2*b29*b710 + 2*b30*b213 - 2*b30 - 2*b213 + 2*b30*b396 - 2*b396 - 2
     *b30*b701 + 2*b30*b702 + 2*b31*b162 - 2*b31 + 2*b31*b262 - 4*b262 + 2*b31*
     b291 - 4*b291 - 2*b31*b730 + 2*b32*b49 - 2*b32 - 2*b49 - 2*b32*b99 + 2*b32
     *b101 - 4*b101 + 2*b32*b262 + 2*b33*b105 - 2*b33 - 2*b105 + 2*b33*b719 + 2
     *b34*b606 - 2*b34 + 2*b34*b720 + 2*b35*b111 + 2*b35 + 2*b111 - 2*b35*b178
      + 4*b178 - 2*b35*b490 - 2*b490 - 2*b35*b572 + 2*b36*b180 - 4*b36 - 2*b180
      + 2*b36*b215 - 2*b215 + 2*b36*b442 - 2*b442 + 2*b36*b701 + 2*b37*b282 - 2
     *b37 - 4*b282 - 2*b37*b398 + 2*b398 + 2*b37*b447 - 2*b447 + 2*b37*b590 + 2
     *b38*b187 - 4*b38 + 2*b38*b292 - 4*b292 + 2*b38*b331 - 4*b331 + 2*b38*b730
      + 2*b39*b64 - 2*b39 - 4*b64 + 2*b39*b122 - 4*b122 + 2*b39*b292 - 2*b39*
     b694 + 2*b40*b41 - 2*b41 - 2*b40*b104 - 2*b104 + 2*b40*b233 - 4*b233 + 2*
     b41*b125 - 4*b125 + 2*b42*b340 - 2*b42 - 2*b340 + 2*b42*b595 - 2*b43*b201
      - 2*b43 + 2*b201 + 2*b43*b271 - 2*b271 + 2*b43*b551 + 2*b43*b672 + 2*b44*
     b89 + 2*b44 + 2*b89 - 2*b44*b211 + 4*b211 - 2*b44*b437 - 2*b437 - 2*b44*
     b561 + 2*b45*b181 - 4*b45 - 4*b181 + 2*b45*b252 - 2*b252 + 2*b45*b496 - 2*
     b496 + 2*b45*b687 + 2*b46*b136 - 2*b46 + 2*b136 + 2*b46*b316 - 4*b316 - 2*
     b46*b444 + 2*b444 + 2*b46*b703 + 2*b47*b225 - 4*b47 + 2*b47*b332 - 4*b332
      + 2*b47*b367 - 4*b367 + 2*b47*b725 + 2*b48*b82 - 2*b48 + 2*b48*b144 - 4*
     b144 + 2*b48*b332 - 2*b48*b682 + 2*b49*b462 - 4*b462 + 2*b49*b708 - 2*b49*
     b731 + 2*b50*b83 - 2*b50 - 4*b83 - 2*b50*b85 + 2*b50*b148 - 4*b148 + 2*b50
     *b749 + 2*b51*b52 - 2*b51 - 2*b52 - 2*b51*b84 - 2*b84 + 2*b51*b525 - 2*
     b525 + 2*b51*b732 + 2*b52*b148 + 2*b53*b54 - 2*b53 - 2*b54 + 2*b53*b382 - 
     2*b382 + 2*b54*b150 - 2*b150 - 2*b54*b582 + 2*b54*b763 - 2*b55*b240 - 2*
     b55 + 2*b240 + 2*b55*b301 - 2*b301 + 2*b55*b543 + 2*b55*b658 - 2*b56*b249
      + 2*b56 + 4*b249 - 2*b56*b553 + 2*b56*b575 - 2*b56*b631 + 2*b57*b214 - 4*
     b57 - 4*b214 + 2*b57*b280 + 2*b57*b536 + 2*b57*b674 + 2*b58*b353 - 2*b58
      - 4*b353 + 2*b58*b355 - 2*b58*b498 + 2*b498 + 2*b58*b591 + 2*b59*b60 - 2*
     b59 - 2*b60 + 2*b59*b116 - 2*b116 + 2*b59*b220 - 4*b220 - 2*b59*b612 + 2*
     b60*b95 - 2*b95 + 2*b60*b140 - 2*b140 - 2*b60*b288 - 2*b288 + 2*b61*b119
      - 2*b119 - 2*b61*b529 - 2*b61*b781 + 2*b62*b262 - 4*b62 + 2*b62*b368 - 4*
     b368 + 2*b62*b410 - 4*b410 + 2*b62*b716 + 2*b63*b101 - 4*b63 + 2*b63*b164
      - 4*b164 + 2*b63*b368 + 2*b63*b682 + 2*b64*b190 - 4*b190 + 2*b64*b695 + 2
     *b64*b727 - 2*b65*b66 - 2*b65 + 2*b66 + 2*b65*b532 + 2*b65*b547 + 2*b65*
     b728 + 2*b66*b103 - 4*b103 - 2*b66*b749 - 2*b66*b782 + 2*b67*b68 - 2*b67
      - 2*b68 + 2*b67*b751 - 2*b67*b761 + 2*b67*b762 - 2*b68*b69 - 2*b69 + 2*
     b68*b103 + 2*b68*b168 - 4*b168 + 2*b69*b70 - 2*b70 + 2*b69*b470 - 2*b470
      + 2*b69*b736 + 2*b70*b168 + 2*b71*b72 - 2*b71 - 2*b72 + 2*b71*b423 - 2*
     b423 + 2*b72*b170 - 2*b170 - 2*b72*b570 + 2*b72*b752 + 2*b73*b538 - 2*b73
      + 2*b73*b641 + 2*b73*b722 - 2*b73*b784 + 2*b74*b484 - 4*b74 - 2*b484 + 2*
     b74*b584 + 2*b74*b740 + 2*b74*b784 - 2*b75*b76 + 2*b75*b176 - 2*b176 + 2*
     b75*b583 - 2*b76*b175 - 2*b175 + 2*b76*b786 + 2*b77*b588 - 2*b77 + 2*b77*
     b645 + 2*b77*b779 - 2*b77*b787 + 2*b78*b251 - 4*b78 - 4*b251 + 2*b78*b314
      + 2*b78*b531 + 2*b78*b661 + 2*b79*b317 - 2*b79 + 2*b79*b399 - 4*b399 + 2*
     b79*b601 - 2*b79*b724 + 2*b80*b292 - 4*b80 + 2*b80*b412 - 2*b412 + 2*b80*
     b458 - 4*b458 + 2*b80*b706 + 2*b81*b122 - 4*b81 + 2*b81*b189 - 4*b189 + 2*
     b81*b412 + 2*b81*b694 + 2*b82*b683 + 2*b82*b731 + 2*b83*b84 + 2*b83*b761
      + 2*b83*b773 + 2*b84*b123 - 4*b123 + 2*b84*b197 - 2*b197 + 2*b85*b86 - 2*
     b86 + 2*b85*b418 - 2*b418 + 2*b86*b197 + 2*b87*b88 - 2*b87 - 2*b88 + 2*b87
     *b473 + 2*b88*b199 - 2*b199 + 2*b88*b474 + 2*b474 - 2*b88*b560 - 2*b89*
     b438 + 2*b438 - 2*b89*b562 - 2*b89*b768 + 2*b90*b598 - 2*b90 + 2*b90*b660
      + 2*b90*b768 - 2*b90*b795 + 2*b91*b92 - 4*b91 - 2*b92 + 2*b91*b279 - 4*
     b279 + 2*b91*b351 + 2*b91*b648 + 2*b92*b352 + 2*b352 + 2*b92*b535 - 2*b92*
     b796 + 2*b93*b94 - 2*b93 + 2*b93*b283 + 2*b93*b445 - 4*b445 - 2*b93*b729
      - 2*b94*b797 + 2*b94*b798 + 2*b95*b97 - 4*b97 + 2*b95*b529 - 2*b95*b680
      + 2*b96*b97 - 4*b96 + 2*b96*b602 + 2*b96*b653 + 2*b96*b760 + 2*b97*b457
      + 2*b457 + 2*b97*b528 + 2*b98*b332 - 4*b98 + 2*b98*b460 - 2*b460 + 2*b98*
     b513 - 4*b513 + 2*b98*b692 + 2*b99*b100 - 4*b100 + 2*b99*b667 + 2*b100*
     b144 + 2*b100*b227 - 4*b227 + 2*b100*b460 + 2*b101*b670 + 2*b101*b728 + 2*
     b102*b190 - 2*b102 + 2*b102*b467 + 2*b467 + 2*b102*b520 - 4*b520 - 2*b102*
     b762 + 2*b103*b104 + 2*b103*b783 + 2*b104*b146 - 4*b146 + 2*b104*b234 - 2*
     b234 + 2*b105*b106 - 2*b106 + 2*b105*b377 - 4*b377 - 2*b105*b751 + 2*b106*
     b234 + 2*b107*b108 - 2*b107 - 2*b108 + 2*b107*b606 + 2*b108*b236 - 2*b236
      + 2*b108*b424 + 2*b424 - 2*b108*b549 + 2*b109*b431 - 4*b431 + 2*b109*b766
      + 2*b109*b804 + 2*b110*b573 - 2*b110*b767 - 2*b111*b574 - 2*b111*b757 - 2
     *b111*b758 + 2*b112*b310 - 4*b112 - 4*b310 + 2*b112*b609 + 2*b112*b673 + 2
     *b112*b758 - 2*b113*b315 + 4*b315 + 2*b113*b530 + 2*b113*b621 + 2*b114*
     b115 - 2*b114 + 2*b114*b499 - 4*b499 + 2*b114*b622 - 2*b114*b734 - 2*b115*
     b354 + 2*b354 + 2*b115*b806 + 2*b116*b118 - 4*b118 + 2*b116*b221 - 2*b221
      - 2*b116*b329 + 4*b329 + 2*b117*b592 - 2*b117 + 2*b117*b636 + 2*b117*b771
      - 2*b117*b789 + 2*b118*b666 + 2*b118*b748 + 2*b118*b789 + 2*b119*b368 + 2
     *b119*b515 - 2*b515 - 2*b119*b528 + 2*b120*b121 - 4*b121 + 2*b121*b164 + 2
     *b121*b264 - 4*b264 + 2*b121*b515 + 2*b122*b656 + 2*b122*b718 + 2*b123*
     b124 - 2*b124 + 2*b123*b750 + 2*b123*b792 + 2*b124*b166 - 4*b166 + 2*b124*
     b269 - 2*b269 - 2*b124*b719 + 2*b125*b126 - 2*b126 + 2*b125*b419 - 4*b419
      + 2*b125*b751 + 2*b126*b269 + 2*b127*b128 - 2*b127 - 4*b128 + 2*b127*b595
      + 2*b128*b383 + 2*b383 + 2*b128*b560 + 2*b128*b811 + 2*b129*b173 - 2*b129
      - 2*b173 + 2*b129*b483 - 4*b483 - 2*b129*b659 + 2*b129*b756 + 2*b130*b131
      - 2*b131 - 2*b130*b390 + 2*b390 + 2*b131*b391 - 2*b391 - 2*b131*b561 + 2*
     b131*b805 + 2*b132*b134 - 2*b132 - 4*b134 - 2*b132*b248 - 2*b248 + 2*b132*
     b586 + 2*b132*b686 - 2*b133*b588 + 2*b133 + 2*b133*b597 - 2*b133*b744 - 2*
     b133*b745 + 2*b134*b620 + 2*b134*b745 + 2*b134*b795 + 2*b135*b137 - 2*b135
      - 2*b135*b535 + 2*b135*b610 + 2*b135*b734 - 2*b136*b284 - 2*b284 - 2*b136
     *b576 - 2*b136*b770 + 2*b137*b284 - 2*b137*b400 + 2*b400 + 2*b138*b219 - 4
     *b138 - 2*b219 + 2*b138*b284 + 2*b138*b322 + 2*b322 + 2*b138*b576 + 2*b139
     *b141 - 2*b139 - 4*b141 + 2*b139*b184 - 2*b184 - 2*b139*b365 + 4*b365 + 2*
     b139*b603 + 2*b140*b579 + 2*b140*b625 - 2*b140*b781 + 2*b141*b529 + 2*b141
     *b739 + 2*b141*b781 + 2*b142*b143 - 2*b143 - 2*b142*b727 + 2*b143*b189 + 2
     *b143*b295 - 4*b295 - 2*b143*b516 - 2*b516 + 2*b144*b638 + 2*b144*b708 + 2
     *b145*b415 - 2*b415 - 2*b145*b728 - 2*b145*b783 + 2*b146*b147 - 2*b147 + 2
     *b146*b194 - 2*b194 + 2*b146*b762 + 2*b147*b195 - 4*b195 + 2*b147*b299 - 2
     *b299 - 2*b147*b709 + 2*b148*b149 - 2*b149 + 2*b148*b471 - 4*b471 + 2*b149
     *b299 + 2*b150*b151 - 4*b151 + 2*b151*b341 + 2*b341 + 2*b151*b570 + 2*b151
     *b816 + 2*b152*b238 - 2*b152 - 4*b238 + 2*b152*b428 - 2*b428 + 2*b152*b740
      - 2*b152*b817 + 2*b153*b155 - 2*b155 - 2*b153*b346 + 2*b346 + 2*b153*b643
      + 2*b154*b155 - 2*b154 + 2*b154*b204 - 2*b204 - 2*b154*b587 + 2*b154*b804
      + 2*b155*b436 - 2*b436 - 2*b155*b553 + 2*b156*b158 - 4*b158 - 2*b156*b210
      - 2*b210 + 2*b156*b700 - 2*b157*b311 + 4*b157 - 2*b311 - 2*b157*b597 - 2*
     b157*b598 - 2*b157*b738 + 2*b158*b632 + 2*b158*b738 + 2*b158*b787 + 2*b159
     *b160 - 2*b159 - 2*b159*b530 + 2*b159*b600 + 2*b159*b729 + 2*b160*b318 - 2
     *b318 - 2*b160*b446 + 2*b446 - 2*b161*b614 + 2*b161 - 2*b161*b692 + 2*b161
     *b693 - 2*b161*b819 + 2*b162*b163 - 2*b163 + 2*b162*b462 + 2*b163*b227 + 2
     *b163*b334 - 4*b334 - 2*b163*b461 - 2*b461 + 2*b164*b228 - 2*b228 + 2*b164
     *b695 + 2*b165*b373 + 2*b165 - 4*b373 - 2*b165*b522 - 2*b165*b718 - 2*b165
     *b792 + 2*b166*b167 - 4*b167 + 2*b166*b231 - 2*b231 + 2*b166*b773 + 2*b167
     *b232 - 4*b232 + 2*b167*b339 - 4*b339 + 2*b167*b709 + 2*b168*b169 - 2*b169
      + 2*b168*b526 - 4*b526 + 2*b169*b339 + 2*b170*b171 - 4*b171 + 2*b171*b300
      + 2*b300 + 2*b171*b582 + 2*b171*b821 + 2*b172*b480 - 2*b172 - 2*b480 - 2*
     b172*b584 + 2*b172*b630 + 2*b172*b753 + 2*b173*b175 - 2*b173*b484 + 2*b173
     *b805 + 2*b174*b177 - 4*b177 - 2*b174*b307 + 2*b307 + 2*b174*b659 + 2*b175
     *b177 + 2*b175*b243 - 2*b243 + 2*b176*b209 - 2*b209 + 2*b176*b305 - 2*b176
     *b489 - 2*b489 + 2*b177*b489 + 2*b177*b553 - 2*b178*b179 + 2*b179 - 2*b178
     *b348 - 2*b348 - 2*b178*b609 + 2*b179*b181 - 2*b179*b661 - 2*b179*b823 + 2
     *b180*b588 + 2*b180*b738 - 2*b180*b824 + 2*b181*b598 + 2*b181*b824 + 2*
     b182*b183 - 4*b182 + 2*b182*b535 + 2*b182*b590 + 2*b182*b724 + 2*b183*b356
      - 2*b356 - 2*b183*b500 + 2*b500 + 2*b184*b324 - 2*b324 - 2*b184*b453 + 2*
     b453 + 2*b184*b679 - 2*b185*b186 + 2*b185 + 2*b186 - 2*b185*b566 + 2*b185*
     b604 - 2*b185*b760 - 2*b186*b706 + 2*b186*b707 - 2*b186*b827 + 2*b187*b188
      - 2*b188 + 2*b187*b727 + 2*b188*b264 + 2*b188*b371 - 4*b371 - 2*b188*b413
      - 2*b413 + 2*b189*b191 - 4*b191 + 2*b189*b683 + 2*b190*b193 + 2*b190*b465
      - 4*b465 + 2*b191*b193 + 2*b191*b371 + 2*b191*b655 - 2*b192*b194 + 2*b192
      + 2*b192*b336 - 4*b336 - 2*b192*b467 - 2*b192*b708 + 2*b193*b194 + 2*b194
     *b268 - 4*b268 + 2*b195*b196 - 4*b196 + 2*b195*b267 - 2*b267 + 2*b195*b783
      + 2*b196*b268 + 2*b196*b378 - 4*b378 + 2*b196*b719 + 2*b197*b198 - 2*b198
      - 2*b197*b568 + 2*b198*b378 + 2*b199*b200 - 4*b200 + 2*b200*b270 + 2*b270
      + 2*b200*b381 - 2*b381 + 2*b200*b594 + 2*b201*b203 - 4*b203 - 2*b201*b764
      - 2*b201*b766 - 2*b202*b533 + 2*b202 + 2*b202*b538 - 2*b202*b618 - 2*b202
     *b619 + 2*b203*b619 + 2*b203*b642 + 2*b203*b742 + 2*b204*b206 - 2*b206 + 2
     *b204*b644 - 2*b204*b775 + 2*b205*b208 - 4*b208 - 2*b205*b275 + 2*b275 + 2
     *b205*b643 + 2*b206*b208 + 2*b206*b273 - 2*b273 - 2*b206*b777 + 2*b207*
     b210 + 2*b207 - 2*b207*b436 - 2*b207*b488 - 2*b488 - 2*b207*b699 + 2*b208*
     b210 + 2*b208*b561 + 2*b209*b310 - 2*b209*b438 + 2*b209*b767 + 2*b210*b438
      - 2*b211*b212 + 2*b212 - 2*b211*b392 - 2*b392 - 2*b211*b620 + 2*b212*b214
      - 2*b212*b674 - 2*b212*b829 + 2*b213*b574 + 2*b213*b745 - 2*b213*b830 + 2
     *b214*b609 + 2*b214*b830 + 2*b215*b216 - 2*b216 - 2*b215*b498 + 2*b215*
     b633 + 2*b216*b500 + 2*b216*b663 - 2*b216*b831 - 2*b217*b501 - 2*b501 - 2*
     b217*b545 - 2*b217*b678 - 2*b218*b449 - 2*b218 + 2*b449 + 2*b218*b678 + 2*
     b218*b798 + 2*b218*b832 + 2*b219*b220 - 2*b219*b321 - 2*b321 + 2*b219*b360
      - 2*b360 + 2*b220*b222 - 2*b222 + 2*b220*b678 + 2*b221*b360 - 2*b221*b406
      + 2*b406 + 2*b221*b665 + 2*b222*b404 - 2*b404 + 2*b222*b406 - 2*b222*b760
      - 2*b223*b224 + 2*b223 + 2*b224 - 2*b223*b579 + 2*b223*b593 - 2*b223*b748
      - 2*b224*b716 + 2*b224*b717 - 2*b224*b834 + 2*b225*b226 - 2*b226 + 2*b226
     *b295 - 2*b226*b369 - 2*b369 + 2*b226*b414 - 4*b414 + 2*b227*b229 - 4*b229
      + 2*b227*b670 + 2*b228*b334 + 2*b228*b637 - 2*b228*b820 + 2*b229*b414 + 2
     *b229*b669 + 2*b229*b820 - 2*b230*b231 + 2*b230 + 2*b230*b296 - 4*b296 - 2
     *b230*b542 - 2*b230*b695 + 2*b231*b298 - 4*b298 + 2*b231*b820 + 2*b232*
     b233 + 2*b232*b297 - 2*b297 + 2*b232*b792 + 2*b233*b298 + 2*b233*b420 - 4*
     b420 + 2*b234*b235 - 2*b235 - 2*b234*b558 + 2*b235*b420 + 2*b236*b237 - 4*
     b237 + 2*b237*b422 - 2*b422 + 2*b237*b605 + 2*b237*b697 + 2*b238*b239 - 2*
     b239 + 2*b238*b549 + 2*b238*b697 + 2*b239*b477 - 2*b477 + 2*b239*b629 - 2*
     b239*b793 + 2*b240*b242 - 4*b242 - 2*b240*b774 - 2*b240*b776 - 2*b241*b302
      + 4*b241 - 2*b302 - 2*b241*b538 - 2*b241*b540 - 2*b241*b607 + 2*b242*b607
      + 2*b242*b629 + 2*b242*b755 + 2*b243*b245 - 2*b245 + 2*b243*b630 - 2*b243
     *b765 - 2*b244*b246 + 2*b246 + 2*b244*b247 - 4*b247 + 2*b244*b659 + 2*b245
     *b247 + 2*b245*b304 - 2*b304 - 2*b245*b767 + 2*b246*b248 - 2*b246*b391 - 2
     *b246*b435 - 2*b435 + 2*b247*b248 + 2*b247*b572 + 2*b248*b757 - 2*b249*
     b250 + 2*b250 - 2*b249*b439 - 2*b439 - 2*b249*b632 + 2*b250*b251 - 2*b250*
     b687 - 2*b250*b835 + 2*b251*b620 + 2*b251*b836 + 2*b252*b254 - 2*b254 + 2*
     b252*b647 - 2*b252*b724 - 2*b253*b397 + 2*b253 - 2*b397 - 2*b253*b446 - 2*
     b253*b634 + 2*b253*b689 + 2*b254*b446 + 2*b254*b677 - 2*b254*b837 - 2*b255
     *b503 - 2*b255 + 2*b503 + 2*b255*b664 + 2*b255*b806 + 2*b255*b838 - 2*b256
     *b546 + 2*b256*b799 - 2*b256*b826 - 2*b257*b364 - 2*b257 + 2*b364 + 2*b257
     *b602 + 2*b257*b652 + 2*b257*b715 + 2*b258*b364 - 2*b258 + 2*b258*b451 - 2
     *b451 - 2*b258*b771 + 2*b258*b826 - 2*b259*b260 + 4*b259 + 2*b260 - 2*b259
     *b592 - 2*b259*b593 - 2*b259*b739 + 2*b260*b261 - 2*b260*b725 - 2*b260*
     b840 + 2*b261*b593 + 2*b261*b841 + 2*b262*b263 - 2*b263 + 2*b263*b334 + 2*
     b263*b464 - 4*b464 - 2*b263*b842 + 2*b264*b265 - 4*b265 + 2*b264*b656 + 2*
     b265*b266 + 2*b266 + 2*b265*b464 + 2*b265*b815 - 2*b266*b267 - 2*b266*b547
      - 2*b266*b683 + 2*b267*b338 - 4*b338 + 2*b267*b815 + 2*b268*b337 - 2*b337
      + 2*b268*b525 - 2*b269*b548 + 2*b269*b843 - 2*b270*b628 - 2*b270*b710 - 2
     *b270*b828 + 2*b271*b605 + 2*b271*b752 - 2*b271*b785 + 2*b272*b596 - 4*
     b272 + 2*b272*b618 + 2*b272*b765 + 2*b272*b784 + 2*b273*b274 - 2*b274 + 2*
     b273*b619 - 2*b273*b755 + 2*b274*b276 - 4*b276 + 2*b274*b345 - 2*b345 - 2*
     b274*b390 + 2*b275*b277 - 2*b277 - 2*b275*b347 - 2*b347 - 2*b275*b733 + 2*
     b276*b277 + 2*b276*b586 + 2*b276*b699 - 2*b277*b673 + 2*b277*b744 + 2*b278
     *b279 + 2*b278 - 2*b278*b493 + 2*b493 - 2*b278*b701 - 2*b278*b846 + 2*b279
     *b632 + 2*b279*b796 + 2*b280*b282 - 2*b280*b729 - 2*b281*b400 + 2*b281 - 2
     *b281*b443 - 2*b443 - 2*b281*b649 + 2*b281*b676 + 2*b282*b400 + 2*b282*
     b837 - 2*b283*b634 - 2*b283*b847 + 2*b284*b285 - 2*b285 + 2*b285*b651 - 2*
     b285*b747 + 2*b285*b847 - 2*b286*b556 + 2*b286*b807 - 2*b286*b818 - 2*b287
     *b328 + 2*b328 + 2*b287*b592 + 2*b287*b705 + 2*b288*b328 + 2*b288*b506 - 2
     *b506 + 2*b288*b818 - 2*b289*b290 + 4*b289 + 2*b290 - 2*b289*b602 - 2*b289
     *b604 - 2*b289*b735 + 2*b290*b291 - 2*b290*b730 - 2*b290*b849 + 2*b291*
     b411 - 2*b411 + 2*b291*b604 + 2*b292*b294 - 4*b294 + 2*b293*b294 - 4*b293
      + 2*b293*b411 + 2*b293*b462 + 2*b293*b654 + 2*b294*b371 + 2*b294*b519 - 4
     *b519 + 2*b295*b296 + 2*b295*b638 + 2*b296*b519 + 2*b296*b810 + 2*b297*
     b375 - 4*b375 - 2*b297*b669 + 2*b297*b810 + 2*b298*b374 - 2*b374 + 2*b298*
     b470 - 2*b299*b376 + 2*b299*b850 - 2*b300*b641 - 2*b300*b720 - 2*b300*b822
      + 2*b301*b594 + 2*b301*b763 - 2*b301*b774 + 2*b302*b303 - 4*b303 + 2*b302
     *b615 + 2*b302*b774 + 2*b303*b585 + 2*b303*b775 + 2*b303*b793 + 2*b304*
     b306 - 2*b306 + 2*b304*b607 - 2*b304*b742 + 2*b305*b308 - 2*b305*b434 - 2*
     b434 + 2*b306*b308 - 2*b306*b346 + 2*b306*b389 - 4*b389 + 2*b307*b309 - 2*
     b309 - 2*b307*b737 - 2*b307*b794 + 2*b308*b309 + 2*b309*b311 - 2*b309*b660
      + 2*b310*b312 - 4*b312 + 2*b310*b347 + 2*b311*b312 + 2*b311*b794 + 2*b312
     *b562 + 2*b312*b713 - 2*b313*b531 + 2*b313 - 2*b313*b662 + 2*b313*b831 - 2
     *b313*b852 + 2*b314*b316 - 2*b314*b734 - 2*b315*b354 - 2*b315*b497 - 2*
     b497 - 2*b315*b663 + 2*b316*b354 + 2*b316*b831 - 2*b317*b319 + 2*b319 - 2*
     b317*b649 + 2*b318*b321 - 2*b318*b590 + 2*b318*b807 + 2*b319*b321 - 2*b319
     *b578 - 2*b319*b853 - 2*b320*b323 - 2*b323 - 2*b320*b576 - 2*b320*b577 + 2
     *b321*b323 - 2*b322*b325 - 2*b325 - 2*b322*b565 - 2*b322*b652 + 2*b323*
     b325 + 2*b323*b635 - 2*b324*b327 - 2*b327 + 2*b324*b577 + 2*b324*b747 + 2*
     b325*b327 + 2*b325*b814 + 2*b326*b505 + 2*b505 + 2*b326*b579 - 2*b326*b691
      + 2*b327*b691 + 2*b327*b771 - 2*b328*b455 + 2*b455 - 2*b328*b849 - 2*b329
     *b330 - 2*b330 - 2*b329*b453 - 2*b329*b613 + 2*b330*b331 + 2*b330*b730 + 2
     *b330*b849 + 2*b331*b459 - 2*b459 + 2*b331*b613 + 2*b332*b333 - 4*b333 + 2
     *b333*b335 - 2*b335 + 2*b333*b414 + 2*b333*b842 + 2*b334*b336 + 2*b335*
     b336 + 2*b335*b463 - 4*b463 - 2*b335*b532 + 2*b336*b801 + 2*b337*b417 - 4*
     b417 - 2*b337*b655 + 2*b337*b801 + 2*b338*b416 - 4*b416 + 2*b338*b418 + 2*
     b338*b525 + 2*b339*b548 + 2*b339*b854 - 2*b340*b341 + 2*b340*b657 + 2*b340
     *b721 - 2*b341*b658 - 2*b341*b817 + 2*b342*b343 - 2*b342 - 4*b343 - 2*b342
     *b482 + 2*b482 + 2*b342*b626 + 2*b342*b764 + 2*b343*b344 + 2*b343*b484 + 2
     *b343*b802 + 2*b344*b433 - 4*b433 - 2*b344*b571 - 2*b345*b584 + 2*b345*
     b596 + 2*b345*b737 + 2*b346*b646 - 2*b346*b786 + 2*b347*b348 + 2*b347*b573
      + 2*b348*b646 + 2*b348*b846 - 2*b349*b350 + 2*b349 + 2*b350 - 2*b349*b598
      + 2*b349*b647 - 2*b349*b779 - 2*b350*b536 + 2*b350*b825 - 2*b350*b858 + 2
     *b351*b353 + 2*b351*b734 - 2*b352*b676 - 2*b352*b677 - 2*b352*b797 + 2*
     b353*b797 + 2*b353*b825 - 2*b354*b853 - 2*b355*b663 - 2*b355*b714 + 2*b356
     *b357 - 4*b357 - 2*b356*b600 + 2*b356*b799 + 2*b357*b359 - 2*b359 + 2*b357
     *b714 + 2*b357*b747 - 2*b358*b361 + 4*b358 - 2*b361 - 2*b358*b578 - 2*b358
     *b665 - 2*b358*b807 + 2*b359*b361 - 2*b359*b623 + 2*b359*b624 - 2*b360*
     b363 - 2*b363 + 2*b360*b563 + 2*b361*b363 + 2*b361*b808 + 2*b362*b566 - 2*
     b362 + 2*b362*b612 + 2*b362*b679 - 2*b362*b680 + 2*b363*b680 + 2*b363*b760
      - 2*b364*b408 + 2*b408 - 2*b364*b840 - 2*b365*b366 - 2*b366 - 2*b365*b406
      - 2*b365*b625 + 2*b366*b367 + 2*b366*b725 + 2*b366*b840 + 2*b367*b514 - 2
     *b514 + 2*b367*b625 + 2*b368*b370 - 4*b370 + 2*b369*b370 + 2*b369*b514 + 2
     *b369*b841 + 2*b370*b372 - 4*b372 + 2*b370*b464 + 2*b371*b373 + 2*b372*
     b373 + 2*b372*b518 - 4*b518 + 2*b372*b532 + 2*b373*b791 + 2*b374*b469 - 2*
     b469 - 2*b374*b637 + 2*b374*b791 + 2*b375*b377 + 2*b375*b468 - 4*b468 + 2*
     b375*b470 + 2*b376*b379 + 2*b376*b537 + 2*b377*b379 + 2*b377*b469 + 2*b378
     *b380 - 2*b380 + 2*b378*b558 + 2*b379*b380 + 2*b381*b856 - 2*b382*b383 + 2
     *b382*b384 - 4*b384 + 2*b382*b711 - 2*b383*b385 - 2*b385 - 2*b383*b672 + 2
     *b384*b385 + 2*b384*b640 + 2*b384*b856 + 2*b385*b754 + 2*b385*b813 + 2*
     b386*b387 - 2*b386 - 4*b387 - 2*b386*b430 + 2*b430 + 2*b386*b639 + 2*b386*
     b754 + 2*b387*b388 + 2*b387*b685 + 2*b387*b812 + 2*b388*b486 - 4*b486 + 2*
     b388*b571 + 2*b389*b585 + 2*b389*b733 + 2*b389*b742 + 2*b390*b631 - 2*b390
     *b778 + 2*b391*b392 + 2*b391*b795 + 2*b392*b631 + 2*b392*b835 + 2*b393*
     b395 - 4*b393 - 4*b395 + 2*b393*b674 + 2*b393*b686 + 2*b393*b835 - 2*b394*
     b609 + 2*b394 + 2*b394*b633 - 2*b394*b768 - 2*b394*b769 + 2*b395*b562 + 2*
     b395*b621 + 2*b395*b769 + 2*b396*b399 + 2*b396*b729 - 2*b396*b746 + 2*b397
     *b399 + 2*b397*b769 + 2*b397*b824 + 2*b398*b531 - 2*b398*b689 - 2*b398*
     b788 + 2*b399*b788 - 2*b400*b848 + 2*b401*b403 - 4*b401 - 2*b403 + 2*b401*
     b503 + 2*b401*b704 + 2*b401*b832 - 2*b402*b404 + 2*b402 + 2*b402*b502 - 4*
     b502 - 2*b402*b679 - 2*b402*b799 + 2*b403*b404 - 2*b403*b611 + 2*b403*b612
      + 2*b404*b405 - 2*b405 + 2*b405*b407 - 2*b407 - 2*b405*b715 + 2*b405*b748
      - 2*b406*b834 + 2*b407*b510 + 2*b510 - 2*b407*b567 + 2*b407*b834 - 2*b408
     *b409 - 2*b409 + 2*b408*b509 - 2*b509 - 2*b408*b636 + 2*b409*b410 + 2*b409
     *b716 + 2*b409*b834 + 2*b410*b636 + 2*b410*b809 + 2*b411*b413 - 2*b411*
     b707 + 2*b412*b517 - 2*b517 - 2*b412*b790 + 2*b413*b517 + 2*b413*b809 + 2*
     b414*b415 + 2*b415*b782 - 2*b415*b860 + 2*b416*b524 - 2*b524 + 2*b416*b637
      + 2*b416*b782 + 2*b417*b418 + 2*b417*b419 + 2*b417*b523 - 4*b523 - 2*b418
     *b855 + 2*b419*b524 + 2*b419*b855 + 2*b420*b421 - 2*b421 + 2*b420*b568 + 2
     *b421*b855 + 2*b422*b851 - 2*b423*b424 + 2*b423*b425 - 4*b425 + 2*b423*
     b696 - 2*b424*b426 - 2*b426 - 2*b424*b476 + 2*b476 + 2*b425*b426 + 2*b425*
     b627 + 2*b425*b851 + 2*b426*b741 + 2*b426*b803 + 2*b427*b429 - 2*b427 - 2*
     b429 - 2*b427*b480 + 2*b427*b640 + 2*b427*b658 + 2*b428*b431 - 2*b428*b478
      - 2*b478 + 2*b428*b743 + 2*b429*b431 - 2*b429*b571 + 2*b429*b741 + 2*b430
     *b432 - 2*b430*b551 - 2*b430*b585 + 2*b431*b432 + 2*b432*b434 + 2*b433*
     b435 + 2*b433*b737 + 2*b433*b755 + 2*b434*b435 + 2*b434*b775 + 2*b435*b859
      + 2*b436*b439 + 2*b436*b787 + 2*b437*b439 + 2*b437*b767 + 2*b437*b859 - 2
     *b438*b829 + 2*b439*b829 + 2*b440*b661 - 4*b440 + 2*b440*b700 + 2*b440*
     b829 + 2*b440*b858 - 2*b441*b620 + 4*b441 - 2*b441*b621 - 2*b441*b758 - 2*
     b441*b759 + 2*b442*b445 + 2*b442*b724 - 2*b442*b759 + 2*b443*b445 + 2*b443
     *b759 + 2*b443*b830 + 2*b444*b536 - 2*b444*b702 - 2*b444*b780 + 2*b445*
     b780 - 2*b446*b839 + 2*b447*b576 + 2*b447*b634 - 2*b447*b690 + 2*b448*b449
      - 4*b448 + 2*b448*b450 + 2*b448*b690 + 2*b448*b838 - 2*b449*b451 - 2*b449
     *b505 + 2*b450*b451 + 2*b450*b611 + 2*b451*b452 - 2*b452 + 2*b452*b454 - 2
     *b454 - 2*b452*b705 + 2*b452*b739 + 2*b453*b808 - 2*b453*b827 + 2*b454*
     b455 - 2*b454*b580 + 2*b454*b827 - 2*b455*b456 - 2*b456 - 2*b455*b653 + 2*
     b456*b458 + 2*b456*b706 + 2*b456*b827 - 2*b457*b653 - 2*b457*b654 - 2*b457
     *b800 + 2*b458*b653 + 2*b458*b800 + 2*b459*b461 - 2*b459*b693 + 2*b459*
     b842 + 2*b460*b463 - 2*b460*b800 + 2*b461*b463 + 2*b461*b800 + 2*b462*b465
      + 2*b463*b465 + 2*b464*b466 - 4*b466 + 2*b465*b466 + 2*b466*b557 + 2*b466
     *b772 - 2*b467*b537 - 2*b467*b569 + 2*b468*b569 + 2*b468*b655 + 2*b468*
     b772 + 2*b469*b471 - 2*b469*b547 - 2*b470*b527 + 2*b527 + 2*b471*b527 + 2*
     b471*b569 + 2*b472*b550 - 2*b472 + 2*b472*b845 - 2*b473*b474 + 2*b473*b475
      - 4*b475 - 2*b474*b477 - 2*b474*b698 + 2*b475*b477 + 2*b475*b616 + 2*b475
     *b845 - 2*b476*b479 - 2*b479 - 2*b476*b549 + 2*b476*b552 + 2*b477*b479 + 2
     *b478*b481 - 4*b481 + 2*b478*b627 + 2*b478*b672 + 2*b479*b481 + 2*b479*
     b753 + 2*b480*b483 + 2*b480*b813 + 2*b481*b483 + 2*b481*b571 + 2*b482*b485
      - 2*b482*b543 - 2*b482*b596 + 2*b483*b485 + 2*b484*b487 - 2*b487 + 2*b485
     *b487 + 2*b486*b488 + 2*b486*b733 + 2*b486*b765 + 2*b487*b488 - 2*b487*
     b699 + 2*b488*b857 + 2*b489*b491 + 2*b491 + 2*b489*b492 - 2*b492 + 2*b490*
     b492 + 2*b490*b777 + 2*b490*b857 - 2*b491*b575 - 2*b491*b778 - 2*b491*b823
      - 2*b492*b493 + 2*b492*b823 + 2*b493*b494 - 4*b494 - 2*b493*b645 + 2*b494
     *b648 + 2*b494*b823 + 2*b494*b852 - 2*b495*b632 + 4*b495 - 2*b495*b633 - 2
     *b495*b745 - 2*b495*b746 + 2*b496*b498 + 2*b496*b499 - 2*b496*b769 + 2*
     b497*b499 + 2*b497*b746 + 2*b497*b836 - 2*b498*b770 + 2*b499*b770 - 2*b500
     *b650 - 2*b500*b833 + 2*b501*b502 + 2*b501*b703 + 2*b501*b833 + 2*b502*
     b504 + 2*b502*b847 - 2*b503*b506 - 2*b503*b705 + 2*b504*b506 + 2*b504*b623
      - 2*b505*b508 - 2*b508 - 2*b505*b545 + 2*b506*b508 - 2*b507*b509 - 2*b507
     *b592 - 2*b507*b635 + 2*b508*b509 + 2*b508*b735 + 2*b509*b819 - 2*b510*
     b511 - 2*b511 - 2*b510*b666 - 2*b510*b691 + 2*b511*b513 + 2*b511*b692 + 2*
     b511*b819 - 2*b512*b666 + 4*b512 - 2*b512*b667 - 2*b512*b789 - 2*b512*b790
      + 2*b513*b666 + 2*b513*b790 + 2*b514*b516 - 2*b514*b681 + 2*b515*b518 - 2
     *b515*b809 + 2*b516*b518 + 2*b516*b790 + 2*b517*b519 - 2*b517*b860 + 2*
     b518*b860 + 2*b519*b520 + 2*b520*b521 - 2*b521 + 2*b520*b860 + 2*b521*b523
      - 2*b521*b718 + 2*b521*b761 + 2*b522*b557 - 2*b522*b559 + 2*b523*b559 + 2
     *b523*b669 + 2*b524*b526 - 2*b524*b542 - 2*b525*b844 + 2*b526*b559 + 2*
     b526*b844 - 2*b527*b850 - 2*b527*b861 - 2*b528*b529 + 2*b528*b654 - 2*b530
     *b531 + 2*b530*b634 - 2*b532*b581 + 2*b533*b534 - 2*b533*b659 + 2*b534*
     b543 - 2*b534*b629 - 2*b534*b630 - 2*b535*b536 - 2*b537*b548 - 2*b538*b539
      + 2*b539*b628 + 2*b539*b712 - 2*b539*b793 + 2*b540*b541 - 2*b540*b643 + 2
     *b541*b551 - 2*b541*b642 - 2*b541*b644 + 2*b542*b581 - 2*b543*b544 + 2*
     b544*b617 + 2*b544*b698 - 2*b544*b802 + 2*b545*b546 + 2*b545*b705 - 2*b546
     *b690 + 2*b549*b550 - 2*b550*b696 - 2*b550*b697 - 2*b551*b552 + 2*b552*
     b616 - 2*b552*b812 + 2*b553*b645 - 2*b554*b555 + 2*b554*b556 - 2*b554*b679
      + 2*b554*b715 + 2*b555*b599 - 2*b555*b664 - 2*b556*b704 - 2*b557*b731 - 2
     *b557*b773 - 2*b558*b559 - 2*b560*b672 + 2*b560*b698 + 2*b561*b660 - 2*
     b562*b688 - 2*b563*b564 + 2*b563*b565 - 2*b563*b665 + 2*b564*b589 - 2*b564
     *b651 - 2*b565*b714 - 2*b566*b567 + 2*b566*b614 + 2*b567*b624 + 2*b567*
     b665 - 2*b568*b569 - 2*b570*b658 + 2*b570*b712 - 2*b572*b573 + 2*b572*b673
      - 2*b573*b805 + 2*b574*b575 - 2*b574*b675 - 2*b575*b779 + 2*b577*b578 - 2
     *b577*b652 - 2*b579*b580 + 2*b580*b635 + 2*b580*b652 + 2*b581*b731 - 2*
     b581*b750 - 2*b582*b641 + 2*b582*b722 + 2*b583*b584 - 2*b583*b585 - 2*b583
     *b608 - 2*b586*b587 - 2*b586*b597 + 2*b587*b608 + 2*b587*b794 - 2*b588*
     b662 - 2*b589*b590 + 2*b589*b591 - 2*b589*b623 - 2*b591*b780 - 2*b591*b806
      - 2*b593*b717 - 2*b594*b595 - 2*b594*b628 - 2*b595*b763 - 2*b599*b600 + 2
     *b599*b601 - 2*b599*b611 + 2*b600*b677 - 2*b601*b788 - 2*b601*b798 - 2*
     b602*b603 - 2*b603*b624 - 2*b604*b707 - 2*b605*b606 - 2*b605*b617 - 2*b606
     *b752 - 2*b608*b777 + 2*b610*b663 - 2*b610*b832 - 2*b612*b678 + 2*b613*
     b614 - 2*b613*b693 - 2*b614*b771 - 2*b615*b616 + 2*b615*b617 - 2*b615*b618
      - 2*b616*b684 - 2*b617*b697 + 2*b618*b785 - 2*b621*b702 + 2*b622*b649 - 2
     *b622*b838 - 2*b624*b664 - 2*b625*b681 - 2*b626*b627 + 2*b626*b628 - 2*
     b626*b629 - 2*b627*b671 - 2*b631*b859 - 2*b633*b689 - 2*b635*b651 - 2*b636
     *b668 - 2*b637*b638 - 2*b638*b815 - 2*b639*b640 + 2*b639*b641 - 2*b639*
     b642 - 2*b640*b657 + 2*b642*b803 - 2*b643*b644 + 2*b644*b743 - 2*b645*b646
      - 2*b646*b857 - 2*b647*b648 - 2*b647*b676 - 2*b648*b738 + 2*b649*b650 + 2
     *b650*b702 - 2*b650*b825 + 2*b651*b818 - 2*b654*b694 - 2*b655*b656 - 2*
     b656*b810 + 2*b657*b817 - 2*b657*b856 - 2*b660*b700 + 2*b662*b779 + 2*b664
     *b826 + 2*b667*b668 - 2*b667*b682 + 2*b668*b789 - 2*b668*b809 - 2*b669*
     b670 - 2*b670*b801 + 2*b671*b720 + 2*b671*b822 - 2*b671*b851 - 2*b673*b686
      + 2*b675*b768 - 2*b675*b796 - 2*b677*b703 + 2*b680*b840 + 2*b681*b781 - 2
     *b683*b791 + 2*b684*b710 + 2*b684*b828 - 2*b684*b845 + 2*b685*b776 - 2*
     b685*b804 - 2*b686*b723 + 2*b687*b723 + 2*b688*b758 - 2*b688*b836 + 2*b690
     *b839 + 2*b691*b849 - 2*b695*b782 - 2*b698*b741 - 2*b700*b713 + 2*b701*
     b713 - 2*b703*b704 + 2*b704*b848 - 2*b708*b772 - 2*b709*b736 - 2*b710*b711
      - 2*b712*b752 - 2*b712*b754 - 2*b713*b852 + 2*b714*b853 - 2*b715*b747 - 2
     *b717*b841 + 2*b718*b726 - 2*b719*b732 - 2*b720*b721 - 2*b722*b763 - 2*
     b722*b764 + 2*b723*b846 - 2*b723*b858 - 2*b726*b727 - 2*b726*b728 - 2*b733
     *b859 + 2*b735*b814 - 2*b735*b819 - 2*b737*b857 - 2*b739*b814 - 2*b740*
     b741 - 2*b740*b743 - 2*b742*b743 + 2*b744*b786 - 2*b744*b846 + 2*b746*b852
      - 2*b748*b808 + 2*b749*b750 - 2*b749*b751 - 2*b750*b791 - 2*b753*b754 - 2
     *b753*b756 - 2*b755*b756 + 2*b756*b812 + 2*b757*b778 - 2*b757*b835 + 2*
     b759*b858 - 2*b761*b772 - 2*b762*b801 + 2*b764*b817 - 2*b765*b766 + 2*b766
     *b802 + 2*b770*b833 - 2*b773*b810 + 2*b774*b822 - 2*b775*b776 + 2*b776*
     b793 + 2*b777*b778 + 2*b780*b839 - 2*b783*b815 - 2*b784*b785 + 2*b785*b828
      - 2*b786*b787 + 2*b788*b848 - 2*b792*b820 - 2*b794*b795 + 2*b796*b837 + 2
     *b797*b853 - 2*b798*b799 - 2*b802*b803 - 2*b803*b828 - 2*b804*b805 - 2*
     b806*b807 - 2*b808*b826 - 2*b811*b845 - 2*b812*b813 - 2*b813*b822 - 2*b814
     *b818 - 2*b816*b851 - 2*b821*b856 - 2*b824*b825 - 2*b830*b831 - 2*b832*
     b833 - 2*b836*b837 - 2*b838*b839 - 2*b841*b842 - 2*b843*b844 + 2*b844*b861
      - 2*b847*b848 - 2*b854*b855 + 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-11-25 Git hash: de62f3e5
Imprint / Privacy Policy / License: CC-BY 4.0