\ No. vars=400 No. cons=200 Density= 0.05 Range of costs= 1 to 1
\ Name of file is pk42c.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:   x1 + x18 + x135 + x211 + x251 + x296 + x303 + x320 + x337 + x352
 + x361 + x362 + x371 + x383 + x400  <= 1
c2:   x27 + x44 + x63 + x131 + x190 + x210 + x286 + x303 + x307 + x309
 + x330 + x351 + x366 + x378 + x388  <= 1
c3:   x38 + x64 + x66 + x114 + x123 + x147 + x152 + x167 + x203 + x218
 + x241 + x277 + x337 + x358 + x367 + x377 + x386 + x397 + x398  <= 1
c4:   x8 + x19 + x29 + x50 + x62 + x88 + x152 + x188 + x197 + x201
 + x218 + x219 + x233 + x247 + x264 + x285 + x301 + x319 + x325 + x333
 + x369 + x377 + x380 + x381 + x395 + x396 + x400  <= 1
c5:   x61 + x88 + x96 + x107 + x125 + x164 + x168 + x174 + x196 + x202
 + x236 + x249 + x270 + x304 + x337 + x378 + x379 + x392 + x397  <= 1
c6:   x35 + x41 + x49 + x52 + x66 + x115 + x131 + x154 + x216 + x231
 + x280 + x281 + x297 + x298 + x323 + x326 + x342 + x348 + x366 + x373
 + x382  <= 1
c7:   x37 + x77 + x93 + x111 + x146 + x173 + x187 + x198 + x218 + x231
 + x238 + x241 + x261 + x282 + x314 + x362 + x365 + x398  <= 1
c8:   x4 + x54 + x61 + x77 + x96 + x109 + x157 + x180 + x187 + x212
 + x257 + x260 + x279 + x289 + x340 + x357 + x361  <= 1
c9:   x27 + x39 + x50 + x101 + x127 + x134 + x179 + x183 + x185 + x186
 + x187 + x215 + x232 + x261 + x270 + x283 + x288 + x293 + x318 + x397  <= 1
c10:   x18 + x35 + x42 + x55 + x57 + x174 + x178 + x192 + x201 + x215
 + x224 + x236 + x250 + x308 + x312 + x315 + x323 + x337 + x338 + x344  <= 1
c11:   x16 + x48 + x68 + x75 + x167 + x168 + x191 + x205 + x225 + x251
 + x295 + x335 + x362 + x397  <= 1
c12:   x26 + x96 + x112 + x146 + x155 + x187 + x224 + x241 + x256 + x257
 + x282 + x286 + x301 + x335 + x336 + x379 + x385  <= 1
c13:   x8 + x20 + x24 + x37 + x62 + x73 + x74 + x105 + x120 + x154
 + x173 + x204 + x237 + x238 + x245 + x295 + x387  <= 1
c14:   x28 + x40 + x42 + x44 + x47 + x48 + x52 + x73 + x92 + x98
 + x103 + x108 + x116 + x139 + x174 + x197 + x201 + x230 + x241 + x286
 + x327 + x337 + x371 + x392  <= 1
c15:   x6 + x14 + x18 + x22 + x25 + x67 + x76 + x81 + x83 + x122
 + x130 + x139 + x163 + x204 + x205 + x222 + x242 + x264 + x299 + x327
 + x328 + x333 + x344 + x345 + x361 + x369 + x396  <= 1
c16:   x12 + x62 + x68 + x74 + x84 + x99 + x102 + x110 + x171 + x190
 + x215 + x253 + x274 + x357 + x379 + x389  <= 1
c17:   x14 + x56 + x65 + x115 + x125 + x138 + x151 + x249 + x250 + x255
 + x285 + x289 + x294 + x295 + x298 + x324 + x359 + x375  <= 1
c18:   x4 + x8 + x41 + x51 + x56 + x60 + x82 + x83 + x122 + x123
 + x128 + x175 + x198 + x216 + x232 + x245 + x265 + x304 + x306 + x310
 + x316 + x341 + x346 + x396 + x399  <= 1
c19:   x40 + x60 + x103 + x107 + x126 + x152 + x161 + x202 + x206 + x207
 + x210 + x232 + x244 + x251 + x267 + x276 + x277 + x292 + x301 + x314
 + x352 + x357  <= 1
c20:   x76 + x96 + x108 + x123 + x146 + x152 + x205 + x233 + x245 + x271
 + x284 + x307 + x310 + x333 + x338 + x351 + x356 + x378  <= 1
c21:   x2 + x41 + x68 + x120 + x144 + x147 + x164 + x167 + x171 + x198
 + x203 + x218 + x229 + x243 + x251 + x287 + x288 + x302 + x342  <= 1
c22:   x16 + x26 + x46 + x145 + x171 + x177 + x180 + x218 + x240 + x249
 + x301 + x348 + x356 + x360 + x368  <= 1
c23:   x17 + x78 + x93 + x95 + x109 + x128 + x132 + x177 + x190 + x192
 + x259 + x268 + x270 + x317 + x318 + x354 + x396  <= 1
c24:   x4 + x17 + x22 + x23 + x62 + x70 + x99 + x130 + x142 + x149
 + x158 + x212 + x234 + x237 + x239 + x248 + x253 + x267 + x275 + x278
 + x289 + x290 + x307 + x346 + x348 + x373 + x375 + x398  <= 1
c25:   x2 + x53 + x161 + x184 + x190 + x244 + x252 + x258 + x279 + x291
 + x316 + x318 + x321 + x328 + x343 + x354 + x367  <= 1
