\ No. vars=200 No. cons=200 Density= 0.05 Range of costs= 1 to 10 \ Name of file is pk22w.lp Maximize obj: 5 x1 + 5 x2 + 8 x3 + 1 x4 + 3 x5 + 6 x6 + 3 x7 + 7 x8 + 1 x9 + 3 x10 + 4 x11 + 6 x12 + 4 x13 + 5 x14 + 8 x15 + 3 x16 + 4 x17 + 8 x18 + 5 x19 + 2 x20 + 10 x21 + 6 x22 + 7 x23 + 2 x24 + 4 x25 + 7 x26 + 4 x27 + 5 x28 + 8 x29 + 9 x30 + 5 x31 + 7 x32 + 9 x33 + 8 x34 + 6 x35 + 2 x36 + 5 x37 + 7 x38 + 9 x39 + 1 x40 + 5 x41 + 3 x42 + 9 x43 + 9 x44 + 5 x45 + 3 x46 + 10 x47 + 10 x48 + 5 x49 + 1 x50 + 7 x51 + 10 x52 + 3 x53 + 4 x54 + 9 x55 + 4 x56 + 8 x57 + 4 x58 + 7 x59 + 4 x60 + 7 x61 + 7 x62 + 2 x63 + 7 x64 + 8 x65 + 5 x66 + 6 x67 + 7 x68 + 4 x69 + 5 x70 + 8 x71 + 4 x72 + 6 x73 + 6 x74 + 2 x75 + 2 x76 + 3 x77 + 5 x78 + 6 x79 + 4 x80 + 5 x81 + 5 x82 + 3 x83 + 7 x84 + 8 x85 + 7 x86 + 2 x87 + 9 x88 + 6 x89 + 1 x90 + 7 x91 + 5 x92 + 3 x93 + 3 x94 + 9 x95 + 2 x96 + 4 x97 + 5 x98 + 2 x99 + 8 x100 + 9 x101 + 5 x102 + 6 x103 + 5 x104 + 5 x105 + 6 x106 + 6 x107 + 4 x108 + 2 x109 + 3 x110 + 5 x111 + 3 x112 + 6 x113 + 6 x114 + 5 x115 + 2 x116 + 8 x117 + 6 x118 + 8 x119 + 8 x120 + 6 x121 + 7 x122 + 4 x123 + 5 x124 + 6 x125 + 4 x126 + 4 x127 + 9 x128 + 4 x129 + 6 x130 + 10 x131 + 7 x132 + 3 x133 + 1 x134 + 7 x135 + 1 x136 + 10 x137 + 5 x138 + 7 x139 + 2 x140 + 8 x141 + 4 x142 + 4 x143 + 8 x144 + 9 x145 + 4 x146 + 4 x147 + 2 x148 + 7 x149 + 6 x150 + 1 x151 + 8 x152 + 8 x153 + 8 x154 + 7 x155 + 5 x156 + 2 x157 + 5 x158 + 9 x159 + 6 x160 + 2 x161 + 8 x162 + 7 x163 + 10 x164 + 2 x165 + 5 x166 + 5 x167 + 10 x168 + 8 x169 + 4 x170 + 7 x171 + 3 x172 + 4 x173 + 2 x174 + 7 x175 + 7 x176 + 8 x177 + 4 x178 + 4 x179 + 10 x180 + 7 x181 + 4 x182 + 4 x183 + 8 x184 + 2 x185 + 6 x186 + 5 x187 + 9 x188 + 6 x189 + 4 x190 + 4 x191 + 2 x192 + 7 x193 + 10 x194 + 8 x195 + 9 x196 + 7 x197 + 10 x198 + 2 x199 + 9 x200 Subject To c1: x1 + x19 + x84 + x89 + x127 + x129 + x133 + x164 + x168 + x174 <= 1 c2: x4 + x7 + x13 + x29 + x49 + x99 + x105 + x110 + x120 + x136 + x138 + x142 + x163 + x173 <= 1 c3: x3 + x17 + x46 + x59 + x79 + x86 + x114 + x118 + x134 + x147 <= 1 c4: x19 + x47 + x72 + x91 + x105 + x107 + x111 + x116 + x158 + x159 + x172 + x181 <= 1 c5: x13 + x14 + x43 + x56 + x78 + x109 + x117 + x136 + x142 + x155 + x157 + x199 <= 1 c6: x12 + x14 + x42 + x44 + x156 + x160 + x198 <= 1 c7: x31 + x64 + x75 + x91 + x125 + x184 <= 1 c8: x59 + x96 + x98 + x102 + x195 <= 1 c9: x11 + x24 + x41 + x63 + x80 + x84 + x107 + x117 + x119 + x146 + x169 + x175 <= 1 c10: x2 + x10 + x57 + x63 + x67 + x71 + x79 + x93 + x111 <= 1 c11: x20 + x33 + x42 + x47 + x90 + x94 + x97 + x169 + x174 <= 1 c12: x31 + x123 + x141 + x142 + x152 + x182 + x186 <= 1 c13: x21 + x32 + x86 + x132 + x142 + x153 + x181 + x183 <= 1 c14: x7 + x22 + x70 + x77 + x86 + x116 + x126 + x131 + x151 + x160 + x172 + x193 + x199 <= 1 c15: x20 + x69 + x94 + x101 + x152 + x157 + x179 + x184 <= 1 c16: x14 + x22 + x36 + x39 + x52 + x66 + x102 + x103 + x161 + x190 <= 1 c17: x4 + x9 + x15 + x24 + x61 + x81 + x97 + x103 + x147 + x166 <= 1 c18: x6 + x19 + x21 + x38 + x42 + x58 + x59 + x82 + x83 + x87 + x95 + x107 + x114 + x124 + x143 + x146 + x174 + x193 <= 1 c19: x31 + x59 + x64 + x79 + x88 + x92 + x96 + x105 + x114 + x134 + x140 + x171 + x180 + x181 + x186 <= 1 c20: x4 + x11 + x13 + x28 + x57 + x65 + x66 + x89 + x108 + x157 + x168 + x170 <= 1 c21: x7 + x41 + x48 + x66 + x68 + x77 + x112 + x123 + x132 + x176 + x181 <= 1 c22: x25 + x41 + x77 + x99 + x101 + x129 + x140 + x150 + x164 + x167 + x173 <= 1 c23: x36 + x50 + x58 + x67 + x88 + x109 + x122 + x135 + x139 + x140 + x146 + x161 + x177 <= 1 c24: x3 + x32 + x35 + x42 + x72 + x137 + x171 + x199 <= 1 c25: x31 + x56 + x80 + x120 + x149 + x152 + x198 <= 1 c26: x53 + x61 + x67 + x92 + x104 + x107 + x116 + x123 + x148 + x171 <= 1 c27: x58 + x61 + x73 + x75 + x84 + x103 + x126 + x130 + x135 <= 1 c28: x21 + x24 + x26 + x29 + x32 + x36 + x61 + x65 + x115 <= 1 c29: x21 + x66 + x116 + x139 + x185 <= 1 c30: x4 + x10 + x37 + x45 + x46 + x58 + x118 + x120 + x133 + x136 + x149 + x162 + x167 + x170 <= 1 c31: x11 + x46 + x77 + x92 + x102 + x122 + x143 + x178 + x189 <= 1 c32: x5 + x8 + x9 + x43 + x85 + x178 <= 1 c33: x3 + x10 + x68 + x77 + x137 + x148 <= 1 c34: x69 + x76 + x77 + x81 + x87 + x96 + x100 + x106 + x123 + x129 + x159 + x183 <= 1 c35: x3 + x10 + x21 + x38 + x86 + x108 + x117 + x149 + x152 + x163 <= 1 c36: x70 + x71 + x95 + x145 + x162 + x169 + x173 <= 1 c37: x6 + x15 + x20 + x36 + x65 + x66 + x71 + x88 + x123 + x138 + x155 + x172 + x183 + x198 <= 1 c38: x13 + x36 + x44 + x57 + x160 + x162 + x182 + x191 + x199 <= 1 c39: x15 + x94 + x111 + x116 + x117 + x124 + x130 + x171 <= 1 c40: x13 + x22 + x34 + x55 + x62 + x67 + x69 + x105 + x118 + x170 <= 1 c41: x1 + x10 + x30 + x62 + x117 + x133 + x187 <= 1 c42: x5 + x11 + x17 + x67 + x74 + x93 + x94 + x107 + x132 + x200 <= 1 c43: x8 + x22 + x62 + x104 + x108 + x158 + x170 + x191 <= 1 c44: x2 + x27 + x84 + x134 + x165 <= 1 c45: x9 + x13 + x40 + x42 + x48 + x67 + x93 + x111 + x119 + x122 + x135 + x153 + x167 + x184 + x194 <= 1 c46: x38 + x39 + x63 + x164 + x183 + x195 <= 1 c47: x23 + x69 + x92 + x119 + x143 + x173 + x179 <= 1 c48: x76 + x81 + x118 + x130 + x152 + x155 + x159 + x161 + x164 + x165 + x179 + x184 + x200 <= 1 c49: x35 + x40 + x55 + x72 + x73 + x76 + x82 + x111 + x129 + x132 + x187 <= 1 c50: x41 + x52 + x95 + x103 + x115 + x164 + x182 + x190 + x198 <= 1 c51: x30 + x60 + x84 + x95 + x141 + x171 + x173 + x175 + x188 + x189 + x198 + x199 <= 1 c52: x22 + x81 + x87 + x89 + x113 + x132 + x145 + x155 + x169 + x196 <= 1 c53: x48 + x49 + x61 + x63 + x88 + x97 + x109 + x134 + x149 + x160 + x164 <= 1 c54: x16 + x20 + x31 + x39 + x74 + x75 + x112 + x127 + x135 + x146 + x149 + x164 + x175 + x180 <= 1 c55: x108 + x116 + x148 + x152 + x160 <= 1 c56: x3 + x8 + x23 + x30 + x35 + x61 + x63 + x70 + x76 + x100 + x108 + x114 + x117 + x168 + x178 + x187 <= 1 c57: x1 + x20 + x30 + x32 + x90 + x101 + x123 + x142 + x157 + x171 + x177 + x192 + x195 <= 1 c58: x29 + x52 + x115 + x142 + x156 + x161 + x187 <= 1 c59: x15 + x16 + x26 + x32 + x33 + x38 + x39 + x57 + x70 + x90 + x98 + x139 + x161 <= 1 c60: x2 + x24 + x31 + x57 + x87 + x102 <= 1 c61: x12 + x29 + x35 + x41 + x48 + x74 + x102 + x123 + x147 + x149 + x176 + x200 <= 1 c62: x5 + x27 + x30 + x118 + x187 <= 1 c63: x33 + x84 + x101 + x105 + x114 + x153 <= 1 c64: x8 + x17 + x52 + x60 + x70 + x94 + x106 + x143 + x172 + x188 <= 1 c65: x32 + x50 + x61 + x69 + x73 + x121 + x145 + x161 + x169 + x186 <= 1 c66: x17 + x30 + x47 + x49 + x69 + x72 + x93 + x148 + x173 + x181 <= 1 c67: x39 + x75 + x113 + x115 + x126 + x164 <= 1 c68: x16 + x19 + x26 + x38 + x96 + x121 + x137 + x140 <= 1 c69: x11 + x52 + x78 + x85 + x113 + x149 + x152 + x164 + x200 <= 1 c70: x11 + x25 + x26 + x35 + x44 + x48 + x57 + x117 + x147 + x156 + x171 + x183 + x189 <= 1 c71: x26 + x27 + x38 + x45 + x62 + x87 + x119 + x154 + x185 + x186 + x196 <= 1 c72: x11 + x39 + x47 + x52 + x74 + x76 + x122 + x134 + x143 + x147 + x174 + x185 + x198 <= 1 c73: x28 + x36 + x56 + x59 + x64 + x84 + x93 + x144 + x156 + x176 <= 1 c74: x57 + x65 + x68 + x70 + x77 + x110 + x180 + x184 + x188 <= 1 c75: x4 + x34 + x46 + x59 + x61 + x74 + x106 + x118 + x143 + x167 + x197 <= 1 c76: x1 + x44 + x60 + x69 + x83 + x84 + x98 + x106 + x148 + x181 <= 1 c77: x3 + x4 + x34 + x37 + x44 + x49 + x61 + x94 + x104 + x162 <= 1 c78: x13 + x33 + x40 + x56 + x67 + x115 + x129 + x158 + x184 <= 1 c79: x18 + x21 + x56 + x58 + x75 + x107 + x133 + x155 + x158 + x168 + x173 + x200 <= 1 c80: x4 + x54 + x65 + x69 + x100 + x129 + x161 + x187 <= 1 c81: x43 + x81 + x87 + x89 + x93 + x94 + x98 + x103 + x108 + x132 + x159 + x186 <= 1 c82: x22 + x33 + x77 + x100 + x122 + x138 + x156 <= 1 c83: x16 + x18 + x26 + x30 + x44 + x70 + x72 + x73 + x75 + x82 + x166 + x171 + x193 <= 1 c84: x30 + x44 + x62 + x73 + x86 + x108 + x133 + x197 <= 1 c85: x26 + x27 + x39 + x47 + x57 + x59 + x97 + x107 + x119 + x125 + x134 + x143 + x145 + x146 + x152 <= 1 c86: x5 + x8 + x46 + x66 + x72 + x83 + x107 + x112 + x146 + x147 + x155 <= 1 c87: x14 + x16 + x39 + x47 + x56 + x67 + x96 + x105 + x192 <= 1 c88: x9 + x67 + x75 + x80 + x84 + x107 + x108 + x112 + x129 + x140 + x152 + x163 + x171 + x181 <= 1 c89: x5 + x24 + x49 + x75 + x84 + x93 + x146 + x155 + x161 <= 1 c90: x11 + x33 + x47 + x68 + x79 + x117 + x134 + x139 + x143 + x146 + x158 + x171 + x200 <= 1 c91: x53 + x68 + x88 + x131 + x160 + x161 + x165 + x197 <= 1 c92: x3 + x37 + x47 + x59 + x74 + x80 + x123 + x128 + x152 + x154 + x157 + x169 + x183 + x192 <= 1 c93: x6 + x17 + x32 + x54 + x78 + x80 + x133 + x149 + x154 + x195 <= 1 c94: x16 + x85 + x106 + x124 + x147 + x174 + x198 <= 1 c95: x21 + x53 + x100 + x104 + x129 + x153 + x171 + x175 <= 1 c96: x8 + x69 + x80 + x121 + x123 + x136 + x160 <= 1 c97: x19 + x23 + x27 + x40 + x55 + x59 + x77 + x81 + x101 + x121 <= 1 c98: x5 + x10 + x14 + x71 + x73 + x90 + x150 + x168 + x177 + x196 + x198 <= 1 c99: x29 + x57 + x89 + x127 + x149 + x156 + x163 + x167 + x169 <= 1 c100: x13 + x22 + x24 + x42 + x50 + x74 + x100 + x112 + x190 + x199 <= 1 c101: x15 + x35 + x105 + x139 + x190 <= 1 c102: x9 + x40 + x49 + x58 + x80 + x89 + x96 + x115 + x138 + x157 <= 1 c103: x2 + x26 + x49 + x71 + x98 + x119 + x120 + x123 + x131 + x132 + x184 <= 1 c104: x54 + x57 + x106 + x169 + x198 <= 1 c105: x7 + x21 + x27 + x69 + x75 + x103 + x135 + x158 + x166 + x169 + x182 + x200 <= 1 c106: x18 + x30 + x48 + x81 + x84 + x93 + x136 + x187 + x198 <= 1 c107: x10 + x22 + x35 + x51 + x63 + x77 + x79 + x100 + x105 + x106 + x169 + x192 + x199 <= 1 c108: x4 + x11 + x32 + x37 + x38 + x46 + x82 + x83 + x126 + x129 + x177 + x183 <= 1 c109: x18 + x31 + x61 + x112 + x117 + x132 + x139 + x198 <= 1 c110: x12 + x72 + x103 + x108 + x122 + x129 + x177 + x186 + x189 + x192 <= 1 c111: x20 + x22 + x27 + x39 + x41 + x62 + x63 + x67 + x72 + x106 + x115 + x138 + x156 + x185 + x193 <= 1 c112: x25 + x26 + x39 + x56 + x99 + x104 + x146 + x155 + x157 + x161 + x178 <= 1 c113: x21 + x33 + x35 + x37 + x81 + x89 + x99 + x120 + x171 + x192 + x196 + x200 <= 1 c114: x37 + x44 + x69 + x102 + x106 + x131 + x164 + x166 + x185 <= 1 c115: x13 + x43 + x49 + x109 + x132 + x136 + x181 + x182 <= 1 c116: x20 + x46 + x50 + x65 + x83 + x104 + x124 + x133 + x175 <= 1 c117: x8 + x84 + x87 + x93 + x100 + x105 + x142 + x147 + x148 + x164 + x168 + x174 + x180 + x199 <= 1 c118: x15 + x33 + x38 + x64 + x87 + x98 + x123 + x153 <= 1 c119: x34 + x94 + x111 + x123 + x132 + x147 + x175 + x178 <= 1 c120: x4 + x59 + x89 + x90 + x100 + x108 + x139 + x157 + x176 <= 1 c121: x14 + x40 + x41 + x50 + x51 + x56 + x78 + x88 + x93 + x97 + x103 + x107 + x134 + x136 + x159 + x162 + x167 + x172 + x176 + x180 + x183 <= 1 c122: x1 + x29 + x40 + x68 + x97 + x109 + x117 + x118 + x141 <= 1 c123: x40 + x55 + x89 + x91 + x132 + x142 + x155 + x161 + x180 + x195 <= 1 c124: x3 + x12 + x27 + x78 + x141 + x153 + x154 + x158 + x167 + x188 + x195 <= 1 c125: x8 + x30 + x43 + x56 + x86 + x91 + x94 + x115 + x118 + x140 + x164 + x166 + x168 + x170 + x178 <= 1 c126: x18 + x36 + x42 + x65 + x71 + x76 + x175 + x199 <= 1 c127: x22 + x34 + x55 + x63 + x77 + x108 + x114 + x148 + x157 + x185 + x195 <= 1 c128: x123 + x124 + x133 + x143 + x147 + x156 + x157 + x162 + x164 + x168 + x170 + x173 + x190 <= 1 c129: x13 + x29 + x41 + x61 + x74 + x79 + x86 + x92 + x120 + x128 + x165 <= 1 c130: x1 + x22 + x25 + x26 + x30 + x35 + x38 + x67 + x74 + x80 + x88 + x89 + x90 + x100 + x111 + x121 + x152 + x173 + x180 + x184 + x188 + x189 <= 1 c131: x15 + x27 + x32 + x34 + x74 + x78 + x92 + x93 + x151 + x157 + x183 + x185 + x186 + x187 + x194 <= 1 c132: x8 + x21 + x28 + x36 + x49 + x80 + x85 + x178 <= 1 c133: x1 + x16 + x29 + x52 + x107 + x114 + x157 + x167 + x173 + x198 <= 1 c134: x18 + x28 + x31 + x35 + x52 + x76 + x82 + x109 + x115 + x125 + x128 <= 1 c135: x29 + x54 + x138 + x153 + x168 + x180 + x183 <= 1 c136: x1 + x4 + x48 + x49 + x123 + x128 + x171 + x178 + x194 + x199 <= 1 c137: x7 + x30 + x43 + x56 + x89 + x91 + x102 + x110 + x112 + x114 + x118 + x166 + x168 + x200 <= 1 c138: x5 + x15 + x16 + x63 + x66 + x75 + x82 + x102 + x109 + x127 + x144 + x150 + x157 <= 1 c139: x31 + x62 + x120 + x122 + x173 + x191 + x198 <= 1 c140: x29 + x30 + x51 + x59 + x117 + x127 + x139 + x191 <= 1 c141: x62 + x87 + x88 + x104 + x114 + x115 + x131 + x182 + x184 + x190 + x195 <= 1 c142: x8 + x26 + x27 + x37 + x41 + x76 + x87 + x90 + x125 + x139 + x141 + x143 + x165 + x200 <= 1 c143: x9 + x81 + x97 + x104 + x119 + x124 + x187 + x197 <= 1 c144: x42 + x79 + x94 + x101 + x119 + x136 + x156 + x183 <= 1 c145: x1 + x29 + x31 + x78 + x98 + x124 + x148 + x185 <= 1 c146: x59 + x78 + x101 + x166 + x167 + x192 <= 1 c147: x9 + x23 + x50 + x73 + x78 + x111 + x123 + x178 <= 1 c148: x35 + x58 + x92 + x97 + x112 + x118 + x130 + x134 + x191 + x196 <= 1 c149: x7 + x21 + x23 + x78 + x99 + x101 + x113 + x132 + x156 + x169 <= 1 c150: x10 + x29 + x37 + x58 + x74 + x79 + x97 + x129 + x132 + x146 + x161 + x196 <= 1 c151: x16 + x23 + x74 + x75 + x78 + x109 + x135 + x140 + x148 + x164 + x194 + x199 <= 1 c152: x16 + x24 + x33 + x40 + x52 + x65 + x82 + x92 + x122 + x123 + x124 + x137 + x172 + x186 + x193 + x200 <= 1 c153: x30 + x46 + x95 + x117 + x119 + x130 + x158 + x189 + x191 <= 1 c154: x2 + x12 + x17 + x55 + x57 + x66 + x69 + x76 + x79 + x87 + x89 + x91 + x105 + x119 + x124 + x125 + x165 + x181 <= 1 c155: x36 + x85 + x115 + x117 + x160 + x161 + x184 + x199 <= 1 c156: x10 + x29 + x42 + x57 + x68 + x76 + x81 + x90 + x158 + x169 + x177 <= 1 c157: x1 + x17 + x23 + x32 + x53 + x82 + x92 + x94 + x95 + x107 + x115 + x127 + x134 + x141 + x157 + x159 + x198 <= 1 c158: x18 + x21 + x67 + x77 + x78 + x106 + x122 + x137 + x140 + x143 + x164 + x185 <= 1 c159: x13 + x35 + x37 + x40 + x42 + x63 + x65 + x73 + x99 + x169 + x175 + x182 + x183 <= 1 c160: x18 + x61 + x66 + x74 + x106 + x129 + x139 + x154 + x155 + x160 + x167 + x173 + x178 + x192 + x195 <= 1 c161: x28 + x47 + x53 + x67 + x71 + x79 + x85 + x128 + x129 + x160 + x179 <= 1 c162: x38 + x73 + x81 + x82 + x86 + x89 + x120 + x125 + x138 + x144 + x150 + x189 <= 1 c163: x5 + x29 + x31 + x74 + x106 + x123 + x125 + x127 + x147 + x178 + x184 + x195 + x199 <= 1 c164: x23 + x81 + x84 + x93 + x95 + x118 + x121 + x149 + x187 + x193 <= 1 c165: x31 + x35 + x56 + x74 + x88 + x135 + x145 + x147 <= 1 c166: x15 + x17 + x22 + x51 + x114 + x136 + x198 <= 1 c167: x10 + x34 + x58 + x61 + x72 + x81 + x83 + x90 + x131 + x136 + x139 + x157 + x159 + x179 <= 1 c168: x3 + x5 + x33 + x38 + x94 + x146 + x152 + x158 + x159 <= 1 c169: x2 + x4 + x14 + x39 + x49 + x112 + x118 + x144 + x153 + x156 + x192 <= 1 c170: x19 + x46 + x77 + x82 + x92 + x97 + x99 + x110 + x120 + x126 + x155 + x168 + x170 + x195 <= 1 c171: x17 + x56 + x65 + x69 + x84 + x106 + x127 + x134 + x148 + x154 + x157 + x174 + x193 <= 1 c172: x5 + x20 + x29 + x47 + x64 + x109 + x117 + x146 + x193 <= 1 c173: x21 + x88 + x107 + x129 + x160 + x167 + x180 + x189 <= 1 c174: x7 + x9 + x23 + x32 + x41 + x51 + x69 + x71 + x88 + x91 + x122 + x136 + x175 <= 1 c175: x15 + x49 + x70 + x96 + x101 + x118 + x140 + x148 + x149 + x153 + x194 <= 1 c176: x43 + x71 + x77 + x91 + x105 + x107 + x135 + x139 + x182 + x184 + x194 + x199 <= 1 c177: x22 + x38 + x60 + x78 + x98 + x124 + x136 + x139 + x149 + x186 + x196 <= 1 c178: x13 + x26 + x33 + x59 + x70 + x81 + x93 + x105 + x123 + x189 + x196 <= 1 c179: x1 + x11 + x30 + x41 + x52 + x54 + x64 + x90 + x104 + x111 + x120 + x126 + x159 + x172 + x179 + x191 <= 1 c180: x10 + x100 + x103 + x129 + x130 + x132 + x143 + x164 + x177 + x187 + x196 <= 1 c181: x7 + x23 + x45 + x124 + x140 + x184 <= 1 c182: x12 + x40 + x43 + x48 + x63 + x99 + x133 + x137 + x154 + x162 + x176 <= 1 c183: x10 + x22 + x38 + x51 + x81 + x119 + x189 <= 1 c184: x4 + x6 + x32 + x88 + x104 + x140 + x173 + x175 + x192 + x200 <= 1 c185: x12 + x25 + x43 + x51 + x59 + x99 + x145 + x152 + x164 <= 1 c186: x32 + x38 + x89 + x90 + x141 + x186 + x189 <= 1 c187: x8 + x17 + x61 + x85 + x93 + x95 + x115 + x151 + x174 + x189 <= 1 c188: x9 + x21 + x24 + x28 + x79 + x86 + x99 + x100 + x114 + x151 + x156 + x162 + x163 + x190 <= 1 c189: x14 + x17 + x42 + x46 + x57 + x69 + x111 + x124 + x168 + x178 <= 1 c190: x25 + x27 + x35 + x55 + x96 + x106 + x147 + x156 + x178 <= 1 c191: x3 + x7 + x42 + x53 + x79 + x81 <= 1 c192: x14 + x20 + x42 + x63 + x74 + x75 + x111 + x112 + x123 + x138 + x144 + x156 + x166 + x192 <= 1 c193: x11 + x20 + x38 + x41 + x100 + x110 + x122 + x163 + x184 + x189 <= 1 c194: x85 + x91 + x109 + x117 + x160 <= 1 c195: x40 + x42 + x51 + x55 + x63 + x93 + x115 + x127 + x130 + x150 + x167 + x177 + x178 + x180 + x187 <= 1 c196: x43 + x91 + x93 + x101 + x128 + x154 <= 1 c197: x14 + x25 + x58 + x90 + x111 + x119 + x120 + x139 + x188 <= 1 c198: x32 + x67 + x115 + x145 + x148 + x186 + x189 <= 1 c199: x39 + x51 + x56 + x84 + x106 + x116 + x136 + x153 + x158 + x170 + x173 + x177 + x179 <= 1 c200: x6 + x32 + x54 + x66 + x95 + x129 + x182 <= 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 End