#  MIQCP written by GAMS Convert at 02/15/18 15:46:11
#  
#  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
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0;
var b3 binary >= 0, <= 1;
var b4 binary >= 0, <= 1;
var b5 binary >= 0, <= 1;
var b6 binary >= 0, <= 1;
var b7 binary >= 0, <= 1;
var b8 binary >= 0, <= 1;
var b9 binary >= 0, <= 1;
var b10 binary >= 0, <= 1;
var b11 binary >= 0, <= 1;
var b12 binary >= 0, <= 1;
var b13 binary >= 0, <= 1;
var b14 binary >= 0, <= 1;
var b15 binary >= 0, <= 1;
var b16 binary >= 0, <= 1;
var b17 binary >= 0, <= 1;
var b18 binary >= 0, <= 1;
var b19 binary >= 0, <= 1;
var b20 binary >= 0, <= 1;
var b21 binary >= 0, <= 1;
var b22 binary >= 0, <= 1;
var b23 binary >= 0, <= 1;
var b24 binary >= 0, <= 1;
var b25 binary >= 0, <= 1;
var b26 binary >= 0, <= 1;
var b27 binary >= 0, <= 1;
var b28 binary >= 0, <= 1;
var b29 binary >= 0, <= 1;
var b30 binary >= 0, <= 1;
var b31 binary >= 0, <= 1;
var b32 binary >= 0, <= 1;
var b33 binary >= 0, <= 1;
var b34 binary >= 0, <= 1;
var b35 binary >= 0, <= 1;
var b36 binary >= 0, <= 1;
var b37 binary >= 0, <= 1;
var b38 binary >= 0, <= 1;
var b39 binary >= 0, <= 1;
var b40 binary >= 0, <= 1;
var b41 binary >= 0, <= 1;
var b42 binary >= 0, <= 1;
var b43 binary >= 0, <= 1;
var b44 binary >= 0, <= 1;
var b45 binary >= 0, <= 1;
var b46 binary >= 0, <= 1;
var b47 binary >= 0, <= 1;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var b50 binary >= 0, <= 1;
var b51 binary >= 0, <= 1;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var b54 binary >= 0, <= 1;
var b55 binary >= 0, <= 1;
var b56 binary >= 0, <= 1;
var b57 binary >= 0, <= 1;
var b58 binary >= 0, <= 1;
var b59 binary >= 0, <= 1;
var b60 binary >= 0, <= 1;
var b61 binary >= 0, <= 1;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var b64 binary >= 0, <= 1;
var b65 binary >= 0, <= 1;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var b68 binary >= 0, <= 1;
var b69 binary >= 0, <= 1;
var b70 binary >= 0, <= 1;
var b71 binary >= 0, <= 1;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var b76 binary >= 0, <= 1;
var b77 binary >= 0, <= 1;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var b80 binary >= 0, <= 1;
var b81 binary >= 0, <= 1;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
var b88 binary >= 0, <= 1;
var b89 binary >= 0, <= 1;
var b90 binary >= 0, <= 1;
var b91 binary >= 0, <= 1;
var b92 binary >= 0, <= 1;
var b93 binary >= 0, <= 1;
var b94 binary >= 0, <= 1;
var b95 binary >= 0, <= 1;
var b96 binary >= 0, <= 1;
var b97 binary >= 0, <= 1;
var b98 binary >= 0, <= 1;
var b99 binary >= 0, <= 1;
var b100 binary >= 0, <= 1;
var b101 binary >= 0, <= 1;
var b102 binary >= 0, <= 1;
var b103 binary >= 0, <= 1;
var b104 binary >= 0, <= 1;
var b105 binary >= 0, <= 1;
var b106 binary >= 0, <= 1;
var b107 binary >= 0, <= 1;
var b108 binary >= 0, <= 1;
var b109 binary >= 0, <= 1;
var b110 binary >= 0, <= 1;
var b111 binary >= 0, <= 1;
var b112 binary >= 0, <= 1;
var b113 binary >= 0, <= 1;
var b114 binary >= 0, <= 1;
var b115 binary >= 0, <= 1;
var b116 binary >= 0, <= 1;
var b117 binary >= 0, <= 1;
var b118 binary >= 0, <= 1;
var b119 binary >= 0, <= 1;
var b120 binary >= 0, <= 1;
var b121 binary >= 0, <= 1;
var b122 binary >= 0, <= 1;
var b123 binary >= 0, <= 1;
var b124 binary >= 0, <= 1;
var b125 binary >= 0, <= 1;
var b126 binary >= 0, <= 1;
var b127 binary >= 0, <= 1;
var b128 binary >= 0, <= 1;
var b129 binary >= 0, <= 1;
var b130 binary >= 0, <= 1;
var b131 binary >= 0, <= 1;
var b132 binary >= 0, <= 1;
var b133 binary >= 0, <= 1;
var b134 binary >= 0, <= 1;
var b135 binary >= 0, <= 1;
var b136 binary >= 0, <= 1;
var b137 binary >= 0, <= 1;
var b138 binary >= 0, <= 1;
var b139 binary >= 0, <= 1;
var b140 binary >= 0, <= 1;
var b141 binary >= 0, <= 1;
var b142 binary >= 0, <= 1;
var b143 binary >= 0, <= 1;
var b144 binary >= 0, <= 1;
var b145 binary >= 0, <= 1;
var b146 binary >= 0, <= 1;
var b147 binary >= 0, <= 1;
var b148 binary >= 0, <= 1;
var b149 binary >= 0, <= 1;
var b150 binary >= 0, <= 1;
var b151 binary >= 0, <= 1;
var b152 binary >= 0, <= 1;
var b153 binary >= 0, <= 1;
var b154 binary >= 0, <= 1;
var b155 binary >= 0, <= 1;
var b156 binary >= 0, <= 1;
var b157 binary >= 0, <= 1;
var b158 binary >= 0, <= 1;
var b159 binary >= 0, <= 1;
var b160 binary >= 0, <= 1;
var b161 binary >= 0, <= 1;
var b162 binary >= 0, <= 1;
var b163 binary >= 0, <= 1;
var b164 binary >= 0, <= 1;
var b165 binary >= 0, <= 1;
var b166 binary >= 0, <= 1;
var b167 binary >= 0, <= 1;
var b168 binary >= 0, <= 1;
var b169 binary >= 0, <= 1;
var b170 binary >= 0, <= 1;
var b171 binary >= 0, <= 1;
var b172 binary >= 0, <= 1;
var b173 binary >= 0, <= 1;
var b174 binary >= 0, <= 1;
var b175 binary >= 0, <= 1;
var b176 binary >= 0, <= 1;
var b177 binary >= 0, <= 1;
var b178 binary >= 0, <= 1;
var b179 binary >= 0, <= 1;
var b180 binary >= 0, <= 1;
var b181 binary >= 0, <= 1;
var b182 binary >= 0, <= 1;
var b183 binary >= 0, <= 1;
var b184 binary >= 0, <= 1;
var b185 binary >= 0, <= 1;
var b186 binary >= 0, <= 1;
var b187 binary >= 0, <= 1;
var b188 binary >= 0, <= 1;
var b189 binary >= 0, <= 1;
var b190 binary >= 0, <= 1;
var b191 binary >= 0, <= 1;
var b192 binary >= 0, <= 1;
var b193 binary >= 0, <= 1;
var b194 binary >= 0, <= 1;
var b195 binary >= 0, <= 1;
var b196 binary >= 0, <= 1;
var b197 binary >= 0, <= 1;
var b198 binary >= 0, <= 1;
var b199 binary >= 0, <= 1;
var b200 binary >= 0, <= 1;
var b201 binary >= 0, <= 1;
var b202 binary >= 0, <= 1;
var b203 binary >= 0, <= 1;
var b204 binary >= 0, <= 1;
var b205 binary >= 0, <= 1;
var b206 binary >= 0, <= 1;
var b207 binary >= 0, <= 1;
var b208 binary >= 0, <= 1;
var b209 binary >= 0, <= 1;
var b210 binary >= 0, <= 1;
var b211 binary >= 0, <= 1;
var b212 binary >= 0, <= 1;
var b213 binary >= 0, <= 1;
var b214 binary >= 0, <= 1;
var b215 binary >= 0, <= 1;
var b216 binary >= 0, <= 1;
var b217 binary >= 0, <= 1;
var b218 binary >= 0, <= 1;
var b219 binary >= 0, <= 1;
var b220 binary >= 0, <= 1;
var b221 binary >= 0, <= 1;
var b222 binary >= 0, <= 1;
var b223 binary >= 0, <= 1;
var b224 binary >= 0, <= 1;
var b225 binary >= 0, <= 1;
var b226 binary >= 0, <= 1;
var b227 binary >= 0, <= 1;
var b228 binary >= 0, <= 1;
var b229 binary >= 0, <= 1;
var b230 binary >= 0, <= 1;
var b231 binary >= 0, <= 1;
var b232 binary >= 0, <= 1;
var b233 binary >= 0, <= 1;
var b234 binary >= 0, <= 1;
var b235 binary >= 0, <= 1;
var b236 binary >= 0, <= 1;
var b237 binary >= 0, <= 1;
var b238 binary >= 0, <= 1;
var b239 binary >= 0, <= 1;
var b240 binary >= 0, <= 1;
var b241 binary >= 0, <= 1;
var b242 binary >= 0, <= 1;
var b243 binary >= 0, <= 1;
var b244 binary >= 0, <= 1;
var b245 binary >= 0, <= 1;
var b246 binary >= 0, <= 1;
var b247 binary >= 0, <= 1;
var b248 binary >= 0, <= 1;
var b249 binary >= 0, <= 1;
var b250 binary >= 0, <= 1;
var b251 binary >= 0, <= 1;
var b252 binary >= 0, <= 1;
var b253 binary >= 0, <= 1;
var b254 binary >= 0, <= 1;
var b255 binary >= 0, <= 1;
var b256 binary >= 0, <= 1;
var b257 binary >= 0, <= 1;
var b258 binary >= 0, <= 1;
var b259 binary >= 0, <= 1;
var b260 binary >= 0, <= 1;
var b261 binary >= 0, <= 1;

