\ Equation counts \ Total E G L N X C B \ 2161 90 2053 18 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 293 231 62 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 7805 7700 105 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + x106 + x107 + x108 + x109 + x110 + x111 + x112 + x113 + x114 + x115 + x116 + x117 + x118 + x119 + x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 b232 + 0 b233 + 0 b234 + 0 b235 + 0 b236 + 0 b237 + 0 b238 + 0 b239 + 0 b240 + 0 b241 + 0 b242 + 0 b243 + 0 b244 + 0 b245 + 0 b246 + 0 b247 + 0 b248 + 0 b249 + 0 b250 + 0 b251 + 0 b252 + 0 b253 + 0 b254 + 0 b255 + 0 b256 + 0 b257 + 0 b258 + 0 b259 + 0 b260 + 0 b261 + 0 b262 + 0 b263 + 0 b264 + 0 b265 + 0 b266 + 0 b267 + 0 b268 + 0 b269 + 0 b270 + 0 b271 + 0 b272 + 0 b273 + 0 b274 + 0 b275 + 0 b276 + 0 b277 + 0 b278 + 0 b279 + 0 b280 + 0 b281 + 0 b282 + 0 b283 + 0 b284 + 0 b285 + 0 b286 + 0 b287 + 0 b288 + 0 b289 + 0 b290 + 0 b291 + 0 b292 + 0 b293 Subject To e2: x217 - x1 x46 x91 - x2 x47 x91 - x3 x48 x91 = 0 e3: x218 - x4 x49 x92 - x5 x50 x92 - x6 x51 x92 = 0 e4: x219 - x7 x52 x93 - x8 x53 x93 - x9 x54 x93 = 0 e5: x220 - x10 x55 x94 - x11 x56 x94 - x12 x57 x94 = 0 e6: x221 - x13 x58 x95 - x14 x59 x95 - x15 x60 x95 = 0 e7: x222 - x16 x61 x96 - x17 x62 x96 - x18 x63 x96 = 0 e8: x223 - x19 x64 x97 - x20 x65 x97 - x21 x66 x97 = 0 e9: x224 - x22 x67 x98 - x23 x68 x98 - x24 x69 x98 = 0 e10: x225 - x25 x70 x99 - x26 x71 x99 - x27 x72 x99 = 0 e11: x226 - x28 x73 x100 - x29 x74 x100 - x30 x75 x100 = 0 e12: x227 - x31 x76 x101 - x32 x77 x101 - x33 x78 x101 = 0 e13: x228 - x34 x79 x102 - x35 x80 x102 - x36 x81 x102 = 0 e14: x229 - x37 x82 x103 - x38 x83 x103 - x39 x84 x103 = 0 e15: x230 - x40 x85 x104 - x41 x86 x104 - x42 x87 x104 = 0 e16: x231 - x43 x88 x105 - x44 x89 x105 - x45 x90 x105 = 0 e17: x1 + x2 + x3 = 1 e18: x4 + x5 + x6 = 1 e19: x7 + x8 + x9 = 1 e20: x10 + x11 + x12 = 1 e21: x13 + x14 + x15 = 1 e22: x16 + x17 + x18 = 1 e23: x19 + x20 + x21 = 1 e24: x22 + x23 + x24 = 1 e25: x25 + x26 + x27 = 1 e26: x28 + x29 + x30 = 1 e27: x31 + x32 + x33 = 1 e28: x34 + x35 + x36 = 1 e29: x37 + x38 + x39 = 1 e30: x40 + x41 + x42 = 1 e31: x43 + x44 + x45 = 1 e32: 2.02 x1 + 4.01333333333333 x4 + 4.76 x7 + 5.96 x10 + 42.0933333333333 x13 + 99.28 x16 + 6.59333333333333 x19 + 61.8666666666667 x22 + 56.2866666666667 x25 + 41.5 x28 + 62.4933333333333 x31 + 80.9066666666667 x34 + 26.1466666666667 x37 + 38 x40 + 62.24 x43 <= 213.053333333333 e33: 2.02 x2 + 4.01333333333333 x5 + 4.76 x8 + 5.96 x11 + 42.0933333333333 x14 + 99.28 x17 + 6.59333333333333 x20 + 61.8666666666667 x23 + 56.2866666666667 x26 + 41.5 x29 + 62.4933333333333 x32 + 80.9066666666667 x35 + 26.1466666666667 x38 + 38 x41 + 62.24 x44 <= 213.053333333333 e34: 2.02 x3 + 4.01333333333333 x6 + 4.76 x9 + 5.96 x12 + 42.0933333333333 x15 + 99.28 x18 + 6.59333333333333 x21 + 61.8666666666667 x24 + 56.2866666666667 x27 + 41.5 x30 + 62.4933333333333 x33 + 80.9066666666667 x36 + 26.1466666666667 x39 + 38 x42 + 62.24 x45 <= 213.053333333333 e35: x121 + x127 >= .29424122 e36: x122 + x128 >= .29424122 e37: x123 + x129 >= .29424122 e38: x121 + x130 >= .29760193 e39: x122 + x131 >= .29760193 e40: x123 + x132 >= .29760193 e41: x121 + x133 >= .35149534 e42: x122 + x134 >= .35149534 e43: x123 + x135 >= .35149534 e44: x121 + x136 >= .30458283 e45: x122 + x137 >= .30458283 e46: x123 + x138 >= .30458283 e47: x121 + x139 >= .29951066 e48: x122 + x140 >= .29951066 e49: x123 + x141 >= .29951066 e50: x121 + x142 >= .30694357 e51: x122 + x143 >= .30694357 e52: x123 + x144 >= .30694357 e53: x121 + x145 >= .33520661 e54: x122 + x146 >= .33520661 e55: x123 + x147 >= .33520661 e56: x121 + x148 >= .3400071 e57: x122 + x149 >= .3400071 e58: x123 + x150 >= .3400071 e59: x121 + x151 >= .35227087 e60: x122 + x152 >= .35227087 e61: x123 + x153 >= .35227087 e62: x121 + x154 >= .34225726 e63: x122 + x155 >= .34225726 e64: x123 + x156 >= .34225726 e65: x121 + x157 >= .32776566 e66: x122 + x158 >= .32776566 e67: x123 + x159 >= .32776566 e68: x121 + x160 >= .30438256 e69: x122 + x161 >= .30438256 e70: x123 + x162 >= .30438256 e71: x121 + x163 >= .28538336 e72: x122 + x164 >= .28538336 e73: x123 + x165 >= .28538336 e74: x121 + x166 >= .27950575 e75: x122 + x167 >= .27950575 e76: x123 + x168 >= .27950575 e77: - x121 + x127 >= -.29424122 e78: - x122 + x128 >= -.29424122 e79: - x123 + x129 >= -.29424122 e80: - x121 + x130 >= -.29760193 e81: - x122 + x131 >= -.29760193 e82: - x123 + x132 >= -.29760193 e83: - x121 + x133 >= -.35149534 e84: - x122 + x134 >= -.35149534 e85: - x123 + x135 >= -.35149534 e86: - x121 + x136 >= -.30458283 e87: - x122 + x137 >= -.30458283 e88: - x123 + x138 >= -.30458283 e89: - x121 + x139 >= -.29951066 e90: - x122 + x140 >= -.29951066 e91: - x123 + x141 >= -.29951066 e92: - x121 + x142 >= -.30694357 e93: - x122 + x143 >= -.30694357 e94: - x123 + x144 >= -.30694357 e95: - x121 + x145 >= -.33520661 e96: - x122 + x146 >= -.33520661 e97: - x123 + x147 >= -.33520661 e98: - x121 + x148 >= -.3400071 e99: - x122 + x149 >= -.3400071 e100: - x123 + x150 >= -.3400071 e101: - x121 + x154 >= -.34225726 e102: - x122 + x155 >= -.34225726 e103: - x123 + x156 >= -.34225726 e104: - x121 + x157 >= -.32776566 e105: - x122 + x158 >= -.32776566 e106: - x123 + x159 >= -.32776566 e107: - x121 + x160 >= -.30438256 e108: - x122 + x161 >= -.30438256 e109: - x123 + x162 >= -.30438256 e110: - x121 + x163 >= -.28538336 e111: - x122 + x164 >= -.28538336 e112: - x123 + x165 >= -.28538336 e113: - x121 + x166 >= -.27950575 e114: - x122 + x167 >= -.27950575 e115: - x123 + x168 >= -.27950575 e116: - x121 + x169 >= -.25788969 e117: - x122 + x170 >= -.25788969 e118: - x123 + x171 >= -.25788969 e119: x124 + x175 >= -.9536939 e120: x125 + x176 >= -.9536939 e121: x126 + x177 >= -.9536939 e122: x124 + x178 >= -.9004898 e123: x125 + x179 >= -.9004898 e124: x126 + x180 >= -.9004898 e125: x124 + x181 >= -.9114032 e126: x125 + x182 >= -.9114032 e127: x126 + x183 >= -.9114032 e128: x124 + x184 >= -.90071532 e129: x125 + x185 >= -.90071532 e130: x126 + x186 >= -.90071532 e131: x124 + x187 >= -.88043054 e132: x125 + x188 >= -.88043054 e133: x126 + x189 >= -.88043054 e134: x124 + x190 >= -.8680249 e135: x125 + x191 >= -.8680249 e136: x126 + x192 >= -.8680249 e137: x124 + x193 >= -.81034814 e138: x125 + x194 >= -.81034814 e139: x126 + x195 >= -.81034814 e140: x124 + x196 >= -.80843127 e141: x125 + x197 >= -.80843127 e142: x126 + x198 >= -.80843127 e143: x124 + x199 >= -.7794471 e144: x125 + x200 >= -.7794471 e145: x126 + x201 >= -.7794471 e146: x124 + x202 >= -.79930922 e147: x125 + x203 >= -.79930922 e148: x126 + x204 >= -.79930922 e149: x124 + x205 >= -.84280733 e150: x125 + x206 >= -.84280733 e151: x126 + x207 >= -.84280733 e152: x124 + x208 >= -.81379236 e153: x125 + x209 >= -.81379236 e154: x126 + x210 >= -.81379236 e155: x124 + x211 >= -.82457178 e156: x125 + x212 >= -.82457178 e157: x126 + x213 >= -.82457178 e158: x124 + x214 >= -.80226439 e159: x125 + x215 >= -.80226439 e160: x126 + x216 >= -.80226439 e161: - x124 + x172 >= .98493628 e162: - x125 + x173 >= .98493628 e163: - x126 + x174 >= .98493628 e164: - x124 + x175 >= .9536939 e165: - x125 + x176 >= .9536939 e166: - x126 + x177 >= .9536939 e167: - x124 + x178 >= .9004898 e168: - x125 + x179 >= .9004898 e169: - x126 + x180 >= .9004898 e170: - x124 + x181 >= .9114032 e171: - x125 + x182 >= .9114032 e172: - x126 + x183 >= .9114032 e173: - x124 + x184 >= .90071532 e174: - x125 + x185 >= .90071532 e175: - x126 + x186 >= .90071532 e176: - x124 + x187 >= .88043054 e177: - x125 + x188 >= .88043054 e178: - x126 + x189 >= .88043054 e179: - x124 + x190 >= .8680249 e180: - x125 + x191 >= .8680249 e181: - x126 + x192 >= .8680249 e182: - x124 + x193 >= .81034814 e183: - x125 + x194 >= .81034814 e184: - x126 + x195 >= .81034814 e185: - x124 + x196 >= .80843127 e186: - x125 + x197 >= .80843127 e187: - x126 + x198 >= .80843127 e188: - x124 + x202 >= .79930922 e189: - x125 + x203 >= .79930922 e190: - x126 + x204 >= .79930922 e191: - x124 + x205 >= .84280733 e192: - x125 + x206 >= .84280733 e193: - x126 + x207 >= .84280733 e194: - x124 + x208 >= .81379236 e195: - x125 + x209 >= .81379236 e196: - x126 + x210 >= .81379236 e197: - x124 + x211 >= .82457178 e198: - x125 + x212 >= .82457178 e199: - x126 + x213 >= .82457178 e200: - x124 + x214 >= .80226439 e201: - x125 + x215 >= .80226439 e202: - x126 + x216 >= .80226439 e203: x46 - x127 - x172 = 0 e204: x47 - x128 - x173 = 0 e205: x48 - x129 - x174 = 0 e206: x49 - x130 - x175 = 0 e207: x50 - x131 - x176 = 0 e208: x51 - x132 - x177 = 0 e209: x52 - x133 - x178 = 0 e210: x53 - x134 - x179 = 0 e211: x54 - x135 - x180 = 0 e212: x55 - x136 - x181 = 0 e213: x56 - x137 - x182 = 0 e214: x57 - x138 - x183 = 0 e215: x58 - x139 - x184 = 0 e216: x59 - x140 - x185 = 0 e217: x60 - x141 - x186 = 0 e218: x61 - x142 - x187 = 0 e219: x62 - x143 - x188 = 0 e220: x63 - x144 - x189 = 0 e221: x64 - x145 - x190 = 0 e222: x65 - x146 - x191 = 0 e223: x66 - x147 - x192 = 0 e224: x67 - x148 - x193 = 0 e225: x68 - x149 - x194 = 0 e226: x69 - x150 - x195 = 0 e227: x70 - x151 - x196 = 0 e228: x71 - x152 - x197 = 0 e229: x72 - x153 - x198 = 0 e230: x73 - x154 - x199 = 0 e231: x74 - x155 - x200 = 0 e232: x75 - x156 - x201 = 0 e233: x76 - x157 - x202 = 0 e234: x77 - x158 - x203 = 0 e235: x78 - x159 - x204 = 0 e236: x79 - x160 - x205 = 0 e237: x80 - x161 - x206 = 0 e238: x81 - x162 - x207 = 0 e239: x82 - x163 - x208 = 0 e240: x83 - x164 - x209 = 0 e241: x84 - x165 - x210 = 0 e242: x85 - x166 - x211 = 0 e243: x86 - x167 - x212 = 0 e244: x87 - x168 - x213 = 0 e245: x88 - x169 - x214 = 0 e246: x89 - x170 - x215 = 0 e247: x90 - x171 - x216 = 0 e248: b250 + b251 >= 1 e249: b247 + b252 >= 1 e250: b246 + b253 >= 1 e251: b245 + b256 >= 1 e252: b244 + b251 >= 1 e253: b244 + b249 + b252 >= 1 e254: b244 + b247 + b254 >= 1 e255: b244 + b246 + b255 >= 1 e256: b244 + b245 >= 1 e257: b243 + b251 >= 1 e258: b243 + b250 + b252 >= 1 e259: b243 + b249 + b253 >= 1 e260: b243 + b248 + b254 >= 1 e261: b243 + b247 + b255 >= 1 e262: b243 + b246 + b256 >= 1 e263: b243 + b245 >= 1 e264: b242 + b253 >= 1 e265: b242 + b250 + b254 >= 1 e266: b242 + b249 + b255 >= 1 e267: b242 + b248 + b256 >= 1 e268: b242 + b247 >= 1 e269: b241 + b256 >= 1 e270: b241 + b250 >= 1 e271: b240 + b251 >= 1 e272: b240 + b250 + b252 >= 1 e273: b240 + b248 + b253 >= 1 e274: b240 + b247 + b254 >= 1 e275: b240 + b246 + b256 >= 1 e276: b240 + b245 >= 1 e277: b240 + b244 + b252 >= 1 e278: b240 + b244 + b250 + b253 >= 1 e279: b240 + b244 + b249 + b254 >= 1 e280: b240 + b244 + b248 + b255 >= 1 e281: b240 + b244 + b247 + b256 >= 1 e282: b240 + b244 + b246 >= 1 e283: b240 + b243 + b254 >= 1 e284: b240 + b243 + b250 + b255 >= 1 e285: b240 + b243 + b249 + b256 >= 1 e286: b240 + b243 + b248 >= 1 e287: b240 + b242 + b256 >= 1 e288: b240 + b242 + b250 >= 1 e289: b240 + b241 >= 1 e290: b239 + b253 >= 1 e291: b239 + b250 + b254 >= 1 e292: b239 + b249 + b255 >= 1 e293: b239 + b248 + b256 >= 1 e294: b239 + b247 >= 1 e295: b239 + b244 + b255 >= 1 e296: b239 + b244 + b250 + b256 >= 1 e297: b239 + b244 + b249 >= 1 e298: b239 + b243 + b256 >= 1 e299: b239 + b243 + b250 >= 1 e300: b239 + b242 >= 1 e301: b238 + b256 >= 1 e302: b238 + b250 >= 1 e303: b238 + b244 >= 1 e304: b237 + b251 >= 1 e305: b237 + b250 + b252 >= 1 e306: b237 + b249 + b253 >= 1 e307: b237 + b248 + b254 >= 1 e308: b237 + b247 + b255 >= 1 e309: b237 + b246 + b256 >= 1 e310: b237 + b245 >= 1 e311: b237 + b244 + b252 >= 1 e312: b237 + b244 + b250 + b253 >= 1 e313: b237 + b244 + b249 + b254 >= 1 e314: b237 + b244 + b248 + b255 >= 1 e315: b237 + b244 + b247 + b256 >= 1 e316: b237 + b244 + b246 >= 1 e317: b237 + b243 + b254 >= 1 e318: b237 + b243 + b250 + b255 >= 1 e319: b237 + b243 + b249 + b256 >= 1 e320: b237 + b243 + b248 >= 1 e321: b237 + b242 + b256 >= 1 e322: b237 + b242 + b250 >= 1 e323: b237 + b241 >= 1 e324: b237 + b240 + b253 >= 1 e325: b237 + b240 + b250 + b254 >= 1 e326: b237 + b240 + b249 + b255 >= 1 e327: b237 + b240 + b248 + b256 >= 1 e328: b237 + b240 + b247 >= 1 e329: b237 + b240 + b244 + b254 >= 1 e330: b237 + b240 + b244 + b250 + b256 >= 1 e331: b237 + b240 + b244 + b248 >= 1 e332: b237 + b240 + b243 + b256 >= 1 e333: b237 + b240 + b243 + b250 >= 1 e334: b237 + b240 + b242 >= 1 e335: b237 + b239 + b256 >= 1 e336: b237 + b239 + b250 >= 1 e337: b237 + b239 + b244 >= 1 e338: b237 + b238 >= 1 e339: b236 + b253 >= 1 e340: b236 + b250 + b254 >= 1 e341: b236 + b249 + b255 >= 1 e342: b236 + b248 + b256 >= 1 e343: b236 + b247 >= 1 e344: b236 + b244 + b255 >= 1 e345: b236 + b244 + b250 + b256 >= 1 e346: b236 + b244 + b248 >= 1 e347: b236 + b243 + b256 >= 1 e348: b236 + b243 + b250 >= 1 e349: b236 + b242 >= 1 e350: b236 + b240 + b256 >= 1 e351: b236 + b240 + b249 >= 1 e352: b236 + b240 + b244 >= 1 e353: b236 + b239 >= 1 e354: b235 + b256 >= 1 e355: b235 + b250 >= 1 e356: b235 + b244 >= 1 e357: b235 + b240 >= 1 e358: b234 + b251 >= 1 e359: b234 + b249 + b252 >= 1 e360: b234 + b248 + b253 >= 1 e361: b234 + b247 + b254 >= 1 e362: b234 + b246 + b256 >= 1 e363: b234 + b245 >= 1 e364: b234 + b244 + b252 >= 1 e365: b234 + b244 + b250 + b253 >= 1 e366: b234 + b244 + b249 + b254 >= 1 e367: b234 + b244 + b248 + b255 >= 1 e368: b234 + b244 + b247 + b256 >= 1 e369: b234 + b244 + b246 >= 1 e370: b234 + b243 + b254 >= 1 e371: b234 + b243 + b250 + b255 >= 1 e372: b234 + b243 + b249 + b256 >= 1 e373: b234 + b243 + b248 >= 1 e374: b234 + b242 + b256 >= 1 e375: b234 + b242 + b249 >= 1 e376: b234 + b241 >= 1 e377: b234 + b240 + b253 >= 1 e378: b234 + b240 + b250 + b254 >= 1 e379: b234 + b240 + b249 + b255 >= 1 e380: b234 + b240 + b248 + b256 >= 1 e381: b234 + b240 + b247 >= 1 e382: b234 + b240 + b244 + b254 >= 1 e383: b234 + b240 + b244 + b250 + b255 >= 1 e384: b234 + b240 + b244 + b249 + b256 >= 1 e385: b234 + b240 + b244 + b248 >= 1 e386: b234 + b240 + b243 + b256 >= 1 e387: b234 + b240 + b243 + b250 >= 1 e388: b234 + b240 + b242 >= 1 e389: b234 + b239 + b256 >= 1 e390: b234 + b239 + b250 >= 1 e391: b234 + b239 + b244 >= 1 e392: b234 + b238 >= 1 e393: b234 + b237 + b253 >= 1 e394: b234 + b237 + b250 + b254 >= 1 e395: b234 + b237 + b249 + b255 >= 1 e396: b234 + b237 + b248 + b256 >= 1 e397: b234 + b237 + b247 >= 1 e398: b234 + b237 + b244 + b254 >= 1 e399: b234 + b237 + b244 + b250 + b256 >= 1 e400: b234 + b237 + b244 + b249 >= 1 e401: b234 + b237 + b243 + b256 >= 1 e402: b234 + b237 + b243 + b250 >= 1 e403: b234 + b237 + b242 >= 1 e404: b234 + b237 + b240 + b255 >= 1 e405: b234 + b237 + b240 + b250 + b256 >= 1 e406: b234 + b237 + b240 + b249 >= 1 e407: b234 + b237 + b240 + b244 >= 1 e408: b234 + b237 + b239 >= 1 e409: b234 + b236 + b256 >= 1 e410: b234 + b236 + b250 >= 1 e411: b234 + b236 + b244 >= 1 e412: b234 + b236 + b240 >= 1 e413: b234 + b235 >= 1 e414: b233 + b253 >= 1 e415: b233 + b250 + b254 >= 1 e416: b233 + b249 + b255 >= 1 e417: b233 + b248 + b256 >= 1 e418: b233 + b247 >= 1 e419: b233 + b244 + b255 >= 1 e420: b233 + b244 + b250 + b256 >= 1 e421: b233 + b244 + b249 >= 1 e422: b233 + b243 + b256 >= 1 e423: b233 + b243 + b250 >= 1 e424: b233 + b242 >= 1 e425: b233 + b240 + b256 >= 1 e426: b233 + b240 + b250 >= 1 e427: b233 + b240 + b244 >= 1 e428: b233 + b239 >= 1 e429: b233 + b237 + b256 >= 1 e430: b233 + b237 + b250 >= 1 e431: b233 + b237 + b244 >= 1 e432: b233 + b237 + b240 >= 1 e433: b233 + b236 >= 1 e434: b232 + b256 >= 1 e435: b232 + b250 >= 1 e436: b232 + b244 >= 1 e437: b232 + b240 >= 1 e438: b232 + b237 >= 1 e439: b256 + b265 >= 1 e440: b256 + b263 + b266 >= 1 e441: b256 + b262 + b267 >= 1 e442: b256 + b261 + b268 >= 1 e443: b256 + b260 >= 1 e444: b256 + b259 + b266 >= 1 e445: b256 + b259 + b264 + b267 >= 1 e446: b256 + b259 + b262 + b269 >= 1 e447: b256 + b259 + b261 >= 1 e448: b256 + b258 + b268 >= 1 e449: b256 + b258 + b264 + b269 >= 1 e450: b256 + b258 + b263 >= 1 e451: b256 + b257 >= 1 e452: b255 + b265 >= 1 e453: b255 + b263 + b266 >= 1 e454: b255 + b262 + b267 >= 1 e455: b255 + b261 + b268 >= 1 e456: b255 + b260 >= 1 e457: b255 + b259 + b266 >= 1 e458: b255 + b259 + b264 + b267 >= 1 e459: b255 + b259 + b263 + b268 >= 1 e460: b255 + b259 + b262 + b269 >= 1 e461: b255 + b259 + b261 >= 1 e462: b255 + b258 + b268 >= 1 e463: b255 + b258 + b264 + b269 >= 1 e464: b255 + b258 + b263 >= 1 e465: b255 + b257 >= 1 e466: b254 + b265 >= 1 e467: b254 + b264 + b266 >= 1 e468: b254 + b263 + b267 >= 1 e469: b254 + b262 + b268 >= 1 e470: b254 + b261 + b269 >= 1 e471: b254 + b260 >= 1 e472: b254 + b259 + b267 >= 1 e473: b254 + b259 + b264 + b268 >= 1 e474: b254 + b259 + b263 + b269 >= 1 e475: b254 + b259 + b262 >= 1 e476: b254 + b258 + b269 >= 1 e477: b254 + b258 + b264 >= 1 e478: b254 + b257 >= 1 e479: b253 + b266 >= 1 e480: b253 + b264 + b267 >= 1 e481: b253 + b263 + b268 >= 1 e482: b253 + b262 + b269 >= 1 e483: b253 + b261 >= 1 e484: b253 + b259 + b268 >= 1 e485: b253 + b259 + b264 + b269 >= 1 e486: b253 + b259 + b263 >= 1 e487: b253 + b258 >= 1 e488: b252 + b267 >= 1 e489: b252 + b264 + b268 >= 1 e490: b252 + b263 + b269 >= 1 e491: b252 + b262 >= 1 e492: b252 + b259 + b269 >= 1 e493: b252 + b259 + b264 >= 1 e494: b252 + b258 >= 1 e495: b251 + b269 >= 1 e496: b251 + b264 >= 1 e497: b251 + b259 >= 1 e498: b250 + b265 >= 1 e499: b250 + b263 + b266 >= 1 e500: b250 + b262 + b267 >= 1 e501: b250 + b260 >= 1 e502: b250 + b259 + b266 >= 1 e503: b250 + b259 + b264 + b267 >= 1 e504: b250 + b259 + b262 + b269 >= 1 e505: b250 + b259 + b261 >= 1 e506: b250 + b258 + b268 >= 1 e507: b250 + b258 + b264 + b269 >= 1 e508: b250 + b258 + b263 >= 1 e509: b250 + b257 >= 1 e510: b250 + b256 + b265 >= 1 e511: b250 + b256 + b263 + b266 >= 1 e512: b250 + b256 + b262 + b267 >= 1 e513: b250 + b256 + b261 + b269 >= 1 e514: b250 + b256 + b260 >= 1 e515: b250 + b256 + b259 + b266 >= 1 e516: b250 + b256 + b259 + b264 + b267 >= 1 e517: b250 + b256 + b259 + b263 + b268 >= 1 e518: b250 + b256 + b259 + b262 + b269 >= 1 e519: b250 + b256 + b259 + b261 >= 1 e520: b250 + b256 + b258 + b268 >= 1 e521: b250 + b256 + b258 + b264 + b269 >= 1 e522: b250 + b256 + b258 + b263 >= 1 e523: b250 + b256 + b257 >= 1 e524: b250 + b255 + b265 >= 1 e525: b250 + b255 + b264 + b266 >= 1 e526: b250 + b255 + b263 + b267 >= 1 e527: b250 + b255 + b262 + b268 >= 1 e528: b250 + b255 + b261 + b269 >= 1 e529: b250 + b255 + b260 >= 1 e530: b250 + b255 + b259 + b267 >= 1 e531: b250 + b255 + b259 + b264 + b268 >= 1 e532: b250 + b255 + b259 + b263 + b269 >= 1 e533: b250 + b255 + b259 + b262 >= 1 e534: b250 + b255 + b258 + b269 >= 1 e535: b250 + b255 + b258 + b264 >= 1 e536: b250 + b255 + b257 >= 1 e537: b250 + b254 + b266 >= 1 e538: b250 + b254 + b264 + b267 >= 1 e539: b250 + b254 + b263 + b268 >= 1 e540: b250 + b254 + b262 + b269 >= 1 e541: b250 + b254 + b261 >= 1 e542: b250 + b254 + b259 + b268 >= 1 e543: b250 + b254 + b259 + b264 + b269 >= 1 e544: b250 + b254 + b259 + b263 >= 1 e545: b250 + b254 + b258 >= 1 e546: b250 + b253 + b267 >= 1 e547: b250 + b253 + b264 + b268 >= 1 e548: b250 + b253 + b263 + b269 >= 1 e549: b250 + b253 + b262 >= 1 e550: b250 + b253 + b259 + b269 >= 1 e551: b250 + b253 + b259 + b264 >= 1 e552: b250 + b253 + b258 >= 1 e553: b250 + b252 + b268 >= 1 e554: b250 + b252 + b264 + b269 >= 1 e555: b250 + b252 + b263 >= 1 e556: b250 + b252 + b259 >= 1 e557: b249 + b265 >= 1 e558: b249 + b263 + b266 >= 1 e559: b249 + b262 + b267 >= 1 e560: b249 + b261 + b268 >= 1 e561: b249 + b260 >= 1 e562: b249 + b259 + b266 >= 1 e563: b249 + b259 + b264 + b267 >= 1 e564: b249 + b259 + b263 + b268 >= 1 e565: b249 + b259 + b262 + b269 >= 1 e566: b249 + b259 + b261 >= 1 e567: b249 + b258 + b268 >= 1 e568: b249 + b258 + b264 + b269 >= 1 e569: b249 + b258 + b263 >= 1 e570: b249 + b257 >= 1 e571: b249 + b256 + b265 >= 1 e572: b249 + b256 + b264 + b266 >= 1 e573: b249 + b256 + b263 + b267 >= 1 e574: b249 + b256 + b262 + b268 >= 1 e575: b249 + b256 + b261 + b269 >= 1 e576: b249 + b256 + b260 >= 1 e577: b249 + b256 + b259 + b267 >= 1 e578: b249 + b256 + b259 + b264 + b268 >= 1 e579: b249 + b256 + b259 + b263 + b269 >= 1 e580: b249 + b256 + b259 + b262 >= 1 e581: b249 + b256 + b258 + b269 >= 1 e582: b249 + b256 + b258 + b264 >= 1 e583: b249 + b256 + b257 >= 1 e584: b249 + b255 + b266 >= 1 e585: b249 + b255 + b264 + b267 >= 1 e586: b249 + b255 + b263 + b268 >= 1 e587: b249 + b255 + b262 + b269 >= 1 e588: b249 + b255 + b261 >= 1 e589: b249 + b255 + b259 + b268 >= 1 e590: b249 + b255 + b259 + b264 + b269 >= 1 e591: b249 + b255 + b259 + b263 >= 1 e592: b249 + b255 + b258 >= 1 e593: b249 + b254 + b267 >= 1 e594: b249 + b254 + b264 + b268 >= 1 e595: b249 + b254 + b263 + b269 >= 1 e596: b249 + b254 + b262 >= 1 e597: b249 + b254 + b259 + b269 >= 1 e598: b249 + b254 + b259 + b264 >= 1 e599: b249 + b254 + b258 >= 1 e600: b249 + b253 + b267 >= 1 e601: b249 + b253 + b264 + b269 >= 1 e602: b249 + b253 + b263 >= 1 e603: b249 + b253 + b259 >= 1 e604: b249 + b252 + b268 >= 1 e605: b249 + b252 + b264 + b269 >= 1 e606: b249 + b252 + b263 >= 1 e607: b249 + b252 + b259 >= 1 e608: b248 + b265 >= 1 e609: b248 + b264 + b266 >= 1 e610: b248 + b263 + b267 >= 1 e611: b248 + b262 + b268 >= 1 e612: b248 + b261 + b269 >= 1 e613: b248 + b260 >= 1 e614: b248 + b259 + b267 >= 1 e615: b248 + b259 + b264 + b268 >= 1 e616: b248 + b259 + b263 + b269 >= 1 e617: b248 + b259 + b262 >= 1 e618: b248 + b258 + b269 >= 1 e619: b248 + b258 + b264 >= 1 e620: b248 + b257 >= 1 e621: b248 + b256 + b266 >= 1 e622: b248 + b256 + b264 + b267 >= 1 e623: b248 + b256 + b263 + b268 >= 1 e624: b248 + b256 + b262 + b269 >= 1 e625: b248 + b256 + b261 >= 1 e626: b248 + b256 + b259 + b268 >= 1 e627: b248 + b256 + b259 + b264 + b269 >= 1 e628: b248 + b256 + b259 + b263 >= 1 e629: b248 + b256 + b258 >= 1 e630: b248 + b255 + b267 >= 1 e631: b248 + b255 + b264 + b268 >= 1 e632: b248 + b255 + b263 + b269 >= 1 e633: b248 + b255 + b262 >= 1 e634: b248 + b255 + b259 + b269 >= 1 e635: b248 + b255 + b259 + b264 >= 1 e636: b248 + b255 + b258 >= 1 e637: b248 + b254 + b267 >= 1 e638: b248 + b254 + b264 + b268 >= 1 e639: b248 + b254 + b263 + b269 >= 1 e640: b248 + b254 + b262 >= 1 e641: b248 + b254 + b259 + b269 >= 1 e642: b248 + b254 + b259 + b264 >= 1 e643: b248 + b254 + b258 >= 1 e644: b248 + b253 + b268 >= 1 e645: b248 + b253 + b264 + b269 >= 1 e646: b248 + b253 + b263 >= 1 e647: b248 + b253 + b259 >= 1 e648: b248 + b252 + b269 >= 1 e649: b248 + b252 + b264 >= 1 e650: b248 + b252 + b259 >= 1 e651: b247 + b266 >= 1 e652: b247 + b264 + b267 >= 1 e653: b247 + b263 + b268 >= 1 e654: b247 + b262 + b269 >= 1 e655: b247 + b261 >= 1 e656: b247 + b259 + b268 >= 1 e657: b247 + b259 + b264 + b269 >= 1 e658: b247 + b259 + b263 >= 1 e659: b247 + b258 >= 1 e660: b247 + b256 + b267 >= 1 e661: b247 + b256 + b264 + b268 >= 1 e662: b247 + b256 + b263 + b269 >= 1 e663: b247 + b256 + b262 >= 1 e664: b247 + b256 + b259 + b269 >= 1 e665: b247 + b256 + b259 + b264 >= 1 e666: b247 + b256 + b258 >= 1 e667: b247 + b255 + b267 >= 1 e668: b247 + b255 + b264 + b268 >= 1 e669: b247 + b255 + b263 >= 1 e670: b247 + b255 + b259 + b269 >= 1 e671: b247 + b255 + b259 + b264 >= 1 e672: b247 + b255 + b258 >= 1 e673: b247 + b254 + b268 >= 1 e674: b247 + b254 + b264 + b269 >= 1 e675: b247 + b254 + b263 >= 1 e676: b247 + b254 + b259 >= 1 e677: b247 + b253 + b269 >= 1 e678: b247 + b253 + b264 >= 1 e679: b247 + b253 + b259 >= 1 e680: b246 + b267 >= 1 e681: b246 + b264 + b268 >= 1 e682: b246 + b263 + b269 >= 1 e683: b246 + b262 >= 1 e684: b246 + b259 + b269 >= 1 e685: b246 + b259 + b264 >= 1 e686: b246 + b258 >= 1 e687: b246 + b256 + b267 >= 1 e688: b246 + b256 + b264 + b269 >= 1 e689: b246 + b256 + b263 >= 1 e690: b246 + b256 + b259 >= 1 e691: b246 + b255 + b268 >= 1 e692: b246 + b255 + b264 + b269 >= 1 e693: b246 + b255 + b263 >= 1 e694: b246 + b255 + b259 >= 1 e695: b246 + b254 + b269 >= 1 e696: b246 + b254 + b264 >= 1 e697: b246 + b254 + b259 >= 1 e698: b245 + b269 >= 1 e699: b245 + b264 >= 1 e700: b245 + b259 >= 1 e701: b244 + b265 >= 1 e702: b244 + b263 + b266 >= 1 e703: b244 + b262 + b267 >= 1 e704: b244 + b261 + b268 >= 1 e705: b244 + b260 >= 1 e706: b244 + b259 + b266 >= 1 e707: b244 + b259 + b264 + b267 >= 1 e708: b244 + b259 + b263 + b268 >= 1 e709: b244 + b259 + b262 + b269 >= 1 e710: b244 + b259 + b261 >= 1 e711: b244 + b258 + b268 >= 1 e712: b244 + b258 + b264 + b269 >= 1 e713: b244 + b258 + b263 >= 1 e714: b244 + b257 >= 1 e715: b244 + b256 + b265 >= 1 e716: b244 + b256 + b264 + b266 >= 1 e717: b244 + b256 + b263 + b267 >= 1 e718: b244 + b256 + b262 + b268 >= 1 e719: b244 + b256 + b261 + b269 >= 1 e720: b244 + b256 + b260 >= 1 e721: b244 + b256 + b259 + b267 >= 1 e722: b244 + b256 + b259 + b264 + b268 >= 1 e723: b244 + b256 + b259 + b263 + b269 >= 1 e724: b244 + b256 + b259 + b262 >= 1 e725: b244 + b256 + b258 + b269 >= 1 e726: b244 + b256 + b258 + b264 >= 1 e727: b244 + b256 + b257 >= 1 e728: b244 + b255 + b266 >= 1 e729: b244 + b255 + b263 + b267 >= 1 e730: b244 + b255 + b262 + b269 >= 1 e731: b244 + b255 + b261 >= 1 e732: b244 + b255 + b259 + b267 >= 1 e733: b244 + b255 + b259 + b264 + b268 >= 1 e734: b244 + b255 + b259 + b263 + b269 >= 1 e735: b244 + b255 + b259 + b262 >= 1 e736: b244 + b255 + b258 + b269 >= 1 e737: b244 + b255 + b258 + b264 >= 1 e738: b244 + b255 + b257 >= 1 e739: b244 + b254 + b266 >= 1 e740: b244 + b254 + b264 + b267 >= 1 e741: b244 + b254 + b263 + b268 >= 1 e742: b244 + b254 + b262 + b269 >= 1 e743: b244 + b254 + b261 >= 1 e744: b244 + b254 + b259 + b268 >= 1 e745: b244 + b254 + b259 + b264 + b269 >= 1 e746: b244 + b254 + b259 + b263 >= 1 e747: b244 + b254 + b258 >= 1 e748: b244 + b253 + b267 >= 1 e749: b244 + b253 + b264 + b268 >= 1 e750: b244 + b253 + b263 + b269 >= 1 e751: b244 + b253 + b262 >= 1 e752: b244 + b253 + b259 + b269 >= 1 e753: b244 + b253 + b259 + b264 >= 1 e754: b244 + b253 + b258 >= 1 e755: b244 + b252 + b268 >= 1 e756: b244 + b252 + b264 + b269 >= 1 e757: b244 + b252 + b263 >= 1 e758: b244 + b252 + b259 >= 1 e759: b244 + b250 + b265 >= 1 e760: b244 + b250 + b264 + b266 >= 1 e761: b244 + b250 + b263 + b267 >= 1 e762: b244 + b250 + b262 + b268 >= 1 e763: b244 + b250 + b261 + b269 >= 1 e764: b244 + b250 + b260 >= 1 e765: b244 + b250 + b259 + b267 >= 1 e766: b244 + b250 + b259 + b264 + b268 >= 1 e767: b244 + b250 + b259 + b263 + b269 >= 1 e768: b244 + b250 + b259 + b262 >= 1 e769: b244 + b250 + b258 + b269 >= 1 e770: b244 + b250 + b258 + b264 >= 1 e771: b244 + b250 + b257 >= 1 e772: b244 + b250 + b256 + b266 >= 1 e773: b244 + b250 + b256 + b264 + b267 >= 1 e774: b244 + b250 + b256 + b263 + b268 >= 1 e775: b244 + b250 + b256 + b262 + b269 >= 1 e776: b244 + b250 + b256 + b261 >= 1 e777: b244 + b250 + b256 + b259 + b268 >= 1 e778: b244 + b250 + b256 + b259 + b264 + b269 >= 1 e779: b244 + b250 + b256 + b259 + b263 >= 1 e780: b244 + b250 + b256 + b258 >= 1 e781: b244 + b250 + b255 + b266 >= 1 e782: b244 + b250 + b255 + b264 + b267 >= 1 e783: b244 + b250 + b255 + b263 + b268 >= 1 e784: b244 + b250 + b255 + b262 + b269 >= 1 e785: b244 + b250 + b255 + b261 >= 1 e786: b244 + b250 + b255 + b259 + b268 >= 1 e787: b244 + b250 + b255 + b259 + b264 + b269 >= 1 e788: b244 + b250 + b255 + b259 + b263 >= 1 e789: b244 + b250 + b255 + b258 >= 1 e790: b244 + b250 + b254 + b267 >= 1 e791: b244 + b250 + b254 + b264 + b268 >= 1 e792: b244 + b250 + b254 + b263 + b269 >= 1 e793: b244 + b250 + b254 + b262 >= 1 e794: b244 + b250 + b254 + b259 + b269 >= 1 e795: b244 + b250 + b254 + b259 + b264 >= 1 e796: b244 + b250 + b254 + b258 >= 1 e797: b244 + b250 + b253 + b268 >= 1 e798: b244 + b250 + b253 + b264 + b269 >= 1 e799: b244 + b250 + b253 + b263 >= 1 e800: b244 + b250 + b253 + b259 >= 1 e801: b244 + b250 + b252 + b269 >= 1 e802: b244 + b250 + b252 + b264 >= 1 e803: b244 + b250 + b252 + b259 >= 1 e804: b244 + b249 + b265 >= 1 e805: b244 + b249 + b264 + b266 >= 1 e806: b244 + b249 + b263 + b267 >= 1 e807: b244 + b249 + b262 + b269 >= 1 e808: b244 + b249 + b261 >= 1 e809: b244 + b249 + b259 + b267 >= 1 e810: b244 + b249 + b259 + b264 + b268 >= 1 e811: b244 + b249 + b259 + b263 + b269 >= 1 e812: b244 + b249 + b259 + b262 >= 1 e813: b244 + b249 + b258 >= 1 e814: b244 + b249 + b256 + b266 >= 1 e815: b244 + b249 + b256 + b264 + b267 >= 1 e816: b244 + b249 + b256 + b263 + b268 >= 1 e817: b244 + b249 + b256 + b262 + b269 >= 1 e818: b244 + b249 + b256 + b261 >= 1 e819: b244 + b249 + b256 + b259 + b268 >= 1 e820: b244 + b249 + b256 + b259 + b264 + b269 >= 1 e821: b244 + b249 + b256 + b259 + b263 >= 1 e822: b244 + b249 + b256 + b258 >= 1 e823: b244 + b249 + b255 + b267 >= 1 e824: b244 + b249 + b255 + b264 + b268 >= 1 e825: b244 + b249 + b255 + b263 + b269 >= 1 e826: b244 + b249 + b255 + b262 >= 1 e827: b244 + b249 + b255 + b259 + b269 >= 1 e828: b244 + b249 + b255 + b259 + b264 >= 1 e829: b244 + b249 + b255 + b258 >= 1 e830: b244 + b249 + b254 + b268 >= 1 e831: b244 + b249 + b254 + b264 + b269 >= 1 e832: b244 + b249 + b254 + b263 >= 1 e833: b244 + b249 + b254 + b259 >= 1 e834: b244 + b249 + b253 + b269 >= 1 e835: b244 + b249 + b253 + b264 >= 1 e836: b244 + b249 + b253 + b259 >= 1 e837: b244 + b248 + b266 >= 1 e838: b244 + b248 + b264 + b267 >= 1 e839: b244 + b248 + b263 + b268 >= 1 e840: b244 + b248 + b262 + b269 >= 1 e841: b244 + b248 + b261 >= 1 e842: b244 + b248 + b259 + b268 >= 1 e843: b244 + b248 + b259 + b264 + b269 >= 1 e844: b244 + b248 + b259 + b263 >= 1 e845: b244 + b248 + b258 >= 1 e846: b244 + b248 + b256 + b267 >= 1 e847: b244 + b248 + b256 + b264 + b268 >= 1 e848: b244 + b248 + b256 + b263 + b269 >= 1 e849: b244 + b248 + b256 + b262 >= 1 e850: b244 + b248 + b256 + b259 + b269 >= 1 e851: b244 + b248 + b256 + b259 + b264 >= 1 e852: b244 + b248 + b256 + b258 >= 1 e853: b244 + b248 + b255 + b268 >= 1 e854: b244 + b248 + b255 + b264 + b269 >= 1 e855: b244 + b248 + b255 + b263 >= 1 e856: b244 + b248 + b255 + b259 >= 1 e857: b244 + b248 + b254 + b269 >= 1 e858: b244 + b248 + b254 + b264 >= 1 e859: b244 + b248 + b254 + b259 >= 1 e860: b244 + b248 + b253 + b269 >= 1 e861: b244 + b248 + b253 + b264 >= 1 e862: b244 + b248 + b253 + b259 >= 1 e863: b244 + b247 + b267 >= 1 e864: b244 + b247 + b264 + b268 >= 1 e865: b244 + b247 + b263 + b269 >= 1 e866: b244 + b247 + b262 >= 1 e867: b244 + b247 + b259 + b269 >= 1 e868: b244 + b247 + b259 + b264 >= 1 e869: b244 + b247 + b258 >= 1 e870: b244 + b247 + b256 + b268 >= 1 e871: b244 + b247 + b256 + b264 + b269 >= 1 e872: b244 + b247 + b256 + b263 >= 1 e873: b244 + b247 + b256 + b259 >= 1 e874: b244 + b247 + b255 + b269 >= 1 e875: b244 + b247 + b255 + b264 >= 1 e876: b244 + b247 + b255 + b259 >= 1 e877: b244 + b246 + b268 >= 1 e878: b244 + b246 + b264 + b269 >= 1 e879: b244 + b246 + b263 >= 1 e880: b244 + b246 + b259 >= 1 e881: b244 + b246 + b256 + b269 >= 1 e882: b244 + b246 + b256 + b264 >= 1 e883: b244 + b246 + b256 + b259 >= 1 e884: b243 + b265 >= 1 e885: b243 + b264 + b266 >= 1 e886: b243 + b263 + b267 >= 1 e887: b243 + b262 + b268 >= 1 e888: b243 + b261 + b269 >= 1 e889: b243 + b260 >= 1 e890: b243 + b259 + b267 >= 1 e891: b243 + b259 + b264 + b268 >= 1 e892: b243 + b259 + b263 + b269 >= 1 e893: b243 + b259 + b262 >= 1 e894: b243 + b258 + b269 >= 1 e895: b243 + b258 + b264 >= 1 e896: b243 + b257 >= 1 e897: b243 + b256 + b266 >= 1 e898: b243 + b256 + b264 + b267 >= 1 e899: b243 + b256 + b263 + b268 >= 1 e900: b243 + b256 + b262 + b269 >= 1 e901: b243 + b256 + b261 >= 1 e902: b243 + b256 + b259 + b268 >= 1 e903: b243 + b256 + b259 + b264 + b269 >= 1 e904: b243 + b256 + b259 + b263 >= 1 e905: b243 + b256 + b258 >= 1 e906: b243 + b255 + b267 >= 1 e907: b243 + b255 + b264 + b268 >= 1 e908: b243 + b255 + b263 + b269 >= 1 e909: b243 + b255 + b262 >= 1 e910: b243 + b255 + b259 + b269 >= 1 e911: b243 + b255 + b259 + b264 >= 1 e912: b243 + b255 + b258 >= 1 e913: b243 + b254 + b268 >= 1 e914: b243 + b254 + b264 + b269 >= 1 e915: b243 + b254 + b263 >= 1 e916: b243 + b254 + b259 >= 1 e917: b243 + b253 + b269 >= 1 e918: b243 + b253 + b264 >= 1 e919: b243 + b253 + b259 >= 1 e920: b243 + b252 + b269 >= 1 e921: b243 + b252 + b264 >= 1 e922: b243 + b252 + b259 >= 1 e923: b243 + b250 + b266 >= 1 e924: b243 + b250 + b264 + b267 >= 1 e925: b243 + b250 + b263 + b268 >= 1 e926: b243 + b250 + b262 + b269 >= 1 e927: b243 + b250 + b261 >= 1 e928: b243 + b250 + b259 + b268 >= 1 e929: b243 + b250 + b259 + b264 + b269 >= 1 e930: b243 + b250 + b259 + b263 >= 1 e931: b243 + b250 + b258 >= 1 e932: b243 + b250 + b256 + b267 >= 1 e933: b243 + b250 + b256 + b264 + b268 >= 1 e934: b243 + b250 + b256 + b263 + b269 >= 1 e935: b243 + b250 + b256 + b262 >= 1 e936: b243 + b250 + b256 + b259 + b269 >= 1 e937: b243 + b250 + b256 + b259 + b264 >= 1 e938: b243 + b250 + b256 + b258 >= 1 e939: b243 + b250 + b255 + b268 >= 1 e940: b243 + b250 + b255 + b264 + b269 >= 1 e941: b243 + b250 + b255 + b263 >= 1 e942: b243 + b250 + b255 + b259 >= 1 e943: b243 + b250 + b254 + b269 >= 1 e944: b243 + b250 + b254 + b264 >= 1 e945: b243 + b250 + b254 + b259 >= 1 e946: b243 + b250 + b253 + b269 >= 1 e947: b243 + b250 + b253 + b264 >= 1 e948: b243 + b250 + b253 + b259 >= 1 e949: b243 + b249 + b267 >= 1 e950: b243 + b249 + b264 + b268 >= 1 e951: b243 + b249 + b263 + b269 >= 1 e952: b243 + b249 + b262 >= 1 e953: b243 + b249 + b259 + b269 >= 1 e954: b243 + b249 + b259 + b264 >= 1 e955: b243 + b249 + b258 >= 1 e956: b243 + b249 + b256 + b268 >= 1 e957: b243 + b249 + b256 + b264 + b269 >= 1 e958: b243 + b249 + b256 + b263 >= 1 e959: b243 + b249 + b256 + b259 >= 1 e960: b243 + b249 + b255 + b269 >= 1 e961: b243 + b249 + b255 + b263 >= 1 e962: b243 + b249 + b255 + b259 >= 1 e963: b243 + b249 + b254 + b269 >= 1 e964: b243 + b249 + b254 + b264 >= 1 e965: b243 + b249 + b254 + b259 >= 1 e966: b243 + b248 + b268 >= 1 e967: b243 + b248 + b264 + b269 >= 1 e968: b243 + b248 + b263 >= 1 e969: b243 + b248 + b259 >= 1 e970: b243 + b248 + b256 + b269 >= 1 e971: b243 + b248 + b256 + b263 >= 1 e972: b243 + b248 + b256 + b259 >= 1 e973: b243 + b248 + b255 + b269 >= 1 e974: b243 + b248 + b255 + b264 >= 1 e975: b243 + b248 + b255 + b259 >= 1 e976: b243 + b247 + b268 >= 1 e977: b243 + b247 + b264 + b269 >= 1 e978: b243 + b247 + b263 >= 1 e979: b243 + b247 + b259 >= 1 e980: b243 + b247 + b256 + b269 >= 1 e981: b243 + b247 + b256 + b264 >= 1 e982: b243 + b247 + b256 + b259 >= 1 e983: b243 + b246 + b269 >= 1 e984: b243 + b246 + b264 >= 1 e985: b243 + b246 + b259 >= 1 e986: b242 + b267 >= 1 e987: b242 + b264 + b268 >= 1 e988: b242 + b263 + b269 >= 1 e989: b242 + b262 >= 1 e990: b242 + b259 + b269 >= 1 e991: b242 + b259 + b264 >= 1 e992: b242 + b258 >= 1 e993: b242 + b256 + b268 >= 1 e994: b242 + b256 + b264 + b269 >= 1 e995: b242 + b256 + b263 >= 1 e996: b242 + b256 + b259 >= 1 e997: b242 + b255 + b268 >= 1 e998: b242 + b255 + b264 + b269 >= 1 e999: b242 + b255 + b263 >= 1 e1000: b242 + b255 + b259 >= 1 e1001: b242 + b254 + b269 >= 1 e1002: b242 + b254 + b264 >= 1 e1003: b242 + b254 + b259 >= 1 e1004: b242 + b250 + b268 >= 1 e1005: b242 + b250 + b264 + b269 >= 1 e1006: b242 + b250 + b263 >= 1 e1007: b242 + b250 + b259 >= 1 e1008: b242 + b250 + b256 + b269 >= 1 e1009: b242 + b250 + b256 + b263 >= 1 e1010: b242 + b250 + b256 + b259 >= 1 e1011: b242 + b250 + b255 + b269 >= 1 e1012: b242 + b250 + b255 + b264 >= 1 e1013: b242 + b250 + b255 + b259 >= 1 e1014: b242 + b249 + b268 >= 1 e1015: b242 + b249 + b264 + b269 >= 1 e1016: b242 + b249 + b263 >= 1 e1017: b242 + b249 + b259 >= 1 e1018: b242 + b249 + b256 + b269 >= 1 e1019: b242 + b249 + b256 + b264 >= 1 e1020: b242 + b249 + b256 + b259 >= 1 e1021: b242 + b248 + b269 >= 1 e1022: b242 + b248 + b264 >= 1 e1023: b242 + b248 + b259 >= 1 e1024: b241 + b269 >= 1 e1025: b241 + b264 >= 1 e1026: b241 + b259 >= 1 e1027: b240 + b265 >= 1 e1028: b240 + b264 + b266 >= 1 e1029: b240 + b263 + b267 >= 1 e1030: b240 + b262 + b268 >= 1 e1031: b240 + b261 + b269 >= 1 e1032: b240 + b260 >= 1 e1033: b240 + b259 + b267 >= 1 e1034: b240 + b259 + b264 + b268 >= 1 e1035: b240 + b259 + b263 + b269 >= 1 e1036: b240 + b259 + b262 >= 1 e1037: b240 + b258 + b269 >= 1 e1038: b240 + b258 + b264 >= 1 e1039: b240 + b257 >= 1 e1040: b240 + b256 + b266 >= 1 e1041: b240 + b256 + b264 + b267 >= 1 e1042: b240 + b256 + b262 + b269 >= 1 e1043: b240 + b256 + b261 >= 1 e1044: b240 + b256 + b259 + b267 >= 1 e1045: b240 + b256 + b259 + b264 + b268 >= 1 e1046: b240 + b256 + b259 + b263 + b269 >= 1 e1047: b240 + b256 + b259 + b262 >= 1 e1048: b240 + b256 + b258 >= 1 e1049: b240 + b255 + b266 >= 1 e1050: b240 + b255 + b264 + b267 >= 1 e1051: b240 + b255 + b263 + b268 >= 1 e1052: b240 + b255 + b262 + b269 >= 1 e1053: b240 + b255 + b261 >= 1 e1054: b240 + b255 + b259 + b268 >= 1 e1055: b240 + b255 + b259 + b264 + b269 >= 1 e1056: b240 + b255 + b259 + b263 >= 1 e1057: b240 + b255 + b258 >= 1 e1058: b240 + b254 + b267 >= 1 e1059: b240 + b254 + b264 + b268 >= 1 e1060: b240 + b254 + b263 + b269 >= 1 e1061: b240 + b254 + b262 >= 1 e1062: b240 + b254 + b259 + b269 >= 1 e1063: b240 + b254 + b259 + b264 >= 1 e1064: b240 + b254 + b258 >= 1 e1065: b240 + b253 + b268 >= 1 e1066: b240 + b253 + b264 + b269 >= 1 e1067: b240 + b253 + b263 >= 1 e1068: b240 + b253 + b259 >= 1 e1069: b240 + b252 + b269 >= 1 e1070: b240 + b252 + b264 >= 1 e1071: b240 + b252 + b259 >= 1 e1072: b240 + b250 + b266 >= 1 e1073: b240 + b250 + b263 + b267 >= 1 e1074: b240 + b250 + b262 + b268 >= 1 e1075: b240 + b250 + b261 + b269 >= 1 e1076: b240 + b250 + b260 >= 1 e1077: b240 + b250 + b259 + b267 >= 1 e1078: b240 + b250 + b259 + b264 + b268 >= 1 e1079: b240 + b250 + b259 + b263 >= 1 e1080: b240 + b250 + b258 >= 1 e1081: b240 + b250 + b256 + b266 >= 1 e1082: b240 + b250 + b256 + b264 + b267 >= 1 e1083: b240 + b250 + b256 + b263 + b268 >= 1 e1084: b240 + b250 + b256 + b262 + b269 >= 1 e1085: b240 + b250 + b256 + b261 >= 1 e1086: b240 + b250 + b256 + b259 + b268 >= 1 e1087: b240 + b250 + b256 + b259 + b264 + b269 >= 1 e1088: b240 + b250 + b256 + b259 + b263 >= 1 e1089: b240 + b250 + b256 + b258 >= 1 e1090: b240 + b250 + b255 + b267 >= 1 e1091: b240 + b250 + b255 + b264 + b268 >= 1 e1092: b240 + b250 + b255 + b263 + b269 >= 1 e1093: b240 + b250 + b255 + b262 >= 1 e1094: b240 + b250 + b255 + b259 + b269 >= 1 e1095: b240 + b250 + b255 + b259 + b264 >= 1 e1096: b240 + b250 + b255 + b258 >= 1 e1097: b240 + b250 + b254 + b268 >= 1 e1098: b240 + b250 + b254 + b264 + b269 >= 1 e1099: b240 + b250 + b254 + b263 >= 1 e1100: b240 + b250 + b254 + b259 >= 1 e1101: b240 + b250 + b253 + b269 >= 1 e1102: b240 + b250 + b253 + b264 >= 1 e1103: b240 + b250 + b253 + b259 >= 1 e1104: b240 + b249 + b266 >= 1 e1105: b240 + b249 + b264 + b267 >= 1 e1106: b240 + b249 + b263 + b268 >= 1 e1107: b240 + b249 + b262 + b269 >= 1 e1108: b240 + b249 + b261 >= 1 e1109: b240 + b249 + b259 + b268 >= 1 e1110: b240 + b249 + b259 + b264 + b269 >= 1 e1111: b240 + b249 + b259 + b263 >= 1 e1112: b240 + b249 + b258 >= 1 e1113: b240 + b249 + b256 + b267 >= 1 e1114: b240 + b249 + b256 + b264 + b268 >= 1 e1115: b240 + b249 + b256 + b263 + b269 >= 1 e1116: b240 + b249 + b256 + b262 >= 1 e1117: b240 + b249 + b256 + b259 + b269 >= 1 e1118: b240 + b249 + b256 + b259 + b264 >= 1 e1119: b240 + b249 + b256 + b258 >= 1 e1120: b240 + b249 + b255 + b268 >= 1 e1121: b240 + b249 + b255 + b264 + b269 >= 1 e1122: b240 + b249 + b255 + b263 >= 1 e1123: b240 + b249 + b255 + b259 >= 1 e1124: b240 + b249 + b254 + b269 >= 1 e1125: b240 + b249 + b254 + b264 >= 1 e1126: b240 + b249 + b254 + b259 >= 1 e1127: b240 + b249 + b253 + b269 >= 1 e1128: b240 + b249 + b253 + b264 >= 1 e1129: b240 + b249 + b253 + b259 >= 1 e1130: b240 + b248 + b267 >= 1 e1131: b240 + b248 + b264 + b268 >= 1 e1132: b240 + b248 + b263 + b269 >= 1 e1133: b240 + b248 + b262 >= 1 e1134: b240 + b248 + b259 + b269 >= 1 e1135: b240 + b248 + b259 + b264 >= 1 e1136: b240 + b248 + b258 >= 1 e1137: b240 + b248 + b256 + b268 >= 1 e1138: b240 + b248 + b256 + b264 + b269 >= 1 e1139: b240 + b248 + b256 + b263 >= 1 e1140: b240 + b248 + b256 + b259 >= 1 e1141: b240 + b248 + b255 + b269 >= 1 e1142: b240 + b248 + b255 + b264 >= 1 e1143: b240 + b248 + b255 + b259 >= 1 e1144: b240 + b248 + b254 + b269 >= 1 e1145: b240 + b248 + b254 + b264 >= 1 e1146: b240 + b248 + b254 + b259 >= 1 e1147: b240 + b247 + b268 >= 1 e1148: b240 + b247 + b264 + b269 >= 1 e1149: b240 + b247 + b263 >= 1 e1150: b240 + b247 + b259 >= 1 e1151: b240 + b247 + b256 + b269 >= 1 e1152: b240 + b247 + b256 + b264 >= 1 e1153: b240 + b247 + b256 + b259 >= 1 e1154: b240 + b247 + b255 + b269 >= 1 e1155: b240 + b247 + b255 + b264 >= 1 e1156: b240 + b247 + b255 + b259 >= 1 e1157: b240 + b246 + b269 >= 1 e1158: b240 + b246 + b264 >= 1 e1159: b240 + b246 + b259 >= 1 e1160: b240 + b244 + b266 >= 1 e1161: b240 + b244 + b264 + b267 >= 1 e1162: b240 + b244 + b263 + b268 >= 1 e1163: b240 + b244 + b262 + b269 >= 1 e1164: b240 + b244 + b261 >= 1 e1165: b240 + b244 + b259 + b268 >= 1 e1166: b240 + b244 + b259 + b264 + b269 >= 1 e1167: b240 + b244 + b259 + b263 >= 1 e1168: b240 + b244 + b258 >= 1 e1169: b240 + b244 + b256 + b267 >= 1 e1170: b240 + b244 + b256 + b264 + b268 >= 1 e1171: b240 + b244 + b256 + b263 + b269 >= 1 e1172: b240 + b244 + b256 + b262 >= 1 e1173: b240 + b244 + b256 + b259 + b269 >= 1 e1174: b240 + b244 + b256 + b259 + b264 >= 1 e1175: b240 + b244 + b256 + b258 >= 1 e1176: b240 + b244 + b255 + b267 >= 1 e1177: b240 + b244 + b255 + b264 + b268 >= 1 e1178: b240 + b244 + b255 + b263 + b269 >= 1 e1179: b240 + b244 + b255 + b262 >= 1 e1180: b240 + b244 + b255 + b259 + b269 >= 1 e1181: b240 + b244 + b255 + b259 + b264 >= 1 e1182: b240 + b244 + b255 + b258 >= 1 e1183: b240 + b244 + b254 + b268 >= 1 e1184: b240 + b244 + b254 + b264 + b269 >= 1 e1185: b240 + b244 + b254 + b263 >= 1 e1186: b240 + b244 + b254 + b259 >= 1 e1187: b240 + b244 + b253 + b269 >= 1 e1188: b240 + b244 + b253 + b264 >= 1 e1189: b240 + b244 + b253 + b259 >= 1 e1190: b240 + b244 + b250 + b267 >= 1 e1191: b240 + b244 + b250 + b264 + b268 >= 1 e1192: b240 + b244 + b250 + b263 + b269 >= 1 e1193: b240 + b244 + b250 + b262 >= 1 e1194: b240 + b244 + b250 + b259 + b269 >= 1 e1195: b240 + b244 + b250 + b259 + b264 >= 1 e1196: b240 + b244 + b250 + b258 >= 1 e1197: b240 + b244 + b250 + b256 + b268 >= 1 e1198: b240 + b244 + b250 + b256 + b264 + b269 >= 1 e1199: b240 + b244 + b250 + b256 + b263 >= 1 e1200: b240 + b244 + b250 + b256 + b259 >= 1 e1201: b240 + b244 + b250 + b255 + b268 >= 1 e1202: b240 + b244 + b250 + b255 + b264 + b269 >= 1 e1203: b240 + b244 + b250 + b255 + b263 >= 1 e1204: b240 + b244 + b250 + b255 + b259 >= 1 e1205: b240 + b244 + b250 + b254 + b269 >= 1 e1206: b240 + b244 + b250 + b254 + b264 >= 1 e1207: b240 + b244 + b250 + b254 + b259 >= 1 e1208: b240 + b244 + b249 + b267 >= 1 e1209: b240 + b244 + b249 + b264 + b268 >= 1 e1210: b240 + b244 + b249 + b263 + b269 >= 1 e1211: b240 + b244 + b249 + b262 >= 1 e1212: b240 + b244 + b249 + b259 + b269 >= 1 e1213: b240 + b244 + b249 + b259 + b264 >= 1 e1214: b240 + b244 + b249 + b258 >= 1 e1215: b240 + b244 + b249 + b256 + b268 >= 1 e1216: b240 + b244 + b249 + b256 + b264 + b269 >= 1 e1217: b240 + b244 + b249 + b256 + b263 >= 1 e1218: b240 + b244 + b249 + b256 + b259 >= 1 e1219: b240 + b244 + b249 + b255 + b269 >= 1 e1220: b240 + b244 + b249 + b255 + b264 >= 1 e1221: b240 + b244 + b249 + b255 + b259 >= 1 e1222: b240 + b244 + b248 + b268 >= 1 e1223: b240 + b244 + b248 + b264 + b269 >= 1 e1224: b240 + b244 + b248 + b263 >= 1 e1225: b240 + b244 + b248 + b259 >= 1 e1226: b240 + b244 + b248 + b256 + b269 >= 1 e1227: b240 + b244 + b248 + b256 + b264 >= 1 e1228: b240 + b244 + b248 + b256 + b259 >= 1 e1229: b240 + b244 + b247 + b269 >= 1 e1230: b240 + b244 + b247 + b264 >= 1 e1231: b240 + b244 + b247 + b259 >= 1 e1232: b240 + b243 + b267 >= 1 e1233: b240 + b243 + b264 + b268 >= 1 e1234: b240 + b243 + b263 + b269 >= 1 e1235: b240 + b243 + b262 >= 1 e1236: b240 + b243 + b259 + b269 >= 1 e1237: b240 + b243 + b259 + b264 >= 1 e1238: b240 + b243 + b258 >= 1 e1239: b240 + b243 + b256 + b268 >= 1 e1240: b240 + b243 + b256 + b264 + b269 >= 1 e1241: b240 + b243 + b256 + b263 >= 1 e1242: b240 + b243 + b256 + b259 >= 1 e1243: b240 + b243 + b255 + b269 >= 1 e1244: b240 + b243 + b255 + b264 >= 1 e1245: b240 + b243 + b255 + b259 >= 1 e1246: b240 + b243 + b250 + b268 >= 1 e1247: b240 + b243 + b250 + b264 + b269 >= 1 e1248: b240 + b243 + b250 + b263 >= 1 e1249: b240 + b243 + b250 + b259 >= 1 e1250: b240 + b243 + b250 + b256 + b269 >= 1 e1251: b240 + b243 + b250 + b256 + b264 >= 1 e1252: b240 + b243 + b250 + b256 + b259 >= 1 e1253: b240 + b243 + b249 + b269 >= 1 e1254: b240 + b243 + b249 + b264 >= 1 e1255: b240 + b243 + b249 + b259 >= 1 e1256: b240 + b242 + b269 >= 1 e1257: b240 + b242 + b264 >= 1 e1258: b240 + b242 + b259 >= 1 e1259: b239 + b267 >= 1 e1260: b239 + b264 + b268 >= 1 e1261: b239 + b263 + b269 >= 1 e1262: b239 + b262 >= 1 e1263: b239 + b259 + b269 >= 1 e1264: b239 + b259 + b264 >= 1 e1265: b239 + b258 >= 1 e1266: b239 + b256 + b268 >= 1 e1267: b239 + b256 + b264 + b269 >= 1 e1268: b239 + b256 + b263 >= 1 e1269: b239 + b256 + b259 >= 1 e1270: b239 + b255 + b268 >= 1 e1271: b239 + b255 + b264 + b269 >= 1 e1272: b239 + b255 + b263 >= 1 e1273: b239 + b255 + b259 >= 1 e1274: b239 + b254 + b269 >= 1 e1275: b239 + b254 + b264 >= 1 e1276: b239 + b254 + b259 >= 1 e1277: b239 + b250 + b268 >= 1 e1278: b239 + b250 + b264 + b269 >= 1 e1279: b239 + b250 + b263 >= 1 e1280: b239 + b250 + b259 >= 1 e1281: b239 + b250 + b256 + b269 >= 1 e1282: b239 + b250 + b256 + b263 >= 1 e1283: b239 + b250 + b256 + b259 >= 1 e1284: b239 + b250 + b255 + b269 >= 1 e1285: b239 + b250 + b255 + b264 >= 1 e1286: b239 + b250 + b255 + b259 >= 1 e1287: b239 + b249 + b268 >= 1 e1288: b239 + b249 + b264 + b269 >= 1 e1289: b239 + b249 + b263 >= 1 e1290: b239 + b249 + b259 >= 1 e1291: b239 + b249 + b256 + b269 >= 1 e1292: b239 + b249 + b256 + b264 >= 1 e1293: b239 + b249 + b256 + b259 >= 1 e1294: b239 + b248 + b269 >= 1 e1295: b239 + b248 + b264 >= 1 e1296: b239 + b248 + b259 >= 1 e1297: b239 + b244 + b268 >= 1 e1298: b239 + b244 + b264 + b269 >= 1 e1299: b239 + b244 + b263 >= 1 e1300: b239 + b244 + b259 >= 1 e1301: b239 + b244 + b256 + b269 >= 1 e1302: b239 + b244 + b256 + b264 >= 1 e1303: b239 + b244 + b256 + b259 >= 1 e1304: b239 + b244 + b250 + b269 >= 1 e1305: b239 + b244 + b250 + b264 >= 1 e1306: b239 + b244 + b250 + b259 >= 1 e1307: b239 + b243 + b269 >= 1 e1308: b239 + b243 + b264 >= 1 e1309: b239 + b243 + b259 >= 1 e1310: b238 + b269 >= 1 e1311: b238 + b264 >= 1 e1312: b238 + b259 >= 1 e1313: b237 + b265 >= 1 e1314: b237 + b264 + b266 >= 1 e1315: b237 + b263 + b267 >= 1 e1316: b237 + b262 + b268 >= 1 e1317: b237 + b261 + b269 >= 1 e1318: b237 + b260 >= 1 e1319: b237 + b259 + b267 >= 1 e1320: b237 + b259 + b264 + b268 >= 1 e1321: b237 + b259 + b263 + b269 >= 1 e1322: b237 + b259 + b262 >= 1 e1323: b237 + b258 + b269 >= 1 e1324: b237 + b258 + b264 >= 1 e1325: b237 + b257 >= 1 e1326: b237 + b256 + b266 >= 1 e1327: b237 + b256 + b264 + b267 >= 1 e1328: b237 + b256 + b263 + b268 >= 1 e1329: b237 + b256 + b262 + b269 >= 1 e1330: b237 + b256 + b261 >= 1 e1331: b237 + b256 + b259 + b268 >= 1 e1332: b237 + b256 + b259 + b264 + b269 >= 1 e1333: b237 + b256 + b259 + b263 >= 1 e1334: b237 + b256 + b258 >= 1 e1335: b237 + b255 + b266 >= 1 e1336: b237 + b255 + b264 + b267 >= 1 e1337: b237 + b255 + b263 + b268 >= 1 e1338: b237 + b255 + b262 >= 1 e1339: b237 + b255 + b259 + b268 >= 1 e1340: b237 + b255 + b259 + b264 + b269 >= 1 e1341: b237 + b255 + b259 + b263 >= 1 e1342: b237 + b255 + b258 >= 1 e1343: b237 + b254 + b267 >= 1 e1344: b237 + b254 + b264 + b268 >= 1 e1345: b237 + b254 + b263 + b269 >= 1 e1346: b237 + b254 + b262 >= 1 e1347: b237 + b254 + b259 + b269 >= 1 e1348: b237 + b254 + b259 + b264 >= 1 e1349: b237 + b254 + b258 >= 1 e1350: b237 + b253 + b268 >= 1 e1351: b237 + b253 + b264 + b269 >= 1 e1352: b237 + b253 + b263 >= 1 e1353: b237 + b253 + b259 >= 1 e1354: b237 + b252 + b269 >= 1 e1355: b237 + b252 + b264 >= 1 e1356: b237 + b252 + b259 >= 1 e1357: b237 + b250 + b266 >= 1 e1358: b237 + b250 + b264 + b267 >= 1 e1359: b237 + b250 + b263 + b268 >= 1 e1360: b237 + b250 + b262 + b269 >= 1 e1361: b237 + b250 + b261 >= 1 e1362: b237 + b250 + b259 + b268 >= 1 e1363: b237 + b250 + b259 + b264 + b269 >= 1 e1364: b237 + b250 + b259 + b263 >= 1 e1365: b237 + b250 + b258 >= 1 e1366: b237 + b250 + b256 + b267 >= 1 e1367: b237 + b250 + b256 + b263 + b269 >= 1 e1368: b237 + b250 + b256 + b262 >= 1 e1369: b237 + b250 + b256 + b259 + b269 >= 1 e1370: b237 + b250 + b256 + b259 + b263 >= 1 e1371: b237 + b250 + b256 + b258 >= 1 e1372: b237 + b250 + b255 + b267 >= 1 e1373: b237 + b250 + b255 + b264 + b268 >= 1 e1374: b237 + b250 + b255 + b263 + b269 >= 1 e1375: b237 + b250 + b255 + b262 >= 1 e1376: b237 + b250 + b255 + b259 + b269 >= 1 e1377: b237 + b250 + b255 + b259 + b264 >= 1 e1378: b237 + b250 + b255 + b258 >= 1 e1379: b237 + b250 + b254 + b268 >= 1 e1380: b237 + b250 + b254 + b264 + b269 >= 1 e1381: b237 + b250 + b254 + b263 >= 1 e1382: b237 + b250 + b254 + b259 >= 1 e1383: b237 + b250 + b253 + b269 >= 1 e1384: b237 + b250 + b253 + b264 >= 1 e1385: b237 + b250 + b253 + b259 >= 1 e1386: b237 + b249 + b266 >= 1 e1387: b237 + b249 + b264 + b267 >= 1 e1388: b237 + b249 + b263 + b268 >= 1 e1389: b237 + b249 + b262 + b269 >= 1 e1390: b237 + b249 + b261 >= 1 e1391: b237 + b249 + b259 + b268 >= 1 e1392: b237 + b249 + b259 + b264 + b269 >= 1 e1393: b237 + b249 + b259 + b263 >= 1 e1394: b237 + b249 + b258 >= 1 e1395: b237 + b249 + b256 + b267 >= 1 e1396: b237 + b249 + b256 + b264 + b268 >= 1 e1397: b237 + b249 + b256 + b263 + b269 >= 1 e1398: b237 + b249 + b256 + b262 >= 1 e1399: b237 + b249 + b256 + b259 + b269 >= 1 e1400: b237 + b249 + b256 + b259 + b264 >= 1 e1401: b237 + b249 + b256 + b258 >= 1 e1402: b237 + b249 + b255 + b268 >= 1 e1403: b237 + b249 + b255 + b264 + b269 >= 1 e1404: b237 + b249 + b255 + b263 >= 1 e1405: b237 + b249 + b255 + b259 >= 1 e1406: b237 + b249 + b254 + b269 >= 1 e1407: b237 + b249 + b254 + b264 >= 1 e1408: b237 + b249 + b254 + b259 >= 1 e1409: b237 + b248 + b267 >= 1 e1410: b237 + b248 + b264 + b268 >= 1 e1411: b237 + b248 + b263 + b269 >= 1 e1412: b237 + b248 + b262 >= 1 e1413: b237 + b248 + b259 + b269 >= 1 e1414: b237 + b248 + b259 + b264 >= 1 e1415: b237 + b248 + b258 >= 1 e1416: b237 + b248 + b256 + b268 >= 1 e1417: b237 + b248 + b256 + b264 + b269 >= 1 e1418: b237 + b248 + b256 + b263 >= 1 e1419: b237 + b248 + b256 + b259 >= 1 e1420: b237 + b248 + b255 + b269 >= 1 e1421: b237 + b248 + b255 + b264 >= 1 e1422: b237 + b248 + b255 + b259 >= 1 e1423: b237 + b247 + b268 >= 1 e1424: b237 + b247 + b264 + b269 >= 1 e1425: b237 + b247 + b263 >= 1 e1426: b237 + b247 + b259 >= 1 e1427: b237 + b247 + b256 + b269 >= 1 e1428: b237 + b247 + b256 + b264 >= 1 e1429: b237 + b247 + b256 + b259 >= 1 e1430: b237 + b246 + b269 >= 1 e1431: b237 + b246 + b264 >= 1 e1432: b237 + b246 + b259 >= 1 e1433: b237 + b244 + b266 >= 1 e1434: b237 + b244 + b264 + b267 >= 1 e1435: b237 + b244 + b263 + b268 >= 1 e1436: b237 + b244 + b262 + b269 >= 1 e1437: b237 + b244 + b261 >= 1 e1438: b237 + b244 + b259 + b268 >= 1 e1439: b237 + b244 + b259 + b264 + b269 >= 1 e1440: b237 + b244 + b259 + b263 >= 1 e1441: b237 + b244 + b258 >= 1 e1442: b237 + b244 + b256 + b267 >= 1 e1443: b237 + b244 + b256 + b264 + b268 >= 1 e1444: b237 + b244 + b256 + b263 + b269 >= 1 e1445: b237 + b244 + b256 + b262 >= 1 e1446: b237 + b244 + b256 + b259 + b269 >= 1 e1447: b237 + b244 + b256 + b259 + b264 >= 1 e1448: b237 + b244 + b256 + b258 >= 1 e1449: b237 + b244 + b255 + b268 >= 1 e1450: b237 + b244 + b255 + b264 + b269 >= 1 e1451: b237 + b244 + b255 + b263 >= 1 e1452: b237 + b244 + b255 + b259 >= 1 e1453: b237 + b244 + b254 + b268 >= 1 e1454: b237 + b244 + b254 + b264 + b269 >= 1 e1455: b237 + b244 + b254 + b263 >= 1 e1456: b237 + b244 + b254 + b259 >= 1 e1457: b237 + b244 + b253 + b269 >= 1 e1458: b237 + b244 + b253 + b264 >= 1 e1459: b237 + b244 + b253 + b259 >= 1 e1460: b237 + b244 + b250 + b267 >= 1 e1461: b237 + b244 + b250 + b264 + b268 >= 1 e1462: b237 + b244 + b250 + b263 + b269 >= 1 e1463: b237 + b244 + b250 + b262 >= 1 e1464: b237 + b244 + b250 + b259 + b269 >= 1 e1465: b237 + b244 + b250 + b259 + b264 >= 1 e1466: b237 + b244 + b250 + b258 >= 1 e1467: b237 + b244 + b250 + b256 + b268 >= 1 e1468: b237 + b244 + b250 + b256 + b264 + b269 >= 1 e1469: b237 + b244 + b250 + b256 + b263 >= 1 e1470: b237 + b244 + b250 + b256 + b259 >= 1 e1471: b237 + b244 + b250 + b255 + b268 >= 1 e1472: b237 + b244 + b250 + b255 + b264 + b269 >= 1 e1473: b237 + b244 + b250 + b255 + b263 >= 1 e1474: b237 + b244 + b250 + b255 + b259 >= 1 e1475: b237 + b244 + b250 + b254 + b269 >= 1 e1476: b237 + b244 + b250 + b254 + b264 >= 1 e1477: b237 + b244 + b250 + b254 + b259 >= 1 e1478: b237 + b244 + b249 + b268 >= 1 e1479: b237 + b244 + b249 + b263 >= 1 e1480: b237 + b244 + b249 + b259 >= 1 e1481: b237 + b244 + b249 + b256 + b268 >= 1 e1482: b237 + b244 + b249 + b256 + b264 + b269 >= 1 e1483: b237 + b244 + b249 + b256 + b263 >= 1 e1484: b237 + b244 + b249 + b256 + b259 >= 1 e1485: b237 + b244 + b249 + b255 + b269 >= 1 e1486: b237 + b244 + b249 + b255 + b264 >= 1 e1487: b237 + b244 + b249 + b255 + b259 >= 1 e1488: b237 + b244 + b248 + b268 >= 1 e1489: b237 + b244 + b248 + b264 + b269 >= 1 e1490: b237 + b244 + b248 + b263 >= 1 e1491: b237 + b244 + b248 + b259 >= 1 e1492: b237 + b244 + b248 + b256 + b269 >= 1 e1493: b237 + b244 + b248 + b256 + b264 >= 1 e1494: b237 + b244 + b248 + b256 + b259 >= 1 e1495: b237 + b244 + b247 + b269 >= 1 e1496: b237 + b244 + b247 + b264 >= 1 e1497: b237 + b244 + b247 + b259 >= 1 e1498: b237 + b243 + b267 >= 1 e1499: b237 + b243 + b264 + b268 >= 1 e1500: b237 + b243 + b263 + b269 >= 1 e1501: b237 + b243 + b262 >= 1 e1502: b237 + b243 + b259 + b269 >= 1 e1503: b237 + b243 + b259 + b264 >= 1 e1504: b237 + b243 + b258 >= 1 e1505: b237 + b243 + b256 + b268 >= 1 e1506: b237 + b243 + b256 + b264 + b269 >= 1 e1507: b237 + b243 + b256 + b263 >= 1 e1508: b237 + b243 + b256 + b259 >= 1 e1509: b237 + b243 + b255 + b269 >= 1 e1510: b237 + b243 + b255 + b264 >= 1 e1511: b237 + b243 + b255 + b259 >= 1 e1512: b237 + b243 + b250 + b268 >= 1 e1513: b237 + b243 + b250 + b264 + b269 >= 1 e1514: b237 + b243 + b250 + b263 >= 1 e1515: b237 + b243 + b250 + b259 >= 1 e1516: b237 + b243 + b250 + b256 + b269 >= 1 e1517: b237 + b243 + b250 + b256 + b264 >= 1 e1518: b237 + b243 + b250 + b256 + b259 >= 1 e1519: b237 + b243 + b249 + b269 >= 1 e1520: b237 + b243 + b249 + b264 >= 1 e1521: b237 + b243 + b249 + b259 >= 1 e1522: b237 + b242 + b269 >= 1 e1523: b237 + b242 + b264 >= 1 e1524: b237 + b242 + b259 >= 1 e1525: b237 + b240 + b267 >= 1 e1526: b237 + b240 + b264 + b268 >= 1 e1527: b237 + b240 + b263 + b269 >= 1 e1528: b237 + b240 + b262 >= 1 e1529: b237 + b240 + b259 + b269 >= 1 e1530: b237 + b240 + b259 + b264 >= 1 e1531: b237 + b240 + b258 >= 1 e1532: b237 + b240 + b256 + b268 >= 1 e1533: b237 + b240 + b256 + b264 + b269 >= 1 e1534: b237 + b240 + b256 + b263 >= 1 e1535: b237 + b240 + b256 + b259 >= 1 e1536: b237 + b240 + b255 + b268 >= 1 e1537: b237 + b240 + b255 + b264 + b269 >= 1 e1538: b237 + b240 + b255 + b263 >= 1 e1539: b237 + b240 + b255 + b259 >= 1 e1540: b237 + b240 + b254 + b269 >= 1 e1541: b237 + b240 + b254 + b264 >= 1 e1542: b237 + b240 + b254 + b259 >= 1 e1543: b237 + b240 + b250 + b268 >= 1 e1544: b237 + b240 + b250 + b264 + b269 >= 1 e1545: b237 + b240 + b250 + b263 >= 1 e1546: b237 + b240 + b250 + b259 >= 1 e1547: b237 + b240 + b250 + b256 + b268 >= 1 e1548: b237 + b240 + b250 + b256 + b264 + b269 >= 1 e1549: b237 + b240 + b250 + b256 + b263 >= 1 e1550: b237 + b240 + b250 + b256 + b259 >= 1 e1551: b237 + b240 + b250 + b255 + b269 >= 1 e1552: b237 + b240 + b250 + b255 + b264 >= 1 e1553: b237 + b240 + b250 + b255 + b259 >= 1 e1554: b237 + b240 + b249 + b268 >= 1 e1555: b237 + b240 + b249 + b264 + b269 >= 1 e1556: b237 + b240 + b249 + b263 >= 1 e1557: b237 + b240 + b249 + b259 >= 1 e1558: b237 + b240 + b249 + b256 + b269 >= 1 e1559: b237 + b240 + b249 + b256 + b264 >= 1 e1560: b237 + b240 + b249 + b256 + b259 >= 1 e1561: b237 + b240 + b248 + b269 >= 1 e1562: b237 + b240 + b248 + b264 >= 1 e1563: b237 + b240 + b248 + b259 >= 1 e1564: b237 + b240 + b244 + b268 >= 1 e1565: b237 + b240 + b244 + b264 + b269 >= 1 e1566: b237 + b240 + b244 + b263 >= 1 e1567: b237 + b240 + b244 + b259 >= 1 e1568: b237 + b240 + b244 + b256 + b269 >= 1 e1569: b237 + b240 + b244 + b256 + b264 >= 1 e1570: b237 + b240 + b244 + b256 + b259 >= 1 e1571: b237 + b240 + b244 + b255 + b269 >= 1 e1572: b237 + b240 + b244 + b255 + b264 >= 1 e1573: b237 + b240 + b244 + b255 + b259 >= 1 e1574: b237 + b240 + b244 + b250 + b269 >= 1 e1575: b237 + b240 + b244 + b250 + b264 >= 1 e1576: b237 + b240 + b244 + b250 + b259 >= 1 e1577: b237 + b240 + b244 + b249 + b269 >= 1 e1578: b237 + b240 + b244 + b249 + b264 >= 1 e1579: b237 + b240 + b244 + b249 + b259 >= 1 e1580: b237 + b240 + b243 + b269 >= 1 e1581: b237 + b240 + b243 + b264 >= 1 e1582: b237 + b240 + b243 + b259 >= 1 e1583: b237 + b239 + b269 >= 1 e1584: b237 + b239 + b264 >= 1 e1585: b237 + b239 + b259 >= 1 e1586: b236 + b267 >= 1 e1587: b236 + b264 + b268 >= 1 e1588: b236 + b263 + b269 >= 1 e1589: b236 + b262 >= 1 e1590: b236 + b259 + b269 >= 1 e1591: b236 + b259 + b264 >= 1 e1592: b236 + b258 >= 1 e1593: b236 + b256 + b268 >= 1 e1594: b236 + b256 + b264 + b269 >= 1 e1595: b236 + b256 + b263 >= 1 e1596: b236 + b256 + b259 >= 1 e1597: b236 + b255 + b268 >= 1 e1598: b236 + b255 + b264 + b269 >= 1 e1599: b236 + b255 + b263 >= 1 e1600: b236 + b255 + b259 >= 1 e1601: b236 + b254 + b269 >= 1 e1602: b236 + b254 + b264 >= 1 e1603: b236 + b254 + b259 >= 1 e1604: b236 + b250 + b268 >= 1 e1605: b236 + b250 + b263 + b269 >= 1 e1606: b236 + b250 + b262 >= 1 e1607: b236 + b250 + b259 >= 1 e1608: b236 + b250 + b256 + b268 >= 1 e1609: b236 + b250 + b256 + b264 + b269 >= 1 e1610: b236 + b250 + b256 + b263 >= 1 e1611: b236 + b250 + b256 + b259 >= 1 e1612: b236 + b250 + b255 + b269 >= 1 e1613: b236 + b250 + b255 + b264 >= 1 e1614: b236 + b250 + b255 + b259 >= 1 e1615: b236 + b249 + b268 >= 1 e1616: b236 + b249 + b264 + b269 >= 1 e1617: b236 + b249 + b263 >= 1 e1618: b236 + b249 + b259 >= 1 e1619: b236 + b249 + b256 + b269 >= 1 e1620: b236 + b249 + b256 + b264 >= 1 e1621: b236 + b249 + b256 + b259 >= 1 e1622: b236 + b248 + b269 >= 1 e1623: b236 + b248 + b264 >= 1 e1624: b236 + b248 + b259 >= 1 e1625: b236 + b244 + b268 >= 1 e1626: b236 + b244 + b264 + b269 >= 1 e1627: b236 + b244 + b263 >= 1 e1628: b236 + b244 + b259 >= 1 e1629: b236 + b244 + b256 + b269 >= 1 e1630: b236 + b244 + b256 + b264 >= 1 e1631: b236 + b244 + b256 + b259 >= 1 e1632: b236 + b244 + b250 + b269 >= 1 e1633: b236 + b244 + b250 + b264 >= 1 e1634: b236 + b244 + b250 + b259 >= 1 e1635: b236 + b244 + b249 + b269 >= 1 e1636: b236 + b244 + b249 + b264 >= 1 e1637: b236 + b244 + b249 + b259 >= 1 e1638: b236 + b243 + b269 >= 1 e1639: b236 + b243 + b264 >= 1 e1640: b236 + b243 + b259 >= 1 e1641: b236 + b240 + b269 >= 1 e1642: b236 + b240 + b264 >= 1 e1643: b236 + b240 + b259 >= 1 e1644: b236 + b240 + b250 + b269 >= 1 e1645: b236 + b240 + b250 + b264 >= 1 e1646: b236 + b240 + b250 + b259 >= 1 e1647: b235 + b269 >= 1 e1648: b235 + b264 >= 1 e1649: b235 + b259 >= 1 e1650: b234 + b265 >= 1 e1651: b234 + b264 + b266 >= 1 e1652: b234 + b263 + b267 >= 1 e1653: b234 + b262 + b268 >= 1 e1654: b234 + b261 + b269 >= 1 e1655: b234 + b260 >= 1 e1656: b234 + b259 + b267 >= 1 e1657: b234 + b259 + b264 + b268 >= 1 e1658: b234 + b259 + b262 >= 1 e1659: b234 + b258 + b269 >= 1 e1660: b234 + b258 + b264 >= 1 e1661: b234 + b257 >= 1 e1662: b234 + b256 + b266 >= 1 e1663: b234 + b256 + b263 + b267 >= 1 e1664: b234 + b256 + b262 + b269 >= 1 e1665: b234 + b256 + b261 >= 1 e1666: b234 + b256 + b259 + b267 >= 1 e1667: b234 + b256 + b259 + b264 + b268 >= 1 e1668: b234 + b256 + b259 + b263 + b269 >= 1 e1669: b234 + b256 + b259 + b262 >= 1 e1670: b234 + b256 + b258 >= 1 e1671: b234 + b255 + b266 >= 1 e1672: b234 + b255 + b264 + b267 >= 1 e1673: b234 + b255 + b263 + b268 >= 1 e1674: b234 + b255 + b262 + b269 >= 1 e1675: b234 + b255 + b261 >= 1 e1676: b234 + b255 + b259 + b268 >= 1 e1677: b234 + b255 + b259 + b264 + b269 >= 1 e1678: b234 + b255 + b259 + b263 >= 1 e1679: b234 + b255 + b258 >= 1 e1680: b234 + b254 + b267 >= 1 e1681: b234 + b254 + b264 + b268 >= 1 e1682: b234 + b254 + b263 + b269 >= 1 e1683: b234 + b254 + b262 >= 1 e1684: b234 + b254 + b259 + b269 >= 1 e1685: b234 + b254 + b259 + b264 >= 1 e1686: b234 + b254 + b258 >= 1 e1687: b234 + b253 + b268 >= 1 e1688: b234 + b253 + b264 + b269 >= 1 e1689: b234 + b253 + b263 >= 1 e1690: b234 + b253 + b259 >= 1 e1691: b234 + b252 + b269 >= 1 e1692: b234 + b252 + b264 >= 1 e1693: b234 + b252 + b259 >= 1 e1694: b234 + b250 + b266 >= 1 e1695: b234 + b250 + b263 + b267 >= 1 e1696: b234 + b250 + b262 + b268 >= 1 e1697: b234 + b250 + b261 >= 1 e1698: b234 + b250 + b259 + b267 >= 1 e1699: b234 + b250 + b259 + b264 + b268 >= 1 e1700: b234 + b250 + b259 + b263 + b269 >= 1 e1701: b234 + b250 + b259 + b262 >= 1 e1702: b234 + b250 + b258 >= 1 e1703: b234 + b250 + b256 + b266 >= 1 e1704: b234 + b250 + b256 + b264 + b267 >= 1 e1705: b234 + b250 + b256 + b263 + b268 >= 1 e1706: b234 + b250 + b256 + b262 + b269 >= 1 e1707: b234 + b250 + b256 + b261 >= 1 e1708: b234 + b250 + b256 + b259 + b268 >= 1 e1709: b234 + b250 + b256 + b259 + b264 + b269 >= 1 e1710: b234 + b250 + b256 + b259 + b263 >= 1 e1711: b234 + b250 + b256 + b258 >= 1 e1712: b234 + b250 + b255 + b267 >= 1 e1713: b234 + b250 + b255 + b264 + b268 >= 1 e1714: b234 + b250 + b255 + b263 + b269 >= 1 e1715: b234 + b250 + b255 + b262 >= 1 e1716: b234 + b250 + b255 + b259 + b269 >= 1 e1717: b234 + b250 + b255 + b259 + b264 >= 1 e1718: b234 + b250 + b255 + b258 >= 1 e1719: b234 + b250 + b254 + b268 >= 1 e1720: b234 + b250 + b254 + b264 + b269 >= 1 e1721: b234 + b250 + b254 + b263 >= 1 e1722: b234 + b250 + b254 + b259 >= 1 e1723: b234 + b250 + b253 + b269 >= 1 e1724: b234 + b250 + b253 + b264 >= 1 e1725: b234 + b250 + b253 + b259 >= 1 e1726: b234 + b250 + b252 + b269 >= 1 e1727: b234 + b250 + b252 + b264 >= 1 e1728: b234 + b250 + b252 + b259 >= 1 e1729: b234 + b249 + b266 >= 1 e1730: b234 + b249 + b264 + b267 >= 1 e1731: b234 + b249 + b263 + b268 >= 1 e1732: b234 + b249 + b262 + b269 >= 1 e1733: b234 + b249 + b261 >= 1 e1734: b234 + b249 + b259 + b268 >= 1 e1735: b234 + b249 + b259 + b264 + b269 >= 1 e1736: b234 + b249 + b259 + b263 >= 1 e1737: b234 + b249 + b258 >= 1 e1738: b234 + b249 + b256 + b267 >= 1 e1739: b234 + b249 + b256 + b264 + b268 >= 1 e1740: b234 + b249 + b256 + b263 + b269 >= 1 e1741: b234 + b249 + b256 + b262 >= 1 e1742: b234 + b249 + b256 + b259 + b269 >= 1 e1743: b234 + b249 + b256 + b259 + b264 >= 1 e1744: b234 + b249 + b256 + b258 >= 1 e1745: b234 + b249 + b255 + b268 >= 1 e1746: b234 + b249 + b255 + b264 + b269 >= 1 e1747: b234 + b249 + b255 + b263 >= 1 e1748: b234 + b249 + b255 + b259 >= 1 e1749: b234 + b249 + b254 + b269 >= 1 e1750: b234 + b249 + b254 + b264 >= 1 e1751: b234 + b249 + b254 + b259 >= 1 e1752: b234 + b249 + b253 + b269 >= 1 e1753: b234 + b249 + b253 + b264 >= 1 e1754: b234 + b249 + b253 + b259 >= 1 e1755: b234 + b248 + b267 >= 1 e1756: b234 + b248 + b264 + b268 >= 1 e1757: b234 + b248 + b263 + b269 >= 1 e1758: b234 + b248 + b262 >= 1 e1759: b234 + b248 + b259 + b269 >= 1 e1760: b234 + b248 + b259 + b264 >= 1 e1761: b234 + b248 + b258 >= 1 e1762: b234 + b248 + b256 + b268 >= 1 e1763: b234 + b248 + b256 + b264 + b269 >= 1 e1764: b234 + b248 + b256 + b263 >= 1 e1765: b234 + b248 + b256 + b259 >= 1 e1766: b234 + b248 + b255 + b269 >= 1 e1767: b234 + b248 + b255 + b264 >= 1 e1768: b234 + b248 + b255 + b259 >= 1 e1769: b234 + b248 + b254 + b269 >= 1 e1770: b234 + b248 + b254 + b264 >= 1 e1771: b234 + b248 + b254 + b259 >= 1 e1772: b234 + b247 + b268 >= 1 e1773: b234 + b247 + b264 + b269 >= 1 e1774: b234 + b247 + b263 >= 1 e1775: b234 + b247 + b259 >= 1 e1776: b234 + b247 + b256 + b269 >= 1 e1777: b234 + b247 + b256 + b264 >= 1 e1778: b234 + b247 + b256 + b259 >= 1 e1779: b234 + b247 + b255 + b269 >= 1 e1780: b234 + b247 + b255 + b264 >= 1 e1781: b234 + b247 + b255 + b259 >= 1 e1782: b234 + b246 + b269 >= 1 e1783: b234 + b246 + b264 >= 1 e1784: b234 + b246 + b259 >= 1 e1785: b234 + b244 + b266 >= 1 e1786: b234 + b244 + b264 + b267 >= 1 e1787: b234 + b244 + b263 + b268 >= 1 e1788: b234 + b244 + b262 + b269 >= 1 e1789: b234 + b244 + b261 >= 1 e1790: b234 + b244 + b259 + b268 >= 1 e1791: b234 + b244 + b259 + b264 + b269 >= 1 e1792: b234 + b244 + b259 + b263 >= 1 e1793: b234 + b244 + b258 >= 1 e1794: b234 + b244 + b256 + b267 >= 1 e1795: b234 + b244 + b256 + b264 + b268 >= 1 e1796: b234 + b244 + b256 + b263 + b269 >= 1 e1797: b234 + b244 + b256 + b262 >= 1 e1798: b234 + b244 + b256 + b259 + b269 >= 1 e1799: b234 + b244 + b256 + b259 + b264 >= 1 e1800: b234 + b244 + b256 + b258 >= 1 e1801: b234 + b244 + b255 + b267 >= 1 e1802: b234 + b244 + b255 + b264 + b268 >= 1 e1803: b234 + b244 + b255 + b263 + b269 >= 1 e1804: b234 + b244 + b255 + b262 >= 1 e1805: b234 + b244 + b255 + b259 + b269 >= 1 e1806: b234 + b244 + b255 + b259 + b264 >= 1 e1807: b234 + b244 + b255 + b258 >= 1 e1808: b234 + b244 + b254 + b268 >= 1 e1809: b234 + b244 + b254 + b264 + b269 >= 1 e1810: b234 + b244 + b254 + b263 >= 1 e1811: b234 + b244 + b254 + b259 >= 1 e1812: b234 + b244 + b253 + b269 >= 1 e1813: b234 + b244 + b253 + b264 >= 1 e1814: b234 + b244 + b253 + b259 >= 1 e1815: b234 + b244 + b250 + b267 >= 1 e1816: b234 + b244 + b250 + b264 + b268 >= 1 e1817: b234 + b244 + b250 + b263 + b269 >= 1 e1818: b234 + b244 + b250 + b262 >= 1 e1819: b234 + b244 + b250 + b259 + b269 >= 1 e1820: b234 + b244 + b250 + b259 + b264 >= 1 e1821: b234 + b244 + b250 + b258 >= 1 e1822: b234 + b244 + b250 + b256 + b267 >= 1 e1823: b234 + b244 + b250 + b256 + b264 + b268 >= 1 e1824: b234 + b244 + b250 + b256 + b263 >= 1 e1825: b234 + b244 + b250 + b256 + b259 >= 1 e1826: b234 + b244 + b250 + b255 + b268 >= 1 e1827: b234 + b244 + b250 + b255 + b264 + b269 >= 1 e1828: b234 + b244 + b250 + b255 + b263 >= 1 e1829: b234 + b244 + b250 + b255 + b259 >= 1 e1830: b234 + b244 + b250 + b254 + b269 >= 1 e1831: b234 + b244 + b250 + b254 + b264 >= 1 e1832: b234 + b244 + b250 + b254 + b259 >= 1 e1833: b234 + b244 + b249 + b267 >= 1 e1834: b234 + b244 + b249 + b264 + b268 >= 1 e1835: b234 + b244 + b249 + b263 + b269 >= 1 e1836: b234 + b244 + b249 + b262 >= 1 e1837: b234 + b244 + b249 + b259 + b269 >= 1 e1838: b234 + b244 + b249 + b259 + b264 >= 1 e1839: b234 + b244 + b249 + b258 >= 1 e1840: b234 + b244 + b249 + b256 + b268 >= 1 e1841: b234 + b244 + b249 + b256 + b264 + b269 >= 1 e1842: b234 + b244 + b249 + b256 + b263 >= 1 e1843: b234 + b244 + b249 + b256 + b259 >= 1 e1844: b234 + b244 + b249 + b255 + b269 >= 1 e1845: b234 + b244 + b249 + b255 + b264 >= 1 e1846: b234 + b244 + b249 + b255 + b259 >= 1 e1847: b234 + b244 + b248 + b268 >= 1 e1848: b234 + b244 + b248 + b264 + b269 >= 1 e1849: b234 + b244 + b248 + b263 >= 1 e1850: b234 + b244 + b248 + b259 >= 1 e1851: b234 + b244 + b248 + b256 + b269 >= 1 e1852: b234 + b244 + b248 + b256 + b264 >= 1 e1853: b234 + b244 + b248 + b256 + b259 >= 1 e1854: b234 + b244 + b247 + b269 >= 1 e1855: b234 + b244 + b247 + b264 >= 1 e1856: b234 + b244 + b247 + b259 >= 1 e1857: b234 + b243 + b267 >= 1 e1858: b234 + b243 + b264 + b268 >= 1 e1859: b234 + b243 + b263 + b269 >= 1 e1860: b234 + b243 + b262 >= 1 e1861: b234 + b243 + b259 + b269 >= 1 e1862: b234 + b243 + b259 + b264 >= 1 e1863: b234 + b243 + b258 >= 1 e1864: b234 + b243 + b256 + b268 >= 1 e1865: b234 + b243 + b256 + b264 + b269 >= 1 e1866: b234 + b243 + b256 + b263 >= 1 e1867: b234 + b243 + b256 + b259 >= 1 e1868: b234 + b243 + b255 + b269 >= 1 e1869: b234 + b243 + b255 + b264 >= 1 e1870: b234 + b243 + b255 + b259 >= 1 e1871: b234 + b243 + b250 + b268 >= 1 e1872: b234 + b243 + b250 + b264 + b269 >= 1 e1873: b234 + b243 + b250 + b263 >= 1 e1874: b234 + b243 + b250 + b259 >= 1 e1875: b234 + b243 + b250 + b256 + b269 >= 1 e1876: b234 + b243 + b250 + b256 + b264 >= 1 e1877: b234 + b243 + b250 + b256 + b259 >= 1 e1878: b234 + b243 + b249 + b269 >= 1 e1879: b234 + b243 + b249 + b264 >= 1 e1880: b234 + b243 + b249 + b259 >= 1 e1881: b234 + b242 + b269 >= 1 e1882: b234 + b242 + b264 >= 1 e1883: b234 + b242 + b259 >= 1 e1884: b234 + b242 + b250 + b269 >= 1 e1885: b234 + b242 + b250 + b264 >= 1 e1886: b234 + b242 + b250 + b259 >= 1 e1887: b234 + b240 + b267 >= 1 e1888: b234 + b240 + b263 + b268 >= 1 e1889: b234 + b240 + b262 >= 1 e1890: b234 + b240 + b259 + b268 >= 1 e1891: b234 + b240 + b259 + b264 + b269 >= 1 e1892: b234 + b240 + b259 + b263 >= 1 e1893: b234 + b240 + b258 >= 1 e1894: b234 + b240 + b256 + b267 >= 1 e1895: b234 + b240 + b256 + b264 + b268 >= 1 e1896: b234 + b240 + b256 + b263 + b269 >= 1 e1897: b234 + b240 + b256 + b262 >= 1 e1898: b234 + b240 + b256 + b259 + b269 >= 1 e1899: b234 + b240 + b256 + b259 + b264 >= 1 e1900: b234 + b240 + b256 + b258 >= 1 e1901: b234 + b240 + b255 + b268 >= 1 e1902: b234 + b240 + b255 + b264 + b269 >= 1 e1903: b234 + b240 + b255 + b263 >= 1 e1904: b234 + b240 + b255 + b259 >= 1 e1905: b234 + b240 + b254 + b269 >= 1 e1906: b234 + b240 + b254 + b264 >= 1 e1907: b234 + b240 + b254 + b259 >= 1 e1908: b234 + b240 + b250 + b267 >= 1 e1909: b234 + b240 + b250 + b264 + b268 >= 1 e1910: b234 + b240 + b250 + b263 + b269 >= 1 e1911: b234 + b240 + b250 + b262 >= 1 e1912: b234 + b240 + b250 + b259 + b269 >= 1 e1913: b234 + b240 + b250 + b259 + b264 >= 1 e1914: b234 + b240 + b250 + b258 >= 1 e1915: b234 + b240 + b250 + b256 + b268 >= 1 e1916: b234 + b240 + b250 + b256 + b264 + b269 >= 1 e1917: b234 + b240 + b250 + b256 + b263 >= 1 e1918: b234 + b240 + b250 + b256 + b259 >= 1 e1919: b234 + b240 + b250 + b255 + b269 >= 1 e1920: b234 + b240 + b250 + b255 + b264 >= 1 e1921: b234 + b240 + b250 + b255 + b259 >= 1 e1922: b234 + b240 + b249 + b268 >= 1 e1923: b234 + b240 + b249 + b264 + b269 >= 1 e1924: b234 + b240 + b249 + b263 >= 1 e1925: b234 + b240 + b249 + b259 >= 1 e1926: b234 + b240 + b249 + b256 + b269 >= 1 e1927: b234 + b240 + b249 + b256 + b264 >= 1 e1928: b234 + b240 + b249 + b256 + b259 >= 1 e1929: b234 + b240 + b248 + b269 >= 1 e1930: b234 + b240 + b248 + b264 >= 1 e1931: b234 + b240 + b248 + b259 >= 1 e1932: b234 + b240 + b244 + b268 >= 1 e1933: b234 + b240 + b244 + b264 + b269 >= 1 e1934: b234 + b240 + b244 + b263 >= 1 e1935: b234 + b240 + b244 + b259 >= 1 e1936: b234 + b240 + b244 + b256 + b269 >= 1 e1937: b234 + b240 + b244 + b256 + b264 >= 1 e1938: b234 + b240 + b244 + b256 + b259 >= 1 e1939: b234 + b240 + b244 + b255 + b269 >= 1 e1940: b234 + b240 + b244 + b255 + b264 >= 1 e1941: b234 + b240 + b244 + b255 + b259 >= 1 e1942: b234 + b240 + b244 + b250 + b269 >= 1 e1943: b234 + b240 + b244 + b250 + b264 >= 1 e1944: b234 + b240 + b244 + b250 + b259 >= 1 e1945: b234 + b240 + b244 + b250 + b256 + b269 >= 1 e1946: b234 + b240 + b244 + b250 + b256 + b264 >= 1 e1947: b234 + b240 + b244 + b250 + b256 + b259 >= 1 e1948: b234 + b240 + b244 + b249 + b269 >= 1 e1949: b234 + b240 + b244 + b249 + b264 >= 1 e1950: b234 + b240 + b244 + b249 + b259 >= 1 e1951: b234 + b240 + b243 + b269 >= 1 e1952: b234 + b240 + b243 + b264 >= 1 e1953: b234 + b240 + b243 + b259 >= 1 e1954: b234 + b239 + b269 >= 1 e1955: b234 + b239 + b264 >= 1 e1956: b234 + b239 + b259 >= 1 e1957: b234 + b237 + b267 >= 1 e1958: b234 + b237 + b264 + b268 >= 1 e1959: b234 + b237 + b263 + b269 >= 1 e1960: b234 + b237 + b262 >= 1 e1961: b234 + b237 + b259 + b269 >= 1 e1962: b234 + b237 + b259 + b264 >= 1 e1963: b234 + b237 + b258 >= 1 e1964: b234 + b237 + b256 + b268 >= 1 e1965: b234 + b237 + b256 + b264 + b269 >= 1 e1966: b234 + b237 + b256 + b263 >= 1 e1967: b234 + b237 + b256 + b259 >= 1 e1968: b234 + b237 + b255 + b268 >= 1 e1969: b234 + b237 + b255 + b264 + b269 >= 1 e1970: b234 + b237 + b255 + b263 >= 1 e1971: b234 + b237 + b255 + b259 >= 1 e1972: b234 + b237 + b254 + b269 >= 1 e1973: b234 + b237 + b254 + b264 >= 1 e1974: b234 + b237 + b254 + b259 >= 1 e1975: b234 + b237 + b250 + b268 >= 1 e1976: b234 + b237 + b250 + b264 + b269 >= 1 e1977: b234 + b237 + b250 + b263 >= 1 e1978: b234 + b237 + b250 + b259 >= 1 e1979: b234 + b237 + b250 + b256 + b268 >= 1 e1980: b234 + b237 + b250 + b256 + b264 + b269 >= 1 e1981: b234 + b237 + b250 + b256 + b263 >= 1 e1982: b234 + b237 + b250 + b256 + b259 >= 1 e1983: b234 + b237 + b250 + b255 + b269 >= 1 e1984: b234 + b237 + b250 + b255 + b264 >= 1 e1985: b234 + b237 + b250 + b255 + b259 >= 1 e1986: b234 + b237 + b249 + b268 >= 1 e1987: b234 + b237 + b249 + b264 + b269 >= 1 e1988: b234 + b237 + b249 + b263 >= 1 e1989: b234 + b237 + b249 + b259 >= 1 e1990: b234 + b237 + b249 + b256 + b269 >= 1 e1991: b234 + b237 + b249 + b256 + b264 >= 1 e1992: b234 + b237 + b249 + b256 + b259 >= 1 e1993: b234 + b237 + b248 + b269 >= 1 e1994: b234 + b237 + b248 + b264 >= 1 e1995: b234 + b237 + b248 + b259 >= 1 e1996: b234 + b237 + b244 + b268 >= 1 e1997: b234 + b237 + b244 + b264 + b269 >= 1 e1998: b234 + b237 + b244 + b263 >= 1 e1999: b234 + b237 + b244 + b259 >= 1 e2000: b234 + b237 + b244 + b256 + b269 >= 1 e2001: b234 + b237 + b244 + b256 + b264 >= 1 e2002: b234 + b237 + b244 + b256 + b259 >= 1 e2003: b234 + b237 + b244 + b255 + b269 >= 1 e2004: b234 + b237 + b244 + b255 + b264 >= 1 e2005: b234 + b237 + b244 + b255 + b259 >= 1 e2006: b234 + b237 + b244 + b250 + b269 >= 1 e2007: b234 + b237 + b244 + b250 + b264 >= 1 e2008: b234 + b237 + b244 + b250 + b259 >= 1 e2009: b234 + b237 + b243 + b269 >= 1 e2010: b234 + b237 + b243 + b264 >= 1 e2011: b234 + b237 + b243 + b259 >= 1 e2012: b234 + b237 + b240 + b269 >= 1 e2013: b234 + b237 + b240 + b264 >= 1 e2014: b234 + b237 + b240 + b259 >= 1 e2015: b234 + b237 + b240 + b256 + b269 >= 1 e2016: b234 + b237 + b240 + b256 + b264 >= 1 e2017: b234 + b237 + b240 + b256 + b259 >= 1 e2018: b234 + b237 + b240 + b250 + b269 >= 1 e2019: b234 + b237 + b240 + b250 + b264 >= 1 e2020: b234 + b237 + b240 + b250 + b259 >= 1 e2021: b234 + b236 + b269 >= 1 e2022: b234 + b236 + b264 >= 1 e2023: b234 + b236 + b259 >= 1 e2024: b233 + b267 >= 1 e2025: b233 + b264 + b268 >= 1 e2026: b233 + b263 + b269 >= 1 e2027: b233 + b262 >= 1 e2028: b233 + b259 + b269 >= 1 e2029: b233 + b259 + b264 >= 1 e2030: b233 + b258 >= 1 e2031: b233 + b256 + b268 >= 1 e2032: b233 + b256 + b264 + b269 >= 1 e2033: b233 + b256 + b263 >= 1 e2034: b233 + b256 + b259 >= 1 e2035: b233 + b255 + b268 >= 1 e2036: b233 + b255 + b264 + b269 >= 1 e2037: b233 + b255 + b263 >= 1 e2038: b233 + b255 + b259 >= 1 e2039: b233 + b254 + b269 >= 1 e2040: b233 + b254 + b264 >= 1 e2041: b233 + b254 + b259 >= 1 e2042: b233 + b250 + b268 >= 1 e2043: b233 + b250 + b263 >= 1 e2044: b233 + b250 + b259 >= 1 e2045: b233 + b250 + b256 + b268 >= 1 e2046: b233 + b250 + b256 + b264 + b269 >= 1 e2047: b233 + b250 + b256 + b263 >= 1 e2048: b233 + b250 + b256 + b259 >= 1 e2049: b233 + b250 + b255 + b269 >= 1 e2050: b233 + b250 + b255 + b264 >= 1 e2051: b233 + b250 + b255 + b259 >= 1 e2052: b233 + b249 + b268 >= 1 e2053: b233 + b249 + b264 + b269 >= 1 e2054: b233 + b249 + b263 >= 1 e2055: b233 + b249 + b259 >= 1 e2056: b233 + b249 + b256 + b269 >= 1 e2057: b233 + b249 + b256 + b264 >= 1 e2058: b233 + b249 + b256 + b259 >= 1 e2059: b233 + b248 + b269 >= 1 e2060: b233 + b248 + b264 >= 1 e2061: b233 + b248 + b259 >= 1 e2062: b233 + b244 + b268 >= 1 e2063: b233 + b244 + b264 + b269 >= 1 e2064: b233 + b244 + b263 >= 1 e2065: b233 + b244 + b259 >= 1 e2066: b233 + b244 + b256 + b269 >= 1 e2067: b233 + b244 + b256 + b264 >= 1 e2068: b233 + b244 + b256 + b259 >= 1 e2069: b233 + b244 + b250 + b269 >= 1 e2070: b233 + b244 + b250 + b264 >= 1 e2071: b233 + b244 + b250 + b259 >= 1 e2072: b233 + b243 + b269 >= 1 e2073: b233 + b243 + b264 >= 1 e2074: b233 + b243 + b259 >= 1 e2075: b233 + b240 + b269 >= 1 e2076: b233 + b240 + b264 >= 1 e2077: b233 + b240 + b259 >= 1 e2078: b233 + b237 + b269 >= 1 e2079: b233 + b237 + b264 >= 1 e2080: b233 + b237 + b259 >= 1 e2081: b232 + b269 >= 1 e2082: b232 + b264 >= 1 e2083: b232 + b259 >= 1 e2084: b232 - b233 >= 0 e2085: b233 - b234 >= 0 e2086: b235 - b236 >= 0 e2087: b236 - b237 >= 0 e2088: b238 - b239 >= 0 e2089: b239 - b240 >= 0 e2090: b241 - b242 >= 0 e2091: b242 - b243 >= 0 e2092: b243 - b244 >= 0 e2093: b245 - b246 >= 0 e2094: b246 - b247 >= 0 e2095: b247 - b248 >= 0 e2096: b248 - b249 >= 0 e2097: b249 - b250 >= 0 e2098: b251 - b252 >= 0 e2099: b252 - b253 >= 0 e2100: b253 - b254 >= 0 e2101: b254 - b255 >= 0 e2102: b255 - b256 >= 0 e2103: b257 - b258 >= 0 e2104: b258 - b259 >= 0 e2105: b260 - b261 >= 0 e2106: b261 - b262 >= 0 e2107: b262 - b263 >= 0 e2108: b263 - b264 >= 0 e2109: b265 - b266 >= 0 e2110: b266 - b267 >= 0 e2111: b267 - b268 >= 0 e2112: b268 - b269 >= 0 e2113: b270 - b271 >= 0 e2114: b271 - b272 >= 0 e2115: b272 - b273 >= 0 e2116: b273 - b274 >= 0 e2117: b274 - b275 >= 0 e2118: b276 - b277 >= 0 e2119: b277 - b278 >= 0 e2120: b278 - b279 >= 0 e2121: b279 - b280 >= 0 e2122: b281 - b282 >= 0 e2123: b282 - b283 >= 0 e2124: b284 - b285 >= 0 e2125: b285 - b286 >= 0 e2126: b287 - b288 >= 0 e2127: b288 - b289 >= 0 e2128: b290 - b291 >= 0 e2129: b291 - b292 >= 0 e2130: b292 - b293 >= 0 e2131: x124 - x125 >= 0 e2132: x125 - x126 >= 0 e2133: x91 - .1 b232 - .573333333333333 b233 - .1 b234 = 1.24666666666667 e2134: x92 - .193333333333333 b235 - 1.14666666666667 b236 - .193333333333333 b237 = 2.48 e2135: x93 - .226666666666667 b238 - 1.36 b239 - .226666666666667 b240 = 2.94666666666667 e2136: x94 - .28 b241 - 1.42 b242 - .286666666666667 b243 - .28 b244 = 3.69333333333333 e2137: x95 - 1.91333333333333 b245 - 7.65333333333333 b246 - 1.91333333333333 b247 - 1.91333333333333 b248 - 1.91333333333333 b249 - 1.91333333333333 b250 = 24.8733333333333 e2138: x96 - 4.51333333333333 b251 - 18.0533333333333 b252 - 4.51333333333333 b253 - 4.50666666666667 b254 - 4.51333333333333 b255 - 4.51333333333333 b256 = 58.6666666666667 e2139: x97 - .313333333333333 b257 - 1.88666666666667 b258 - .313333333333333 b259 = 4.08 e2140: x98 - 2.81333333333333 b260 - 14.06 b261 - 2.80666666666667 b262 - 2.81333333333333 b263 - 2.81333333333333 b264 = 36.56 e2141: x99 - 2.56 b265 - 12.7933333333333 b266 - 2.56 b267 - 2.56 b268 - 2.55333333333333 b269 = 33.26 e2142: x100 - 1.88666666666667 b270 - 7.54666666666667 b271 - 1.88666666666667 b272 - 1.88666666666667 b273 - 1.88666666666667 b274 - 1.88666666666667 b275 = 24.52 e2143: x101 - 2.84 b276 - 14.2 b277 - 2.84 b278 - 2.84 b279 - 2.84666666666667 b280 = 36.9266666666667 e2144: x102 - 3.85333333333333 b281 - 23.1133333333333 b282 - 3.85333333333333 b283 = 50.0866666666667 e2145: x103 - 1.24666666666667 b284 - 7.47333333333333 b285 - 1.24 b286 = 16.1866666666667 e2146: x104 - 1.81333333333333 b287 - 10.8533333333333 b288 - 1.81333333333333 b289 = 23.52 e2147: x105 - 2.96666666666667 b290 - 14.82 b291 - 2.96 b292 - 2.96666666666667 b293 = 38.5266666666667 e2148: - x106 + x217 <= 0 e2149: - x107 + x218 <= 0 e2150: - x108 + x219 <= 0 e2151: - x109 + x220 <= 0 e2152: - x110 + x221 <= 0 e2153: - x111 + x222 <= 0 e2154: - x112 + x223 <= 0 e2155: - x113 + x224 <= 0 e2156: - x114 + x225 <= 0 e2157: - x115 + x226 <= 0 e2158: - x116 + x227 <= 0 e2159: - x117 + x228 <= 0 e2160: - x118 + x229 <= 0 e2161: - x119 + x230 <= 0 e2162: - x120 + x231 <= 0 Bounds x1 <= 1 x2 <= 1 x3 <= 1 x4 <= 1 x5 <= 1 x6 <= 1 x7 <= 1 x8 <= 1 x9 <= 1 x10 <= 1 x11 <= 1 x12 <= 1 x13 <= 1 x14 <= 1 x15 <= 1 x16 <= 1 x17 <= 1 x18 <= 1 x19 <= 1 x20 <= 1 x21 <= 1 x22 <= 1 x23 <= 1 x24 <= 1 x25 <= 1 x26 <= 1 x27 <= 1 x28 <= 1 x29 <= 1 x30 <= 1 x31 <= 1 x32 <= 1 x33 <= 1 x34 <= 1 x35 <= 1 x36 <= 1 x37 <= 1 x38 <= 1 x39 <= 1 x40 <= 1 x41 <= 1 x42 <= 1 x43 <= 1 x44 <= 1 x45 <= 1 x46 <= .26351883 x47 <= .26351883 x48 <= .26351883 x49 <= .22891574 x50 <= .22891574 x51 <= .22891574 x52 <= .21464835 x53 <= .21464835 x54 <= .21464835 x55 <= .17964414 x56 <= .17964414 x57 <= .17964414 x58 <= .17402843 x59 <= .17402843 x60 <= .17402843 x61 <= .15355962 x62 <= .15355962 x63 <= .15355962 x64 <= .1942283 x65 <= .1942283 x66 <= .1942283 x67 <= .25670555 x68 <= .25670555 x69 <= .25670555 x70 <= .27088619 x71 <= .27088619 x72 <= .27088619 x73 <= .28985675 x74 <= .28985675 x75 <= .28985675 x76 <= .25550303 x77 <= .25550303 x78 <= .25550303 x79 <= .19001726 x80 <= .19001726 x81 <= .19001726 x82 <= .23803143 x83 <= .23803143 x84 <= .23803143 x85 <= .23312962 x86 <= .23312962 x87 <= .23312962 x88 <= .27705307 x89 <= .27705307 x90 <= .27705307 x91 <= 2.02 x92 <= 4.01333333333333 x93 <= 4.76 x94 <= 5.96 x95 <= 42.0933333333333 x96 <= 99.28 x97 <= 6.59333333333333 x98 <= 61.8666666666667 x99 <= 56.2866666666667 x100 <= 41.5 x101 <= 62.4933333333333 x102 <= 80.9066666666667 x103 <= 26.1466666666667 x104 <= 38 x105 <= 62.24 x106 <= .5323080366 x107 <= .918715169866666 x108 <= 1.021726146 x109 <= 1.0706790744 x110 <= 7.32543671346667 x111 <= 15.2453990736 x112 <= 1.28061192466667 x113 <= 15.8815166933333 x114 <= 15.2472806811333 x115 <= 12.029055125 x116 <= 15.9672360214667 x117 <= 15.3736631157333 x118 <= 6.2237284564 x119 <= 8.85892556 x120 <= 17.2437830768 .25788969 <= x121 <= .35227087 .25788969 <= x122 <= .35227087 .25788969 <= x123 <= .35227087 -.98493628 <= x124 <= -.7794471 -.98493628 <= x125 <= -.7794471 -.98493628 <= x126 <= -.7794471 x127 <= 5.80296499999999e-2 x128 <= 5.80296499999999e-2 x129 <= 5.80296499999999e-2 x130 <= 5.46689399999999e-2 x131 <= 5.46689399999999e-2 x132 <= 5.46689399999999e-2 x133 <= 9.360565e-2 x134 <= 9.360565e-2 x135 <= 9.360565e-2 x136 <= 4.76880399999999e-2 x137 <= 4.76880399999999e-2 x138 <= 4.76880399999999e-2 x139 <= 5.276021e-2 x140 <= 5.276021e-2 x141 <= 5.276021e-2 x142 <= 4.905388e-2 x143 <= 4.905388e-2 x144 <= 4.905388e-2 x145 <= 7.731692e-2 x146 <= 7.731692e-2 x147 <= 7.731692e-2 x148 <= 8.211741e-2 x149 <= 8.211741e-2 x150 <= 8.211741e-2 x151 <= 9.438118e-2 x152 <= 9.438118e-2 x153 <= 9.438118e-2 x154 <= 8.436757e-2 x155 <= 8.436757e-2 x156 <= 8.436757e-2 x157 <= 6.987597e-2 x158 <= 6.987597e-2 x159 <= 6.987597e-2 x160 <= 4.788831e-2 x161 <= 4.788831e-2 x162 <= 4.788831e-2 x163 <= 6.68875099999999e-2 x164 <= 6.68875099999999e-2 x165 <= 6.68875099999999e-2 x166 <= 7.276512e-2 x167 <= 7.276512e-2 x168 <= 7.276512e-2 x169 <= 9.438118e-2 x170 <= 9.438118e-2 x171 <= 9.438118e-2 x172 <= .20548918 x173 <= .20548918 x174 <= .20548918 x175 <= .1742468 x176 <= .1742468 x177 <= .1742468 x178 <= .1210427 x179 <= .1210427 x180 <= .1210427 x181 <= .1319561 x182 <= .1319561 x183 <= .1319561 x184 <= .12126822 x185 <= .12126822 x186 <= .12126822 x187 <= .10450574 x188 <= .10450574 x189 <= .10450574 x190 <= .11691138 x191 <= .11691138 x192 <= .11691138 x193 <= .17458814 x194 <= .17458814 x195 <= .17458814 x196 <= .17650501 x197 <= .17650501 x198 <= .17650501 x199 <= .20548918 x200 <= .20548918 x201 <= .20548918 x202 <= .18562706 x203 <= .18562706 x204 <= .18562706 x205 <= .14212895 x206 <= .14212895 x207 <= .14212895 x208 <= .17114392 x209 <= .17114392 x210 <= .17114392 x211 <= .1603645 x212 <= .1603645 x213 <= .1603645 x214 <= .18267189 x215 <= .18267189 x216 <= .18267189 x217 <= .5323080366 x218 <= .918715169866666 x219 <= 1.021726146 x220 <= 1.0706790744 x221 <= 7.32543671346667 x222 <= 15.2453990736 x223 <= 1.28061192466667 x224 <= 15.8815166933333 x225 <= 15.2472806811333 x226 <= 12.029055125 x227 <= 15.9672360214667 x228 <= 15.3736631157333 x229 <= 6.2237284564 x230 <= 8.85892556 x231 <= 17.2437830768 Binary 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 b262 b263 b264 b265 b266 b267 b268 b269 b270 b271 b272 b273 b274 b275 b276 b277 b278 b279 b280 b281 b282 b283 b284 b285 b286 b287 b288 b289 b290 b291 b292 b293 End