\ No. vars=300 No. cons=200 Density= 0.05 Range of costs= 1 to 10 \ Name of file is pk32w.lp Maximize obj: 10 x1 + 2 x2 + 8 x3 + 7 x4 + 10 x5 + 5 x6 + 7 x7 + 3 x8 + 7 x9 + 2 x10 + 2 x11 + 2 x12 + 5 x13 + 7 x14 + 4 x15 + 4 x16 + 9 x17 + 7 x18 + 4 x19 + 5 x20 + 9 x21 + 7 x22 + 5 x23 + 4 x24 + 8 x25 + 3 x26 + 7 x27 + 3 x28 + 2 x29 + 4 x30 + 7 x31 + 6 x32 + 4 x33 + 5 x34 + 1 x35 + 7 x36 + 7 x37 + 5 x38 + 8 x39 + 3 x40 + 1 x41 + 5 x42 + 9 x43 + 2 x44 + 3 x45 + 1 x46 + 5 x47 + 2 x48 + 9 x49 + 1 x50 + 7 x51 + 8 x52 + 6 x53 + 10 x54 + 5 x55 + 4 x56 + 5 x57 + 4 x58 + 8 x59 + 2 x60 + 9 x61 + 9 x62 + 6 x63 + 8 x64 + 2 x65 + 2 x66 + 8 x67 + 4 x68 + 3 x69 + 4 x70 + 7 x71 + 10 x72 + 9 x73 + 2 x74 + 10 x75 + 3 x76 + 9 x77 + 5 x78 + 9 x79 + 7 x80 + 8 x81 + 2 x82 + 1 x83 + 3 x84 + 5 x85 + 8 x86 + 2 x87 + 8 x88 + 1 x89 + 2 x90 + 4 x91 + 7 x92 + 8 x93 + 8 x94 + 9 x95 + 5 x96 + 1 x97 + 7 x98 + 3 x99 + 6 x100 + 5 x101 + 10 x102 + 8 x103 + 3 x104 + 7 x105 + 10 x106 + 2 x107 + 5 x108 + 5 x109 + 9 x110 + 9 x111 + 4 x112 + 2 x113 + 8 x114 + 6 x115 + 8 x116 + 8 x117 + 5 x118 + 9 x119 + 8 x120 + 3 x121 + 9 x122 + 5 x123 + 8 x124 + 5 x125 + 5 x126 + 9 x127 + 2 x128 + 5 x129 + 3 x130 + 6 x131 + 1 x132 + 5 x133 + 2 x134 + 1 x135 + 9 x136 + 3 x137 + 7 x138 + 8 x139 + 3 x140 + 3 x141 + 7 x142 + 2 x143 + 7 x144 + 1 x145 + 4 x146 + 3 x147 + 3 x148 + 5 x149 + 5 x150 + 7 x151 + 2 x152 + 1 x153 + 2 x154 + 6 x155 + 10 x156 + 4 x157 + 10 x158 + 9 x159 + 10 x160 + 8 x161 + 9 x162 + 9 x163 + 9 x164 + 7 x165 + 9 x166 + 6 x167 + 7 x168 + 2 x169 + 3 x170 + 10 x171 + 3 x172 + 4 x173 + 7 x174 + 7 x175 + 5 x176 + 10 x177 + 6 x178 + 1 x179 + 9 x180 + 1 x181 + 8 x182 + 6 x183 + 8 x184 + 5 x185 + 5 x186 + 2 x187 + 7 x188 + 3 x189 + 7 x190 + 2 x191 + 9 x192 + 5 x193 + 7 x194 + 3 x195 + 8 x196 + 8 x197 + 6 x198 + 9 x199 + 5 x200 + 7 x201 + 7 x202 + 3 x203 + 2 x204 + 10 x205 + 3 x206 + 5 x207 + 6 x208 + 9 x209 + 4 x210 + 6 x211 + 7 x212 + 2 x213 + 5 x214 + 2 x215 + 5 x216 + 8 x217 + 7 x218 + 7 x219 + 9 x220 + 7 x221 + 8 x222 + 2 x223 + 6 x224 + 7 x225 + 5 x226 + 5 x227 + 10 x228 + 1 x229 + 9 x230 + 6 x231 + 5 x232 + 10 x233 + 3 x234 + 9 x235 + 4 x236 + 8 x237 + 3 x238 + 4 x239 + 9 x240 + 4 x241 + 2 x242 + 7 x243 + 7 x244 + 2 x245 + 6 x246 + 8 x247 + 8 x248 + 6 x249 + 5 x250 + 9 x251 + 8 x252 + 7 x253 + 5 x254 + 9 x255 + 2 x256 + 7 x257 + 8 x258 + 2 x259 + 2 x260 + 7 x261 + 3 x262 + 5 x263 + 5 x264 + 7 x265 + 8 x266 + 9 x267 + 2 x268 + 9 x269 + 9 x270 + 4 x271 + 7 x272 + 10 x273 + 6 x274 + 8 x275 + 1 x276 + 3 x277 + 9 x278 + 8 x279 + 5 x280 + 4 x281 + 7 x282 + 7 x283 + 2 x284 + 8 x285 + 8 x286 + 1 x287 + 6 x288 + 8 x289 + 3 x290 + 9 x291 + 6 x292 + 5 x293 + 1 x294 + 9 x295 + 8 x296 + 2 x297 + 2 x298 + 8 x299 + 5 x300 Subject To c1: x25 + x50 + x65 + x87 + x140 + x190 + x200 + x213 + x237 + x248 <= 1 c2: x8 + x18 + x24 + x29 + x43 + x44 + x46 + x50 + x71 + x73 + x76 + x89 + x101 + x111 + x120 + x168 + x173 + x177 + x201 + x213 + x242 + x282 + x286 <= 1 c3: x10 + x17 + x31 + x67 + x81 + x161 + x169 + x258 + x276 + x283 + x293 + x294 <= 1 c4: x8 + x25 + x27 + x56 + x61 + x70 + x79 + x80 + x86 + x94 + x99 + x134 + x139 + x148 + x194 + x202 + x213 + x232 + x233 + x245 + x260 + x271 + x274 + x294 <= 1 c5: x6 + x7 + x44 + x46 + x51 + x53 + x104 + x136 + x139 + x141 + x214 + x218 + x244 + x265 + x271 + x272 <= 1 c6: x24 + x27 + x34 + x45 + x67 + x82 + x85 + x118 + x122 + x183 + x190 + x191 + x220 + x223 + x231 + x237 + x270 + x280 + x289 <= 1 c7: x83 + x84 + x88 + x102 + x106 + x108 + x194 + x196 + x204 + x209 + x246 + x277 + x289 + x290 <= 1 c8: x62 + x65 + x66 + x98 + x108 + x119 + x126 + x129 + x166 + x211 + x216 + x240 + x266 + x268 + x271 <= 1 c9: x40 + x42 + x57 + x117 + x125 + x130 + x200 + x211 + x213 + x231 + x246 + x286 + x293 <= 1 c10: x2 + x25 + x47 + x52 + x56 + x107 + x150 + x153 + x164 + x219 + x253 + x259 <= 1 c11: x8 + x15 + x25 + x28 + x40 + x70 + x76 + x81 + x107 + x134 + x148 + x175 + x178 + x184 + x189 + x192 + x196 + x210 + x227 + x253 + x271 <= 1 c12: x35 + x74 + x106 + x118 + x146 + x179 + x218 + x246 <= 1 c13: x1 + x38 + x45 + x48 + x57 + x60 + x65 + x103 + x109 + x124 + x138 + x149 + x153 + x170 + x176 + x194 + x255 + x289 + x294 <= 1 c14: x39 + x42 + x45 + x46 + x75 + x85 + x111 + x200 + x202 + x237 + x252 + x272 + x286 <= 1 c15: x3 + x38 + x50 + x67 + x71 + x120 + x183 + x188 + x201 + x228 + x270 <= 1 c16: x7 + x31 + x32 + x66 + x79 + x83 + x105 + x125 + x146 + x149 + x165 + x166 + x167 + x188 + x193 + x199 + x203 + x205 + x221 + x236 + x256 + x259 + x277 + x280 + x281 + x288 + x291 <= 1 c17: x20 + x40 + x45 + x47 + x74 + x93 + x101 + x126 + x128 + x132 + x136 + x178 + x181 + x208 + x226 + x245 + x272 + x275 + x297 <= 1 c18: x4 + x104 + x138 + x143 + x165 + x167 + x175 + x200 + x209 <= 1 c19: x4 + x25 + x54 + x61 + x66 + x70 + x77 + x111 + x115 + x128 + x166 + x186 + x188 + x229 + x244 + x266 + x281 <= 1 c20: x5 + x15 + x56 + x64 + x73 + x106 + x162 + x169 + x187 + x192 + x202 + x210 + x219 + x236 + x277 + x282 + x285 <= 1 c21: x1 + x4 + x9 + x80 + x91 + x95 + x110 + x137 + x145 + x174 + x232 + x255 + x272 + x277 + x281 + x288 + x296 <= 1 c22: x1 + x69 + x76 + x79 + x88 + x136 + x146 + x149 + x157 + x162 + x166 + x167 + x183 + x205 + x223 + x226 + x228 + x259 + x296 <= 1 c23: x13 + x52 + x78 + x118 + x136 + x146 + x171 + x188 + x269 + x279 + x286 + x288 + x291 <= 1 c24: x12 + x33 + x57 + x60 + x65 + x66 + x87 + x115 + x129 + x160 + x164 + x186 + x189 + x192 + x200 + x205 + x251 + x285 <= 1 c25: x12 + x18 + x43 + x71 + x77 + x79 + x98 + x111 + x127 + x143 + x205 + x208 + x215 + x226 + x246 + x261 + x269 + x278 + x293 <= 1 c26: x45 + x54 + x57 + x63 + x99 + x114 + x128 + x132 + x141 + x165 + x170 + x200 + x267 + x287 <= 1 c27: x37 + x51 + x76 + x106 + x111 + x116 + x143 + x181 + x182 + x205 + x214 + x278 + x289 <= 1 c28: x8 + x26 + x49 + x77 + x121 + x132 + x160 + x230 + x232 + x278 <= 1 c29: x7 + x34 + x68 + x112 + x119 + x132 + x136 + x138 + x144 + x151 + x182 + x193 + x195 + x222 + x236 + x262 <= 1 c30: x19 + x49 + x99 + x105 + x119 + x155 + x166 + x172 + x215 + x231 + x257 <= 1 c31: x3 + x13 + x116 + x121 + x126 + x146 + x162 + x184 + x218 + x227 + x240 + x241 + x244 + x249 + x253 + x262 + x275 + x291 <= 1 c32: x6 + x15 + x24 + x41 + x46 + x47 + x59 + x66 + x76 + x87 + x117 + x128 + x147 + x151 + x172 + x177 + x179 + x180 + x192 + x198 + x281 + x283 + x299 <= 1 c33: x50 + x57 + x62 + x65 + x171 + x188 + x230 + x276 <= 1 c34: x60 + x95 + x107 + x117 + x140 + x169 + x175 + x223 + x247 + x282 <= 1 c35: x25 + x91 + x199 + x212 + x224 + x228 + x239 + x262 + x272 <= 1 c36: x34 + x56 + x67 + x78 + x84 + x116 + x133 + x157 + x181 + x189 + x222 + x273 + x285 + x296 <= 1 c37: x4 + x28 + x38 + x43 + x76 + x80 + x112 + x135 + x147 + x160 + x204 + x215 + x223 + x231 + x259 + x268 + x269 + x276 + x281 + x290 <= 1 c38: x40 + x46 + x73 + x77 + x100 + x111 + x114 + x160 + x167 + x179 + x188 + x204 + x216 + x261 + x271 <= 1 c39: x35 + x43 + x59 + x64 + x65 + x95 + x100 + x170 + x183 + x214 + x220 + x239 + x242 + x272 + x280 + x286 + x297 + x300 <= 1 c40: x5 + x8 + x13 + x17 + x31 + x104 + x105 + x108 + x138 + x147 + x154 + x173 + x196 + x197 + x223 + x235 + x294 + x297 <= 1 c41: x8 + x34 + x61 + x68 + x87 + x94 + x120 + x154 + x183 + x232 + x294 <= 1 c42: x13 + x92 + x111 + x157 + x162 + x192 + x263 + x268 + x269 + x270 + x279 + x296 <= 1 c43: x77 + x87 + x100 + x130 + x133 + x168 + x187 + x209 <= 1 c44: x39 + x44 + x87 + x115 + x163 + x181 + x190 + x209 + x240 + x247 + x273 + x274 <= 1 c45: x29 + x31 + x40 + x60 + x112 + x123 + x138 + x186 + x188 + x220 + x229 + x246 + x265 + x291 <= 1 c46: x6 + x22 + x49 + x89 + x104 + x139 + x168 + x180 + x198 + x216 + x224 + x257 + x289 + x294 + x295 <= 1 c47: x42 + x76 + x103 + x130 + x197 + x207 + x208 + x211 + x215 + x235 + x243 + x272 + x290 <= 1 c48: x2 + x9 + x45 + x74 + x93 + x119 + x131 + x147 + x156 + x224 + x268 + x271 + x293 <= 1 c49: x38 + x74 + x76 + x95 + x110 + x111 <= 1 c50: x6 + x8 + x19 + x37 + x96 + x102 + x105 + x129 + x130 + x132 + x137 + x146 + x171 + x183 + x248 + x295 <= 1 c51: x7 + x13 + x28 + x29 + x36 + x49 + x74 + x79 + x81 + x91 + x109 + x124 + x171 + x189 + x216 + x270 + x279 + x298 + x299 <= 1 c52: x60 + x121 + x173 + x174 + x223 + x236 + x286 <= 1 c53: x118 + x135 + x167 + x195 + x202 + x205 + x211 + x233 + x263 + x288 + x289 + x294 <= 1 c54: x9 + x17 + x50 + x52 + x179 + x187 + x206 + x234 + x243 + x250 + x257 + x259 + x276 + x298 <= 1 c55: x21 + x43 + x53 + x54 + x77 + x97 + x109 + x140 + x144 + x154 + x167 + x189 + x237 + x247 + x256 + x258 + x267 + x269 + x274 + x276 + x293 <= 1 c56: x35 + x37 + x41 + x54 + x136 + x166 + x187 + x196 + x218 + x229 + x232 + x274 + x279 <= 1 c57: x39 + x53 + x73 + x77 + x92 + x124 + x143 + x174 + x176 + x192 + x236 <= 1 c58: x20 + x45 + x123 + x135 + x141 + x208 + x218 + x228 + x247 + x263 + x281 <= 1 c59: x17 + x47 + x84 + x150 + x169 + x172 + x209 + x263 + x276 + x280 <= 1 c60: x1 + x37 + x55 + x112 + x128 + x133 + x197 + x206 + x211 + x223 + x252 + x259 + x283 + x295 <= 1 c61: x10 + x44 + x92 + x105 + x124 + x126 + x201 + x205 + x237 + x261 + x264 + x297 <= 1 c62: x6 + x7 + x10 + x42 + x80 + x90 + x120 + x168 + x172 + x215 + x216 + x282 + x283 + x286 + x296 <= 1 c63: x26 + x32 + x55 + x56 + x66 + x77 + x164 + x187 + x230 + x266 + x281 <= 1 c64: x7 + x12 + x46 + x57 + x100 + x110 + x141 + x145 + x148 + x185 + x191 + x194 + x211 + x265 + x280 + x285 <= 1 c65: x9 + x53 + x60 + x63 + x76 + x130 + x139 + x155 + x173 + x186 + x243 + x249 + x250 + x259 + x269 + x289 + x295 <= 1 c66: x7 + x27 + x42 + x45 + x49 + x55 + x104 + x168 + x198 + x222 + x272 <= 1 c67: x3 + x13 + x15 + x25 + x28 + x31 + x51 + x109 + x132 + x189 + x193 + x206 + x244 + x251 + x273 + x299 <= 1 c68: x12 + x21 + x30 + x41 + x43 + x90 + x122 + x126 + x172 + x190 + x215 + x218 + x224 + x235 + x256 + x274 + x292 <= 1 c69: x20 + x33 + x59 + x66 + x100 + x106 + x135 + x137 + x140 + x147 + x162 + x173 + x187 + x202 + x206 + x217 + x228 + x233 + x247 + x250 <= 1 c70: x4 + x51 + x104 + x109 + x113 + x186 + x187 + x196 + x228 + x230 + x240 + x254 + x281 + x288 + x293 + x295 <= 1 c71: x5 + x42 + x51 + x92 + x94 + x131 + x149 + x165 + x178 + x184 + x195 + x207 + x208 + x239 + x251 + x287 <= 1 c72: x1 + x33 + x66 + x105 + x116 + x129 + x142 + x171 + x190 + x268 + x270 + x273 + x286 <= 1 c73: x9 + x26 + x48 + x86 + x97 + x107 + x118 + x139 + x184 + x191 + x204 + x217 + x231 + x275 + x288 + x296 <= 1 c74: x5 + x9 + x97 + x118 + x128 + x171 + x173 + x179 + x202 + x213 + x216 + x225 + x233 + x263 + x272 + x274 <= 1 c75: x70 + x86 + x141 + x146 + x155 + x203 + x204 + x215 + x217 + x242 + x249 + x284 + x286 <= 1 c76: x3 + x19 + x20 + x53 + x70 + x109 + x116 + x132 + x137 + x156 + x172 + x175 + x180 + x196 + x207 + x211 + x231 + x248 + x272 + x275 + x276 <= 1 c77: x5 + x60 + x64 + x89 + x91 + x100 + x111 + x163 + x173 + x181 + x200 + x201 + x217 + x218 + x229 + x265 + x278 + x299 <= 1 c78: x7 + x20 + x33 + x38 + x65 + x80 + x84 + x90 + x101 + x107 + x115 + x128 + x132 + x137 + x141 + x169 + x206 + x216 + x228 + x242 + x274 + x297 + x300 <= 1 c79: x10 + x25 + x32 + x36 + x78 + x98 + x133 + x162 + x168 + x172 + x180 + x182 + x205 + x219 + x267 + x268 + x269 + x294 + x298 <= 1 c80: x14 + x35 + x37 + x44 + x71 + x144 + x156 + x162 + x176 + x225 + x261 + x282 <= 1 c81: x16 + x76 + x93 + x147 + x162 + x169 + x170 + x186 + x187 + x204 + x213 + x240 + x295 + x296 <= 1 c82: x17 + x39 + x42 + x44 + x60 + x72 + x80 + x85 + x93 + x174 + x224 + x233 + x238 + x253 + x256 <= 1 c83: x13 + x14 + x23 + x89 + x96 + x115 + x143 + x147 + x171 + x193 + x198 + x228 + x256 + x284 <= 1 c84: x10 + x28 + x79 + x85 + x116 + x132 + x148 + x156 + x195 + x196 + x208 + x209 + x220 + x231 + x236 + x272 + x274 <= 1 c85: x14 + x22 + x33 + x48 + x52 + x68 + x69 + x95 + x126 + x146 + x150 + x154 + x167 + x172 + x197 + x234 + x252 + x269 + x279 + x297 <= 1 c86: x5 + x7 + x29 + x52 + x65 + x70 + x81 + x89 + x105 + x134 + x161 + x187 + x204 + x216 + x285 <= 1 c87: x5 + x32 + x45 + x51 + x69 + x79 + x100 + x107 + x142 + x145 + x174 + x228 + x236 + x255 + x282 <= 1 c88: x8 + x26 + x30 + x85 + x138 + x164 + x192 + x210 + x218 + x220 + x229 + x235 + x243 + x252 + x281 + x300 <= 1 c89: x3 + x5 + x14 + x23 + x47 + x49 + x50 + x65 + x74 + x75 + x106 + x125 + x140 + x145 + x210 + x221 + x234 + x256 + x266 <= 1 c90: x8 + x15 + x21 + x44 + x84 + x102 + x110 + x136 + x141 + x146 + x193 + x214 + x220 + x221 + x231 + x242 + x246 <= 1 c91: x17 + x24 + x41 + x49 + x54 + x94 + x113 + x123 + x168 + x192 + x196 + x242 + x253 + x259 + x268 <= 1 c92: x9 + x27 + x92 + x118 + x128 + x151 + x160 + x168 + x184 + x207 + x209 + x234 + x241 + x242 + x243 + x245 + x260 + x283 + x297 <= 1 c93: x1 + x19 + x54 + x55 + x92 + x95 + x131 + x196 + x235 + x277 + x287 + x293 <= 1 c94: x74 + x75 + x163 + x206 + x224 + x232 + x234 + x241 + x250 + x255 + x258 + x269 + x283 + x295 <= 1 c95: x9 + x16 + x27 + x33 + x74 + x79 + x89 + x93 + x98 + x102 + x118 + x134 + x141 + x209 + x211 + x217 + x230 + x281 + x286 + x297 + x298 <= 1 c96: x1 + x27 + x29 + x33 + x38 + x69 + x73 + x83 + x85 + x108 + x121 + x135 + x151 + x164 + x186 + x190 + x191 + x210 + x212 + x285 <= 1 c97: x6 + x78 + x79 + x81 + x107 + x109 + x126 + x145 + x148 + x152 + x162 + x195 + x212 + x219 + x228 + x244 + x260 + x266 + x284 <= 1 c98: x1 + x20 + x28 + x29 + x38 + x49 + x73 + x120 + x125 + x195 + x197 + x201 + x218 + x219 + x260 + x272 + x276 + x281 + x298 <= 1 c99: x11 + x19 + x30 + x103 + x107 + x129 + x152 + x171 + x173 + x175 + x196 + x234 + x242 + x265 <= 1 c100: x100 + x114 + x122 + x127 + x155 + x163 + x170 + x197 + x214 + x217 + x228 + x251 + x252 + x264 + x266 + x285 <= 1 c101: x17 + x66 + x86 + x90 + x97 + x102 + x134 + x196 + x204 + x216 + x284 + x290 <= 1 c102: x6 + x35 + x60 + x128 + x138 + x191 + x206 + x214 + x230 + x255 + x285 + x290 <= 1 c103: x37 + x55 + x57 + x64 + x71 + x87 + x110 + x124 + x153 + x171 + x174 + x180 + x201 + x234 + x247 + x257 + x266 + x268 + x294 + x295 + x296 + x297 <= 1 c104: x21 + x51 + x78 + x96 + x113 + x139 + x152 + x178 + x211 + x220 + x247 + x255 <= 1 c105: x7 + x14 + x52 + x55 + x86 + x121 + x130 + x155 + x173 + x188 + x195 + x210 + x253 + x286 <= 1 c106: x22 + x23 + x74 + x80 + x108 + x133 + x152 + x201 + x271 + x291 + x292 <= 1 c107: x9 + x40 + x44 + x53 + x54 + x94 + x144 + x148 + x174 + x193 + x214 + x216 + x228 + x234 + x260 + x268 + x278 + x279 <= 1 c108: x17 + x20 + x54 + x59 + x66 + x71 + x75 + x82 + x99 + x112 + x128 + x139 + x151 + x197 + x206 <= 1 c109: x2 + x10 + x83 + x95 + x112 + x121 + x133 + x154 + x156 + x177 + x181 + x213 + x235 + x262 + x274 + x278 + x290 <= 1 c110: x20 + x40 + x133 + x134 + x191 + x217 + x227 + x293 <= 1 c111: x3 + x5 + x24 + x27 + x57 + x67 + x77 + x130 + x150 + x151 + x157 + x159 + x161 + x162 + x171 + x189 + x196 + x212 + x239 + x240 + x250 + x280 + x299 <= 1 c112: x15 + x58 + x105 + x109 + x144 + x146 + x151 + x219 + x237 + x241 + x259 + x281 <= 1 c113: x20 + x38 + x43 + x46 + x93 + x123 + x155 + x168 + x188 + x195 + x225 + x241 + x243 + x256 + x259 + x263 + x278 + x282 <= 1 c114: x14 + x76 + x87 + x107 + x109 + x137 + x153 + x185 + x259 + x286 + x287 <= 1 c115: x59 + x82 + x116 + x121 + x133 + x154 + x159 + x180 + x183 + x193 + x228 + x236 + x257 + x264 + x273 + x292 <= 1 c116: x18 + x28 + x54 + x75 + x93 + x171 + x183 + x192 + x193 + x250 <= 1 c117: x25 + x28 + x35 + x44 + x46 + x64 + x83 + x156 + x174 + x178 + x181 + x204 + x205 + x225 + x235 + x240 + x251 + x274 + x287 <= 1 c118: x3 + x23 + x35 + x49 + x78 + x84 + x92 + x94 + x125 + x141 + x149 + x166 + x188 + x206 + x272 <= 1 c119: x4 + x44 + x66 + x80 + x81 + x93 + x99 + x104 + x118 + x131 + x138 + x162 + x214 + x217 + x232 + x233 + x241 + x263 + x290 + x294 <= 1 c120: x15 + x17 + x72 + x84 + x101 + x130 + x136 + x144 + x156 + x178 + x181 + x220 + x221 <= 1 c121: x5 + x7 + x32 + x53 + x69 + x74 + x111 + x132 + x141 + x146 + x147 + x160 + x199 + x217 + x245 + x249 + x264 + x270 + x283 + x285 <= 1 c122: x13 + x24 + x57 + x58 + x73 + x122 + x141 + x160 + x161 + x182 + x185 + x193 + x207 + x225 + x247 + x250 + x268 + x271 <= 1 c123: x4 + x11 + x25 + x28 + x91 + x96 + x105 + x110 + x113 + x123 + x126 + x145 + x166 + x168 + x269 <= 1 c124: x79 + x143 + x177 + x179 + x206 + x215 + x245 + x288 <= 1 c125: x35 + x100 + x116 + x120 + x121 + x128 + x160 + x177 + x222 + x237 + x244 <= 1 c126: x12 + x15 + x16 + x34 + x87 + x133 + x134 + x140 + x158 + x184 + x211 + x212 + x229 + x236 + x266 + x296 <= 1 c127: x17 + x21 + x26 + x31 + x64 + x66 + x79 + x81 + x82 + x85 + x113 + x134 + x140 + x158 + x171 + x179 + x184 + x188 + x192 + x215 + x252 + x279 + x284 + x294 <= 1 c128: x20 + x29 + x50 + x75 + x78 + x119 + x126 + x140 + x141 + x153 + x168 + x226 + x235 + x286 <= 1 c129: x9 + x16 + x35 + x49 + x62 + x144 + x156 + x202 + x221 + x251 + x276 + x277 + x293 <= 1 c130: x71 + x72 + x75 + x148 + x149 + x154 + x185 + x191 + x201 + x223 + x240 + x252 + x288 <= 1 c131: x12 + x16 + x25 + x29 + x35 + x36 + x42 + x51 + x68 + x123 + x135 + x146 + x163 + x197 + x242 + x274 <= 1 c132: x1 + x30 + x34 + x42 + x50 + x73 + x94 + x172 + x192 + x213 + x222 + x255 + x261 + x264 + x270 <= 1 c133: x21 + x27 + x53 + x74 + x122 + x142 + x179 + x205 + x230 + x257 + x270 + x278 + x279 <= 1 c134: x2 + x36 + x48 + x56 + x102 + x161 + x162 + x187 + x247 + x253 + x266 + x295 <= 1 c135: x12 + x20 + x37 + x52 + x55 + x66 + x76 + x100 + x102 + x105 + x123 + x139 + x197 + x237 + x241 + x244 + x253 + x290 <= 1 c136: x4 + x7 + x12 + x14 + x54 + x135 + x142 + x191 + x250 + x254 + x260 + x268 + x297 <= 1 c137: x13 + x67 + x78 + x91 + x96 + x131 + x164 + x167 + x189 + x223 + x226 + x228 + x264 + x300 <= 1 c138: x1 + x7 + x25 + x31 + x44 + x150 + x242 + x264 + x268 <= 1 c139: x15 + x16 + x19 + x34 + x41 + x71 + x75 + x82 + x104 + x114 + x117 + x128 + x131 + x158 + x195 + x209 + x210 + x229 + x233 + x241 + x274 <= 1 c140: x6 + x13 + x20 + x22 + x29 + x56 + x88 + x97 + x103 + x157 + x171 + x201 + x212 + x240 + x255 + x294 <= 1 c141: x19 + x40 + x50 + x78 + x91 + x110 + x120 + x129 + x131 + x169 + x191 + x216 + x226 + x284 + x288 <= 1 c142: x43 + x129 + x213 + x241 + x259 + x272 + x278 + x289 <= 1 c143: x23 + x52 + x61 + x83 + x87 + x120 + x125 + x156 + x183 + x188 + x220 + x224 + x225 + x252 + x268 <= 1 c144: x8 + x14 + x18 + x48 + x49 + x66 + x67 + x92 + x102 + x104 + x108 + x119 + x121 + x139 + x166 + x179 + x205 + x227 + x232 + x233 + x254 + x287 + x298 <= 1 c145: x49 + x74 + x105 + x106 + x108 + x126 + x129 + x146 + x183 + x226 + x247 + x272 <= 1 c146: x24 + x98 + x112 + x141 + x156 + x179 + x219 + x264 + x265 <= 1 c147: x14 + x46 + x80 + x120 + x145 + x156 + x157 + x158 + x248 + x267 + x300 <= 1 c148: x16 + x42 + x72 + x81 + x156 + x158 + x184 + x202 + x226 + x245 + x251 + x255 + x268 + x293 <= 1 c149: x9 + x16 + x64 + x73 + x99 + x107 + x115 + x168 + x184 + x245 + x255 + x297 <= 1 c150: x21 + x98 + x156 + x184 + x205 + x210 + x283 + x286 + x291 <= 1 c151: x3 + x35 + x37 + x52 + x69 + x73 + x88 + x116 + x132 + x133 + x143 + x148 + x157 + x179 + x207 + x221 + x241 + x282 <= 1 c152: x27 + x34 + x39 + x41 + x77 + x84 + x86 + x127 + x128 + x148 + x151 + x157 + x176 + x208 + x231 + x244 + x255 + x260 + x294 <= 1 c153: x14 + x19 + x25 + x32 + x45 + x106 + x109 + x123 + x130 + x181 + x191 + x194 + x211 + x225 + x264 + x285 + x288 <= 1 c154: x9 + x15 + x22 + x41 + x63 + x67 + x85 + x94 + x97 + x101 + x118 + x135 + x138 + x142 + x143 + x156 + x183 + x184 + x222 + x229 + x239 + x291 + x294 + x298 + x299 <= 1 c155: x9 + x10 + x47 + x151 + x166 + x245 + x270 <= 1 c156: x2 + x23 + x27 + x38 + x48 + x71 + x115 + x135 + x141 + x154 + x193 + x208 + x215 + x222 + x261 + x271 + x283 + x296 <= 1 c157: x10 + x20 + x21 + x42 + x62 + x86 + x88 + x94 + x101 + x112 + x119 + x159 + x187 + x193 + x194 + x212 + x237 + x276 <= 1 c158: x2 + x30 + x54 + x58 + x159 + x190 + x198 + x210 + x218 + x244 + x259 + x283 <= 1 c159: x7 + x31 + x47 + x55 + x75 + x109 + x137 + x139 + x152 + x172 + x228 + x232 + x237 + x277 <= 1 c160: x78 + x95 + x101 + x111 + x139 + x152 + x161 + x165 + x184 + x194 + x246 + x273 + x288 + x298 <= 1 c161: x18 + x47 + x89 + x91 + x130 + x140 + x165 + x252 + x255 + x284 <= 1 c162: x6 + x23 + x33 + x73 + x100 + x102 + x138 + x140 + x150 + x219 + x243 + x246 + x256 + x261 + x268 + x271 + x295 <= 1 c163: x49 + x104 + x126 + x132 + x141 + x214 + x242 + x262 + x269 <= 1 c164: x21 + x65 + x105 + x108 + x117 + x120 + x187 + x203 + x214 + x220 + x232 + x238 + x242 + x269 + x281 + x286 + x292 + x299 <= 1 c165: x2 + x15 + x18 + x22 + x53 + x96 + x100 + x103 + x139 + x154 + x172 + x187 + x191 + x199 + x210 + x230 + x259 + x289 <= 1 c166: x13 + x14 + x45 + x95 + x107 + x210 + x260 + x264 + x283 + x300 <= 1 c167: x9 + x20 + x24 + x38 + x43 + x86 + x194 + x201 + x238 <= 1 c168: x38 + x44 + x56 + x65 + x70 + x82 + x193 + x196 + x229 + x232 + x241 + x247 + x281 + x296 + x299 <= 1 c169: x4 + x9 + x45 + x71 + x88 + x110 + x111 + x118 + x182 + x199 + x234 + x235 + x265 + x275 + x290 <= 1 c170: x62 + x68 + x69 + x74 + x78 + x85 + x87 + x96 + x102 + x119 + x139 + x156 + x200 + x202 + x269 + x272 + x275 + x294 <= 1 c171: x85 + x92 + x121 + x141 + x157 + x168 + x180 <= 1 c172: x9 + x41 + x65 + x102 + x138 + x141 + x148 + x191 + x200 + x201 + x207 + x208 + x209 + x278 <= 1 c173: x34 + x46 + x65 + x77 + x125 + x155 + x199 + x240 + x250 + x281 <= 1 c174: x16 + x20 + x30 + x33 + x37 + x63 + x81 + x106 + x147 + x153 + x156 + x188 + x206 + x239 + x251 + x262 + x275 + x281 + x292 + x297 <= 1 c175: x10 + x12 + x21 + x60 + x104 + x122 + x128 + x132 + x135 + x140 + x161 + x184 + x185 + x248 + x262 + x272 <= 1 c176: x85 + x105 + x137 + x139 + x149 + x186 + x201 + x226 + x259 + x289 + x296 <= 1 c177: x5 + x49 + x80 + x88 + x144 + x167 + x204 + x226 + x235 + x244 + x282 + x286 <= 1 c178: x3 + x13 + x46 + x65 + x99 + x120 + x125 + x127 + x155 + x166 + x171 + x175 + x195 + x204 + x222 + x272 + x277 + x280 + x291 <= 1 c179: x79 + x80 + x86 + x90 + x107 + x182 + x185 + x186 + x191 + x195 + x207 + x211 + x221 + x275 + x283 <= 1 c180: x98 + x144 + x169 + x205 + x217 + x223 + x226 + x263 + x284 <= 1 c181: x9 + x16 + x51 + x59 + x68 + x80 + x82 + x106 + x124 + x126 + x169 + x221 + x251 + x260 + x267 + x278 + x290 <= 1 c182: x43 + x73 + x88 + x93 + x129 + x148 + x161 + x168 + x170 + x183 + x184 + x222 + x230 + x274 + x289 <= 1 c183: x7 + x12 + x16 + x19 + x51 + x97 + x102 + x127 + x147 + x202 + x213 + x235 + x293 <= 1 c184: x13 + x25 + x31 + x51 + x55 + x68 + x70 + x86 + x90 + x103 + x159 + x177 + x185 + x189 + x196 + x202 + x211 + x219 + x290 <= 1 c185: x3 + x71 + x115 + x127 + x154 + x182 + x186 + x202 + x216 + x251 + x290 <= 1 c186: x149 + x214 + x247 + x264 + x280 + x297 <= 1 c187: x46 + x102 + x119 + x143 + x147 + x160 + x169 + x190 + x277 <= 1 c188: x6 + x10 + x27 + x31 + x36 + x104 + x126 + x127 + x133 + x138 + x144 + x197 + x210 + x236 + x248 + x267 + x287 + x294 <= 1 c189: x14 + x44 + x47 + x68 + x90 + x101 + x120 + x147 + x161 + x193 + x199 + x217 + x222 + x229 + x242 + x257 + x268 + x288 <= 1 c190: x1 + x40 + x54 + x57 + x70 + x81 + x104 + x125 + x129 + x195 + x199 + x215 + x255 + x274 + x282 + x287 <= 1 c191: x3 + x16 + x38 + x42 + x48 + x53 + x69 + x79 + x82 + x102 + x112 + x127 + x135 + x136 + x189 + x205 + x263 <= 1 c192: x93 + x114 + x135 + x154 + x177 + x225 + x244 + x252 + x254 + x261 + x283 + x300 <= 1 c193: x1 + x30 + x56 + x64 + x73 + x80 + x87 + x94 + x106 + x153 + x171 + x188 + x205 + x213 + x235 + x240 + x248 + x253 + x267 + x281 <= 1 c194: x27 + x32 + x57 + x106 + x131 + x157 + x163 + x173 + x194 + x244 + x271 <= 1 c195: x58 + x62 + x91 + x125 + x143 + x152 + x153 + x171 + x214 + x238 + x239 + x248 + x262 + x266 + x271 + x272 + x297 <= 1 c196: x9 + x37 + x55 + x66 + x81 + x130 + x193 + x207 + x211 + x213 + x214 + x237 + x239 + x252 + x268 + x270 <= 1 c197: x9 + x42 + x58 + x60 + x102 + x131 + x135 + x149 + x161 + x185 + x205 + x210 + x221 + x253 + x272 <= 1 c198: x5 + x8 + x11 + x21 + x39 + x66 + x68 + x76 + x120 + x157 + x177 + x208 + x278 + x285 <= 1 c199: x26 + x32 + x41 + x55 + x78 + x85 + x177 + x180 + x184 + x193 + x195 + x202 + x273 + x299 <= 1 c200: x3 + x44 + x45 + x47 + x60 + x63 + x92 + x110 + x116 + x121 + x130 + x132 + x134 + x137 + x143 + x152 + x154 + x228 + x237 + x263 + x280 + x289 <= 1 INTEGERS x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 End