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-2019 by Zuse Institute Berlin. All rights reserved. Imprint.