\ Equation counts \ Total E G L N X C B \ 606 48 159 399 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 222 135 87 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1671 1427 244 0 \ Maximize obj: - .33 x2 - .33 x3 - .33 x4 - .37 x5 - .37 x6 - .37 x7 - .76 x8 - .76 x9 - .76 x10 + 7.23 x11 + 7.23 x12 + 7.23 x13 + 5.23 x14 + 5.23 x15 + 5.23 x16 - 1.18 x17 - 1.18 x18 - 1.18 x19 - 1.06 x20 - 1.06 x21 - 1.06 x22 - .58 x23 - .58 x24 - .58 x25 + 7.47 x26 + 7.47 x27 + 7.47 x28 + 5.48 x29 + 5.48 x30 + 5.48 x31 - .23 x32 - .23 x33 - .23 x34 - .58 x35 - .58 x36 - .58 x37 - .29 x38 - .29 x39 - .29 x40 + 7.83 x41 + 7.83 x42 + 7.83 x43 + 4.82 x44 + 4.82 x45 + 4.82 x46 - .34 x47 - .34 x48 - .34 x49 - .11 x50 - .11 x51 - .11 x52 + 7.22 x53 + 7.22 x54 + 7.22 x55 + 5.54 x56 + 5.54 x57 + 5.54 x58 - 2e-2 x59 - 2e-2 x60 - 2e-2 x61 - .31 x62 - .31 x63 - .31 x64 - .18 x65 - .18 x66 - .18 x67 + 8.01 x68 + 8.01 x69 + 8.01 x70 + 5.33 x71 + 5.33 x72 + 5.33 x73 - .7 x74 - .7 x75 - .7 x76 - 3e-2 x77 - 3e-2 x78 - 3e-2 x79 - .32 x80 - .32 x81 - .32 x82 + 7.45 x83 + 7.45 x84 + 7.45 x85 + 4.98 x86 + 4.98 x87 + 4.98 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 + 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 - .18 b137 - .18 b138 - .18 b139 - b140 - b141 - b142 - 3e-2 b143 - 3e-2 b144 - 3e-2 b145 - .88 b146 - .88 b147 - .88 b148 - .19 b149 - .19 b150 - .19 b151 - .46 b152 - .46 b153 - .46 b154 - .16 b155 - .16 b156 - .16 b157 - .64 b158 - .64 b159 - .64 b160 - .19 b161 - .19 b162 - .19 b163 - .48 b164 - .48 b165 - .48 b166 - .59 b167 - .59 b168 - .59 b169 - .38 b170 - .38 b171 - .38 b172 - .25 b173 - .25 b174 - .25 b175 - .62 b176 - .62 b177 - .62 b178 - .82 b179 - .82 b180 - .82 b181 - .73 b182 - .73 b183 - .73 b184 - .58 b185 - .58 b186 - .58 b187 - .91 b188 - .91 b189 - .91 b190 - .82 b191 - .82 b192 - .82 b193 - .59 b194 - .59 b195 - .59 b196 - .43 b197 - .43 b198 - .43 b199 - .16 b200 - .16 b201 - .16 b202 - .42 b203 - .42 b204 - .42 b205 - .6 b206 - .6 b207 - .6 b208 - .7 b209 - .7 b210 - .7 b211 - .64 b212 - .64 b213 - .64 b214 - 7e-2 b215 - 7e-2 b216 - 7e-2 b217 - .53 b218 - .53 b219 - .53 b220 - .41 b221 - .41 b222 - .41 b223 Subject To e2: x2 + x5 + x8 + x11 + x14 + x113 = 1.1 e3: x17 + x20 + x23 + x26 + x29 + x116 = 2.1 e4: - x17 + x32 + x35 + x38 + x41 + x44 - x47 - x59 - x74 + x119 = 1 e5: - x2 - x20 - x32 + x47 + x50 + x53 + x56 - x62 - x77 + x122 = 1 e6: - x5 - x35 + x59 + x62 + x65 + x68 + x71 - x80 + x125 = 1.8 e7: - x8 - x23 - x38 - x50 - x65 + x74 + x77 + x80 + x83 + x86 + x128 = 1.2 e8: - x11 - x26 - x41 - x53 - x68 - x83 + x131 = 1.12 e9: - x14 - x29 - x44 - x56 - x71 - x86 + x134 = 1.57 e10: - .7 x17 + .1 x32 + .1 x35 + .1 x38 + .1 x41 + .1 x44 - .5 x59 - .8 x74 + [ x89 * x119 ] = .1 e11: - .7 x2 - .7 x20 - .1 x32 - .5 x62 - .8 x77 + [ x92 * x122 ] = 0 e12: - .7 x5 - .1 x35 + .5 x59 + .5 x62 + .5 x65 + .5 x68 + .5 x71 - .8 x80 + [ x95 * x125 ] = .9 e13: - .7 x8 - .7 x23 - .1 x38 - .5 x65 + .8 x74 + .8 x77 + .8 x80 + .8 x83 + .8 x86 + [ x98 * x128 ] = .96 e14: - .5 x17 + .7 x32 + .7 x35 + .7 x38 + .7 x41 + .7 x44 - .1 x47 - .1 x59 - .8 x74 + [ x101 * x119 ] = .7 e15: - .1 x2 - .5 x20 - .7 x32 + .1 x47 + .1 x50 + .1 x53 + .1 x56 - .1 x62 - .8 x77 + [ x104 * x122 ] = .1 e16: - .1 x5 - .7 x35 + .1 x59 + .1 x62 + .1 x65 + .1 x68 + .1 x71 - .8 x80 + [ x107 * x125 ] = .18 e17: - .1 x8 - .5 x23 - .7 x38 - .1 x50 - .1 x65 + .8 x74 + .8 x77 + .8 x80 + .8 x83 + .8 x86 + [ x110 * x128 ] = .96 e18: x3 + x6 + x9 + x12 + x15 - x113 + x114 = .8 e19: x4 + x7 + x10 + x13 + x16 - x114 + x115 = .4 e20: x18 + x21 + x24 + x27 + x30 - x116 + x117 = .5 e21: x19 + x22 + x25 + x28 + x31 - x117 + x118 = .8 e22: - x18 + x33 + x36 + x39 + x42 + x45 - x48 - x60 - x75 - x119 + x120 = 0 e23: - x19 + x34 + x37 + x40 + x43 + x46 - x49 - x61 - x76 - x120 + x121 = 0 e24: - x3 - x21 - x33 + x48 + x51 + x54 + x57 - x63 - x78 - x122 + x123 = 0 e25: - x4 - x22 - x34 + x49 + x52 + x55 + x58 - x64 - x79 - x123 + x124 = 0 e26: - x6 - x36 + x60 + x63 + x66 + x69 + x72 - x81 - x125 + x126 = 0 e27: - x7 - x37 + x61 + x64 + x67 + x70 + x73 - x82 - x126 + x127 = 0 e28: - x9 - x24 - x39 - x51 - x66 + x75 + x78 + x81 + x84 + x87 - x128 + x129 = 0 e29: - x10 - x25 - x40 - x52 - x67 + x76 + x79 + x82 + x85 + x88 - x129 + x130 = 0 e30: - x12 - x27 - x42 - x54 - x69 - x84 - x131 + x132 = -.17 e31: - x13 - x28 - x43 - x55 - x70 - x85 - x132 + x133 = -.83 e32: - x15 - x30 - x45 - x57 - x72 - x87 - x134 + x135 = -.39 e33: - x16 - x31 - x46 - x58 - x73 - x88 - x135 + x136 = -.8 e34: - .7 x18 + [ x33 * x89 + x36 * x89 + x39 * x89 + x42 * x89 + x45 * x89 - x48 * x92 - x60 * x95 - x75 * x98 - x89 * x119 + x90 * x120 ] = 0 e35: - .7 x19 + [ x34 * x90 + x37 * x90 + x40 * x90 + x43 * x90 + x46 * x90 - x49 * x93 - x61 * x96 - x76 * x99 - x90 * x120 + x91 * x121 ] = 0 e36: - .7 x3 - .7 x21 + [ - x33 * x89 + x48 * x92 + x51 * x92 + x54 * x92 + x57 * x92 - x63 * x95 - x78 * x98 - x92 * x122 + x93 * x123 ] = 0 e37: - .7 x4 - .7 x22 + [ - x34 * x90 + x49 * x93 + x52 * x93 + x55 * x93 + x58 * x93 - x64 * x96 - x79 * x99 - x93 * x123 + x94 * x124 ] = 0 e38: - .7 x6 + [ - x36 * x89 + x60 * x95 + x63 * x95 + x66 * x95 + x69 * x95 + x72 * x95 - x81 * x98 - x95 * x125 + x96 * x126 ] = 0 e39: - .7 x7 + [ - x37 * x90 + x61 * x96 + x64 * x96 + x67 * x96 + x70 * x96 + x73 * x96 - x82 * x99 - x96 * x126 + x97 * x127 ] = 0 e40: - .7 x9 - .7 x24 + [ - x39 * x89 - x51 * x92 - x66 * x95 + x75 * x98 + x78 * x98 + x81 * x98 + x84 * x98 + x87 * x98 - x98 * x128 + x99 * x129 ] = 0 e41: - .7 x10 - .7 x25 + [ - x40 * x90 - x52 * x93 - x67 * x96 + x76 * x99 + x79 * x99 + x82 * x99 + x85 * x99 + x88 * x99 - x99 * x129 + x100 * x130 ] = 0 e42: - .5 x18 + [ x33 * x101 + x36 * x101 + x39 * x101 + x42 * x101 + x45 * x101 - x48 * x104 - x60 * x107 - x75 * x110 - x101 * x119 + x102 * x120 ] = 0 e43: - .5 x19 + [ x34 * x102 + x37 * x102 + x40 * x102 + x43 * x102 + x46 * x102 - x49 * x105 - x61 * x108 - x76 * x111 - x102 * x120 + x103 * x121 ] = 0 e44: - .1 x3 - .5 x21 + [ - x33 * x101 + x48 * x104 + x51 * x104 + x54 * x104 + x57 * x104 - x63 * x107 - x78 * x110 - x104 * x122 + x105 * x123 ] = 0 e45: - .1 x4 - .5 x22 + [ - x34 * x102 + x49 * x105 + x52 * x105 + x55 * x105 + x58 * x105 - x64 * x108 - x79 * x111 - x105 * x123 + x106 * x124 ] = 0 e46: - .1 x6 + [ - x36 * x101 + x60 * x107 + x63 * x107 + x66 * x107 + x69 * x107 + x72 * x107 - x81 * x110 - x107 * x125 + x108 * x126 ] = 0 e47: - .1 x7 + [ - x37 * x102 + x61 * x108 + x64 * x108 + x67 * x108 + x70 * x108 + x73 * x108 - x82 * x111 - x108 * x126 + x109 * x127 ] = 0 e48: - .1 x9 - .5 x24 + [ - x39 * x101 - x51 * x104 - x66 * x107 + x75 * x110 + x78 * x110 + x81 * x110 + x84 * x110 + x87 * x110 - x110 * x128 + x111 * x129 ] = 0 e49: - .1 x10 - .5 x25 + [ - x40 * x102 - x52 * x105 - x67 * x108 + x76 * x111 + x79 * x111 + x82 * x111 + x85 * x111 + x88 * x111 - x111 * x129 + x112 * x130 ] = 0 e50: x2 - b137 <= 0 e51: x3 - b138 <= 0 e52: x4 - b139 <= 0 e53: x5 - b140 <= 0 e54: x6 - b141 <= 0 e55: x7 - b142 <= 0 e56: x8 - b143 <= 0 e57: x9 - b144 <= 0 e58: x10 - b145 <= 0 e59: x11 - b146 <= 0 e60: x12 - b147 <= 0 e61: x13 - b148 <= 0 e62: x14 - b149 <= 0 e63: x15 - b150 <= 0 e64: x16 - b151 <= 0 e65: x17 - b152 <= 0 e66: x18 - b153 <= 0 e67: x19 - b154 <= 0 e68: x20 - b155 <= 0 e69: x21 - b156 <= 0 e70: x22 - b157 <= 0 e71: x23 - b158 <= 0 e72: x24 - b159 <= 0 e73: x25 - b160 <= 0 e74: x26 - b161 <= 0 e75: x27 - b162 <= 0 e76: x28 - b163 <= 0 e77: x29 - b164 <= 0 e78: x30 - b165 <= 0 e79: x31 - b166 <= 0 e80: x32 - b167 <= 0 e81: x33 - b168 <= 0 e82: x34 - b169 <= 0 e83: x35 - b170 <= 0 e84: x36 - b171 <= 0 e85: x37 - b172 <= 0 e86: x38 - b173 <= 0 e87: x39 - b174 <= 0 e88: x40 - b175 <= 0 e89: x41 - b176 <= 0 e90: x42 - b177 <= 0 e91: x43 - b178 <= 0 e92: x44 - b179 <= 0 e93: x45 - b180 <= 0 e94: x46 - b181 <= 0 e95: x47 - b182 <= 0 e96: x48 - b183 <= 0 e97: x49 - b184 <= 0 e98: x50 - b185 <= 0 e99: x51 - b186 <= 0 e100: x52 - b187 <= 0 e101: x53 - b188 <= 0 e102: x54 - b189 <= 0 e103: x55 - b190 <= 0 e104: x56 - b191 <= 0 e105: x57 - b192 <= 0 e106: x58 - b193 <= 0 e107: x59 - b194 <= 0 e108: x60 - b195 <= 0 e109: x61 - b196 <= 0 e110: x62 - b197 <= 0 e111: x63 - b198 <= 0 e112: x64 - b199 <= 0 e113: x65 - b200 <= 0 e114: x66 - b201 <= 0 e115: x67 - b202 <= 0 e116: x68 - b203 <= 0 e117: x69 - b204 <= 0 e118: x70 - b205 <= 0 e119: x71 - b206 <= 0 e120: x72 - b207 <= 0 e121: x73 - b208 <= 0 e122: x74 - b209 <= 0 e123: x75 - b210 <= 0 e124: x76 - b211 <= 0 e125: x77 - b212 <= 0 e126: x78 - b213 <= 0 e127: x79 - b214 <= 0 e128: x80 - b215 <= 0 e129: x81 - b216 <= 0 e130: x82 - b217 <= 0 e131: x83 - b218 <= 0 e132: x84 - b219 <= 0 e133: x85 - b220 <= 0 e134: x86 - b221 <= 0 e135: x87 - b222 <= 0 e136: x88 - b223 <= 0 e137: x2 >= 0 e138: x3 >= 0 e139: x4 >= 0 e140: x5 >= 0 e141: x6 >= 0 e142: x7 >= 0 e143: x8 >= 0 e144: x9 >= 0 e145: x10 >= 0 e146: x11 >= 0 e147: x12 >= 0 e148: x13 >= 0 e149: x14 >= 0 e150: x15 >= 0 e151: x16 >= 0 e152: x17 >= 0 e153: x18 >= 0 e154: x19 >= 0 e155: x20 >= 0 e156: x21 >= 0 e157: x22 >= 0 e158: x23 >= 0 e159: x24 >= 0 e160: x25 >= 0 e161: x26 >= 0 e162: x27 >= 0 e163: x28 >= 0 e164: x29 >= 0 e165: x30 >= 0 e166: x31 >= 0 e167: x32 >= 0 e168: x33 >= 0 e169: x34 >= 0 e170: x35 >= 0 e171: x36 >= 0 e172: x37 >= 0 e173: x38 >= 0 e174: x39 >= 0 e175: x40 >= 0 e176: x41 >= 0 e177: x42 >= 0 e178: x43 >= 0 e179: x44 >= 0 e180: x45 >= 0 e181: x46 >= 0 e182: x47 >= 0 e183: x48 >= 0 e184: x49 >= 0 e185: x50 >= 0 e186: x51 >= 0 e187: x52 >= 0 e188: x53 >= 0 e189: x54 >= 0 e190: x55 >= 0 e191: x56 >= 0 e192: x57 >= 0 e193: x58 >= 0 e194: x59 >= 0 e195: x60 >= 0 e196: x61 >= 0 e197: x62 >= 0 e198: x63 >= 0 e199: x64 >= 0 e200: x65 >= 0 e201: x66 >= 0 e202: x67 >= 0 e203: x68 >= 0 e204: x69 >= 0 e205: x70 >= 0 e206: x71 >= 0 e207: x72 >= 0 e208: x73 >= 0 e209: x74 >= 0 e210: x75 >= 0 e211: x76 >= 0 e212: x77 >= 0 e213: x78 >= 0 e214: x79 >= 0 e215: x80 >= 0 e216: x81 >= 0 e217: x82 >= 0 e218: x83 >= 0 e219: x84 >= 0 e220: x85 >= 0 e221: x86 >= 0 e222: x87 >= 0 e223: x88 >= 0 e224: b146 <= .8 e225: b147 <= .8 e226: b148 <= .8 e227: b149 <= 1.2 e228: b150 <= 1.2 e229: b151 <= 1.2 e230: b161 <= .8 e231: b162 <= .8 e232: b163 <= .8 e233: b164 <= 1.2 e234: b165 <= 1.2 e235: b166 <= 1.2 e236: b146 <= 1.1 e237: b147 <= 1.1 e238: b148 <= 1.1 e239: b149 <= .9 e240: b150 <= .9 e241: b151 <= .9 e242: b161 <= 1.5 e243: b162 <= 1.5 e244: b163 <= 1.5 e245: b164 <= 1.3 e246: b165 <= 1.3 e247: b166 <= 1.3 e248: - b146 >= -1.3 e249: - b147 >= -1.3 e250: - b148 >= -1.3 e251: - b149 >= -1.2 e252: - b150 >= -1.2 e253: - b151 >= -1.2 e254: - b161 >= -1.3 e255: - b162 >= -1.3 e256: - b163 >= -1.3 e257: - b164 >= -1.2 e258: - b165 >= -1.2 e259: - b166 >= -1.2 e260: - b146 >= -1.4 e261: - b147 >= -1.4 e262: - b148 >= -1.4 e263: - b149 >= -1.5 e264: - b150 >= -1.5 e265: - b151 >= -1.5 e266: - b161 >= -1 e267: - b162 >= -1 e268: - b163 >= -1 e269: - b164 >= -1.1 e270: - b165 >= -1.1 e271: - b166 >= -1.1 e272: - x89 + b177 <= .1 e273: - x90 + b178 <= .1 e274: - x89 + b180 <= .5 e275: - x90 + b181 <= .5 e276: - x92 + b189 <= .1 e277: - x93 + b190 <= .1 e278: - x92 + b192 <= .5 e279: - x93 + b193 <= .5 e280: - x95 + b204 <= .1 e281: - x96 + b205 <= .1 e282: - x95 + b207 <= .5 e283: - x96 + b208 <= .5 e284: - x98 + b219 <= .1 e285: - x99 + b220 <= .1 e286: - x98 + b222 <= .5 e287: - x99 + b223 <= .5 e288: - x101 + b177 <= 1 e289: - x102 + b178 <= 1 e290: - x101 + b180 <= .8 e291: - x102 + b181 <= .8 e292: - x104 + b189 <= 1 e293: - x105 + b190 <= 1 e294: - x104 + b192 <= .8 e295: - x105 + b193 <= .8 e296: - x107 + b204 <= 1 e297: - x108 + b205 <= 1 e298: - x107 + b207 <= .8 e299: - x108 + b208 <= .8 e300: - x110 + b219 <= 1 e301: - x111 + b220 <= 1 e302: - x110 + b222 <= .8 e303: - x111 + b223 <= .8 e304: - x89 - b177 >= -2 e305: - x90 - b178 >= -2 e306: - x89 - b180 >= -1.9 e307: - x90 - b181 >= -1.9 e308: - x92 - b189 >= -2 e309: - x93 - b190 >= -2 e310: - x92 - b192 >= -1.9 e311: - x93 - b193 >= -1.9 e312: - x95 - b204 >= -2 e313: - x96 - b205 >= -2 e314: - x95 - b207 >= -1.9 e315: - x96 - b208 >= -1.9 e316: - x98 - b219 >= -2 e317: - x99 - b220 >= -2 e318: - x98 - b222 >= -1.9 e319: - x99 - b223 >= -1.9 e320: - x101 - b177 >= -1.5 e321: - x102 - b178 >= -1.5 e322: - x101 - b180 >= -1.6 e323: - x102 - b181 >= -1.6 e324: - x104 - b189 >= -1.5 e325: - x105 - b190 >= -1.5 e326: - x104 - b192 >= -1.6 e327: - x105 - b193 >= -1.6 e328: - x107 - b204 >= -1.5 e329: - x108 - b205 >= -1.5 e330: - x107 - b207 >= -1.6 e331: - x108 - b208 >= -1.6 e332: - x110 - b219 >= -1.5 e333: - x111 - b220 >= -1.5 e334: - x110 - b222 >= -1.6 e335: - x111 - b223 >= -1.6 e336: b176 <= .2 e337: b179 <= .6 e338: b188 <= .1 e339: b191 <= .5 e340: b203 <= .6 e341: b206 <= 1 e342: b218 <= .9 e343: b221 <= 1.3 e344: b176 <= 1.7 e345: b179 <= 1.5 e346: b188 <= 1.1 e347: b191 <= .9 e348: b203 <= 1.1 e349: b206 <= .9 e350: b218 <= 1.8 e351: b221 <= 1.6 e352: - b176 >= -1.9 e353: - b179 >= -1.8 e354: - b188 >= -2 e355: - b191 >= -1.9 e356: - b203 >= -1.5 e357: - b206 >= -1.4 e358: - b218 >= -1.2 e359: - b221 >= -1.1 e360: - b176 >= -.8 e361: - b179 >= -.9 e362: - b188 >= -1.4 e363: - b191 >= -1.5 e364: - b203 >= -1.4 e365: - b206 >= -1.5 e366: - b218 >= -.7 e367: - b221 >= -.8 e368: b152 + b167 <= 1 e369: b153 + b168 <= 1 e370: b154 + b169 <= 1 e371: b152 + b170 <= 1 e372: b153 + b171 <= 1 e373: b154 + b172 <= 1 e374: b152 + b173 <= 1 e375: b153 + b174 <= 1 e376: b154 + b175 <= 1 e377: b152 + b176 <= 1 e378: b153 + b177 <= 1 e379: b154 + b178 <= 1 e380: b152 + b179 <= 1 e381: b153 + b180 <= 1 e382: b154 + b181 <= 1 e383: b167 + b182 <= 1 e384: b168 + b183 <= 1 e385: b169 + b184 <= 1 e386: b170 + b182 <= 1 e387: b171 + b183 <= 1 e388: b172 + b184 <= 1 e389: b173 + b182 <= 1 e390: b174 + b183 <= 1 e391: b175 + b184 <= 1 e392: b176 + b182 <= 1 e393: b177 + b183 <= 1 e394: b178 + b184 <= 1 e395: b179 + b182 <= 1 e396: b180 + b183 <= 1 e397: b181 + b184 <= 1 e398: b167 + b194 <= 1 e399: b168 + b195 <= 1 e400: b169 + b196 <= 1 e401: b170 + b194 <= 1 e402: b171 + b195 <= 1 e403: b172 + b196 <= 1 e404: b173 + b194 <= 1 e405: b174 + b195 <= 1 e406: b175 + b196 <= 1 e407: b176 + b194 <= 1 e408: b177 + b195 <= 1 e409: b178 + b196 <= 1 e410: b179 + b194 <= 1 e411: b180 + b195 <= 1 e412: b181 + b196 <= 1 e413: b167 + b209 <= 1 e414: b168 + b210 <= 1 e415: b169 + b211 <= 1 e416: b170 + b209 <= 1 e417: b171 + b210 <= 1 e418: b172 + b211 <= 1 e419: b173 + b209 <= 1 e420: b174 + b210 <= 1 e421: b175 + b211 <= 1 e422: b176 + b209 <= 1 e423: b177 + b210 <= 1 e424: b178 + b211 <= 1 e425: b179 + b209 <= 1 e426: b180 + b210 <= 1 e427: b181 + b211 <= 1 e428: b137 + b182 <= 1 e429: b138 + b183 <= 1 e430: b139 + b184 <= 1 e431: b137 + b185 <= 1 e432: b138 + b186 <= 1 e433: b139 + b187 <= 1 e434: b137 + b188 <= 1 e435: b138 + b189 <= 1 e436: b139 + b190 <= 1 e437: b137 + b191 <= 1 e438: b138 + b192 <= 1 e439: b139 + b193 <= 1 e440: b155 + b182 <= 1 e441: b156 + b183 <= 1 e442: b157 + b184 <= 1 e443: b155 + b185 <= 1 e444: b156 + b186 <= 1 e445: b157 + b187 <= 1 e446: b155 + b188 <= 1 e447: b156 + b189 <= 1 e448: b157 + b190 <= 1 e449: b155 + b191 <= 1 e450: b156 + b192 <= 1 e451: b157 + b193 <= 1 e452: b167 + b182 <= 1 e453: b168 + b183 <= 1 e454: b169 + b184 <= 1 e455: b167 + b185 <= 1 e456: b168 + b186 <= 1 e457: b169 + b187 <= 1 e458: b167 + b188 <= 1 e459: b168 + b189 <= 1 e460: b169 + b190 <= 1 e461: b167 + b191 <= 1 e462: b168 + b192 <= 1 e463: b169 + b193 <= 1 e464: b182 + b197 <= 1 e465: b183 + b198 <= 1 e466: b184 + b199 <= 1 e467: b185 + b197 <= 1 e468: b186 + b198 <= 1 e469: b187 + b199 <= 1 e470: b188 + b197 <= 1 e471: b189 + b198 <= 1 e472: b190 + b199 <= 1 e473: b191 + b197 <= 1 e474: b192 + b198 <= 1 e475: b193 + b199 <= 1 e476: b182 + b212 <= 1 e477: b183 + b213 <= 1 e478: b184 + b214 <= 1 e479: b185 + b212 <= 1 e480: b186 + b213 <= 1 e481: b187 + b214 <= 1 e482: b188 + b212 <= 1 e483: b189 + b213 <= 1 e484: b190 + b214 <= 1 e485: b191 + b212 <= 1 e486: b192 + b213 <= 1 e487: b193 + b214 <= 1 e488: b140 + b194 <= 1 e489: b141 + b195 <= 1 e490: b142 + b196 <= 1 e491: b140 + b197 <= 1 e492: b141 + b198 <= 1 e493: b142 + b199 <= 1 e494: b140 + b200 <= 1 e495: b141 + b201 <= 1 e496: b142 + b202 <= 1 e497: b140 + b203 <= 1 e498: b141 + b204 <= 1 e499: b142 + b205 <= 1 e500: b140 + b206 <= 1 e501: b141 + b207 <= 1 e502: b142 + b208 <= 1 e503: b170 + b194 <= 1 e504: b171 + b195 <= 1 e505: b172 + b196 <= 1 e506: b170 + b197 <= 1 e507: b171 + b198 <= 1 e508: b172 + b199 <= 1 e509: b170 + b200 <= 1 e510: b171 + b201 <= 1 e511: b172 + b202 <= 1 e512: b170 + b203 <= 1 e513: b171 + b204 <= 1 e514: b172 + b205 <= 1 e515: b170 + b206 <= 1 e516: b171 + b207 <= 1 e517: b172 + b208 <= 1 e518: b194 + b215 <= 1 e519: b195 + b216 <= 1 e520: b196 + b217 <= 1 e521: b197 + b215 <= 1 e522: b198 + b216 <= 1 e523: b199 + b217 <= 1 e524: b200 + b215 <= 1 e525: b201 + b216 <= 1 e526: b202 + b217 <= 1 e527: b203 + b215 <= 1 e528: b204 + b216 <= 1 e529: b205 + b217 <= 1 e530: b206 + b215 <= 1 e531: b207 + b216 <= 1 e532: b208 + b217 <= 1 e533: b143 + b209 <= 1 e534: b144 + b210 <= 1 e535: b145 + b211 <= 1 e536: b143 + b212 <= 1 e537: b144 + b213 <= 1 e538: b145 + b214 <= 1 e539: b143 + b215 <= 1 e540: b144 + b216 <= 1 e541: b145 + b217 <= 1 e542: b143 + b218 <= 1 e543: b144 + b219 <= 1 e544: b145 + b220 <= 1 e545: b143 + b221 <= 1 e546: b144 + b222 <= 1 e547: b145 + b223 <= 1 e548: b158 + b209 <= 1 e549: b159 + b210 <= 1 e550: b160 + b211 <= 1 e551: b158 + b212 <= 1 e552: b159 + b213 <= 1 e553: b160 + b214 <= 1 e554: b158 + b215 <= 1 e555: b159 + b216 <= 1 e556: b160 + b217 <= 1 e557: b158 + b218 <= 1 e558: b159 + b219 <= 1 e559: b160 + b220 <= 1 e560: b158 + b221 <= 1 e561: b159 + b222 <= 1 e562: b160 + b223 <= 1 e563: b173 + b209 <= 1 e564: b174 + b210 <= 1 e565: b175 + b211 <= 1 e566: b173 + b212 <= 1 e567: b174 + b213 <= 1 e568: b175 + b214 <= 1 e569: b173 + b215 <= 1 e570: b174 + b216 <= 1 e571: b175 + b217 <= 1 e572: b173 + b218 <= 1 e573: b174 + b219 <= 1 e574: b175 + b220 <= 1 e575: b173 + b221 <= 1 e576: b174 + b222 <= 1 e577: b175 + b223 <= 1 e578: b185 + b209 <= 1 e579: b186 + b210 <= 1 e580: b187 + b211 <= 1 e581: b185 + b212 <= 1 e582: b186 + b213 <= 1 e583: b187 + b214 <= 1 e584: b185 + b215 <= 1 e585: b186 + b216 <= 1 e586: b187 + b217 <= 1 e587: b185 + b218 <= 1 e588: b186 + b219 <= 1 e589: b187 + b220 <= 1 e590: b185 + b221 <= 1 e591: b186 + b222 <= 1 e592: b187 + b223 <= 1 e593: b200 + b209 <= 1 e594: b201 + b210 <= 1 e595: b202 + b211 <= 1 e596: b200 + b212 <= 1 e597: b201 + b213 <= 1 e598: b202 + b214 <= 1 e599: b200 + b215 <= 1 e600: b201 + b216 <= 1 e601: b202 + b217 <= 1 e602: b200 + b218 <= 1 e603: b201 + b219 <= 1 e604: b202 + b220 <= 1 e605: b200 + b221 <= 1 e606: b201 + b222 <= 1 e607: b202 + b223 <= 1 Bounds 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 <= 1 x47 <= 1 x48 <= 1 x49 <= 1 x50 <= 1 x51 <= 1 x52 <= 1 x53 <= 1 x54 <= 1 x55 <= 1 x56 <= 1 x57 <= 1 x58 <= 1 x59 <= 1 x60 <= 1 x61 <= 1 x62 <= 1 x63 <= 1 x64 <= 1 x65 <= 1 x66 <= 1 x67 <= 1 x68 <= 1 x69 <= 1 x70 <= 1 x71 <= 1 x72 <= 1 x73 <= 1 x74 <= 1 x75 <= 1 x76 <= 1 x77 <= 1 x78 <= 1 x79 <= 1 x80 <= 1 x81 <= 1 x82 <= 1 x83 <= 1 x84 <= 1 x85 <= 1 x86 <= 1 x87 <= 1 x88 <= 1 x89 <= 1 x90 <= 1 x91 <= 1 x92 <= 1 x93 <= 1 x94 <= 1 x95 <= 1 x96 <= 1 x97 <= 1 x98 <= 1 x99 <= 1 x100 <= 1 x101 <= 1 x102 <= 1 x103 <= 1 x104 <= 1 x105 <= 1 x106 <= 1 x107 <= 1 x108 <= 1 x109 <= 1 x110 <= 1 x111 <= 1 x112 <= 1 x113 <= 2 x114 <= 2 x115 <= 2 x116 <= 2 x117 <= 2 x118 <= 2 x119 <= 2 x120 <= 2 x121 <= 2 x122 <= 2 x123 <= 2 x124 <= 2 x125 <= 2 x126 <= 2 x127 <= 2 x128 <= 2 x129 <= 2 x130 <= 2 x131 <= 2 x132 <= 2 x133 <= 2 x134 <= 2 x135 <= 2 x136 <= 2 Binary b137 b138 b139 b140 b141 b142 b143 b144 b145 b146 b147 b148 b149 b150 b151 b152 b153 b154 b155 b156 b157 b158 b159 b160 b161 b162 b163 b164 b165 b166 b167 b168 b169 b170 b171 b172 b173 b174 b175 b176 b177 b178 b179 b180 b181 b182 b183 b184 b185 b186 b187 b188 b189 b190 b191 b192 b193 b194 b195 b196 b197 b198 b199 b200 b201 b202 b203 b204 b205 b206 b207 b208 b209 b210 b211 b212 b213 b214 b215 b216 b217 b218 b219 b220 b221 b222 b223 End