QPLIB
A Library of Quadratic Programming Instances
Home // browse instances // view statistics // read documentation // download QPLIB archive [ 1.5G ]QPLIB_3838
| Formats | gms lp mod qplib |
| Problem type probtype | QBN |
| Solution point objective value solobjvalue | 746.00000000 (gdx, sol) |
| Solution point infeasibility solinfeasibility | 0.0000e+00 |
| Donor donor | Stefan Vigerske |
| #Variables nvars | 780 |
| #Binary Variables nbinvars | 780 |
| #Integer Variables nintvars | 0 |
| #Bounded non-binary Variables nboundedvars | 0 |
| #Variables with only one bound nsingleboundedvars | 0 |
| #Nonlinear Variables nnlvars | 780 |
| #Nonlinear Binary Variables nnlbinvars | 780 |
| #Nonlinear Integer Variables nnlintvars | 0 |
| Objective Sense objsense | max |
| Objective type objtype | quadratic |
| Objective curvature objcurvature | indefinite |
| #Negative eigenvalues in objective matrix nobjquadnegev | 380 |
| #Positive eigenvalues in objective matrix nobjquadposev | 380 |
| #Nonzeros in Objective nobjnz | 780 |
| #Nonlinear Nonzeros in Objective nobjnlnz | 780 |
| #Quadratic Terms in Objective nobjquadnz | 1520 |
| #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 | 3040 |
| #Nonzeros in Diagonal of Hessian of Lagrangian nlaghessiandiagnz | 0 |
| #Blocks in Hessian of Lagrangian nlaghessianblocks | 1 |
| Minimal blocksize in Hessian of Lagrangian laghessianminblocksize | 780 |
| Maximal blocksize in Hessian of Lagrangian laghessianmaxblocksize | 780 |
| Average blocksize in Hessian of Lagrangian laghessianavgblocksize | 780.0 |
| Sparsity Jacobian |  |
| Sparsity Lag. Hessian |  |
QPLIB_3838.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
* 781 1 780 0 0 0 0 0
* FX 0 0 0 0 0 0 0 0
*
* Nonzero counts
* Total const NL DLL
* 781 1 780 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,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;
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,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;
Equations e1;
e1.. 2*b2*b3 - 2*b2*b96 - 2*b2*b393 + 4*b393 + 2*b2*b394 + 2*b394 - 2*b3*b111
+ 2*b3*b346 - 2*b346 - 2*b3*b413 + 4*b413 - 2*b4*b106 - 2*b4*b358 + 2*
b358 + 2*b4*b432 + 2*b432 + 2*b4*b485 + 2*b485 + 2*b5*b47 - 2*b5*b379 + 2*
b379 + 2*b5*b594 + 2*b594 - 2*b5*b632 + 4*b632 - 2*b6*b7 + 2*b6*b354 - 2*
b354 - 2*b6*b570 + 2*b570 + 2*b6*b607 - 2*b607 - 2*b7*b48 + 2*b7*b445 - 2*
b445 + 2*b7*b686 - 4*b686 + 2*b8*b407 + 2*b407 + 2*b8*b455 + 2*b455 - 2*b8
*b456 + 4*b456 - 2*b8*b510 + 4*b510 + 2*b9*b18 - 2*b9*b306 + 2*b306 - 2*b9
*b674 + 2*b674 + 2*b9*b723 - 2*b723 - 2*b10*b11 + 2*b10*b370 - 2*b370 - 2*
b10*b537 + 2*b537 + 2*b10*b644 - 2*b644 - 2*b11*b57 + 2*b11*b422 - 2*b422
+ 2*b11*b734 - 4*b734 - 2*b12*b78 + 2*b12*b371 - 2*b371 + 2*b12*b480 + 2*
b480 - 2*b12*b506 + 4*b506 - 2*b13*b47 - 2*b13*b307 + 2*b307 + 2*b13*b558
- 2*b558 + 2*b13*b778 + 2*b778 - 2*b14*b90 + 2*b14*b355 - 2*b355 + 2*b14*
b448 + 2*b448 - 2*b14*b539 + 4*b539 + 2*b15*b16 - 2*b15*b158 - 2*b15*b512
+ 2*b512 + 2*b15*b756 - 2*b756 + 2*b16*b108 - 2*b16*b311 + 2*b311 - 2*b16
*b316 + 2*b316 - 2*b17*b308 + 4*b308 - 2*b17*b379 + 2*b17*b596 - 2*b596 +
2*b17*b725 + 2*b725 - 2*b18*b308 + 2*b18*b529 + 2*b529 - 2*b18*b599 + 4*
b599 - 2*b19*b130 - 2*b19*b421 + 2*b421 + 2*b19*b444 - 2*b444 + 2*b19*b684
- 2*b684 - 2*b20*b102 + 2*b20*b344 - 2*b344 + 2*b20*b426 + 2*b426 - 2*b20
*b573 + 4*b573 + 2*b21*b105 + 2*b21*b356 - 2*b356 - 2*b21*b578 + 4*b578 -
2*b21*b613 + 4*b613 + 2*b22*b23 - 2*b22*b24 + 2*b22*b136 - 2*b22*b659 + 2*
b659 - 2*b23*b310 + 2*b310 - 2*b23*b314 + 2*b314 + 2*b23*b585 + 2*b585 + 2
*b24*b135 - 2*b24*b314 + 2*b24*b547 - 2*b547 + 2*b25*b233 - 2*b25*b721 + 4
*b721 + 2*b25*b773 - 2*b773 - 2*b25*b776 - 2*b776 + 2*b26*b27 - 2*b26*b307
+ 2*b26*b498 + 2*b498 - 2*b26*b636 + 4*b636 + 2*b27*b776 - 2*b27*b777 + 4
*b777 - 2*b27*b780 + 4*b780 - 2*b28*b370 - 2*b28*b402 + 2*b402 + 2*b28*
b474 - 2*b474 + 2*b28*b640 - 2*b640 + 2*b29*b92 - 2*b29*b357 + 2*b357 + 2*
b29*b372 - 2*b372 - 2*b29*b452 + 2*b452 + 2*b30*b31 - 2*b30*b32 + 2*b30*
b123 - 2*b30*b620 + 2*b620 - 2*b31*b53 - 2*b31*b312 + 2*b312 + 2*b31*b619
+ 2*b619 + 2*b32*b146 - 2*b32*b316 + 2*b32*b584 - 2*b584 + 2*b33*b34 - 2*
b33*b75 + 2*b33*b518 - 2*b518 - 2*b33*b622 + 2*b622 - 2*b34*b81 - 2*b34*
b123 + 2*b34*b124 + 2*b35*b175 + 2*b35*b221 - 2*b35*b723 - 2*b35*b774 + 4*
b774 + 2*b36*b37 - 2*b36*b308 + 2*b36*b471 + 2*b471 - 2*b36*b676 + 4*b676
+ 2*b37*b723 - 2*b37*b724 + 4*b724 - 2*b37*b727 + 4*b727 - 2*b38*b354 - 2
*b38*b384 + 2*b384 + 2*b38*b501 - 2*b501 + 2*b38*b603 - 2*b603 - 2*b39*
b372 + 2*b39*b385 - 4*b385 + 2*b39*b692 + 2*b692 - 2*b39*b740 + 4*b740 - 2
*b40*b373 + 4*b373 + 2*b40*b385 - 2*b40*b429 + 2*b429 + 2*b40*b541 - 2*
b541 + 2*b41*b42 - 2*b41*b410 + 4*b410 + 2*b41*b656 - 2*b656 - 2*b41*b750
+ 2*b750 - 2*b42*b339 + 2*b339 - 2*b42*b387 + 4*b387 + 2*b42*b545 + 2*
b545 - 2*b43*b44 + 2*b43*b109 - 2*b43*b586 + 2*b586 + 2*b43*b656 + 2*b44*
b157 - 2*b44*b318 + 2*b318 + 2*b44*b618 - 2*b618 + 2*b45*b46 - 2*b45*b83
+ 2*b45*b550 - 2*b550 - 2*b45*b587 + 2*b587 - 2*b46*b94 - 2*b46*b109 + 2*
b46*b709 + 2*b709 + 2*b47*b210 - 2*b47*b464 + 4*b464 - 2*b48*b369 + 2*b369
+ 2*b48*b533 - 2*b533 + 2*b48*b567 - 2*b567 + 2*b49*b50 - 2*b49*b153 + 2*
b49*b237 - 2*b49*b309 + 2*b309 - 2*b50*b504 + 2*b504 + 2*b50*b535 - 4*b535
- 2*b50*b569 + 4*b569 - 2*b51*b237 + 2*b51*b303 + 2*b51*b344 - 2*b51*b647
+ 2*b647 - 2*b52*b386 + 4*b386 + 2*b52*b404 - 4*b404 - 2*b52*b430 + 4*
b430 + 2*b52*b579 - 2*b579 + 2*b53*b54 + 2*b53*b64 - 2*b53*b433 + 2*b433
+ 2*b54*b277 - 2*b54*b334 + 2*b334 - 2*b54*b375 + 4*b375 - 2*b55*b435 + 2
*b435 - 2*b55*b548 + 2*b548 + 2*b55*b589 - 4*b589 + 2*b55*b758 - 2*b758 +
2*b56*b149 - 2*b56*b520 + 4*b520 - 2*b56*b550 + 2*b56*b589 - 2*b57*b353 +
2*b353 + 2*b57*b534 - 2*b534 + 2*b57*b566 - 2*b566 + 2*b58*b59 + 2*b58*
b226 - 2*b58*b313 + 2*b313 - 2*b58*b690 + 2*b690 - 2*b59*b477 + 2*b477 + 2
*b59*b502 - 2*b502 - 2*b59*b536 + 4*b536 - 2*b60*b226 + 2*b60*b300 + 2*b60
*b355 - 2*b60*b610 + 2*b610 - 2*b61*b405 + 4*b405 + 2*b61*b427 - 4*b427 -
2*b61*b453 + 4*b453 + 2*b61*b612 - 4*b612 + 2*b62*b207 - 2*b62*b358 + 2*
b62*b612 - 2*b62*b613 + 2*b63*b282 + 2*b63*b310 - 2*b63*b329 + 2*b329 - 2*
b63*b359 + 4*b359 - 2*b64*b310 + 2*b64*b705 + 2*b705 - 2*b64*b755 + 4*b755
+ 2*b65*b66 - 2*b65*b412 + 2*b412 - 2*b65*b516 + 2*b516 + 2*b65*b625 - 4*
b625 + 2*b66*b81 - 2*b66*b317 + 2*b317 - 2*b66*b411 + 2*b411 + 2*b67*b138
- 2*b67*b518 - 2*b67*b552 + 4*b552 + 2*b67*b625 + 2*b68*b69 + 2*b68*b215
- 2*b68*b315 + 2*b315 - 2*b68*b738 + 4*b738 - 2*b69*b446 + 2*b446 + 2*b69
*b476 - 2*b476 - 2*b69*b503 + 2*b503 - 2*b70*b428 + 4*b428 + 2*b70*b450 -
4*b450 - 2*b70*b483 + 4*b483 + 2*b70*b650 - 4*b650 + 2*b71*b195 - 2*b71*
b542 + 2*b542 - 2*b71*b579 + 2*b71*b650 + 2*b72*b290 + 2*b72*b311 - 2*b72*
b325 + 2*b325 - 2*b72*b345 + 2*b345 + 2*b73*b360 + 2*b360 + 2*b73*b547 - 2
*b73*b622 - 2*b73*b658 + 2*b658 - 2*b74*b75 + 2*b74*b125 - 2*b74*b590 + 4*
b590 + 2*b74*b663 - 4*b663 + 2*b75*b208 + 2*b75*b489 - 2*b489 - 2*b76*b245
- 2*b76*b270 + 2*b76*b309 + 2*b76*b567 + 2*b77*b154 - 2*b77*b424 + 2*b424
+ 2*b77*b642 - 4*b642 - 2*b77*b687 + 4*b687 - 2*b78*b386 + 2*b78*b540 + 2
*b540 + 2*b78*b743 - 2*b743 + 2*b79*b188 - 2*b79*b541 - 2*b79*b580 + 2*
b580 + 2*b79*b697 - 2*b697 + 2*b80*b296 + 2*b80*b312 - 2*b80*b323 + 2*b323
- 2*b80*b339 + 2*b81*b122 - 2*b81*b619 - 2*b82*b83 + 2*b82*b113 - 2*b82*
b627 + 4*b627 + 2*b82*b710 - 4*b710 + 2*b83*b219 + 2*b83*b460 - 2*b460 + 2
*b84*b85 - 2*b84*b465 + 4*b465 + 2*b84*b672 + 2*b672 - 2*b84*b724 + 2*b85*
b267 - 2*b85*b439 + 4*b439 - 2*b85*b593 + 4*b593 - 2*b86*b87 + 2*b86*b88
+ 2*b86*b680 - 4*b680 - 2*b86*b683 + 2*b683 - 2*b87*b223 + 2*b87*b234 + 2
*b87*b235 - 2*b88*b235 + 2*b88*b603 - 2*b88*b641 + 2*b641 + 2*b89*b163 - 2
*b89*b446 + 2*b89*b686 - 2*b89*b735 + 4*b735 - 2*b90*b405 + 2*b90*b507 + 2
*b507 + 2*b90*b694 - 2*b694 - 2*b91*b92 + 2*b91*b431 - 2*b431 - 2*b91*b614
+ 2*b614 + 2*b91*b746 - 2*b746 - 2*b92*b218 + 2*b92*b509 - 2*b509 - 2*b93
*b120 + 2*b93*b314 - 2*b93*b334 + 2*b93*b752 + 2*b752 + 2*b94*b108 - 2*b94
*b585 + 2*b94*b758 - 2*b95*b435 + 2*b95*b665 - 2*b665 - 2*b95*b666 + 4*
b666 + 2*b95*b762 - 2*b762 + 2*b96*b139 - 2*b96*b554 + 4*b554 + 2*b96*b665
+ 2*b97*b98 - 2*b97*b493 + 4*b493 + 2*b97*b634 + 2*b634 - 2*b97*b777 + 2*
b98*b260 - 2*b98*b416 + 4*b416 - 2*b98*b556 + 4*b556 - 2*b99*b100 + 2*b99*
b101 + 2*b99*b729 - 2*b729 - 2*b99*b732 + 2*b732 - 2*b100*b211 + 2*b100*
b243 + 2*b100*b244 - 2*b101*b244 - 2*b101*b604 + 2*b604 + 2*b101*b640 - 2*
b102*b428 + 2*b102*b481 + 2*b481 + 2*b102*b648 - 2*b648 + 2*b103*b104 - 2*
b103*b105 + 2*b103*b406 - 2*b406 - 2*b103*b652 + 2*b652 + 2*b104*b482 - 2*
b482 - 2*b104*b508 + 4*b508 - 2*b104*b649 + 4*b649 - 2*b105*b206 + 2*b105*
b239 + 2*b106*b107 + 2*b106*b655 - 2*b655 - 2*b106*b750 + 2*b107*b258 - 2*
b107*b406 - 2*b107*b699 + 2*b699 - 2*b108*b278 - 2*b108*b546 + 2*b546 + 2*
b109*b166 - 2*b109*b516 + 2*b110*b111 - 2*b110*b412 + 2*b110*b712 - 4*b712
- 2*b110*b713 + 4*b713 + 2*b111*b137 - 2*b111*b709 - 2*b112*b113 + 2*b112
*b126 - 2*b112*b395 + 2*b395 + 2*b112*b712 - 2*b113*b240 + 2*b113*b767 + 2
*b767 + 2*b114*b252 - 2*b114*b397 + 4*b397 - 2*b114*b523 + 4*b523 + 2*b114
*b596 + 2*b115*b202 - 2*b115*b353 + 2*b115*b566 - 2*b115*b679 + 2*b679 - 2
*b116*b202 + 2*b116*b253 + 2*b116*b254 - 2*b116*b566 - 2*b117*b214 - 2*
b117*b254 + 2*b117*b566 + 2*b117*b684 + 2*b118*b119 + 2*b118*b164 - 2*b118
*b452 - 2*b118*b699 - 2*b119*b484 + 4*b484 - 2*b119*b611 + 4*b611 + 2*b119
*b744 - 4*b744 + 2*b120*b121 - 2*b120*b653 + 2*b653 + 2*b120*b701 - 2*b701
- 2*b121*b164 + 2*b121*b248 - 2*b121*b652 + 2*b122*b512 - 2*b122*b513 + 2
*b513 - 2*b122*b515 + 4*b515 - 2*b123*b488 + 2*b488 + 2*b123*b704 - 2*b704
- 2*b124*b279 + 2*b124*b391 + 2*b391 - 2*b124*b661 + 2*b661 - 2*b125*b320
+ 2*b320 - 2*b125*b436 - 2*b436 + 2*b125*b714 + 2*b714 - 2*b126*b320 + 2*
b126*b348 + 2*b348 - 2*b126*b363 + 4*b363 + 2*b127*b242 - 2*b127*b378 + 4*
b378 - 2*b127*b492 + 4*b492 + 2*b127*b558 + 2*b128*b191 - 2*b128*b369 + 2*
b128*b533 - 2*b128*b637 + 2*b637 - 2*b129*b191 + 2*b129*b261 + 2*b129*b262
- 2*b129*b533 + 2*b130*b131 + 2*b130*b568 - 4*b568 - 2*b130*b735 - 2*b131
*b225 - 2*b131*b262 + 2*b131*b533 + 2*b132*b144 - 2*b132*b611 + 2*b132*
b693 + 2*b693 - 2*b132*b742 + 4*b742 + 2*b133*b134 + 2*b133*b155 - 2*b133*
b429 - 2*b133*b748 + 4*b748 - 2*b134*b144 - 2*b134*b454 + 4*b454 + 2*b134*
b695 - 4*b695 + 2*b135*b750 - 2*b135*b751 + 2*b751 - 2*b135*b753 + 4*b753
- 2*b136*b459 + 2*b459 - 2*b136*b622 + 2*b136*b754 - 2*b754 - 2*b137*b283
+ 2*b137*b622 - 2*b137*b623 + 2*b623 - 2*b138*b321 + 2*b321 - 2*b138*b460
+ 2*b138*b667 + 2*b667 - 2*b139*b321 + 2*b139*b341 + 2*b341 - 2*b139*b377
+ 4*b377 + 2*b140*b232 - 2*b140*b364 + 4*b364 - 2*b140*b463 + 4*b463 + 2*
b140*b525 - 2*b525 + 2*b141*b184 - 2*b141*b384 + 2*b141*b501 - 2*b141*b600
+ 2*b600 - 2*b142*b184 + 2*b142*b268 + 2*b142*b269 - 2*b142*b501 - 2*b143
*b236 - 2*b143*b269 + 2*b143*b370 + 2*b143*b501 + 2*b144*b293 - 2*b144*
b578 + 2*b145*b325 + 2*b145*b358 - 2*b145*b432 - 2*b145*b580 + 2*b146*b701
- 2*b146*b702 + 2*b702 - 2*b146*b703 + 4*b703 - 2*b147*b230 - 2*b147*b292
+ 2*b147*b587 + 2*b147*b762 + 2*b148*b324 + 2*b324 - 2*b148*b376 + 4*b376
+ 2*b148*b489 - 2*b148*b764 + 2*b764 + 2*b149*b284 - 2*b149*b324 - 2*b149
*b489 + 2*b150*b220 - 2*b150*b349 + 2*b349 - 2*b150*b439 + 2*b150*b494 - 2
*b494 + 2*b151*b177 - 2*b151*b402 + 2*b151*b474 - 2*b151*b564 + 2*b564 - 2
*b152*b245 + 2*b152*b354 + 2*b152*b474 - 2*b152*b475 + 4*b475 + 2*b153*
b154 - 2*b153*b449 + 2*b449 + 2*b153*b609 + 2*b609 - 2*b154*b300 - 2*b154*
b736 + 2*b736 + 2*b155*b156 - 2*b155*b374 + 2*b374 - 2*b155*b484 + 2*b156*
b329 - 2*b156*b407 - 2*b156*b542 - 2*b157*b291 + 2*b157*b655 - 2*b157*b657
+ 4*b657 + 2*b158*b196 - 2*b158*b548 + 2*b158*b707 + 2*b707 + 2*b159*b326
+ 2*b326 - 2*b159*b362 + 4*b362 + 2*b159*b519 - 2*b519 - 2*b159*b711 + 2*
b711 - 2*b160*b168 - 2*b160*b416 + 2*b160*b466 - 2*b466 + 2*b160*b722 + 2*
b722 + 2*b161*b176 - 2*b161*b327 + 2*b327 + 2*b161*b418 + 2*b418 - 2*b161*
b441 + 4*b441 + 2*b162*b170 - 2*b162*b421 + 2*b162*b444 - 2*b162*b531 + 2*
b531 - 2*b163*b303 + 2*b163*b403 - 2*b403 - 2*b163*b688 + 2*b688 + 2*b164*
b165 - 2*b164*b508 - 2*b165*b207 + 2*b165*b334 - 2*b165*b387 - 2*b166*b410
+ 2*b166*b660 + 2*b660 - 2*b166*b753 + 2*b167*b330 + 2*b330 - 2*b167*b347
+ 4*b347 + 2*b167*b551 - 2*b551 - 2*b167*b664 + 2*b664 + 2*b168*b169 - 2*
b168*b331 + 2*b331 + 2*b168*b773 - 2*b169*b364 + 2*b169*b437 + 2*b437 - 2*
b169*b490 + 4*b490 - 2*b170*b500 + 4*b500 - 2*b171*b228 + 2*b171*b286 + 2*
b171*b450 - 2*b171*b540 - 2*b172*b281 - 2*b172*b288 + 2*b172*b406 + 2*b172
*b746 - 2*b173*b195 + 2*b173*b339 - 2*b173*b375 + 2*b173*b406 + 2*b174*
b183 + 2*b174*b335 + 2*b335 - 2*b174*b340 + 4*b340 - 2*b174*b626 + 2*b626
+ 2*b175*b349 - 2*b175*b378 - 2*b175*b379 - 2*b176*b337 + 2*b337 - 2*b177
*b473 + 2*b473 - 2*b178*b537 + 2*b178*b607 + 2*b178*b641 - 2*b178*b733 + 4
*b733 - 2*b179*b216 + 2*b179*b280 + 2*b179*b427 - 2*b179*b507 + 2*b180*
b427 - 2*b180*b428 - 2*b180*b430 + 2*b180*b697 - 2*b181*b287 - 2*b181*b294
+ 2*b181*b431 + 2*b181*b697 - 2*b182*b188 + 2*b182*b345 - 2*b182*b359 + 2
*b182*b431 - 2*b183*b292 + 2*b183*b589 - 2*b183*b590 + 2*b185*b479 - 2*
b479 + 2*b185*b570 - 2*b185*b571 + 2*b571 - 2*b185*b573 - 2*b186*b204 + 2*
b186*b276 + 2*b186*b404 - 2*b186*b481 + 2*b187*b404 - 2*b187*b405 - 2*b187
*b429 + 2*b187*b650 + 2*b188*b189 - 2*b188*b615 + 2*b615 - 2*b189*b293 - 2
*b189*b301 + 2*b189*b650 + 2*b190*b487 + 2*b487 - 2*b190*b586 - 2*b190*
b617 + 4*b617 + 2*b190*b756 + 2*b192*b193 + 2*b192*b446 - 2*b192*b449 - 2*
b192*b507 - 2*b193*b256 + 2*b193*b537 - 2*b193*b539 + 2*b194*b385 - 2*b194
*b386 - 2*b194*b452 + 2*b194*b612 - 2*b195*b581 + 2*b581 + 2*b195*b651 - 2
*b651 + 2*b196*b513 - 2*b196*b583 + 4*b583 - 2*b196*b620 + 2*b197*b259 - 2
*b197*b413 + 2*b197*b518 - 2*b197*b707 + 2*b198*b199 - 2*b198*b200 + 2*
b198*b201 - 2*b198*b350 + 2*b350 + 2*b199*b232 - 2*b199*b398 + 4*b398 - 2*
b199*b775 + 2*b775 + 2*b200*b242 + 2*b200*b379 - 2*b200*b417 + 4*b417 - 2*
b201*b365 + 2*b365 + 2*b201*b367 + 2*b367 - 2*b201*b382 + 4*b382 - 2*b203*
b204 + 2*b203*b424 + 2*b203*b505 + 2*b505 - 2*b203*b540 + 2*b204*b205 + 2*
b204*b479 + 2*b205*b372 - 2*b205*b428 - 2*b205*b691 + 4*b691 + 2*b206*b372
- 2*b206*b373 + 2*b206*b579 - 2*b207*b543 + 2*b543 + 2*b207*b698 - 4*b698
- 2*b208*b392 + 4*b392 + 2*b208*b517 + 2*b517 - 2*b208*b661 + 2*b209*b220
+ 2*b209*b365 - 2*b209*b380 + 4*b380 - 2*b209*b722 + 2*b210*b252 - 2*b210
*b365 - 2*b210*b440 + 4*b440 + 2*b211*b729 + 2*b212*b213 + 2*b212*b214 - 2
*b212*b423 + 4*b423 - 2*b212*b475 + 2*b213*b729 - 2*b213*b730 + 4*b730 - 2
*b213*b732 - 2*b214*b569 + 2*b214*b686 - 2*b215*b216 + 2*b215*b478 + 2*
b478 - 2*b215*b575 + 2*b575 + 2*b216*b217 + 2*b216*b447 - 2*b447 + 2*b217*
b356 - 2*b217*b405 - 2*b217*b646 + 4*b646 + 2*b218*b356 - 2*b218*b357 + 2*
b218*b541 - 2*b219*b412 + 2*b219*b549 + 2*b549 - 2*b219*b623 - 2*b220*b671
+ 2*b671 - 2*b220*b672 + 2*b221*b260 - 2*b221*b380 - 2*b221*b469 + 4*b469
+ 2*b222*b680 - 2*b222*b681 + 4*b681 + 2*b223*b680 + 2*b224*b602 - 2*b602
+ 2*b224*b680 - 2*b224*b681 - 2*b224*b683 - 2*b225*b536 + 2*b225*b602 + 2
*b225*b642 + 2*b226*b227 - 2*b226*b228 + 2*b227*b270 - 2*b227*b448 - 2*
b227*b645 + 2*b645 + 2*b228*b229 + 2*b228*b425 - 2*b425 + 2*b229*b357 - 2*
b229*b386 - 2*b229*b609 - 2*b230*b273 + 2*b230*b361 + 2*b361 + 2*b230*b586
+ 2*b231*b668 + 2*b668 + 2*b231*b765 - 4*b765 - 2*b231*b766 + 4*b766 - 2*
b231*b769 + 2*b769 - 2*b232*b633 + 4*b633 - 2*b232*b634 + 2*b233*b267 - 2*
b233*b398 - 2*b233*b496 + 4*b496 - 2*b234*b638 + 4*b638 - 2*b235*b638 + 2*
b235*b639 - 2*b639 - 2*b236*b503 + 2*b236*b605 - 4*b605 + 2*b236*b639 + 2*
b237*b238 - 2*b237*b574 + 2*b574 + 2*b238*b263 - 2*b238*b426 - 2*b238*b608
+ 2*b608 - 2*b239*b483 - 2*b239*b485 + 2*b239*b614 + 2*b240*b412 - 2*b240
*b413 + 2*b240*b712 + 2*b241*b712 - 2*b241*b713 + 2*b241*b715 + 2*b715 - 2
*b241*b716 + 2*b716 - 2*b242*b595 + 4*b595 - 2*b242*b597 + 2*b597 - 2*b243
*b601 + 4*b601 - 2*b244*b601 + 2*b244*b682 - 2*b682 + 2*b245*b568 + 2*b245
*b682 + 2*b246*b256 - 2*b246*b571 + 2*b246*b690 - 2*b246*b738 + 2*b247*
b452 - 2*b247*b453 - 2*b247*b455 + 2*b247*b652 + 2*b248*b389 + 2*b389 - 2*
b248*b749 + 4*b749 - 2*b248*b751 + 2*b249*b250 + 2*b249*b388 + 2*b388 - 2*
b249*b389 - 2*b249*b458 + 2*b458 - 2*b250*b511 + 2*b511 - 2*b250*b618 + 2*
b250*b704 + 2*b251*b665 - 2*b251*b666 - 2*b251*b669 + 2*b669 + 2*b251*b768
+ 2*b768 - 2*b252*b557 + 4*b557 - 2*b252*b559 + 2*b559 - 2*b253*b565 + 4*
b565 - 2*b254*b565 + 2*b254*b731 - 2*b731 - 2*b255*b445 - 2*b255*b476 + 2*
b255*b535 + 2*b255*b731 + 2*b256*b535 - 2*b256*b536 + 2*b257*b429 - 2*b257
*b430 + 2*b257*b699 - 2*b257*b748 + 2*b258*b409 + 2*b409 - 2*b258*b700 + 4
*b700 - 2*b258*b702 + 2*b259*b278 - 2*b259*b660 - 2*b259*b662 - 2*b662 - 2
*b260*b524 + 4*b524 - 2*b260*b526 + 2*b526 - 2*b261*b532 + 4*b532 + 2*b262
*b422 - 2*b262*b532 + 2*b263*b502 - 2*b263*b503 - 2*b263*b505 - 2*b264*
b291 + 2*b264*b434 + 2*b434 + 2*b264*b653 - 2*b264*b654 + 4*b654 + 2*b265*
b273 - 2*b265*b621 + 2*b621 - 2*b265*b708 - 2*b708 + 2*b265*b760 - 2*b760
+ 2*b266*b436 + 2*b266*b760 - 2*b266*b761 + 2*b761 - 2*b266*b764 - 2*b267
*b493 - 2*b267*b495 + 2*b495 - 2*b268*b500 + 2*b269*b445 - 2*b269*b500 + 2
*b270*b476 - 2*b270*b478 + 2*b271*b451 - 2*b451 + 2*b271*b741 - 2*b741 - 2
*b271*b742 - 2*b271*b745 + 4*b745 - 2*b272*b297 + 2*b272*b457 + 2*b457 + 2
*b272*b615 - 2*b272*b616 + 2*b616 + 2*b273*b584 - 2*b273*b585 + 2*b274*
b460 + 2*b274*b708 - 2*b274*b709 - 2*b274*b711 + 2*b275*b473 - 2*b275*b730
+ 2*b276*b482 - 2*b276*b693 - 2*b276*b696 + 4*b696 - 2*b277*b487 - 2*b277
*b583 + 2*b277*b751 + 2*b278*b547 - 2*b278*b549 + 2*b279*b489 + 2*b279*
b662 - 2*b279*b664 - 2*b280*b647 - 2*b280*b649 + 2*b280*b744 + 2*b281*b509
+ 2*b281*b744 - 2*b281*b745 - 2*b282*b513 - 2*b282*b617 + 2*b282*b702 + 2
*b283*b519 + 2*b283*b624 - 2*b624 - 2*b283*b626 + 2*b284*b285 - 2*b284*
b520 - 2*b284*b629 + 2*b629 + 2*b285*b522 + 2*b522 - 2*b285*b592 + 4*b592
- 2*b285*b714 - 2*b286*b610 - 2*b286*b611 + 2*b286*b695 + 2*b287*b695 - 2
*b287*b696 + 2*b287*b747 - 4*b747 + 2*b288*b544 + 2*b544 + 2*b288*b747 - 2
*b288*b749 + 2*b289*b291 + 2*b289*b543 - 2*b289*b544 - 2*b289*b702 + 2*
b290*b291 - 2*b290*b546 - 2*b290*b657 + 2*b292*b551 + 2*b292*b588 - 2*b588
- 2*b293*b649 + 2*b293*b698 + 2*b294*b582 + 2*b582 + 2*b294*b698 - 2*b294
*b700 + 2*b295*b297 + 2*b295*b581 - 2*b295*b582 - 2*b295*b751 + 2*b296*
b297 - 2*b296*b583 - 2*b296*b703 - 2*b297*b752 + 2*b298*b299 - 2*b298*b599
- 2*b299*b305 + 2*b299*b779 + 2*b779 - 2*b299*b780 + 2*b300*b737 - 2*b737
- 2*b300*b740 + 2*b301*b616 + 2*b301*b651 - 2*b301*b654 - 2*b302*b636 + 2
*b302*b781 - 2*b781 + 2*b303*b689 - 2*b689 - 2*b303*b692 + 2*b304*b671 + 2
*b304*b770 + 2*b770 - 2*b304*b771 + 4*b771 - 2*b304*b774 + 2*b305*b781 - 2
*b306*b308 + 2*b306*b466 - 2*b306*b467 + 4*b467 - 2*b307*b674 + 2*b307*
b776 - 2*b309*b328 + 2*b328 - 2*b309*b424 - 2*b310*b408 + 2*b408 - 2*b311*
b388 - 2*b311*b656 - 2*b312*b389 - 2*b312*b512 - 2*b313*b538 + 2*b538 + 2*
b313*b568 - 2*b313*b606 + 4*b606 - 2*b314*b409 - 2*b315*b572 + 2*b572 + 2*
b315*b605 - 2*b315*b643 + 4*b643 - 2*b316*b434 + 2*b316*b655 + 2*b317*b584
- 2*b317*b587 - 2*b317*b705 - 2*b318*b457 - 2*b318*b512 + 2*b318*b701 - 2
*b319*b548 + 2*b319 + 2*b319*b618 - 2*b319*b755 - 2*b319*b758 - 2*b320*
b414 + 2*b414 + 2*b320*b765 + 2*b321*b346 - 2*b321*b437 - 2*b322*b332 + 2*
b322 + 2*b332 - 2*b322*b677 + 4*b677 + 2*b323*b374 - 2*b323*b615 - 2*b323*
b750 - 2*b324*b395 - 2*b324*b461 + 4*b461 - 2*b325*b581 - 2*b325*b701 - 2*
b326*b414 - 2*b326*b490 - 2*b326*b520 - 2*b327*b342 + 2*b342 - 2*b328*b423
- 2*b328*b570 + 2*b328*b685 + 2*b685 - 2*b329*b543 - 2*b329*b655 - 2*b330
*b437 - 2*b330*b521 + 4*b521 - 2*b330*b552 - 2*b331*b378 + 2*b331*b414 - 2
*b331*b521 - 2*b332*b333 + 2*b333 + 2*b332*b399 + 2*b399 - 2*b332*b470 + 4
*b470 - 2*b333*b351 + 2*b351 - 2*b334*b544 - 2*b335*b461 - 2*b335*b553 + 4
*b553 - 2*b335*b590 - 2*b336*b349 + 2*b336 + 2*b336*b395 - 2*b336*b397 - 2
*b336*b553 - 2*b337*b338 + 2*b338 + 2*b337*b381 + 2*b381 - 2*b337*b497 + 4
*b497 - 2*b338*b367 - 2*b339*b582 - 2*b340*b490 - 2*b340*b591 + 4*b591 - 2
*b340*b627 - 2*b341*b364 - 2*b341*b416 - 2*b341*b591 - 2*b342*b343 + 2*
b343 + 2*b342*b366 + 2*b366 - 2*b342*b528 + 4*b528 - 2*b343*b382 - 2*b344*
b356 + 2*b344*b404 - 2*b345*b433 - 2*b345*b616 - 2*b346*b394 + 2*b346*b460
- 2*b347*b521 - 2*b347*b628 + 4*b628 - 2*b347*b666 - 2*b348*b378 - 2*b348
*b439 - 2*b348*b628 - 2*b349*b717 + 4*b717 + 2*b350*b351 - 2*b350*b380 - 2
*b350*b400 + 4*b400 - 2*b351*b352 + 2*b352 - 2*b351*b561 + 4*b561 - 2*b352
*b400 + 2*b353*b602 - 2*b353*b681 + 2*b354*b642 - 2*b355*b357 + 2*b355*
b427 - 2*b358*b454 - 2*b359*b408 - 2*b359*b654 - 2*b360*b361 - 2*b360*b390
+ 2*b390 - 2*b360*b515 - 2*b361*b391 - 2*b361*b435 - 2*b362*b553 - 2*b362
*b668 - 2*b362*b713 - 2*b363*b397 - 2*b363*b463 - 2*b363*b668 - 2*b364*
b464 - 2*b365*b366 - 2*b366*b398 - 2*b366*b419 + 4*b419 - 2*b367*b368 + 2*
b368 - 2*b367*b779 - 2*b368*b419 - 2*b369*b638 + 2*b369*b639 + 2*b370*b605
- 2*b371*b373 + 2*b371*b450 + 2*b371*b575 - 2*b373*b576 + 4*b576 - 2*b374
*b456 - 2*b374*b614 - 2*b375*b388 - 2*b375*b700 - 2*b376*b591 - 2*b376*
b715 - 2*b376*b766 - 2*b377*b416 - 2*b377*b492 - 2*b377*b715 - 2*b380*b381
- 2*b381*b417 - 2*b381*b442 + 4*b442 - 2*b382*b383 + 2*b383 - 2*b382*b726
+ 2*b726 - 2*b383*b442 - 2*b384*b601 + 2*b384*b682 + 2*b385*b741 - 2*b387
*b389 - 2*b387*b749 - 2*b388*b456 - 2*b390*b392 - 2*b390*b488 + 2*b390*
b663 - 2*b391*b393 - 2*b391*b763 + 2*b763 - 2*b392*b393 - 2*b392*b763 - 2*
b393*b665 - 2*b394*b628 - 2*b394*b768 - 2*b395*b396 + 4*b396 - 2*b396*b439
- 2*b396*b523 - 2*b396*b768 - 2*b397*b773 - 2*b398*b399 - 2*b399*b440 - 2
*b399*b471 - 2*b400*b401 + 2*b401 - 2*b400*b675 + 4*b675 - 2*b401*b471 - 2
*b402*b565 + 2*b402*b731 + 2*b403*b572 + 2*b403*b574 - 2*b403*b646 - 2*
b407*b409 - 2*b407*b433 - 2*b408*b432 + 2*b408*b486 + 2*b486 - 2*b409*b486
- 2*b410*b486 - 2*b410*b514 + 2*b514 - 2*b411*b413 - 2*b411*b459 + 2*b411
*b710 - 2*b414*b415 + 2*b415 - 2*b415*b463 - 2*b415*b556 + 2*b415*b769 - 2
*b417*b418 - 2*b417*b468 + 2*b468 - 2*b418*b469 - 2*b418*b498 - 2*b419*
b420 + 2*b420 - 2*b419*b727 - 2*b420*b498 + 2*b421*b422 - 2*b421*b532 - 2*
b422*b423 - 2*b423*b502 - 2*b424*b426 + 2*b425*b538 + 2*b425*b689 - 2*b425
*b691 - 2*b426*b691 - 2*b430*b454 - 2*b431*b653 - 2*b432*b434 + 2*b433*
b511 - 2*b434*b511 + 2*b435*b436 + 2*b436*b765 - 2*b437*b438 + 2*b438 - 2*
b438*b492 - 2*b438*b593 + 2*b438*b716 - 2*b440*b441 - 2*b440*b495 - 2*b441
*b496 - 2*b441*b529 - 2*b442*b443 + 2*b443 - 2*b442*b780 - 2*b443*b529 + 2
*b444*b445 - 2*b444*b500 - 2*b446*b448 + 2*b447*b504 + 2*b447*b737 - 2*
b447*b739 + 4*b739 - 2*b448*b739 - 2*b449*b576 + 2*b449*b741 + 2*b450*b451
- 2*b451*b453 + 2*b451*b746 - 2*b453*b484 - 2*b454*b455 - 2*b455*b615 - 2
*b456*b457 - 2*b457*b545 - 2*b458*b545 - 2*b458*b584 + 2*b458*b754 - 2*
b459*b586 + 2*b459*b708 - 2*b461*b462 + 2*b462 - 2*b461*b717 - 2*b462*b523
- 2*b462*b631 + 4*b631 + 2*b462*b669 - 2*b463*b465 - 2*b464*b467 - 2*b464
*b720 + 4*b720 - 2*b465*b467 - 2*b465*b631 + 2*b466*b468 - 2*b466*b671 - 2
*b467*b468 - 2*b468*b527 + 4*b527 - 2*b469*b470 - 2*b469*b526 - 2*b470*
b527 - 2*b470*b562 + 2*b562 - 2*b471*b472 + 2*b472 - 2*b472*b562 - 2*b473*
b474 - 2*b473*b475 - 2*b475*b730 + 2*b476*b603 + 2*b477*b479 - 2*b477*b480
- 2*b477*b644 - 2*b478*b480 - 2*b478*b688 - 2*b479*b481 - 2*b480*b481 - 2
*b482*b483 + 2*b482*b743 - 2*b483*b508 - 2*b484*b485 - 2*b485*b581 - 2*
b486*b487 - 2*b487*b547 - 2*b488*b620 + 2*b488*b662 - 2*b490*b491 + 2*b491
- 2*b491*b556 + 2*b491*b629 - 2*b491*b670 + 4*b670 - 2*b492*b493 - 2*b493
*b670 + 2*b494*b495 - 2*b494*b633 + 2*b494*b776 - 2*b495*b560 + 4*b560 - 2
*b496*b497 - 2*b496*b559 - 2*b497*b560 - 2*b497*b599 - 2*b498*b499 + 2*
b499 - 2*b499*b599 + 2*b502*b640 + 2*b503*b534 - 2*b504*b506 - 2*b504*b607
- 2*b505*b506 - 2*b505*b736 - 2*b506*b507 - 2*b508*b510 - 2*b509*b510 + 2
*b509*b580 - 2*b510*b543 - 2*b511*b513 - 2*b514*b515 + 2*b514*b546 - 2*
b514*b659 - 2*b515*b517 + 2*b516*b624 - 2*b516*b659 - 2*b517*b624 - 2*b517
*b706 + 2*b706 + 2*b518*b519 - 2*b519*b520 - 2*b521*b522 - 2*b522*b593 - 2
*b522*b719 + 4*b719 - 2*b523*b524 - 2*b524*b596 - 2*b524*b719 + 2*b525*
b526 - 2*b525*b595 + 2*b525*b723 - 2*b526*b598 + 4*b598 - 2*b527*b528 - 2*
b527*b597 - 2*b528*b598 - 2*b528*b636 - 2*b529*b530 + 2*b530 - 2*b530*b636
- 2*b531*b532 - 2*b534*b536 + 2*b534*b732 + 2*b535*b684 - 2*b537*b572 - 2
*b538*b539 - 2*b538*b570 - 2*b539*b540 + 2*b541*b747 - 2*b542*b544 + 2*
b542*b747 - 2*b545*b546 + 2*b548*b588 - 2*b549*b588 - 2*b549*b757 + 2*b757
+ 2*b550*b551 + 2*b550*b760 - 2*b551*b552 - 2*b552*b667 - 2*b553*b555 + 4
*b555 - 2*b554*b555 - 2*b554*b667 - 2*b554*b717 - 2*b555*b631 - 2*b555*
b772 + 4*b772 - 2*b556*b557 - 2*b557*b558 - 2*b557*b772 + 2*b558*b559 - 2*
b559*b635 + 4*b635 - 2*b560*b561 - 2*b560*b634 - 2*b561*b635 - 2*b561*b676
- 2*b562*b563 + 2*b563 + 2*b562*b674 - 2*b563*b676 - 2*b564*b565 - 2*b567
*b569 + 2*b567*b683 + 2*b568*b571 - 2*b569*b571 - 2*b572*b573 - 2*b573*
b575 - 2*b574*b576 - 2*b574*b577 + 2*b577 - 2*b575*b577 - 2*b576*b578 - 2*
b577*b578 + 2*b577*b743 + 2*b579*b698 - 2*b580*b582 - 2*b583*b585 - 2*b587
*b756 + 2*b588*b710 + 2*b589*b708 - 2*b590*b714 - 2*b591*b592 - 2*b592*
b594 - 2*b592*b670 - 2*b593*b595 - 2*b594*b595 - 2*b594*b718 + 4*b718 + 2*
b596*b597 - 2*b597*b673 + 4*b673 - 2*b598*b672 - 2*b598*b779 - 2*b600*b601
- 2*b602*b604 - 2*b603*b606 - 2*b604*b606 + 2*b604*b734 + 2*b605*b608 - 2
*b606*b608 + 2*b607*b737 - 2*b608*b737 - 2*b609*b610 - 2*b609*b690 + 2*
b610*b694 - 2*b611*b613 + 2*b612*b651 - 2*b613*b651 - 2*b614*b616 - 2*b617
*b619 - 2*b617*b752 + 2*b618*b621 - 2*b619*b621 + 2*b620*b623 - 2*b621*
b623 + 2*b624*b663 + 2*b625*b626 + 2*b625*b662 - 2*b626*b627 - 2*b627*b767
- 2*b628*b630 + 4*b630 - 2*b629*b630 - 2*b629*b767 - 2*b630*b632 - 2*b630
*b719 - 2*b631*b633 - 2*b632*b633 - 2*b632*b771 - 2*b634*b725 - 2*b635*
b724 - 2*b635*b726 - 2*b637*b638 - 2*b639*b641 - 2*b640*b643 - 2*b641*b643
+ 2*b642*b645 - 2*b643*b645 + 2*b644*b689 + 2*b644*b734 - 2*b645*b689 - 2
*b646*b647 - 2*b646*b738 + 2*b647*b648 - 2*b648*b649 + 2*b648*b695 - 2*
b652*b654 - 2*b653*b748 + 2*b656*b658 - 2*b657*b658 - 2*b657*b754 - 2*b658
*b660 + 2*b659*b661 - 2*b660*b661 + 2*b663*b664 - 2*b664*b666 - 2*b667*
b669 - 2*b668*b770 - 2*b669*b770 - 2*b670*b671 - 2*b672*b778 - 2*b673*b675
- 2*b673*b777 - 2*b673*b779 - 2*b674*b677 - 2*b675*b677 - 2*b675*b778 - 2
*b676*b678 + 2*b678 - 2*b677*b678 - 2*b679*b681 - 2*b682*b685 - 2*b683*
b685 - 2*b684*b687 - 2*b685*b687 + 2*b686*b688 - 2*b687*b688 - 2*b690*b692
- 2*b691*b693 - 2*b692*b693 - 2*b694*b696 + 2*b694*b744 - 2*b696*b746 - 2
*b697*b745 - 2*b699*b700 - 2*b703*b704 - 2*b703*b705 + 2*b704*b706 - 2*
b705*b706 - 2*b706*b707 - 2*b707*b709 + 2*b710*b711 - 2*b711*b713 - 2*b714
*b716 - 2*b715*b718 - 2*b716*b718 - 2*b717*b720 - 2*b718*b720 - 2*b719*
b721 - 2*b720*b721 - 2*b721*b722 - 2*b722*b724 - 2*b725*b726 - 2*b725*b727
+ 2*b726*b781 - 2*b727*b781 - 2*b728*b729 + 2*b728 - 2*b728*b730 - 2*b731
*b733 - 2*b732*b733 - 2*b733*b735 + 2*b734*b736 - 2*b735*b736 - 2*b738*
b740 - 2*b739*b741 - 2*b739*b742 - 2*b740*b742 - 2*b743*b745 - 2*b748*b749
- 2*b752*b753 - 2*b753*b755 + 2*b754*b757 - 2*b755*b757 + 2*b756*b759 + 2
*b759 - 2*b757*b759 + 2*b758*b761 - 2*b759*b760 - 2*b759*b761 - 2*b761*
b762 + 2*b762*b764 + 2*b763*b765 - 2*b763*b766 - 2*b764*b766 - 2*b767*b769
- 2*b768*b771 - 2*b769*b771 - 2*b770*b772 - 2*b772*b774 + 2*b773*b775 - 2
*b774*b775 - 2*b775*b777 - 2*b778*b780 - 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-2021 by Zuse Institute Berlin and GAMS. All rights reserved.
Imprint.
QPLIB is licensed under CC-BY 4.0.