c26:   x6 + x64 + x112 + x133 + x142 + x157 + x200 + x217 + x270 + x273
 + x282 + x289 + x295 + x332 + x378  <= 1
c27:   x13 + x17 + x24 + x39 + x91 + x94 + x96 + x97 + x111 + x157
 + x162 + x177 + x201 + x205 + x223 + x228 + x253 + x266 + x270 + x324
 + x346 + x347 + x355 + x365  <= 1
c28:   x12 + x16 + x21 + x46 + x75 + x97 + x136 + x158 + x176 + x188
 + x204 + x234 + x235 + x241 + x249 + x250 + x251 + x278 + x289 + x334
 + x353 + x393  <= 1
c29:   x10 + x36 + x40 + x58 + x70 + x94 + x119 + x132 + x147 + x151
 + x152 + x170 + x181 + x201 + x211 + x218 + x224 + x227 + x251 + x258
 + x268 + x278 + x326 + x344 + x371 + x373 + x376  <= 1
c30:   x13 + x16 + x36 + x43 + x73 + x113 + x124 + x183 + x204 + x268
 + x275 + x288 + x316 + x368  <= 1
c31:   x22 + x24 + x29 + x75 + x87 + x121 + x162 + x169 + x186 + x196
 + x199 + x217 + x259 + x266 + x276 + x281 + x294 + x346 + x347 + x355
 + x400  <= 1
c32:   x12 + x14 + x15 + x18 + x30 + x46 + x48 + x109 + x163 + x181
 + x195 + x200 + x230 + x240 + x245 + x258 + x323 + x370 + x373 + x376
 + x377 + x393  <= 1
c33:   x4 + x14 + x31 + x57 + x71 + x103 + x105 + x113 + x164 + x198
 + x207 + x210 + x286 + x292 + x298 + x331 + x349 + x355  <= 1
c34:   x11 + x14 + x54 + x65 + x80 + x88 + x104 + x150 + x162 + x184
 + x189 + x193 + x199 + x217 + x259 + x263 + x264 + x279 + x362 + x383  <= 1
c35:   x16 + x39 + x43 + x76 + x77 + x84 + x130 + x132 + x139 + x160
 + x165 + x236 + x248 + x283 + x287 + x316 + x326 + x351 + x396 + x399  <= 1
c36:   x13 + x32 + x43 + x44 + x45 + x51 + x61 + x80 + x83 + x84
 + x124 + x180 + x193 + x196 + x226 + x286 + x342 + x344 + x348 + x351
 + x362  <= 1
c37:   x23 + x29 + x58 + x72 + x118 + x151 + x155 + x183 + x189 + x209
 + x265 + x273 + x275 + x276 + x295 + x341 + x346 + x349 + x388 + x398  <= 1
c38:   x19 + x40 + x68 + x124 + x132 + x158 + x176 + x261 + x298 + x314
 + x319 + x329 + x362 + x363 + x365 + x379 + x394  <= 1
c39:   x17 + x20 + x26 + x32 + x35 + x79 + x83 + x99 + x156 + x166
 + x172 + x181 + x201 + x225 + x245 + x265 + x267 + x271 + x278 + x287
 + x352 + x400  <= 1
c40:   x13 + x37 + x61 + x67 + x71 + x88 + x147 + x149 + x152 + x156
 + x232 + x235 + x248 + x271 + x327 + x357 + x390 + x395  <= 1
c41:   x8 + x34 + x45 + x54 + x111 + x121 + x141 + x188 + x194 + x197
 + x214 + x251 + x259 + x262 + x307 + x309 + x317 + x320 + x326 + x392  <= 1
c42:   x48 + x56 + x57 + x68 + x69 + x82 + x116 + x134 + x138 + x142
 + x166 + x179 + x195 + x203 + x216 + x221 + x223 + x226 + x238 + x239
 + x241 + x243 + x245 + x281 + x323 + x326 + x370 + x374 + x388  <= 1
c43:   x36 + x39 + x40 + x48 + x87 + x89 + x131 + x151 + x170 + x173
 + x250 + x261 + x272 + x300 + x308 + x324 + x326 + x344 + x351 + x373  <= 1
c44:   x14 + x28 + x35 + x55 + x99 + x123 + x168 + x173 + x182 + x189
 + x200 + x209 + x210 + x211 + x213 + x214 + x232 + x246 + x274 + x304
 + x306 + x316 + x327 + x346 + x347 + x367 + x381 + x398  <= 1
c45:   x108 + x109 + x136 + x146 + x151 + x175 + x177 + x179 + x198 + x210
 + x277 + x290 + x293 + x295 + x302 + x306 + x325 + x336 + x352 + x380
 + x399 + x400  <= 1
c46:   x3 + x7 + x11 + x38 + x152 + x205 + x224 + x228 + x230 + x248
 + x262 + x276 + x328 + x341 + x384  <= 1
c47:   x14 + x17 + x58 + x66 + x100 + x166 + x201 + x210 + x213 + x224
 + x226 + x230 + x262 + x306 + x307 + x332 + x354 + x363 + x368 + x384
 + x393  <= 1
c48:   x62 + x80 + x165 + x167 + x170 + x183 + x211 + x217 + x218 + x285
 + x353 + x374 + x376 + x382  <= 1
c49:   x1 + x15 + x20 + x105 + x106 + x115 + x137 + x183 + x185 + x228
 + x255 + x293 + x301 + x315 + x342 + x394  <= 1
