QPLIB

A Library of Quadratic Programming Instances

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

QPLIB_3822

Formats gms lp mod qplib
Problem type probtype QBN
Solution point objective value solobjvalue 850.00000000 (gdx, sol)
Solution point infeasibility solinfeasibility 0.0000e+00
Donor donor Stefan Vigerske
#Variables nvars 861
#Binary Variables nbinvars 861
#Integer Variables nintvars 0
#Bounded non-binary Variables nboundedvars 0
#Variables with only one bound nsingleboundedvars 0
#Nonlinear Variables nnlvars 861
#Nonlinear Binary Variables nnlbinvars 861
#Nonlinear Integer Variables nnlintvars 0
Objective Sense objsense max
Objective type objtype quadratic
Objective curvature objcurvature indefinite
#Negative eigenvalues in objective matrix nobjquadnegev 420
#Positive eigenvalues in objective matrix nobjquadposev 420
#Nonzeros in Objective nobjnz 861
#Nonlinear Nonzeros in Objective nobjnlnz 861
#Quadratic Terms in Objective nobjquadnz 1680
#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 3360
#Nonzeros in Diagonal of Hessian of Lagrangian nlaghessiandiagnz 0
#Blocks in Hessian of Lagrangian nlaghessianblocks 1
Minimal blocksize in Hessian of Lagrangian laghessianminblocksize 861
Maximal blocksize in Hessian of Lagrangian laghessianmaxblocksize 861
Average blocksize in Hessian of Lagrangian laghessianavgblocksize 861.0
Sparsity Jacobian
Sparsity Lag. Hessian

QPLIB_3822.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
*        862        1      861        0        0        0        0        0
*  FX      0        0        0        0        0        0        0        0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*        862        1      861        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;

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;

Equations  e1;


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