QPLIB

A Library of Quadratic Programming Instances

Home // browse instances // view statistics // read documentation // download QPLIB archive [ 1.5G ]

QPLIB_3706

Formats gms lp mod qplib
Problem type probtype QBN
Solution point objective value solobjvalue 682.00000000 (gdx, sol)
Solution point infeasibility solinfeasibility 0.0000e+00
Donor donor Stefan Vigerske
#Variables nvars 703
#Binary Variables nbinvars 703
#Integer Variables nintvars 0
#Bounded non-binary Variables nboundedvars 0
#Variables with only one bound nsingleboundedvars 0
#Nonlinear Variables nnlvars 703
#Nonlinear Binary Variables nnlbinvars 703
#Nonlinear Integer Variables nnlintvars 0
Objective Sense objsense max
Objective type objtype quadratic
Objective curvature objcurvature indefinite
#Negative eigenvalues in objective matrix nobjquadnegev 342
#Positive eigenvalues in objective matrix nobjquadposev 342
#Nonzeros in Objective nobjnz 703
#Nonlinear Nonzeros in Objective nobjnlnz 703
#Quadratic Terms in Objective nobjquadnz 1368
#Square Terms in Objective nobjquaddiagnz 0
#Constraints ncons 0
#Linear Constraints nlincons 0
#Quadratic Constraints nquadcons 0
#Diagonal Quadratic Constraints ndiagquadcons 0
Constraints curvature conscurvature linear
#Convex Nonlinear Constraints nconvexnlcons 0
#Concave Nonlinear Constraints nconcavenlcons 0
#Indefinite Nonlinear Constraints nindefinitenlcons 0
#Nonzeros in Jacobian njacobiannz 0
#Nonlinear Nonzeros in Jacobian njacobiannlnz 0
#Nonzeros in (Upper-Left) Hessian of Lagrangian nlaghessiannz 2736
#Nonzeros in Diagonal of Hessian of Lagrangian nlaghessiandiagnz 0
#Blocks in Hessian of Lagrangian nlaghessianblocks 1
Minimal blocksize in Hessian of Lagrangian laghessianminblocksize 703
Maximal blocksize in Hessian of Lagrangian laghessianmaxblocksize 703
Average blocksize in Hessian of Lagrangian laghessianavgblocksize 703.0
Sparsity Jacobian
Sparsity Lag. Hessian

QPLIB_3706.gms

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*          1        1        0        0        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        704        1      703        0        0        0        0        0
*  FX      0        0        0        0        0        0        0        0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*        704        1      703        0
*
*  Solve m using MIQCP maximizing objvar;


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

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

Equations  e1;


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

Model m / all /;

m.limrow=0; m.limcol=0;

$if NOT '%gams.u1%' == '' $include '%gams.u1%'

m.tolproj = 0.0;
$if not set MIQCP $set MIQCP MIQCP
Solve m using %MIQCP% maximizing objvar;





Website © 2017-2019 by Zuse Institute Berlin. All rights reserved. Imprint.