c50:   x3 + x10 + x22 + x72 + x99 + x106 + x138 + x157 + x169 + x190
 + x204 + x227 + x244 + x261 + x305 + x309 + x322 + x326 + x340 + x368  <= 1
c51:   x27 + x31 + x45 + x55 + x58 + x122 + x125 + x198 + x227 + x249
 + x278 + x299 + x320 + x337 + x342 + x350 + x351 + x387  <= 1
c52:   x14 + x57 + x76 + x89 + x94 + x121 + x128 + x133 + x152 + x177
 + x215 + x259 + x281 + x312 + x325 + x353 + x355 + x374 + x377  <= 1
c53:   x4 + x5 + x10 + x33 + x40 + x51 + x71 + x77 + x101 + x102
 + x105 + x155 + x184 + x207 + x230 + x231 + x246 + x262 + x279 + x291
 + x316 + x344 + x348 + x369  <= 1
c54:   x2 + x41 + x72 + x79 + x103 + x124 + x164 + x178 + x180 + x182
 + x206 + x237 + x243 + x259 + x280 + x301 + x319 + x332 + x346 + x362
 + x364 + x366 + x376  <= 1
c55:   x28 + x39 + x43 + x56 + x66 + x79 + x92 + x154 + x210 + x214
 + x235 + x287 + x295 + x296 + x313 + x329 + x384  <= 1
c56:   x21 + x29 + x109 + x128 + x199 + x225 + x235 + x251 + x302 + x314
 + x316 + x325 + x374 + x378  <= 1
c57:   x2 + x3 + x50 + x80 + x90 + x95 + x105 + x158 + x175 + x180
 + x191 + x216 + x231 + x242 + x316 + x388  <= 1
c58:   x16 + x94 + x143 + x210 + x228 + x268 + x284 + x293 + x315 + x322
 + x324 + x341 + x342 + x361 + x364 + x370 + x387  <= 1
c59:   x2 + x24 + x27 + x36 + x112 + x160 + x174 + x176 + x206 + x239
 + x254 + x304 + x312 + x328 + x342 + x346 + x347 + x362 + x385  <= 1
c60:   x51 + x72 + x108 + x117 + x138 + x188 + x219 + x231 + x242 + x263
 + x266 + x275 + x290 + x307 + x397  <= 1
c61:   x40 + x61 + x63 + x76 + x104 + x109 + x117 + x122 + x144 + x155
 + x191 + x194 + x196 + x217 + x227 + x237 + x305 + x355 + x381 + x386
 + x391  <= 1
c62:   x22 + x43 + x45 + x46 + x47 + x53 + x58 + x63 + x145 + x153
 + x154 + x181 + x202 + x239 + x261 + x266 + x279 + x294 + x319 + x335
 + x364 + x385 + x392 + x395 + x398  <= 1
c63:   x16 + x20 + x36 + x43 + x63 + x79 + x112 + x113 + x114 + x131
 + x184 + x224 + x243 + x296 + x298 + x324 + x346 + x348 + x366 + x373
 + x374 + x384 + x390  <= 1
c64:   x11 + x39 + x64 + x99 + x102 + x153 + x157 + x177 + x183 + x207
 + x211 + x237 + x244 + x252 + x266 + x272 + x277 + x278 + x281 + x290
 + x319 + x339 + x350 + x360  <= 1
c65:   x21 + x54 + x91 + x179 + x188 + x195 + x201 + x203 + x207 + x215
 + x243 + x281 + x294 + x307 + x325 + x329 + x343 + x359 + x361 + x400  <= 1
c66:   x4 + x8 + x28 + x53 + x137 + x157 + x168 + x207 + x240 + x252
 + x261 + x266 + x274 + x276 + x279 + x284 + x312 + x326 + x334 + x337
 + x348 + x360 + x372  <= 1
c67:   x47 + x49 + x75 + x83 + x85 + x178 + x194 + x197 + x204 + x218
 + x222 + x227 + x300 + x313 + x332 + x360 + x389  <= 1
c68:   x46 + x47 + x55 + x62 + x65 + x67 + x73 + x75 + x80 + x105
 + x138 + x140 + x146 + x172 + x175 + x184 + x191 + x212 + x278 + x280
 + x290 + x307 + x313 + x315 + x342 + x344 + x351 + x367 + x376 + x379
 + x392  <= 1
c69:   x2 + x18 + x44 + x47 + x123 + x137 + x141 + x144 + x199 + x224
 + x241 + x262 + x279 + x291 + x293 + x301 + x318 + x324 + x326 + x360
 + x390  <= 1
c70:   x23 + x28 + x53 + x80 + x87 + x92 + x96 + x124 + x128 + x141
 + x155 + x184 + x199 + x202 + x218 + x230 + x234 + x236 + x239 + x253
 + x254 + x263 + x285 + x290 + x312 + x340 + x380  <= 1
c71:   x19 + x22 + x38 + x47 + x69 + x70 + x73 + x126 + x139 + x172
 + x174 + x193 + x205 + x219 + x229 + x261 + x292 + x306 + x336 + x355  <= 1
c72:   x27 + x31 + x63 + x96 + x121 + x134 + x152 + x153 + x168 + x187
 + x189 + x198 + x205 + x212 + x234 + x240 + x255 + x283 + x294 + x295
 + x312 + x314 + x318 + x331  <= 1
c73:   x14 + x52 + x60 + x109 + x117 + x192 + x201 + x202 + x216 + x258
 + x266 + x297 + x333 + x338 + x369  <= 1
