\ Equation counts \ Total E G L N X C B \ 736 64 184 488 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 272 168 104 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2106 1748 358 0 \ Maximize obj: - .87 x2 - .87 x3 - .87 x4 - .87 x5 + 7.42 x6 + 7.42 x7 + 7.42 x8 + 7.42 x9 - 1.06 x10 - 1.06 x11 - 1.06 x12 - 1.06 x13 - .58 x14 - .58 x15 - .58 x16 - .58 x17 - .63 x18 - .63 x19 - .63 x20 - .63 x21 - .32 x22 - .32 x23 - .32 x24 - .32 x25 - .13 x26 - .13 x27 - .13 x28 - .13 x29 - .58 x30 - .58 x31 - .58 x32 - .58 x33 - .29 x34 - .29 x35 - .29 x36 - .29 x37 - .27 x38 - .27 x39 - .27 x40 - .27 x41 + 7.92 x42 + 7.92 x43 + 7.92 x44 + 7.92 x45 - 4e-2 x46 - 4e-2 x47 - 4e-2 x48 - 4e-2 x49 - .11 x50 - .11 x51 - .11 x52 - .11 x53 - .88 x54 - .88 x55 - .88 x56 - .88 x57 - .26 x58 - .26 x59 - .26 x60 - .26 x61 + 8.88 x62 + 8.88 x63 + 8.88 x64 + 8.88 x65 - 1e-2 x66 - 1e-2 x67 - 1e-2 x68 - 1e-2 x69 - .18 x70 - .18 x71 - .18 x72 - .18 x73 - 9e-2 x74 - 9e-2 x75 - 9e-2 x76 - 9e-2 x77 - .47 x78 - .47 x79 - .47 x80 - .47 x81 + 8.2 x82 + 8.2 x83 + 8.2 x84 + 8.2 x85 + .27 x86 + .27 x87 + .27 x88 + .27 x89 - .32 x90 - .32 x91 - .32 x92 - .32 x93 - .65 x94 - .65 x95 - .65 x96 - .65 x97 + 8.08 x98 + 8.08 x99 + 8.08 x100 + 8.08 x101 - .67 x102 - .67 x103 - .67 x104 - .67 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 - .19 b170 - .19 b171 - .19 b172 - .19 b173 - .46 b174 - .46 b175 - .46 b176 - .46 b177 - .16 b178 - .16 b179 - .16 b180 - .16 b181 - .64 b182 - .64 b183 - .64 b184 - .64 b185 - .19 b186 - .19 b187 - .19 b188 - .19 b189 - .48 b190 - .48 b191 - .48 b192 - .48 b193 - .59 b194 - .59 b195 - .59 b196 - .59 b197 - .38 b198 - .38 b199 - .38 b200 - .38 b201 - .25 b202 - .25 b203 - .25 b204 - .25 b205 - .62 b206 - .62 b207 - .62 b208 - .62 b209 - .82 b210 - .82 b211 - .82 b212 - .82 b213 - .73 b214 - .73 b215 - .73 b216 - .73 b217 - .58 b218 - .58 b219 - .58 b220 - .58 b221 - .91 b222 - .91 b223 - .91 b224 - .91 b225 - .82 b226 - .82 b227 - .82 b228 - .82 b229 - .59 b230 - .59 b231 - .59 b232 - .59 b233 - .43 b234 - .43 b235 - .43 b236 - .43 b237 - .16 b238 - .16 b239 - .16 b240 - .16 b241 - .42 b242 - .42 b243 - .42 b244 - .42 b245 - .6 b246 - .6 b247 - .6 b248 - .6 b249 - .7 b250 - .7 b251 - .7 b252 - .7 b253 - .64 b254 - .64 b255 - .64 b256 - .64 b257 - 7e-2 b258 - 7e-2 b259 - 7e-2 b260 - 7e-2 b261 - .53 b262 - .53 b263 - .53 b264 - .53 b265 - .41 b266 - .41 b267 - .41 b268 - .41 b269 - .72 b270 - .72 b271 - .72 b272 - .72 b273 Subject To e2: x2 + x6 + x138 = 2.2 e3: x10 + x14 + x18 + x22 + x26 + x142 = 2 e4: - x10 + x30 + x34 + x38 + x42 + x46 - x50 - x70 - x90 + x146 = 1.2 e5: - x2 - x14 - x30 + x50 + x54 + x58 + x62 + x66 - x74 + x150 = 1.7 e6: - x18 - x34 - x54 + x70 + x74 + x78 + x82 + x86 - x94 + x154 = 1.6 e7: - x22 - x38 - x58 - x78 + x90 + x94 + x98 + x102 + x158 = 1.2 e8: - x6 - x42 - x62 - x82 - x98 + x162 = .34 e9: - x26 - x46 - x66 - x86 - x102 + x166 = .1 e10: - .6 x10 + .5 x30 + .5 x34 + .5 x38 + .5 x42 + .5 x46 - .8 x50 - .7 x70 - .7 x90 + [ x106 * x146 ] = .6 e11: - x2 - .6 x14 - .5 x30 + .8 x50 + .8 x54 + .8 x58 + .8 x62 + .8 x66 - .7 x74 + [ x110 * x150 ] = 1.36 e12: - .6 x18 - .5 x34 - .8 x54 + .7 x70 + .7 x74 + .7 x78 + .7 x82 + .7 x86 - .7 x94 + [ x114 * x154 ] = 1.12 e13: - .6 x22 - .5 x38 - .8 x58 - .7 x78 + .7 x90 + .7 x94 + .7 x98 + .7 x102 + [ x118 * x158 ] = .84 e14: - .9 x10 + .1 x30 + .1 x34 + .1 x38 + .1 x42 + .1 x46 - .8 x50 - .1 x70 - .5 x90 + [ x122 * x146 ] = .12 e15: - .6 x2 - .9 x14 - .1 x30 + .8 x50 + .8 x54 + .8 x58 + .8 x62 + .8 x66 - .1 x74 + [ x126 * x150 ] = 1.36 e16: - .9 x18 - .1 x34 - .8 x54 + .1 x70 + .1 x74 + .1 x78 + .1 x82 + .1 x86 - .5 x94 + [ x130 * x154 ] = .16 e17: - .9 x22 - .1 x38 - .8 x58 - .1 x78 + .5 x90 + .5 x94 + .5 x98 + .5 x102 + [ x134 * x158 ] = .6 e18: x3 + x7 - x138 + x139 = .1 e19: x4 + x8 - x139 + x140 = .2 e20: x5 + x9 - x140 + x141 = .8 e21: x11 + x15 + x19 + x23 + x27 - x142 + x143 = .1 e22: x12 + x16 + x20 + x24 + x28 - x143 + x144 = .4 e23: x13 + x17 + x21 + x25 + x29 - x144 + x145 = .8 e24: - x11 + x31 + x35 + x39 + x43 + x47 - x51 - x71 - x91 - x146 + x147 = 0 e25: - x12 + x32 + x36 + x40 + x44 + x48 - x52 - x72 - x92 - x147 + x148 = 0 e26: - x13 + x33 + x37 + x41 + x45 + x49 - x53 - x73 - x93 - x148 + x149 = 0 e27: - x3 - x15 - x31 + x51 + x55 + x59 + x63 + x67 - x75 - x150 + x151 = 0 e28: - x4 - x16 - x32 + x52 + x56 + x60 + x64 + x68 - x76 - x151 + x152 = 0 e29: - x5 - x17 - x33 + x53 + x57 + x61 + x65 + x69 - x77 - x152 + x153 = 0 e30: - x19 - x35 - x55 + x71 + x75 + x79 + x83 + x87 - x95 - x154 + x155 = 0 e31: - x20 - x36 - x56 + x72 + x76 + x80 + x84 + x88 - x96 - x155 + x156 = 0 e32: - x21 - x37 - x57 + x73 + x77 + x81 + x85 + x89 - x97 - x156 + x157 = 0 e33: - x23 - x39 - x59 - x79 + x91 + x95 + x99 + x103 - x158 + x159 = 0 e34: - x24 - x40 - x60 - x80 + x92 + x96 + x100 + x104 - x159 + x160 = 0 e35: - x25 - x41 - x61 - x81 + x93 + x97 + x101 + x105 - x160 + x161 = 0 e36: - x7 - x43 - x63 - x83 - x99 - x162 + x163 = -.53 e37: - x8 - x44 - x64 - x84 - x100 - x163 + x164 = -.66 e38: - x9 - x45 - x65 - x85 - x101 - x164 + x165 = -.29 e39: - x27 - x47 - x67 - x87 - x103 - x166 + x167 = -.42 e40: - x28 - x48 - x68 - x88 - x104 - x167 + x168 = -.63 e41: - x29 - x49 - x69 - x89 - x105 - x168 + x169 = -.43 e42: - .6 x11 + [ x31 * x106 + x35 * x106 + x39 * x106 + x43 * x106 + x47 * x106 - x51 * x110 - x71 * x114 - x91 * x118 - x106 * x146 + x107 * x147 ] = 0 e43: - .6 x12 + [ x32 * x107 + x36 * x107 + x40 * x107 + x44 * x107 + x48 * x107 - x52 * x111 - x72 * x115 - x92 * x119 - x107 * x147 + x108 * x148 ] = 0 e44: - .6 x13 + [ x33 * x108 + x37 * x108 + x41 * x108 + x45 * x108 + x49 * x108 - x53 * x112 - x73 * x116 - x93 * x120 - x108 * x148 + x109 * x149 ] = 0 e45: - x3 - .6 x15 + [ - x31 * x106 + x51 * x110 + x55 * x110 + x59 * x110 + x63 * x110 + x67 * x110 - x75 * x114 - x110 * x150 + x111 * x151 ] = 0 e46: - x4 - .6 x16 + [ - x32 * x107 + x52 * x111 + x56 * x111 + x60 * x111 + x64 * x111 + x68 * x111 - x76 * x115 - x111 * x151 + x112 * x152 ] = 0 e47: - x5 - .6 x17 + [ - x33 * x108 + x53 * x112 + x57 * x112 + x61 * x112 + x65 * x112 + x69 * x112 - x77 * x116 - x112 * x152 + x113 * x153 ] = 0 e48: - .6 x19 + [ - x35 * x106 - x55 * x110 + x71 * x114 + x75 * x114 + x79 * x114 + x83 * x114 + x87 * x114 - x95 * x118 - x114 * x154 + x115 * x155 ] = 0 e49: - .6 x20 + [ - x36 * x107 - x56 * x111 + x72 * x115 + x76 * x115 + x80 * x115 + x84 * x115 + x88 * x115 - x96 * x119 - x115 * x155 + x116 * x156 ] = 0 e50: - .6 x21 + [ - x37 * x108 - x57 * x112 + x73 * x116 + x77 * x116 + x81 * x116 + x85 * x116 + x89 * x116 - x97 * x120 - x116 * x156 + x117 * x157 ] = 0 e51: - .6 x23 + [ - x39 * x106 - x59 * x110 - x79 * x114 + x91 * x118 + x95 * x118 + x99 * x118 + x103 * x118 - x118 * x158 + x119 * x159 ] = 0 e52: - .6 x24 + [ - x40 * x107 - x60 * x111 - x80 * x115 + x92 * x119 + x96 * x119 + x100 * x119 + x104 * x119 - x119 * x159 + x120 * x160 ] = 0 e53: - .6 x25 + [ - x41 * x108 - x61 * x112 - x81 * x116 + x93 * x120 + x97 * x120 + x101 * x120 + x105 * x120 - x120 * x160 + x121 * x161 ] = 0 e54: - .9 x11 + [ x31 * x122 + x35 * x122 + x39 * x122 + x43 * x122 + x47 * x122 - x51 * x126 - x71 * x130 - x91 * x134 - x122 * x146 + x123 * x147 ] = 0 e55: - .9 x12 + [ x32 * x123 + x36 * x123 + x40 * x123 + x44 * x123 + x48 * x123 - x52 * x127 - x72 * x131 - x92 * x135 - x123 * x147 + x124 * x148 ] = 0 e56: - .9 x13 + [ x33 * x124 + x37 * x124 + x41 * x124 + x45 * x124 + x49 * x124 - x53 * x128 - x73 * x132 - x93 * x136 - x124 * x148 + x125 * x149 ] = 0 e57: - .6 x3 - .9 x15 + [ - x31 * x122 + x51 * x126 + x55 * x126 + x59 * x126 + x63 * x126 + x67 * x126 - x75 * x130 - x126 * x150 + x127 * x151 ] = 0 e58: - .6 x4 - .9 x16 + [ - x32 * x123 + x52 * x127 + x56 * x127 + x60 * x127 + x64 * x127 + x68 * x127 - x76 * x131 - x127 * x151 + x128 * x152 ] = 0 e59: - .6 x5 - .9 x17 + [ - x33 * x124 + x53 * x128 + x57 * x128 + x61 * x128 + x65 * x128 + x69 * x128 - x77 * x132 - x128 * x152 + x129 * x153 ] = 0 e60: - .9 x19 + [ - x35 * x122 - x55 * x126 + x71 * x130 + x75 * x130 + x79 * x130 + x83 * x130 + x87 * x130 - x95 * x134 - x130 * x154 + x131 * x155 ] = 0 e61: - .9 x20 + [ - x36 * x123 - x56 * x127 + x72 * x131 + x76 * x131 + x80 * x131 + x84 * x131 + x88 * x131 - x96 * x135 - x131 * x155 + x132 * x156 ] = 0 e62: - .9 x21 + [ - x37 * x124 - x57 * x128 + x73 * x132 + x77 * x132 + x81 * x132 + x85 * x132 + x89 * x132 - x97 * x136 - x132 * x156 + x133 * x157 ] = 0 e63: - .9 x23 + [ - x39 * x122 - x59 * x126 - x79 * x130 + x91 * x134 + x95 * x134 + x99 * x134 + x103 * x134 - x134 * x158 + x135 * x159 ] = 0 e64: - .9 x24 + [ - x40 * x123 - x60 * x127 - x80 * x131 + x92 * x135 + x96 * x135 + x100 * x135 + x104 * x135 - x135 * x159 + x136 * x160 ] = 0 e65: - .9 x25 + [ - x41 * x124 - x61 * x128 - x81 * x132 + x93 * x136 + x97 * x136 + x101 * x136 + x105 * x136 - x136 * x160 + x137 * x161 ] = 0 e66: x2 - b170 <= 0 e67: x3 - b171 <= 0 e68: x4 - b172 <= 0 e69: x5 - b173 <= 0 e70: x6 - b174 <= 0 e71: x7 - b175 <= 0 e72: x8 - b176 <= 0 e73: x9 - b177 <= 0 e74: x10 - b178 <= 0 e75: x11 - b179 <= 0 e76: x12 - b180 <= 0 e77: x13 - b181 <= 0 e78: x14 - b182 <= 0 e79: x15 - b183 <= 0 e80: x16 - b184 <= 0 e81: x17 - b185 <= 0 e82: x18 - b186 <= 0 e83: x19 - b187 <= 0 e84: x20 - b188 <= 0 e85: x21 - b189 <= 0 e86: x22 - b190 <= 0 e87: x23 - b191 <= 0 e88: x24 - b192 <= 0 e89: x25 - b193 <= 0 e90: x26 - b194 <= 0 e91: x27 - b195 <= 0 e92: x28 - b196 <= 0 e93: x29 - b197 <= 0 e94: x30 - b198 <= 0 e95: x31 - b199 <= 0 e96: x32 - b200 <= 0 e97: x33 - b201 <= 0 e98: x34 - b202 <= 0 e99: x35 - b203 <= 0 e100: x36 - b204 <= 0 e101: x37 - b205 <= 0 e102: x38 - b206 <= 0 e103: x39 - b207 <= 0 e104: x40 - b208 <= 0 e105: x41 - b209 <= 0 e106: x42 - b210 <= 0 e107: x43 - b211 <= 0 e108: x44 - b212 <= 0 e109: x45 - b213 <= 0 e110: x46 - b214 <= 0 e111: x47 - b215 <= 0 e112: x48 - b216 <= 0 e113: x49 - b217 <= 0 e114: x50 - b218 <= 0 e115: x51 - b219 <= 0 e116: x52 - b220 <= 0 e117: x53 - b221 <= 0 e118: x54 - b222 <= 0 e119: x55 - b223 <= 0 e120: x56 - b224 <= 0 e121: x57 - b225 <= 0 e122: x58 - b226 <= 0 e123: x59 - b227 <= 0 e124: x60 - b228 <= 0 e125: x61 - b229 <= 0 e126: x62 - b230 <= 0 e127: x63 - b231 <= 0 e128: x64 - b232 <= 0 e129: x65 - b233 <= 0 e130: x66 - b234 <= 0 e131: x67 - b235 <= 0 e132: x68 - b236 <= 0 e133: x69 - b237 <= 0 e134: x70 - b238 <= 0 e135: x71 - b239 <= 0 e136: x72 - b240 <= 0 e137: x73 - b241 <= 0 e138: x74 - b242 <= 0 e139: x75 - b243 <= 0 e140: x76 - b244 <= 0 e141: x77 - b245 <= 0 e142: x78 - b246 <= 0 e143: x79 - b247 <= 0 e144: x80 - b248 <= 0 e145: x81 - b249 <= 0 e146: x82 - b250 <= 0 e147: x83 - b251 <= 0 e148: x84 - b252 <= 0 e149: x85 - b253 <= 0 e150: x86 - b254 <= 0 e151: x87 - b255 <= 0 e152: x88 - b256 <= 0 e153: x89 - b257 <= 0 e154: x90 - b258 <= 0 e155: x91 - b259 <= 0 e156: x92 - b260 <= 0 e157: x93 - b261 <= 0 e158: x94 - b262 <= 0 e159: x95 - b263 <= 0 e160: x96 - b264 <= 0 e161: x97 - b265 <= 0 e162: x98 - b266 <= 0 e163: x99 - b267 <= 0 e164: x100 - b268 <= 0 e165: x101 - b269 <= 0 e166: x102 - b270 <= 0 e167: x103 - b271 <= 0 e168: x104 - b272 <= 0 e169: x105 - b273 <= 0 e170: x2 >= 0 e171: x3 >= 0 e172: x4 >= 0 e173: x5 >= 0 e174: x6 >= 0 e175: x7 >= 0 e176: x8 >= 0 e177: x9 >= 0 e178: x10 >= 0 e179: x11 >= 0 e180: x12 >= 0 e181: x13 >= 0 e182: x14 >= 0 e183: x15 >= 0 e184: x16 >= 0 e185: x17 >= 0 e186: x18 >= 0 e187: x19 >= 0 e188: x20 >= 0 e189: x21 >= 0 e190: x22 >= 0 e191: x23 >= 0 e192: x24 >= 0 e193: x25 >= 0 e194: x26 >= 0 e195: x27 >= 0 e196: x28 >= 0 e197: x29 >= 0 e198: x30 >= 0 e199: x31 >= 0 e200: x32 >= 0 e201: x33 >= 0 e202: x34 >= 0 e203: x35 >= 0 e204: x36 >= 0 e205: x37 >= 0 e206: x38 >= 0 e207: x39 >= 0 e208: x40 >= 0 e209: x41 >= 0 e210: x42 >= 0 e211: x43 >= 0 e212: x44 >= 0 e213: x45 >= 0 e214: x46 >= 0 e215: x47 >= 0 e216: x48 >= 0 e217: x49 >= 0 e218: x50 >= 0 e219: x51 >= 0 e220: x52 >= 0 e221: x53 >= 0 e222: x54 >= 0 e223: x55 >= 0 e224: x56 >= 0 e225: x57 >= 0 e226: x58 >= 0 e227: x59 >= 0 e228: x60 >= 0 e229: x61 >= 0 e230: x62 >= 0 e231: x63 >= 0 e232: x64 >= 0 e233: x65 >= 0 e234: x66 >= 0 e235: x67 >= 0 e236: x68 >= 0 e237: x69 >= 0 e238: x70 >= 0 e239: x71 >= 0 e240: x72 >= 0 e241: x73 >= 0 e242: x74 >= 0 e243: x75 >= 0 e244: x76 >= 0 e245: x77 >= 0 e246: x78 >= 0 e247: x79 >= 0 e248: x80 >= 0 e249: x81 >= 0 e250: x82 >= 0 e251: x83 >= 0 e252: x84 >= 0 e253: x85 >= 0 e254: x86 >= 0 e255: x87 >= 0 e256: x88 >= 0 e257: x89 >= 0 e258: x90 >= 0 e259: x91 >= 0 e260: x92 >= 0 e261: x93 >= 0 e262: x94 >= 0 e263: x95 >= 0 e264: x96 >= 0 e265: x97 >= 0 e266: x98 >= 0 e267: x99 >= 0 e268: x100 >= 0 e269: x101 >= 0 e270: x102 >= 0 e271: x103 >= 0 e272: x104 >= 0 e273: x105 >= 0 e274: b174 <= 1.4 e275: b175 <= 1.4 e276: b176 <= 1.4 e277: b177 <= 1.4 e278: b194 <= 1.1 e279: b195 <= 1.1 e280: b196 <= 1.1 e281: b197 <= 1.1 e282: b174 <= .9 e283: b175 <= .9 e284: b176 <= .9 e285: b177 <= .9 e286: b194 <= 1.7 e287: b195 <= 1.7 e288: b196 <= 1.7 e289: b197 <= 1.7 e290: - b174 >= -1 e291: - b175 >= -1 e292: - b176 >= -1 e293: - b177 >= -1 e294: - b194 >= -1.3 e295: - b195 >= -1.3 e296: - b196 >= -1.3 e297: - b197 >= -1.3 e298: - b174 >= -1.4 e299: - b175 >= -1.4 e300: - b176 >= -1.4 e301: - b177 >= -1.4 e302: - b194 >= -.7 e303: - b195 >= -.7 e304: - b196 >= -.7 e305: - b197 >= -.7 e306: - x106 + b211 <= .4 e307: - x107 + b212 <= .4 e308: - x108 + b213 <= .4 e309: - x106 + b215 <= .5 e310: - x107 + b216 <= .5 e311: - x108 + b217 <= .5 e312: - x110 + b231 <= .4 e313: - x111 + b232 <= .4 e314: - x112 + b233 <= .4 e315: - x110 + b235 <= .5 e316: - x111 + b236 <= .5 e317: - x112 + b237 <= .5 e318: - x114 + b251 <= .4 e319: - x115 + b252 <= .4 e320: - x116 + b253 <= .4 e321: - x114 + b255 <= .5 e322: - x115 + b256 <= .5 e323: - x116 + b257 <= .5 e324: - x118 + b267 <= .4 e325: - x119 + b268 <= .4 e326: - x120 + b269 <= .4 e327: - x118 + b271 <= .5 e328: - x119 + b272 <= .5 e329: - x120 + b273 <= .5 e330: - x122 + b211 <= .3 e331: - x123 + b212 <= .3 e332: - x124 + b213 <= .3 e333: - x122 + b215 <= .8 e334: - x123 + b216 <= .8 e335: - x124 + b217 <= .8 e336: - x126 + b231 <= .3 e337: - x127 + b232 <= .3 e338: - x128 + b233 <= .3 e339: - x126 + b235 <= .8 e340: - x127 + b236 <= .8 e341: - x128 + b237 <= .8 e342: - x130 + b251 <= .3 e343: - x131 + b252 <= .3 e344: - x132 + b253 <= .3 e345: - x130 + b255 <= .8 e346: - x131 + b256 <= .8 e347: - x132 + b257 <= .8 e348: - x134 + b267 <= .3 e349: - x135 + b268 <= .3 e350: - x136 + b269 <= .3 e351: - x134 + b271 <= .8 e352: - x135 + b272 <= .8 e353: - x136 + b273 <= .8 e354: - x106 - b211 >= -2 e355: - x107 - b212 >= -2 e356: - x108 - b213 >= -2 e357: - x106 - b215 >= -1.9 e358: - x107 - b216 >= -1.9 e359: - x108 - b217 >= -1.9 e360: - x110 - b231 >= -2 e361: - x111 - b232 >= -2 e362: - x112 - b233 >= -2 e363: - x110 - b235 >= -1.9 e364: - x111 - b236 >= -1.9 e365: - x112 - b237 >= -1.9 e366: - x114 - b251 >= -2 e367: - x115 - b252 >= -2 e368: - x116 - b253 >= -2 e369: - x114 - b255 >= -1.9 e370: - x115 - b256 >= -1.9 e371: - x116 - b257 >= -1.9 e372: - x118 - b267 >= -2 e373: - x119 - b268 >= -2 e374: - x120 - b269 >= -2 e375: - x118 - b271 >= -1.9 e376: - x119 - b272 >= -1.9 e377: - x120 - b273 >= -1.9 e378: - x122 - b211 >= -2 e379: - x123 - b212 >= -2 e380: - x124 - b213 >= -2 e381: - x122 - b215 >= -1.6 e382: - x123 - b216 >= -1.6 e383: - x124 - b217 >= -1.6 e384: - x126 - b231 >= -2 e385: - x127 - b232 >= -2 e386: - x128 - b233 >= -2 e387: - x126 - b235 >= -1.6 e388: - x127 - b236 >= -1.6 e389: - x128 - b237 >= -1.6 e390: - x130 - b251 >= -2 e391: - x131 - b252 >= -2 e392: - x132 - b253 >= -2 e393: - x130 - b255 >= -1.6 e394: - x131 - b256 >= -1.6 e395: - x132 - b257 >= -1.6 e396: - x134 - b267 >= -2 e397: - x135 - b268 >= -2 e398: - x136 - b269 >= -2 e399: - x134 - b271 >= -1.6 e400: - x135 - b272 >= -1.6 e401: - x136 - b273 >= -1.6 e402: b210 <= .9 e403: b214 <= 1 e404: b230 <= 1.2 e405: b234 <= 1.3 e406: b250 <= 1.1 e407: b254 <= 1.2 e408: b266 <= 1.1 e409: b270 <= 1.2 e410: b210 <= .4 e411: b214 <= .9 e412: b230 <= 1.1 e413: b234 <= 1.6 e414: b250 <= .4 e415: b254 <= .9 e416: b266 <= .8 e417: b270 <= 1.3 e418: - b210 >= -1.5 e419: - b214 >= -1.4 e420: - b230 >= -1.2 e421: - b234 >= -1.1 e422: - b250 >= -1.3 e423: - b254 >= -1.2 e424: - b266 >= -1.3 e425: - b270 >= -1.2 e426: - b210 >= -1.9 e427: - b214 >= -1.5 e428: - b230 >= -1.2 e429: - b234 >= -.8 e430: - b250 >= -1.9 e431: - b254 >= -1.5 e432: - b266 >= -1.5 e433: - b270 >= -1.1 e434: b178 + b198 <= 1 e435: b179 + b199 <= 1 e436: b180 + b200 <= 1 e437: b181 + b201 <= 1 e438: b178 + b202 <= 1 e439: b179 + b203 <= 1 e440: b180 + b204 <= 1 e441: b181 + b205 <= 1 e442: b178 + b206 <= 1 e443: b179 + b207 <= 1 e444: b180 + b208 <= 1 e445: b181 + b209 <= 1 e446: b178 + b210 <= 1 e447: b179 + b211 <= 1 e448: b180 + b212 <= 1 e449: b181 + b213 <= 1 e450: b178 + b214 <= 1 e451: b179 + b215 <= 1 e452: b180 + b216 <= 1 e453: b181 + b217 <= 1 e454: b198 + b218 <= 1 e455: b199 + b219 <= 1 e456: b200 + b220 <= 1 e457: b201 + b221 <= 1 e458: b202 + b218 <= 1 e459: b203 + b219 <= 1 e460: b204 + b220 <= 1 e461: b205 + b221 <= 1 e462: b206 + b218 <= 1 e463: b207 + b219 <= 1 e464: b208 + b220 <= 1 e465: b209 + b221 <= 1 e466: b210 + b218 <= 1 e467: b211 + b219 <= 1 e468: b212 + b220 <= 1 e469: b213 + b221 <= 1 e470: b214 + b218 <= 1 e471: b215 + b219 <= 1 e472: b216 + b220 <= 1 e473: b217 + b221 <= 1 e474: b198 + b238 <= 1 e475: b199 + b239 <= 1 e476: b200 + b240 <= 1 e477: b201 + b241 <= 1 e478: b202 + b238 <= 1 e479: b203 + b239 <= 1 e480: b204 + b240 <= 1 e481: b205 + b241 <= 1 e482: b206 + b238 <= 1 e483: b207 + b239 <= 1 e484: b208 + b240 <= 1 e485: b209 + b241 <= 1 e486: b210 + b238 <= 1 e487: b211 + b239 <= 1 e488: b212 + b240 <= 1 e489: b213 + b241 <= 1 e490: b214 + b238 <= 1 e491: b215 + b239 <= 1 e492: b216 + b240 <= 1 e493: b217 + b241 <= 1 e494: b198 + b258 <= 1 e495: b199 + b259 <= 1 e496: b200 + b260 <= 1 e497: b201 + b261 <= 1 e498: b202 + b258 <= 1 e499: b203 + b259 <= 1 e500: b204 + b260 <= 1 e501: b205 + b261 <= 1 e502: b206 + b258 <= 1 e503: b207 + b259 <= 1 e504: b208 + b260 <= 1 e505: b209 + b261 <= 1 e506: b210 + b258 <= 1 e507: b211 + b259 <= 1 e508: b212 + b260 <= 1 e509: b213 + b261 <= 1 e510: b214 + b258 <= 1 e511: b215 + b259 <= 1 e512: b216 + b260 <= 1 e513: b217 + b261 <= 1 e514: b170 + b218 <= 1 e515: b171 + b219 <= 1 e516: b172 + b220 <= 1 e517: b173 + b221 <= 1 e518: b170 + b222 <= 1 e519: b171 + b223 <= 1 e520: b172 + b224 <= 1 e521: b173 + b225 <= 1 e522: b170 + b226 <= 1 e523: b171 + b227 <= 1 e524: b172 + b228 <= 1 e525: b173 + b229 <= 1 e526: b170 + b230 <= 1 e527: b171 + b231 <= 1 e528: b172 + b232 <= 1 e529: b173 + b233 <= 1 e530: b170 + b234 <= 1 e531: b171 + b235 <= 1 e532: b172 + b236 <= 1 e533: b173 + b237 <= 1 e534: b182 + b218 <= 1 e535: b183 + b219 <= 1 e536: b184 + b220 <= 1 e537: b185 + b221 <= 1 e538: b182 + b222 <= 1 e539: b183 + b223 <= 1 e540: b184 + b224 <= 1 e541: b185 + b225 <= 1 e542: b182 + b226 <= 1 e543: b183 + b227 <= 1 e544: b184 + b228 <= 1 e545: b185 + b229 <= 1 e546: b182 + b230 <= 1 e547: b183 + b231 <= 1 e548: b184 + b232 <= 1 e549: b185 + b233 <= 1 e550: b182 + b234 <= 1 e551: b183 + b235 <= 1 e552: b184 + b236 <= 1 e553: b185 + b237 <= 1 e554: b198 + b218 <= 1 e555: b199 + b219 <= 1 e556: b200 + b220 <= 1 e557: b201 + b221 <= 1 e558: b198 + b222 <= 1 e559: b199 + b223 <= 1 e560: b200 + b224 <= 1 e561: b201 + b225 <= 1 e562: b198 + b226 <= 1 e563: b199 + b227 <= 1 e564: b200 + b228 <= 1 e565: b201 + b229 <= 1 e566: b198 + b230 <= 1 e567: b199 + b231 <= 1 e568: b200 + b232 <= 1 e569: b201 + b233 <= 1 e570: b198 + b234 <= 1 e571: b199 + b235 <= 1 e572: b200 + b236 <= 1 e573: b201 + b237 <= 1 e574: b218 + b242 <= 1 e575: b219 + b243 <= 1 e576: b220 + b244 <= 1 e577: b221 + b245 <= 1 e578: b222 + b242 <= 1 e579: b223 + b243 <= 1 e580: b224 + b244 <= 1 e581: b225 + b245 <= 1 e582: b226 + b242 <= 1 e583: b227 + b243 <= 1 e584: b228 + b244 <= 1 e585: b229 + b245 <= 1 e586: b230 + b242 <= 1 e587: b231 + b243 <= 1 e588: b232 + b244 <= 1 e589: b233 + b245 <= 1 e590: b234 + b242 <= 1 e591: b235 + b243 <= 1 e592: b236 + b244 <= 1 e593: b237 + b245 <= 1 e594: b186 + b238 <= 1 e595: b187 + b239 <= 1 e596: b188 + b240 <= 1 e597: b189 + b241 <= 1 e598: b186 + b242 <= 1 e599: b187 + b243 <= 1 e600: b188 + b244 <= 1 e601: b189 + b245 <= 1 e602: b186 + b246 <= 1 e603: b187 + b247 <= 1 e604: b188 + b248 <= 1 e605: b189 + b249 <= 1 e606: b186 + b250 <= 1 e607: b187 + b251 <= 1 e608: b188 + b252 <= 1 e609: b189 + b253 <= 1 e610: b186 + b254 <= 1 e611: b187 + b255 <= 1 e612: b188 + b256 <= 1 e613: b189 + b257 <= 1 e614: b202 + b238 <= 1 e615: b203 + b239 <= 1 e616: b204 + b240 <= 1 e617: b205 + b241 <= 1 e618: b202 + b242 <= 1 e619: b203 + b243 <= 1 e620: b204 + b244 <= 1 e621: b205 + b245 <= 1 e622: b202 + b246 <= 1 e623: b203 + b247 <= 1 e624: b204 + b248 <= 1 e625: b205 + b249 <= 1 e626: b202 + b250 <= 1 e627: b203 + b251 <= 1 e628: b204 + b252 <= 1 e629: b205 + b253 <= 1 e630: b202 + b254 <= 1 e631: b203 + b255 <= 1 e632: b204 + b256 <= 1 e633: b205 + b257 <= 1 e634: b222 + b238 <= 1 e635: b223 + b239 <= 1 e636: b224 + b240 <= 1 e637: b225 + b241 <= 1 e638: b222 + b242 <= 1 e639: b223 + b243 <= 1 e640: b224 + b244 <= 1 e641: b225 + b245 <= 1 e642: b222 + b246 <= 1 e643: b223 + b247 <= 1 e644: b224 + b248 <= 1 e645: b225 + b249 <= 1 e646: b222 + b250 <= 1 e647: b223 + b251 <= 1 e648: b224 + b252 <= 1 e649: b225 + b253 <= 1 e650: b222 + b254 <= 1 e651: b223 + b255 <= 1 e652: b224 + b256 <= 1 e653: b225 + b257 <= 1 e654: b238 + b262 <= 1 e655: b239 + b263 <= 1 e656: b240 + b264 <= 1 e657: b241 + b265 <= 1 e658: b242 + b262 <= 1 e659: b243 + b263 <= 1 e660: b244 + b264 <= 1 e661: b245 + b265 <= 1 e662: b246 + b262 <= 1 e663: b247 + b263 <= 1 e664: b248 + b264 <= 1 e665: b249 + b265 <= 1 e666: b250 + b262 <= 1 e667: b251 + b263 <= 1 e668: b252 + b264 <= 1 e669: b253 + b265 <= 1 e670: b254 + b262 <= 1 e671: b255 + b263 <= 1 e672: b256 + b264 <= 1 e673: b257 + b265 <= 1 e674: b190 + b258 <= 1 e675: b191 + b259 <= 1 e676: b192 + b260 <= 1 e677: b193 + b261 <= 1 e678: b190 + b262 <= 1 e679: b191 + b263 <= 1 e680: b192 + b264 <= 1 e681: b193 + b265 <= 1 e682: b190 + b266 <= 1 e683: b191 + b267 <= 1 e684: b192 + b268 <= 1 e685: b193 + b269 <= 1 e686: b190 + b270 <= 1 e687: b191 + b271 <= 1 e688: b192 + b272 <= 1 e689: b193 + b273 <= 1 e690: b206 + b258 <= 1 e691: b207 + b259 <= 1 e692: b208 + b260 <= 1 e693: b209 + b261 <= 1 e694: b206 + b262 <= 1 e695: b207 + b263 <= 1 e696: b208 + b264 <= 1 e697: b209 + b265 <= 1 e698: b206 + b266 <= 1 e699: b207 + b267 <= 1 e700: b208 + b268 <= 1 e701: b209 + b269 <= 1 e702: b206 + b270 <= 1 e703: b207 + b271 <= 1 e704: b208 + b272 <= 1 e705: b209 + b273 <= 1 e706: b226 + b258 <= 1 e707: b227 + b259 <= 1 e708: b228 + b260 <= 1 e709: b229 + b261 <= 1 e710: b226 + b262 <= 1 e711: b227 + b263 <= 1 e712: b228 + b264 <= 1 e713: b229 + b265 <= 1 e714: b226 + b266 <= 1 e715: b227 + b267 <= 1 e716: b228 + b268 <= 1 e717: b229 + b269 <= 1 e718: b226 + b270 <= 1 e719: b227 + b271 <= 1 e720: b228 + b272 <= 1 e721: b229 + b273 <= 1 e722: b246 + b258 <= 1 e723: b247 + b259 <= 1 e724: b248 + b260 <= 1 e725: b249 + b261 <= 1 e726: b246 + b262 <= 1 e727: b247 + b263 <= 1 e728: b248 + b264 <= 1 e729: b249 + b265 <= 1 e730: b246 + b266 <= 1 e731: b247 + b267 <= 1 e732: b248 + b268 <= 1 e733: b249 + b269 <= 1 e734: b246 + b270 <= 1 e735: b247 + b271 <= 1 e736: b248 + b272 <= 1 e737: b249 + b273 <= 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 <= 1 x114 <= 1 x115 <= 1 x116 <= 1 x117 <= 1 x118 <= 1 x119 <= 1 x120 <= 1 x121 <= 1 x122 <= 1 x123 <= 1 x124 <= 1 x125 <= 1 x126 <= 1 x127 <= 1 x128 <= 1 x129 <= 1 x130 <= 1 x131 <= 1 x132 <= 1 x133 <= 1 x134 <= 1 x135 <= 1 x136 <= 1 x137 <= 1 x138 <= 2 x139 <= 2 x140 <= 2 x141 <= 2 x142 <= 2 x143 <= 2 x144 <= 2 x145 <= 2 x146 <= 2 x147 <= 2 x148 <= 2 x149 <= 2 x150 <= 2 x151 <= 2 x152 <= 2 x153 <= 2 x154 <= 2 x155 <= 2 x156 <= 2 x157 <= 2 x158 <= 2 x159 <= 2 x160 <= 2 x161 <= 2 x162 <= 2 x163 <= 2 x164 <= 2 x165 <= 2 x166 <= 2 x167 <= 2 x168 <= 2 x169 <= 2 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 b232 b233 b234 b235 b236 b237 b238 b239 b240 b241 b242 b243 b244 b245 b246 b247 b248 b249 b250 b251 b252 b253 b254 b255 b256 b257 b258 b259 b260 b261 b262 b263 b264 b265 b266 b267 b268 b269 b270 b271 b272 b273 End