MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

Home // Instances // Documentation // Download // Statistics


Instance sporttournament48

This is a quadratic model for the max-cut problem. The instance arises
when minimizing so-called breaks in sports tournaments.
Formats ams gms lp mod nl osil pip py
Primal Bounds (infeas ≤ 1e-08)
1092.00000000 p1 ( gdx sol )
(infeas: 0)
1102.00000000 p2 ( gdx sol )
(infeas: 0)
1106.00000000 p3 ( gdx sol )
(infeas: 9e-11)
1108.00000000 p4 ( gdx sol )
(infeas: 3e-10)
1120.00000000 p5 ( gdx sol )
(infeas: 9e-11)
1140.00000000 p6 ( gdx sol )
(infeas: 0)
1144.00000000 p7 ( gdx sol )
(infeas: 0)
1146.00000000 p8 ( gdx sol )
(infeas: 0)
1150.00000000 p9 ( gdx sol )
(infeas: 0)
Other points (infeas > 1e-08)  
Dual Bounds
1332.45917900 (ANTIGONE)
1352.00000000 (BARON)
1422.00000000 (COUENNE)
1180.00000000 (GUROBI)
1306.70700000 (LINDO)
1200.41409800 (SCIP)
1241.18109400 (SHOT)
References Elf, Matthias, Jünger, Michael, and Rinaldi, Giovanni, Minimizing Breaks by Maximizing Cuts, Operations Research Letters, 31:5, 2003, 343-349.
Source POLIP instance maxcut/sched-48-4711
Application Sports Tournament
Added to library 26 Feb 2014
Problem type MBQCP
#Variables 1129
#Binary Variables 1128
#Integer Variables 0
#Nonlinear Variables 1128
#Nonlinear Binary Variables 1128
#Nonlinear Integer Variables 0
Objective Sense max
Objective type linear
Objective curvature linear
#Nonzeros in Objective 1
#Nonlinear Nonzeros in Objective 0
#Constraints 1
#Linear Constraints 0
#Quadratic Constraints 1
#Polynomial Constraints 0
#Signomial Constraints 0
#General Nonlinear Constraints 0
Operands in Gen. Nonlin. Functions  
Constraints curvature indefinite
#Nonzeros in Jacobian 1129
#Nonlinear Nonzeros in Jacobian 1128
#Nonzeros in (Upper-Left) Hessian of Lagrangian 4416
#Nonzeros in Diagonal of Hessian of Lagrangian 0
#Blocks in Hessian of Lagrangian 1
Minimal blocksize in Hessian of Lagrangian 1128
Maximal blocksize in Hessian of Lagrangian 1128
Average blocksize in Hessian of Lagrangian 1128.0
#Semicontinuities 0
#Nonlinear Semicontinuities 0
#SOS type 1 0
#SOS type 2 0
Minimal coefficient 1.0000e+00
Maximal coefficient 4.0000e+00
Infeasibility of initial point 0
Sparsity Jacobian Sparsity of Objective Gradient and Jacobian
Sparsity Hessian of Lagrangian Sparsity of Hessian of Lagrangian

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


Variables  b1,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,b1037,b1038,b1039,b1040,b1041,b1042,b1043,b1044
          ,b1045,b1046,b1047,b1048,b1049,b1050,b1051,b1052,b1053,b1054,b1055
          ,b1056,b1057,b1058,b1059,b1060,b1061,b1062,b1063,b1064,b1065,b1066
          ,b1067,b1068,b1069,b1070,b1071,b1072,b1073,b1074,b1075,b1076,b1077
          ,b1078,b1079,b1080,b1081,b1082,b1083,b1084,b1085,b1086,b1087,b1088
          ,b1089,b1090,b1091,b1092,b1093,b1094,b1095,b1096,b1097,b1098,b1099
          ,b1100,b1101,b1102,b1103,b1104,b1105,b1106,b1107,b1108,b1109,b1110
          ,b1111,b1112,b1113,b1114,b1115,b1116,b1117,b1118,b1119,b1120,b1121
          ,b1122,b1123,b1124,b1125,b1126,b1127,b1128,objvar;

Binary Variables  b1,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,b1037,b1038,b1039,b1040,b1041,b1042
          ,b1043,b1044,b1045,b1046,b1047,b1048,b1049,b1050,b1051,b1052,b1053
          ,b1054,b1055,b1056,b1057,b1058,b1059,b1060,b1061,b1062,b1063,b1064
          ,b1065,b1066,b1067,b1068,b1069,b1070,b1071,b1072,b1073,b1074,b1075
          ,b1076,b1077,b1078,b1079,b1080,b1081,b1082,b1083,b1084,b1085,b1086
          ,b1087,b1088,b1089,b1090,b1091,b1092,b1093,b1094,b1095,b1096,b1097
          ,b1098,b1099,b1100,b1101,b1102,b1103,b1104,b1105,b1106,b1107,b1108
          ,b1109,b1110,b1111,b1112,b1113,b1114,b1115,b1116,b1117,b1118,b1119
          ,b1120,b1121,b1122,b1123,b1124,b1125,b1126,b1127,b1128;

Equations  e1;


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

Model m / all /;

m.limrow=0; m.limcol=0;
m.tolproj=0.0;

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

$if not set MINLP $set MINLP MINLP
Solve m using %MINLP% maximizing objvar;


Last updated: 2024-03-25 Git hash: 1dae024f
Imprint / Privacy Policy / License: CC-BY 4.0