QPLIB
A Library of Quadratic Programming Instances
Home // browse instances // view statistics // read documentation // download QPLIB archive [ 1.5G ]QPLIB_2702
| Formats | gms lp mod qplib |
| Problem type probtype | QML |
| Solution point objective value solobjvalue | 2814.19074900 (gdx, sol) |
| Solution point infeasibility solinfeasibility | 0.0000e+00 |
| Donor donor | Ruth Misener |
| #Variables nvars | 260 |
| #Binary Variables nbinvars | 259 |
| #Integer Variables nintvars | 0 |
| #Bounded non-binary Variables nboundedvars | 0 |
| #Variables with only one bound nsingleboundedvars | 0 |
| #Nonlinear Variables nnlvars | 259 |
| #Nonlinear Binary Variables nnlbinvars | 259 |
| #Nonlinear Integer Variables nnlintvars | 0 |
| Objective Sense objsense | min |
| Objective type objtype | quadratic |
| Objective curvature objcurvature | indefinite |
| #Negative eigenvalues in objective matrix nobjquadnegev | 12 |
| #Positive eigenvalues in objective matrix nobjquadposev | 247 |
| #Nonzeros in Objective nobjnz | 260 |
| #Nonlinear Nonzeros in Objective nobjnlnz | 259 |
| #Quadratic Terms in Objective nobjquadnz | 517 |
| #Square Terms in Objective nobjquaddiagnz | 259 |
| #Constraints ncons | 212 |
| #Linear Constraints nlincons | 212 |
| #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 | 8619 |
| #Nonlinear Nonzeros in Jacobian njacobiannlnz | 0 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangian nlaghessiannz | 775 |
| #Nonzeros in Diagonal of Hessian of Lagrangian nlaghessiandiagnz | 259 |
| #Blocks in Hessian of Lagrangian nlaghessianblocks | 1 |
| Minimal blocksize in Hessian of Lagrangian laghessianminblocksize | 259 |
| Maximal blocksize in Hessian of Lagrangian laghessianmaxblocksize | 259 |
| Average blocksize in Hessian of Lagrangian laghessianavgblocksize | 259.0 |
| Sparsity Jacobian |  |
| Sparsity Lag. Hessian |  |
QPLIB_2702.gms
$offlisting
*
* Equation counts
* Total E G L N X C B
* 213 36 127 50 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 261 2 259 0 0 0 0 0
* FX 0 0 0 0 0 0 0 0
*
* Nonzero counts
* Total const NL DLL
* 8880 8621 259 0
*
* Solve m using MIQCP minimizing objvar;
Variables objvar,x2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18
,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35
,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52
,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69
,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86
,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102
,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115
,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128
,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141
,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154
,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167
,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180
,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193
,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206
,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219
,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232
,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245
,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258
,b259,b260,b261;
Positive Variables x2;
Binary Variables b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18,b19
,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35,b36
,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52,b53
,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69,b70
,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86,b87
,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102,b103
,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115,b116
,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128,b129
,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141,b142
,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154,b155
,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167,b168
,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180,b181
,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193,b194
,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206,b207
,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219,b220
,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232,b233
,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245,b246
,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258,b259
,b260,b261;
Equations e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19
,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36
,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53
,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70
,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81,e82,e83,e84,e85,e86,e87
,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,e98,e99,e100,e101,e102,e103
,e104,e105,e106,e107,e108,e109,e110,e111,e112,e113,e114,e115,e116
,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,e128,e129
,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142
,e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155
,e156,e157,e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168
,e169,e170,e171,e172,e173,e174,e175,e176,e177,e178,e179,e180,e181
,e182,e183,e184,e185,e186,e187,e188,e189,e190,e191,e192,e193,e194
,e195,e196,e197,e198,e199,e200,e201,e202,e203,e204,e205,e206,e207
,e208,e209,e210,e211,e212,e213;
e1.. 0.4939625*sqr(b3) + 0.0006353*b3*b4 + 0.001270605*sqr(b4) + 0.1523025*b4*
b5 + 0.3046045*sqr(b5) + 0.1172255*b5*b6 + 0.2344505*sqr(b6) + 0.04746825*
b6*b7 + 0.0949365*sqr(b7) + 0.2035215*b7*b8 + 0.407043*sqr(b8) + 0.230473*
b8*b9 + 0.460946*sqr(b9) + 0.2201535*b9*b10 + 0.440307*sqr(b10) + 0.167965
*b10*b11 + 0.33593*sqr(b11) + 0.239289*b11*b12 + 0.478578*sqr(b12) +
0.0264315*b12*b13 + 0.052863*sqr(b13) + 0.02599475*b13*b14 + 0.0519895*
sqr(b14) + 0.047151*b14*b15 + 0.094302*sqr(b15) + 0.1785265*b15*b16 +
0.357053*sqr(b16) + 0.1069045*b16*b17 + 0.213809*sqr(b17) + 0.1444315*b17*
b18 + 0.2888625*b18*b18 + 0.137883*b18*b19 + 0.275766*sqr(b19) +
0.00428145*b19*b20 + 0.0085629*sqr(b20) + 0.1803395*b20*b21 + 0.3606795*
sqr(b21) + 0.065784*b21*b22 + 0.1315675*sqr(b22) + 0.12667*b22*b23 +
0.25334*sqr(b23) + 0.02590175*b23*b24 + 0.0518035*sqr(b24) + 0.087401*b24*
b25 + 0.174802*sqr(b25) + 0.240723*b25*b26 + 0.481446*sqr(b26) + 0.2087835
*b26*b27 + 0.4175665*sqr(b27) + 0.0168043*b27*b28 + 0.03360855*sqr(b28) +
0.1164095*b28*b29 + 0.2328185*sqr(b29) + 0.045215*b29*b30 + 0.09043*sqr(
b30) + 0.214095*b30*b31 + 0.4281895*sqr(b31) + 0.166637*b31*b32 +
0.3332735*sqr(b32) + 0.101812*b32*b33 + 0.2036235*b33*b33 + 0.1010235*b33*
b34 + 0.202047*sqr(b34) + 0.1847035*b34*b35 + 0.369407*sqr(b35) + 0.166303
*b35*b36 + 0.332606*sqr(b36) + 0.0761325*b36*b37 + 0.1522655*sqr(b37) +
0.1439515*b37*b38 + 0.2879035*sqr(b38) + 0.2441035*b38*b39 + 0.488207*sqr(
b39) + 0.2355055*b39*b40 + 0.471011*sqr(b40) + 0.24019*b40*b41 + 0.48038*
sqr(b41) + 0.090881*b41*b42 + 0.1817625*sqr(b42) + 0.240387*b42*b43 +
0.4807735*sqr(b43) + 0.00077219*b43*b44 + 0.00154438*b44*b44 + 0.1131095*
b44*b45 + 0.226219*sqr(b45) + 0.2412635*b45*b46 + 0.4825275*sqr(b46) +
0.1888995*b46*b47 + 0.377799*sqr(b47) + 0.0071908*b47*b48 + 0.01438165*
sqr(b48) + 0.00682575*b48*b49 + 0.01365145*sqr(b49) + 0.1125255*b49*b50 +
0.2250515*sqr(b50) + 0.188594*b50*b51 + 0.3771875*b51*b51 + 0.048654*b51*
b52 + 0.097308*sqr(b52) + 0.113325*b52*b53 + 0.2266495*sqr(b53) +
0.0425305*b53*b54 + 0.085061*sqr(b54) + 0.121683*b54*b55 + 0.2433655*sqr(
b55) + 0.043066*b55*b56 + 0.086132*sqr(b56) + 0.196937*b56*b57 + 0.393874*
sqr(b57) + 0.0099834*b57*b58 + 0.0199668*sqr(b58) + 0.1129875*b58*b59 +
0.2259755*sqr(b59) + 0.1636075*b59*b60 + 0.327215*sqr(b60) + 0.0871525*b60
*b61 + 0.174305*sqr(b61) + 0.1195315*b61*b62 + 0.2390625*b62*b62 +
0.033128*b62*b63 + 0.066256*sqr(b63) + 0.0782245*b63*b64 + 0.1564495*sqr(
b64) + 0.2449545*b64*b65 + 0.4899085*sqr(b65) + 0.03624975*b65*b66 +
0.0724995*sqr(b66) + 0.0822265*b66*b67 + 0.164453*sqr(b67) + 0.15092*b67*
b68 + 0.30184*sqr(b68) + 0.1252825*b68*b69 + 0.250565*sqr(b69) + 0.1253545
*b69*b70 + 0.250709*sqr(b70) + 0.0855175*b70*b71 + 0.1710345*sqr(b71) +
0.097571*b71*b72 + 0.195142*sqr(b72) + 0.0649405*b72*b73 + 0.1298805*sqr(
b73) + 0.1262725*b73*b74 + 0.2525455*sqr(b74) + 0.1039055*b74*b75 +
0.207811*b75*b75 + 0.01089575*b75*b76 + 0.02179145*sqr(b76) + 0.239263*b76
*b77 + 0.478526*sqr(b77) + 0.1547825*b77*b78 + 0.309565*sqr(b78) +
0.180182*b78*b79 + 0.360364*sqr(b79) + 0.1082445*b79*b80 + 0.2164885*sqr(
b80) + 0.148051*b80*b81 + 0.296102*sqr(b81) + 0.10505*b81*b82 + 0.2101*
sqr(b82) + 0.13292*b82*b83 + 0.2658405*sqr(b83) + 0.04309575*b83*b84 +
0.0861915*sqr(b84) + 0.02158725*b84*b85 + 0.0431745*sqr(b85) + 0.175829*
b85*b86 + 0.351658*b86*b86 + 0.146545*b86*b87 + 0.2930905*sqr(b87) +
0.208656*b87*b88 + 0.417312*sqr(b88) + 0.123742*b88*b89 + 0.247484*sqr(b89
) + 0.2497865*b89*b90 + 0.499573*sqr(b90) + 0.1868095*b90*b91 + 0.3736185*
sqr(b91) + 0.20206*b91*b92 + 0.40412*sqr(b92) + 0.1027535*b92*b93 +
0.205507*sqr(b93) + 0.1720365*b93*b94 + 0.3440725*sqr(b94) + 0.2114645*b94
*b95 + 0.422929*sqr(b95) + 0.1522385*b95*b96 + 0.304477*sqr(b96) +
0.0636155*b96*b97 + 0.1272315*sqr(b97) + 0.00472315*b97*b98 + 0.0094463*
sqr(b98) + 0.100177*b98*b99 + 0.200354*b99*b99 + 0.031478*b99*b100 +
0.062956*sqr(b100) + 0.1089465*b100*b101 + 0.217893*sqr(b101) + 0.1921295*
b101*b102 + 0.3842585*sqr(b102) + 0.0796035*b102*b103 + 0.1592065*sqr(b103
) + 0.1311605*b103*b104 + 0.2623205*b104*b104 + 0.0990015*b104*b105 +
0.1980035*sqr(b105) + 0.0921965*b105*b106 + 0.184393*sqr(b106) + 0.0167586
*b106*b107 + 0.03351715*sqr(b107) + 0.244959*b107*b108 + 0.4899175*sqr(
b108) + 0.007724*b108*b109 + 0.015448*sqr(b109) + 0.2017165*b109*b110 +
0.403433*sqr(b110) + 0.0594015*b110*b111 + 0.1188025*sqr(b111) + 0.059286*
b111*b112 + 0.118572*sqr(b112) + 0.1411485*b112*b113 + 0.2822975*sqr(b113)
+ 0.000534035*b113*b114 + 0.001068075*b114*b114 + 0.00789825*b114*b115 +
0.0157965*sqr(b115) + 0.215241*b115*b116 + 0.4304815*sqr(b116) + 0.173704*
b116*b117 + 0.347408*sqr(b117) + 0.0085332*b117*b118 + 0.0170664*sqr(b118)
+ 0.2208115*b118*b119 + 0.441623*sqr(b119) + 0.1255585*b119*b120 +
0.251117*sqr(b120) + 0.1169785*b120*b121 + 0.2339565*sqr(b121) + 0.1209025
*b121*b122 + 0.2418045*sqr(b122) + 0.1838555*b122*b123 + 0.367711*sqr(b123
) + 0.1755495*b123*b124 + 0.351099*sqr(b124) + 0.2077665*b124*b125 +
0.4155325*sqr(b125) + 0.1649115*b125*b126 + 0.329823*sqr(b126) + 0.1812495
*b126*b127 + 0.362499*sqr(b127) + 0.036619*b127*b128 + 0.073238*sqr(b128)
+ 0.130559*b128*b129 + 0.2611185*sqr(b129) + 0.1453385*b129*b130 +
0.2906775*sqr(b130) + 0.0447945*b130*b131 + 0.089589*sqr(b131) + 0.1618065
*b131*b132 + 0.3236135*sqr(b132) + 0.1995145*b132*b133 + 0.3990295*sqr(
b133) + 0.0545815*b133*b134 + 0.1091635*sqr(b134) + 0.088258*b134*b135 +
0.1765165*sqr(b135) + 0.110626*b135*b136 + 0.221252*sqr(b136) + 0.04578375
*b136*b137 + 0.0915675*b137*b137 + 0.193699*b137*b138 + 0.3873975*sqr(b138
) + 0.1762075*b138*b139 + 0.3524145*sqr(b139) + 0.0281075*b139*b140 +
0.056215*sqr(b140) + 0.209716*b140*b141 + 0.4194315*sqr(b141) + 0.201339*
b141*b142 + 0.4026785*sqr(b142) + 0.1356345*b142*b143 + 0.271269*sqr(b143)
+ 0.1302425*b143*b144 + 0.2604845*sqr(b144) + 0.0845485*b144*b145 +
0.1690965*sqr(b145) + 0.003285175*b145*b146 + 0.00657035*sqr(b146) +
0.03997025*b146*b147 + 0.0799405*sqr(b147) + 0.091141*b147*b148 + 0.182282
*sqr(b148) + 0.121743*b148*b149 + 0.243486*sqr(b149) + 0.098798*b149*b150
+ 0.1975955*sqr(b150) + 0.03220275*b150*b151 + 0.0644055*sqr(b151) +
0.2460545*b151*b152 + 0.492109*sqr(b152) + 0.178299*b152*b153 + 0.3565975*
sqr(b153) + 0.2385995*b153*b154 + 0.4771995*sqr(b154) + 0.176025*b154*b155
+ 0.3520505*sqr(b155) + 0.2042355*b155*b156 + 0.408471*sqr(b156) +
0.120612*b156*b157 + 0.2412235*sqr(b157) + 0.0345695*b157*b158 + 0.069139*
sqr(b158) + 0.184076*b158*b159 + 0.3681525*sqr(b159) + 0.052793*b159*b160
+ 0.1055865*sqr(b160) + 0.153939*b160*b161 + 0.3078775*sqr(b161) +
0.12845*b161*b162 + 0.2569*sqr(b162) + 0.227665*b162*b163 + 0.45533*sqr(
b163) + 0.133906*b163*b164 + 0.267812*sqr(b164) + 0.0512745*b164*b165 +
0.102549*sqr(b165) + 0.224534*b165*b166 + 0.4490685*sqr(b166) + 0.197141*
b166*b167 + 0.3942825*sqr(b167) + 0.1376435*b167*b168 + 0.275287*sqr(b168)
+ 0.245515*b168*b169 + 0.4910305*sqr(b169) + 0.246274*b169*b170 +
0.492548*sqr(b170) + 0.025549*b170*b171 + 0.051098*sqr(b171) + 0.1916025*
b171*b172 + 0.3832055*sqr(b172) + 0.209452*b172*b173 + 0.418904*sqr(b173)
+ 0.0888045*b173*b174 + 0.177609*sqr(b174) + 0.226846*b174*b175 +
0.453692*sqr(b175) + 0.1475415*b175*b176 + 0.295083*sqr(b176) + 0.2017795*
b176*b177 + 0.403559*sqr(b177) + 0.050773*b177*b178 + 0.1015465*sqr(b178)
+ 0.04117675*b178*b179 + 0.0823535*sqr(b179) + 0.06341*b179*b180 +
0.1268195*sqr(b180) + 0.1833595*b180*b181 + 0.3667195*sqr(b181) + 0.133085
*b181*b182 + 0.2661695*sqr(b182) + 0.143075*b182*b183 + 0.2861495*sqr(b183
) + 0.041687*b183*b184 + 0.083374*sqr(b184) + 0.0140288*b184*b185 +
0.02805755*sqr(b185) + 0.155624*b185*b186 + 0.3112475*sqr(b186) + 0.099198
*b186*b187 + 0.198396*sqr(b187) + 0.00678545*b187*b188 + 0.0135709*sqr(
b188) + 0.060009*b188*b189 + 0.120018*sqr(b189) + 0.1371165*b189*b190 +
0.274233*sqr(b190) + 0.2117125*b190*b191 + 0.423425*sqr(b191) + 0.083177*
b191*b192 + 0.1663545*sqr(b192) + 0.1900745*b192*b193 + 0.3801495*sqr(b193
) + 0.054931*b193*b194 + 0.1098615*sqr(b194) + 0.136222*b194*b195 +
0.272444*sqr(b195) + 0.00400525*b195*b196 + 0.0080105*sqr(b196) +
0.2014865*b196*b197 + 0.4029735*b197*b197 + 0.01429375*b197*b198 +
0.0285875*sqr(b198) + 0.00194807*b198*b199 + 0.00389614*sqr(b199) +
0.0948555*b199*b200 + 0.189711*sqr(b200) + 0.160129*b200*b201 + 0.320258*
sqr(b201) + 0.078012*b201*b202 + 0.1560235*sqr(b202) + 0.200191*b202*b203
+ 0.400382*sqr(b203) + 0.1354445*b203*b204 + 0.270889*sqr(b204) +
0.0363815*b204*b205 + 0.072763*sqr(b205) + 0.001987175*b205*b206 +
0.00397435*sqr(b206) + 0.0724705*b206*b207 + 0.144941*sqr(b207) +
0.0776225*b207*b208 + 0.155245*sqr(b208) + 0.0964705*b208*b209 + 0.192941*
sqr(b209) + 0.03917075*b209*b210 + 0.0783415*b210*b210 + 0.1970725*b210*
b211 + 0.3941445*sqr(b211) + 0.00937655*b211*b212 + 0.01875315*sqr(b212)
+ 0.0527415*b212*b213 + 0.1054835*sqr(b213) + 0.0360905*b213*b214 +
0.072181*sqr(b214) + 0.1274335*b214*b215 + 0.254867*sqr(b215) + 0.037572*
b215*b216 + 0.075144*sqr(b216) + 0.1633775*b216*b217 + 0.3267555*sqr(b217)
+ 0.1245935*b217*b218 + 0.2491865*sqr(b218) + 0.0662175*b218*b219 +
0.1324345*sqr(b219) + 0.2355105*b219*b220 + 0.4710215*sqr(b220) +
0.2177855*b220*b221 + 0.435571*sqr(b221) + 0.2007655*b221*b222 + 0.4015305
*sqr(b222) + 0.1793995*b222*b223 + 0.358799*b223*b223 + 0.196572*b223*b224
+ 0.393144*sqr(b224) + 0.097671*b224*b225 + 0.195342*sqr(b225) + 0.127268
*b225*b226 + 0.254536*sqr(b226) + 0.1689055*b226*b227 + 0.3378115*sqr(b227
) + 0.0168549*b227*b228 + 0.03370985*b228*b228 + 0.2148715*b228*b229 +
0.429743*sqr(b229) + 0.0355005*b229*b230 + 0.071001*sqr(b230) + 0.1211465*
b230*b231 + 0.242293*sqr(b231) + 0.1525965*b231*b232 + 0.305193*sqr(b232)
+ 0.1358665*b232*b233 + 0.271733*sqr(b233) + 0.2115445*b233*b234 +
0.423089*sqr(b234) + 0.112794*b234*b235 + 0.2255885*sqr(b235) + 0.1905595*
b235*b236 + 0.381119*sqr(b236) + 0.205807*b236*b237 + 0.4116135*sqr(b237)
+ 0.1884755*b237*b238 + 0.3769515*b238*b238 + 0.2445575*b238*b239 +
0.4891145*sqr(b239) + 0.0747845*b239*b240 + 0.149569*sqr(b240) + 0.082447*
b240*b241 + 0.1648945*sqr(b241) + 0.2255185*b241*b242 + 0.451037*sqr(b242)
+ 0.142878*b242*b243 + 0.285756*sqr(b243) + 0.20078*b243*b244 + 0.40156*
sqr(b244) + 0.2019305*b244*b245 + 0.4038605*sqr(b245) + 0.2454085*b245*
b246 + 0.490817*sqr(b246) + 0.1368955*b246*b247 + 0.273791*sqr(b247) +
0.1174755*b247*b248 + 0.234951*sqr(b248) + 0.169641*b248*b249 + 0.339282*
sqr(b249) + 0.1049445*b249*b250 + 0.2098885*sqr(b250) + 0.0209294*b250*
b251 + 0.0418588*sqr(b251) + 0.075677*b251*b252 + 0.1513535*sqr(b252) +
0.085945*b252*b253 + 0.1718895*sqr(b253) + 0.104052*b253*b254 + 0.2081045*
sqr(b254) + 0.1659725*b254*b255 + 0.331945*sqr(b255) + 0.133498*b255*b256
+ 0.266996*sqr(b256) + 0.148093*b256*b257 + 0.296186*sqr(b257) + 0.181225
*b257*b258 + 0.36245*sqr(b258) + 0.155767*b258*b259 + 0.3115345*sqr(b259)
+ 0.216688*b259*b260 + 0.4333765*sqr(b260) + 0.1238515*b260*b261 +
0.2477035*sqr(b261) - objvar + x2 =E= 0;
e2.. b3 + b6 + b18 + b19 + b21 + b24 + b26 + b27 + b28 + b30 + b31 + b32
+ b39 + b76 + b78 + b88 + b99 + b108 + b113 + b115 + b119 + b120 + b122
+ b129 + b133 + b136 + b140 + b142 + b145 + b148 + b152 + b159 + b164
+ b165 + b166 + b167 + b170 + b175 + b190 + b219 + b225 + b227 + b230
+ b234 + b235 + b245 + b246 + b252 + b253 + b254 + b256 + b257 + b258
+ b260 =G= 1;
e3.. b3 + b6 + b19 + b31 + b35 + b39 + b88 + b99 + b102 + b108 + b113 + b115
+ b118 + b119 + b122 + b126 + b129 + b131 + b133 + b135 + b136 + b137
+ b140 + b142 + b145 + b148 + b152 + b161 + b163 + b170 + b175 + b180
+ b184 + b197 + b218 + b223 + b225 + b229 + b230 + b231 + b233 + b234
+ b235 + b236 + b239 + b242 + b243 + b245 + b246 + b251 + b253 + b255
+ b257 + b259 =G= 1;
e4.. b3 + b6 + b18 + b19 + b21 + b24 + b26 + b27 + b28 + b30 + b31 + b32
+ b39 + b76 + b88 + b99 + b108 + b113 + b115 + b118 + b119 + b120 + b122
+ b126 + b129 + b131 + b133 + b135 + b136 + b137 + b140 + b142 + b145
+ b148 + b152 + b159 + b164 + b170 + b175 + b190 + b225 + b229 + b230
+ b231 + b233 + b234 + b235 + b236 + b239 + b242 + b243 + b245 + b246
+ b251 + b253 + b255 + b257 + b258 + b259 + b260 =G= 1;
e5.. b3 + b4 + b6 + b8 + b19 + b35 + b39 + b51 + b58 + b62 + b78 + b85
+ b100 + b107 + b112 + b113 + b115 + b119 + b122 + b129 + b133 + b136
+ b140 + b142 + b144 + b145 + b147 + b148 + b150 + b152 + b154 + b161
+ b163 + b165 + b166 + b167 + b180 + b182 + b184 + b188 + b197 + b219
+ b225 + b227 + b228 + b230 + b232 + b234 + b235 + b240 + b245 + b246
+ b253 + b257 =G= 1;
e6.. b3 + b4 + b6 + b8 + b18 + b19 + b21 + b24 + b26 + b27 + b28 + b30 + b32
+ b39 + b58 + b62 + b76 + b78 + b85 + b100 + b107 + b112 + b113 + b115
+ b119 + b122 + b129 + b133 + b136 + b140 + b142 + b144 + b145 + b147
+ b148 + b150 + b152 + b154 + b159 + b164 + b165 + b166 + b167 + b190
+ b219 + b225 + b227 + b228 + b230 + b232 + b234 + b235 + b240 + b245
+ b246 + b252 + b253 + b254 + b256 + b257 =G= 1;
e7.. b3 + b4 + b6 + b8 + b19 + b35 + b39 + b51 + b100 + b102 + b107 + b112
+ b113 + b115 + b118 + b119 + b122 + b126 + b129 + b131 + b133 + b135
+ b136 + b137 + b140 + b142 + b144 + b145 + b147 + b148 + b150 + b152
+ b154 + b161 + b163 + b180 + b182 + b184 + b188 + b197 + b218 + b223
+ b225 + b228 + b230 + b232 + b234 + b235 + b236 + b239 + b240 + b242
+ b243 + b245 + b246 + b251 + b253 + b255 + b257 + b259 =G= 1;
e8.. b3 + b4 + b6 + b8 + b18 + b19 + b21 + b24 + b26 + b27 + b28 + b30 + b32
+ b39 + b76 + b100 + b107 + b112 + b113 + b115 + b118 + b119 + b122
+ b126 + b129 + b131 + b133 + b135 + b136 + b137 + b140 + b142 + b144
+ b145 + b147 + b148 + b150 + b152 + b154 + b159 + b164 + b190 + b225
+ b228 + b230 + b232 + b234 + b235 + b236 + b239 + b240 + b242 + b243
+ b245 + b246 + b251 + b253 + b255 + b257 + b259 =G= 1;
e9.. b3 + b6 + b19 + b31 + b35 + b46 + b48 + b53 + b55 + b56 + b69 + b78
+ b79 + b80 + b88 + b99 + b108 + b115 + b122 + b129 + b133 + b136 + b140
+ b142 + b145 + b148 + b152 + b161 + b163 + b165 + b166 + b167 + b170
+ b171 + b175 + b177 + b180 + b183 + b184 + b189 + b192 + b196 + b197
+ b199 + b201 + b209 + b219 + b222 + b227 + b235 + b245 + b246 + b253
+ b257 =G= 1;
e10.. b3 + b6 + b19 + b24 + b26 + b27 + b28 + b30 + b31 + b32 + b48 + b55
+ b56 + b69 + b76 + b78 + b79 + b80 + b88 + b99 + b108 + b115 + b120
+ b122 + b129 + b133 + b136 + b140 + b142 + b145 + b148 + b152 + b159
+ b165 + b166 + b167 + b170 + b175 + b177 + b183 + b189 + b190 + b192
+ b196 + b199 + b201 + b209 + b219 + b222 + b227 + b235 + b245 + b246
+ b252 + b253 + b254 + b256 + b257 + b258 + b260 =G= 1;
e11.. b3 + b6 + b19 + b31 + b35 + b46 + b48 + b53 + b55 + b56 + b69 + b79
+ b80 + b88 + b99 + b102 + b108 + b115 + b118 + b122 + b126 + b129
+ b131 + b133 + b135 + b136 + b137 + b140 + b142 + b145 + b148 + b152
+ b161 + b163 + b170 + b171 + b175 + b180 + b184 + b189 + b192 + b197
+ b199 + b201 + b209 + b218 + b222 + b223 + b229 + b231 + b233 + b235
+ b242 + b245 + b246 + b251 + b253 + b255 + b257 + b259 =G= 1;
e12.. b3 + b6 + b19 + b24 + b26 + b27 + b28 + b30 + b31 + b32 + b48 + b55
+ b56 + b69 + b76 + b79 + b80 + b88 + b99 + b108 + b115 + b118 + b120
+ b122 + b126 + b129 + b131 + b133 + b135 + b136 + b137 + b140 + b142
+ b145 + b148 + b152 + b159 + b170 + b175 + b189 + b190 + b192 + b199
+ b201 + b209 + b222 + b229 + b231 + b233 + b235 + b242 + b245 + b246
+ b251 + b253 + b255 + b257 + b258 + b259 + b260 =G= 1;
e13.. b3 + b4 + b6 + b8 + b19 + b35 + b46 + b51 + b53 + b55 + b58 + b62
+ b69 + b78 + b79 + b85 + b100 + b107 + b112 + b115 + b122 + b129 + b133
+ b136 + b140 + b142 + b144 + b145 + b147 + b148 + b150 + b152 + b154
+ b161 + b163 + b165 + b166 + b167 + b171 + b177 + b180 + b182 + b183
+ b184 + b188 + b189 + b192 + b196 + b197 + b199 + b201 + b209 + b219
+ b222 + b227 + b235 + b245 + b246 + b253 + b257 =G= 1;
e14.. b3 + b4 + b6 + b8 + b19 + b24 + b26 + b27 + b28 + b30 + b32 + b55
+ b58 + b62 + b69 + b76 + b78 + b79 + b85 + b100 + b107 + b112 + b115
+ b122 + b129 + b133 + b136 + b140 + b142 + b144 + b145 + b147 + b148
+ b150 + b152 + b154 + b159 + b165 + b166 + b167 + b177 + b183 + b189
+ b190 + b192 + b196 + b199 + b201 + b209 + b219 + b222 + b227 + b235
+ b245 + b246 + b252 + b253 + b254 + b256 + b257 =G= 1;
e15.. b3 + b4 + b6 + b8 + b19 + b35 + b46 + b51 + b53 + b55 + b69 + b79
+ b100 + b102 + b107 + b112 + b115 + b118 + b122 + b126 + b129 + b131
+ b133 + b135 + b136 + b137 + b140 + b142 + b144 + b145 + b147 + b148
+ b150 + b152 + b154 + b161 + b163 + b171 + b180 + b182 + b184 + b188
+ b189 + b192 + b197 + b199 + b201 + b209 + b218 + b222 + b223 + b235
+ b242 + b245 + b246 + b251 + b253 + b255 + b257 + b259 =G= 1;
e16.. b3 + b4 + b6 + b8 + b19 + b24 + b26 + b27 + b28 + b30 + b32 + b55
+ b69 + b76 + b79 + b100 + b107 + b112 + b115 + b118 + b122 + b126
+ b129 + b131 + b133 + b135 + b136 + b137 + b140 + b142 + b144 + b145
+ b147 + b148 + b150 + b152 + b154 + b159 + b189 + b190 + b192 + b199
+ b201 + b209 + b222 + b235 + b242 + b245 + b246 + b251 + b253 + b255
+ b257 + b259 =G= 1;
e17.. b3 + b6 + b11 + b15 + b19 + b31 + b35 + b39 + b78 + b88 + b99 + b105
+ b108 + b110 + b113 + b114 + b115 + b117 + b119 + b121 + b122 + b125
+ b128 + b129 + b133 + b142 + b145 + b148 + b152 + b156 + b157 + b158
+ b160 + b161 + b162 + b163 + b165 + b166 + b167 + b170 + b175 + b180
+ b184 + b193 + b197 + b219 + b225 + b227 + b230 + b234 + b237 + b241
+ b248 + b257 =G= 1;
e18.. b3 + b6 + b11 + b15 + b18 + b19 + b21 + b28 + b30 + b31 + b32 + b39
+ b76 + b78 + b88 + b99 + b105 + b108 + b110 + b113 + b114 + b115 + b117
+ b119 + b120 + b121 + b122 + b125 + b128 + b129 + b133 + b142 + b145
+ b148 + b152 + b156 + b157 + b158 + b159 + b160 + b162 + b164 + b165
+ b166 + b167 + b170 + b175 + b190 + b219 + b225 + b227 + b230 + b234
+ b241 + b252 + b254 + b256 + b257 + b258 + b260 =G= 1;
e19.. b3 + b6 + b11 + b15 + b19 + b31 + b35 + b39 + b88 + b99 + b102 + b108
+ b113 + b115 + b117 + b118 + b119 + b121 + b122 + b125 + b126 + b128
+ b129 + b131 + b133 + b135 + b137 + b142 + b145 + b148 + b152 + b156
+ b157 + b158 + b160 + b161 + b162 + b163 + b170 + b175 + b180 + b184
+ b193 + b197 + b218 + b223 + b225 + b229 + b230 + b231 + b233 + b234
+ b236 + b237 + b239 + b241 + b243 + b248 + b257 + b259 =G= 1;
e20.. b3 + b6 + b11 + b15 + b18 + b19 + b21 + b28 + b30 + b31 + b32 + b39
+ b76 + b88 + b99 + b108 + b113 + b115 + b117 + b118 + b119 + b120
+ b121 + b122 + b125 + b126 + b128 + b129 + b131 + b133 + b135 + b137
+ b142 + b145 + b148 + b152 + b156 + b157 + b158 + b159 + b160 + b162
+ b164 + b170 + b175 + b190 + b225 + b229 + b230 + b231 + b233 + b234
+ b236 + b239 + b241 + b243 + b257 + b258 + b259 + b260 =G= 1;
e21.. b3 + b4 + b6 + b8 + b11 + b15 + b19 + b35 + b39 + b51 + b58 + b62
+ b78 + b85 + b105 + b110 + b113 + b114 + b115 + b119 + b122 + b128
+ b129 + b133 + b142 + b144 + b145 + b147 + b148 + b150 + b152 + b154
+ b156 + b157 + b158 + b160 + b161 + b162 + b163 + b165 + b166 + b167
+ b180 + b182 + b184 + b188 + b193 + b197 + b219 + b225 + b227 + b228
+ b230 + b232 + b234 + b237 + b240 + b241 + b248 + b257 =G= 1;
e22.. b3 + b4 + b6 + b8 + b11 + b15 + b18 + b19 + b21 + b28 + b30 + b32
+ b39 + b58 + b62 + b76 + b78 + b85 + b105 + b110 + b113 + b114 + b115
+ b119 + b122 + b128 + b129 + b133 + b142 + b144 + b145 + b147 + b148
+ b150 + b152 + b154 + b156 + b157 + b158 + b159 + b160 + b162 + b164
+ b165 + b166 + b167 + b190 + b219 + b225 + b227 + b228 + b230 + b232
+ b234 + b240 + b241 + b252 + b254 + b256 + b257 =G= 1;
e23.. b3 + b4 + b6 + b8 + b11 + b15 + b19 + b35 + b39 + b51 + b102 + b113
+ b115 + b118 + b119 + b122 + b126 + b128 + b129 + b131 + b133 + b135
+ b137 + b142 + b144 + b145 + b147 + b148 + b150 + b152 + b154 + b156
+ b157 + b158 + b160 + b161 + b162 + b163 + b180 + b182 + b184 + b188
+ b193 + b197 + b218 + b223 + b225 + b228 + b230 + b232 + b234 + b236
+ b237 + b239 + b240 + b241 + b243 + b248 + b257 + b259 =G= 1;
e24.. b3 + b4 + b6 + b8 + b11 + b15 + b18 + b19 + b21 + b28 + b30 + b32
+ b39 + b76 + b113 + b115 + b118 + b119 + b122 + b126 + b128 + b129
+ b131 + b133 + b135 + b137 + b142 + b144 + b145 + b147 + b148 + b150
+ b152 + b154 + b156 + b157 + b158 + b159 + b160 + b162 + b164 + b190
+ b225 + b228 + b230 + b232 + b234 + b236 + b239 + b240 + b241 + b243
+ b257 + b259 =G= 1;
e25.. b3 + b6 + b15 + b19 + b31 + b35 + b46 + b48 + b53 + b55 + b56 + b69
+ b78 + b79 + b80 + b88 + b99 + b105 + b108 + b110 + b114 + b115 + b117
+ b121 + b122 + b125 + b129 + b133 + b142 + b145 + b148 + b152 + b156
+ b157 + b158 + b160 + b161 + b162 + b163 + b165 + b166 + b167 + b170
+ b171 + b175 + b177 + b180 + b183 + b184 + b192 + b193 + b196 + b197
+ b201 + b219 + b222 + b227 + b237 + b248 + b257 =G= 1;
e26.. b3 + b6 + b15 + b19 + b28 + b30 + b31 + b32 + b48 + b55 + b56 + b69
+ b76 + b78 + b79 + b80 + b88 + b99 + b105 + b108 + b110 + b114 + b115
+ b117 + b120 + b121 + b122 + b125 + b129 + b133 + b142 + b145 + b148
+ b152 + b156 + b157 + b158 + b159 + b160 + b162 + b165 + b166 + b167
+ b170 + b175 + b177 + b183 + b190 + b192 + b196 + b201 + b219 + b222
+ b227 + b252 + b254 + b256 + b257 + b258 + b260 =G= 1;
e27.. b3 + b6 + b15 + b19 + b31 + b35 + b46 + b48 + b53 + b55 + b56 + b69
+ b79 + b80 + b88 + b99 + b102 + b108 + b115 + b117 + b118 + b121 + b122
+ b125 + b126 + b129 + b131 + b133 + b135 + b137 + b142 + b145 + b148
+ b152 + b156 + b157 + b158 + b160 + b161 + b162 + b163 + b170 + b171
+ b175 + b180 + b184 + b192 + b193 + b197 + b201 + b218 + b222 + b223
+ b229 + b231 + b233 + b237 + b248 + b257 + b259 =G= 1;
e28.. b3 + b6 + b15 + b19 + b28 + b30 + b31 + b32 + b48 + b55 + b56 + b69
+ b76 + b79 + b80 + b88 + b99 + b108 + b115 + b117 + b118 + b120 + b121
+ b122 + b125 + b126 + b129 + b131 + b133 + b135 + b137 + b142 + b145
+ b148 + b152 + b156 + b157 + b158 + b159 + b160 + b162 + b170 + b175
+ b190 + b192 + b201 + b222 + b229 + b231 + b233 + b257 + b258 + b259
+ b260 =G= 1;
e29.. b3 + b4 + b6 + b8 + b15 + b19 + b35 + b46 + b51 + b53 + b55 + b58
+ b62 + b69 + b78 + b79 + b85 + b105 + b110 + b114 + b115 + b122 + b129
+ b133 + b142 + b144 + b145 + b147 + b148 + b150 + b152 + b154 + b156
+ b157 + b158 + b160 + b161 + b162 + b163 + b165 + b166 + b167 + b171
+ b177 + b180 + b182 + b183 + b184 + b188 + b192 + b193 + b196 + b197
+ b201 + b219 + b222 + b227 + b237 + b248 + b257 =G= 1;
e30.. b3 + b4 + b6 + b8 + b15 + b19 + b28 + b30 + b32 + b55 + b58 + b62
+ b69 + b76 + b78 + b79 + b85 + b105 + b110 + b114 + b115 + b122 + b129
+ b133 + b142 + b144 + b145 + b147 + b148 + b150 + b152 + b154 + b156
+ b157 + b158 + b159 + b160 + b162 + b165 + b166 + b167 + b177 + b183
+ b190 + b192 + b196 + b201 + b219 + b222 + b227 + b252 + b254 + b256
+ b257 =G= 1;
e31.. b3 + b4 + b6 + b8 + b15 + b19 + b35 + b46 + b51 + b53 + b55 + b69
+ b79 + b102 + b115 + b118 + b122 + b126 + b129 + b131 + b133 + b135
+ b137 + b142 + b144 + b145 + b147 + b148 + b150 + b152 + b154 + b156
+ b157 + b158 + b160 + b161 + b162 + b163 + b171 + b180 + b182 + b184
+ b188 + b192 + b193 + b197 + b201 + b218 + b222 + b223 + b237 + b248
+ b257 + b259 =G= 1;
e32.. b3 + b4 + b6 + b8 + b15 + b19 + b28 + b30 + b32 + b55 + b69 + b76
+ b79 + b115 + b118 + b122 + b126 + b129 + b131 + b133 + b135 + b137
+ b142 + b144 + b145 + b147 + b148 + b150 + b152 + b154 + b156 + b157
+ b158 + b159 + b160 + b162 + b190 + b192 + b201 + b222 + b257 + b259
=G= 1;
e33.. b3 + b6 + b19 + b31 + b35 + b39 + b63 + b65 + b67 + b71 + b74 + b78
+ b83 + b86 + b88 + b89 + b92 + b93 + b97 + b99 + b108 + b109 + b111
+ b113 + b116 + b119 + b129 + b133 + b136 + b140 + b152 + b161 + b163
+ b165 + b166 + b167 + b170 + b175 + b180 + b184 + b186 + b197 + b206
+ b212 + b217 + b219 + b225 + b227 + b230 + b234 + b235 + b245 + b246
+ b253 =G= 1;
e34.. b3 + b6 + b18 + b19 + b21 + b24 + b26 + b27 + b31 + b39 + b65 + b74
+ b76 + b78 + b83 + b86 + b88 + b89 + b92 + b93 + b97 + b99 + b108
+ b109 + b111 + b113 + b116 + b119 + b120 + b129 + b133 + b136 + b140
+ b152 + b159 + b164 + b165 + b166 + b167 + b170 + b175 + b186 + b190
+ b206 + b212 + b217 + b219 + b225 + b227 + b230 + b234 + b235 + b245
+ b246 + b252 + b253 + b254 + b256 + b258 + b260 =G= 1;
e35.. b3 + b6 + b19 + b31 + b35 + b39 + b63 + b65 + b67 + b71 + b74 + b83
+ b86 + b88 + b89 + b92 + b93 + b97 + b99 + b102 + b108 + b109 + b111
+ b113 + b116 + b119 + b129 + b131 + b133 + b135 + b136 + b137 + b140
+ b152 + b161 + b163 + b170 + b175 + b180 + b184 + b197 + b212 + b218
+ b223 + b225 + b229 + b230 + b231 + b233 + b234 + b235 + b236 + b239
+ b242 + b243 + b245 + b246 + b251 + b253 + b255 =G= 1;
e36.. b3 + b6 + b18 + b19 + b21 + b24 + b26 + b27 + b31 + b39 + b65 + b74
+ b76 + b83 + b86 + b88 + b89 + b92 + b93 + b97 + b99 + b108 + b109
+ b111 + b113 + b116 + b119 + b120 + b129 + b131 + b133 + b135 + b136
+ b137 + b140 + b152 + b159 + b164 + b170 + b175 + b190 + b212 + b225
+ b229 + b230 + b231 + b233 + b234 + b235 + b236 + b239 + b242 + b243
+ b245 + b246 + b251 + b253 + b255 + b258 + b260 =G= 1;
e37.. b3 + b4 + b6 + b8 + b19 + b35 + b39 + b51 + b58 + b62 + b63 + b67
+ b71 + b78 + b85 + b86 + b89 + b92 + b93 + b97 + b100 + b107 + b109
+ b111 + b112 + b113 + b116 + b119 + b129 + b133 + b136 + b140 + b152
+ b154 + b161 + b163 + b165 + b166 + b167 + b180 + b182 + b184 + b186
+ b188 + b197 + b206 + b212 + b217 + b219 + b225 + b227 + b228 + b230
+ b232 + b234 + b235 + b240 + b245 + b246 + b253 =G= 1;
e38.. b3 + b4 + b6 + b8 + b18 + b19 + b21 + b24 + b26 + b27 + b39 + b58
+ b62 + b76 + b78 + b85 + b86 + b89 + b92 + b93 + b97 + b100 + b107
+ b109 + b111 + b112 + b113 + b116 + b119 + b129 + b133 + b136 + b140
+ b152 + b154 + b159 + b164 + b165 + b166 + b167 + b186 + b190 + b206
+ b212 + b217 + b219 + b225 + b227 + b228 + b230 + b232 + b234 + b235
+ b240 + b245 + b246 + b252 + b253 + b254 + b256 =G= 1;
e39.. b3 + b4 + b6 + b8 + b19 + b35 + b39 + b51 + b63 + b67 + b71 + b86
+ b89 + b92 + b93 + b97 + b100 + b102 + b107 + b109 + b111 + b112 + b113
+ b116 + b119 + b129 + b131 + b133 + b135 + b136 + b137 + b140 + b152
+ b154 + b161 + b163 + b180 + b182 + b184 + b188 + b197 + b212 + b218
+ b223 + b225 + b228 + b230 + b232 + b234 + b235 + b236 + b239 + b240
+ b242 + b243 + b245 + b246 + b251 + b253 + b255 =G= 1;
e40.. b3 + b4 + b6 + b8 + b18 + b19 + b21 + b24 + b26 + b27 + b39 + b76
+ b86 + b89 + b92 + b93 + b97 + b100 + b107 + b109 + b111 + b112 + b113
+ b116 + b119 + b129 + b131 + b133 + b135 + b136 + b137 + b140 + b152
+ b154 + b159 + b164 + b190 + b212 + b225 + b228 + b230 + b232 + b234
+ b235 + b236 + b239 + b240 + b242 + b243 + b245 + b246 + b251 + b253
+ b255 =G= 1;
e41.. b3 + b6 + b19 + b31 + b35 + b46 + b48 + b53 + b55 + b56 + b63 + b65
+ b67 + b71 + b74 + b78 + b80 + b83 + b88 + b92 + b97 + b99 + b108
+ b109 + b111 + b116 + b129 + b133 + b136 + b140 + b152 + b161 + b163
+ b165 + b166 + b167 + b170 + b171 + b175 + b177 + b180 + b183 + b184
+ b186 + b189 + b192 + b196 + b197 + b199 + b201 + b206 + b209 + b212
+ b217 + b219 + b227 + b235 + b245 + b246 + b253 =G= 1;
e42.. b3 + b6 + b19 + b24 + b26 + b27 + b31 + b48 + b55 + b56 + b65 + b74
+ b76 + b78 + b80 + b83 + b88 + b92 + b97 + b99 + b108 + b109 + b111
+ b116 + b120 + b129 + b133 + b136 + b140 + b152 + b159 + b165 + b166
+ b167 + b170 + b175 + b177 + b183 + b186 + b189 + b190 + b192 + b196
+ b199 + b201 + b206 + b209 + b212 + b217 + b219 + b227 + b235 + b245
+ b246 + b252 + b253 + b254 + b256 + b258 + b260 =G= 1;
e43.. b3 + b6 + b19 + b31 + b35 + b46 + b48 + b53 + b55 + b56 + b63 + b65
+ b67 + b71 + b74 + b80 + b83 + b88 + b92 + b97 + b99 + b102 + b108
+ b109 + b111 + b116 + b129 + b131 + b133 + b135 + b136 + b137 + b140
+ b152 + b161 + b163 + b170 + b171 + b175 + b180 + b184 + b189 + b192
+ b197 + b199 + b201 + b209 + b212 + b218 + b223 + b229 + b231 + b233
+ b235 + b242 + b245 + b246 + b251 + b253 + b255 =G= 1;
e44.. b3 + b6 + b19 + b24 + b26 + b27 + b31 + b48 + b55 + b56 + b65 + b74
+ b76 + b80 + b83 + b88 + b92 + b97 + b99 + b108 + b109 + b111 + b116
+ b120 + b129 + b131 + b133 + b135 + b136 + b137 + b140 + b152 + b159
+ b170 + b175 + b189 + b190 + b192 + b199 + b201 + b209 + b212 + b229
+ b231 + b233 + b235 + b242 + b245 + b246 + b251 + b253 + b255 + b258
+ b260 =G= 1;
e45.. b3 + b4 + b6 + b8 + b19 + b35 + b46 + b51 + b53 + b55 + b58 + b62
+ b63 + b67 + b71 + b78 + b85 + b92 + b97 + b100 + b107 + b109 + b111
+ b112 + b116 + b129 + b133 + b136 + b140 + b152 + b154 + b161 + b163
+ b165 + b166 + b167 + b171 + b177 + b180 + b182 + b183 + b184 + b186
+ b188 + b189 + b192 + b196 + b197 + b199 + b201 + b206 + b209 + b212
+ b217 + b219 + b227 + b235 + b245 + b246 + b253 =G= 1;
e46.. b3 + b4 + b6 + b8 + b19 + b24 + b26 + b27 + b55 + b58 + b62 + b76
+ b78 + b85 + b92 + b97 + b100 + b107 + b109 + b111 + b112 + b116 + b129
+ b133 + b136 + b140 + b152 + b154 + b159 + b165 + b166 + b167 + b177
+ b183 + b186 + b189 + b190 + b192 + b196 + b199 + b201 + b206 + b209
+ b212 + b217 + b219 + b227 + b235 + b245 + b246 + b252 + b253 + b254
+ b256 =G= 1;
e47.. b3 + b4 + b6 + b8 + b19 + b35 + b46 + b51 + b53 + b55 + b63 + b67
+ b71 + b92 + b97 + b100 + b102 + b107 + b109 + b111 + b112 + b116
+ b129 + b131 + b133 + b135 + b136 + b137 + b140 + b152 + b154 + b161
+ b163 + b171 + b180 + b182 + b184 + b188 + b189 + b192 + b197 + b199
+ b201 + b209 + b212 + b218 + b223 + b235 + b242 + b245 + b246 + b251
+ b253 + b255 =G= 1;
e48.. b3 + b4 + b6 + b8 + b19 + b24 + b26 + b27 + b55 + b76 + b92 + b97
+ b100 + b107 + b109 + b111 + b112 + b116 + b129 + b131 + b133 + b135
+ b136 + b137 + b140 + b152 + b154 + b159 + b189 + b190 + b192 + b199
+ b201 + b209 + b212 + b235 + b242 + b245 + b246 + b251 + b253 + b255
=G= 1;
e49.. b3 + b6 + b11 + b15 + b19 + b31 + b35 + b39 + b63 + b65 + b67 + b71
+ b74 + b78 + b83 + b86 + b88 + b89 + b93 + b99 + b105 + b108 + b109
+ b110 + b111 + b113 + b114 + b116 + b117 + b119 + b121 + b125 + b128
+ b129 + b133 + b152 + b160 + b161 + b162 + b163 + b165 + b166 + b167
+ b170 + b175 + b180 + b184 + b186 + b193 + b197 + b206 + b217 + b219
+ b225 + b227 + b230 + b234 + b237 + b241 + b248 =G= 1;
e50.. b3 + b6 + b11 + b15 + b18 + b19 + b21 + b31 + b39 + b65 + b74 + b76
+ b78 + b83 + b86 + b88 + b89 + b93 + b99 + b105 + b108 + b109 + b110
+ b111 + b113 + b114 + b116 + b117 + b119 + b120 + b121 + b125 + b128
+ b129 + b133 + b152 + b159 + b160 + b162 + b164 + b165 + b166 + b167
+ b170 + b175 + b186 + b190 + b206 + b217 + b219 + b225 + b227 + b230
+ b234 + b241 + b252 + b254 + b256 + b258 + b260 =G= 1;
e51.. b3 + b6 + b11 + b15 + b19 + b31 + b35 + b39 + b63 + b65 + b67 + b71
+ b74 + b83 + b86 + b88 + b89 + b93 + b99 + b102 + b108 + b109 + b111
+ b113 + b116 + b117 + b119 + b121 + b125 + b128 + b129 + b131 + b133
+ b135 + b137 + b152 + b160 + b161 + b162 + b163 + b170 + b175 + b180
+ b184 + b193 + b197 + b218 + b223 + b225 + b229 + b230 + b231 + b233
+ b234 + b236 + b237 + b239 + b241 + b243 + b248 =G= 1;
e52.. b3 + b6 + b11 + b15 + b18 + b19 + b21 + b31 + b39 + b65 + b74 + b76
+ b83 + b86 + b88 + b89 + b93 + b99 + b108 + b109 + b111 + b113 + b116
+ b117 + b119 + b120 + b121 + b125 + b128 + b129 + b131 + b133 + b135
+ b137 + b152 + b159 + b160 + b162 + b164 + b170 + b175 + b190 + b225
+ b229 + b230 + b231 + b233 + b234 + b236 + b239 + b241 + b243 + b258
+ b260 =G= 1;
e53.. b3 + b4 + b6 + b8 + b11 + b15 + b19 + b35 + b39 + b51 + b58 + b62
+ b63 + b67 + b71 + b78 + b85 + b86 + b89 + b93 + b105 + b109 + b110
+ b111 + b113 + b114 + b116 + b119 + b128 + b129 + b133 + b152 + b154
+ b160 + b161 + b162 + b163 + b165 + b166 + b167 + b180 + b182 + b184
+ b186 + b188 + b193 + b197 + b206 + b217 + b219 + b225 + b227 + b228
+ b230 + b232 + b234 + b237 + b240 + b241 + b248 =G= 1;
e54.. b3 + b4 + b6 + b8 + b11 + b15 + b18 + b19 + b21 + b39 + b58 + b62
+ b76 + b78 + b85 + b86 + b89 + b93 + b105 + b109 + b110 + b111 + b113
+ b114 + b116 + b119 + b128 + b129 + b133 + b152 + b154 + b159 + b160
+ b162 + b164 + b165 + b166 + b167 + b186 + b190 + b206 + b217 + b219
+ b225 + b227 + b228 + b230 + b232 + b234 + b240 + b241 + b252 + b254
+ b256 =G= 1;
e55.. b3 + b4 + b6 + b8 + b11 + b15 + b19 + b35 + b39 + b51 + b63 + b67
+ b71 + b86 + b89 + b93 + b102 + b109 + b111 + b113 + b116 + b119 + b128
+ b129 + b131 + b133 + b135 + b137 + b152 + b154 + b160 + b161 + b162
+ b163 + b180 + b182 + b184 + b188 + b193 + b197 + b218 + b223 + b225
+ b228 + b230 + b232 + b234 + b236 + b237 + b239 + b240 + b241 + b243
+ b248 =G= 1;
e56.. b3 + b4 + b6 + b8 + b11 + b15 + b18 + b19 + b21 + b39 + b76 + b86
+ b89 + b93 + b109 + b111 + b113 + b116 + b119 + b128 + b129 + b131
+ b133 + b135 + b137 + b152 + b154 + b159 + b160 + b162 + b164 + b190
+ b225 + b228 + b230 + b232 + b234 + b236 + b239 + b240 + b241 + b243
=G= 1;
e57.. b3 + b6 + b15 + b19 + b31 + b35 + b46 + b48 + b53 + b55 + b56 + b63
+ b65 + b67 + b71 + b74 + b78 + b80 + b83 + b88 + b99 + b105 + b108
+ b109 + b110 + b111 + b114 + b116 + b117 + b121 + b125 + b129 + b133
+ b152 + b160 + b161 + b162 + b163 + b165 + b166 + b167 + b170 + b171
+ b175 + b177 + b180 + b183 + b184 + b186 + b192 + b193 + b196 + b197
+ b201 + b206 + b217 + b219 + b227 + b237 + b248 =G= 1;
e58.. b3 + b6 + b15 + b19 + b31 + b48 + b55 + b56 + b65 + b74 + b76 + b78
+ b80 + b83 + b88 + b99 + b105 + b108 + b109 + b110 + b111 + b114 + b116
+ b117 + b120 + b121 + b125 + b129 + b133 + b152 + b159 + b160 + b162
+ b165 + b166 + b167 + b170 + b175 + b177 + b183 + b186 + b190 + b192
+ b196 + b201 + b206 + b217 + b219 + b227 + b252 + b254 + b256 + b258
+ b260 =G= 1;
e59.. b3 + b6 + b15 + b19 + b31 + b35 + b46 + b48 + b53 + b55 + b56 + b63
+ b65 + b67 + b71 + b74 + b80 + b83 + b88 + b99 + b102 + b108 + b109
+ b111 + b116 + b117 + b121 + b125 + b129 + b131 + b133 + b135 + b137
+ b152 + b160 + b161 + b162 + b163 + b170 + b171 + b175 + b180 + b184
+ b192 + b193 + b197 + b201 + b218 + b223 + b229 + b231 + b233 + b237
+ b248 =G= 1;
e60.. b3 + b6 + b15 + b19 + b31 + b48 + b55 + b56 + b65 + b74 + b76 + b80
+ b83 + b88 + b99 + b108 + b109 + b111 + b116 + b117 + b120 + b121
+ b125 + b129 + b131 + b133 + b135 + b137 + b152 + b159 + b160 + b162
+ b170 + b175 + b190 + b192 + b201 + b229 + b231 + b233 + b258 + b260
=G= 1;
e61.. b3 + b4 + b6 + b8 + b15 + b19 + b35 + b46 + b51 + b53 + b55 + b58
+ b62 + b63 + b67 + b71 + b78 + b85 + b105 + b109 + b110 + b111 + b114
+ b116 + b129 + b133 + b152 + b154 + b160 + b161 + b162 + b163 + b165
+ b166 + b167 + b171 + b177 + b180 + b182 + b183 + b184 + b186 + b188
+ b192 + b193 + b196 + b197 + b201 + b206 + b217 + b219 + b227 + b237
+ b248 =G= 1;
e62.. b3 + b4 + b6 + b8 + b15 + b19 + b55 + b58 + b62 + b76 + b78 + b85
+ b105 + b109 + b110 + b111 + b114 + b116 + b129 + b133 + b152 + b154
+ b159 + b160 + b162 + b165 + b166 + b167 + b177 + b183 + b186 + b190
+ b192 + b196 + b201 + b206 + b217 + b219 + b227 + b252 + b254 + b256
=G= 1;
e63.. b3 + b4 + b6 + b8 + b15 + b19 + b35 + b46 + b51 + b53 + b55 + b63
+ b67 + b71 + b102 + b109 + b111 + b116 + b129 + b131 + b133 + b135
+ b137 + b152 + b154 + b160 + b161 + b162 + b163 + b171 + b180 + b182
+ b184 + b188 + b192 + b193 + b197 + b201 + b218 + b223 + b237 + b248
=G= 1;
e64.. b3 + b4 + b6 + b8 + b15 + b19 + b55 + b76 + b109 + b111 + b116 + b129
+ b131 + b133 + b135 + b137 + b152 + b154 + b159 + b160 + b162 + b190
+ b192 + b201 =G= 1;
e65.. b12 + b13 + b16 + b22 + b31 + b33 + b35 + b38 + b39 + b44 + b73 + b78
+ b82 + b88 + b91 + b99 + b108 + b113 + b115 + b119 + b122 + b136 + b140
+ b142 + b145 + b148 + b161 + b163 + b165 + b166 + b167 + b170 + b175
+ b180 + b184 + b197 + b198 + b202 + b205 + b208 + b211 + b215 + b219
+ b224 + b225 + b227 + b230 + b234 + b235 + b245 + b246 + b253 + b257
+ b261 =G= 1;
e66.. b18 + b21 + b22 + b24 + b26 + b27 + b28 + b30 + b31 + b32 + b33 + b38
+ b39 + b44 + b73 + b78 + b82 + b88 + b91 + b99 + b108 + b113 + b115
+ b119 + b120 + b122 + b136 + b140 + b142 + b145 + b148 + b164 + b165
+ b166 + b167 + b170 + b175 + b198 + b202 + b205 + b208 + b211 + b215
+ b219 + b224 + b225 + b227 + b230 + b234 + b235 + b245 + b246 + b252
+ b253 + b254 + b256 + b257 + b258 + b260 + b261 =G= 1;
e67.. b12 + b13 + b16 + b31 + b35 + b39 + b44 + b73 + b82 + b88 + b91 + b99
+ b102 + b108 + b113 + b115 + b118 + b119 + b122 + b126 + b136 + b140
+ b142 + b145 + b148 + b161 + b163 + b170 + b175 + b180 + b184 + b197
+ b198 + b202 + b205 + b208 + b211 + b215 + b218 + b223 + b224 + b225
+ b229 + b230 + b231 + b233 + b234 + b235 + b236 + b239 + b242 + b243
+ b245 + b246 + b251 + b253 + b255 + b257 + b259 + b261 =G= 1;
e68.. b18 + b21 + b24 + b26 + b27 + b28 + b30 + b31 + b32 + b39 + b44 + b73
+ b82 + b88 + b91 + b99 + b108 + b113 + b115 + b118 + b119 + b120 + b122
+ b126 + b136 + b140 + b142 + b145 + b148 + b164 + b170 + b175 + b198
+ b202 + b205 + b208 + b211 + b215 + b224 + b225 + b229 + b230 + b231
+ b233 + b234 + b235 + b236 + b239 + b242 + b243 + b245 + b246 + b251
+ b253 + b255 + b257 + b258 + b259 + b260 + b261 =G= 1;
e69.. b12 + b13 + b16 + b22 + b33 + b35 + b38 + b39 + b51 + b58 + b62 + b73
+ b78 + b82 + b85 + b91 + b100 + b107 + b112 + b113 + b115 + b119 + b122
+ b136 + b140 + b142 + b144 + b145 + b147 + b148 + b150 + b161 + b163
+ b165 + b166 + b167 + b180 + b182 + b184 + b188 + b197 + b205 + b208
+ b211 + b215 + b219 + b224 + b225 + b227 + b228 + b230 + b232 + b234
+ b235 + b240 + b245 + b246 + b253 + b257 + b261 =G= 1;
e70.. b18 + b21 + b22 + b24 + b26 + b27 + b28 + b30 + b32 + b33 + b38 + b39
+ b58 + b62 + b73 + b78 + b82 + b85 + b91 + b100 + b107 + b112 + b113
+ b115 + b119 + b122 + b136 + b140 + b142 + b144 + b145 + b147 + b148
+ b150 + b164 + b165 + b166 + b167 + b205 + b208 + b211 + b215 + b219
+ b224 + b225 + b227 + b228 + b230 + b232 + b234 + b235 + b240 + b245
+ b246 + b252 + b253 + b254 + b256 + b257 + b261 =G= 1;
e71.. b12 + b13 + b16 + b35 + b39 + b51 + b73 + b82 + b91 + b100 + b102
+ b107 + b112 + b113 + b115 + b118 + b119 + b122 + b126 + b136 + b140
+ b142 + b144 + b145 + b147 + b148 + b150 + b161 + b163 + b180 + b182
+ b184 + b188 + b197 + b205 + b208 + b211 + b215 + b218 + b223 + b224
+ b225 + b228 + b230 + b232 + b234 + b235 + b236 + b239 + b240 + b242
+ b243 + b245 + b246 + b251 + b253 + b255 + b257 + b259 + b261 =G= 1;
e72.. b18 + b21 + b24 + b26 + b27 + b28 + b30 + b32 + b39 + b73 + b82 + b91
+ b100 + b107 + b112 + b113 + b115 + b118 + b119 + b122 + b126 + b136
+ b140 + b142 + b144 + b145 + b147 + b148 + b150 + b164 + b205 + b208
+ b211 + b215 + b224 + b225 + b228 + b230 + b232 + b234 + b235 + b236
+ b239 + b240 + b242 + b243 + b245 + b246 + b251 + b253 + b255 + b257
+ b259 + b261 =G= 1;
e73.. b12 + b13 + b16 + b22 + b31 + b33 + b35 + b38 + b44 + b46 + b48 + b53
+ b56 + b69 + b73 + b78 + b79 + b80 + b82 + b88 + b91 + b99 + b108
+ b115 + b122 + b136 + b140 + b142 + b145 + b148 + b161 + b163 + b165
+ b166 + b167 + b170 + b171 + b175 + b177 + b180 + b183 + b184 + b189
+ b196 + b197 + b198 + b199 + b202 + b209 + b215 + b219 + b222 + b224
+ b227 + b235 + b245 + b246 + b253 + b257 + b261 =G= 1;
e74.. b22 + b24 + b26 + b27 + b28 + b30 + b31 + b32 + b33 + b38 + b44 + b48
+ b56 + b69 + b73 + b78 + b79 + b80 + b82 + b88 + b91 + b99 + b108
+ b115 + b120 + b122 + b136 + b140 + b142 + b145 + b148 + b165 + b166
+ b167 + b170 + b175 + b177 + b183 + b189 + b196 + b198 + b199 + b202
+ b209 + b215 + b219 + b222 + b224 + b227 + b235 + b245 + b246 + b252
+ b253 + b254 + b256 + b257 + b258 + b260 + b261 =G= 1;
e75.. b12 + b13 + b16 + b31 + b35 + b44 + b46 + b48 + b53 + b56 + b69 + b73
+ b79 + b80 + b82 + b88 + b91 + b99 + b102 + b108 + b115 + b118 + b122
+ b126 + b136 + b140 + b142 + b145 + b148 + b161 + b163 + b170 + b171
+ b175 + b180 + b184 + b189 + b197 + b198 + b199 + b202 + b209 + b215
+ b218 + b222 + b223 + b224 + b229 + b231 + b233 + b235 + b242 + b245
+ b246 + b251 + b253 + b255 + b257 + b259 + b261 =G= 1;
e76.. b24 + b26 + b27 + b28 + b30 + b31 + b32 + b44 + b48 + b56 + b69 + b73
+ b79 + b80 + b82 + b88 + b91 + b99 + b108 + b115 + b118 + b120 + b122
+ b126 + b136 + b140 + b142 + b145 + b148 + b170 + b175 + b189 + b198
+ b199 + b202 + b209 + b215 + b222 + b224 + b229 + b231 + b233 + b235
+ b242 + b245 + b246 + b251 + b253 + b255 + b257 + b258 + b259 + b260
+ b261 =G= 1;
e77.. b12 + b13 + b16 + b22 + b33 + b35 + b38 + b46 + b51 + b53 + b58 + b62
+ b69 + b73 + b78 + b79 + b82 + b85 + b91 + b100 + b107 + b112 + b115
+ b122 + b136 + b140 + b142 + b144 + b145 + b147 + b148 + b150 + b161
+ b163 + b165 + b166 + b167 + b171 + b177 + b180 + b182 + b183 + b184
+ b188 + b189 + b196 + b197 + b199 + b209 + b215 + b219 + b222 + b224
+ b227 + b235 + b245 + b246 + b253 + b257 + b261 =G= 1;
e78.. b22 + b24 + b26 + b27 + b28 + b30 + b32 + b33 + b38 + b58 + b62 + b69
+ b73 + b78 + b79 + b82 + b85 + b91 + b100 + b107 + b112 + b115 + b122
+ b136 + b140 + b142 + b144 + b145 + b147 + b148 + b150 + b165 + b166
+ b167 + b177 + b183 + b189 + b196 + b199 + b209 + b215 + b219 + b222
+ b224 + b227 + b235 + b245 + b246 + b252 + b253 + b254 + b256 + b257
+ b261 =G= 1;
e79.. b12 + b13 + b16 + b35 + b46 + b51 + b53 + b69 + b73 + b79 + b82 + b91
+ b100 + b102 + b107 + b112 + b115 + b118 + b122 + b126 + b136 + b140
+ b142 + b144 + b145 + b147 + b148 + b150 + b161 + b163 + b171 + b180
+ b182 + b184 + b188 + b189 + b197 + b199 + b209 + b215 + b218 + b222
+ b223 + b224 + b235 + b242 + b245 + b246 + b251 + b253 + b255 + b257
+ b259 + b261 =G= 1;
e80.. b24 + b26 + b27 + b28 + b30 + b32 + b69 + b73 + b79 + b82 + b91 + b100
+ b107 + b112 + b115 + b118 + b122 + b126 + b136 + b140 + b142 + b144
+ b145 + b147 + b148 + b150 + b189 + b199 + b209 + b215 + b222 + b224
+ b235 + b242 + b245 + b246 + b251 + b253 + b255 + b257 + b259 + b261
=G= 1;
e81.. b11 + b12 + b13 + b16 + b22 + b31 + b33 + b35 + b38 + b39 + b44 + b78
+ b82 + b88 + b91 + b99 + b105 + b108 + b110 + b113 + b114 + b115 + b117
+ b119 + b121 + b122 + b125 + b128 + b142 + b145 + b148 + b156 + b157
+ b158 + b161 + b163 + b165 + b166 + b167 + b170 + b175 + b180 + b184
+ b193 + b197 + b198 + b202 + b205 + b208 + b211 + b219 + b225 + b227
+ b230 + b234 + b237 + b241 + b248 + b257 + b261 =G= 1;
e82.. b11 + b18 + b21 + b22 + b28 + b30 + b31 + b32 + b33 + b38 + b39 + b44
+ b78 + b82 + b88 + b91 + b99 + b105 + b108 + b110 + b113 + b114 + b115
+ b117 + b119 + b120 + b121 + b122 + b125 + b128 + b142 + b145 + b148
+ b156 + b157 + b158 + b164 + b165 + b166 + b167 + b170 + b175 + b198
+ b202 + b205 + b208 + b211 + b219 + b225 + b227 + b230 + b234 + b241
+ b252 + b254 + b256 + b257 + b258 + b260 + b261 =G= 1;
e83.. b11 + b12 + b13 + b16 + b31 + b35 + b39 + b44 + b82 + b88 + b91 + b99
+ b102 + b108 + b113 + b115 + b117 + b118 + b119 + b121 + b122 + b125
+ b126 + b128 + b142 + b145 + b148 + b156 + b157 + b158 + b161 + b163
+ b170 + b175 + b180 + b184 + b193 + b197 + b198 + b202 + b205 + b208
+ b211 + b218 + b223 + b225 + b229 + b230 + b231 + b233 + b234 + b236
+ b237 + b239 + b241 + b243 + b248 + b257 + b259 + b261 =G= 1;
e84.. b11 + b18 + b21 + b28 + b30 + b31 + b32 + b39 + b44 + b82 + b88 + b91
+ b99 + b108 + b113 + b115 + b117 + b118 + b119 + b120 + b121 + b122
+ b125 + b126 + b128 + b142 + b145 + b148 + b156 + b157 + b158 + b164
+ b170 + b175 + b198 + b202 + b205 + b208 + b211 + b225 + b229 + b230
+ b231 + b233 + b234 + b236 + b239 + b241 + b243 + b257 + b258 + b259
+ b260 + b261 =G= 1;
e85.. b11 + b12 + b13 + b16 + b22 + b33 + b35 + b38 + b39 + b51 + b58 + b62
+ b78 + b82 + b85 + b91 + b105 + b110 + b113 + b114 + b115 + b119 + b122
+ b128 + b142 + b144 + b145 + b147 + b148 + b150 + b156 + b157 + b158
+ b161 + b163 + b165 + b166 + b167 + b180 + b182 + b184 + b188 + b193
+ b197 + b205 + b208 + b211 + b219 + b225 + b227 + b228 + b230 + b232
+ b234 + b237 + b240 + b241 + b248 + b257 + b261 =G= 1;
e86.. b11 + b18 + b21 + b22 + b28 + b30 + b32 + b33 + b38 + b39 + b58 + b62
+ b78 + b82 + b85 + b91 + b105 + b110 + b113 + b114 + b115 + b119 + b122
+ b128 + b142 + b144 + b145 + b147 + b148 + b150 + b156 + b157 + b158
+ b164 + b165 + b166 + b167 + b205 + b208 + b211 + b219 + b225 + b227
+ b228 + b230 + b232 + b234 + b240 + b241 + b252 + b254 + b256 + b257
+ b261 =G= 1;
e87.. b11 + b12 + b13 + b16 + b35 + b39 + b51 + b82 + b91 + b102 + b113
+ b115 + b118 + b119 + b122 + b126 + b128 + b142 + b144 + b145 + b147
+ b148 + b150 + b156 + b157 + b158 + b161 + b163 + b180 + b182 + b184
+ b188 + b193 + b197 + b205 + b208 + b211 + b218 + b223 + b225 + b228
+ b230 + b232 + b234 + b236 + b237 + b239 + b240 + b241 + b243 + b248
+ b257 + b259 + b261 =G= 1;
e88.. b11 + b18 + b21 + b28 + b30 + b32 + b39 + b82 + b91 + b113 + b115
+ b118 + b119 + b122 + b126 + b128 + b142 + b144 + b145 + b147 + b148
+ b150 + b156 + b157 + b158 + b164 + b205 + b208 + b211 + b225 + b228
+ b230 + b232 + b234 + b236 + b239 + b240 + b241 + b243 + b257 + b259
+ b261 =G= 1;
e89.. b12 + b13 + b16 + b22 + b31 + b33 + b35 + b38 + b44 + b46 + b48 + b53
+ b56 + b69 + b78 + b79 + b80 + b82 + b88 + b91 + b99 + b105 + b108
+ b110 + b114 + b115 + b117 + b121 + b122 + b125 + b142 + b145 + b148
+ b156 + b157 + b158 + b161 + b163 + b165 + b166 + b167 + b170 + b171
+ b175 + b177 + b180 + b183 + b184 + b193 + b196 + b197 + b198 + b202
+ b219 + b222 + b227 + b237 + b248 + b257 + b261 =G= 1;
e90.. b22 + b28 + b30 + b31 + b32 + b33 + b38 + b44 + b48 + b56 + b69 + b78
+ b79 + b80 + b82 + b88 + b91 + b99 + b105 + b108 + b110 + b114 + b115
+ b117 + b120 + b121 + b122 + b125 + b142 + b145 + b148 + b156 + b157
+ b158 + b165 + b166 + b167 + b170 + b175 + b177 + b183 + b196 + b198
+ b202 + b219 + b222 + b227 + b252 + b254 + b256 + b257 + b258 + b260
+ b261 =G= 1;
e91.. b12 + b13 + b16 + b31 + b35 + b44 + b46 + b48 + b53 + b56 + b69 + b79
+ b80 + b82 + b88 + b91 + b99 + b102 + b108 + b115 + b117 + b118 + b121
+ b122 + b125 + b126 + b142 + b145 + b148 + b156 + b157 + b158 + b161
+ b163 + b170 + b171 + b175 + b180 + b184 + b193 + b197 + b198 + b202
+ b218 + b222 + b223 + b229 + b231 + b233 + b237 + b248 + b257 + b259
+ b261 =G= 1;
e92.. b28 + b30 + b31 + b32 + b44 + b48 + b56 + b69 + b79 + b80 + b82 + b88
+ b91 + b99 + b108 + b115 + b117 + b118 + b120 + b121 + b122 + b125
+ b126 + b142 + b145 + b148 + b156 + b157 + b158 + b170 + b175 + b198
+ b202 + b222 + b229 + b231 + b233 + b257 + b258 + b259 + b260 + b261
=G= 1;
e93.. b12 + b13 + b16 + b22 + b33 + b35 + b38 + b46 + b51 + b53 + b58 + b62
+ b69 + b78 + b79 + b82 + b85 + b91 + b105 + b110 + b114 + b115 + b122
+ b142 + b144 + b145 + b147 + b148 + b150 + b156 + b157 + b158 + b161
+ b163 + b165 + b166 + b167 + b171 + b177 + b180 + b182 + b183 + b184
+ b188 + b193 + b196 + b197 + b219 + b222 + b227 + b237 + b248 + b257
+ b261 =G= 1;
e94.. b22 + b28 + b30 + b32 + b33 + b38 + b58 + b62 + b69 + b78 + b79 + b82
+ b85 + b91 + b105 + b110 + b114 + b115 + b122 + b142 + b144 + b145
+ b147 + b148 + b150 + b156 + b157 + b158 + b165 + b166 + b167 + b177
+ b183 + b196 + b219 + b222 + b227 + b252 + b254 + b256 + b257 + b261
=G= 1;
e95.. b12 + b13 + b16 + b35 + b46 + b51 + b53 + b69 + b79 + b82 + b91 + b102
+ b115 + b118 + b122 + b126 + b142 + b144 + b145 + b147 + b148 + b150
+ b156 + b157 + b158 + b161 + b163 + b171 + b180 + b182 + b184 + b188
+ b193 + b197 + b218 + b222 + b223 + b237 + b248 + b257 + b259 + b261
=G= 1;
e96.. b28 + b30 + b32 + b69 + b79 + b82 + b91 + b115 + b118 + b122 + b126
+ b142 + b144 + b145 + b147 + b148 + b150 + b156 + b157 + b158 + b222
+ b257 + b259 + b261 =G= 1;
e97.. b12 + b13 + b16 + b22 + b31 + b33 + b35 + b38 + b39 + b44 + b63 + b65
+ b67 + b71 + b73 + b74 + b78 + b83 + b86 + b88 + b89 + b92 + b93 + b97
+ b99 + b108 + b113 + b119 + b136 + b140 + b161 + b163 + b165 + b166
+ b167 + b170 + b175 + b180 + b184 + b186 + b197 + b198 + b202 + b205
+ b206 + b208 + b211 + b212 + b215 + b217 + b219 + b224 + b225 + b227
+ b230 + b234 + b235 + b245 + b246 + b253 =G= 1;
e98.. b18 + b21 + b22 + b24 + b26 + b27 + b31 + b33 + b38 + b39 + b44 + b65
+ b73 + b74 + b78 + b83 + b86 + b88 + b89 + b92 + b93 + b97 + b99 + b108
+ b113 + b119 + b120 + b136 + b140 + b164 + b165 + b166 + b167 + b170
+ b175 + b186 + b198 + b202 + b205 + b206 + b208 + b211 + b212 + b215
+ b217 + b219 + b224 + b225 + b227 + b230 + b234 + b235 + b245 + b246
+ b252 + b253 + b254 + b256 + b258 + b260 =G= 1;
e99.. b12 + b13 + b16 + b31 + b35 + b39 + b44 + b63 + b65 + b67 + b71 + b73
+ b74 + b83 + b86 + b88 + b89 + b92 + b93 + b97 + b99 + b102 + b108
+ b113 + b119 + b136 + b140 + b161 + b163 + b170 + b175 + b180 + b184
+ b197 + b198 + b202 + b205 + b208 + b211 + b212 + b215 + b218 + b223
+ b224 + b225 + b229 + b230 + b231 + b233 + b234 + b235 + b236 + b239
+ b242 + b243 + b245 + b246 + b251 + b253 + b255 =G= 1;
e100.. b18 + b21 + b24 + b26 + b27 + b31 + b39 + b44 + b65 + b73 + b74 + b83
+ b86 + b88 + b89 + b92 + b93 + b97 + b99 + b108 + b113 + b119 + b120
+ b136 + b140 + b164 + b170 + b175 + b198 + b202 + b205 + b208 + b211
+ b212 + b215 + b224 + b225 + b229 + b230 + b231 + b233 + b234 + b235
+ b236 + b239 + b242 + b243 + b245 + b246 + b251 + b253 + b255 + b258
+ b260 =G= 1;
e101.. b12 + b13 + b16 + b22 + b33 + b35 + b38 + b39 + b51 + b58 + b62 + b63
+ b67 + b71 + b73 + b78 + b85 + b86 + b89 + b92 + b93 + b97 + b100
+ b107 + b112 + b113 + b119 + b136 + b140 + b161 + b163 + b165 + b166
+ b167 + b180 + b182 + b184 + b186 + b188 + b197 + b205 + b206 + b208
+ b211 + b212 + b215 + b217 + b219 + b224 + b225 + b227 + b228 + b230
+ b232 + b234 + b235 + b240 + b245 + b246 + b253 =G= 1;
e102.. b18 + b21 + b22 + b24 + b26 + b27 + b33 + b38 + b39 + b58 + b62 + b73
+ b78 + b85 + b86 + b89 + b92 + b93 + b97 + b100 + b107 + b112 + b113
+ b119 + b136 + b140 + b164 + b165 + b166 + b167 + b186 + b205 + b206
+ b208 + b211 + b212 + b215 + b217 + b219 + b224 + b225 + b227 + b228
+ b230 + b232 + b234 + b235 + b240 + b245 + b246 + b252 + b253 + b254
+ b256 =G= 1;
e103.. b12 + b13 + b16 + b35 + b39 + b51 + b63 + b67 + b71 + b73 + b86 + b89
+ b92 + b93 + b97 + b100 + b102 + b107 + b112 + b113 + b119 + b136
+ b140 + b161 + b163 + b180 + b182 + b184 + b188 + b197 + b205 + b208
+ b211 + b212 + b215 + b218 + b223 + b224 + b225 + b228 + b230 + b232
+ b234 + b235 + b236 + b239 + b240 + b242 + b243 + b245 + b246 + b251
+ b253 + b255 =G= 1;
e104.. b18 + b21 + b24 + b26 + b27 + b39 + b73 + b86 + b89 + b92 + b93 + b97
+ b100 + b107 + b112 + b113 + b119 + b136 + b140 + b164 + b205 + b208
+ b211 + b212 + b215 + b224 + b225 + b228 + b230 + b232 + b234 + b235
+ b236 + b239 + b240 + b242 + b243 + b245 + b246 + b251 + b253 + b255
=G= 1;
e105.. b12 + b13 + b16 + b22 + b31 + b33 + b35 + b38 + b44 + b46 + b48 + b53
+ b56 + b63 + b65 + b67 + b71 + b73 + b74 + b78 + b80 + b83 + b88 + b92
+ b97 + b99 + b108 + b136 + b140 + b161 + b163 + b165 + b166 + b167
+ b170 + b171 + b175 + b177 + b180 + b183 + b184 + b186 + b189 + b196
+ b197 + b198 + b199 + b202 + b206 + b209 + b212 + b215 + b217 + b219
+ b224 + b227 + b235 + b245 + b246 + b253 =G= 1;
e106.. b22 + b24 + b26 + b27 + b31 + b33 + b38 + b44 + b48 + b56 + b65 + b73
+ b74 + b78 + b80 + b83 + b88 + b92 + b97 + b99 + b108 + b120 + b136
+ b140 + b165 + b166 + b167 + b170 + b175 + b177 + b183 + b186 + b189
+ b196 + b198 + b199 + b202 + b206 + b209 + b212 + b215 + b217 + b219
+ b224 + b227 + b235 + b245 + b246 + b252 + b253 + b254 + b256 + b258
+ b260 =G= 1;
e107.. b12 + b13 + b16 + b31 + b35 + b44 + b46 + b48 + b53 + b56 + b63 + b65
+ b67 + b71 + b73 + b74 + b80 + b83 + b88 + b92 + b97 + b99 + b102
+ b108 + b136 + b140 + b161 + b163 + b170 + b171 + b175 + b180 + b184
+ b189 + b197 + b198 + b199 + b202 + b209 + b212 + b215 + b218 + b223
+ b224 + b229 + b231 + b233 + b235 + b242 + b245 + b246 + b251 + b253
+ b255 =G= 1;
e108.. b24 + b26 + b27 + b31 + b44 + b48 + b56 + b65 + b73 + b74 + b80 + b83
+ b88 + b92 + b97 + b99 + b108 + b120 + b136 + b140 + b170 + b175
+ b189 + b198 + b199 + b202 + b209 + b212 + b215 + b224 + b229 + b231
+ b233 + b235 + b242 + b245 + b246 + b251 + b253 + b255 + b258 + b260
=G= 1;
e109.. b12 + b13 + b16 + b22 + b33 + b35 + b38 + b46 + b51 + b53 + b58 + b62
+ b63 + b67 + b71 + b73 + b78 + b85 + b92 + b97 + b100 + b107 + b112
+ b136 + b140 + b161 + b163 + b165 + b166 + b167 + b171 + b177 + b180
+ b182 + b183 + b184 + b186 + b188 + b189 + b196 + b197 + b199 + b206
+ b209 + b212 + b215 + b217 + b219 + b224 + b227 + b235 + b245 + b246
+ b253 =G= 1;
e110.. b22 + b24 + b26 + b27 + b33 + b38 + b58 + b62 + b73 + b78 + b85 + b92
+ b97 + b100 + b107 + b112 + b136 + b140 + b165 + b166 + b167 + b177
+ b183 + b186 + b189 + b196 + b199 + b206 + b209 + b212 + b215 + b217
+ b219 + b224 + b227 + b235 + b245 + b246 + b252 + b253 + b254 + b256
=G= 1;
e111.. b12 + b13 + b16 + b35 + b46 + b51 + b53 + b63 + b67 + b71 + b73 + b92
+ b97 + b100 + b102 + b107 + b112 + b136 + b140 + b161 + b163 + b171
+ b180 + b182 + b184 + b188 + b189 + b197 + b199 + b209 + b212 + b215
+ b218 + b223 + b224 + b235 + b242 + b245 + b246 + b251 + b253 + b255
=G= 1;
e112.. b24 + b26 + b27 + b73 + b92 + b97 + b100 + b107 + b112 + b136 + b140
+ b189 + b199 + b209 + b212 + b215 + b224 + b235 + b242 + b245 + b246
+ b251 + b253 + b255 =G= 1;
e113.. b11 + b12 + b13 + b16 + b22 + b31 + b33 + b35 + b38 + b39 + b44 + b63
+ b65 + b67 + b71 + b74 + b78 + b83 + b86 + b88 + b89 + b93 + b99
+ b105 + b108 + b110 + b113 + b114 + b117 + b119 + b121 + b125 + b128
+ b161 + b163 + b165 + b166 + b167 + b170 + b175 + b180 + b184 + b186
+ b193 + b197 + b198 + b202 + b205 + b206 + b208 + b211 + b217 + b219
+ b225 + b227 + b230 + b234 + b237 + b241 + b248 =G= 1;
e114.. b11 + b18 + b21 + b22 + b31 + b33 + b38 + b39 + b44 + b65 + b74 + b78
+ b83 + b86 + b88 + b89 + b93 + b99 + b105 + b108 + b110 + b113 + b114
+ b117 + b119 + b120 + b121 + b125 + b128 + b164 + b165 + b166 + b167
+ b170 + b175 + b186 + b198 + b202 + b205 + b206 + b208 + b211 + b217
+ b219 + b225 + b227 + b230 + b234 + b241 + b252 + b254 + b256 + b258
+ b260 =G= 1;
e115.. b11 + b12 + b13 + b16 + b31 + b35 + b39 + b44 + b63 + b65 + b67 + b71
+ b74 + b83 + b86 + b88 + b89 + b93 + b99 + b102 + b108 + b113 + b117
+ b119 + b121 + b125 + b128 + b161 + b163 + b170 + b175 + b180 + b184
+ b193 + b197 + b198 + b202 + b205 + b208 + b211 + b218 + b223 + b225
+ b229 + b230 + b231 + b233 + b234 + b236 + b237 + b239 + b241 + b243
+ b248 =G= 1;
e116.. b11 + b18 + b21 + b31 + b39 + b44 + b65 + b74 + b83 + b86 + b88 + b89
+ b93 + b99 + b108 + b113 + b117 + b119 + b120 + b121 + b125 + b128
+ b164 + b170 + b175 + b198 + b202 + b205 + b208 + b211 + b225 + b229
+ b230 + b231 + b233 + b234 + b236 + b239 + b241 + b243 + b258 + b260
=G= 1;
e117.. b11 + b12 + b13 + b16 + b22 + b33 + b35 + b38 + b39 + b51 + b58 + b62
+ b63 + b67 + b71 + b78 + b85 + b86 + b89 + b93 + b105 + b110 + b113
+ b114 + b119 + b128 + b161 + b163 + b165 + b166 + b167 + b180 + b182
+ b184 + b186 + b188 + b193 + b197 + b205 + b206 + b208 + b211 + b217
+ b219 + b225 + b227 + b228 + b230 + b232 + b234 + b237 + b240 + b241
+ b248 =G= 1;
e118.. b11 + b18 + b21 + b22 + b33 + b38 + b39 + b58 + b62 + b78 + b85 + b86
+ b89 + b93 + b105 + b110 + b113 + b114 + b119 + b128 + b164 + b165
+ b166 + b167 + b186 + b205 + b206 + b208 + b211 + b217 + b219 + b225
+ b227 + b228 + b230 + b232 + b234 + b240 + b241 + b252 + b254 + b256
=G= 1;
e119.. b11 + b12 + b13 + b16 + b35 + b39 + b51 + b63 + b67 + b71 + b86 + b89
+ b93 + b102 + b113 + b119 + b128 + b161 + b163 + b180 + b182 + b184
+ b188 + b193 + b197 + b205 + b208 + b211 + b218 + b223 + b225 + b228
+ b230 + b232 + b234 + b236 + b237 + b239 + b240 + b241 + b243 + b248
=G= 1;
e120.. b11 + b18 + b21 + b39 + b86 + b89 + b93 + b113 + b119 + b128 + b164
+ b205 + b208 + b211 + b225 + b228 + b230 + b232 + b234 + b236 + b239
+ b240 + b241 + b243 =G= 1;
e121.. b12 + b13 + b16 + b22 + b31 + b33 + b35 + b38 + b44 + b46 + b48 + b53
+ b56 + b63 + b65 + b67 + b71 + b74 + b78 + b80 + b83 + b88 + b99
+ b105 + b108 + b110 + b114 + b117 + b121 + b125 + b161 + b163 + b165
+ b166 + b167 + b170 + b171 + b175 + b177 + b180 + b183 + b184 + b186
+ b193 + b196 + b197 + b198 + b202 + b206 + b217 + b219 + b227 + b237
+ b248 =G= 1;
e122.. b22 + b31 + b33 + b38 + b44 + b48 + b56 + b65 + b74 + b78 + b80 + b83
+ b88 + b99 + b105 + b108 + b110 + b114 + b117 + b120 + b121 + b125
+ b165 + b166 + b167 + b170 + b175 + b177 + b183 + b186 + b196 + b198
+ b202 + b206 + b217 + b219 + b227 + b252 + b254 + b256 + b258 + b260
=G= 1;
e123.. b12 + b13 + b16 + b31 + b35 + b44 + b46 + b48 + b53 + b56 + b63 + b65
+ b67 + b71 + b74 + b80 + b83 + b88 + b99 + b102 + b108 + b117 + b121
+ b125 + b161 + b163 + b170 + b171 + b175 + b180 + b184 + b193 + b197
+ b198 + b202 + b218 + b223 + b229 + b231 + b233 + b237 + b248 =G= 1;
e124.. b31 + b44 + b48 + b56 + b65 + b74 + b80 + b83 + b88 + b99 + b108
+ b117 + b120 + b121 + b125 + b170 + b175 + b198 + b202 + b229 + b231
+ b233 + b258 + b260 =G= 1;
e125.. b12 + b13 + b16 + b22 + b33 + b35 + b38 + b46 + b51 + b53 + b58 + b62
+ b63 + b67 + b71 + b78 + b85 + b105 + b110 + b114 + b161 + b163 + b165
+ b166 + b167 + b171 + b177 + b180 + b182 + b183 + b184 + b186 + b188
+ b193 + b196 + b197 + b206 + b217 + b219 + b227 + b237 + b248 =G= 1;
e126.. b22 + b33 + b38 + b58 + b62 + b78 + b85 + b105 + b110 + b114 + b165
+ b166 + b167 + b177 + b183 + b186 + b196 + b206 + b217 + b219 + b227
+ b252 + b254 + b256 =G= 1;
e127.. b12 + b13 + b16 + b35 + b46 + b51 + b53 + b63 + b67 + b71 + b102
+ b161 + b163 + b171 + b180 + b182 + b184 + b188 + b193 + b197 + b218
+ b223 + b237 + b248 =G= 1;
e128.. b3 + b6 + b19 + b31 + b35 + b39 + b78 + b88 + b99 + b108 + b113
+ b115 + b119 + b122 + b129 + b133 + b136 + b140 + b142 + b145 + b148
+ b152 + b161 + b163 + b165 + b166 + b167 + b170 + b175 + b180 + b184
+ b197 + b219 + b225 + b227 + b230 + b234 + b235 + b245 + b246 + b253
+ b257 =G= 1;
e129.. 100*b5 + 100*b12 + 100*b14 + 100*b20 + 100*b22 + 100*b24 + 100*b28
+ 100*b44 + 100*b46 + 100*b48 + 100*b52 + 100*b54 + 100*b58 + 100*b60
+ 100*b63 + 100*b65 + 100*b72 + 100*b82 + 100*b86 + 100*b87 + 100*b95
+ 100*b96 + 100*b97 + 100*b100 + 100*b105 + 100*b109 + 100*b117
+ 100*b123 + 100*b124 + 100*b128 + 100*b131 + 100*b132 + 100*b139
+ 100*b141 + 100*b144 + 100*b154 + 100*b155 + 100*b156 + 100*b159
+ 100*b160 + 100*b164 + 100*b177 + 100*b181 + 100*b182 + 100*b186
+ 100*b189 + 100*b192 + 100*b193 + 100*b195 + 100*b205 + 100*b207
+ 100*b215 + 100*b216 + 100*b218 + 100*b222 + 100*b228 + 100*b229
+ 100*b236 + 100*b242 + 100*b244 + 100*b252 + 100*b258 + 100*b259
=L= 300;
e130.. 100*b4 + 100*b7 + 100*b13 + 100*b18 + 100*b23 + 100*b26 + 100*b30
+ 100*b33 + 100*b34 + 100*b40 + 100*b53 + 100*b56 + 100*b59 + 100*b62
+ 100*b64 + 100*b67 + 100*b69 + 100*b74 + 100*b76 + 100*b77 + 100*b89
+ 100*b91 + 100*b94 + 100*b101 + 100*b104 + 100*b107 + 100*b110
+ 100*b111 + 100*b118 + 100*b121 + 100*b127 + 100*b134 + 100*b135
+ 100*b143 + 100*b147 + 100*b149 + 100*b157 + 100*b162 + 100*b173
+ 100*b183 + 100*b188 + 100*b191 + 100*b198 + 100*b199 + 100*b200
+ 100*b201 + 100*b206 + 100*b208 + 100*b210 + 100*b212 + 100*b221
+ 100*b223 + 100*b224 + 100*b231 + 100*b232 + 100*b237 + 100*b238
+ 100*b239 + 100*b241 + 100*b247 + 100*b251 + 100*b254 + 100*b260
=L= 300;
e131.. 100*b8 + 100*b9 + 100*b11 + 100*b15 + 100*b16 + 100*b21 + 100*b27
+ 100*b32 + 100*b38 + 100*b41 + 100*b45 + 100*b47 + 100*b51 + 100*b55
+ 100*b61 + 100*b68 + 100*b71 + 100*b73 + 100*b79 + 100*b80 + 100*b81
+ 100*b83 + 100*b85 + 100*b92 + 100*b93 + 100*b102 + 100*b103
+ 100*b106 + 100*b112 + 100*b114 + 100*b116 + 100*b120 + 100*b125
+ 100*b126 + 100*b130 + 100*b137 + 100*b138 + 100*b146 + 100*b150
+ 100*b151 + 100*b153 + 100*b158 + 100*b171 + 100*b178 + 100*b190
+ 100*b196 + 100*b202 + 100*b204 + 100*b209 + 100*b211 + 100*b214
+ 100*b217 + 100*b220 + 100*b226 + 100*b233 + 100*b240 + 100*b243
+ 100*b248 + 100*b249 + 100*b250 + 100*b255 + 100*b256 + 100*b261
=L= 300;
e132.. b5 + b14 + b52 + b54 + b60 + b72 + b123 + b132 + b139 + b141 + b155
+ b181 + b195 + b207 =L= 1;
e133.. b7 + b23 + b34 + b40 + b59 + b64 + b77 + b134 + b143 + b173 + b191
+ b200 + b210 + b238 =L= 1;
e134.. b9 + b41 + b45 + b47 + b61 + b68 + b81 + b138 + b146 + b151 + b178
+ b204 + b214 + b249 =L= 1;
e135.. - 700*b43 + 100*b66 + 100*b75 + 100*b90 + 100*b169 + 100*b179
+ 100*b185 + 100*b203 =L= 0;
e136.. - 700*b49 + 100*b70 + 100*b84 + 100*b98 + 100*b174 + 100*b187
+ 100*b194 + 100*b213 =L= 0;
e137.. b24 + b25 + b28 + b35 + b39 + b50 + b129 + b159 + b164 + b165 - b169
+ b170 + b195 + b207 + b235 + b244 + b252 + b257 + b258 =L= 1;
e138.. b18 + b26 + b30 + b36 + b57 + b76 + b113 + b115 + b133 + b161 + b166
- b169 + b175 + b200 + b210 + b246 + b247 + b254 + b260 =L= 1;
e139.. b19 + b21 + b27 + b31 + b32 + b42 + b119 + b120 + b122 + b163 + b167
- b169 + b176 + b190 + b204 + b214 + b250 + b253 + b256 =L= 1;
e140.. b10 + b24 + b28 + b88 + b142 + b152 + b159 + b164 + b172 - b174
+ b180 + b195 + b207 + b219 + b225 + b244 + b245 + b252 + b258 =L= 1;
e141.. b3 + b17 + b18 + b26 + b29 + b30 + b76 + b99 + b136 + b145 - b174
+ b184 + b200 + b210 + b227 + b230 + b247 + b254 + b260 =L= 1;
e142.. b6 + b21 + b27 + b32 + b37 + b78 + b108 + b120 + b140 + b148 + b168
- b174 + b190 + b197 + b204 + b214 + b234 + b250 + b256 =L= 1;
e143.. b25 + b35 + b39 + b50 + b54 + b129 + b131 + b139 + b165 + b170 - b179
+ b216 + b218 + b229 + b235 + b236 + b242 + b257 + b259 =L= 1;
e144.. b36 + b40 + b57 + b113 + b115 + b118 + b133 + b135 + b161 + b166
+ b173 + b175 - b179 + b221 + b223 + b231 + b239 + b246 + b251 =L= 1;
e145.. b19 + b31 + b42 + b47 + b102 + b119 + b122 + b126 + b137 + b163
+ b167 + b176 + b178 - b179 + b226 + b233 + b243 + b253 + b255 =L= 1;
e146.. b10 + b54 + b88 + b131 + b139 + b142 + b152 + b172 + b180 - b187
+ b216 + b218 + b219 + b225 + b229 + b236 + b242 + b245 + b259 =L= 1;
e147.. b3 + b17 + b29 + b40 + b99 + b118 + b135 + b136 + b145 + b173 + b184
- b187 + b221 + b223 + b227 + b230 + b231 + b239 + b251 =L= 1;
e148.. b6 + b37 + b47 + b78 + b102 + b108 + b126 + b137 + b140 + b148 + b168
+ b178 - b187 + b197 + b226 + b233 + b234 + b243 + b255 =L= 1;
e149.. b14 + b25 + b35 + b39 + b50 + b58 - b66 + b95 + b100 + b129 + b144
+ b154 + b155 + b165 + b170 + b182 + b228 + b235 + b257 =L= 1;
e150.. b4 + b23 + b34 + b36 + b57 + b62 - b66 + b104 + b107 + b113 + b115
+ b133 + b147 + b161 + b166 + b175 + b188 + b232 + b246 =L= 1;
e151.. b8 + b19 + b31 + b41 + b42 + b51 - b66 + b85 + b112 + b119 + b122
+ b150 + b151 + b163 + b167 + b176 + b220 + b240 + b253 =L= 1;
e152.. b10 + b14 + b58 - b70 + b88 + b95 + b100 + b142 + b144 + b152 + b154
+ b155 + b172 + b180 + b182 + b219 + b225 + b228 + b245 =L= 1;
e153.. b3 + b4 + b17 + b23 + b29 + b34 + b62 - b70 + b99 + b104 + b107
+ b136 + b145 + b147 + b184 + b188 + b227 + b230 + b232 =L= 1;
e154.. b6 + b8 + b37 + b41 + b51 - b70 + b78 + b85 + b108 + b112 + b140
+ b148 + b150 + b151 + b168 + b197 + b220 + b234 + b240 =L= 1;
e155.. b25 + b35 + b39 + b46 + b48 + b50 + b60 + b72 - b75 + b87 + b129
+ b165 + b170 + b177 + b189 + b192 + b222 + b235 + b257 =L= 1;
e156.. b36 + b53 + b56 + b57 + b64 + b69 - b75 + b77 + b94 + b113 + b115
+ b133 + b161 + b166 + b175 + b183 + b199 + b201 + b246 =L= 1;
e157.. b19 + b31 + b42 + b55 + b68 - b75 + b79 + b80 + b81 + b103 + b119
+ b122 + b163 + b167 + b171 + b176 + b196 + b209 + b253 =L= 1;
e158.. b10 + b46 + b48 + b60 + b72 - b84 + b87 + b88 + b142 + b152 + b172
+ b177 + b180 + b189 + b192 + b219 + b222 + b225 + b245 =L= 1;
e159.. b3 + b17 + b29 + b53 + b56 + b64 + b69 + b77 - b84 + b94 + b99 + b136
+ b145 + b183 + b184 + b199 + b201 + b227 + b230 =L= 1;
e160.. b6 + b37 + b55 + b68 + b78 + b79 + b80 + b81 - b84 + b103 + b108
+ b140 + b148 + b168 + b171 + b196 + b197 + b209 + b234 =L= 1;
e161.. b20 + b25 + b35 + b39 + b50 + b52 - b90 + b105 + b117 + b128 + b129
+ b156 + b160 + b165 + b170 + b181 + b193 + b235 + b257 =L= 1;
e162.. b36 + b57 + b59 - b90 + b110 + b113 + b115 + b121 + b133 + b149
+ b157 + b161 + b162 + b166 + b175 + b191 + b237 + b241 + b246 =L= 1;
e163.. b11 + b15 + b19 + b31 + b42 + b45 + b61 - b90 + b114 + b119 + b122
+ b125 + b153 + b158 + b163 + b167 + b176 + b248 + b253 =L= 1;
e164.. b10 + b20 + b52 + b88 - b98 + b105 + b117 + b128 + b142 + b152 + b156
+ b160 + b172 + b180 + b181 + b193 + b219 + b225 + b245 =L= 1;
e165.. b3 + b17 + b29 + b59 - b98 + b99 + b110 + b121 + b136 + b145 + b149
+ b157 + b162 + b184 + b191 + b227 + b230 + b237 + b241 =L= 1;
e166.. b6 + b11 + b15 + b37 + b45 + b61 + b78 - b98 + b108 + b114 + b125
+ b140 + b148 + b153 + b158 + b168 + b197 + b234 + b248 =L= 1;
e167.. b5 + b25 + b35 + b39 + b50 + b63 + b65 + b86 + b96 + b97 + b109
+ b123 + b129 + b165 + b170 - b185 + b186 + b235 + b257 =L= 1;
e168.. b7 + b36 + b57 + b67 + b74 + b89 + b101 + b111 + b113 + b115 + b133
+ b161 + b166 + b175 - b185 + b206 + b212 + b238 + b246 =L= 1;
e169.. b9 + b19 + b31 + b42 + b71 + b83 + b92 + b93 + b106 + b116 + b119
+ b122 + b163 + b167 + b176 - b185 + b217 + b249 + b253 =L= 1;
e170.. b5 + b10 + b63 + b65 + b86 + b88 + b96 + b97 + b109 + b123 + b142
+ b152 + b172 + b180 + b186 - b194 + b219 + b225 + b245 =L= 1;
e171.. b3 + b7 + b17 + b29 + b67 + b74 + b89 + b99 + b101 + b111 + b136
+ b145 + b184 - b194 + b206 + b212 + b227 + b230 + b238 =L= 1;
e172.. b6 + b9 + b37 + b71 + b78 + b83 + b92 + b93 + b106 + b108 + b116
+ b140 + b148 + b168 - b194 + b197 + b217 + b234 + b249 =L= 1;
e173.. b12 + b22 + b25 + b35 + b39 + b44 + b50 + b82 + b124 + b129 + b132
+ b141 + b165 + b170 - b203 + b205 + b215 + b235 + b257 =L= 1;
e174.. b13 + b33 + b36 + b57 + b91 + b113 + b115 + b127 + b133 + b134 + b143
+ b161 + b166 + b175 + b198 - b203 + b208 + b224 + b246 =L= 1;
e175.. b16 + b19 + b31 + b38 + b42 + b73 + b119 + b122 + b130 + b138 + b146
+ b163 + b167 + b176 + b202 - b203 + b211 + b253 + b261 =L= 1;
e176.. b10 + b12 + b22 + b44 + b82 + b88 + b124 + b132 + b141 + b142 + b152
+ b172 + b180 + b205 - b213 + b215 + b219 + b225 + b245 =L= 1;
e177.. b3 + b13 + b17 + b29 + b33 + b91 + b99 + b127 + b134 + b136 + b143
+ b145 + b184 + b198 + b208 - b213 + b224 + b227 + b230 =L= 1;
e178.. b6 + b16 + b37 + b38 + b73 + b78 + b108 + b130 + b138 + b140 + b146
+ b148 + b168 + b197 + b202 + b211 - b213 + b234 + b261 =L= 1;
e179.. x2 - 250*b3 - 100*b4 - 140*b5 - 250*b6 - 140*b7 - 100*b8 - 140*b9
- 255*b10 - 160*b11 - 110*b12 - 110*b13 - 305*b14 - 365*b15 - 110*b16
- 255*b17 - 495*b18 - 205*b19 - 495*b21 - 180*b22 - 305*b23 - 445*b24
- 445*b26 - 445*b27 - 300*b28 - 300*b30 - 305*b31 - 300*b32 - 180*b33
- 320*b34 - 290*b35 - 180*b38 - 225*b39 - 380*b40 - 320*b41 - 300*b43
- 100*b44 - 160*b45 - 495*b46 - 380*b47 - 470*b48 - 300*b49 - 255*b50
- 110*b51 - 360*b52 - 495*b53 - 315*b54 - 390*b55 - 470*b56 - 255*b57
- 110*b58 - 360*b59 - 225*b60 - 360*b61 - 110*b62 - 300*b63 - 225*b64
- 365*b65 - 75*b66 - 300*b67 - 225*b68 - 355*b69 - 75*b70 - 300*b71
- 475*b72 - 365*b73 - 365*b74 - 75*b75 - 110*b76 - 475*b77 - 315*b78
- 355*b79 - 470*b80 - 475*b81 - 270*b82 - 365*b83 - 75*b84 - 110*b85
- 355*b86 - 320*b88 - 355*b89 - 75*b90 - 270*b91 - 225*b92 - 355*b93
- 225*b97 - 75*b98 - 320*b99 - 460*b100 - 100*b102 - 540*b105
- 460*b107 - 320*b108 - 270*b109 - 540*b110 - 270*b111 - 460*b112
- 225*b113 - 540*b114 - 160*b115 - 270*b116 - 460*b117 - 400*b118
- 225*b119 - 110*b120 - 460*b121 - 160*b122 - 160*b123 - 460*b125
- 400*b126 - 160*b128 - 205*b129 - 180*b131 - 205*b132 - 205*b133
- 205*b134 - 180*b135 - 360*b136 - 180*b137 - 205*b138 - 380*b139
- 360*b140 - 250*b141 - 140*b142 - 250*b143 - 365*b144 - 140*b145
- 250*b146 - 365*b147 - 140*b148 - 365*b150 - 305*b151 - 250*b152
- 100*b154 - 320*b155 - 225*b156 - 225*b157 - 225*b158 - 110*b159
- 365*b160 - 290*b161 - 365*b162 - 290*b163 - 495*b164 - 380*b165
- 380*b166 - 380*b167 - 255*b168 - 75*b169 - 305*b170 - 495*b171
- 315*b173 - 75*b174 - 305*b175 - 255*b176 - 570*b177 - 315*b178
- 75*b179 - 225*b180 - 160*b181 - 110*b182 - 570*b183 - 225*b184
- 75*b185 - 400*b186 - 75*b187 - 110*b188 - 160*b189 - 110*b190
- 160*b191 - 390*b192 - 445*b193 - 75*b194 - 290*b195 - 570*b196
- 225*b197 - 100*b198 - 160*b199 - 290*b200 - 390*b201 - 100*b202
- 75*b203 - 290*b204 - 390*b205 - 400*b206 - 225*b207 - 390*b208
- 160*b209 - 225*b210 - 390*b211 - 225*b212 - 75*b213 - 225*b214
- 365*b215 - 400*b217 - 100*b218 - 315*b219 - 355*b222 - 100*b223
- 365*b224 - 475*b225 - 315*b227 - 470*b228 - 110*b229 - 475*b230
- 110*b231 - 470*b232 - 110*b233 - 475*b234 - 160*b235 - 570*b236
- 445*b237 - 160*b238 - 570*b239 - 470*b240 - 160*b241 - 540*b242
- 570*b243 - 360*b245 - 160*b246 - 445*b248 - 160*b249 - 540*b251
- 100*b252 - 160*b253 - 100*b254 - 540*b255 - 100*b256 - 160*b257
- 110*b258 - 400*b259 - 110*b260 - 270*b261 =E= 0;
e180.. b18 + b21 + b24 + b26 + b27 + b28 + b30 + b32 + b76 + b120 + b159
+ b164 + b190 + b195 + b200 + b204 + b207 + b210 + b214 + b244 + b247
+ b250 + b252 + b254 + b256 + b258 + b260 =E= 1;
e181.. b40 + b47 + b54 + b102 + b118 + b126 + b131 + b135 + b137 + b139
+ b173 + b178 + b216 + b218 + b221 + b223 + b226 + b229 + b231 + b233
+ b236 + b239 + b242 + b243 + b251 + b255 + b259 =E= 1;
e182.. b4 + b8 + b14 + b23 + b34 + b41 + b51 + b58 + b62 + b85 + b95 + b100
+ b104 + b107 + b112 + b144 + b147 + b150 + b151 + b154 + b155 + b182
+ b188 + b220 + b228 + b232 + b240 =E= 1;
e183.. b46 + b48 + b53 + b55 + b56 + b60 + b64 + b68 + b69 + b72 + b77 + b79
+ b80 + b81 + b87 + b94 + b103 + b171 + b177 + b183 + b189 + b192
+ b196 + b199 + b201 + b209 + b222 =E= 1;
e184.. b11 + b15 + b20 + b45 + b52 + b59 + b61 + b105 + b110 + b114 + b117
+ b121 + b125 + b128 + b149 + b153 + b156 + b157 + b158 + b160 + b162
+ b181 + b191 + b193 + b237 + b241 + b248 =E= 1;
e185.. b5 + b7 + b9 + b63 + b65 + b67 + b71 + b74 + b83 + b86 + b89 + b92
+ b93 + b96 + b97 + b101 + b106 + b109 + b111 + b116 + b123 + b186
+ b206 + b212 + b217 + b238 + b249 =E= 1;
e186.. b12 + b13 + b16 + b22 + b33 + b38 + b44 + b73 + b82 + b91 + b124
+ b127 + b130 + b132 + b134 + b138 + b141 + b143 + b146 + b198 + b202
+ b205 + b208 + b211 + b215 + b224 + b261 =E= 1;
e187.. - b12 + b24 + b28 - b35 - b46 - b63 + b159 + b164 - b180 - b182 - b193
+ b195 + b207 - b218 + b252 + b258 =E= 0;
e188.. - b22 + b54 - b58 - b105 + b131 + b139 - b165 - b177 - b186 + b218
- b219 + b229 + b236 + b242 - b252 + b259 =E= 0;
e189.. b14 - b44 - b48 + b58 - b65 - b88 + b100 - b117 + b144 + b154 + b155
- b170 + b182 + b228 - b229 - b258 =E= 0;
e190.. - b39 + b46 + b48 + b60 + b72 - b86 - b128 - b164 + b177 + b189 + b192
- b205 + b222 - b225 - b228 - b236 =E= 0;
e191.. - b24 + b52 - b97 - b100 + b105 + b117 + b128 + b156 + b160 + b181
- b189 + b193 - b215 - b235 - b242 - b245 =E= 0;
e192.. b5 - b28 + b63 + b65 - b82 + b86 + b97 + b109 + b123 - b142 - b144
- b156 + b186 - b222 - b257 - b259 =E= 0;
e193.. b12 + b22 + b44 + b82 - b109 - b129 - b131 + b132 + b141 - b152
- b154 - b159 - b160 - b192 + b205 + b215 =E= 0;
e194.. - b10 - b14 + b35 + b39 + b50 - b60 - b123 + b129 - b132 - b139 + b165
+ b170 - b181 - b195 + b235 + b257 =E= 0;
e195.. - b5 + b10 - b50 - b52 - b54 - b72 + b88 - b141 + b142 + b152 - b155
+ b180 - b207 + b219 + b225 + b245 =E= 0;
e196.. - b13 + b18 + b26 + b30 - b53 - b67 + b76 - b161 - b184 - b188 + b200
+ b210 - b223 - b237 + b254 + b260 =E= 0;
e197.. - b33 + b40 - b62 - b110 + b118 + b135 - b166 + b173 - b183 - b206
+ b223 - b227 + b231 + b239 + b251 - b254 =E= 0;
e198.. b4 + b23 + b34 - b56 + b62 - b74 - b99 + b107 - b121 + b147 - b175
+ b188 - b198 - b231 + b232 - b260 =E= 0;
e199.. - b18 + b53 + b56 + b64 + b69 + b77 - b89 - b113 + b183 + b199 + b201
- b208 - b230 - b232 - b239 - b241 =E= 0;
e200.. - b26 + b59 - b107 + b110 + b121 - b136 + b157 + b162 + b191 - b199
- b212 - b224 + b237 + b241 - b246 - b251 =E= 0;
e201.. b7 - b30 + b67 - b69 + b74 + b89 - b91 + b111 - b115 - b118 - b145
- b147 - b157 + b206 + b212 + b238 =E= 0;
e202.. - b3 - b4 + b13 + b33 - b76 + b91 - b111 - b133 + b134 - b135 + b143
- b162 + b198 - b201 + b208 + b224 =E= 0;
e203.. - b17 - b23 - b40 + b57 - b64 + b113 + b115 + b133 - b134 + b161 + b166
+ b175 - b191 - b200 - b238 + b246 =E= 0;
e204.. b3 - b7 + b17 - b34 - b57 - b59 - b77 + b99 + b136 - b143 + b145
- b173 + b184 - b210 + b227 + b230 =E= 0;
e205.. - b16 + b21 + b27 + b32 - b51 - b71 - b102 + b120 - b163 - b171 + b190
- b197 + b204 + b214 - b248 + b256 =E= 0;
e206.. - b38 + b47 - b78 - b85 + b102 - b114 + b126 + b137 - b167 + b178
- b196 - b217 + b233 + b243 + b255 - b256 =E= 0;
e207.. b8 - b31 + b41 + b51 - b80 - b83 + b85 - b108 + b112 - b120 - b125
+ b150 + b151 - b202 - b233 + b240 =E= 0;
e208.. - b11 - b21 + b55 + b68 + b79 + b80 + b81 - b93 - b119 + b171 + b196
+ b209 - b211 - b234 - b240 - b243 =E= 0;
e209.. b11 + b15 - b27 + b45 + b61 - b73 - b92 - b112 + b114 + b125 - b140
+ b158 - b209 + b248 - b253 - b255 =E= 0;
e210.. b9 - b32 + b71 - b79 + b83 + b92 + b93 + b116 - b122 - b126 - b148
- b150 - b158 + b217 + b249 - b261 =E= 0;
e211.. - b6 - b8 - b15 + b16 - b19 + b38 - b55 + b73 - b116 - b137 + b138
+ b146 - b190 + b202 + b211 + b261 =E= 0;
e212.. b19 + b31 - b45 - b47 - b68 + b119 + b122 - b138 - b151 + b163 + b167
- b168 + b176 - b204 - b249 + b253 =E= 0;
e213.. b6 - b9 - b41 - b61 + b78 - b81 + b108 + b140 - b146 + b148 + b168
- b176 - b178 + b197 - b214 + b234 =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% minimizing objvar;
Website © 2017-2021 by Zuse Institute Berlin and GAMS. All rights reserved.
Imprint.
QPLIB is licensed under CC-BY 4.0.