minimize obj: 0.4939625*b3^2 + 0.0006353*b3*b4 + 0.001270605*b4^2 + 0.1523025*
    b4*b5 + 0.3046045*b5^2 + 0.1172255*b5*b6 + 0.2344505*b6^2 + 0.04746825*b6*
    b7 + 0.0949365*b7^2 + 0.2035215*b7*b8 + 0.407043*b8^2 + 0.230473*b8*b9 + 
    0.460946*b9^2 + 0.2201535*b9*b10 + 0.440307*b10^2 + 0.167965*b10*b11 + 
    0.33593*b11^2 + 0.239289*b11*b12 + 0.478578*b12^2 + 0.0264315*b12*b13 + 
    0.052863*b13^2 + 0.02599475*b13*b14 + 0.0519895*b14^2 + 0.047151*b14*b15 + 
    0.094302*b15^2 + 0.1785265*b15*b16 + 0.357053*b16^2 + 0.1069045*b16*b17 + 
    0.213809*b17^2 + 0.1444315*b17*b18 + 0.2888625*b18*b18 + 0.137883*b18*b19
     + 0.275766*b19^2 + 0.00428145*b19*b20 + 0.0085629*b20^2 + 0.1803395*b20*
    b21 + 0.3606795*b21^2 + 0.065784*b21*b22 + 0.1315675*b22^2 + 0.12667*b22*
    b23 + 0.25334*b23^2 + 0.02590175*b23*b24 + 0.0518035*b24^2 + 0.087401*b24*
    b25 + 0.174802*b25^2 + 0.240723*b25*b26 + 0.481446*b26^2 + 0.2087835*b26*
    b27 + 0.4175665*b27^2 + 0.0168043*b27*b28 + 0.03360855*b28^2 + 0.1164095*
    b28*b29 + 0.2328185*b29^2 + 0.045215*b29*b30 + 0.09043*b30^2 + 0.214095*b30
    *b31 + 0.4281895*b31^2 + 0.166637*b31*b32 + 0.3332735*b32^2 + 0.101812*b32*
    b33 + 0.2036235*b33*b33 + 0.1010235*b33*b34 + 0.202047*b34^2 + 0.1847035*
    b34*b35 + 0.369407*b35^2 + 0.166303*b35*b36 + 0.332606*b36^2 + 0.0761325*
    b36*b37 + 0.1522655*b37^2 + 0.1439515*b37*b38 + 0.2879035*b38^2 + 0.2441035
    *b38*b39 + 0.488207*b39^2 + 0.2355055*b39*b40 + 0.471011*b40^2 + 0.24019*
    b40*b41 + 0.48038*b41^2 + 0.090881*b41*b42 + 0.1817625*b42^2 + 0.240387*b42
    *b43 + 0.4807735*b43^2 + 0.00077219*b43*b44 + 0.00154438*b44*b44 + 
    0.1131095*b44*b45 + 0.226219*b45^2 + 0.2412635*b45*b46 + 0.4825275*b46^2 + 
    0.1888995*b46*b47 + 0.377799*b47^2 + 0.0071908*b47*b48 + 0.01438165*b48^2
     + 0.00682575*b48*b49 + 0.01365145*b49^2 + 0.1125255*b49*b50 + 0.2250515*
    b50^2 + 0.188594*b50*b51 + 0.3771875*b51*b51 + 0.048654*b51*b52 + 0.097308*
    b52^2 + 0.113325*b52*b53 + 0.2266495*b53^2 + 0.0425305*b53*b54 + 0.085061*
    b54^2 + 0.121683*b54*b55 + 0.2433655*b55^2 + 0.043066*b55*b56 + 0.086132*
    b56^2 + 0.196937*b56*b57 + 0.393874*b57^2 + 0.0099834*b57*b58 + 0.0199668*
    b58^2 + 0.1129875*b58*b59 + 0.2259755*b59^2 + 0.1636075*b59*b60 + 0.327215*
    b60^2 + 0.0871525*b60*b61 + 0.174305*b61^2 + 0.1195315*b61*b62 + 0.2390625*
    b62*b62 + 0.033128*b62*b63 + 0.066256*b63^2 + 0.0782245*b63*b64 + 0.1564495
    *b64^2 + 0.2449545*b64*b65 + 0.4899085*b65^2 + 0.03624975*b65*b66 + 
    0.0724995*b66^2 + 0.0822265*b66*b67 + 0.164453*b67^2 + 0.15092*b67*b68 + 
    0.30184*b68^2 + 0.1252825*b68*b69 + 0.250565*b69^2 + 0.1253545*b69*b70 + 
    0.250709*b70^2 + 0.0855175*b70*b71 + 0.1710345*b71^2 + 0.097571*b71*b72 + 
    0.195142*b72^2 + 0.0649405*b72*b73 + 0.1298805*b73^2 + 0.1262725*b73*b74 + 
    0.2525455*b74^2 + 0.1039055*b74*b75 + 0.207811*b75*b75 + 0.01089575*b75*b76
     + 0.02179145*b76^2 + 0.239263*b76*b77 + 0.478526*b77^2 + 0.1547825*b77*b78
     + 0.309565*b78^2 + 0.180182*b78*b79 + 0.360364*b79^2 + 0.1082445*b79*b80
     + 0.2164885*b80^2 + 0.148051*b80*b81 + 0.296102*b81^2 + 0.10505*b81*b82 + 
    0.2101*b82^2 + 0.13292*b82*b83 + 0.2658405*b83^2 + 0.04309575*b83*b84 + 
    0.0861915*b84^2 + 0.02158725*b84*b85 + 0.0431745*b85^2 + 0.175829*b85*b86
     + 0.351658*b86*b86 + 0.146545*b86*b87 + 0.2930905*b87^2 + 0.208656*b87*b88
     + 0.417312*b88^2 + 0.123742*b88*b89 + 0.247484*b89^2 + 0.2497865*b89*b90
     + 0.499573*b90^2 + 0.1868095*b90*b91 + 0.3736185*b91^2 + 0.20206*b91*b92
     + 0.40412*b92^2 + 0.1027535*b92*b93 + 0.205507*b93^2 + 0.1720365*b93*b94
     + 0.3440725*b94^2 + 0.2114645*b94*b95 + 0.422929*b95^2 + 0.1522385*b95*b96
     + 0.304477*b96^2 + 0.0636155*b96*b97 + 0.1272315*b97^2 + 0.00472315*b97*
    b98 + 0.0094463*b98^2 + 0.100177*b98*b99 + 0.200354*b99*b99 + 0.031478*b99*
    b100 + 0.062956*b100^2 + 0.1089465*b100*b101 + 0.217893*b101^2 + 0.1921295*
    b101*b102 + 0.3842585*b102^2 + 0.0796035*b102*b103 + 0.1592065*b103^2 + 
    0.1311605*b103*b104 + 0.2623205*b104*b104 + 0.0990015*b104*b105 + 0.1980035
    *b105^2 + 0.0921965*b105*b106 + 0.184393*b106^2 + 0.0167586*b106*b107 + 
    0.03351715*b107^2 + 0.244959*b107*b108 + 0.4899175*b108^2 + 0.007724*b108*
    b109 + 0.015448*b109^2 + 0.2017165*b109*b110 + 0.403433*b110^2 + 0.0594015*
    b110*b111 + 0.1188025*b111^2 + 0.059286*b111*b112 + 0.118572*b112^2 + 
    0.1411485*b112*b113 + 0.2822975*b113^2 + 0.000534035*b113*b114 + 
    0.001068075*b114*b114 + 0.00789825*b114*b115 + 0.0157965*b115^2 + 0.215241*
    b115*b116 + 0.4304815*b116^2 + 0.173704*b116*b117 + 0.347408*b117^2 + 
    0.0085332*b117*b118 + 0.0170664*b118^2 + 0.2208115*b118*b119 + 0.441623*
    b119^2 + 0.1255585*b119*b120 + 0.251117*b120^2 + 0.1169785*b120*b121 + 
    0.2339565*b121^2 + 0.1209025*b121*b122 + 0.2418045*b122^2 + 0.1838555*b122*
    b123 + 0.367711*b123^2 + 0.1755495*b123*b124 + 0.351099*b124^2 + 0.2077665*
    b124*b125 + 0.4155325*b125^2 + 0.1649115*b125*b126 + 0.329823*b126^2 + 
    0.1812495*b126*b127 + 0.362499*b127^2 + 0.036619*b127*b128 + 0.073238*b128^
    2 + 0.130559*b128*b129 + 0.2611185*b129^2 + 0.1453385*b129*b130 + 0.2906775
    *b130^2 + 0.0447945*b130*b131 + 0.089589*b131^2 + 0.1618065*b131*b132 + 
    0.3236135*b132^2 + 0.1995145*b132*b133 + 0.3990295*b133^2 + 0.0545815*b133*
    b134 + 0.1091635*b134^2 + 0.088258*b134*b135 + 0.1765165*b135^2 + 0.110626*
    b135*b136 + 0.221252*b136^2 + 0.04578375*b136*b137 + 0.0915675*b137*b137 + 
    0.193699*b137*b138 + 0.3873975*b138^2 + 0.1762075*b138*b139 + 0.3524145*
    b139^2 + 0.0281075*b139*b140 + 0.056215*b140^2 + 0.209716*b140*b141 + 
    0.4194315*b141^2 + 0.201339*b141*b142 + 0.4026785*b142^2 + 0.1356345*b142*
    b143 + 0.271269*b143^2 + 0.1302425*b143*b144 + 0.2604845*b144^2 + 0.0845485
    *b144*b145 + 0.1690965*b145^2 + 0.003285175*b145*b146 + 0.00657035*b146^2
     + 0.03997025*b146*b147 + 0.0799405*b147^2 + 0.091141*b147*b148 + 0.182282*
    b148^2 + 0.121743*b148*b149 + 0.243486*b149^2 + 0.098798*b149*b150 + 
    0.1975955*b150^2 + 0.03220275*b150*b151 + 0.0644055*b151^2 + 0.2460545*b151
    *b152 + 0.492109*b152^2 + 0.178299*b152*b153 + 0.3565975*b153^2 + 0.2385995
    *b153*b154 + 0.4771995*b154^2 + 0.176025*b154*b155 + 0.3520505*b155^2 + 
    0.2042355*b155*b156 + 0.408471*b156^2 + 0.120612*b156*b157 + 0.2412235*b157
    ^2 + 0.0345695*b157*b158 + 0.069139*b158^2 + 0.184076*b158*b159 + 0.3681525
    *b159^2 + 0.052793*b159*b160 + 0.1055865*b160^2 + 0.153939*b160*b161 + 
    0.3078775*b161^2 + 0.12845*b161*b162 + 0.2569*b162^2 + 0.227665*b162*b163
     + 0.45533*b163^2 + 0.133906*b163*b164 + 0.267812*b164^2 + 0.0512745*b164*
    b165 + 0.102549*b165^2 + 0.224534*b165*b166 + 0.4490685*b166^2 + 0.197141*
    b166*b167 + 0.3942825*b167^2 + 0.1376435*b167*b168 + 0.275287*b168^2 + 
    0.245515*b168*b169 + 0.4910305*b169^2 + 0.246274*b169*b170 + 0.492548*b170^
    2 + 0.025549*b170*b171 + 0.051098*b171^2 + 0.1916025*b171*b172 + 0.3832055*
    b172^2 + 0.209452*b172*b173 + 0.418904*b173^2 + 0.0888045*b173*b174 + 
    0.177609*b174^2 + 0.226846*b174*b175 + 0.453692*b175^2 + 0.1475415*b175*
    b176 + 0.295083*b176^2 + 0.2017795*b176*b177 + 0.403559*b177^2 + 0.050773*
    b177*b178 + 0.1015465*b178^2 + 0.04117675*b178*b179 + 0.0823535*b179^2 + 
    0.06341*b179*b180 + 0.1268195*b180^2 + 0.1833595*b180*b181 + 0.3667195*b181
    ^2 + 0.133085*b181*b182 + 0.2661695*b182^2 + 0.143075*b182*b183 + 0.2861495
    *b183^2 + 0.041687*b183*b184 + 0.083374*b184^2 + 0.0140288*b184*b185 + 
    0.02805755*b185^2 + 0.155624*b185*b186 + 0.3112475*b186^2 + 0.099198*b186*
    b187 + 0.198396*b187^2 + 0.00678545*b187*b188 + 0.0135709*b188^2 + 0.060009
    *b188*b189 + 0.120018*b189^2 + 0.1371165*b189*b190 + 0.274233*b190^2 + 
    0.2117125*b190*b191 + 0.423425*b191^2 + 0.083177*b191*b192 + 0.1663545*b192
    ^2 + 0.1900745*b192*b193 + 0.3801495*b193^2 + 0.054931*b193*b194 + 
    0.1098615*b194^2 + 0.136222*b194*b195 + 0.272444*b195^2 + 0.00400525*b195*
    b196 + 0.0080105*b196^2 + 0.2014865*b196*b197 + 0.4029735*b197*b197 + 
    0.01429375*b197*b198 + 0.0285875*b198^2 + 0.00194807*b198*b199 + 0.00389614
    *b199^2 + 0.0948555*b199*b200 + 0.189711*b200^2 + 0.160129*b200*b201 + 
    0.320258*b201^2 + 0.078012*b201*b202 + 0.1560235*b202^2 + 0.200191*b202*
    b203 + 0.400382*b203^2 + 0.1354445*b203*b204 + 0.270889*b204^2 + 0.0363815*
    b204*b205 + 0.072763*b205^2 + 0.001987175*b205*b206 + 0.00397435*b206^2 + 
    0.0724705*b206*b207 + 0.144941*b207^2 + 0.0776225*b207*b208 + 0.155245*b208
    ^2 + 0.0964705*b208*b209 + 0.192941*b209^2 + 0.03917075*b209*b210 + 
    0.0783415*b210*b210 + 0.1970725*b210*b211 + 0.3941445*b211^2 + 0.00937655*
    b211*b212 + 0.01875315*b212^2 + 0.0527415*b212*b213 + 0.1054835*b213^2 + 
    0.0360905*b213*b214 + 0.072181*b214^2 + 0.1274335*b214*b215 + 0.254867*b215
    ^2 + 0.037572*b215*b216 + 0.075144*b216^2 + 0.1633775*b216*b217 + 0.3267555
    *b217^2 + 0.1245935*b217*b218 + 0.2491865*b218^2 + 0.0662175*b218*b219 + 
    0.1324345*b219^2 + 0.2355105*b219*b220 + 0.4710215*b220^2 + 0.2177855*b220*
    b221 + 0.435571*b221^2 + 0.2007655*b221*b222 + 0.4015305*b222^2 + 0.1793995
    *b222*b223 + 0.358799*b223*b223 + 0.196572*b223*b224 + 0.393144*b224^2 + 
    0.097671*b224*b225 + 0.195342*b225^2 + 0.127268*b225*b226 + 0.254536*b226^2
     + 0.1689055*b226*b227 + 0.3378115*b227^2 + 0.0168549*b227*b228 + 
    0.03370985*b228*b228 + 0.2148715*b228*b229 + 0.429743*b229^2 + 0.0355005*
    b229*b230 + 0.071001*b230^2 + 0.1211465*b230*b231 + 0.242293*b231^2 + 
    0.1525965*b231*b232 + 0.305193*b232^2 + 0.1358665*b232*b233 + 0.271733*b233
    ^2 + 0.2115445*b233*b234 + 0.423089*b234^2 + 0.112794*b234*b235 + 0.2255885
    *b235^2 + 0.1905595*b235*b236 + 0.381119*b236^2 + 0.205807*b236*b237 + 
    0.4116135*b237^2 + 0.1884755*b237*b238 + 0.3769515*b238*b238 + 0.2445575*
    b238*b239 + 0.4891145*b239^2 + 0.0747845*b239*b240 + 0.149569*b240^2 + 
    0.082447*b240*b241 + 0.1648945*b241^2 + 0.2255185*b241*b242 + 0.451037*b242
    ^2 + 0.142878*b242*b243 + 0.285756*b243^2 + 0.20078*b243*b244 + 0.40156*
    b244^2 + 0.2019305*b244*b245 + 0.4038605*b245^2 + 0.2454085*b245*b246 + 
    0.490817*b246^2 + 0.1368955*b246*b247 + 0.273791*b247^2 + 0.1174755*b247*
    b248 + 0.234951*b248^2 + 0.169641*b248*b249 + 0.339282*b249^2 + 0.1049445*
    b249*b250 + 0.2098885*b250^2 + 0.0209294*b250*b251 + 0.0418588*b251^2 + 
    0.075677*b251*b252 + 0.1513535*b252^2 + 0.085945*b252*b253 + 0.1718895*b253
    ^2 + 0.104052*b253*b254 + 0.2081045*b254^2 + 0.1659725*b254*b255 + 0.331945
    *b255^2 + 0.133498*b255*b256 + 0.266996*b256^2 + 0.148093*b256*b257 + 
    0.296186*b257^2 + 0.181225*b257*b258 + 0.36245*b258^2 + 0.155767*b258*b259
     + 0.3115345*b259^2 + 0.216688*b259*b260 + 0.4333765*b260^2 + 0.1238515*
    b260*b261 + 0.2477035*b261^2 + x2;

