QPLIB

A Library of Quadratic Programming Instances

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

QPLIB_5909

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

QPLIB_5909.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
*        251        1      250        0        0        0        0        0
*  FX      0        0        0        0        0        0        0        0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*        251        1      250        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;

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;

Equations  e1;


e1.. 200*b2*b19 - 136*b2*b7 - 2*b2*b21 + 98*b2*b36 + 192*b2*b64 + 152*b2*b65 - 
     118*b2*b69 - 6*b2*b85 - 162*b2*b88 - 134*b2*b94 - 22*b2*b95 + 130*b2*b102
      + 176*b2*b109 + 18*b2*b139 + 178*b2*b157 - 54*b157 + 66*b2*b159 - 142*b2*
     b160 - 62*b160 - 80*b2*b164 - 74*b2*b165 - 36*b2*b171 - 87*b171 + 22*b2*
     b172 + 138*b2*b181 - 8*b2*b182 - 162*b2*b204 - 12*b2*b205 + 104*b2*b207 - 
     124*b2*b211 - 58*b2*b212 - 48*b2*b221 - 148*b2*b230 - 40*b2*b233 - 62*b2*
     b241 + 50*b3*b7 - 35*b3 + 146*b3*b12 - 40*b3*b28 - 78*b3*b29 + 128*b3*b40
      - 170*b3*b43 + 52*b3*b52 - 148*b3*b56 + 54*b3*b68 - 110*b3*b82 - 186*b3*
     b83 + 6*b3*b92 + 22*b3*b99 - 148*b3*b103 - 96*b3*b105 + 92*b3*b107 + 176*
     b3*b109 + 70*b3*b115 - 148*b3*b136 - 28*b3*b171 - 122*b3*b192 + 62*b3*b195
      - 22*b3*b198 + 66*b3*b199 - 70*b3*b200 - 182*b3*b216 + 174*b3*b250 - 156*
     b4*b6 - 190*b4*b9 + 48*b4*b18 - 126*b4*b19 - 48*b4*b48 - 134*b4*b55 + 2*b4
     *b73 - 160*b4*b75 + 24*b4*b78 - 58*b4*b85 - 190*b4*b86 + 88*b4*b88 - 110*
     b4*b98 - 136*b4*b102 - 88*b4*b112 + 12*b4*b113 + 124*b4*b125 - 146*b4*b154
      - b154 - 102*b4*b169 - 74*b4*b173 - 178*b4*b176 + 16*b4*b178 - 82*b4*b204
      - 198*b4*b249 + 86*b5*b7 - 68*b5*b16 + 182*b5*b24 + 166*b5*b26 + 158*b5*
     b28 - 12*b5*b37 - 20*b5*b73 + 70*b5*b81 + 41*b81 + 88*b5*b83 - 176*b5*b87
      - 182*b5*b90 + 90*b5*b101 + 68*b5*b105 + 200*b5*b128 + 132*b5*b129 + 84*
     b5*b137 - 148*b5*b150 - 190*b5*b184 + 42*b5*b201 - 120*b5*b214 + 80*b5*
     b215 + 128*b5*b221 + 120*b6*b13 - 43*b13 - 128*b6*b14 + 64*b6*b20 + 44*b6*
     b46 + 48*b6*b61 - 126*b6*b68 - 124*b6*b70 - 110*b6*b76 + 116*b6*b95 - 124*
     b6*b98 + 168*b6*b105 + 178*b6*b116 + 26*b6*b119 - 92*b6*b147 - 26*b6*b171
      + 62*b6*b178 + 38*b6*b198 - 56*b6*b207 + 110*b6*b215 + 64*b6*b218 + 61*
     b218 - 124*b6*b232 - 150*b6*b236 + 106*b6*b241 + 20*b7*b9 + 36*b7*b18 - 
     154*b7*b23 + 160*b7*b39 + 180*b7*b49 + 170*b7*b51 - 90*b7*b57 - 84*b7*b69
      + 192*b7*b70 + 150*b7*b72 + 6*b7*b76 + 198*b7*b92 + 138*b7*b95 + 130*b7*
     b106 + 134*b7*b126 + 134*b7*b144 - 96*b7*b145 + 74*b7*b150 - 28*b7*b151 + 
     124*b7*b155 + 128*b7*b163 - 104*b7*b178 + 6*b7*b204 + 64*b7*b226 + 88*b7*
     b241 + 112*b8*b31 + 4*b31 + 78*b8*b72 + 44*b8*b76 - 118*b8*b77 - 180*b8*
     b108 + 84*b8*b124 - 128*b8*b141 + 40*b8*b178 + 176*b8*b199 + 114*b8*b209
      + 98*b8*b223 - 90*b8*b245 - 158*b9*b17 - 6*b9*b25 - 40*b9*b35 + 92*b9*b48
      - 138*b9*b63 + 10*b9*b79 - 148*b9*b91 + 48*b91 + 102*b9*b98 - 94*b9*b105
      + 184*b9*b126 + 54*b9*b129 - 192*b9*b141 - 190*b9*b148 - 148*b9*b160 + 
     140*b9*b179 + 188*b9*b182 + 70*b9*b187 + 78*b9*b194 - 108*b9*b220 - 6*b9*
     b228 - 44*b9*b245 - 130*b9*b249 + 126*b10*b19 + 154*b10*b20 + 170*b10*b32
      + 106*b10*b43 - 158*b10*b51 - 32*b10*b78 + 8*b10*b93 + 66*b10*b98 - 194*
     b10*b103 - 46*b10*b108 - 186*b10*b121 - 184*b10*b155 - 146*b10*b162 + 72*
     b162 - 196*b10*b166 + 58*b10*b200 - 30*b10*b206 - 34*b10*b226 - 34*b10*
     b229 - 16*b10*b243 - 96*b10*b248 + 24*b10*b251 + 168*b11*b21 - 16*b11*b26
      - 30*b11*b34 + 140*b11*b43 - 28*b11*b50 + 92*b11*b53 - 104*b11*b57 + 144*
     b11*b66 + 53*b66 + 56*b11*b85 + 78*b11*b86 - 128*b11*b94 + 54*b11*b104 - 
     44*b11*b109 + 82*b11*b148 - 20*b11*b149 - 18*b11*b150 + 38*b11*b163 + 12*
     b11*b170 - 156*b11*b181 - 64*b11*b196 + 38*b11*b199 + 48*b11*b205 - 20*b11
     *b207 + 158*b11*b230 - 176*b11*b233 - 168*b11*b246 + 130*b11*b249 - 118*
     b12*b23 + 94*b12*b62 + 28*b62 - 196*b12*b66 - 172*b12*b76 + 8*b12*b82 - 28
     *b12*b87 + 14*b12*b102 + 26*b12*b123 - 8*b12*b126 - 164*b12*b130 - 128*b12
     *b136 + 70*b12*b149 + 116*b12*b156 + 46*b12*b170 + 92*b12*b175 - 70*b12*
     b185 + 136*b12*b193 + 78*b193 - 170*b12*b196 + 66*b12*b200 - 80*b12*b204
      + 98*b12*b206 + 126*b12*b212 + 114*b12*b217 - 170*b12*b220 + 154*b12*b221
      + 110*b12*b228 - 52*b12*b241 + 164*b12*b242 - 8*b242 + 92*b12*b249 - 28*
     b13*b65 + 66*b13*b77 + 54*b13*b93 - 82*b13*b97 + 152*b13*b101 - 154*b13*
     b108 + 98*b13*b109 - 154*b13*b126 + 146*b13*b137 + 10*b13*b161 + 40*b13*
     b162 + 116*b13*b163 - 186*b13*b165 + 8*b13*b210 + 79*b210 + 190*b13*b214
      - 68*b13*b216 + 136*b13*b248 + 132*b14*b25 + 100*b14*b34 + 156*b14*b37 + 
     46*b14*b47 - 14*b14*b51 + 178*b14*b54 + 160*b14*b63 + 150*b14*b64 - 84*b14
     *b65 + 166*b14*b73 - 16*b14*b77 - 8*b14*b93 + 140*b14*b102 + 116*b14*b104
      - 60*b14*b108 - 150*b14*b120 + 8*b14*b124 - 152*b14*b136 - 118*b14*b137
      + 98*b14*b141 + 162*b14*b157 - 32*b14*b159 + 138*b14*b170 - 70*b14*b171
      - 112*b14*b172 + 38*b14*b190 + 190*b14*b193 + 78*b14*b203 + 50*b14*b222
      - 79*b222 - 162*b14*b230 + 104*b14*b231 + 148*b15*b57 + 196*b15*b58 - 54*
     b15*b65 + 44*b15*b67 + 17*b67 + 62*b15*b77 + 178*b15*b81 - 50*b15*b95 + 8*
     b15*b99 + 38*b15*b109 - 28*b15*b119 - 116*b15*b127 + 182*b15*b155 + 114*
     b15*b162 - 170*b15*b163 - 170*b15*b176 + 34*b15*b187 - 130*b15*b198 - 98*
     b15*b204 - 46*b15*b215 - 2*b15*b249 - 134*b16*b36 + 90*b16*b89 - 36*b16*
     b91 + 38*b16*b110 + 126*b16*b118 + 82*b16*b132 - 17*b132 + 46*b16*b158 - 
     120*b16*b168 + 164*b16*b181 + 64*b16*b184 + 116*b16*b201 - 142*b16*b205 - 
     58*b16*b236 + 24*b16*b237 + 40*b17*b35 + 188*b17*b37 - 72*b17*b56 - 148*
     b17*b70 - 194*b17*b75 + 6*b17*b84 - 128*b17*b88 - 188*b17*b104 + 72*b17*
     b106 + 144*b17*b107 - 144*b17*b121 + 178*b17*b132 + 172*b17*b133 - 86*b17*
     b145 + 68*b17*b172 + 106*b17*b179 - 144*b17*b203 - 64*b17*b223 + 114*b17*
     b227 + 90*b17*b236 + 88*b17*b247 - 66*b17*b249 + 114*b18*b25 - 176*b18*b38
      - 152*b18*b40 + 144*b18*b43 - 194*b18*b44 - 174*b18*b45 + 80*b18*b47 + 
     128*b18*b50 - 162*b18*b65 + 44*b18*b66 - 118*b18*b70 + 166*b18*b77 + 116*
     b18*b86 - 144*b18*b104 - 196*b18*b107 - 58*b18*b117 - 88*b18*b141 - 198*
     b18*b152 - 30*b18*b172 + 28*b18*b174 + 188*b18*b179 - 60*b18*b189 + 110*
     b18*b196 + 36*b18*b223 + 160*b18*b228 + 18*b18*b237 - 198*b18*b240 + 122*
     b19*b24 - 186*b19*b25 + 110*b19*b30 + 134*b19*b37 - 134*b19*b64 + 14*b19*
     b66 - 58*b19*b74 + 184*b19*b77 + 124*b19*b95 - 58*b19*b96 - 130*b19*b105
      - 82*b19*b107 - 70*b19*b116 - 130*b19*b163 - 138*b19*b180 - 156*b19*b187
      + 86*b19*b189 - 142*b19*b190 - 42*b19*b193 + 156*b19*b206 - 4*b19*b219 + 
     4*b19*b222 - 48*b19*b223 + 104*b19*b230 - 112*b19*b249 + 158*b20*b50 - 180
     *b20*b61 - 74*b20*b75 + 2*b20*b81 + 164*b20*b105 - 90*b20*b120 - 60*b20*
     b126 + 130*b20*b127 + 106*b20*b131 + 34*b20*b135 + 104*b20*b145 + 118*b20*
     b146 + 14*b20*b157 - 90*b20*b159 - 44*b20*b176 - 178*b20*b178 + 114*b20*
     b200 - 114*b20*b212 - 40*b20*b230 - 66*b20*b242 + 108*b20*b248 + 194*b21*
     b33 + 194*b21*b38 + 48*b21*b42 - 126*b21*b50 - 170*b21*b62 - 146*b21*b64
      - 124*b21*b65 - 14*b21*b74 + 72*b21*b75 + 90*b21*b81 - 152*b21*b84 - 196*
     b21*b108 - 108*b21*b109 + 56*b21*b117 + 168*b21*b121 + 56*b21*b127 + 86*
     b21*b132 + 112*b21*b138 + 180*b21*b156 - 158*b21*b172 + 158*b21*b187 - 138
     *b21*b188 - 18*b22*b33 + 104*b22*b46 + 122*b22*b63 - 16*b22*b67 + 16*b22*
     b73 + 20*b22*b76 + 16*b22*b90 - 82*b22*b99 + 78*b22*b113 + 100*b22*b124 - 
     128*b22*b132 - 2*b22*b139 - 180*b22*b145 + 70*b22*b159 - 120*b22*b168 + 58
     *b22*b192 - 50*b22*b193 + 98*b22*b217 - 50*b22*b222 + 128*b23*b28 - 86*b23
     *b46 + 98*b23*b47 - 26*b23*b51 + 118*b23*b54 - 190*b23*b62 - 150*b23*b73
      - 120*b23*b93 - 182*b23*b108 + 196*b23*b118 - 120*b23*b138 - 104*b23*b142
      + 148*b23*b168 - 192*b23*b186 - 78*b23*b190 + 46*b23*b194 - 20*b23*b198
      - 8*b23*b207 - 66*b23*b212 - 42*b23*b218 - 118*b23*b223 - 184*b24*b25 - 
     94*b24*b34 + 84*b24*b35 - 170*b24*b41 - 16*b24*b58 - 34*b24*b63 + 154*b24*
     b67 - 4*b24*b71 + 72*b24*b73 + 30*b24*b84 - 182*b24*b113 + 30*b24*b117 - 
     154*b24*b120 - 170*b24*b135 + 126*b24*b140 - 68*b140 + 36*b24*b154 - 24*
     b24*b159 - 28*b24*b161 + 128*b24*b171 - 150*b24*b172 + 150*b24*b176 + 24*
     b24*b182 - 188*b24*b206 - 146*b24*b223 - 60*b24*b236 + 166*b25*b29 - 154*
     b25*b33 - 88*b25*b41 - 140*b25*b56 - 180*b25*b66 - 144*b25*b80 + 122*b25*
     b101 - 86*b25*b109 - 86*b25*b113 + 170*b25*b118 + 42*b25*b124 + 72*b25*
     b136 + 20*b25*b147 - 78*b25*b152 + 182*b25*b174 - 34*b25*b191 + 88*b191 + 
     156*b25*b197 + 73*b197 - 148*b25*b199 - 108*b25*b220 - 72*b25*b228 + 178*
     b26*b38 - 192*b26*b41 - 52*b26*b46 - 90*b26*b48 + 102*b26*b51 + 114*b26*
     b59 + 108*b26*b60 + 128*b26*b73 - 158*b26*b80 + 116*b26*b116 - 52*b26*b140
      + 38*b26*b153 + 32*b26*b161 - 96*b26*b179 - 184*b26*b199 - 68*b26*b214 + 
     104*b26*b217 - 38*b27*b28 - 142*b27*b29 + 100*b27*b34 - 10*b27*b49 + 74*
     b27*b53 - 124*b27*b70 - 40*b27*b71 - 182*b27*b78 + 116*b27*b97 + 172*b27*
     b100 - 174*b27*b112 - 182*b27*b124 + 156*b27*b143 + 134*b27*b161 - 170*b27
     *b162 + 82*b27*b164 + 48*b27*b171 - 36*b27*b174 - 102*b27*b183 - 40*b27*
     b186 - 110*b27*b194 + 186*b27*b207 + 86*b27*b245 - 126*b28*b32 + 174*b28*
     b36 + 128*b28*b44 + 12*b28*b60 - 180*b28*b136 + 56*b28*b138 - 112*b28*b144
      - 194*b28*b151 - 68*b28*b159 + 162*b28*b172 - 124*b28*b196 - 80*b28*b225
      - 56*b28*b228 + 58*b28*b242 + 76*b28*b245 + 186*b28*b251 - 104*b29*b55 - 
     24*b29*b56 + 166*b29*b60 + 176*b29*b75 - 38*b29*b78 + 160*b29*b79 - 38*b29
     *b85 + 72*b29*b90 + 134*b29*b100 - 198*b29*b101 + 90*b29*b117 - 92*b29*
     b119 + 96*b29*b148 - 148*b29*b160 - 194*b29*b164 - 170*b29*b166 + 198*b29*
     b177 - 44*b29*b219 + 154*b29*b228 - 190*b29*b234 - 58*b234 + 40*b29*b237
      - 178*b29*b243 + 52*b30*b40 + 46*b30*b61 + 138*b30*b69 + 62*b30*b75 + 156
     *b30*b78 - 86*b30*b120 + 12*b30*b122 - 134*b30*b123 + 72*b30*b124 + 102*
     b30*b127 - 110*b30*b129 - 124*b30*b157 - 172*b30*b162 - 90*b30*b167 - 186*
     b30*b186 - 106*b30*b225 - 24*b30*b244 - 178*b30*b245 - 128*b30*b248 - 64*
     b31*b42 - 28*b31*b52 + 44*b31*b58 - 2*b31*b67 - 50*b31*b73 - 102*b31*b74
      + 144*b31*b88 - 112*b31*b89 + 108*b31*b104 - 122*b31*b105 + 106*b31*b107
      + 140*b31*b117 + 132*b31*b118 - 150*b31*b122 - 156*b31*b125 - 64*b31*b128
      + 182*b31*b132 + 86*b31*b135 + 200*b31*b142 - 170*b31*b143 - 158*b31*b144
      + 200*b31*b145 - 2*b31*b152 - 150*b31*b182 + 72*b31*b187 + 66*b31*b189 + 
     92*b31*b196 + 108*b31*b204 + 84*b31*b206 + 158*b31*b221 - 96*b32*b44 - 88*
     b32*b46 - 52*b32*b59 + 78*b32*b61 + 126*b32*b96 - 96*b32*b107 + 172*b32*
     b109 - 90*b32*b115 + 168*b32*b149 - 38*b32*b151 + 66*b32*b159 - 94*b32*
     b192 + 146*b32*b232 + 178*b32*b235 + 16*b32*b238 + 78*b33*b66 - 124*b33*
     b69 + 60*b33*b76 - 30*b33*b87 + 86*b33*b90 - 146*b33*b117 + 34*b33*b128 - 
     196*b33*b130 - 162*b33*b165 - 76*b33*b191 - 28*b33*b194 - 116*b33*b198 + 
     74*b33*b202 - 150*b33*b206 - 94*b33*b212 - 4*b33*b213 + 24*b33*b223 + 188*
     b33*b237 - 22*b33*b239 + 192*b33*b241 - 178*b34*b42 - 198*b34*b49 + 38*b34
     *b50 - 166*b34*b53 - 12*b34*b66 - 164*b34*b76 - 126*b34*b87 - 178*b34*b96
      - 126*b34*b109 - 60*b34*b119 + 66*b34*b136 + 48*b34*b146 + 176*b34*b147
      - 52*b34*b160 - 162*b34*b165 + 112*b34*b191 + 76*b34*b192 - 190*b34*b198
      + 118*b34*b242 - 186*b34*b244 - 44*b35*b36 - 68*b35*b38 - 188*b35*b46 + 
     78*b35*b58 - 34*b35*b65 - 116*b35*b67 + 52*b35*b78 - 74*b35*b79 - 96*b35*
     b101 - 16*b35*b113 - 122*b35*b114 - 18*b35*b134 + 43*b134 + 78*b35*b160 - 
     106*b35*b161 - 178*b35*b163 - 186*b35*b164 + 22*b35*b174 + 34*b35*b182 + 
     26*b35*b205 + 130*b35*b207 - 172*b35*b213 - 108*b35*b215 + 174*b35*b229 + 
     184*b35*b235 - 40*b36*b49 - 196*b36*b88 - 128*b36*b134 - 140*b36*b146 + 
     116*b36*b152 - 160*b36*b159 - 80*b36*b174 - 158*b36*b184 + 48*b36*b185 + 
     110*b36*b187 - 50*b36*b188 + 96*b36*b203 + 32*b36*b206 + 148*b36*b213 + 
     136*b36*b220 - 62*b36*b223 + 40*b36*b232 - 34*b36*b242 + 158*b36*b246 + 
     156*b36*b248 + 86*b36*b249 + 52*b37*b39 - 38*b37*b59 + 124*b37*b60 - 72*
     b37*b65 + 78*b37*b81 - 74*b37*b92 + 82*b37*b95 + 42*b37*b96 - 112*b37*b104
      + 10*b37*b109 + 120*b37*b138 + 92*b37*b140 - 154*b37*b146 + 74*b37*b159
      - 94*b37*b184 + 182*b37*b194 + 58*b37*b200 - 100*b37*b206 + 194*b37*b213
      + 104*b37*b215 - 74*b37*b222 + 178*b37*b224 - 140*b37*b225 - 102*b37*b228
      + 106*b37*b245 - 164*b37*b247 - 96*b37*b250 - 44*b38*b48 + 120*b38*b49 + 
     166*b38*b64 - 182*b38*b75 + 108*b38*b80 + 132*b38*b85 + 180*b38*b126 + 60*
     b38*b131 + 172*b38*b132 + 48*b38*b137 + 12*b38*b140 - 34*b38*b159 - 94*b38
     *b161 + 158*b38*b178 - 144*b38*b181 + 32*b38*b198 + 12*b38*b201 + 18*b38*
     b205 - 128*b38*b207 - 6*b38*b215 - 14*b38*b218 + 120*b38*b227 + 66*b38*
     b228 - 42*b38*b230 + 66*b38*b233 - 34*b38*b251 - 124*b39*b41 + 44*b39*b44
      - 120*b39*b50 - 36*b39*b69 - 172*b39*b129 - 84*b39*b190 - 86*b39*b228 - 
     150*b39*b239 + 86*b39*b242 - 28*b40*b50 - 166*b40*b68 - 104*b40*b78 - 192*
     b40*b87 + 80*b40*b105 + 76*b40*b118 - 198*b40*b125 - 124*b40*b142 + 36*b40
     *b158 + 190*b40*b162 - 32*b40*b169 + 170*b40*b181 - 46*b40*b201 - 102*b40*
     b203 - 92*b40*b240 + 72*b40*b247 - 66*b40*b251 + 42*b41*b60 + 172*b41*b85
      + 140*b41*b93 - 162*b41*b99 + 18*b41*b101 + 78*b41*b107 + 12*b41*b121 - 
     126*b41*b130 - 74*b41*b133 - 154*b41*b147 + 66*b41*b178 + 48*b41*b182 - 6*
     b41*b199 + 132*b41*b226 - 104*b41*b227 + 130*b41*b233 + 70*b41*b238 - 108*
     b41*b240 - 2*b41*b241 + 16*b41*b251 - 66*b42*b44 - 92*b42*b63 - 98*b42*b69
      + 146*b42*b73 + 102*b42*b74 - 178*b42*b77 + 192*b42*b97 + 28*b42*b103 - 
     56*b42*b108 - 34*b42*b109 - 52*b42*b117 + 124*b42*b163 - 146*b42*b167 - 30
     *b42*b177 - 26*b42*b181 - 184*b42*b184 + 114*b42*b209 - 120*b42*b213 - 36*
     b42*b230 + 44*b42*b236 - 180*b43*b52 + 36*b43*b69 + 114*b43*b71 + 138*b43*
     b73 - 114*b43*b88 + 104*b43*b126 - 196*b43*b127 - 140*b43*b132 + 130*b43*
     b143 - 184*b43*b158 - 176*b43*b192 + 190*b43*b195 - 162*b43*b201 - 180*b43
     *b209 - 148*b43*b220 + 18*b43*b230 + 162*b43*b249 + 170*b44*b45 + 188*b44*
     b46 + 148*b44*b50 + 90*b44*b57 + 34*b44*b68 + 86*b44*b74 - 158*b44*b76 - 
     48*b44*b84 + 118*b44*b85 + 196*b44*b88 + 20*b44*b101 - 98*b44*b109 - 188*
     b44*b138 - 124*b44*b142 - 102*b44*b171 - 136*b44*b175 - 92*b44*b193 - 156*
     b44*b196 + 176*b44*b197 + 154*b44*b203 + 134*b44*b210 - 136*b44*b211 - 118
     *b44*b231 - 44*b44*b240 - 56*b45*b52 + 170*b45*b77 + 128*b45*b94 - 82*b45*
     b134 - 88*b45*b147 - 84*b45*b152 + 62*b45*b161 + 56*b45*b172 - 44*b45*b180
      + 62*b45*b188 + 96*b45*b191 - 154*b45*b193 - 102*b45*b207 + 58*b45*b212
      - 180*b45*b213 + 134*b45*b214 - 152*b45*b224 - 168*b45*b231 + 88*b45*b249
      + 52*b46*b51 - 176*b46*b58 + 188*b46*b86 - 130*b46*b89 - 180*b46*b95 + 74
     *b46*b98 + 168*b46*b103 + 92*b46*b115 - 108*b46*b119 - 162*b46*b134 - 106*
     b46*b138 - 118*b46*b144 + 76*b46*b152 - 120*b46*b157 + 88*b46*b159 + 32*
     b46*b174 + 124*b46*b179 - 138*b46*b184 + 192*b46*b185 - 44*b46*b191 + 144*
     b46*b209 - 78*b46*b227 + 156*b46*b228 - 172*b46*b242 - 156*b46*b246 + 174*
     b47*b52 + 112*b47*b83 - 154*b47*b84 - 168*b47*b98 - 62*b47*b101 - 172*b47*
     b117 - 114*b47*b118 - 68*b47*b129 - 24*b47*b139 - 72*b47*b142 + 38*b47*
     b144 + 132*b47*b154 - 86*b47*b161 + 86*b47*b166 - 102*b47*b170 - 50*b47*
     b198 - 164*b47*b211 + 150*b47*b221 - 198*b47*b229 + 148*b47*b242 + 12*b48*
     b70 - 66*b48*b72 - 192*b48*b78 + 194*b48*b86 + 122*b48*b101 + 72*b48*b105
      - 100*b48*b119 - 38*b48*b130 - 170*b48*b134 + 114*b48*b146 + 52*b48*b151
      + 60*b48*b167 + 186*b48*b168 + 134*b48*b206 + 176*b48*b229 - 72*b48*b240
      - 38*b48*b241 + 96*b48*b251 + 194*b49*b58 - 30*b49*b83 + 36*b49*b108 - 
     172*b49*b111 - 194*b49*b120 + 84*b49*b137 + 58*b49*b138 - 26*b49*b139 - 36
     *b49*b149 - 16*b49*b155 - 168*b49*b185 + 20*b49*b199 - 118*b49*b211 - 8*
     b49*b219 - 186*b49*b226 - 154*b49*b232 - 70*b49*b236 + 102*b49*b238 + 134*
     b49*b247 - 168*b50*b51 - 80*b50*b54 + 2*b50*b70 - 54*b50*b78 + 92*b50*b85
      + 132*b50*b86 + 186*b50*b88 + 124*b50*b100 - 62*b50*b114 - 102*b50*b115
      - 138*b50*b139 - 96*b50*b140 + 172*b50*b158 + 96*b50*b175 + 140*b50*b182
      + 138*b50*b190 - 24*b50*b194 - 36*b50*b199 + 84*b50*b203 - 48*b50*b217 + 
     102*b50*b235 - 162*b50*b236 - 80*b50*b243 - 132*b50*b251 + 190*b51*b58 + 
     156*b51*b59 - 66*b51*b66 + 4*b51*b69 - 46*b51*b74 - 144*b51*b93 - 102*b51*
     b107 + 46*b51*b109 - 128*b51*b111 - 146*b51*b121 + 110*b51*b139 + 140*b51*
     b158 + 110*b51*b184 + 194*b51*b199 + 60*b51*b202 + 4*b51*b219 + 84*b51*
     b226 - 44*b51*b228 - 14*b51*b231 - 90*b51*b235 + 194*b51*b245 + 72*b51*
     b248 - 90*b52*b61 + 26*b52*b64 + 198*b52*b78 - 128*b52*b89 + 154*b52*b103
      + 112*b52*b119 + 162*b52*b129 - 78*b52*b157 - 122*b52*b163 + 48*b52*b170
      + 2*b52*b174 + 48*b52*b189 - 106*b52*b203 - 12*b52*b204 - 130*b52*b208 + 
     190*b52*b212 + 26*b52*b217 + 120*b52*b250 - 36*b53*b73 - 188*b53*b110 + 
     150*b53*b112 - 88*b53*b118 - 66*b53*b138 + 124*b53*b149 - 170*b53*b150 + 
     14*b53*b170 - 176*b53*b175 + 174*b53*b176 - 114*b53*b181 - 48*b53*b187 + 
     96*b53*b189 - 102*b53*b192 + 16*b53*b194 + 152*b53*b199 - 142*b53*b206 - 
     134*b53*b224 + 50*b53*b226 - 72*b53*b236 + 128*b53*b238 - 114*b54*b56 + 76
     *b54*b60 + 32*b54*b64 + 160*b54*b74 + 116*b54*b86 - 134*b54*b91 + 12*b54*
     b109 + 142*b54*b117 - 44*b54*b122 - 44*b54*b127 - 12*b54*b139 - 138*b54*
     b141 + 102*b54*b145 + 58*b54*b161 + 14*b54*b169 - 80*b54*b186 + 74*b54*
     b192 + 178*b54*b213 - 38*b54*b251 + 6*b55*b67 - 4*b55*b69 + 2*b55*b90 - 36
     *b55*b92 - 174*b55*b93 + 134*b55*b104 - 178*b55*b115 + 62*b55*b131 - 98*
     b55*b142 + 136*b55*b151 + 94*b55*b157 - 80*b55*b158 + 176*b55*b161 + 126*
     b55*b171 - 126*b55*b173 - 92*b55*b178 - 168*b55*b182 + 54*b55*b190 - 46*
     b55*b202 - 18*b55*b233 - 4*b55*b244 - 94*b55*b250 - 16*b56*b73 + 198*b56*
     b85 - 104*b56*b91 - 32*b56*b109 + 140*b56*b144 + 126*b56*b157 - 132*b56*
     b167 + 158*b56*b180 - 86*b56*b187 - 186*b56*b190 - 28*b56*b194 + 112*b56*
     b202 - 10*b56*b206 - 120*b56*b209 - 30*b56*b217 + 18*b56*b224 - 176*b56*
     b226 - 172*b56*b227 - 32*b56*b242 + 114*b56*b245 + 76*b56*b251 + 6*b57*b63
      + 38*b57*b65 + 78*b57*b66 - 102*b57*b74 + 100*b57*b101 - 52*b57*b121 - 44
     *b57*b130 + 20*b57*b132 + 40*b57*b138 - 64*b57*b145 - 80*b57*b149 - 88*b57
     *b151 + 34*b57*b160 + 48*b57*b166 - 196*b57*b169 - 104*b57*b173 + 148*b57*
     b194 - 136*b57*b199 - 4*b57*b226 + 184*b57*b227 - 8*b57*b247 + 112*b58*b71
      - 26*b58*b81 - 16*b58*b93 - 66*b58*b113 - 146*b58*b152 - 160*b58*b154 + 
     124*b58*b155 - 126*b58*b167 + 106*b58*b184 - 184*b58*b202 - 60*b58*b205 - 
     32*b58*b233 + 4*b59*b61 - 54*b59*b68 - 14*b59*b69 + 200*b59*b70 + 194*b59*
     b112 - 184*b59*b118 + 64*b59*b132 + 94*b59*b165 + 126*b59*b176 - 114*b59*
     b190 + 14*b59*b193 - 144*b59*b196 + 178*b59*b199 + 102*b59*b210 + 116*b59*
     b224 - 134*b59*b228 - 150*b59*b237 - 78*b59*b239 - 92*b60*b66 - 174*b60*
     b72 - 132*b60*b81 - 192*b60*b85 - 30*b60*b98 + 38*b60*b104 + 152*b60*b105
      + 170*b60*b106 - 38*b60*b121 + 82*b60*b144 + 184*b60*b148 + 174*b60*b149
      + 40*b60*b162 - 94*b60*b165 - 72*b60*b178 - 142*b60*b183 - 56*b60*b184 - 
     118*b60*b185 - 28*b60*b186 - 102*b60*b219 + 182*b60*b221 - 34*b60*b224 - 
     72*b60*b237 - 26*b61*b67 - 82*b61*b71 + 74*b61*b89 - 42*b61*b93 + 120*b61*
     b111 + 72*b61*b118 + 70*b61*b128 - 108*b61*b136 + 102*b61*b139 - 48*b61*
     b149 - 76*b61*b153 - 32*b61*b161 - 72*b61*b169 + 32*b61*b174 + 178*b61*
     b196 - 14*b61*b206 - 34*b61*b210 + 80*b61*b221 + 142*b61*b231 + 196*b61*
     b242 + 146*b61*b249 - 128*b62*b64 - 72*b62*b78 - 64*b62*b80 - 170*b62*b91
      + 96*b62*b95 + 62*b62*b97 + 30*b62*b99 + 56*b62*b100 - 130*b62*b105 + 98*
     b62*b115 + 38*b62*b129 - 14*b62*b143 - 2*b62*b152 - 148*b62*b154 + 42*b62*
     b170 - 128*b62*b174 - 46*b62*b181 + 180*b62*b191 + 110*b62*b210 + 126*b62*
     b221 + 166*b62*b222 + 174*b62*b223 - 132*b62*b231 + 58*b62*b247 - 8*b63*
     b78 - 84*b63*b84 + 56*b63*b93 - 2*b63*b103 - 168*b63*b110 - 160*b63*b126
      - 24*b63*b149 + 66*b63*b156 - 104*b63*b164 - 154*b63*b170 - 20*b63*b201
      + 12*b63*b203 + 140*b63*b205 + 50*b63*b206 + 162*b63*b212 + 14*b63*b227
      + 36*b63*b239 - 144*b63*b244 - 144*b64*b74 + 78*b64*b76 - 112*b64*b77 - 
     118*b64*b79 - 30*b64*b88 - 134*b64*b91 - 188*b64*b100 - 186*b64*b112 - 130
     *b64*b116 - 38*b64*b117 + 34*b64*b147 - 24*b64*b159 + 50*b64*b161 - 118*
     b64*b166 - 32*b64*b172 + 140*b64*b192 + 114*b64*b194 - 150*b64*b200 - 48*
     b64*b205 - 166*b64*b214 - 142*b64*b219 + 74*b64*b233 - 78*b64*b236 + 94*
     b64*b249 - 122*b65*b76 - 198*b65*b79 + 190*b65*b86 - 86*b65*b103 - 86*b65*
     b118 - 112*b65*b120 - 164*b65*b126 - 130*b65*b137 + 84*b65*b144 - 54*b65*
     b174 + 120*b65*b186 - 96*b65*b236 - 18*b65*b240 + 124*b65*b244 + 174*b65*
     b251 + 198*b66*b72 - 14*b66*b81 - 2*b66*b90 + 182*b66*b100 + 32*b66*b139
      - 116*b66*b154 - 162*b66*b155 - 158*b66*b178 - 30*b66*b226 - 120*b66*b235
      - 44*b66*b237 + 124*b66*b245 + 142*b67*b75 - 154*b67*b80 - 188*b67*b93 - 
     20*b67*b96 + 6*b67*b113 - 126*b67*b118 - 156*b67*b120 - 144*b67*b121 - 126
     *b67*b133 + 24*b67*b142 - 104*b67*b147 - 132*b67*b159 - 150*b67*b174 - 88*
     b67*b182 + 14*b67*b191 + 92*b67*b201 - 82*b67*b208 - 124*b67*b218 + 186*
     b67*b222 + 58*b67*b239 - 120*b67*b246 - 24*b67*b249 - 60*b68*b73 - 190*b68
     *b78 + 178*b68*b90 - 186*b68*b93 - 120*b68*b103 + 108*b68*b104 - 146*b68*
     b146 + 12*b68*b150 - 106*b68*b154 - 50*b68*b161 - 142*b68*b166 + 4*b68*
     b168 + 68*b68*b176 + 194*b68*b192 - 24*b68*b195 - 62*b68*b221 - 164*b68*
     b227 - 14*b68*b231 - 70*b68*b241 - 76*b68*b244 + 28*b69*b72 - 70*b69*b76
      - 18*b69*b80 - 122*b69*b85 + 170*b69*b87 + 38*b69*b89 - 92*b69*b91 - 24*
     b69*b107 - 176*b69*b111 - 126*b69*b120 + 102*b69*b137 - 130*b69*b152 - 88*
     b69*b161 - 188*b69*b168 + 118*b69*b170 - 68*b69*b176 - 96*b69*b177 - 190*
     b69*b180 + 74*b69*b205 - 140*b69*b213 + 182*b69*b216 - 90*b69*b220 - 96*
     b69*b240 + 66*b70*b76 + 56*b70*b95 + 106*b70*b97 + 102*b70*b110 + 108*b70*
     b112 - 144*b70*b117 - 80*b70*b118 - 156*b70*b122 - 18*b70*b127 + 36*b70*
     b136 - 124*b70*b138 - 30*b70*b143 - 6*b70*b146 - 108*b70*b147 - 124*b70*
     b181 - 162*b70*b182 + 152*b70*b214 - 140*b70*b220 - 96*b70*b243 + 46*b71*
     b93 - 184*b71*b94 + 106*b71*b111 - 198*b71*b115 - 14*b71*b116 - 102*b71*
     b118 - 66*b71*b138 - 42*b71*b141 - 94*b71*b151 - 122*b71*b157 + 124*b71*
     b163 + 68*b71*b165 + 184*b71*b175 - 172*b71*b176 - 84*b71*b182 + 152*b71*
     b191 + 122*b71*b208 + 106*b71*b248 - 38*b72*b73 - 16*b72*b81 + 114*b72*b87
      + 144*b72*b92 - 158*b72*b126 - 76*b72*b154 - 190*b72*b159 + 40*b72*b167
      - 192*b72*b174 - 150*b72*b182 + 190*b72*b184 + 88*b72*b186 + 74*b72*b187
      - 166*b72*b191 + 76*b72*b195 - 26*b72*b199 - 194*b72*b202 - 84*b72*b209
      + 82*b72*b214 + 4*b72*b219 + 60*b72*b223 + 192*b72*b239 + 8*b72*b244 + 62
     *b73*b78 - 96*b73*b86 - 2*b73*b96 - 134*b73*b97 - 18*b73*b115 - 62*b73*
     b121 - 106*b73*b147 - 184*b73*b160 - 126*b73*b165 + 132*b73*b173 + 142*b73
     *b187 + 92*b73*b191 + 102*b73*b192 - 58*b73*b219 + 160*b73*b222 - 150*b73*
     b241 + 60*b73*b245 - 80*b74*b75 - 132*b74*b76 + 120*b74*b89 - 50*b74*b93
      + 190*b74*b98 + 22*b74*b104 + 102*b74*b123 - 134*b74*b126 - 20*b74*b128
      + 162*b74*b166 + 86*b74*b177 - 68*b74*b186 - 166*b74*b192 + 40*b74*b219
      - 40*b74*b222 - 90*b74*b224 - 48*b74*b229 - 6*b74*b234 + 140*b74*b235 - 
     158*b74*b238 + 106*b74*b240 + 144*b74*b246 + 86*b75*b82 + 56*b75*b100 + 
     180*b75*b102 + 148*b75*b106 + 92*b75*b119 + 162*b75*b124 + 154*b75*b127 + 
     200*b75*b128 - 74*b75*b135 - 148*b75*b143 - 154*b75*b145 + 120*b75*b166 - 
     64*b75*b169 + 122*b75*b176 - 102*b75*b178 - 24*b75*b183 - 190*b75*b193 + 
     118*b75*b229 + 112*b75*b237 + 156*b76*b82 + 150*b76*b100 - 168*b76*b104 - 
     22*b76*b105 + 106*b76*b109 - 84*b76*b113 + 146*b76*b118 - 136*b76*b126 + 
     84*b76*b132 - 144*b76*b147 - 166*b76*b153 - 14*b76*b159 - 124*b76*b179 + 
     30*b76*b189 - 16*b76*b194 + 150*b76*b196 - 18*b76*b201 + 130*b76*b204 + 8*
     b76*b220 - 158*b76*b226 - 182*b76*b229 + 56*b77*b89 - 78*b77*b98 - 186*b77
     *b120 + 78*b77*b126 + 76*b77*b134 + 104*b77*b150 + 132*b77*b165 - 146*b77*
     b185 + 152*b77*b193 - 42*b77*b194 + 186*b77*b203 - 182*b77*b219 - 24*b77*
     b233 - 100*b77*b241 - 22*b77*b244 + 194*b77*b246 - 100*b78*b108 - 22*b78*
     b121 + 130*b78*b136 - 150*b78*b147 + 166*b78*b160 - 164*b78*b170 - 84*b78*
     b174 - 102*b78*b188 - 154*b78*b222 + 192*b78*b234 - 152*b78*b236 + 184*b78
     *b241 - 102*b78*b246 - 142*b78*b251 - 154*b79*b86 - 102*b79*b91 - 178*b79*
     b99 + 196*b79*b100 - 54*b79*b102 - 146*b79*b108 - 180*b79*b120 - 180*b79*
     b122 - 40*b79*b125 - 170*b79*b142 - 18*b79*b144 + 68*b79*b157 + 16*b79*
     b161 - 184*b79*b180 - 36*b79*b220 + 18*b79*b221 - 174*b79*b225 + 62*b79*
     b232 + 162*b79*b250 + 46*b80*b90 - 110*b80*b103 + 58*b80*b107 - 150*b80*
     b113 + 48*b80*b126 - 82*b80*b136 + 80*b80*b147 - 148*b80*b150 + 80*b80*
     b161 + 28*b80*b164 - 164*b80*b165 + 124*b80*b170 + 74*b80*b181 - 74*b80*
     b202 + 86*b80*b210 - 144*b80*b213 + 16*b80*b219 - 34*b80*b221 - 6*b80*b226
      - 148*b80*b227 - 28*b80*b240 - 190*b81*b82 - 76*b81*b101 - 60*b81*b186 - 
     8*b81*b190 - 194*b81*b193 - 50*b81*b194 - 60*b81*b208 - 110*b81*b211 + 32*
     b81*b221 - 40*b81*b222 + 52*b82*b94 + 148*b82*b109 - 120*b82*b110 + 12*b82
     *b115 - 12*b82*b116 + 186*b82*b117 - 156*b82*b123 + 186*b82*b125 + 156*b82
     *b127 + 122*b82*b143 - 72*b82*b155 - 36*b82*b187 - 32*b82*b189 + 146*b82*
     b236 - 36*b83*b87 + 84*b83*b92 - 172*b83*b102 - 20*b83*b116 + 40*b83*b140
      - 84*b83*b147 + 148*b83*b149 + 30*b83*b158 - 50*b83*b169 - 26*b83*b171 - 
     170*b83*b183 - 140*b83*b191 + 180*b83*b201 + 188*b83*b204 - 2*b83*b206 + 
     168*b83*b216 - 54*b83*b217 + 46*b83*b228 + 108*b83*b233 - 144*b83*b236 - 
     132*b83*b242 + 98*b83*b251 - 112*b84*b107 + 68*b84*b142 + 108*b84*b172 - 
     186*b84*b178 - 88*b84*b191 + 126*b84*b225 + 196*b84*b244 - 22*b85*b112 + 
     128*b85*b117 - 182*b85*b134 - 112*b85*b146 - 108*b85*b148 + 120*b85*b149
      + 46*b85*b153 - 90*b85*b161 - 158*b85*b177 + 34*b85*b194 + 42*b85*b228 + 
     24*b85*b243 - 164*b85*b245 - 72*b86*b87 + 114*b86*b92 - 78*b86*b100 + 64*
     b86*b107 + 8*b86*b108 + 200*b86*b113 - 164*b86*b121 - 72*b86*b133 + 24*b86
     *b135 - 4*b86*b136 + 42*b86*b147 + 90*b86*b155 + 22*b86*b161 + 114*b86*
     b162 + 102*b86*b164 + 182*b86*b172 - 76*b86*b179 + 42*b86*b182 - 12*b86*
     b183 - 158*b86*b190 - 172*b86*b194 + 54*b86*b234 + 116*b86*b245 + 70*b87*
     b90 - 20*b87*b95 + 98*b87*b102 - 128*b87*b135 - 102*b87*b159 - 40*b87*b163
      + 20*b87*b180 + 106*b87*b186 + 76*b87*b203 - 42*b87*b224 + 178*b87*b231
      - 162*b87*b232 - 88*b87*b239 - 174*b88*b133 - 140*b88*b135 - 114*b88*b170
      - 134*b88*b201 + 88*b88*b208 - 60*b88*b238 - 96*b88*b246 - 80*b89*b94 - 
     124*b89*b107 - 28*b89*b112 - 156*b89*b118 - 14*b89*b121 - 98*b89*b128 + 16
     *b89*b164 + 74*b89*b187 + 26*b89*b190 - 140*b89*b199 + 38*b89*b206 - 32*
     b89*b215 + 126*b89*b221 + 16*b89*b230 - 160*b90*b107 + 140*b90*b113 - 136*
     b90*b115 + 130*b90*b133 - 130*b90*b145 + 154*b90*b153 - 76*b90*b163 - 64*
     b90*b168 - 158*b90*b169 + 60*b90*b171 + 42*b90*b198 + 36*b90*b204 - 90*b90
     *b209 + 164*b90*b210 + 104*b90*b213 - 78*b90*b216 + 116*b90*b221 + 108*b90
     *b227 - 8*b90*b240 + 160*b90*b247 + 102*b91*b96 - 84*b91*b99 - 26*b91*b115
      + 150*b91*b122 - 18*b91*b127 - 110*b91*b140 + 70*b91*b141 - 40*b91*b147
      - 42*b91*b168 - 146*b91*b187 + 72*b91*b204 - 64*b91*b209 + 80*b91*b211 + 
     126*b91*b212 - 160*b91*b227 + 4*b91*b238 + 96*b92*b111 + 128*b92*b127 + 10
     *b92*b129 + 134*b92*b131 - 188*b92*b137 - 122*b92*b138 - 18*b92*b146 - 116
     *b92*b154 + 184*b92*b163 + 54*b92*b167 + 6*b92*b182 - 128*b92*b185 + 26*
     b92*b201 + 58*b92*b208 + 46*b92*b228 - 116*b92*b245 + 90*b92*b247 + 94*b93
     *b98 - 94*b93*b120 - 10*b93*b134 - 156*b93*b151 - 6*b93*b166 + 196*b93*
     b173 + 148*b93*b178 - 58*b93*b180 + 130*b93*b214 + 80*b93*b217 - 72*b93*
     b218 + 84*b93*b223 - 122*b93*b238 - 192*b93*b239 + 32*b93*b242 - 196*b93*
     b251 + 30*b94*b107 - 4*b94*b115 - 24*b94*b172 - 126*b94*b184 + 64*b94*b199
      + 46*b94*b209 - 60*b94*b212 + 164*b94*b230 + 4*b95*b109 + 88*b95*b133 - 
     108*b95*b149 + 188*b95*b154 - 152*b95*b165 + 12*b95*b178 - 172*b95*b181 - 
     172*b95*b185 + 42*b95*b204 - 132*b95*b208 - 182*b95*b209 + 66*b95*b224 - 
     70*b95*b234 - 66*b95*b241 - 40*b95*b249 - 22*b96*b99 - 134*b96*b119 - 74*
     b96*b129 + 146*b96*b137 + 50*b96*b144 - 26*b96*b147 + 146*b96*b155 + 58*
     b96*b160 + 22*b96*b164 + 148*b96*b187 + 142*b96*b211 - 76*b96*b221 - 32*
     b96*b223 + 58*b96*b248 + 148*b97*b115 - 2*b97*b118 - 142*b97*b136 + 138*
     b97*b139 - 188*b97*b145 - 162*b97*b160 + 96*b97*b164 + 114*b97*b171 - 106*
     b97*b183 + 26*b97*b191 - 50*b97*b194 + 92*b97*b201 - 68*b97*b211 + 14*b97*
     b215 - 10*b97*b228 + 144*b97*b237 + 14*b97*b242 - 78*b97*b243 - 8*b97*b251
      + 8*b98*b100 - 46*b98*b101 - 140*b98*b117 + 140*b98*b147 + 16*b98*b151 - 
     46*b98*b155 + 104*b98*b159 + 50*b98*b167 + 30*b98*b170 + 132*b98*b176 - 20
     *b98*b195 + 64*b98*b197 - 28*b98*b203 + 14*b98*b207 + 108*b98*b245 - 18*
     b98*b247 + 110*b99*b104 + 10*b99*b107 - 112*b99*b122 + 14*b99*b132 + 90*
     b99*b164 - 102*b99*b165 + 142*b99*b170 + 98*b99*b180 - 196*b99*b187 + 88*
     b99*b197 - 114*b99*b207 - 72*b99*b210 + 12*b99*b239 + 166*b100*b105 + 46*
     b100*b106 - 186*b100*b121 - 146*b100*b126 - 2*b100*b128 + 152*b100*b150 - 
     108*b100*b153 - 78*b100*b154 + 142*b100*b157 + 164*b100*b184 - 176*b100*
     b185 + 182*b100*b198 - 128*b100*b205 - 60*b100*b210 - 196*b100*b225 + 126*
     b100*b245 + 132*b101*b102 - 8*b101*b114 - 126*b101*b116 - 112*b101*b124 - 
     124*b101*b141 + 142*b101*b152 + 82*b101*b156 - 178*b101*b167 + 172*b101*
     b168 - 46*b101*b173 - 90*b101*b175 - 18*b101*b179 + 160*b101*b202 + 166*
     b101*b216 - 40*b101*b228 - 82*b101*b232 + 44*b101*b249 + 96*b102*b108 + 
     170*b102*b113 + 138*b102*b142 + 180*b102*b160 - 182*b102*b177 + 42*b102*
     b222 + 12*b102*b223 - 76*b102*b225 - 22*b102*b241 - 174*b102*b243 + 180*
     b103*b106 + 108*b103*b115 + 64*b103*b136 - 132*b103*b158 - 44*b103*b165 - 
     118*b103*b167 - 50*b103*b207 - 194*b103*b210 - 120*b103*b229 - 156*b103*
     b232 + 198*b103*b237 - 24*b104*b109 - 6*b104*b135 + 146*b104*b140 + 58*
     b104*b160 - 30*b104*b164 - 98*b104*b167 - 176*b104*b173 + 158*b104*b207 - 
     160*b104*b215 - 150*b104*b217 - 74*b104*b221 - 128*b104*b224 + 146*b104*
     b238 + 26*b104*b242 + 194*b104*b244 - 58*b104*b247 - 110*b105*b116 + 44*
     b105*b132 + 52*b105*b135 - 40*b105*b144 + 164*b105*b150 + 136*b105*b156 - 
     84*b105*b158 + 194*b105*b172 - 52*b105*b196 - 188*b105*b226 - 46*b105*b231
      + 68*b105*b235 + 150*b105*b238 + 180*b105*b239 - 34*b106*b110 - 150*b106*
     b119 + 92*b106*b121 + 158*b106*b128 - 38*b106*b130 - 34*b106*b134 - 158*
     b106*b136 - 62*b106*b146 + 158*b106*b169 - 126*b106*b176 + 190*b106*b182
      + 94*b106*b185 - 68*b106*b196 + 80*b106*b198 + 26*b106*b222 - 110*b106*
     b233 + 106*b106*b234 + 70*b106*b244 + 132*b107*b111 - 12*b107*b126 - 138*
     b107*b137 - 18*b107*b150 - 178*b107*b153 - 78*b107*b157 - 94*b107*b158 + 
     88*b107*b168 - 178*b107*b170 - 142*b107*b176 + 154*b107*b184 + 80*b107*
     b197 - 176*b107*b244 + 186*b108*b122 + 110*b108*b126 + 132*b108*b135 - 80*
     b108*b143 + 124*b108*b156 + 190*b108*b175 + 102*b108*b178 + 8*b108*b202 + 
     154*b108*b212 - 32*b108*b216 - 30*b108*b242 + 82*b109*b115 + 108*b109*b147
      - 134*b109*b158 - 164*b109*b167 + 92*b109*b169 - 148*b109*b175 - 16*b109*
     b216 + 90*b109*b220 + 168*b109*b231 + 112*b110*b111 - 12*b110*b132 - 76*
     b110*b141 + 186*b110*b163 - 54*b110*b172 - 58*b110*b204 + 14*b110*b207 + 
     168*b110*b211 + 40*b110*b218 + 106*b110*b228 + 34*b110*b248 + 96*b111*b117
      + 32*b111*b133 - 38*b111*b140 - 196*b111*b144 + 6*b111*b146 - 114*b111*
     b148 + 62*b111*b150 + 32*b111*b173 + 64*b111*b190 + 148*b111*b199 + 166*
     b111*b202 - 100*b111*b204 + 66*b111*b207 + 28*b111*b209 + 92*b111*b226 - 
     116*b111*b237 + 58*b111*b239 - 156*b111*b244 - 26*b111*b249 - 96*b111*b250
      - 100*b112*b113 - 76*b112*b118 + 72*b112*b125 + 16*b112*b126 - 174*b112*
     b140 - 94*b112*b156 - 162*b112*b158 + 176*b112*b163 + 192*b112*b169 - 170*
     b112*b181 + 174*b112*b191 - 104*b112*b193 + 14*b112*b223 - 130*b112*b231
      - 170*b112*b232 + 98*b112*b249 - 58*b113*b120 + 60*b113*b124 + 22*b113*
     b136 + 170*b113*b138 - 158*b113*b145 - 176*b113*b148 - 174*b113*b152 + 72*
     b113*b157 - 136*b113*b164 - 170*b113*b175 - 160*b113*b177 - 10*b113*b178
      + 190*b113*b185 - 38*b113*b187 - 92*b113*b188 - 188*b113*b190 - 166*b113*
     b197 - 90*b113*b207 + 126*b113*b212 - 20*b113*b231 + 196*b113*b241 + 42*
     b114*b123 - 164*b114*b133 - 130*b114*b160 + 68*b114*b179 - 6*b114*b189 + 
     36*b114*b230 + 48*b114*b238 - 148*b114*b240 + 32*b115*b117 - 194*b115*b119
      - 62*b115*b120 - 6*b115*b127 + 72*b115*b128 - 158*b115*b134 + 130*b115*
     b144 - 8*b115*b152 - 42*b115*b153 + 12*b115*b158 - 6*b115*b180 - 6*b115*
     b184 - 178*b115*b194 - 86*b115*b223 + 180*b115*b224 + 196*b115*b247 + 168*
     b115*b249 - 72*b116*b123 - 64*b116*b126 - 18*b116*b161 - 96*b116*b162 + 6*
     b116*b168 - 142*b116*b173 + 6*b116*b176 + 116*b116*b193 - 6*b116*b230 - 56
     *b116*b233 + 54*b116*b239 - 184*b116*b240 + 162*b116*b250 - 182*b117*b122
      + 58*b117*b125 - 24*b117*b129 - 168*b117*b154 - 40*b117*b159 - 92*b117*
     b161 + 74*b117*b173 - 44*b117*b175 - 26*b117*b177 - 170*b117*b180 - 176*
     b117*b186 + 162*b117*b193 - 100*b117*b198 - 164*b117*b200 + 30*b117*b201
      - 138*b117*b202 + 68*b117*b220 + 10*b117*b230 - 2*b117*b247 + 146*b118*
     b143 + 168*b118*b144 + 22*b118*b162 - 126*b118*b174 - 10*b118*b181 - 196*
     b118*b194 + 66*b118*b204 + 2*b118*b206 + 64*b118*b209 + 84*b118*b233 - 174
     *b119*b138 + 118*b119*b145 + 184*b119*b151 - 142*b119*b153 - 16*b119*b160
      + 90*b119*b165 + 168*b119*b168 + 176*b119*b207 + 120*b119*b228 - 178*b119
     *b237 + 8*b120*b144 - 128*b120*b151 + 152*b120*b165 - 72*b120*b166 + 62*
     b120*b172 - 32*b120*b197 + 40*b120*b226 - 108*b120*b233 + 54*b120*b234 - 2
     *b120*b248 + 134*b121*b123 + 192*b121*b126 + 196*b121*b127 - 28*b121*b131
      - 120*b121*b136 - 70*b121*b157 - 156*b121*b164 + 158*b121*b170 + 100*b121
     *b181 - 38*b121*b185 + 140*b121*b194 + 20*b121*b199 - 52*b121*b203 + 116*
     b121*b219 - 46*b121*b232 - 36*b121*b242 - 70*b121*b247 + 166*b122*b145 - 4
     *b122*b150 + 132*b122*b160 + 102*b122*b172 + 136*b122*b175 + 144*b122*b179
      - 172*b122*b183 + 6*b122*b192 + 198*b122*b195 + 128*b122*b198 + 30*b122*
     b202 + 74*b122*b207 + 24*b122*b215 + 198*b122*b218 + 164*b122*b247 - 164*
     b123*b128 - 4*b123*b161 - 192*b123*b166 + 146*b123*b170 + 196*b123*b181 + 
     78*b123*b195 - 92*b123*b196 - 62*b123*b232 - 90*b123*b233 + 60*b123*b237
      - 134*b123*b249 + 64*b123*b250 - 146*b123*b251 + 104*b124*b134 - 22*b124*
     b144 - 22*b124*b153 - 148*b124*b184 - 192*b124*b187 + 112*b124*b188 + 118*
     b124*b198 - 62*b124*b230 + 38*b124*b247 - 100*b125*b131 - 50*b125*b136 - 
     90*b125*b138 - 68*b125*b144 + 92*b125*b160 + 194*b125*b173 - 118*b125*b189
      - 72*b125*b195 - 64*b125*b205 + 194*b125*b215 - 146*b125*b226 - 30*b126*
     b132 - 192*b126*b141 - 188*b126*b160 + 86*b126*b163 + 164*b126*b200 - 166*
     b126*b224 - 104*b126*b229 - 178*b126*b230 + 144*b126*b246 + 42*b127*b130
      + 86*b127*b144 - 142*b127*b151 + 92*b127*b156 + 98*b127*b165 - 192*b127*
     b174 - 56*b127*b183 - 176*b127*b192 + 190*b127*b197 - 64*b127*b201 + 136*
     b127*b220 + 188*b127*b240 - 20*b128*b131 + 192*b128*b141 + 184*b128*b144
      + 30*b128*b153 + 132*b128*b159 + 192*b128*b163 - 50*b128*b164 - 66*b128*
     b168 + 154*b128*b180 + 94*b128*b186 + 138*b128*b199 - 24*b128*b201 - 148*
     b128*b224 - 66*b128*b233 - 106*b128*b234 + 16*b128*b250 + 48*b129*b133 + 
     142*b129*b138 - 62*b129*b142 + 2*b129*b167 + 48*b129*b168 + 84*b129*b173
      + 100*b129*b177 - 86*b129*b187 - 16*b129*b205 + 22*b129*b219 + 156*b130*
     b182 + 52*b130*b188 - 8*b130*b202 - 20*b130*b205 + 162*b130*b206 - 36*b130
     *b217 - 26*b130*b219 + 54*b130*b235 + 126*b131*b138 - 194*b131*b145 - 186*
     b131*b148 + 104*b131*b152 + 56*b131*b161 - 36*b131*b165 + 42*b131*b173 + 
     180*b131*b179 - 56*b131*b180 - 94*b131*b187 + 50*b131*b194 - 42*b131*b202
      + 138*b131*b227 - 156*b132*b133 + 154*b132*b134 + 64*b132*b160 + 156*b132
     *b166 - 94*b132*b174 - 158*b132*b181 + 148*b132*b186 - 100*b132*b190 + 172
     *b132*b196 - 12*b132*b212 - 134*b132*b228 + 170*b132*b229 + 80*b133*b153
      + 112*b133*b157 - 140*b133*b158 + 140*b133*b171 - 154*b133*b185 + 190*
     b133*b186 + 86*b133*b209 + 160*b133*b233 + 132*b133*b251 - 126*b134*b149
      - 184*b134*b162 - 108*b134*b165 - 16*b134*b167 + 120*b134*b179 - 144*b134
     *b186 - 198*b134*b188 + 126*b134*b189 + 174*b134*b215 - 64*b134*b223 + 66*
     b134*b239 - 144*b134*b243 - 162*b135*b149 - 8*b135*b175 - 58*b135*b184 + 
     132*b135*b209 - 66*b135*b211 - 34*b135*b221 - 164*b135*b223 - 166*b135*
     b231 - 100*b135*b243 - 154*b135*b251 - 192*b136*b154 + 128*b136*b159 - 172
     *b136*b201 - 154*b136*b210 - 130*b136*b212 - 26*b136*b215 - 66*b136*b221
      + 132*b136*b226 - 22*b136*b228 + 172*b136*b230 + 156*b136*b235 + 8*b136*
     b236 - 82*b136*b242 + 154*b136*b244 - 90*b136*b249 + 80*b137*b138 + 174*
     b137*b158 + 34*b137*b160 + 164*b137*b183 + 36*b137*b185 + 58*b137*b192 + 
     156*b137*b216 - 110*b137*b221 - 26*b137*b242 + 112*b137*b243 + 72*b138*
     b149 - 76*b138*b153 + 142*b138*b165 - 130*b138*b187 - 16*b138*b214 - 138*
     b138*b225 - 88*b138*b232 - 36*b139*b147 - 28*b139*b157 - 20*b139*b172 - 4*
     b139*b181 - 104*b139*b196 + 138*b139*b210 - 162*b139*b214 + 170*b139*b223
      - 82*b139*b228 + 144*b139*b232 - 96*b139*b241 - 110*b139*b251 + 192*b140*
     b146 + 12*b140*b147 + 18*b140*b156 + 120*b140*b165 - 18*b140*b189 + 88*
     b140*b192 + 190*b140*b194 - 44*b140*b206 - 142*b140*b215 - 38*b140*b225 + 
     158*b140*b243 + 184*b140*b246 + 130*b141*b172 - 102*b141*b175 - 48*b141*
     b178 - 196*b141*b198 - 182*b141*b206 - 198*b141*b212 - 140*b141*b214 + 80*
     b141*b215 + 124*b141*b223 + 118*b141*b230 - 88*b141*b243 - 126*b142*b147
      + 162*b142*b178 + 90*b142*b182 - 140*b142*b198 + 42*b142*b205 - 50*b142*
     b206 + 142*b142*b221 + 34*b142*b223 + 6*b142*b224 + 38*b142*b236 - 8*b142*
     b247 + 64*b143*b150 - 38*b143*b175 - 126*b143*b182 - 30*b143*b203 + 16*
     b143*b207 - 44*b143*b208 - 190*b143*b243 + 166*b144*b165 - 46*b144*b180 + 
     8*b144*b202 - 86*b144*b216 - 170*b144*b224 - 142*b144*b230 - 180*b144*b233
      - 42*b144*b238 - 196*b144*b251 - 24*b145*b180 - 112*b145*b186 - 62*b145*
     b205 - 174*b145*b212 - 130*b145*b234 + 74*b145*b237 - 132*b145*b246 + 66*
     b146*b148 + 40*b146*b155 - 150*b146*b163 - 162*b146*b168 - 42*b146*b179 + 
     80*b146*b190 + 176*b146*b213 - 150*b146*b248 - 178*b147*b148 + 98*b147*
     b176 + 124*b147*b198 + 6*b147*b204 + 194*b147*b213 + 58*b147*b227 - 80*
     b148*b149 - 166*b148*b155 - 154*b148*b177 + 58*b148*b193 + 74*b148*b197 + 
     42*b148*b205 + 192*b148*b227 + 122*b148*b231 + 132*b149*b152 + 48*b149*
     b193 + 104*b149*b198 - 14*b149*b200 - 122*b149*b209 + 156*b149*b216 + 196*
     b149*b225 - 2*b149*b232 - 70*b149*b242 - 88*b149*b246 - 68*b150*b151 + 44*
     b150*b173 + 102*b150*b183 - 50*b150*b186 + 42*b150*b190 - 190*b150*b193 + 
     166*b150*b194 - 164*b150*b199 - 110*b150*b202 - 88*b151*b152 + 94*b151*
     b195 - 88*b151*b198 + 42*b151*b216 + 2*b151*b230 + 174*b151*b249 - 46*b152
     *b169 - 114*b152*b171 + 106*b152*b178 + 130*b152*b185 - 86*b152*b188 - 106
     *b152*b193 - 154*b152*b194 - 20*b152*b196 + 110*b152*b197 + 84*b152*b205
      + 116*b152*b208 - 182*b152*b232 + 192*b152*b247 + 58*b153*b154 + 54*b153*
     b160 - 130*b153*b176 + 134*b153*b188 - 150*b153*b249 - 64*b153*b250 - 26*
     b154*b156 + 84*b154*b169 - 166*b154*b213 + 22*b154*b214 - 182*b155*b163 + 
     164*b155*b168 + 118*b155*b179 + 76*b155*b180 + 32*b155*b188 + 104*b155*
     b197 - 80*b155*b204 - 108*b155*b219 - 156*b155*b228 - 70*b155*b245 - 4*
     b155*b251 - 108*b156*b158 - 10*b156*b161 + 160*b156*b165 + 132*b156*b173
      + 94*b156*b186 + 34*b156*b190 + 34*b156*b192 + 192*b156*b200 - 182*b156*
     b209 + 44*b156*b211 - 172*b156*b217 - 24*b156*b220 + 166*b156*b223 - 80*
     b156*b226 + 78*b156*b237 - 16*b157*b180 - 198*b157*b192 + 176*b157*b194 + 
     8*b157*b195 + 118*b157*b208 - 56*b157*b211 - 28*b157*b247 - 44*b158*b160
      - 102*b158*b173 - 116*b158*b181 + 184*b158*b184 + 168*b158*b197 + 54*b158
     *b201 + 100*b158*b204 - 34*b158*b212 + 138*b158*b221 - 110*b158*b243 - 158
     *b159*b188 - 198*b159*b190 + 22*b159*b202 - 6*b159*b210 + 52*b159*b214 - 
     166*b159*b218 + 160*b159*b227 + 98*b159*b238 - 126*b159*b240 + 12*b159*
     b246 - 170*b160*b176 + 78*b160*b180 - 20*b160*b186 - 36*b160*b189 + 62*
     b160*b191 - 44*b160*b199 - 108*b160*b208 - 104*b160*b225 + 22*b160*b228 + 
     24*b160*b240 + 108*b160*b241 - 60*b160*b248 + 102*b161*b168 - 164*b161*
     b176 + 104*b161*b180 + 80*b161*b199 - 158*b161*b205 - 172*b161*b211 + 54*
     b161*b241 - 126*b161*b244 + 166*b162*b165 - 20*b162*b173 + 54*b162*b179 - 
     174*b162*b180 - 8*b162*b181 + 64*b162*b182 - 40*b162*b190 + 58*b162*b194
      + 186*b162*b196 + 62*b162*b197 + 92*b162*b199 + 44*b162*b208 + 134*b162*
     b238 + 154*b162*b240 + 54*b162*b247 + 174*b163*b177 - 86*b163*b178 + 110*
     b163*b193 - 52*b163*b206 + 2*b163*b211 + 50*b163*b216 - 88*b163*b223 - 124
     *b163*b228 + 148*b164*b180 + 184*b164*b181 + 186*b164*b197 - 16*b164*b202
      - 138*b164*b226 - 110*b164*b227 - 132*b164*b244 + 154*b165*b173 + 104*
     b165*b188 - 34*b165*b196 - 194*b165*b198 + 58*b165*b202 - 44*b165*b213 - 
     80*b165*b217 + 168*b165*b219 + 160*b166*b171 + 158*b166*b181 - 178*b166*
     b188 - 112*b166*b210 + 66*b166*b217 - 30*b166*b225 + 76*b166*b231 + 188*
     b166*b233 + 86*b167*b168 + 150*b167*b185 + 52*b167*b192 + 186*b167*b201 - 
     48*b167*b205 - 112*b167*b222 + 180*b167*b250 + 8*b168*b173 + 134*b168*b180
      - 188*b168*b192 + 34*b168*b195 + 68*b168*b211 - 180*b168*b216 + 156*b168*
     b219 - 22*b168*b226 - 98*b168*b234 + 10*b168*b236 + 76*b169*b173 - 2*b169*
     b177 - 92*b169*b201 + 108*b169*b221 - 142*b169*b224 + 174*b169*b238 + 118*
     b169*b241 - 144*b170*b180 + 190*b170*b198 + 172*b170*b200 + 30*b170*b224
      + 136*b170*b236 - 112*b171*b187 - 150*b171*b201 - 158*b171*b206 + 148*
     b171*b208 + 142*b171*b209 + 40*b171*b212 - 8*b171*b214 - 154*b171*b216 + 
     154*b171*b236 + 50*b171*b239 - 66*b171*b242 + 36*b172*b195 + 22*b172*b206
      + 162*b172*b207 + 70*b172*b214 + 12*b172*b244 - 186*b172*b245 + 54*b173*
     b184 + 78*b173*b188 - 122*b173*b191 + 118*b173*b199 - 136*b173*b212 + 154*
     b173*b221 - 6*b173*b226 + 40*b173*b229 + 74*b173*b232 - 140*b173*b242 - 
     136*b174*b179 - 68*b174*b182 - 120*b174*b184 - 174*b174*b191 + 92*b174*
     b214 - 54*b174*b216 - 34*b174*b221 - 34*b174*b222 - 160*b174*b233 - 130*
     b174*b248 - 124*b175*b229 + 42*b175*b242 - 128*b176*b189 + 160*b176*b216
      - 108*b176*b222 + 76*b176*b233 - 150*b176*b243 + 50*b176*b250 + 148*b177*
     b195 + 78*b177*b205 + 36*b177*b208 + 104*b177*b214 - 44*b177*b223 - 56*
     b177*b227 - 38*b177*b229 - 122*b177*b236 + 128*b177*b250 + 38*b177*b251 - 
     20*b178*b199 - 84*b178*b215 + 120*b178*b225 + 64*b178*b243 - 176*b179*b191
      - 188*b179*b204 - 90*b179*b239 + 134*b180*b185 - 16*b180*b191 - 88*b180*
     b196 + 40*b180*b206 - 28*b181*b182 + 174*b181*b207 + 6*b181*b230 - 186*
     b181*b233 - 82*b181*b244 + 66*b182*b187 - 164*b182*b193 + 68*b182*b198 - 
     34*b182*b210 + 92*b182*b231 - 6*b182*b238 + 16*b183*b184 + 152*b183*b187
      - 86*b183*b188 + 172*b183*b206 - 90*b183*b214 - 102*b183*b215 - 116*b183*
     b221 + 156*b183*b229 + 68*b183*b230 + 52*b183*b249 - 102*b183*b250 - 110*
     b184*b189 - 60*b184*b201 - 194*b184*b212 - 54*b184*b216 + 114*b184*b240 - 
     158*b184*b249 - 2*b185*b198 - 110*b185*b201 - 132*b185*b210 + 134*b185*
     b213 - 66*b185*b220 + 6*b185*b224 - 152*b185*b244 - 102*b185*b245 - 46*
     b185*b251 + 16*b186*b198 + 178*b186*b249 + 40*b187*b199 - 112*b187*b203 + 
     70*b187*b220 - 126*b187*b231 - 184*b187*b240 + 72*b187*b247 + 180*b188*
     b193 + 110*b188*b198 - 72*b188*b201 - 196*b188*b204 + 196*b188*b249 - 198*
     b188*b250 + 130*b189*b190 + 168*b189*b204 + 200*b189*b213 + 40*b189*b215
      - 118*b189*b239 + 170*b189*b242 - 154*b189*b246 - 144*b189*b251 - 88*b190
     *b201 - 54*b190*b217 + 186*b190*b235 - 108*b190*b240 - 86*b190*b244 - 34*
     b191*b205 + 134*b191*b213 - 140*b191*b227 - 118*b191*b245 - 12*b191*b246
      + 124*b192*b194 + 128*b192*b197 + 186*b192*b203 - 48*b192*b204 - 20*b192*
     b211 - 70*b192*b225 + 2*b192*b231 + 192*b192*b233 + 108*b192*b234 + 186*
     b192*b244 - 134*b192*b246 - 6*b193*b203 - 182*b193*b211 - 96*b193*b212 + 
     180*b193*b216 - 70*b193*b223 - 12*b193*b234 + 56*b193*b243 + 24*b193*b249
      - 40*b193*b251 + 76*b194*b202 + 12*b194*b205 - 2*b194*b210 - 106*b194*
     b222 - 94*b194*b228 - 118*b194*b233 - 84*b195*b200 - 2*b195*b230 + 34*b195
     *b234 - 112*b195*b237 + 94*b195*b239 - 18*b195*b243 + 126*b196*b199 + 138*
     b196*b212 - 164*b196*b235 + 4*b197*b203 - 80*b197*b216 + 134*b197*b242 + 
     16*b198*b203 - 130*b198*b206 - 142*b198*b235 - 146*b198*b249 - 188*b199*
     b214 + 98*b199*b220 + 92*b199*b229 - 166*b200*b213 + 168*b200*b221 - 76*
     b200*b229 + 16*b200*b242 + 178*b200*b245 - 190*b200*b249 + 176*b201*b209
      + 20*b201*b234 + 8*b201*b240 + 182*b201*b241 - 78*b201*b246 + 26*b201*
     b250 + 112*b202*b211 + 180*b202*b224 - 74*b202*b239 - 190*b202*b245 - 6*
     b203*b205 - 180*b203*b224 + 186*b203*b228 - 102*b203*b246 + 20*b203*b249
      - 26*b204*b209 + 72*b204*b213 + 192*b204*b214 - 118*b204*b224 + 14*b204*
     b249 + 114*b205*b217 - 78*b205*b224 - 84*b205*b232 + 30*b206*b240 - 10*
     b207*b224 - 60*b207*b236 - 14*b207*b249 - 198*b208*b212 + 154*b208*b220 + 
     190*b208*b224 + 60*b208*b226 - 114*b209*b229 - 146*b209*b231 + 66*b209*
     b236 - 148*b209*b241 - 4*b209*b242 - 30*b209*b244 - 6*b210*b215 - 84*b210*
     b224 - 166*b210*b226 + 152*b210*b230 + 148*b210*b246 + 182*b210*b250 - 64*
     b211*b222 + 198*b211*b230 - 130*b211*b231 - 42*b211*b245 - 118*b212*b219
      + 42*b212*b226 + 122*b212*b230 + 16*b212*b234 - 172*b212*b243 + 124*b212*
     b251 - 98*b213*b231 + 96*b213*b247 - 152*b213*b248 - 140*b213*b249 + 122*
     b214*b223 + 136*b214*b236 - 100*b214*b250 - 118*b215*b230 - 60*b215*b232
      - 78*b215*b249 - 132*b216*b241 - 20*b217*b226 - 4*b217*b229 - 162*b217*
     b238 + 176*b217*b249 - 42*b218*b228 - 132*b218*b235 + 34*b219*b230 + 168*
     b220*b222 + 140*b220*b232 - 186*b220*b241 - 182*b220*b247 + 26*b221*b233
      - 88*b221*b244 + 94*b221*b248 - 138*b223*b225 + 168*b223*b234 - 86*b223*
     b240 + 188*b223*b249 + 112*b223*b251 - 154*b224*b229 - 72*b224*b235 + 196*
     b224*b236 - 10*b224*b250 - 160*b225*b231 - 70*b225*b237 + 92*b225*b239 - 
     146*b225*b248 + 82*b226*b234 + 174*b226*b241 + 28*b226*b247 - 156*b227*
     b233 + 150*b227*b237 + 6*b227*b241 - 22*b227*b246 - 146*b228*b232 + 148*
     b229*b232 - 12*b229*b233 + 12*b229*b239 - 2*b230*b232 - 6*b230*b233 - 138*
     b232*b234 - 36*b232*b239 + 112*b232*b242 - 96*b232*b250 - 34*b233*b250 + 
     180*b234*b236 - 80*b234*b247 - 26*b238*b239 - 32*b239*b244 + 130*b240*b242
      - 106*b241*b243 + 190*b241*b248 + 92*b242*b248 - 52*b244*b248 - 164*b244*
     b249 - 20*b245*b248 - 42*b248*b251 - 104*b249*b251 - 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.