c74:   x1 + x59 + x108 + x144 + x221 + x241 + x267 + x336 + x346 + x359
 + x373 + x397 + x400  <= 1
c75:   x68 + x103 + x105 + x123 + x135 + x181 + x184 + x191 + x200 + x272
 + x297 + x328 + x342 + x346 + x372 + x376 + x377 + x387 + x389  <= 1
c76:   x2 + x14 + x25 + x32 + x42 + x116 + x127 + x136 + x210 + x217
 + x229 + x245 + x252 + x253 + x289 + x296 + x301 + x311 + x339 + x364
 + x365 + x385 + x395  <= 1
c77:   x8 + x16 + x26 + x50 + x73 + x75 + x102 + x113 + x136 + x144
 + x187 + x188 + x192 + x206 + x215 + x232 + x252 + x253 + x258 + x312
 + x348 + x387  <= 1
c78:   x9 + x38 + x54 + x56 + x58 + x79 + x141 + x173 + x202 + x203
 + x234 + x258 + x280 + x305 + x318 + x349 + x361 + x375 + x384 + x385
 + x389  <= 1
c79:   x1 + x14 + x33 + x55 + x64 + x70 + x121 + x126 + x128 + x222
 + x245 + x265 + x269 + x306 + x333  <= 1
c80:   x32 + x38 + x84 + x96 + x104 + x124 + x144 + x169 + x217 + x273
 + x281 + x283 + x335 + x337 + x373 + x374 + x389  <= 1
c81:   x30 + x36 + x76 + x78 + x141 + x142 + x168 + x196 + x202 + x209
 + x239 + x277 + x279 + x293 + x316 + x341 + x355 + x389 + x391 + x398  <= 1
c82:   x25 + x28 + x42 + x65 + x112 + x114 + x131 + x139 + x178 + x259
 + x279 + x286 + x296 + x304 + x354  <= 1
c83:   x3 + x27 + x29 + x87 + x106 + x111 + x141 + x177 + x231 + x256
 + x257 + x262 + x263 + x304 + x316 + x358  <= 1
c84:   x22 + x65 + x90 + x152 + x168 + x184 + x210 + x236 + x257 + x303
 + x305 + x318 + x326 + x367 + x368 + x375  <= 1
c85:   x73 + x86 + x88 + x105 + x143 + x178 + x187 + x206 + x207 + x213
 + x215 + x217 + x239 + x258 + x272 + x281 + x287 + x307 + x311 + x342
 + x349 + x357 + x373 + x392  <= 1
c86:   x13 + x21 + x33 + x63 + x97 + x101 + x166 + x186 + x202 + x217
 + x234 + x242 + x271 + x281 + x338  <= 1
c87:   x69 + x88 + x91 + x99 + x122 + x137 + x138 + x202 + x232 + x237
 + x238 + x270 + x305 + x310 + x311 + x327 + x329 + x342 + x347 + x354
 + x370 + x376 + x377 + x387 + x393  <= 1
c88:   x5 + x24 + x43 + x70 + x95 + x97 + x128 + x132 + x151 + x183
 + x186 + x190 + x201 + x211 + x219 + x223 + x244 + x262 + x349 + x357
 + x381  <= 1
c89:   x5 + x32 + x49 + x69 + x70 + x79 + x106 + x109 + x121 + x171
 + x198 + x201 + x268 + x320 + x322 + x328 + x357 + x400  <= 1
c90:   x3 + x4 + x104 + x122 + x137 + x166 + x171 + x202 + x250 + x276
 + x288 + x322 + x355 + x374  <= 1
c91:   x5 + x48 + x106 + x115 + x133 + x166 + x201 + x202 + x217 + x231
 + x233 + x251 + x262 + x275 + x277 + x278 + x294 + x325 + x338  <= 1
c92:   x9 + x16 + x17 + x33 + x62 + x90 + x102 + x131 + x152 + x168
 + x199 + x207 + x211 + x252 + x256 + x288 + x298 + x313 + x351 + x367
 + x382 + x383  <= 1
c93:   x11 + x22 + x49 + x57 + x85 + x86 + x96 + x104 + x120 + x137
 + x147 + x190 + x204 + x228 + x241 + x302 + x315 + x319 + x343 + x380  <= 1
c94:   x67 + x161 + x181 + x237 + x245 + x249 + x253 + x257 + x259 + x265
 + x295 + x302 + x358 + x396 + x398  <= 1
c95:   x11 + x46 + x70 + x91 + x97 + x102 + x110 + x204 + x207 + x220
 + x240 + x263 + x280 + x286 + x297 + x302 + x313 + x316 + x362 + x376  <= 1
c96:   x20 + x24 + x47 + x78 + x104 + x174 + x191 + x200 + x219 + x237
 + x244 + x270 + x273 + x286 + x291 + x302 + x318 + x326 + x345 + x381
 + x393  <= 1
c97:   x27 + x30 + x39 + x40 + x70 + x92 + x97 + x119 + x223 + x231
 + x237 + x301 + x307 + x364 + x388 + x390  <= 1
c98:   x33 + x72 + x74 + x99 + x118 + x125 + x154 + x213 + x282 + x287  <= 1
c99:   x67 + x70 + x71 + x82 + x98 + x101 + x139 + x173 + x181 + x184
 + x197 + x203 + x212 + x240 + x254 + x256 + x284 + x330 + x332 + x341
 + x379 + x383 + x387  <= 1
c100:   x22 + x68 + x84 + x93 + x131 + x171 + x176 + x184 + x217 + x250
 + x276 + x314 + x335 + x355 + x358 + x361 + x399  <= 1