subject to

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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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
      >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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
      >= 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 >= 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 >= 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 >= 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 >= 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 >= 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
      >= 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 >= 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
      >= 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 >= 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 >= 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 >= 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 >= 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 >= 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
      >= 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
      >= 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 >= 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 >= 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 >= 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 >= 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 >= 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
      >= 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
      >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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
      >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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
      >= 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 >= 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
      >= 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
      >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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 >= 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
       >= 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 >= 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 >= 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 >= 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 >= 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 >= 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
       >= 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
       >= 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 >= 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 >= 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 >= 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 >= 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
       >= 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 >= 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
       >= 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
       >= 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 >= 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
       >= 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
       >= 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 >= 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 >= 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 >= 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 >= 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 >= 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
       >= 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
       <= 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
       <= 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 <= 300;

e132:    b5 + b14 + b52 + b54 + b60 + b72 + b123 + b132 + b139 + b141 + b155
       + b181 + b195 + b207 <= 1;

e133:    b7 + b23 + b34 + b40 + b59 + b64 + b77 + b134 + b143 + b173 + b191
       + b200 + b210 + b238 <= 1;

e134:    b9 + b41 + b45 + b47 + b61 + b68 + b81 + b138 + b146 + b151 + b178
       + b204 + b214 + b249 <= 1;

