$offlisting * * Equation counts * Total E G L N X C B * 2 1 1 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 * 501 251 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,e2; e1.. (-2*b2*b3) - 40*b2*b4 + 10*b2*b5 + 90*b2*b6 - 15*b2*b7 + 10*b2*b8 + 86*b2* b9 - 73*b2*b10 - 97*b2*b11 + 47*b2*b12 - 75*b2*b13 - 95*b2*b14 - 25*b2*b15 - 30*b2*b16 - 52*b2*b17 + 90*b2*b18 + 79*b2*b19 + 92*b2*b20 + 62*b2*b21 - 53*b2*b22 + 70*b2*b23 + 78*b2*b24 + 43*b2*b25 + 43*b3*b7 - 69*b3*b15 - 72*b3*b20 - 11*b3*b26 - 40*b3*b27 - 88*b3*b28 + 65*b3*b29 + 12*b3*b30 + 16 *b3*b31 - 55*b3*b32 - 41*b3*b33 - 4*b3*b34 - 78*b3*b35 - 56*b3*b36 - 20*b3 *b37 + 69*b3*b38 + 81*b3*b39 + 28*b3*b40 + 96*b3*b41 - 71*b3*b42 - 28*b3* b43 + 10*b3*b44 - 69*b3*b45 + 86*b3*b46 - 44*b3*b47 - 51*b3*b48 - 95*b3* b49 - 95*b3*b50 + 32*b3*b51 + 44*b3*b52 + 8*b3*b53 + 16*b3*b54 - 84*b3*b55 - 59*b3*b56 + 48*b4*b11 + 47*b4*b29 - 76*b4*b41 + 64*b4*b57 - 16*b4*b58 + 38*b4*b59 - 73*b4*b60 + 48*b4*b61 + 34*b4*b62 - 67*b4*b63 - 95*b4*b64 + 7*b4*b65 - 30*b4*b66 - 27*b4*b67 - 74*b4*b68 - 54*b4*b69 - 65*b4*b70 - 16*b4*b71 - 20*b4*b72 - 93*b4*b73 + 88*b4*b74 - 61*b4*b75 + 71*b4*b76 - 53 *b4*b77 - 95*b4*b78 + 65*b5*b14 - 54*b5*b26 + 37*b5*b33 - 44*b5*b46 - 3*b5 *b58 + 5*b5*b59 + 33*b5*b64 + 52*b5*b79 - 98*b5*b80 - 4*b5*b81 + 28*b5*b82 + 35*b5*b83 + 56*b5*b84 - 80*b5*b85 + 24*b5*b86 - 20*b5*b87 + 58*b5*b88 + 62*b5*b89 + 29*b5*b90 - 33*b5*b91 + 89*b5*b92 + 63*b5*b93 + 16*b5*b94 - 46*b6*b16 + 89*b6*b22 + 33*b6*b33 - 76*b6*b43 + 45*b6*b52 - 30*b6*b68 + 9*b6*b74 + 26*b6*b90 - 29*b6*b91 - 89*b6*b95 - 97*b6*b96 - 11*b6*b97 + 85*b6*b98 - 14*b6*b99 + 64*b6*b100 + 64*b6*b101 + 89*b6*b102 + 46*b6*b103 - 14*b6*b104 - 68*b6*b105 - 61*b6*b106 - 5*b6*b107 + 59*b6*b108 - 13*b6* b109 + 38*b6*b110 + 54*b6*b111 - 35*b6*b112 + 3*b6*b113 - 49*b6*b114 + 65* b7*b45 + 68*b7*b59 + 67*b7*b61 + 75*b7*b68 - 2*b7*b80 - 71*b7*b103 - 17*b7 *b115 - 50*b7*b116 + 11*b7*b117 - 63*b7*b118 - 2*b7*b119 - 91*b7*b120 - 66 *b7*b121 - 14*b7*b122 - 36*b7*b123 + 92*b7*b124 - 37*b7*b125 + 83*b7*b126 - 51*b8*b9 + 42*b8*b17 + 43*b8*b26 + 60*b8*b42 + 55*b8*b62 + 29*b8*b66 + 100*b8*b68 - 38*b8*b80 - 69*b8*b81 - 12*b8*b84 - 16*b8*b89 - 48*b8*b90 + 5 *b8*b104 - 50*b8*b113 - 2*b8*b115 - 6*b8*b124 + 99*b8*b127 - 66*b8*b128 - 90*b8*b129 - 53*b8*b130 - 79*b8*b131 - 48*b8*b132 - 61*b8*b133 + 91*b8* b134 - 60*b8*b135 + 89*b8*b136 + 54*b8*b137 + 78*b8*b138 - 44*b8*b139 + 97 *b8*b140 + 6*b8*b141 + 21*b9*b13 + 63*b9*b15 + 84*b9*b33 + 62*b9*b50 + 67* b9*b57 + 92*b9*b78 + 44*b9*b104 - 94*b9*b118 + 74*b9*b125 + 32*b9*b142 + 55*b9*b143 + 11*b9*b144 - 56*b9*b145 - 19*b9*b146 + 97*b9*b147 - 64*b9* b148 + 32*b9*b149 - 64*b9*b150 + 6*b9*b151 - 51*b9*b152 + 38*b9*b153 - 29* b10*b25 - 81*b10*b40 + 62*b10*b44 + 52*b10*b46 - 6*b10*b49 + 66*b10*b65 - 82*b10*b72 - 81*b10*b75 + 61*b10*b83 + 95*b10*b92 + 83*b10*b97 - 12*b10* b103 + 96*b10*b106 - 2*b10*b110 - 77*b10*b124 + 63*b10*b126 - 71*b10*b135 + 67*b10*b148 + 56*b10*b154 + 51*b10*b155 + 70*b10*b156 + 75*b10*b157 - 20*b10*b158 - 11*b10*b159 + 79*b10*b160 + 86*b10*b161 - 60*b10*b162 + 48* b10*b163 - 90*b10*b164 - 73*b10*b165 - 61*b10*b166 - 6*b10*b167 - 41*b10* b168 + 19*b10*b169 + 30*b11*b13 - 63*b11*b31 - 92*b11*b39 - 90*b11*b81 - 76*b11*b83 - 94*b11*b89 + 87*b11*b94 - 40*b11*b106 + 32*b11*b116 - 91*b11* b138 - 91*b11*b145 + 37*b11*b152 - 55*b11*b170 - 56*b11*b171 - 58*b11*b172 + 90*b11*b173 - 36*b11*b174 - b11*b175 + 4*b11*b176 + 92*b11*b177 + 52* b11*b178 + b11*b179 - 58*b11*b180 - 80*b12*b24 - 12*b12*b31 + 56*b12*b32 - 57*b12*b36 + 48*b12*b41 - 70*b12*b70 + 10*b12*b87 - 25*b12*b96 + 40*b12 *b108 - 50*b12*b131 - 61*b12*b150 + 20*b12*b170 - 89*b12*b172 - 70*b12* b176 - 81*b12*b181 + 24*b12*b182 + 81*b12*b183 + 55*b12*b184 + 72*b12*b185 + 24*b12*b186 - 33*b12*b187 - 89*b12*b188 - 62*b12*b189 - 74*b13*b15 - 30 *b13*b36 + 10*b13*b56 - 86*b13*b92 - 8*b13*b96 + 64*b13*b97 - 78*b13*b106 + 30*b13*b119 + 45*b13*b122 + 17*b13*b127 + 6*b13*b128 + 66*b13*b160 - 71 *b13*b190 + 82*b13*b191 - 63*b13*b192 + 84*b13*b193 + 43*b13*b194 - 33*b14 *b27 + 5*b14*b30 + 89*b14*b31 + 80*b14*b34 + b14*b48 - 41*b14*b56 + 32*b14 *b70 - 32*b14*b71 + 15*b14*b85 - 30*b14*b102 + 3*b14*b105 - 29*b14*b108 + 67*b14*b122 - 93*b14*b131 - 68*b14*b138 - 33*b14*b141 + 55*b14*b151 - 74* b14*b162 + 84*b14*b164 + 75*b14*b169 + 26*b14*b175 + 82*b14*b190 - 16*b14* b195 + 57*b14*b196 - 59*b14*b197 - 68*b14*b198 + 66*b14*b199 + 64*b14*b200 - 63*b15*b54 - 53*b15*b57 - 96*b15*b59 + 14*b15*b61 - 95*b15*b64 - 28*b15 *b65 + 57*b15*b75 - 16*b15*b82 + 26*b15*b114 - 97*b15*b123 + 30*b15*b126 + 89*b15*b141 - 59*b15*b149 - 25*b15*b156 + 72*b15*b158 + 71*b15*b168 - 55*b15*b175 - 89*b15*b189 - b15*b201 - 57*b15*b202 - 59*b15*b203 - 88*b15* b204 - 54*b15*b205 + 91*b15*b206 - 93*b15*b207 + 6*b16*b20 + 26*b16*b34 - 93*b16*b37 - 78*b16*b45 + 48*b16*b49 - 18*b16*b52 - 28*b16*b65 - 91*b16* b68 + 87*b16*b75 + 63*b16*b76 + 29*b16*b82 - 34*b16*b109 + 100*b16*b111 - 63*b16*b112 - 35*b16*b116 - 60*b16*b117 - b16*b120 + 71*b16*b126 + 92*b16* b127 - 4*b16*b136 - 13*b16*b156 + 44*b16*b162 - 59*b16*b169 - 59*b16*b187 + 63*b16*b208 + b16*b209 - 32*b16*b210 - 73*b16*b211 - 88*b16*b212 + 54* b16*b213 + 61*b17*b33 - 71*b17*b36 - 26*b17*b43 + 52*b17*b53 - 16*b17*b56 + 64*b17*b81 + 7*b17*b93 + 29*b17*b96 - 94*b17*b97 + 8*b17*b112 + 33*b17* b122 + 17*b17*b176 + 8*b17*b178 + 77*b17*b179 + 35*b17*b189 - 51*b17*b198 + 88*b17*b202 - 91*b17*b214 + 93*b17*b215 - 53*b17*b216 - 73*b17*b217 + 24*b17*b218 + 70*b18*b29 - 88*b18*b65 - 48*b18*b69 + 2*b18*b78 + 70*b18* b99 - 54*b18*b127 - 3*b18*b131 + 57*b18*b135 + 29*b18*b143 - 43*b18*b144 + 9*b18*b186 + 22*b18*b209 - 29*b18*b210 - 92*b18*b215 - 84*b18*b219 - 46 *b18*b220 + 45*b19*b37 - 20*b19*b38 - 76*b19*b45 - 11*b19*b52 - 38*b19*b58 - 71*b19*b64 + 33*b19*b71 - 63*b19*b72 + 62*b19*b115 - 49*b19*b124 - 69* b19*b143 + 44*b19*b155 + 21*b19*b173 + 50*b19*b183 - 68*b19*b216 - 6*b19* b217 + 43*b19*b221 + 30*b19*b222 - 18*b20*b41 - 41*b20*b73 - 47*b20*b76 - 42*b20*b81 + 40*b20*b82 - 67*b20*b99 + 49*b20*b106 - 56*b20*b108 - 34*b20* b122 - b20*b140 - 55*b20*b142 + 10*b20*b146 + 17*b20*b163 + 10*b20*b199 - 26*b20*b205 + b20*b207 - 4*b20*b223 - 8*b20*b224 + 29*b20*b225 - 97*b20* b226 + 48*b21*b43 + 71*b21*b49 - 53*b21*b50 + 47*b21*b58 - 98*b21*b67 - 45 *b21*b68 - 51*b21*b83 + 95*b21*b87 + 99*b21*b95 - 95*b21*b96 - 86*b21*b112 + 14*b21*b130 - 22*b21*b133 + 26*b21*b140 + 54*b21*b142 + 69*b21*b157 - 98*b21*b164 + 77*b21*b168 - 73*b21*b185 - 74*b21*b218 + 100*b21*b227 + 71* b21*b228 - 99*b21*b229 - 44*b22*b29 - 81*b22*b48 + 94*b22*b63 + 36*b22*b70 + 72*b22*b78 - 96*b22*b94 + 14*b22*b105 + 45*b22*b113 - 55*b22*b115 + 11* b22*b116 - 43*b22*b119 - 65*b22*b131 - 49*b22*b138 + 5*b22*b145 - 50*b22* b149 + 78*b22*b153 + 12*b22*b173 + 89*b22*b187 + 19*b22*b188 + 56*b22*b225 + 32*b22*b229 - 80*b22*b230 + 40*b22*b231 + 45*b22*b232 + 12*b23*b31 + 81 *b23*b34 - 59*b23*b36 + 71*b23*b45 - 14*b23*b54 - 5*b23*b57 + 25*b23*b61 - 76*b23*b62 - 48*b23*b68 + 50*b23*b74 - 40*b23*b76 - 72*b23*b118 - 22* b23*b123 - 5*b23*b125 + 99*b23*b134 - 36*b23*b137 - 63*b23*b141 + 8*b23* b153 + 57*b23*b160 - 72*b23*b162 - 74*b23*b167 + 55*b23*b190 + 17*b23*b193 - 69*b23*b194 + 66*b23*b199 + 60*b23*b203 + 74*b23*b222 - 95*b23*b232 + 97*b24*b25 + 59*b24*b33 + 38*b24*b37 + 86*b24*b46 + 39*b24*b51 - 83*b24* b52 + 56*b24*b66 + 56*b24*b78 + 12*b24*b96 - 65*b24*b104 - 28*b24*b114 - 90*b24*b115 + 63*b24*b125 + 35*b24*b126 + 75*b24*b135 + 38*b24*b137 - 91* b24*b150 + 65*b24*b152 - 15*b24*b160 + 46*b24*b173 - 61*b24*b176 - 17*b24* b184 + 54*b24*b196 - 61*b24*b200 + 23*b24*b216 - 70*b24*b223 - 57*b24*b225 - 18*b24*b233 + 95*b25*b26 - 93*b25*b45 + 15*b25*b49 + 59*b25*b51 + 29* b25*b76 + 60*b25*b89 + 60*b25*b97 - 55*b25*b109 + 41*b25*b121 - 56*b25* b147 - 99*b25*b172 - 30*b25*b173 + 44*b25*b182 + 32*b25*b186 - 95*b25*b189 - 79*b25*b213 - 49*b25*b230 + 9*b25*b234 - 88*b25*b235 + 95*b26*b27 + 68* b26*b28 + 35*b26*b29 - 16*b26*b30 + 59*b26*b31 + 77*b26*b32 - 87*b26*b57 - 76*b26*b58 + 17*b26*b79 + 76*b26*b80 + 46*b26*b95 + 93*b26*b115 - 71* b26*b116 + 74*b26*b127 + 80*b26*b128 + 76*b26*b129 + 2*b26*b142 + 84*b26* b143 + 32*b26*b154 + 35*b26*b155 - 16*b26*b156 - 28*b26*b170 + 59*b26*b214 + 28*b26*b215 - 51*b26*b236 - 22*b26*b237 + 83*b26*b238 - 38*b26*b239 + 15*b27*b30 - 58*b27*b41 + 27*b27*b53 + 95*b27*b65 + 89*b27*b88 + 80*b27* b96 + 29*b27*b103 + 21*b27*b108 + 59*b27*b123 - 92*b27*b141 - 57*b27*b180 - 57*b27*b182 - 37*b27*b183 + 40*b27*b187 - 79*b27*b199 - 61*b27*b204 + 96*b27*b205 - 7*b27*b213 + 50*b27*b217 - 54*b27*b221 - 11*b27*b223 + 47* b27*b236 - 64*b27*b240 - 19*b27*b241 - 18*b27*b242 - 70*b28*b34 - 38*b28* b48 + 32*b28*b51 - 21*b28*b55 - 35*b28*b62 - 32*b28*b65 - 98*b28*b72 - 56* b28*b77 - 44*b28*b78 - 37*b28*b80 - 16*b28*b85 - 32*b28*b87 - 31*b28*b122 - 96*b28*b136 - 91*b28*b142 + 70*b28*b157 - 93*b28*b162 + 30*b28*b164 - 7 *b28*b194 - 51*b28*b196 + 20*b28*b207 - 7*b28*b212 - 92*b28*b213 - 67*b28* b224 - 55*b28*b232 + 79*b28*b242 + 54*b28*b243 + 49*b28*b244 + 14*b29*b39 - 95*b29*b42 + 11*b29*b44 + 16*b29*b57 + 28*b29*b67 + 75*b29*b97 - 46*b29 *b118 + 22*b29*b123 - 87*b29*b131 + 96*b29*b135 - 23*b29*b143 + 68*b29* b146 - 87*b29*b153 - 16*b29*b154 + 90*b29*b157 - 89*b29*b175 - 46*b29*b183 - 8*b29*b184 - 42*b29*b198 + 45*b29*b200 - 83*b29*b224 + 11*sqr(b30) + 49 *b30*b32 + b30*b37 + 10*b30*b40 - 61*b30*b52 - 72*b30*b66 - 86*b30*b69 - 83*b30*b75 + 7*b30*b80 + 49*b30*b91 - 94*b30*b101 + 3*b30*b124 - 68*b30* b136 + 6*b30*b179 - 87*b30*b180 - 30*b30*b185 - 87*b30*b201 + 45*b30*b206 + 51*b30*b208 + 41*b30*b212 + 41*b30*b214 + 94*b30*b220 + 57*b30*b243 + 65*b30*b245 + 70*b31*b56 + b31*b61 - 65*b31*b67 - 37*b31*b75 + 18*b31*b94 + 61*b31*b95 - 92*b31*b97 - 56*b31*b99 - 44*b31*b106 + 39*b31*b107 + 79* b31*b115 - 34*b31*b126 + 81*b31*b138 + 59*b31*b151 + 77*b31*b161 + 47*b31* b162 - 59*b31*b190 + 49*b31*b218 + 62*b31*b244 + 41*b31*b246 + 80*b32*b41 - 52*b32*b44 + 46*b32*b52 + 20*b32*b57 - 3*b32*b58 + 26*b32*b64 - 20*b32* b72 + 92*b32*b78 + 25*b32*b83 - 61*b32*b85 + 35*b32*b95 + 28*b32*b100 + 14 *b32*b132 - 11*b32*b137 - 47*b32*b139 + 18*b32*b187 + 67*b32*b196 + 74*b32 *b197 - 88*b32*b200 + 49*b32*b208 + 11*b32*b210 + 39*b32*b212 + 75*b32* b216 + 81*b32*b226 - 94*b32*b236 + 9*b32*b238 + 64*b33*b37 - 82*b33*b53 + 36*b33*b55 - 46*b33*b56 + 60*b33*b61 - 54*b33*b72 - 11*b33*b82 + 39*b33* b91 + 10*b33*b93 - 25*b33*b94 + 81*b33*b100 + 12*b33*b122 - 72*b33*b135 - 73*b33*b137 - 63*b33*b142 + 10*b33*b148 - 47*b33*b152 - 59*b33*b153 - 75* b33*b156 - 88*b33*b164 + 90*b33*b171 + 74*b33*b187 - 41*b33*b192 + 29*b33* b203 + 93*b33*b223 + 18*b34*b47 + 9*b34*b50 - 34*b34*b53 + 68*b34*b58 + 33 *b34*b70 + 47*b34*b76 - 2*b34*b83 + 35*b34*b86 - 3*b34*b92 - 54*b34*b96 - 63*b34*b127 - 60*b34*b141 - 20*b34*b145 + 14*b34*b146 + 24*b34*b159 - 5* b34*b165 - 25*b34*b171 - 92*b34*b185 - 75*b34*b195 + 97*b34*b200 + 40*b34* b207 - 20*b34*b219 - 4*b34*b221 + 5*b35*b42 + 10*b35*b61 - 54*b35*b77 - 16 *b35*b98 + 45*b35*b117 - 20*b35*b119 - 67*b35*b121 - 72*b35*b122 + 35*b35* b125 + 70*b35*b128 - 48*b35*b129 + 21*b35*b131 + 2*b35*b132 - 48*b35*b144 - 18*b35*b171 - 79*b35*b172 + 42*b35*b173 + 43*b35*b175 + 30*b35*b179 - 12*b35*b188 + 38*b35*b221 - 75*b35*b231 + 16*b35*b247 + 87*b36*b49 + 100* b36*b59 + 48*b36*b79 + 48*b36*b97 - 90*b36*b125 - 11*b36*b141 + 37*b36* b143 + 2*b36*b165 + 76*b36*b170 + 8*b36*b171 + 19*b36*b172 - 62*b36*b196 + 13*b36*b204 + 98*b36*b207 - 77*b36*b209 + 15*b36*b218 + 89*b36*b236 - 55*b36*b245 + 90*b37*b48 - 89*b37*b53 - 93*b37*b59 - 26*b37*b61 + 78*b37* b78 - 17*b37*b88 + 18*b37*b91 - 57*b37*b93 + 28*b37*b94 - 54*b37*b122 + 45 *b37*b134 - 16*b37*b171 - 62*b37*b181 - 45*b37*b182 + 72*b37*b188 - 61*b37 *b189 + 76*b37*b224 - 82*b37*b228 + 96*b37*b248 - 70*b38*b41 + 45*b38*b60 + 87*b38*b66 - 58*b38*b80 - 94*b38*b90 - 17*b38*b92 + 2*b38*b98 - 97*b38* b100 + 88*b38*b112 + 3*b38*b131 - 67*b38*b135 - 72*b38*b142 + 69*b38*b148 - 99*b38*b155 - 92*b38*b156 + 30*b38*b168 + 86*b38*b171 + 34*b38*b180 + 83*b39*b59 + 83*b39*b61 - 17*b39*b82 - 22*b39*b83 + 68*b39*b84 + 74*b39* b119 - 30*b39*b128 + 62*b39*b132 + 8*b39*b145 + 80*b39*b156 + 42*b39*b158 - 24*b39*b159 - 87*b39*b182 + 16*b39*b190 + 46*b39*b195 - 83*b39*b201 + 37*b39*b215 + 100*b39*b223 - 93*b40*b42 - 57*b40*b59 - 78*b40*b63 + 3*b40* b88 + 12*b40*b93 + 3*b40*b94 + 41*b40*b95 - 11*b40*b102 - 44*b40*b136 + 97 *b40*b143 + 71*b40*b149 + 79*b40*b157 + 58*b40*b182 + 85*b40*b185 + 81*b40 *b220 + 6*b40*b227 + 29*b40*b230 - 44*b40*b236 - 37*b40*b240 - 12*b40*b241 + 58*b41*b45 + 58*b41*b58 - 48*b41*b60 - 47*b41*b63 + 45*b41*b66 - 29*b41 *b68 + 30*b41*b92 + 11*b41*b105 - 60*b41*b110 + 58*b41*b115 + 4*b41*b116 + 72*b41*b124 + 81*b41*b133 + 93*b41*b146 - 3*b41*b166 + 91*b41*b167 - 19 *b41*b175 + 26*b41*b184 + 35*b41*b208 + 47*b41*b226 - 94*b41*b227 + 82*b41 *b232 + 98*b41*b239 + 90*b42*b49 + 48*b42*b70 - 9*b42*b79 - 85*b42*b81 + 78*b42*b89 - 54*b42*b97 - 53*b42*b99 + 9*b42*b112 + 98*b42*b116 - 41*b42* b129 + 43*b42*b139 - 74*b42*b148 - 56*b42*b154 - 66*b42*b157 + 36*b42*b168 - 11*b42*b184 + 81*b42*b203 - 77*b42*b218 + 52*b42*b227 - 45*b42*b236 + 72*b42*b237 + 67*sqr(b43) - 37*b43*b56 + 53*b43*b65 + 3*b43*b66 + 82*b43* b84 + 81*b43*b86 - 62*b43*b93 + 34*b43*b126 + 13*b43*b145 + 31*b43*b149 + 61*b43*b160 - 18*b43*b180 + 26*b43*b187 + 56*b43*b190 + 67*b43*b192 - 56* b43*b194 - 37*b43*b195 - 61*b43*b196 + 4*b43*b228 - 78*b43*b246 + 99*b44* b47 - 60*b44*b48 + 37*b44*b51 - 96*b44*b52 + 27*b44*b61 + 73*b44*b73 + 90* b44*b74 - 18*b44*b95 + 82*b44*b108 - 20*b44*b116 + 19*b44*b136 + 49*b44* b147 + 28*b44*b151 + 31*b44*b173 + 35*b44*b178 - 75*b44*b184 - 66*b44*b186 + 25*b44*b190 + 96*b44*b199 + 37*b44*b203 + 30*b44*b205 - 57*b44*b213 - 86*b44*b216 - 41*b44*b217 - 97*b44*b237 - 81*b44*b239 + 39*b45*b51 - 91* b45*b67 - 52*b45*b76 + 54*b45*b85 - 49*b45*b100 + 37*b45*b109 - 64*b45* b110 + 52*b45*b116 + 61*b45*b117 + 48*b45*b119 - 76*b45*b128 + 76*b45*b134 + 94*b45*b138 - 62*b45*b149 - 24*b45*b169 + 66*b45*b181 + 88*b45*b198 - 98*b45*b228 + 89*b45*b231 - 42*b45*b239 + 72*b45*b246 - 63*b45*b249 - 28* b45*b250 + 52*b46*b48 + 11*b46*b56 - 86*b46*b60 - 64*b46*b72 - 84*b46*b84 + 86*b46*b91 - 34*b46*b92 + 26*b46*b94 + 12*b46*b121 - 32*b46*b125 + 37* b46*b127 + 46*b46*b137 - 98*b46*b138 + 73*b46*b146 + 75*b46*b148 - 97*b46* b149 - 44*b46*b163 - 57*b46*b170 + 63*b46*b201 - 91*b46*b224 - 40*b46*b225 - 17*b46*b237 - 31*b46*b241 - 19*b47*b53 + 16*b47*b56 - 35*b47*b59 + 88* b47*b72 - 27*b47*b75 + 20*b47*b78 + 11*b47*b81 - 42*b47*b87 + 63*b47*b111 + 21*b47*b123 - 72*b47*b127 - 91*b47*b152 - 10*b47*b153 + 52*b47*b205 + 97*b47*b206 - 87*b47*b212 + 83*b47*b222 - 35*b47*b234 + 19*b47*b245 - 70* b47*b246 + 37*b48*b51 - 96*b48*b57 + 79*b48*b64 - 80*b48*b68 + 49*b48*b76 - 40*b48*b102 + 48*b48*b112 + 69*b48*b123 + 47*b48*b125 - 8*b48*b133 - 49 *b48*b157 + 49*b48*b158 - 21*b48*b164 - 32*b48*b166 + 46*b48*b181 - 4*b48* b199 - 86*b48*b212 - 41*b48*b213 + 14*b48*b226 + 99*b48*b243 + 99*b48*b247 + 100*sqr(b49) - 44*b49*b50 - 67*b49*b52 + 6*b49*b59 - 46*b49*b61 + 78* b49*b72 - 39*b49*b76 - 77*b49*b105 + 98*b49*b140 + 85*b49*b151 + 51*b49* b156 + 67*b49*b157 - 46*b49*b159 - 4*b49*b170 - 73*b49*b175 + 38*b49*b190 + 75*b49*b191 - 86*b49*b195 - 63*b49*b198 - 22*b49*b206 + 68*b49*b208 - 20*b49*b220 + 80*b49*b232 + 89*b49*b237 + 17*b49*b249 - 12*sqr(b50) + 31* b50*b60 - 62*b50*b62 - 93*b50*b63 - 48*b50*b70 + 37*b50*b108 - 91*b50*b120 + 64*b50*b124 - 11*b50*b134 - 38*b50*b135 + 12*b50*b140 - 80*b50*b151 + 85*b50*b169 - 79*b50*b174 - 8*b50*b184 - 48*b50*b190 - 20*b50*b192 - 13* b50*b195 + 13*b50*b203 - 84*b50*b208 + 17*b50*b211 + 100*b50*b212 + 7*b50* b222 + 87*b50*b250 - 80*b51*b52 - 12*b51*b64 + 73*b51*b73 - 66*b51*b77 + 43*b51*b82 + 2*b51*b106 + 51*b51*b109 + 68*b51*b130 - 32*b51*b139 - 33*b51 *b163 - 2*b51*b175 + 23*b51*b184 - 46*b51*b195 - 98*b51*b199 + 35*b51*b207 + 50*b51*b231 + 30*b52*b59 - 12*b52*b61 - 74*b52*b65 - 7*b52*b83 - 27*b52 *b91 - 8*b52*b97 + 91*b52*b108 - 47*b52*b123 - 69*b52*b139 - 93*b52*b149 - 59*b52*b160 - 51*b52*b164 - 25*b52*b168 + 73*b52*b169 - 33*b52*b194 - 79*b52*b198 - 47*b52*b226 + 92*b52*b238 + 26*b52*b251 - sqr(b53) + 76*b53* b54 - 43*b53*b75 - 98*b53*b79 - 78*b53*b124 + 91*b53*b144 - 75*b53*b155 - 79*b53*b156 - 44*b53*b177 - 18*b53*b183 + 63*b53*b200 - 73*b53*b207 + 8* b53*b208 + 66*b53*b218 + 30*b53*b225 - 97*b53*b228 - 63*b53*b231 + 54*b53* b243 + 27*b54*b60 - 22*b54*b63 + 74*b54*b70 + 43*b54*b85 + 48*b54*b103 - 83*b54*b111 + 25*b54*b118 - 59*b54*b119 - 26*b54*b129 + 60*b54*b143 + 99* b54*b156 + 43*b54*b157 - 30*b54*b167 - 32*b54*b173 - 76*b54*b184 + 28*b54* b201 - 53*b54*b206 + 34*b54*b214 - 98*b54*b215 - 97*b54*b221 - 16*b54*b249 - 36*sqr(b55) + 2*b55*b65 - 88*b55*b68 - 67*b55*b72 + 40*b55*b87 + 5*b55* b89 + 78*b55*b98 + 83*b55*b108 + 90*b55*b127 + 4*b55*b149 - 36*b55*b162 + 57*b55*b198 - 34*b55*b203 + 53*b55*b205 + 70*b55*b209 - 10*b55*b222 - 8* b55*b240 + 32*b56*b88 + 15*b56*b91 - 13*b56*b95 - 94*b56*b96 - 51*b56*b102 + 96*b56*b115 + 48*b56*b140 - 56*b56*b141 - 7*b56*b142 + 25*b56*b144 + 61 *b56*b155 - 73*b56*b161 + 52*b56*b176 - 82*b56*b180 + 20*b56*b181 - 12*b56 *b190 + 81*b56*b199 + 69*b56*b205 - 3*b56*b212 - 48*b56*b232 + 60*b56*b234 - 40*b56*b242 - 7*b56*b248 + 76*b56*b251 + 79*b57*b58 - 77*b57*b64 - 97* b57*b65 - 81*b57*b66 - 15*b57*b67 + 61*b57*b68 + 94*b57*b87 + 49*b57*b116 + 97*b57*b121 + 94*b57*b132 + 14*b57*b133 + 6*b57*b143 - 59*b57*b156 + 73 *b57*b161 - 95*b57*b176 - 77*b57*b177 - 66*b57*b191 - 61*b57*b204 - 22*b57 *b209 - 93*b57*b238 + 19*b57*b243 - 42*b58*b59 - 57*b58*b61 - 2*b58*b62 + 5*b58*b70 - 13*b58*b101 - 8*b58*b105 - 64*b58*b110 + 39*b58*b131 + 91*b58* b134 - 84*b58*b137 - 88*b58*b141 - 34*b58*b194 + 52*b58*b207 - 90*b58*b222 + 59*b58*b225 - 91*b58*b240 + 92*b58*b244 + 50*b58*b248 + 33*b59*b68 + 28 *b59*b78 - 85*b59*b90 - 19*b59*b97 + 91*b59*b118 - b59*b121 + 62*b59*b124 - 26*b59*b127 - 98*b59*b137 - 40*b59*b150 - 64*b59*b163 - 84*b59*b171 + 54*b59*b183 + 25*b59*b188 + 86*b59*b189 - 10*b59*b228 + 74*b59*b237 + 2* b60*b65 + 43*b60*b112 - 19*b60*b115 + 70*b60*b124 - 64*b60*b127 - 78*b60* b140 + 24*b60*b165 - 87*b60*b169 + 16*b60*b171 + 15*b60*b174 - 38*b60*b177 + 56*b60*b185 + 82*b60*b211 + 12*b60*b222 + 50*b60*b228 + 16*b60*b233 + 52*b60*b243 + 81*b60*b244 - 57*b60*b249 - 38*b60*b250 - 70*b61*b102 + 29* b61*b104 + 88*b61*b114 - 66*b61*b132 - 35*b61*b144 - 21*b61*b169 - 24*b61* b173 - 91*b61*b174 - 5*b61*b177 - 16*b61*b181 + 54*b61*b195 - 66*b61*b196 - 32*b61*b218 + 25*b61*b220 - 45*b61*b230 - 87*b61*b231 - 44*b61*b244 + 12*b61*b246 - 80*b61*b251 - 47*b62*b69 + 70*b62*b76 + 12*b62*b77 - 96*b62* b79 - 16*b62*b92 - 88*b62*b93 - 94*b62*b119 - 96*b62*b158 - 75*b62*b180 - 99*b62*b181 + 89*b62*b187 + 15*b62*b196 - 99*b62*b227 - 70*b62*b233 + 78* b62*b235 - 26*b62*b242 + 20*b62*b244 - 80*b63*b74 + 85*b63*b93 + 98*b63* b96 + 35*b63*b129 - 7*b63*b130 + 81*b63*b146 + 69*b63*b162 + 3*b63*b164 + 15*b63*b190 + 10*b63*b214 + 24*b63*b227 - 82*b63*b236 + 85*b63*b238 + 37* b63*b245 - 87*b63*b251 - 96*b64*b73 + 79*b64*b111 - 27*b64*b113 + 69*b64* b120 + 24*b64*b131 - 34*b64*b133 - 7*b64*b134 - 47*b64*b137 - 66*b64*b139 - 33*b64*b140 - 28*b64*b141 - 86*b64*b145 + 27*b64*b157 + 23*b64*b176 - 26*b64*b180 - 74*b64*b186 + 32*b64*b187 - 13*b64*b188 + 34*b64*b189 + 26* b64*b215 + 2*b64*b231 - 88*b65*b76 + 42*b65*b80 - 47*b65*b99 + 16*b65*b107 + 96*b65*b142 - 30*b65*b145 + 6*b65*b148 + 73*b65*b151 + 9*b65*b152 + 32* b65*b153 + 100*b65*b163 - 2*b65*b165 - 67*b65*b172 + 10*b65*b174 + 12*b65* b185 - 10*b65*b204 - 58*b65*b208 - 4*b65*b230 + 29*b65*b232 - 58*b65*b236 + 77*b66*b77 + 91*b66*b79 + 97*b66*b80 + 66*b66*b89 + 76*b66*b100 - 16* b66*b115 - 65*b66*b135 - 48*b66*b139 + 13*b66*b142 + 20*b66*b164 + b66* b176 - 97*b66*b199 - 46*b66*b212 + 18*b66*b217 + 81*b66*b229 + 2*b66*b232 - 59*b66*b249 - 79*b67*b71 - 61*b67*b77 + 94*b67*b89 + 96*b67*b90 - 20* b67*b113 - 7*b67*b123 - 73*b67*b127 + 35*b67*b143 + 70*b67*b163 + 11*b67* b167 - 3*b67*b172 + 53*b67*b175 - 59*b67*b183 - 36*b67*b203 + 77*b67*b204 + 21*b67*b207 - 36*b67*b217 - 41*b67*b219 - 65*b67*b222 - 91*b67*b231 - 9 *b67*b232 - 9*b67*b246 - 87*b67*b251 + 45*b68*b87 - 85*b68*b97 + 63*b68* b100 - 97*b68*b101 + 84*b68*b122 - 77*b68*b133 + 61*b68*b142 + 52*b68*b217 - 51*b68*b242 - 47*b68*b248 - 32*b69*b72 - 36*b69*b90 + 97*b69*b95 - 83* b69*b101 - 37*b69*b106 - 26*b69*b122 - 23*b69*b164 + 61*b69*b185 - 87*b69* b206 - 75*b69*b224 + 58*b69*b231 - 71*b69*b244 + 87*b69*b248 + 83*b70*b82 + 89*b70*b91 - 80*b70*b112 + 61*b70*b121 - 12*b70*b133 + 50*b70*b160 - 49 *b70*b176 + 7*b70*b185 + 97*b70*b192 + 28*b70*b193 + 44*b70*b198 + 29*b70* b209 - 59*b70*b220 + 73*b70*b228 - 63*b70*b239 - 11*b70*b242 - 47*b71*b72 - 89*b71*b75 - 46*b71*b91 - 42*b71*b97 + 4*b71*b105 - 48*b71*b116 + 73* b71*b138 + 31*b71*b144 + 67*b71*b152 + 15*b71*b162 + 83*b71*b175 - 32*b71* b188 + 74*b71*b199 - 77*b71*b214 - 24*b71*b241 + 26*b71*b247 - 43*b72*b75 + 100*b72*b81 - 75*b72*b90 + 4*b72*b98 - 43*b72*b99 - 22*b72*b101 - 72* b72*b117 + 2*b72*b130 - 98*b72*b147 - 12*b72*b149 - 92*b72*b151 + 66*b72* b168 - 58*b72*b185 - 81*b72*b199 + 63*b72*b224 - 12*b72*b243 - 37*b72*b245 + 96*b73*b74 + 74*b73*b76 - 67*b73*b107 + 43*b73*b108 - 40*b73*b113 - 50* b73*b121 - 94*b73*b125 + 71*b73*b131 + 54*b73*b134 + 39*b73*b136 + 41*b73* b142 - 70*b73*b144 - 11*b73*b146 + 86*b73*b149 + 49*b73*b152 + 93*b73*b173 - 31*b73*b182 + 34*b73*b193 + 12*b73*b196 + 51*b73*b197 + 28*b73*b211 + 11*b73*b222 + 95*b73*b230 + 89*b73*b234 - 44*b73*b251 - 75*b74*b83 + 60* b74*b98 + 98*b74*b99 - 70*b74*b102 + 65*b74*b104 + 56*b74*b116 - 85*b74* b117 - 87*b74*b118 - 55*b74*b119 + 85*b74*b122 + 66*b74*b140 - 21*b74*b148 - 91*b74*b153 + 22*b74*b172 - 28*b74*b182 + 36*b74*b186 - 28*b74*b189 + 12*b74*b197 - 49*b74*b199 - 52*b74*b207 + 33*b74*b210 + 77*b74*b222 + 23* b74*b232 + 85*b74*b247 - 76*b75*b79 + 52*b75*b89 - 68*b75*b110 - 4*b75* b111 + 93*b75*b121 - 84*b75*b122 - 74*b75*b124 - 20*b75*b126 - 61*b75*b127 - 25*b75*b152 - 95*b75*b159 - 81*b75*b163 - 94*b75*b181 - 20*b75*b201 - 62*b75*b215 + 88*b75*b217 - 67*b75*b225 - 90*b75*b231 - 63*b75*b236 + 87* b75*b250 + 20*b76*b78 + 64*b76*b85 - 22*b76*b96 + 66*b76*b99 - 98*b76*b106 + 76*b76*b116 + 57*b76*b122 - 57*b76*b126 - 7*b76*b130 + 57*b76*b144 - 35 *b76*b162 - 68*b76*b175 + 55*b76*b177 - 60*b76*b198 - 97*b76*b200 - 94*b76 *b201 + 32*b76*b203 + 41*b76*b215 - 87*b76*b224 + 10*b76*b240 - 30*b76* b245 + 35*b77*b81 - 7*b77*b93 + 46*b77*b95 + 77*b77*b96 + 40*b77*b102 + 9* b77*b108 - b77*b124 - 65*b77*b129 - 3*b77*b138 - 66*b77*b169 + 15*b77*b213 + 7*b77*b220 + 68*b77*b229 + 51*b77*b251 + 70*b78*b96 + 5*b78*b114 + 43* b78*b126 + 93*b78*b131 - 41*b78*b162 - 98*b78*b176 + 3*b78*b191 - 6*b78* b199 + 67*b78*b204 + 94*b78*b207 - 28*b78*b222 - 61*b78*b238 + 85*b78*b250 - 42*b79*b93 - 17*b79*b100 + 53*b79*b108 + 57*b79*b137 - 59*b79*b146 + 62 *b79*b158 + 36*b79*b165 + 97*b79*b173 + 58*b79*b187 + 59*b79*b191 + 12*b79 *b193 - 83*b79*b197 + 81*b79*b199 - 69*b79*b201 - 30*b79*b207 - 22*b79* b223 - 5*b79*b226 - 30*b79*b231 - 99*b79*b238 - 78*b79*b246 - 88*b80*b100 - 27*b80*b104 + 69*b80*b114 - 96*b80*b128 - 43*b80*b139 + 28*b80*b148 - 47*b80*b149 + 5*b80*b162 - 78*b80*b171 + 59*b80*b209 - 15*b80*b218 + 61* b80*b219 + 42*b80*b220 - 62*b81*b92 + 30*b81*b98 - 14*b81*b105 + 33*b81* b132 + 81*b81*b140 - 28*b81*b142 + 27*b81*b149 + 30*b81*b156 - 30*b81*b171 + 69*b81*b173 + 10*b81*b179 - 27*b81*b183 + 10*b81*b191 - 56*b81*b193 + 33*b81*b198 - 80*b81*b206 - 52*b81*b212 + 15*b81*b213 - 18*b81*b217 + 68* b81*b220 + 18*b81*b233 + 8*b81*b244 - 70*sqr(b82) + 99*b82*b92 - 45*b82* b97 + 93*b82*b109 - 58*b82*b111 - 88*b82*b131 - 79*b82*b138 + 62*b82*b143 + 41*b82*b147 - 54*b82*b155 - 55*b82*b159 - 17*b82*b168 + 97*b82*b182 - 59*b82*b201 + 56*b82*b204 + 68*b82*b212 - 68*b82*b215 + 45*b82*b221 + 71* b82*b222 + 7*b82*b234 - 12*b83*b102 + 17*b83*b108 + 37*b83*b118 - 53*b83* b127 + 12*b83*b128 + 99*b83*b139 + 53*b83*b149 - 18*b83*b156 + 74*b83*b157 + 91*b83*b169 + 80*b83*b182 - 29*b83*b191 + 33*b83*b223 + 65*b83*b224 - 60*b83*b227 - 32*b83*b228 + 14*b83*b232 + 25*b83*b238 - 39*b84*b87 + 6*b84 *b89 - 15*b84*b112 - 97*b84*b146 - 85*b84*b163 + 96*b84*b165 + 33*b84*b166 - 39*b84*b175 + 96*b84*b189 - 97*b84*b202 - 12*b84*b204 - 16*b84*b222 + 10*b84*b238 - 15*b84*b240 + 71*b84*b243 + 80*b84*b246 + 23*b85*b86 - 28* b85*b97 - 3*b85*b104 + 84*b85*b109 + 51*b85*b134 + 25*b85*b139 + 21*b85* b154 - 80*b85*b163 - 68*b85*b166 - 22*b85*b172 - 64*b85*b179 - 11*b85*b184 + 12*b85*b207 + 32*b85*b227 + 85*b85*b233 + 29*b85*b244 + 47*b85*b250 - 53*b86*b90 - 3*b86*b92 + 78*b86*b93 - 3*b86*b96 + 61*b86*b104 - 10*b86* b105 + 28*b86*b111 + 77*b86*b137 + 41*b86*b145 + 98*b86*b157 - 5*b86*b160 - 66*b86*b162 + 30*b86*b164 - 53*b86*b173 - 79*b86*b182 + 66*b86*b198 + 7 *b86*b208 - 22*b86*b230 + 57*b86*b248 + 35*b86*b250 - 13*b86*b251 + 59*b87 *b87 + 92*b87*b101 - 48*b87*b134 - 24*b87*b154 - 31*b87*b175 + 26*b87*b187 + 47*b87*b193 - 59*b87*b201 - 82*b87*b210 - 59*b87*b236 - 49*b87*b242 + 27*b87*b244 - 27*b87*b248 + 63*b87*b249 - 94*b88*b93 - 70*b88*b113 + 43* b88*b114 - 63*b88*b116 + 5*b88*b130 - 33*b88*b153 - 97*b88*b168 - 6*b88* b174 - 98*b88*b175 + 86*b88*b180 + 90*b88*b187 - 18*b88*b194 - 8*b88*b205 + b88*b225 - 12*b88*b226 + 99*b88*b233 - 10*b89*b91 + 41*b89*b95 + 26*b89 *b111 + 18*b89*b112 - 85*b89*b117 + 39*b89*b127 + 7*b89*b130 - 57*b89*b132 + 5*b89*b143 + 20*b89*b144 + 57*b89*b169 + 81*b89*b177 + 67*b89*b178 + 83 *b89*b209 + 72*b89*b224 + 61*b89*b235 + 99*b89*b246 + 13*b90*b94 - 93*b90* b109 - 66*b90*b115 - 44*b90*b124 + 91*b90*b136 + 78*b90*b138 + 48*b90*b157 - 17*b90*b160 + 45*b90*b172 - 47*b90*b177 - 27*b90*b179 + 67*b90*b236 - 60*b90*b242 - 83*b90*b251 + 61*b91*b94 - 42*b91*b108 - 36*b91*b119 - 60* b91*b131 - 48*b91*b143 - 99*b91*b147 - 54*b91*b151 - 79*b91*b153 + 28*b91* b168 - 25*b91*b183 - 62*b91*b206 - 3*b91*b211 + 82*b91*b220 - 20*b91*b234 + 14*b91*b245 + 17*sqr(b92) - b92*b99 - 7*b92*b114 - 34*b92*b115 - 37*b92 *b162 + 67*b92*b168 - 10*b92*b169 - 4*b92*b170 + 59*b92*b176 - 90*b92*b194 - 76*b92*b195 - 15*b92*b197 - 83*b92*b239 + 28*b93*b101 - 43*b93*b103 + 83*b93*b104 + 31*b93*b117 + 39*b93*b118 - 54*b93*b122 - 16*b93*b152 - 71* b93*b170 + 29*b93*b189 + 96*b93*b201 + 48*b93*b216 - 96*b93*b232 - 58*b93* b236 - 11*b93*b246 + 48*b94*b103 - 97*b94*b104 + 49*b94*b123 + 44*b94*b148 - 3*b94*b157 + 63*b94*b173 + 96*b94*b178 + 44*b94*b185 - 44*b94*b187 - 30 *b94*b209 - 20*b94*b212 + 49*b94*b228 + 63*b94*b238 + 6*b95*b118 + 31*b95* b123 + 67*b95*b152 + 68*b95*b157 + 76*b95*b173 - 39*b95*b183 - 31*b95*b199 - 14*b95*b201 - 42*b95*b207 - 3*b95*b208 - b95*b213 - 97*b95*b219 - 52* b95*b230 - 91*b95*b231 - 18*b95*b233 + 69*b95*b240 - 71*b95*b245 - 56*b95* b249 + 38*b96*b98 + 52*b96*b112 + 93*b96*b115 + 89*b96*b121 - 28*b96*b144 - 14*b96*b149 - 23*b96*b162 - 68*b96*b170 - 72*b96*b171 - 90*b96*b173 + 19*b96*b181 - 33*b96*b189 - 17*b96*b194 + 80*b96*b203 + 35*b96*b205 + 82* b96*b232 - 67*b96*b248 - 3*b97*b112 + 7*b97*b116 + 28*b97*b123 - 94*b97* b130 - 22*b97*b139 - 39*b97*b156 + 97*b97*b162 - 7*b97*b164 + 96*b97*b171 + b97*b191 - 76*b97*b192 - 23*b97*b199 - 49*b97*b212 - 43*b97*b215 + 97* b97*b226 + 81*b97*b239 - 13*b98*b107 - 15*b98*b115 + 49*b98*b130 + 96*b98* b148 - 8*b98*b154 + 14*b98*b156 - 46*b98*b166 + 96*b98*b171 - 22*b98*b173 - 40*b98*b176 - 33*b98*b180 + 98*b98*b186 - 68*b98*b189 - 24*b98*b191 + 98*b98*b202 + 20*b98*b209 - 30*b98*b213 - 72*b98*b220 + 41*b98*b246 + 3* b99*b139 - 88*b99*b141 + 45*b99*b182 - 37*b99*b192 - 78*b99*b196 - 45*b99* b197 + 12*b99*b202 - 81*b100*b111 + 13*b100*b122 - 51*b100*b129 - 85*b100* b145 - 35*b100*b146 + 68*b100*b150 + 96*b100*b178 + 12*b100*b179 + 33*b100 *b194 - 76*b100*b203 + 39*b100*b229 - 65*b100*b236 + 91*sqr(b101) + 44* b101*b112 + 68*b101*b122 + 49*b101*b128 - 8*b101*b132 + 92*b101*b133 - 65* b101*b151 - 45*b101*b180 - 10*b101*b182 + 99*b101*b183 - 17*b101*b194 - 29 *b101*b196 + 71*b101*b199 + 41*b101*b207 - 56*b101*b214 + 23*b101*b216 + 22*b101*b228 - 54*b101*b230 + 61*b101*b245 + 59*b101*b250 + 18*b102*b103 + 13*b102*b106 - 72*b102*b120 + 66*b102*b124 + 10*b102*b132 + 72*b102* b134 - 27*b102*b162 - 66*b102*b182 - 25*b102*b215 + 11*b102*b223 + 5*b102* b230 - 98*b102*b235 - 69*b102*b237 - 82*b102*b239 + 24*b103*b111 - 22*b103 *b131 - 14*b103*b143 + 40*b103*b151 - 19*b103*b157 - 8*b103*b169 - 86*b103 *b179 + 40*b103*b182 - 29*b103*b198 - 31*b103*b199 - 47*b103*b223 + 77* b103*b225 + 78*b103*b245 - 58*b103*b247 - 23*b104*b170 - 53*b104*b182 + 42 *b104*b185 - 53*b104*b186 - 58*b104*b207 + 69*b104*b208 - 97*b104*b224 + 82*b104*b234 - 37*b104*b247 + 93*b104*b248 - 16*b105*b108 + 39*b105*b117 - 75*b105*b118 - 75*b105*b149 - 71*b105*b150 - 8*b105*b157 - 7*b105*b161 + 26*b105*b162 + 75*b105*b173 - 71*b105*b184 - 95*b105*b188 - 60*b105* b194 - 95*b105*b198 + 88*b106*b119 - 33*b106*b120 + 7*b106*b127 + 90*b106* b129 - b106*b135 - 76*b106*b148 + 73*b106*b160 + 44*b106*b181 + 86*b106* b184 - 56*b106*b185 + 69*b106*b211 + 60*b106*b222 - 77*b106*b230 + b106* b235 - 37*b106*b244 + 25*b107*b113 - 60*b107*b114 + 85*b107*b121 + 94*b107 *b129 - 19*b107*b135 - 13*b107*b138 - 16*b107*b146 - 6*b107*b154 - 24*b107 *b160 + 84*b107*b168 + 77*b107*b185 + 99*b107*b195 + 3*b107*b208 + 93*b107 *b228 + 66*b107*b237 - 18*b107*b238 + 41*b107*b241 - 29*b107*b243 - 33* b108*b137 + 73*b108*b185 - 6*b108*b212 + 97*b108*b224 - 79*b109*b114 - 23* b109*b119 + 94*b109*b125 + 14*b109*b134 - 86*b109*b141 - 99*b109*b161 - 6* b109*b181 + 77*b109*b188 - 74*b109*b197 + 98*b109*b204 + 28*b109*b218 + 59 *b109*b219 + 85*b109*b220 + 40*b109*b224 - 41*b109*b232 + 82*b109*b237 - 65*b109*b241 + 94*b110*b129 - 27*b110*b144 + 7*b110*b165 + 61*b110*b204 - 38*b110*b205 + 86*b110*b214 + 40*b110*b218 + 52*b110*b230 - 33*b110*b235 + 70*b110*b242 - 15*b110*b248 + 27*b111*b126 + 57*b111*b128 - 23*b111* b140 + 3*b111*b142 + 43*b111*b144 - 61*b111*b154 - 80*b111*b160 + 45*b111* b161 + 84*b111*b166 - 91*b111*b168 + 35*b111*b172 - 10*b111*b181 - 59*b111 *b188 + 36*b111*b193 - 84*b111*b203 + 80*b111*b205 - 15*b111*b206 + 57* b111*b213 - 54*b111*b226 - 96*b112*b120 - 4*b112*b138 - 15*b112*b147 - 79* b112*b158 + 97*b112*b176 - 67*b112*b179 - 5*b112*b180 - 52*b112*b186 + 16* b112*b188 - 36*b112*b189 - 32*b112*b190 - 64*b112*b199 - 37*b112*b200 + 87 *b112*b214 - 72*b112*b217 + 61*b112*b228 + 85*b112*b237 - 65*b113*b114 + 98*b113*b117 + 47*b113*b120 - 25*b113*b128 - 91*b113*b139 - 42*b113*b176 + 36*b113*b177 - 45*b113*b188 - 71*b113*b194 - 50*b113*b204 + 26*b113* b209 - 6*b113*b212 - 36*b113*b229 - 70*b113*b231 + 87*b113*b238 + 68*b114* b119 + 87*b114*b124 - 64*b114*b127 - 83*b114*b128 + 56*b114*b129 - 66*b114 *b139 + 39*b114*b143 - 23*b114*b144 + 12*b114*b155 - 19*b114*b159 - 41* b114*b163 + 63*b114*b170 + 5*b114*b172 + 6*b114*b174 - 10*b114*b175 + 56* b114*b186 - 64*b114*b203 + 27*b114*b222 + 73*b114*b224 + 95*b114*b230 + 60 *b114*b250 - 5*b115*b131 - 11*b115*b152 + 77*b115*b165 - 61*b115*b167 + 77 *b115*b181 + 57*b115*b182 + 54*b115*b197 - 95*b115*b204 - 10*b115*b229 + 98*b115*b244 + 65*b115*b246 - 99*b116*b183 + 67*b116*b217 - 96*b116*b233 - 64*b116*b238 - 96*b117*b152 + 85*b117*b165 - 33*b117*b170 + 96*b117* b171 + 21*b117*b177 + 43*b117*b186 + 64*b117*b202 + 37*b117*b206 - 54*b117 *b219 + 80*b117*b235 + 18*b117*b244 - 19*b117*b251 - 80*b118*b126 + 95* b118*b127 - 84*b118*b130 - 46*b118*b132 - 44*b118*b147 + 41*b118*b149 - 11 *b118*b152 + 100*b118*b159 - 40*b118*b169 - 54*b118*b170 - 98*b118*b171 + 19*b118*b188 + 8*b118*b191 + 11*b118*b214 + 78*b118*b222 - 85*b118*b225 - b118*b228 - 68*b118*b236 + 34*b118*b251 - 71*sqr(b119) + 59*b119*b125 + 62 *b119*b143 + 5*b119*b144 - 19*b119*b155 - 74*b119*b159 - 90*b119*b183 + 18 *b119*b184 + 79*b119*b195 - 48*b119*b221 - 13*b119*b228 - 31*b119*b236 + 35*b120*b132 + 9*b120*b139 + 16*b120*b147 - 4*b120*b153 + 5*b120*b167 - 98 *b120*b172 - 27*b120*b183 + 59*b120*b195 - 98*b120*b202 - 79*b120*b206 - 4 *b120*b226 + b120*b232 - 20*b120*b233 + 20*b120*b237 - 42*b120*b238 + 5* b120*b243 - 2*b120*b244 + 71*b121*b125 - 5*b121*b133 + 10*b121*b144 + 20* b121*b155 - 60*b121*b165 + 36*b121*b172 + 7*b121*b199 + 48*b121*b206 + 75* b121*b229 + 59*b121*b235 + 20*b122*b134 + 36*b122*b141 + 11*b122*b143 - 11 *b122*b155 + 44*b122*b172 + 100*b122*b182 - 24*b122*b185 - 35*b122*b212 - 20*b122*b215 + 44*b122*b233 + 7*b122*b246 + 89*b123*b161 + 8*b123*b178 - 45*b123*b186 - 74*b123*b192 + 39*b123*b199 + 10*b123*b201 + 41*b123*b204 + 53*b123*b222 + 75*b123*b230 + 16*b123*b235 + 75*b123*b244 - 52*b123* b247 + 37*b124*b132 + 77*b124*b154 - 52*b124*b190 + 63*b124*b194 - 31*b124 *b217 - 7*b124*b219 + 81*b124*b241 + 62*b125*b135 - 84*b125*b141 + 23*b125 *b148 + 45*b125*b153 - 60*b125*b166 + 43*b125*b176 + 65*b125*b177 - 68* b125*b184 + 61*b125*b187 - 22*b125*b192 + 15*b125*b197 + 17*b125*b203 + 67 *b125*b207 - 57*b126*b129 + 14*b126*b135 + 75*b126*b152 - 67*b126*b166 + 100*b126*b170 + 63*b126*b173 - 43*b126*b174 - 86*b126*b183 - 59*b126*b208 + 20*b126*b224 - 97*b126*b231 + 49*b126*b236 + 77*b126*b243 + 2*b127*b129 - 32*b127*b132 - 37*b127*b133 - 8*b127*b163 + 98*b127*b165 + 94*b127*b184 - 99*b127*b195 + 44*b127*b202 - 42*b127*b204 - 35*b127*b210 + 98*b127* b240 - 36*b127*b249 + 90*b128*b130 - 92*b128*b168 - 13*b128*b170 + 72*b128 *b179 - 6*b128*b187 + 85*b128*b194 + 69*b128*b219 + 41*b128*b220 - 76*b128 *b237 + 3*b128*b246 - 46*b129*b169 + 21*b129*b193 - 20*b129*b212 - 91*b129 *b217 + 93*b129*b220 - 33*b129*b226 - 23*b129*b240 - 18*b130*b144 - 52* b130*b148 - 15*b130*b163 - 68*b130*b164 - 99*b130*b171 - 91*b130*b172 + 49 *b130*b177 + 57*b130*b181 - 44*b130*b183 + 91*b130*b185 - 60*b130*b186 + 16*b130*b210 + 37*b130*b215 + 43*b130*b227 - 15*b130*b242 + 11*b131*b135 + 28*b131*b152 + 72*b131*b170 - 71*b131*b171 + 38*b131*b172 + 24*b131* b197 + 99*b131*b205 - 58*b131*b207 + 28*b131*b213 + 95*b131*b237 - 56*b132 *b134 + 26*b132*b146 - 41*b132*b155 + 60*b132*b169 + 58*b132*b177 + 19* b132*b205 + 89*b132*b220 + 83*b132*b232 - 13*b132*b236 + 100*b132*b249 + 29*b133*b140 + 9*b133*b154 - 60*b133*b162 + 14*b133*b164 + 90*b133*b178 + 4*b133*b184 + 13*b133*b188 + 51*b133*b190 - 5*b133*b202 + 3*b133*b203 + b133*b213 + 96*b133*b240 - 52*b133*b242 + 33*b133*b244 - 41*b134*b138 - 2* b134*b139 - 35*b134*b142 + 25*b134*b149 + 51*b134*b153 + 18*b134*b155 + 15 *b134*b157 - 53*b134*b160 - 88*b134*b169 + b134*b180 + 83*b134*b198 + 41* b134*b202 - 10*b134*b204 - 78*b134*b208 - 34*b134*b209 - 43*b134*b212 + 52 *b134*b227 + 86*b134*b240 - 40*b135*b142 - 14*b135*b152 + 2*b135*b153 + 60 *b135*b154 + 82*b135*b160 - 78*b135*b168 + 25*b135*b180 - 76*b135*b201 + 51*b135*b202 + 87*b135*b208 + 35*b135*b217 + 42*b135*b222 + 74*b135*b233 + 96*b135*b238 + 62*b135*b242 - 52*b135*b243 - 94*b135*b248 - 90*b136* b145 - 89*b136*b146 + 4*b136*b147 + 57*b136*b150 + 25*b136*b153 + 91*b136* b160 + 35*b136*b163 - 40*b136*b190 + 86*b136*b205 + 54*b136*b214 + 73*b136 *b221 - 40*b136*b225 + 91*b136*b244 - 88*b137*b144 - 67*b137*b156 + 75* b137*b181 - 91*b137*b214 - 80*b137*b219 + 86*b137*b225 + 100*b137*b229 + 59*b137*b234 + 79*b137*b247 + 12*b138*b153 + 21*b138*b157 - 4*b138*b173 - 83*b138*b191 - 62*b138*b194 + 90*b138*b201 + 37*b138*b205 - 44*b138*b224 - 88*b138*b234 + 44*b139*b152 - 75*b139*b153 + 8*b139*b162 + 50*b139*b166 + 88*b139*b170 - 82*b139*b183 + 82*b139*b188 + 87*b139*b192 + b139*b193 + 34*b139*b206 + 38*b139*b232 - 61*b139*b238 + 51*b139*b250 - 85*b140* b152 - 3*b140*b196 - 62*b140*b198 - 42*b140*b215 - 57*b140*b217 + 34*b140* b224 - 90*b140*b229 + 32*b140*b241 + 87*b140*b247 - 94*b141*b143 + 55*b141 *b158 - 26*b141*b161 + 83*b141*b170 - 37*b141*b173 + 67*b141*b174 + b141* b179 - 97*b141*b207 + 75*b141*b223 - 37*b141*b232 - 34*b141*b248 + 73*b142 *b146 + 57*b142*b150 - 26*b142*b157 - 86*b142*b161 + 44*b142*b163 - 95* b142*b172 + 18*b142*b185 - 30*b142*b186 + 5*b142*b207 - 27*b142*b208 + 77* b142*b211 - 31*b142*b212 - 59*b142*b224 + 9*b142*b240 + 3*b142*b242 + 34* sqr(b143) + 26*b143*b146 - 22*b143*b153 - 97*b143*b190 + 95*b143*b210 + 3* b143*b231 + 56*b143*b232 + 85*b144*b156 - 47*b144*b162 - 34*b144*b164 - 28 *b144*b167 + 36*b144*b171 + 11*b144*b183 + 36*b144*b210 + 4*b144*b211 - 46 *b144*b212 - 33*b144*b214 + 56*b144*b219 - 66*b144*b228 + 7*b144*b232 - 79 *b144*b237 - 29*b145*b147 + 41*b145*b148 - 60*b145*b174 + 47*b145*b175 + 68*b145*b197 + 49*b145*b198 - 11*b145*b210 - 56*b145*b222 + 3*b145*b231 - 23*b145*b234 - 18*b145*b244 - 38*b145*b251 + 30*b146*b149 + 51*b146*b156 + 29*b146*b168 + 86*b146*b209 + 61*b146*b222 + 91*b146*b227 - 66*b146* b237 + 75*b146*b240 - 74*b146*b246 + 9*b146*b250 + 43*b147*b148 + 31*b147* b186 - 94*b147*b191 + 29*b147*b203 - 97*b147*b217 + 49*b147*b241 + 15*b147 *b244 + 34*b147*b247 - 52*b147*b250 - 6*b148*b154 + 49*b148*b174 + 75*b148 *b195 - 35*b148*b209 + 65*b148*b214 - 45*b149*b164 - 22*b149*b176 + 41* b149*b186 - 18*b149*b196 + 8*b149*b220 - 79*b149*b221 + 17*b149*b225 + 58* b149*b230 - 17*b149*b234 + 36*b149*b237 + 80*b150*b157 - 17*b150*b178 - 33 *b150*b182 - 97*b150*b185 - 45*b150*b196 - 64*b150*b198 + 80*b150*b221 + b150*b243 - 84*b150*b247 - 28*b151*b170 - 27*b151*b182 + 15*b151*b187 + 43 *b151*b246 - 13*b151*b249 + 75*b152*b159 + 83*b152*b198 - 85*b152*b199 - 90*b152*b219 - 93*b152*b242 - 33*b152*b244 + 21*b152*b246 + 76*b152*b247 - 66*b153*b172 + 62*b153*b190 + 57*b153*b191 - 27*b153*b195 + 59*b153* b204 - 29*b153*b207 - 12*b153*b222 - 80*b154*b155 - 46*b154*b162 - 19*b154 *b164 + 2*b154*b171 + 48*b154*b192 + 42*b154*b194 + 75*b154*b202 + 96*b154 *b204 + 41*b154*b212 + 27*b154*b236 + 86*b155*b175 - 2*b155*b177 + 86*b155 *b181 - 55*b155*b194 - 24*b155*b197 - 16*b155*b199 - 42*b155*b227 - 31* b155*b235 - 22*b155*b240 - 81*b155*b241 + 54*b155*b242 + 57*b155*b243 + 55 *b155*b251 + 58*b156*b200 - 43*b156*b230 + 30*b156*b246 - 75*b157*b163 - 30*b157*b165 - 82*b157*b171 + 70*b157*b176 - 86*b157*b178 + 62*b157*b188 - 64*b157*b190 + 56*b157*b192 - 67*b157*b197 + 34*b157*b204 - 45*b157* b205 + 5*b157*b210 - 13*b157*b223 + 40*b157*b251 + 58*b158*b173 - 19*b158* b187 - 13*b158*b203 + 33*b158*b207 - 7*b158*b217 - 55*b158*b225 - 87*b158* b227 - 37*b158*b230 - 21*b159*b184 - 50*b159*b189 + 78*b159*b194 - 44*b159 *b214 - 68*b159*b222 - 16*b159*b242 - 18*b159*b247 + 29*b159*b251 + 14* b160*b163 - 54*b160*b164 - 61*b160*b170 + 31*b160*b173 + 89*b160*b180 + 88 *b160*b183 + 24*b160*b186 + 39*b160*b198 - 37*b160*b202 + 30*b160*b213 + 55*b160*b225 - 37*b160*b228 + 58*b161*b162 - 77*b161*b170 - 55*b161*b203 - 74*b161*b218 - 89*b161*b219 - 46*b161*b224 - 12*b161*b237 - 26*b161* b245 - 88*b162*b167 - 43*b162*b181 + 85*b162*b182 - 6*b162*b189 - 81*b162* b197 + 26*b162*b206 - 92*b162*b210 + 4*b162*b216 + 41*b162*b221 + 56*b162* b223 - 32*b162*b228 + 92*b162*b239 - 76*b163*b172 - 26*b163*b187 - 95*b163 *b189 - 72*b163*b216 + 4*b163*b221 - 26*b163*b224 - 39*b163*b234 + 70*b163 *b242 - 22*b163*b249 - 63*b163*b250 - 94*b164*b165 - 41*b164*b181 + 8*b164 *b198 - 35*b164*b201 + 17*b164*b206 + 90*b164*b207 - 32*b164*b214 - b164* b222 - 73*b164*b242 - 82*b164*b246 - 76*b165*b174 + 78*b165*b184 + 33*b165 *b186 + 50*b165*b204 - 42*b165*b206 - 46*b165*b212 + 5*b165*b220 - 73*b165 *b235 - 30*b165*b236 + 76*b165*b246 + 49*b165*b250 - 3*b165*b251 + 29*b166 *b176 - 92*b166*b177 + 15*b166*b183 + 5*b166*b196 - 45*b166*b209 - 33*b166 *b214 - 67*b166*b239 + 18*b166*b244 + 51*b166*b245 - 67*b166*b246 + 3*b166 *b247 - 48*sqr(b167) - 28*b167*b196 + 69*b167*b204 + 38*b167*b208 + 52* b167*b222 + 35*b167*b245 - 74*b168*b170 + 67*b168*b175 - 70*b168*b183 + 32 *b168*b198 + 69*b168*b201 + 2*b168*b205 - 3*b168*b209 - 20*b168*b225 - 28* b168*b229 + 83*b169*b172 + 14*b169*b174 - 15*b169*b177 + 52*b169*b191 - 91 *b169*b195 + 45*b169*b237 + 36*b169*b250 - 64*b170*b181 - 52*b170*b194 + 87*b170*b197 - 32*b170*b225 + 48*b170*b241 - 3*b170*b248 + 85*b170*b250 + 78*b171*b181 + 83*b171*b190 - 83*b171*b208 - 81*b171*b209 - 39*b171*b214 + 69*b171*b221 + 94*b171*b238 + 37*b172*b183 + 78*b172*b190 - 73*b172* b191 + 25*b172*b192 - 73*b172*b202 + 98*b172*b212 + 71*b172*b214 + 43*b172 *b222 + 51*b172*b244 + 81*b172*b245 - 98*b173*b181 - 6*b173*b182 - 70*b173 *b183 + 25*b173*b189 + 87*b173*b196 + 75*b173*b220 + 89*b173*b227 - 86* b173*b236 - 16*b173*b238 + 70*b173*b244 + 83*b173*b249 + 47*b174*b191 + 60 *b174*b199 - 76*b174*b206 + 75*b174*b213 + 52*b174*b229 + 83*b174*b230 + 65*b174*b232 - 55*b174*b245 - 48*b174*b249 + 33*b175*b177 - 53*b175*b207 + 92*b175*b209 + 59*b175*b210 + 28*b175*b211 - 9*b175*b214 + 4*b175*b215 + 74*b175*b217 + 82*b175*b230 + 76*b175*b232 + 18*b175*b235 - 80*b175* b239 + 4*b175*b241 - 36*b176*b182 - 20*b176*b184 - 6*b176*b189 - 3*b176* b214 - 79*b176*b219 + 66*b177*b183 + 73*b177*b205 - 73*b177*b212 + 58*b177 *b228 + 88*b177*b233 + 87*b177*b246 + 68*b178*b184 - 68*b178*b188 + 76* b178*b190 + 46*b178*b192 + 45*b178*b197 + 76*b178*b198 - 69*b178*b205 + 23 *b178*b246 - 64*b179*b189 - 8*b179*b199 - 77*b179*b204 + 10*b179*b210 + 84 *b179*b211 - 14*b179*b218 + 23*b179*b219 + 43*b179*b226 - 54*b179*b231 + 99*b179*b251 + 31*b180*b183 - 19*b180*b194 - 92*b180*b198 - 99*b180*b212 - 56*b180*b218 - 26*b180*b251 + 19*b181*b206 + 75*b181*b217 - 4*b181*b224 + 6*b181*b229 - 6*b181*b237 + 77*b181*b243 - 76*b181*b247 - 4*b182*b184 - 9*b182*b196 - 47*b182*b202 + 52*b182*b210 - 24*b182*b215 + 43*b182*b237 - 9*b182*b243 - 77*b182*b245 - 55*sqr(b183) - 68*b183*b188 + 69*b183*b189 - 24*b183*b194 - 54*b183*b202 + 73*b183*b206 - 54*b183*b211 - 75*b183* b219 - 31*b183*b221 + 10*b183*b231 + 67*b183*b248 - sqr(b184) + 25*b184* b209 + 22*b184*b224 + 3*b184*b231 + 76*b184*b249 - 94*b185*b193 + 72*b185* b210 - 3*b186*b206 + 56*b186*b211 + 80*b186*b216 - 33*b186*b222 + 94*b186* b225 - 97*b186*b232 + 80*b186*b237 + 27*b186*b240 - 80*b186*b244 - 71*b186 *b246 + 52*b187*b192 - 43*b187*b207 - 43*b187*b234 + 60*b187*b235 + 88* b187*b237 - 49*b187*b238 - 9*b188*b197 - 6*b188*b200 - 62*b188*b226 + 61* b188*b230 - 87*b188*b238 + 94*b188*b246 + 58*b189*b192 - 17*b189*b204 - 65 *b189*b232 + 8*b189*b245 + 66*b189*b246 - 97*b190*b198 - 42*b190*b203 - 70 *b190*b207 + 21*b190*b218 - 82*b190*b223 - 37*b190*b245 + 27*b190*b249 + 17*b190*b250 - 9*b190*b251 + 40*b191*b203 - 28*b191*b208 + 98*b191*b218 - 21*b191*b225 + 81*b191*b229 + 68*b191*b239 - 37*b192*b211 + 29*sqr(b193) - 49*b193*b198 - 35*b193*b215 - 63*b193*b216 - 40*b193*b220 - 26*b193* b226 + 50*b193*b236 + 82*b193*b242 - 50*b193*b244 + 70*b194*b200 + 25*b194 *b208 + 35*b194*b211 + 56*b194*b215 + 50*b194*b216 - 8*b194*b224 - 40*b194 *b228 - 26*b194*b242 - 91*b195*b211 - 96*b195*b217 - 60*b195*b232 - 33* b195*b242 - 34*b195*b249 - 56*b196*b206 - 98*b196*b214 + 63*b196*b225 + 79 *b196*b227 + 84*b196*b228 - 80*b196*b231 - b196*b239 + 83*b196*b248 + 4* b197*b200 - 75*b197*b204 - 83*b197*b235 + 17*b197*b248 - 92*sqr(b198) + 20 *b198*b207 - 19*b198*b217 + 85*b198*b225 + 41*b198*b240 + 15*b199*b201 + 85*b199*b211 + 51*b199*b218 - 82*b199*b236 - 93*b199*b240 - 47*b200*b210 + 4*b200*b211 - 17*b200*b215 + 94*b200*b218 + 100*b201*b232 + 29*b201* b244 - 5*b202*b203 - 78*b202*b214 + 51*b202*b215 + 65*b202*b216 - 48*b202* b224 + 86*b202*b227 - 3*b202*b237 - 57*b203*b207 + 17*b203*b210 + 66*b203* b217 + 45*b203*b220 - 75*b203*b225 - 85*b203*b227 + 74*b203*b239 - 69*b203 *b248 + 47*b203*b249 + 87*b203*b250 - 61*b204*b230 + 13*b204*b234 - 17* b205*b208 - 9*b205*b216 - 87*b205*b225 - 61*b205*b229 + 89*b205*b239 - 70* b205*b250 + 83*b206*b215 + 12*b206*b223 + 66*b206*b224 - 46*b206*b250 - b206*b251 - 85*b207*b223 + 50*sqr(b208) + 52*b208*b214 - 75*b208*b215 + 82 *b208*b227 - 31*b208*b229 - 38*b208*b235 - 59*b208*b238 - 5*b209*b211 + 50 *b209*b229 + 66*b210*b214 + 35*b210*b233 + 37*b210*b236 - 23*b210*b243 - 69*b211*b214 - 13*b211*b221 - 85*b211*b243 - 26*b213*b239 - 44*b213*b247 - 73*b213*b248 - 8*b213*b249 + 22*b213*b251 - 94*b214*b229 + 19*b214*b248 - 39*b214*b250 + 11*b215*b217 + 56*b215*b238 + 84*b215*b247 + 94*b215* b250 + 87*b215*b251 - 25*b216*b230 - 12*b217*b221 - 98*b217*b228 - 33*b217 *b248 + 12*b218*b224 + 35*b218*b229 - 7*b218*b234 + 56*b218*b236 + 7*b218* b237 + 18*b218*b245 - 75*sqr(b219) - 44*b219*b221 + 84*b219*b227 + 8*b219* b239 - 57*b220*b222 - 55*b220*b226 - 80*b220*b238 + 72*b220*b244 + 84*b221 *b228 - 18*b221*b247 - 70*b222*b239 + 9*b222*b246 - 49*b223*b241 + 89*b223 *b244 - b224*b232 - 92*b224*b236 - 47*b224*b243 + 6*b224*b246 + 88*b225* b225 - 20*b225*b233 + 23*b225*b246 + 6*b226*b245 + 57*b226*b248 - 4*b226* b249 + 70*b227*b230 - 16*b227*b236 - 37*b227*b241 + 9*b227*b243 + 97*b227* b246 + 34*b228*b231 - 95*b228*b245 + 27*b229*b245 + 64*b230*b250 - 44*b231 *b233 + 43*b232*b234 + 76*b232*b242 - 29*b233*b238 - 34*b233*b248 + 23* b234*b240 + 2*b235*b237 + 98*b237*b247 - 10*b238*b242 - 66*b240*b241 - 76* b240*b244 + 86*b241*b251 + 55*b243*b249 - 47*b247*b249 + 53*b247*b251 - objvar =E= 0; e2.. 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 =G= 1; 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;