c101:   x8 + x12 + x26 + x53 + x54 + x59 + x77 + x90 + x93 + x95
 + x107 + x112 + x149 + x152 + x189 + x214 + x221 + x227 + x229 + x253
 + x285 + x331 + x347 + x349 + x361 + x367 + x372  <= 1
c102:   x2 + x19 + x20 + x44 + x53 + x63 + x68 + x81 + x99 + x138
 + x142 + x155 + x164 + x184 + x191 + x217 + x226 + x278 + x299 + x393
 + x394  <= 1
c103:   x18 + x27 + x32 + x42 + x115 + x118 + x156 + x169 + x170 + x203
 + x212 + x253 + x274 + x295 + x314 + x321 + x322 + x324 + x362 + x371
 + x379 + x386 + x389 + x390  <= 1
c104:   x66 + x110 + x137 + x145 + x151 + x164 + x182 + x251 + x282 + x295
 + x298 + x332 + x354  <= 1
c105:   x7 + x13 + x14 + x17 + x30 + x39 + x45 + x62 + x68 + x73
 + x92 + x141 + x161 + x168 + x187 + x214 + x216 + x234 + x238 + x308
 + x361 + x366 + x381 + x382  <= 1
c106:   x31 + x59 + x61 + x64 + x72 + x85 + x94 + x104 + x111 + x115
 + x133 + x134 + x141 + x166 + x247 + x261 + x278 + x286 + x299 + x302
 + x350 + x356 + x372 + x377  <= 1
c107:   x3 + x50 + x123 + x174 + x234 + x243 + x245 + x261 + x274 + x282
 + x309 + x340 + x354 + x374 + x377  <= 1
c108:   x8 + x23 + x33 + x54 + x105 + x111 + x114 + x155 + x162 + x169
 + x176 + x188 + x195 + x197 + x202 + x203 + x204 + x292 + x293 + x338
 + x370 + x379 + x380 + x391  <= 1
c109:   x18 + x25 + x38 + x65 + x85 + x89 + x132 + x137 + x141 + x143
 + x166 + x185 + x198 + x221 + x224 + x250 + x285 + x289 + x293 + x294
 + x310 + x334 + x349  <= 1
c110:   x15 + x16 + x33 + x97 + x100 + x122 + x147 + x208 + x217 + x231
 + x232 + x247 + x258 + x272 + x299 + x371  <= 1
c111:   x25 + x37 + x41 + x54 + x64 + x114 + x126 + x128 + x158 + x180
 + x227 + x257 + x258 + x262 + x280 + x320 + x321 + x352 + x354 + x379
 + x381 + x386  <= 1
c112:   x3 + x39 + x41 + x51 + x67 + x103 + x109 + x112 + x125 + x140
 + x247 + x251 + x270 + x299 + x301 + x310 + x334 + x344 + x379 + x389  <= 1
c113:   x3 + x17 + x68 + x102 + x179 + x200 + x201 + x204 + x239 + x357
 + x358 + x367 + x369 + x392  <= 1
c114:   x5 + x8 + x13 + x36 + x42 + x44 + x73 + x111 + x211 + x216
 + x219 + x246 + x257 + x266 + x271 + x273 + x283 + x286 + x320  <= 1
c115:   x14 + x29 + x39 + x66 + x98 + x149 + x158 + x186 + x192 + x209
 + x215 + x225 + x252 + x274 + x290  <= 1
c116:   x22 + x32 + x69 + x74 + x76 + x85 + x92 + x99 + x137 + x151
 + x159 + x167 + x223 + x239 + x248 + x266 + x278 + x289 + x321 + x328
 + x347 + x375 + x376  <= 1
c117:   x11 + x32 + x44 + x64 + x98 + x105 + x129 + x159 + x169 + x174
 + x178 + x252 + x262 + x274 + x291 + x300 + x368  <= 1
c118:   x14 + x41 + x54 + x101 + x117 + x130 + x142 + x164 + x180 + x195
 + x221 + x272 + x274 + x281 + x284 + x305 + x316 + x320 + x326 + x327
 + x336 + x387 + x392 + x396 + x399  <= 1
c119:   x38 + x80 + x86 + x102 + x119 + x129 + x169 + x179 + x216 + x221
 + x250 + x263 + x282 + x284 + x326 + x397  <= 1
c120:   x40 + x54 + x77 + x94 + x97 + x126 + x134 + x142 + x144 + x161
 + x169 + x172 + x179 + x230 + x257 + x259 + x314 + x321 + x323 + x325
 + x366 + x376 + x393  <= 1
c121:   x30 + x40 + x52 + x56 + x108 + x171 + x172 + x181 + x189 + x191
 + x199 + x203 + x271 + x308 + x359 + x395 + x396  <= 1
c122:   x5 + x17 + x27 + x33 + x47 + x49 + x66 + x70 + x115 + x132
 + x162 + x169 + x196 + x229 + x239 + x269 + x315 + x330 + x345  <= 1
c123:   x32 + x76 + x91 + x93 + x133 + x138 + x150 + x183 + x187 + x218
 + x219 + x223 + x286 + x303 + x340 + x368 + x393 + x394 + x397  <= 1
c124:   x15 + x163 + x167 + x171 + x189 + x214 + x215 + x229 + x247 + x275
 + x283 + x300 + x309 + x327 + x337 + x347 + x354 + x357 + x376  <= 1
c125:   x1 + x18 + x30 + x57 + x61 + x95 + x105 + x110 + x114 + x181
 + x218 + x232 + x235 + x274 + x286 + x299 + x316 + x339 + x360 + x368
 + x370  <= 1