e135:  - 700*b43 + 100*b66 + 100*b75 + 100*b90 + 100*b169 + 100*b179 + 100*b185
       + 100*b203 <= 0;

e136:  - 700*b49 + 100*b70 + 100*b84 + 100*b98 + 100*b174 + 100*b187 + 100*b194
       + 100*b213 <= 0;

e137:    b24 + b25 + b28 + b35 + b39 + b50 + b129 + b159 + b164 + b165 - b169
       + b170 + b195 + b207 + b235 + b244 + b252 + b257 + b258 <= 1;

e138:    b18 + b26 + b30 + b36 + b57 + b76 + b113 + b115 + b133 + b161 + b166
       - b169 + b175 + b200 + b210 + b246 + b247 + b254 + b260 <= 1;

e139:    b19 + b21 + b27 + b31 + b32 + b42 + b119 + b120 + b122 + b163 + b167
       - b169 + b176 + b190 + b204 + b214 + b250 + b253 + b256 <= 1;

e140:    b10 + b24 + b28 + b88 + b142 + b152 + b159 + b164 + b172 - b174 + b180
       + b195 + b207 + b219 + b225 + b244 + b245 + b252 + b258 <= 1;

e141:    b3 + b17 + b18 + b26 + b29 + b30 + b76 + b99 + b136 + b145 - b174
       + b184 + b200 + b210 + b227 + b230 + b247 + b254 + b260 <= 1;

