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