\ 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