e142:    b6 + b21 + b27 + b32 + b37 + b78 + b108 + b120 + b140 + b148 + b168
       - b174 + b190 + b197 + b204 + b214 + b234 + b250 + b256 <= 1;

e143:    b25 + b35 + b39 + b50 + b54 + b129 + b131 + b139 + b165 + b170 - b179
       + b216 + b218 + b229 + b235 + b236 + b242 + b257 + b259 <= 1;

e144:    b36 + b40 + b57 + b113 + b115 + b118 + b133 + b135 + b161 + b166
       + b173 + b175 - b179 + b221 + b223 + b231 + b239 + b246 + b251 <= 1;

e145:    b19 + b31 + b42 + b47 + b102 + b119 + b122 + b126 + b137 + b163 + b167
       + b176 + b178 - b179 + b226 + b233 + b243 + b253 + b255 <= 1;

e146:    b10 + b54 + b88 + b131 + b139 + b142 + b152 + b172 + b180 - b187
       + b216 + b218 + b219 + b225 + b229 + b236 + b242 + b245 + b259 <= 1;

e147:    b3 + b17 + b29 + b40 + b99 + b118 + b135 + b136 + b145 + b173 + b184
       - b187 + b221 + b223 + b227 + b230 + b231 + b239 + b251 <= 1;