c126:   x7 + x49 + x74 + x77 + x82 + x96 + x118 + x140 + x155 + x186
 + x232 + x236 + x248 + x249 + x252 + x255 + x282 + x289 + x293 + x307
 + x319 + x366  <= 1
c127:   x25 + x47 + x58 + x76 + x96 + x139 + x150 + x202 + x217 + x238
 + x259 + x263 + x281 + x292 + x301 + x389 + x392  <= 1
c128:   x19 + x28 + x65 + x67 + x72 + x103 + x114 + x133 + x163 + x250
 + x252 + x271 + x368 + x399  <= 1
c129:   x7 + x13 + x22 + x23 + x68 + x79 + x89 + x111 + x128 + x168
 + x178 + x192 + x207 + x217 + x236 + x241 + x296 + x299 + x303 + x327
 + x371  <= 1
c130:   x7 + x36 + x76 + x99 + x106 + x144 + x160 + x172 + x208 + x222
 + x261 + x277 + x300 + x309 + x344 + x345 + x361 + x378  <= 1
c131:   x5 + x8 + x41 + x51 + x77 + x94 + x134 + x176 + x193 + x225
 + x252 + x270 + x313 + x318 + x321 + x334 + x352 + x353 + x368 + x375  <= 1
c132:   x20 + x29 + x51 + x64 + x73 + x115 + x117 + x136 + x140 + x152
 + x164 + x195 + x213 + x227 + x229 + x250 + x254 + x271 + x273 + x302
 + x317 + x320 + x352 + x379 + x385  <= 1
c133:   x10 + x17 + x23 + x107 + x134 + x139 + x185 + x189 + x237 + x239
 + x266 + x268 + x277 + x279 + x280 + x360  <= 1
c134:   x7 + x22 + x23 + x79 + x119 + x142 + x173 + x174 + x224 + x295
 + x302 + x320 + x326 + x332 + x339 + x355  <= 1
c135:   x16 + x35 + x36 + x60 + x90 + x101 + x104 + x113 + x152 + x160
 + x175 + x177 + x181 + x184 + x220 + x258 + x269 + x281 + x283 + x297
 + x298 + x310 + x318 + x319 + x327 + x351 + x367 + x386 + x387 + x394  <= 1
c136:   x15 + x33 + x44 + x53 + x58 + x71 + x80 + x85 + x102 + x125
 + x139 + x154 + x182 + x195 + x209 + x222 + x247 + x253 + x262 + x271
 + x293 + x317 + x338 + x339 + x344 + x374 + x385 + x386  <= 1
c137:   x13 + x29 + x65 + x72 + x89 + x101 + x115 + x151 + x163 + x166
 + x170 + x172 + x243 + x244 + x251 + x276 + x340 + x360 + x368 + x378
 + x386  <= 1
c138:   x23 + x26 + x30 + x38 + x114 + x137 + x144 + x162 + x197 + x227
 + x266 + x273 + x275 + x286 + x306 + x310 + x332 + x335 + x354 + x357  <= 1
c139:   x47 + x51 + x54 + x56 + x81 + x174 + x216 + x235 + x245 + x255
 + x264 + x268 + x273 + x283 + x293 + x334 + x367 + x387 + x398  <= 1
c140:   x16 + x35 + x44 + x52 + x60 + x110 + x111 + x154 + x199 + x212
 + x244 + x259 + x269 + x270 + x302 + x303 + x319 + x324 + x346 + x375
 + x388 + x392 + x394 + x398  <= 1
c141:   x9 + x53 + x65 + x120 + x127 + x131 + x172 + x182 + x191 + x199
 + x236 + x296 + x303 + x305 + x319 + x322 + x340 + x353  <= 1
c142:   x34 + x44 + x45 + x47 + x77 + x85 + x105 + x139 + x143 + x147
 + x149 + x198 + x203 + x206 + x208 + x211 + x252 + x253 + x282 + x294
 + x296 + x312 + x330 + x334 + x360 + x374 + x378  <= 1
c143:   x19 + x21 + x33 + x51 + x195 + x204 + x249 + x297 + x318 + x336
 + x363  <= 1
c144:   x30 + x56 + x61 + x88 + x166 + x168 + x215 + x231 + x235 + x256
 + x278 + x287 + x319 + x367 + x391  <= 1
c145:   x40 + x46 + x59 + x72 + x75 + x100 + x101 + x108 + x117 + x209
 + x221 + x244 + x268 + x304 + x321 + x332 + x355 + x364 + x393  <= 1
c146:   x7 + x11 + x16 + x22 + x29 + x59 + x60 + x70 + x72 + x102
 + x134 + x169 + x193 + x201 + x203 + x218 + x224 + x254 + x256 + x259
 + x264 + x268 + x290 + x317 + x347 + x349 + x382  <= 1
c147:   x1 + x10 + x25 + x81 + x91 + x132 + x186 + x193 + x236 + x246
 + x274  <= 1
c148:   x13 + x41 + x62 + x106 + x125 + x189 + x235 + x246 + x256 + x257
 + x261 + x293 + x300 + x302 + x304 + x317 + x326 + x374 + x386  <= 1
c149:   x49 + x74 + x91 + x113 + x119 + x150 + x184 + x191 + x202 + x210
 + x220 + x234 + x309 + x321 + x326 + x333 + x363 + x372 + x380  <= 1
