\ Equation counts \ Total E G L N X C B \ 884 64 220 600 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 312 188 124 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2468 2092 376 0 \ Maximize obj: - .43 x2 - .43 x3 - .43 x4 - .43 x5 - .9 x6 - .9 x7 - .9 x8 - .9 x9 - .44 x10 - .44 x11 - .44 x12 - .44 x13 + 2.14 x14 + 2.14 x15 + 2.14 x16 + 2.14 x17 + 3.61 x18 + 3.61 x19 + 3.61 x20 + 3.61 x21 - 1.5 x22 - 1.5 x23 - 1.5 x24 - 1.5 x25 - 1.12 x26 - 1.12 x27 - 1.12 x28 - 1.12 x29 - 1.2 x30 - 1.2 x31 - 1.2 x32 - 1.2 x33 - 1.32 x34 - 1.32 x35 - 1.32 x36 - 1.32 x37 + 1.41 x38 + 1.41 x39 + 1.41 x40 + 1.41 x41 + 2.5 x42 + 2.5 x43 + 2.5 x44 + 2.5 x45 - .93 x46 - .93 x47 - .93 x48 - .93 x49 - .49 x50 - .49 x51 - .49 x52 - .49 x53 - .24 x54 - .24 x55 - .24 x56 - .24 x57 + 1.44 x58 + 1.44 x59 + 1.44 x60 + 1.44 x61 + 3.68 x62 + 3.68 x63 + 3.68 x64 + 3.68 x65 - .49 x66 - .49 x67 - .49 x68 - .49 x69 - .68 x70 - .68 x71 - .68 x72 - .68 x73 - .37 x74 - .37 x75 - .37 x76 - .37 x77 + 2.36 x78 + 2.36 x79 + 2.36 x80 + 2.36 x81 + 3.29 x82 + 3.29 x83 + 3.29 x84 + 3.29 x85 - .1 x86 - .1 x87 - .1 x88 - .1 x89 - .34 x90 - .34 x91 - .34 x92 - .34 x93 - .14 x94 - .14 x95 - .14 x96 - .14 x97 + 2.29 x98 + 2.29 x99 + 2.29 x100 + 2.29 x101 + 3.71 x102 + 3.71 x103 + 3.71 x104 + 3.71 x105 - .72 x106 - .72 x107 - .72 x108 - .72 x109 - .89 x110 - .89 x111 - .89 x112 - .89 x113 - .7 x114 - .7 x115 - .7 x116 - .7 x117 + 2.37 x118 + 2.37 x119 + 2.37 x120 + 2.37 x121 + 3.7 x122 + 3.7 x123 + 3.7 x124 + 3.7 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 - .92 b190 - .92 b191 - .92 b192 - .92 b193 - .18 b194 - .18 b195 - .18 b196 - .18 b197 - .98 b198 - .98 b199 - .98 b200 - .98 b201 - .11 b202 - .11 b203 - .11 b204 - .11 b205 - .41 b206 - .41 b207 - .41 b208 - .41 b209 - .26 b210 - .26 b211 - .26 b212 - .26 b213 - .71 b214 - .71 b215 - .71 b216 - .71 b217 - .12 b218 - .12 b219 - .12 b220 - .12 b221 - .32 b222 - .32 b223 - .32 b224 - .32 b225 - .51 b226 - .51 b227 - .51 b228 - .51 b229 - .26 b230 - .26 b231 - .26 b232 - .26 b233 - 3e-2 b234 - 3e-2 b235 - 3e-2 b236 - 3e-2 b237 - .73 b238 - .73 b239 - .73 b240 - .73 b241 - .58 b242 - .58 b243 - .58 b244 - .58 b245 - .46 b246 - .46 b247 - .46 b248 - .46 b249 - .55 b250 - .55 b251 - .55 b252 - .55 b253 - .23 b254 - .23 b255 - .23 b256 - .23 b257 - .62 b258 - .62 b259 - .62 b260 - .62 b261 - .4 b262 - .4 b263 - .4 b264 - .4 b265 - .99 b266 - .99 b267 - .99 b268 - .99 b269 - .89 b270 - .89 b271 - .89 b272 - .89 b273 - .8 b274 - .8 b275 - .8 b276 - .8 b277 - .26 b278 - .26 b279 - .26 b280 - .26 b281 - .68 b282 - .68 b283 - .68 b284 - .68 b285 - .72 b286 - .72 b287 - .72 b288 - .72 b289 - .65 b290 - .65 b291 - .65 b292 - .65 b293 - .78 b294 - .78 b295 - .78 b296 - .78 b297 - .9 b298 - .9 b299 - .9 b300 - .9 b301 - .33 b302 - .33 b303 - .33 b304 - .33 b305 - .2 b306 - .2 b307 - .2 b308 - .2 b309 - .74 b310 - .74 b311 - .74 b312 - .74 b313 Subject To e2: x2 + x6 + x10 + x14 + x18 + x158 = 1.2 e3: x22 + x26 + x30 + x34 + x38 + x42 + x162 = .7 e4: - x22 + x46 + x50 + x54 + x58 + x62 - x66 - x86 - x106 + x166 = 1 e5: - x2 - x26 - x46 + x66 + x70 + x74 + x78 + x82 - x90 - x110 + x170 = .8 e6: - x6 - x30 - x50 - x70 + x86 + x90 + x94 + x98 + x102 - x114 + x174 = .2 e7: - x10 - x34 - x54 - x74 - x94 + x106 + x110 + x114 + x118 + x122 + x178 = .5 e8: - x14 - x38 - x58 - x78 - x98 - x118 + x182 = -.1 e9: - x18 - x42 - x62 - x82 - x102 - x122 + x186 = 6e-2 e10: - .9 x22 + .4 x46 + .4 x50 + .4 x54 + .4 x58 + .4 x62 - .4 x66 - .1 x86 - x106 + x126 x166 = .4 e11: - .1 x2 - .9 x26 - .4 x46 + .4 x66 + .4 x70 + .4 x74 + .4 x78 + .4 x82 - .1 x90 - x110 + x130 x170 = .32 e12: - .1 x6 - .9 x30 - .4 x50 - .4 x70 + .1 x86 + .1 x90 + .1 x94 + .1 x98 + .1 x102 - x114 + x134 x174 = 2e-2 e13: - .1 x10 - .9 x34 - .4 x54 - .4 x74 - .1 x94 + x106 + x110 + x114 + x118 + x122 + x138 x178 = .5 e14: - .8 x22 + .2 x46 + .2 x50 + .2 x54 + .2 x58 + .2 x62 - .1 x66 - .9 x86 - .6 x106 + x142 x166 = .2 e15: - .2 x2 - .8 x26 - .2 x46 + .1 x66 + .1 x70 + .1 x74 + .1 x78 + .1 x82 - .9 x90 - .6 x110 + x146 x170 = 8e-2 e16: - .2 x6 - .8 x30 - .2 x50 - .1 x70 + .9 x86 + .9 x90 + .9 x94 + .9 x98 + .9 x102 - .6 x114 + x150 x174 = .18 e17: - .2 x10 - .8 x34 - .2 x54 - .1 x74 - .9 x94 + .6 x106 + .6 x110 + .6 x114 + .6 x118 + .6 x122 + x154 x178 = .3 e18: x3 + x7 + x11 + x15 + x19 - x158 + x159 = .2 e19: x4 + x8 + x12 + x16 + x20 - x159 + x160 = .7 e20: x5 + x9 + x13 + x17 + x21 - x160 + x161 = .5 e21: x23 + x27 + x31 + x35 + x39 + x43 - x162 + x163 = .6 e22: x24 + x28 + x32 + x36 + x40 + x44 - x163 + x164 = .6 e23: x25 + x29 + x33 + x37 + x41 + x45 - x164 + x165 = .5 e24: - x23 + x47 + x51 + x55 + x59 + x63 - x67 - x87 - x107 - x166 + x167 = 0 e25: - x24 + x48 + x52 + x56 + x60 + x64 - x68 - x88 - x108 - x167 + x168 = 0 e26: - x25 + x49 + x53 + x57 + x61 + x65 - x69 - x89 - x109 - x168 + x169 = 0 e27: - x3 - x27 - x47 + x67 + x71 + x75 + x79 + x83 - x91 - x111 - x170 + x171 = 0 e28: - x4 - x28 - x48 + x68 + x72 + x76 + x80 + x84 - x92 - x112 - x171 + x172 = 0 e29: - x5 - x29 - x49 + x69 + x73 + x77 + x81 + x85 - x93 - x113 - x172 + x173 = 0 e30: - x7 - x31 - x51 - x71 + x87 + x91 + x95 + x99 + x103 - x115 - x174 + x175 = 0 e31: - x8 - x32 - x52 - x72 + x88 + x92 + x96 + x100 + x104 - x116 - x175 + x176 = 0 e32: - x9 - x33 - x53 - x73 + x89 + x93 + x97 + x101 + x105 - x117 - x176 + x177 = 0 e33: - x11 - x35 - x55 - x75 - x95 + x107 + x111 + x115 + x119 + x123 - x178 + x179 = 0 e34: - x12 - x36 - x56 - x76 - x96 + x108 + x112 + x116 + x120 + x124 - x179 + x180 = 0 e35: - x13 - x37 - x57 - x77 - x97 + x109 + x113 + x117 + x121 + x125 - x180 + x181 = 0 e36: - x15 - x39 - x59 - x79 - x99 - x119 - x182 + x183 = -.19 e37: - x16 - x40 - x60 - x80 - x100 - x120 - x183 + x184 = -.18 e38: - x17 - x41 - x61 - x81 - x101 - x121 - x184 + x185 = -.63 e39: - x19 - x43 - x63 - x83 - x103 - x123 - x186 + x187 = -.69 e40: - x20 - x44 - x64 - x84 - x104 - x124 - x187 + x188 = -.37 e41: - x21 - x45 - x65 - x85 - x105 - x125 - x188 + x189 = -.78 e42: - .9 x23 + x47 x126 + x51 x126 + x55 x126 + x59 x126 + x63 x126 - x67 x130 - x87 x134 - x107 x138 - x126 x166 + x127 x167 = 0 e43: - .9 x24 + x48 x127 + x52 x127 + x56 x127 + x60 x127 + x64 x127 - x68 x131 - x88 x135 - x108 x139 - x127 x167 + x128 x168 = 0 e44: - .9 x25 + x49 x128 + x53 x128 + x57 x128 + x61 x128 + x65 x128 - x69 x132 - x89 x136 - x109 x140 - x128 x168 + x129 x169 = 0 e45: - .1 x3 - .9 x27 - x47 x126 + x67 x130 + x71 x130 + x75 x130 + x79 x130 + x83 x130 - x91 x134 - x111 x138 - x130 x170 + x131 x171 = 0 e46: - .1 x4 - .9 x28 - x48 x127 + x68 x131 + x72 x131 + x76 x131 + x80 x131 + x84 x131 - x92 x135 - x112 x139 - x131 x171 + x132 x172 = 0 e47: - .1 x5 - .9 x29 - x49 x128 + x69 x132 + x73 x132 + x77 x132 + x81 x132 + x85 x132 - x93 x136 - x113 x140 - x132 x172 + x133 x173 = 0 e48: - .1 x7 - .9 x31 - x51 x126 - x71 x130 + x87 x134 + x91 x134 + x95 x134 + x99 x134 + x103 x134 - x115 x138 - x134 x174 + x135 x175 = 0 e49: - .1 x8 - .9 x32 - x52 x127 - x72 x131 + x88 x135 + x92 x135 + x96 x135 + x100 x135 + x104 x135 - x116 x139 - x135 x175 + x136 x176 = 0 e50: - .1 x9 - .9 x33 - x53 x128 - x73 x132 + x89 x136 + x93 x136 + x97 x136 + x101 x136 + x105 x136 - x117 x140 - x136 x176 + x137 x177 = 0 e51: - .1 x11 - .9 x35 - x55 x126 - x75 x130 - x95 x134 + x107 x138 + x111 x138 + x115 x138 + x119 x138 + x123 x138 - x138 x178 + x139 x179 = 0 e52: - .1 x12 - .9 x36 - x56 x127 - x76 x131 - x96 x135 + x108 x139 + x112 x139 + x116 x139 + x120 x139 + x124 x139 - x139 x179 + x140 x180 = 0 e53: - .1 x13 - .9 x37 - x57 x128 - x77 x132 - x97 x136 + x109 x140 + x113 x140 + x117 x140 + x121 x140 + x125 x140 - x140 x180 + x141 x181 = 0 e54: - .8 x23 + x47 x142 + x51 x142 + x55 x142 + x59 x142 + x63 x142 - x67 x146 - x87 x150 - x107 x154 - x142 x166 + x143 x167 = 0 e55: - .8 x24 + x48 x143 + x52 x143 + x56 x143 + x60 x143 + x64 x143 - x68 x147 - x88 x151 - x108 x155 - x143 x167 + x144 x168 = 0 e56: - .8 x25 + x49 x144 + x53 x144 + x57 x144 + x61 x144 + x65 x144 - x69 x148 - x89 x152 - x109 x156 - x144 x168 + x145 x169 = 0 e57: - .2 x3 - .8 x27 - x47 x142 + x67 x146 + x71 x146 + x75 x146 + x79 x146 + x83 x146 - x91 x150 - x111 x154 - x146 x170 + x147 x171 = 0 e58: - .2 x4 - .8 x28 - x48 x143 + x68 x147 + x72 x147 + x76 x147 + x80 x147 + x84 x147 - x92 x151 - x112 x155 - x147 x171 + x148 x172 = 0 e59: - .2 x5 - .8 x29 - x49 x144 + x69 x148 + x73 x148 + x77 x148 + x81 x148 + x85 x148 - x93 x152 - x113 x156 - x148 x172 + x149 x173 = 0 e60: - .2 x7 - .8 x31 - x51 x142 - x71 x146 + x87 x150 + x91 x150 + x95 x150 + x99 x150 + x103 x150 - x115 x154 - x150 x174 + x151 x175 = 0 e61: - .2 x8 - .8 x32 - x52 x143 - x72 x147 + x88 x151 + x92 x151 + x96 x151 + x100 x151 + x104 x151 - x116 x155 - x151 x175 + x152 x176 = 0 e62: - .2 x9 - .8 x33 - x53 x144 - x73 x148 + x89 x152 + x93 x152 + x97 x152 + x101 x152 + x105 x152 - x117 x156 - x152 x176 + x153 x177 = 0 e63: - .2 x11 - .8 x35 - x55 x142 - x75 x146 - x95 x150 + x107 x154 + x111 x154 + x115 x154 + x119 x154 + x123 x154 - x154 x178 + x155 x179 = 0 e64: - .2 x12 - .8 x36 - x56 x143 - x76 x147 - x96 x151 + x108 x155 + x112 x155 + x116 x155 + x120 x155 + x124 x155 - x155 x179 + x156 x180 = 0 e65: - .2 x13 - .8 x37 - x57 x144 - x77 x148 - x97 x152 + x109 x156 + x113 x156 + x117 x156 + x121 x156 + x125 x156 - x156 x180 + x157 x181 = 0 e66: x2 - b190 <= 0 e67: x3 - b191 <= 0 e68: x4 - b192 <= 0 e69: x5 - b193 <= 0 e70: x6 - b194 <= 0 e71: x7 - b195 <= 0 e72: x8 - b196 <= 0 e73: x9 - b197 <= 0 e74: x10 - b198 <= 0 e75: x11 - b199 <= 0 e76: x12 - b200 <= 0 e77: x13 - b201 <= 0 e78: x14 - b202 <= 0 e79: x15 - b203 <= 0 e80: x16 - b204 <= 0 e81: x17 - b205 <= 0 e82: x18 - b206 <= 0 e83: x19 - b207 <= 0 e84: x20 - b208 <= 0 e85: x21 - b209 <= 0 e86: x22 - b210 <= 0 e87: x23 - b211 <= 0 e88: x24 - b212 <= 0 e89: x25 - b213 <= 0 e90: x26 - b214 <= 0 e91: x27 - b215 <= 0 e92: x28 - b216 <= 0 e93: x29 - b217 <= 0 e94: x30 - b218 <= 0 e95: x31 - b219 <= 0 e96: x32 - b220 <= 0 e97: x33 - b221 <= 0 e98: x34 - b222 <= 0 e99: x35 - b223 <= 0 e100: x36 - b224 <= 0 e101: x37 - b225 <= 0 e102: x38 - b226 <= 0 e103: x39 - b227 <= 0 e104: x40 - b228 <= 0 e105: x41 - b229 <= 0 e106: x42 - b230 <= 0 e107: x43 - b231 <= 0 e108: x44 - b232 <= 0 e109: x45 - b233 <= 0 e110: x46 - b234 <= 0 e111: x47 - b235 <= 0 e112: x48 - b236 <= 0 e113: x49 - b237 <= 0 e114: x50 - b238 <= 0 e115: x51 - b239 <= 0 e116: x52 - b240 <= 0 e117: x53 - b241 <= 0 e118: x54 - b242 <= 0 e119: x55 - b243 <= 0 e120: x56 - b244 <= 0 e121: x57 - b245 <= 0 e122: x58 - b246 <= 0 e123: x59 - b247 <= 0 e124: x60 - b248 <= 0 e125: x61 - b249 <= 0 e126: x62 - b250 <= 0 e127: x63 - b251 <= 0 e128: x64 - b252 <= 0 e129: x65 - b253 <= 0 e130: x66 - b254 <= 0 e131: x67 - b255 <= 0 e132: x68 - b256 <= 0 e133: x69 - b257 <= 0 e134: x70 - b258 <= 0 e135: x71 - b259 <= 0 e136: x72 - b260 <= 0 e137: x73 - b261 <= 0 e138: x74 - b262 <= 0 e139: x75 - b263 <= 0 e140: x76 - b264 <= 0 e141: x77 - b265 <= 0 e142: x78 - b266 <= 0 e143: x79 - b267 <= 0 e144: x80 - b268 <= 0 e145: x81 - b269 <= 0 e146: x82 - b270 <= 0 e147: x83 - b271 <= 0 e148: x84 - b272 <= 0 e149: x85 - b273 <= 0 e150: x86 - b274 <= 0 e151: x87 - b275 <= 0 e152: x88 - b276 <= 0 e153: x89 - b277 <= 0 e154: x90 - b278 <= 0 e155: x91 - b279 <= 0 e156: x92 - b280 <= 0 e157: x93 - b281 <= 0 e158: x94 - b282 <= 0 e159: x95 - b283 <= 0 e160: x96 - b284 <= 0 e161: x97 - b285 <= 0 e162: x98 - b286 <= 0 e163: x99 - b287 <= 0 e164: x100 - b288 <= 0 e165: x101 - b289 <= 0 e166: x102 - b290 <= 0 e167: x103 - b291 <= 0 e168: x104 - b292 <= 0 e169: x105 - b293 <= 0 e170: x106 - b294 <= 0 e171: x107 - b295 <= 0 e172: x108 - b296 <= 0 e173: x109 - b297 <= 0 e174: x110 - b298 <= 0 e175: x111 - b299 <= 0 e176: x112 - b300 <= 0 e177: x113 - b301 <= 0 e178: x114 - b302 <= 0 e179: x115 - b303 <= 0 e180: x116 - b304 <= 0 e181: x117 - b305 <= 0 e182: x118 - b306 <= 0 e183: x119 - b307 <= 0 e184: x120 - b308 <= 0 e185: x121 - b309 <= 0 e186: x122 - b310 <= 0 e187: x123 - b311 <= 0 e188: x124 - b312 <= 0 e189: x125 - b313 <= 0 e190: x2 >= 0 e191: x3 >= 0 e192: x4 >= 0 e193: x5 >= 0 e194: x6 >= 0 e195: x7 >= 0 e196: x8 >= 0 e197: x9 >= 0 e198: x10 >= 0 e199: x11 >= 0 e200: x12 >= 0 e201: x13 >= 0 e202: x14 >= 0 e203: x15 >= 0 e204: x16 >= 0 e205: x17 >= 0 e206: x18 >= 0 e207: x19 >= 0 e208: x20 >= 0 e209: x21 >= 0 e210: x22 >= 0 e211: x23 >= 0 e212: x24 >= 0 e213: x25 >= 0 e214: x26 >= 0 e215: x27 >= 0 e216: x28 >= 0 e217: x29 >= 0 e218: x30 >= 0 e219: x31 >= 0 e220: x32 >= 0 e221: x33 >= 0 e222: x34 >= 0 e223: x35 >= 0 e224: x36 >= 0 e225: x37 >= 0 e226: x38 >= 0 e227: x39 >= 0 e228: x40 >= 0 e229: x41 >= 0 e230: x42 >= 0 e231: x43 >= 0 e232: x44 >= 0 e233: x45 >= 0 e234: x46 >= 0 e235: x47 >= 0 e236: x48 >= 0 e237: x49 >= 0 e238: x50 >= 0 e239: x51 >= 0 e240: x52 >= 0 e241: x53 >= 0 e242: x54 >= 0 e243: x55 >= 0 e244: x56 >= 0 e245: x57 >= 0 e246: x58 >= 0 e247: x59 >= 0 e248: x60 >= 0 e249: x61 >= 0 e250: x62 >= 0 e251: x63 >= 0 e252: x64 >= 0 e253: x65 >= 0 e254: x66 >= 0 e255: x67 >= 0 e256: x68 >= 0 e257: x69 >= 0 e258: x70 >= 0 e259: x71 >= 0 e260: x72 >= 0 e261: x73 >= 0 e262: x74 >= 0 e263: x75 >= 0 e264: x76 >= 0 e265: x77 >= 0 e266: x78 >= 0 e267: x79 >= 0 e268: x80 >= 0 e269: x81 >= 0 e270: x82 >= 0 e271: x83 >= 0 e272: x84 >= 0 e273: x85 >= 0 e274: x86 >= 0 e275: x87 >= 0 e276: x88 >= 0 e277: x89 >= 0 e278: x90 >= 0 e279: x91 >= 0 e280: x92 >= 0 e281: x93 >= 0 e282: x94 >= 0 e283: x95 >= 0 e284: x96 >= 0 e285: x97 >= 0 e286: x98 >= 0 e287: x99 >= 0 e288: x100 >= 0 e289: x101 >= 0 e290: x102 >= 0 e291: x103 >= 0 e292: x104 >= 0 e293: x105 >= 0 e294: x106 >= 0 e295: x107 >= 0 e296: x108 >= 0 e297: x109 >= 0 e298: x110 >= 0 e299: x111 >= 0 e300: x112 >= 0 e301: x113 >= 0 e302: x114 >= 0 e303: x115 >= 0 e304: x116 >= 0 e305: x117 >= 0 e306: x118 >= 0 e307: x119 >= 0 e308: x120 >= 0 e309: x121 >= 0 e310: x122 >= 0 e311: x123 >= 0 e312: x124 >= 0 e313: x125 >= 0 e314: b202 <= .4 e315: b203 <= .4 e316: b204 <= .4 e317: b205 <= .4 e318: b206 <= .6 e319: b207 <= .6 e320: b208 <= .6 e321: b209 <= .6 e322: b226 <= 1.2 e323: b227 <= 1.2 e324: b228 <= 1.2 e325: b229 <= 1.2 e326: b230 <= 1.4 e327: b231 <= 1.4 e328: b232 <= 1.4 e329: b233 <= 1.4 e330: b202 <= .9 e331: b203 <= .9 e332: b204 <= .9 e333: b205 <= .9 e334: b206 <= .9 e335: b207 <= .9 e336: b208 <= .9 e337: b209 <= .9 e338: b226 <= 1.5 e339: b227 <= 1.5 e340: b228 <= 1.5 e341: b229 <= 1.5 e342: b230 <= 1.5 e343: b231 <= 1.5 e344: b232 <= 1.5 e345: b233 <= 1.5 e346: - b202 >= -1.9 e347: - b203 >= -1.9 e348: - b204 >= -1.9 e349: - b205 >= -1.9 e350: - b206 >= -1.7 e351: - b207 >= -1.7 e352: - b208 >= -1.7 e353: - b209 >= -1.7 e354: - b226 >= -1.1 e355: - b227 >= -1.1 e356: - b228 >= -1.1 e357: - b229 >= -1.1 e358: - b230 >= -.9 e359: - b231 >= -.9 e360: - b232 >= -.9 e361: - b233 >= -.9 e362: - b202 >= -1.4 e363: - b203 >= -1.4 e364: - b204 >= -1.4 e365: - b205 >= -1.4 e366: - b206 >= -1.6 e367: - b207 >= -1.6 e368: - b208 >= -1.6 e369: - b209 >= -1.6 e370: - b226 >= -.8 e371: - b227 >= -.8 e372: - b228 >= -.8 e373: - b229 >= -.8 e374: - b230 >= -1 e375: - b231 >= -1 e376: - b232 >= -1 e377: - b233 >= -1 e378: - x126 + b247 <= .3 e379: - x127 + b248 <= .3 e380: - x128 + b249 <= .3 e381: - x126 + b251 <= .5 e382: - x127 + b252 <= .5 e383: - x128 + b253 <= .5 e384: - x130 + b267 <= .3 e385: - x131 + b268 <= .3 e386: - x132 + b269 <= .3 e387: - x130 + b271 <= .5 e388: - x131 + b272 <= .5 e389: - x132 + b273 <= .5 e390: - x134 + b287 <= .3 e391: - x135 + b288 <= .3 e392: - x136 + b289 <= .3 e393: - x134 + b291 <= .5 e394: - x135 + b292 <= .5 e395: - x136 + b293 <= .5 e396: - x138 + b307 <= .3 e397: - x139 + b308 <= .3 e398: - x140 + b309 <= .3 e399: - x138 + b311 <= .5 e400: - x139 + b312 <= .5 e401: - x140 + b313 <= .5 e402: - x142 + b247 <= .7 e403: - x143 + b248 <= .7 e404: - x144 + b249 <= .7 e405: - x142 + b251 <= .7 e406: - x143 + b252 <= .7 e407: - x144 + b253 <= .7 e408: - x146 + b267 <= .7 e409: - x147 + b268 <= .7 e410: - x148 + b269 <= .7 e411: - x146 + b271 <= .7 e412: - x147 + b272 <= .7 e413: - x148 + b273 <= .7 e414: - x150 + b287 <= .7 e415: - x151 + b288 <= .7 e416: - x152 + b289 <= .7 e417: - x150 + b291 <= .7 e418: - x151 + b292 <= .7 e419: - x152 + b293 <= .7 e420: - x154 + b307 <= .7 e421: - x155 + b308 <= .7 e422: - x156 + b309 <= .7 e423: - x154 + b311 <= .7 e424: - x155 + b312 <= .7 e425: - x156 + b313 <= .7 e426: - x126 - b247 >= -2 e427: - x127 - b248 >= -2 e428: - x128 - b249 >= -2 e429: - x126 - b251 >= -1.8 e430: - x127 - b252 >= -1.8 e431: - x128 - b253 >= -1.8 e432: - x130 - b267 >= -2 e433: - x131 - b268 >= -2 e434: - x132 - b269 >= -2 e435: - x130 - b271 >= -1.8 e436: - x131 - b272 >= -1.8 e437: - x132 - b273 >= -1.8 e438: - x134 - b287 >= -2 e439: - x135 - b288 >= -2 e440: - x136 - b289 >= -2 e441: - x134 - b291 >= -1.8 e442: - x135 - b292 >= -1.8 e443: - x136 - b293 >= -1.8 e444: - x138 - b307 >= -2 e445: - x139 - b308 >= -2 e446: - x140 - b309 >= -2 e447: - x138 - b311 >= -1.8 e448: - x139 - b312 >= -1.8 e449: - x140 - b313 >= -1.8 e450: - x142 - b247 >= -1.6 e451: - x143 - b248 >= -1.6 e452: - x144 - b249 >= -1.6 e453: - x142 - b251 >= -1.8 e454: - x143 - b252 >= -1.8 e455: - x144 - b253 >= -1.8 e456: - x146 - b267 >= -1.6 e457: - x147 - b268 >= -1.6 e458: - x148 - b269 >= -1.6 e459: - x146 - b271 >= -1.8 e460: - x147 - b272 >= -1.8 e461: - x148 - b273 >= -1.8 e462: - x150 - b287 >= -1.6 e463: - x151 - b288 >= -1.6 e464: - x152 - b289 >= -1.6 e465: - x150 - b291 >= -1.8 e466: - x151 - b292 >= -1.8 e467: - x152 - b293 >= -1.8 e468: - x154 - b307 >= -1.6 e469: - x155 - b308 >= -1.6 e470: - x156 - b309 >= -1.6 e471: - x154 - b311 >= -1.8 e472: - x155 - b312 >= -1.8 e473: - x156 - b313 >= -1.8 e474: b246 <= .7 e475: b250 <= .9 e476: b266 <= .7 e477: b270 <= .9 e478: b286 <= .4 e479: b290 <= .6 e480: b306 <= 1.3 e481: b310 <= 1.5 e482: b246 <= .9 e483: b250 <= .9 e484: b266 <= .8 e485: b270 <= .8 e486: b286 <= 1.6 e487: b290 <= 1.6 e488: b306 <= 1.3 e489: b310 <= 1.3 e490: - b246 >= -1.6 e491: - b250 >= -1.4 e492: - b266 >= -1.6 e493: - b270 >= -1.4 e494: - b286 >= -1.9 e495: - b290 >= -1.7 e496: - b306 >= -1 e497: - b310 >= -.8 e498: - b246 >= -1.4 e499: - b250 >= -1.6 e500: - b266 >= -1.5 e501: - b270 >= -1.7 e502: - b286 >= -.7 e503: - b290 >= -.9 e504: - b306 >= -1 e505: - b310 >= -1.2 e506: b210 + b234 <= 1 e507: b211 + b235 <= 1 e508: b212 + b236 <= 1 e509: b213 + b237 <= 1 e510: b210 + b238 <= 1 e511: b211 + b239 <= 1 e512: b212 + b240 <= 1 e513: b213 + b241 <= 1 e514: b210 + b242 <= 1 e515: b211 + b243 <= 1 e516: b212 + b244 <= 1 e517: b213 + b245 <= 1 e518: b210 + b246 <= 1 e519: b211 + b247 <= 1 e520: b212 + b248 <= 1 e521: b213 + b249 <= 1 e522: b210 + b250 <= 1 e523: b211 + b251 <= 1 e524: b212 + b252 <= 1 e525: b213 + b253 <= 1 e526: b234 + b254 <= 1 e527: b235 + b255 <= 1 e528: b236 + b256 <= 1 e529: b237 + b257 <= 1 e530: b238 + b254 <= 1 e531: b239 + b255 <= 1 e532: b240 + b256 <= 1 e533: b241 + b257 <= 1 e534: b242 + b254 <= 1 e535: b243 + b255 <= 1 e536: b244 + b256 <= 1 e537: b245 + b257 <= 1 e538: b246 + b254 <= 1 e539: b247 + b255 <= 1 e540: b248 + b256 <= 1 e541: b249 + b257 <= 1 e542: b250 + b254 <= 1 e543: b251 + b255 <= 1 e544: b252 + b256 <= 1 e545: b253 + b257 <= 1 e546: b234 + b274 <= 1 e547: b235 + b275 <= 1 e548: b236 + b276 <= 1 e549: b237 + b277 <= 1 e550: b238 + b274 <= 1 e551: b239 + b275 <= 1 e552: b240 + b276 <= 1 e553: b241 + b277 <= 1 e554: b242 + b274 <= 1 e555: b243 + b275 <= 1 e556: b244 + b276 <= 1 e557: b245 + b277 <= 1 e558: b246 + b274 <= 1 e559: b247 + b275 <= 1 e560: b248 + b276 <= 1 e561: b249 + b277 <= 1 e562: b250 + b274 <= 1 e563: b251 + b275 <= 1 e564: b252 + b276 <= 1 e565: b253 + b277 <= 1 e566: b234 + b294 <= 1 e567: b235 + b295 <= 1 e568: b236 + b296 <= 1 e569: b237 + b297 <= 1 e570: b238 + b294 <= 1 e571: b239 + b295 <= 1 e572: b240 + b296 <= 1 e573: b241 + b297 <= 1 e574: b242 + b294 <= 1 e575: b243 + b295 <= 1 e576: b244 + b296 <= 1 e577: b245 + b297 <= 1 e578: b246 + b294 <= 1 e579: b247 + b295 <= 1 e580: b248 + b296 <= 1 e581: b249 + b297 <= 1 e582: b250 + b294 <= 1 e583: b251 + b295 <= 1 e584: b252 + b296 <= 1 e585: b253 + b297 <= 1 e586: b190 + b254 <= 1 e587: b191 + b255 <= 1 e588: b192 + b256 <= 1 e589: b193 + b257 <= 1 e590: b190 + b258 <= 1 e591: b191 + b259 <= 1 e592: b192 + b260 <= 1 e593: b193 + b261 <= 1 e594: b190 + b262 <= 1 e595: b191 + b263 <= 1 e596: b192 + b264 <= 1 e597: b193 + b265 <= 1 e598: b190 + b266 <= 1 e599: b191 + b267 <= 1 e600: b192 + b268 <= 1 e601: b193 + b269 <= 1 e602: b190 + b270 <= 1 e603: b191 + b271 <= 1 e604: b192 + b272 <= 1 e605: b193 + b273 <= 1 e606: b214 + b254 <= 1 e607: b215 + b255 <= 1 e608: b216 + b256 <= 1 e609: b217 + b257 <= 1 e610: b214 + b258 <= 1 e611: b215 + b259 <= 1 e612: b216 + b260 <= 1 e613: b217 + b261 <= 1 e614: b214 + b262 <= 1 e615: b215 + b263 <= 1 e616: b216 + b264 <= 1 e617: b217 + b265 <= 1 e618: b214 + b266 <= 1 e619: b215 + b267 <= 1 e620: b216 + b268 <= 1 e621: b217 + b269 <= 1 e622: b214 + b270 <= 1 e623: b215 + b271 <= 1 e624: b216 + b272 <= 1 e625: b217 + b273 <= 1 e626: b234 + b254 <= 1 e627: b235 + b255 <= 1 e628: b236 + b256 <= 1 e629: b237 + b257 <= 1 e630: b234 + b258 <= 1 e631: b235 + b259 <= 1 e632: b236 + b260 <= 1 e633: b237 + b261 <= 1 e634: b234 + b262 <= 1 e635: b235 + b263 <= 1 e636: b236 + b264 <= 1 e637: b237 + b265 <= 1 e638: b234 + b266 <= 1 e639: b235 + b267 <= 1 e640: b236 + b268 <= 1 e641: b237 + b269 <= 1 e642: b234 + b270 <= 1 e643: b235 + b271 <= 1 e644: b236 + b272 <= 1 e645: b237 + b273 <= 1 e646: b254 + b278 <= 1 e647: b255 + b279 <= 1 e648: b256 + b280 <= 1 e649: b257 + b281 <= 1 e650: b258 + b278 <= 1 e651: b259 + b279 <= 1 e652: b260 + b280 <= 1 e653: b261 + b281 <= 1 e654: b262 + b278 <= 1 e655: b263 + b279 <= 1 e656: b264 + b280 <= 1 e657: b265 + b281 <= 1 e658: b266 + b278 <= 1 e659: b267 + b279 <= 1 e660: b268 + b280 <= 1 e661: b269 + b281 <= 1 e662: b270 + b278 <= 1 e663: b271 + b279 <= 1 e664: b272 + b280 <= 1 e665: b273 + b281 <= 1 e666: b254 + b298 <= 1 e667: b255 + b299 <= 1 e668: b256 + b300 <= 1 e669: b257 + b301 <= 1 e670: b258 + b298 <= 1 e671: b259 + b299 <= 1 e672: b260 + b300 <= 1 e673: b261 + b301 <= 1 e674: b262 + b298 <= 1 e675: b263 + b299 <= 1 e676: b264 + b300 <= 1 e677: b265 + b301 <= 1 e678: b266 + b298 <= 1 e679: b267 + b299 <= 1 e680: b268 + b300 <= 1 e681: b269 + b301 <= 1 e682: b270 + b298 <= 1 e683: b271 + b299 <= 1 e684: b272 + b300 <= 1 e685: b273 + b301 <= 1 e686: b194 + b274 <= 1 e687: b195 + b275 <= 1 e688: b196 + b276 <= 1 e689: b197 + b277 <= 1 e690: b194 + b278 <= 1 e691: b195 + b279 <= 1 e692: b196 + b280 <= 1 e693: b197 + b281 <= 1 e694: b194 + b282 <= 1 e695: b195 + b283 <= 1 e696: b196 + b284 <= 1 e697: b197 + b285 <= 1 e698: b194 + b286 <= 1 e699: b195 + b287 <= 1 e700: b196 + b288 <= 1 e701: b197 + b289 <= 1 e702: b194 + b290 <= 1 e703: b195 + b291 <= 1 e704: b196 + b292 <= 1 e705: b197 + b293 <= 1 e706: b218 + b274 <= 1 e707: b219 + b275 <= 1 e708: b220 + b276 <= 1 e709: b221 + b277 <= 1 e710: b218 + b278 <= 1 e711: b219 + b279 <= 1 e712: b220 + b280 <= 1 e713: b221 + b281 <= 1 e714: b218 + b282 <= 1 e715: b219 + b283 <= 1 e716: b220 + b284 <= 1 e717: b221 + b285 <= 1 e718: b218 + b286 <= 1 e719: b219 + b287 <= 1 e720: b220 + b288 <= 1 e721: b221 + b289 <= 1 e722: b218 + b290 <= 1 e723: b219 + b291 <= 1 e724: b220 + b292 <= 1 e725: b221 + b293 <= 1 e726: b238 + b274 <= 1 e727: b239 + b275 <= 1 e728: b240 + b276 <= 1 e729: b241 + b277 <= 1 e730: b238 + b278 <= 1 e731: b239 + b279 <= 1 e732: b240 + b280 <= 1 e733: b241 + b281 <= 1 e734: b238 + b282 <= 1 e735: b239 + b283 <= 1 e736: b240 + b284 <= 1 e737: b241 + b285 <= 1 e738: b238 + b286 <= 1 e739: b239 + b287 <= 1 e740: b240 + b288 <= 1 e741: b241 + b289 <= 1 e742: b238 + b290 <= 1 e743: b239 + b291 <= 1 e744: b240 + b292 <= 1 e745: b241 + b293 <= 1 e746: b258 + b274 <= 1 e747: b259 + b275 <= 1 e748: b260 + b276 <= 1 e749: b261 + b277 <= 1 e750: b258 + b278 <= 1 e751: b259 + b279 <= 1 e752: b260 + b280 <= 1 e753: b261 + b281 <= 1 e754: b258 + b282 <= 1 e755: b259 + b283 <= 1 e756: b260 + b284 <= 1 e757: b261 + b285 <= 1 e758: b258 + b286 <= 1 e759: b259 + b287 <= 1 e760: b260 + b288 <= 1 e761: b261 + b289 <= 1 e762: b258 + b290 <= 1 e763: b259 + b291 <= 1 e764: b260 + b292 <= 1 e765: b261 + b293 <= 1 e766: b274 + b302 <= 1 e767: b275 + b303 <= 1 e768: b276 + b304 <= 1 e769: b277 + b305 <= 1 e770: b278 + b302 <= 1 e771: b279 + b303 <= 1 e772: b280 + b304 <= 1 e773: b281 + b305 <= 1 e774: b282 + b302 <= 1 e775: b283 + b303 <= 1 e776: b284 + b304 <= 1 e777: b285 + b305 <= 1 e778: b286 + b302 <= 1 e779: b287 + b303 <= 1 e780: b288 + b304 <= 1 e781: b289 + b305 <= 1 e782: b290 + b302 <= 1 e783: b291 + b303 <= 1 e784: b292 + b304 <= 1 e785: b293 + b305 <= 1 e786: b198 + b294 <= 1 e787: b199 + b295 <= 1 e788: b200 + b296 <= 1 e789: b201 + b297 <= 1 e790: b198 + b298 <= 1 e791: b199 + b299 <= 1 e792: b200 + b300 <= 1 e793: b201 + b301 <= 1 e794: b198 + b302 <= 1 e795: b199 + b303 <= 1 e796: b200 + b304 <= 1 e797: b201 + b305 <= 1 e798: b198 + b306 <= 1 e799: b199 + b307 <= 1 e800: b200 + b308 <= 1 e801: b201 + b309 <= 1 e802: b198 + b310 <= 1 e803: b199 + b311 <= 1 e804: b200 + b312 <= 1 e805: b201 + b313 <= 1 e806: b222 + b294 <= 1 e807: b223 + b295 <= 1 e808: b224 + b296 <= 1 e809: b225 + b297 <= 1 e810: b222 + b298 <= 1 e811: b223 + b299 <= 1 e812: b224 + b300 <= 1 e813: b225 + b301 <= 1 e814: b222 + b302 <= 1 e815: b223 + b303 <= 1 e816: b224 + b304 <= 1 e817: b225 + b305 <= 1 e818: b222 + b306 <= 1 e819: b223 + b307 <= 1 e820: b224 + b308 <= 1 e821: b225 + b309 <= 1 e822: b222 + b310 <= 1 e823: b223 + b311 <= 1 e824: b224 + b312 <= 1 e825: b225 + b313 <= 1 e826: b242 + b294 <= 1 e827: b243 + b295 <= 1 e828: b244 + b296 <= 1 e829: b245 + b297 <= 1 e830: b242 + b298 <= 1 e831: b243 + b299 <= 1 e832: b244 + b300 <= 1 e833: b245 + b301 <= 1 e834: b242 + b302 <= 1 e835: b243 + b303 <= 1 e836: b244 + b304 <= 1 e837: b245 + b305 <= 1 e838: b242 + b306 <= 1 e839: b243 + b307 <= 1 e840: b244 + b308 <= 1 e841: b245 + b309 <= 1 e842: b242 + b310 <= 1 e843: b243 + b311 <= 1 e844: b244 + b312 <= 1 e845: b245 + b313 <= 1 e846: b262 + b294 <= 1 e847: b263 + b295 <= 1 e848: b264 + b296 <= 1 e849: b265 + b297 <= 1 e850: b262 + b298 <= 1 e851: b263 + b299 <= 1 e852: b264 + b300 <= 1 e853: b265 + b301 <= 1 e854: b262 + b302 <= 1 e855: b263 + b303 <= 1 e856: b264 + b304 <= 1 e857: b265 + b305 <= 1 e858: b262 + b306 <= 1 e859: b263 + b307 <= 1 e860: b264 + b308 <= 1 e861: b265 + b309 <= 1 e862: b262 + b310 <= 1 e863: b263 + b311 <= 1 e864: b264 + b312 <= 1 e865: b265 + b313 <= 1 e866: b282 + b294 <= 1 e867: b283 + b295 <= 1 e868: b284 + b296 <= 1 e869: b285 + b297 <= 1 e870: b282 + b298 <= 1 e871: b283 + b299 <= 1 e872: b284 + b300 <= 1 e873: b285 + b301 <= 1 e874: b282 + b302 <= 1 e875: b283 + b303 <= 1 e876: b284 + b304 <= 1 e877: b285 + b305 <= 1 e878: b282 + b306 <= 1 e879: b283 + b307 <= 1 e880: b284 + b308 <= 1 e881: b285 + b309 <= 1 e882: b282 + b310 <= 1 e883: b283 + b311 <= 1 e884: b284 + b312 <= 1 e885: b285 + b313 <= 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 <= 1 x139 <= 1 x140 <= 1 x141 <= 1 x142 <= 1 x143 <= 1 x144 <= 1 x145 <= 1 x146 <= 1 x147 <= 1 x148 <= 1 x149 <= 1 x150 <= 1 x151 <= 1 x152 <= 1 x153 <= 1 x154 <= 1 x155 <= 1 x156 <= 1 x157 <= 1 x158 <= 2 x159 <= 2 x160 <= 2 x161 <= 2 x162 <= 2 x163 <= 2 x164 <= 2 x165 <= 2 x166 <= 2 x167 <= 2 x168 <= 2 x169 <= 2 x170 <= 2 x171 <= 2 x172 <= 2 x173 <= 2 x174 <= 2 x175 <= 2 x176 <= 2 x177 <= 2 x178 <= 2 x179 <= 2 x180 <= 2 x181 <= 2 x182 <= 2 x183 <= 2 x184 <= 2 x185 <= 2 x186 <= 2 x187 <= 2 x188 <= 2 x189 <= 2 Binary 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 b274 b275 b276 b277 b278 b279 b280 b281 b282 b283 b284 b285 b286 b287 b288 b289 b290 b291 b292 b293 b294 b295 b296 b297 b298 b299 b300 b301 b302 b303 b304 b305 b306 b307 b308 b309 b310 b311 b312 b313 End