e148:    b6 + b37 + b47 + b78 + b102 + b108 + b126 + b137 + b140 + b148 + b168
       + b178 - b187 + b197 + b226 + b233 + b234 + b243 + b255 <= 1;

e149:    b14 + b25 + b35 + b39 + b50 + b58 - b66 + b95 + b100 + b129 + b144
       + b154 + b155 + b165 + b170 + b182 + b228 + b235 + b257 <= 1;

e150:    b4 + b23 + b34 + b36 + b57 + b62 - b66 + b104 + b107 + b113 + b115
       + b133 + b147 + b161 + b166 + b175 + b188 + b232 + b246 <= 1;

e151:    b8 + b19 + b31 + b41 + b42 + b51 - b66 + b85 + b112 + b119 + b122
       + b150 + b151 + b163 + b167 + b176 + b220 + b240 + b253 <= 1;

e152:    b10 + b14 + b58 - b70 + b88 + b95 + b100 + b142 + b144 + b152 + b154
       + b155 + b172 + b180 + b182 + b219 + b225 + b228 + b245 <= 1;

e153:    b3 + b4 + b17 + b23 + b29 + b34 + b62 - b70 + b99 + b104 + b107 + b136
       + b145 + b147 + b184 + b188 + b227 + b230 + b232 <= 1;

