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