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