e154:    b6 + b8 + b37 + b41 + b51 - b70 + b78 + b85 + b108 + b112 + b140
       + b148 + b150 + b151 + b168 + b197 + b220 + b234 + b240 <= 1;

e155:    b25 + b35 + b39 + b46 + b48 + b50 + b60 + b72 - b75 + b87 + b129
       + b165 + b170 + b177 + b189 + b192 + b222 + b235 + b257 <= 1;

e156:    b36 + b53 + b56 + b57 + b64 + b69 - b75 + b77 + b94 + b113 + b115
       + b133 + b161 + b166 + b175 + b183 + b199 + b201 + b246 <= 1;

e157:    b19 + b31 + b42 + b55 + b68 - b75 + b79 + b80 + b81 + b103 + b119
       + b122 + b163 + b167 + b171 + b176 + b196 + b209 + b253 <= 1;

e158:    b10 + b46 + b48 + b60 + b72 - b84 + b87 + b88 + b142 + b152 + b172
       + b177 + b180 + b189 + b192 + b219 + b222 + b225 + b245 <= 1;

e159:    b3 + b17 + b29 + b53 + b56 + b64 + b69 + b77 - b84 + b94 + b99 + b136
       + b145 + b183 + b184 + b199 + b201 + b227 + b230 <= 1;

e160:    b6 + b37 + b55 + b68 + b78 + b79 + b80 + b81 - b84 + b103 + b108
       + b140 + b148 + b168 + b171 + b196 + b197 + b209 + b234 <= 1;

e161:    b20 + b25 + b35 + b39 + b50 + b52 - b90 + b105 + b117 + b128 + b129
       + b156 + b160 + b165 + b170 + b181 + b193 + b235 + b257 <= 1;

e162:    b36 + b57 + b59 - b90 + b110 + b113 + b115 + b121 + b133 + b149 + b157
       + b161 + b162 + b166 + b175 + b191 + b237 + b241 + b246 <= 1;

e163:    b11 + b15 + b19 + b31 + b42 + b45 + b61 - b90 + b114 + b119 + b122
       + b125 + b153 + b158 + b163 + b167 + b176 + b248 + b253 <= 1;

e164:    b10 + b20 + b52 + b88 - b98 + b105 + b117 + b128 + b142 + b152 + b156
       + b160 + b172 + b180 + b181 + b193 + b219 + b225 + b245 <= 1;

e165:    b3 + b17 + b29 + b59 - b98 + b99 + b110 + b121 + b136 + b145 + b149
       + b157 + b162 + b184 + b191 + b227 + b230 + b237 + b241 <= 1;

e166:    b6 + b11 + b15 + b37 + b45 + b61 + b78 - b98 + b108 + b114 + b125
       + b140 + b148 + b153 + b158 + b168 + b197 + b234 + b248 <= 1;

e167:    b5 + b25 + b35 + b39 + b50 + b63 + b65 + b86 + b96 + b97 + b109 + b123
       + b129 + b165 + b170 - b185 + b186 + b235 + b257 <= 1;

e168:    b7 + b36 + b57 + b67 + b74 + b89 + b101 + b111 + b113 + b115 + b133
       + b161 + b166 + b175 - b185 + b206 + b212 + b238 + b246 <= 1;

e169:    b9 + b19 + b31 + b42 + b71 + b83 + b92 + b93 + b106 + b116 + b119
       + b122 + b163 + b167 + b176 - b185 + b217 + b249 + b253 <= 1;

e170:    b5 + b10 + b63 + b65 + b86 + b88 + b96 + b97 + b109 + b123 + b142
       + b152 + b172 + b180 + b186 - b194 + b219 + b225 + b245 <= 1;

e171:    b3 + b7 + b17 + b29 + b67 + b74 + b89 + b99 + b101 + b111 + b136
       + b145 + b184 - b194 + b206 + b212 + b227 + b230 + b238 <= 1;

e172:    b6 + b9 + b37 + b71 + b78 + b83 + b92 + b93 + b106 + b108 + b116
       + b140 + b148 + b168 - b194 + b197 + b217 + b234 + b249 <= 1;

e173:    b12 + b22 + b25 + b35 + b39 + b44 + b50 + b82 + b124 + b129 + b132
       + b141 + b165 + b170 - b203 + b205 + b215 + b235 + b257 <= 1;

e174:    b13 + b33 + b36 + b57 + b91 + b113 + b115 + b127 + b133 + b134 + b143
       + b161 + b166 + b175 + b198 - b203 + b208 + b224 + b246 <= 1;

e175:    b16 + b19 + b31 + b38 + b42 + b73 + b119 + b122 + b130 + b138 + b146
       + b163 + b167 + b176 + b202 - b203 + b211 + b253 + b261 <= 1;

e176:    b10 + b12 + b22 + b44 + b82 + b88 + b124 + b132 + b141 + b142 + b152
       + b172 + b180 + b205 - b213 + b215 + b219 + b225 + b245 <= 1;