c150:   x13 + x55 + x76 + x183 + x248 + x256 + x287 + x295 + x311 + x313
 + x328 + x354  <= 1
c151:   x45 + x51 + x54 + x69 + x91 + x112 + x115 + x128 + x173 + x174
 + x215 + x288 + x336 + x368  <= 1
c152:   x3 + x66 + x83 + x104 + x133 + x136 + x141 + x154 + x168 + x169
 + x172 + x184 + x190 + x220 + x225 + x227 + x286 + x312 + x313 + x320
 + x389  <= 1
c153:   x37 + x74 + x95 + x179 + x181 + x188 + x198 + x207 + x211 + x213
 + x225 + x253 + x260 + x276 + x306 + x319 + x323 + x329 + x349 + x400  <= 1
c154:   x9 + x29 + x76 + x85 + x97 + x103 + x109 + x132 + x133 + x157
 + x183 + x191 + x192 + x203 + x218 + x228 + x251 + x266 + x273 + x284
 + x287 + x326 + x339 + x353 + x399  <= 1
c155:   x50 + x110 + x121 + x152 + x197 + x209 + x210 + x220 + x264 + x265
 + x279 + x285 + x291 + x293  <= 1
c156:   x40 + x55 + x61 + x71 + x75 + x124 + x125 + x130 + x133 + x134
 + x137 + x153 + x193 + x202 + x215 + x253 + x256 + x276 + x280 + x333
 + x370 + x394  <= 1
c157:   x27 + x32 + x60 + x84 + x88 + x122 + x123 + x135 + x145 + x184
 + x221 + x224 + x269 + x281 + x282 + x289 + x291 + x300 + x305 + x306
 + x323 + x333 + x377  <= 1
c158:   x12 + x16 + x24 + x33 + x66 + x99 + x117 + x163 + x205 + x214
 + x224 + x228 + x245 + x248 + x255 + x266 + x268 + x272 + x330 + x368  <= 1
c159:   x5 + x16 + x35 + x64 + x81 + x113 + x139 + x154 + x176 + x180
 + x192 + x196 + x208 + x228 + x235 + x346 + x371  <= 1
c160:   x5 + x42 + x60 + x65 + x66 + x81 + x120 + x135 + x174 + x212
 + x231 + x232 + x233 + x263 + x265 + x280 + x286 + x295 + x298 + x305
 + x327 + x362 + x372 + x382  <= 1
c161:   x17 + x29 + x87 + x89 + x90 + x93 + x96 + x176 + x191 + x199
 + x241 + x250 + x278 + x279 + x300 + x304 + x354  <= 1
c162:   x13 + x31 + x60 + x67 + x79 + x107 + x150 + x157 + x164 + x170
 + x187 + x224 + x231 + x236 + x247 + x256 + x264 + x275 + x286 + x336
 + x342 + x385  <= 1
c163:   x7 + x55 + x87 + x115 + x124 + x142 + x155 + x158 + x172 + x214
 + x233 + x251 + x280 + x306 + x308 + x323 + x337 + x352 + x356 + x364
 + x385 + x386 + x395  <= 1
c164:   x28 + x35 + x44 + x107 + x110 + x131 + x134 + x176 + x192 + x196
 + x201 + x232 + x260 + x288 + x314 + x316 + x321 + x332 + x350 + x352
 + x363 + x366 + x381 + x386  <= 1
c165:   x2 + x25 + x27 + x28 + x48 + x50 + x72 + x77 + x118 + x151
 + x156 + x175 + x282 + x289 + x314 + x319 + x330 + x340 + x355 + x360
 + x362 + x386  <= 1
c166:   x1 + x7 + x61 + x103 + x110 + x124 + x136 + x150 + x170 + x172
 + x194 + x227 + x313 + x317 + x318 + x356 + x362  <= 1
c167:   x46 + x68 + x89 + x90 + x108 + x113 + x138 + x142 + x220 + x241
 + x267 + x270 + x287 + x295 + x312 + x340 + x351 + x359  <= 1
c168:   x58 + x89 + x104 + x131 + x138 + x142 + x147 + x166 + x171 + x178
 + x195 + x208 + x210 + x222 + x228 + x234 + x251 + x269 + x282 + x371
 + x378 + x391  <= 1
c169:   x5 + x27 + x39 + x67 + x84 + x128 + x131 + x132 + x136 + x187
 + x190 + x198 + x203 + x233 + x259 + x272 + x274 + x292 + x307 + x324
 + x393  <= 1
c170:   x6 + x10 + x12 + x60 + x130 + x163 + x168 + x203 + x205 + x235
 + x262 + x312 + x344 + x345 + x357 + x366 + x392 + x397  <= 1
c171:   x3 + x18 + x23 + x35 + x39 + x41 + x46 + x51 + x64 + x66
 + x94 + x123 + x167 + x199 + x207 + x214 + x221 + x242 + x265 + x290
 + x347 + x356 + x393 + x396  <= 1
c172:   x32 + x50 + x76 + x80 + x137 + x156 + x184 + x216 + x218 + x226
 + x233 + x253 + x294 + x336 + x377 + x381 + x386  <= 1
c173:   x10 + x20 + x49 + x58 + x82 + x99 + x136 + x138 + x148 + x162
 + x216 + x225 + x235 + x239 + x246 + x286 + x327 + x336 + x368 + x370
 + x397  <= 1
c174:   x48 + x90 + x118 + x122 + x128 + x172 + x192 + x199 + x226 + x239
 + x250 + x253 + x277 + x282 + x292 + x303 + x315 + x320 + x372 + x383  <= 1
