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