e177:    b3 + b13 + b17 + b29 + b33 + b91 + b99 + b127 + b134 + b136 + b143
       + b145 + b184 + b198 + b208 - b213 + b224 + b227 + b230 <= 1;

e178:    b6 + b16 + b37 + b38 + b73 + b78 + b108 + b130 + b138 + b140 + b146
       + b148 + b168 + b197 + b202 + b211 - b213 + b234 + b261 <= 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 = 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 = 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 = 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 = 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 = 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 = 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 = 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 = 1;

e187:  - b12 + b24 + b28 - b35 - b46 - b63 + b159 + b164 - b180 - b182 - b193
       + b195 + b207 - b218 + b252 + b258 = 0;

e188:  - b22 + b54 - b58 - b105 + b131 + b139 - b165 - b177 - b186 + b218
       - b219 + b229 + b236 + b242 - b252 + b259 = 0;

e189:    b14 - b44 - b48 + b58 - b65 - b88 + b100 - b117 + b144 + b154 + b155
       - b170 + b182 + b228 - b229 - b258 = 0;

e190:  - b39 + b46 + b48 + b60 + b72 - b86 - b128 - b164 + b177 + b189 + b192
       - b205 + b222 - b225 - b228 - b236 = 0;

e191:  - b24 + b52 - b97 - b100 + b105 + b117 + b128 + b156 + b160 + b181
       - b189 + b193 - b215 - b235 - b242 - b245 = 0;

e192:    b5 - b28 + b63 + b65 - b82 + b86 + b97 + b109 + b123 - b142 - b144
       - b156 + b186 - b222 - b257 - b259 = 0;

e193:    b12 + b22 + b44 + b82 - b109 - b129 - b131 + b132 + b141 - b152 - b154
       - b159 - b160 - b192 + b205 + b215 = 0;

e194:  - b10 - b14 + b35 + b39 + b50 - b60 - b123 + b129 - b132 - b139 + b165
       + b170 - b181 - b195 + b235 + b257 = 0;

e195:  - b5 + b10 - b50 - b52 - b54 - b72 + b88 - b141 + b142 + b152 - b155
       + b180 - b207 + b219 + b225 + b245 = 0;

e196:  - b13 + b18 + b26 + b30 - b53 - b67 + b76 - b161 - b184 - b188 + b200
       + b210 - b223 - b237 + b254 + b260 = 0;

e197:  - b33 + b40 - b62 - b110 + b118 + b135 - b166 + b173 - b183 - b206
       + b223 - b227 + b231 + b239 + b251 - b254 = 0;

e198:    b4 + b23 + b34 - b56 + b62 - b74 - b99 + b107 - b121 + b147 - b175
       + b188 - b198 - b231 + b232 - b260 = 0;

e199:  - b18 + b53 + b56 + b64 + b69 + b77 - b89 - b113 + b183 + b199 + b201
       - b208 - b230 - b232 - b239 - b241 = 0;

e200:  - b26 + b59 - b107 + b110 + b121 - b136 + b157 + b162 + b191 - b199
       - b212 - b224 + b237 + b241 - b246 - b251 = 0;

e201:    b7 - b30 + b67 - b69 + b74 + b89 - b91 + b111 - b115 - b118 - b145
       - b147 - b157 + b206 + b212 + b238 = 0;

e202:  - b3 - b4 + b13 + b33 - b76 + b91 - b111 - b133 + b134 - b135 + b143
       - b162 + b198 - b201 + b208 + b224 = 0;

e203:  - b17 - b23 - b40 + b57 - b64 + b113 + b115 + b133 - b134 + b161 + b166
       + b175 - b191 - b200 - b238 + b246 = 0;

e204:    b3 - b7 + b17 - b34 - b57 - b59 - b77 + b99 + b136 - b143 + b145
       - b173 + b184 - b210 + b227 + b230 = 0;

e205:  - b16 + b21 + b27 + b32 - b51 - b71 - b102 + b120 - b163 - b171 + b190
       - b197 + b204 + b214 - b248 + b256 = 0;

e206:  - b38 + b47 - b78 - b85 + b102 - b114 + b126 + b137 - b167 + b178 - b196
       - b217 + b233 + b243 + b255 - b256 = 0;

e207:    b8 - b31 + b41 + b51 - b80 - b83 + b85 - b108 + b112 - b120 - b125
       + b150 + b151 - b202 - b233 + b240 = 0;

e208:  - b11 - b21 + b55 + b68 + b79 + b80 + b81 - b93 - b119 + b171 + b196
       + b209 - b211 - b234 - b240 - b243 = 0;

e209:    b11 + b15 - b27 + b45 + b61 - b73 - b92 - b112 + b114 + b125 - b140
       + b158 - b209 + b248 - b253 - b255 = 0;

e210:    b9 - b32 + b71 - b79 + b83 + b92 + b93 + b116 - b122 - b126 - b148
       - b150 - b158 + b217 + b249 - b261 = 0;

e211:  - b6 - b8 - b15 + b16 - b19 + b38 - b55 + b73 - b116 - b137 + b138
       + b146 - b190 + b202 + b211 + b261 = 0;

e212:    b19 + b31 - b45 - b47 - b68 + b119 + b122 - b138 - b151 + b163 + b167
       - b168 + b176 - b204 - b249 + b253 = 0;

e213:    b6 - b9 - b41 - b61 + b78 - b81 + b108 + b140 - b146 + b148 + b168
       - b176 - b178 + b197 - b214 + b234 = 0;