\ 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