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