QPLIB

A Library of Quadratic Programming Instances

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

QPLIB_3642

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

QPLIB_3642.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
*       1036        1     1035        0        0        0        0        0
*  FX      0        0        0        0        0        0        0        0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*       1036        1     1035        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
          ,b948,b949,b950,b951,b952,b953,b954,b955,b956,b957,b958,b959,b960
          ,b961,b962,b963,b964,b965,b966,b967,b968,b969,b970,b971,b972,b973
          ,b974,b975,b976,b977,b978,b979,b980,b981,b982,b983,b984,b985,b986
          ,b987,b988,b989,b990,b991,b992,b993,b994,b995,b996,b997,b998,b999
          ,b1000,b1001,b1002,b1003,b1004,b1005,b1006,b1007,b1008,b1009,b1010
          ,b1011,b1012,b1013,b1014,b1015,b1016,b1017,b1018,b1019,b1020,b1021
          ,b1022,b1023,b1024,b1025,b1026,b1027,b1028,b1029,b1030,b1031,b1032
          ,b1033,b1034,b1035,b1036;

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
          ,b948,b949,b950,b951,b952,b953,b954,b955,b956,b957,b958,b959,b960
          ,b961,b962,b963,b964,b965,b966,b967,b968,b969,b970,b971,b972,b973
          ,b974,b975,b976,b977,b978,b979,b980,b981,b982,b983,b984,b985,b986
          ,b987,b988,b989,b990,b991,b992,b993,b994,b995,b996,b997,b998,b999
          ,b1000,b1001,b1002,b1003,b1004,b1005,b1006,b1007,b1008,b1009,b1010
          ,b1011,b1012,b1013,b1014,b1015,b1016,b1017,b1018,b1019,b1020,b1021
          ,b1022,b1023,b1024,b1025,b1026,b1027,b1028,b1029,b1030,b1031,b1032
          ,b1033,b1034,b1035,b1036;

Equations  e1;


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