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