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