c175:   x16 + x33 + x35 + x44 + x74 + x77 + x87 + x128 + x129 + x132
 + x154 + x208 + x225 + x235 + x244 + x256 + x266 + x287 + x305 + x334
 + x341 + x365  <= 1
c176:   x21 + x51 + x61 + x97 + x115 + x122 + x129 + x135 + x156 + x158
 + x222 + x239 + x276 + x277 + x322 + x327 + x393  <= 1
c177:   x7 + x44 + x70 + x72 + x86 + x108 + x119 + x132 + x150 + x184
 + x191 + x205 + x247 + x255 + x259 + x295 + x298 + x316 + x333 + x337
 + x359 + x375 + x397  <= 1
c178:   x49 + x62 + x148 + x151 + x217 + x250 + x293 + x305 + x345 + x354  <= 1
c179:   x52 + x70 + x75 + x91 + x115 + x120 + x129 + x180 + x185 + x213
 + x223 + x281 + x311 + x329 + x377  <= 1
c180:   x7 + x18 + x87 + x108 + x110 + x126 + x230 + x287 + x324 + x362
 + x378  <= 1
c181:   x1 + x19 + x47 + x51 + x67 + x72 + x81 + x105 + x176 + x189
 + x200 + x220 + x225 + x230 + x236 + x260 + x265 + x273 + x325 + x329
 + x335 + x340 + x346 + x377 + x388 + x391  <= 1
c182:   x26 + x72 + x75 + x78 + x97 + x117 + x122 + x130 + x147 + x202
 + x230 + x243 + x277 + x297 + x305 + x344 + x346 + x367  <= 1
c183:   x67 + x111 + x124 + x140 + x141 + x192 + x198 + x202 + x209 + x213
 + x226 + x273 + x303 + x306 + x329 + x334 + x335 + x373 + x388  <= 1
c184:   x18 + x30 + x31 + x105 + x126 + x137 + x160 + x173 + x234 + x337
 + x358 + x359 + x368 + x383  <= 1
c185:   x28 + x39 + x43 + x55 + x82 + x103 + x112 + x151 + x162 + x172
 + x177 + x202 + x288 + x292 + x307 + x310 + x327 + x330 + x348 + x384
 + x390 + x397  <= 1
c186:   x10 + x59 + x142 + x144 + x163 + x171 + x172 + x190 + x192 + x222
 + x233 + x245 + x271 + x286 + x309 + x317 + x333 + x368 + x374  <= 1
c187:   x27 + x60 + x73 + x86 + x101 + x154 + x166 + x198 + x212 + x261
 + x298 + x343  <= 1
c188:   x85 + x101 + x109 + x116 + x127 + x153 + x163 + x185 + x211 + x212
 + x243 + x322 + x324 + x334 + x353 + x358 + x368  <= 1
c189:   x12 + x20 + x25 + x44 + x77 + x78 + x116 + x135 + x140 + x148
 + x178 + x183 + x202 + x203 + x204 + x212 + x216 + x220 + x250 + x271
 + x306 + x316 + x322 + x331 + x332 + x341 + x352 + x380 + x400  <= 1
c190:   x2 + x52 + x62 + x68 + x72 + x92 + x102 + x106 + x122 + x128
 + x136 + x154 + x158 + x164 + x213 + x219 + x228 + x235 + x276 + x333
 + x352 + x359 + x367 + x376 + x392  <= 1
c191:   x5 + x19 + x41 + x50 + x72 + x82 + x85 + x104 + x140 + x151
 + x166 + x171 + x216 + x233 + x241 + x249 + x292 + x299 + x305 + x307
 + x321 + x347 + x357  <= 1
c192:   x52 + x57 + x64 + x74 + x86 + x105 + x133 + x173 + x276 + x325
 + x345 + x367 + x380 + x384  <= 1
c193:   x6 + x13 + x47 + x109 + x110 + x137 + x164 + x192 + x240 + x252
 + x260 + x261 + x312 + x313 + x317 + x331 + x336 + x362 + x370 + x377
 + x390 + x397  <= 1
c194:   x3 + x20 + x22 + x24 + x33 + x34 + x41 + x67 + x71 + x86
 + x99 + x162 + x166 + x183 + x194 + x233 + x269 + x273 + x288 + x295
 + x328 + x380  <= 1
c195:   x37 + x42 + x44 + x79 + x143 + x151 + x194 + x214 + x221 + x231
 + x238 + x246 + x279 + x293 + x299 + x303 + x367 + x372 + x388 + x390  <= 1
c196:   x71 + x112 + x146 + x177 + x188 + x209 + x263 + x270 + x311 + x337
 + x346 + x350 + x385 + x399  <= 1
c197:   x12 + x86 + x103 + x109 + x118 + x160 + x182 + x185 + x249 + x255
 + x298 + x300 + x304 + x363 + x366 + x367 + x398 + x399  <= 1
c198:   x6 + x75 + x92 + x104 + x130 + x152 + x187 + x251 + x270 + x311
 + x313 + x325 + x344 + x363 + x374 + x398  <= 1
c199:   x33 + x57 + x69 + x114 + x119 + x129 + x139 + x165 + x173 + x223
 + x244 + x263 + x308 + x328 + x343 + x353 + x357 + x369 + x377 + x384  <= 1
c200:   x8 + x11 + x52 + x59 + x158 + x163 + x166 + x170 + x182 + x199
 + x218 + x222 + x224 + x225 + x242 + x287 + x294 + x299 + x315 + x316
 + x371 + x392 + x397  <= 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