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
subject to
c1: x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 <= 1
c2: x1 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + x25 + x41 <= 1
c3: x1 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x49 + x25 <= 1
c4: x1 + x26 + x27 + x29 + x57 + x9 + x10 + x11 + x13 + x17 + x41 + x25 <= 1
c5: x1 + x33 + x34 + x35 + x36 + x37 + x38 + x39 + x49 + x41 <= 1
c6: x1 + x42 + x43 + x45 + x33 + x34 + x35 + x37 + x57 + x9 + x49 + x41 <= 1
c7: x1 + x50 + x51 + x53 + x18 + x19 + x21 + x33 + x17 + x57 + x25 + x49 <= 1
c8: x2 + x9 + x16 + x28 + x30 + x12 + x14 + x26 + x42 + x10 <= 1
c9: x2 + x11 + x44 + x3 + x4 + x8 + x16 + x20 + x28 + x36 + x12 + x10 <= 1
c10: x2 + x13 + x46 + x5 + x6 + x22 + x30 + x38 + x8 + x14 + x16 + x10 <= 1
c11: x2 + x17 + x24 + x52 + x54 + x50 + x18 + x26 + x20 + x22 <= 1
c12: x2 + x19 + x7 + x24 + x21 + x3 + x5 + x8 <= 1
c13: x2 + x25 + x58 + x28 + x30 + x50 + x18 + x42 + x26 + x10 <= 1
c14: x2 + x33 + x40 + x52 + x54 + x34 + x36 + x38 + x42 + x50 <= 1
c15: x2 + x35 + x40 + x7 + x37 + x3 + x5 + x8 <= 1
c16: x2 + x41 + x58 + x44 + x46 + x34 + x12 + x14 + x9 + x26 + x42 + x10 <= 1
c17: x2 + x49 + x52 + x54 + x58 + x18 + x20 + x22 + x17 + x34 + x50 + x26 <= 1
c18: x3 + x9 + x31 + x47 + x59 + x15 + x27 + x43 + x11 + x12 <= 1
c19: x3 + x13 + x23 + x31 + x39 + x47 + x7 + x15 + x5 + x16 + x8 + x11 <= 1
c20: x3 + x17 + x55 + x59 + x51 + x31 + x27 + x19 + x23 + x20 <= 1
c21: x3 + x18 + x4 + x6 + x24 + x23 + x5 + x8 <= 1
c22: x3 + x25 + x59 + x51 + x43 + x28 + x31 + x27 + x19 + x11 <= 1
c23: x3 + x33 + x55 + x40 + x47 + x35 + x37 + x39 + x7 + x51 + x43 + x36 <= 1
c24: x3 + x34 + x52 + x4 + x44 + x40 + x35 + x39 + x43 + x51 + x33 + x36 <= 1
c25: x3 + x41 + x59 + x15 + x47 + x27 + x35 + x44 + x12 + x43 + x9 + x11 <= 1
c26: x3 + x49 + x55 + x21 + x37 + x23 + x39 + x5 <= 1
c27: x4 + x9 + x6 + x15 + x14 + x7 + x16 + x5 <= 1
c28: x4 + x17 + x24 + x6 + x22 + x50 + x18 + x26 + x20 + x2 <= 1
c29: x4 + x19 + x32 + x56 + x60 + x24 + x52 + x28 + x18 + x20 <= 1
c30: x4 + x27 + x32 + x60 + x24 + x16 + x12 + x28 + x26 + x20 <= 1
c31: x4 + x38 + x48 + x56 + x40 + x6 + x24 + x7 + x39 + x36 + x16 + x8 <= 1
c32: x4 + x42 + x48 + x60 + x40 + x52 + x44 + x35 + x43 + x12 + x34 + x36 <= 1
c33: x5 + x17 + x61 + x29 + x53 + x54 + x30 + x21 + x22 + x23 <= 1
c34: x5 + x25 + x61 + x45 + x53 + x29 + x31 + x21 + x30 + x13 <= 1
c35: x5 + x33 + x61 + x46 + x45 + x53 + x54 + x37 + x38 + x39 <= 1
c36: x5 + x34 + x45 + x53 + x46 + x54 + x6 + x37 + x40 + x38 + x33 + x39 <= 1
c37: x5 + x41 + x61 + x29 + x15 + x47 + x14 + x45 + x46 + x37 + x13 + x9 <= 1
c38: x6 + x12 + x32 + x48 + x30 + x15 + x24 + x14 + x8 + x16 <= 1
c39: x6 + x21 + x62 + x56 + x32 + x54 + x22 + x18 + x24 + x30 <= 1
c40: x6 + x29 + x62 + x32 + x46 + x54 + x14 + x22 + x26 + x30 <= 1
c41: x6 + x42 + x62 + x48 + x45 + x40 + x46 + x38 + x54 + x37 + x14 + x34 <= 1
c42: x7 + x12 + x32 + x48 + x31 + x47 + x11 + x13 + x15 + x16 + x8 + x14 <= 1
c43: x7 + x17 + x55 + x53 + x29 + x19 + x31 + x23 + x21 + x22 + x24 + x5 <= 1
c44: x7 + x20 + x56 + x55 + x32 + x19 + x23 + x21 + x31 + x8 + x22 + x24 <= 1
c45: x7 + x27 + x63 + x55 + x32 + x47 + x29 + x15 + x23 + x31 <= 1
c46: x7 + x45 + x63 + x55 + x53 + x35 + x47 + x40 + x37 + x39 <= 1
c47: x8 + x34 + x56 + x52 + x44 + x48 + x38 + x35 + x36 + x40 + x39 + x4 <= 1
c48: x8 + x54 + x64 + x56 + x55 + x48 + x52 + x32 + x40 + x24 <= 1
c49: x9 + x18 + x58 + x57 + x28 + x27 + x10 + x29 + x26 + x30 + x25 + x17 <= 1
c50: x9 + x19 + x59 + x57 + x43 + x49 + x27 + x35 <= 1
c51: x9 + x21 + x61 + x57 + x45 + x49 + x33 + x25 <= 1
c52: x10 + x32 + x62 + x60 + x58 + x46 + x44 + x48 <= 1
c53: x10 + x33 + x50 + x58 + x57 + x41 + x46 + x42 + x44 + x34 <= 1
c54: x10 + x43 + x60 + x58 + x57 + x28 + x42 + x25 <= 1
c55: x10 + x45 + x62 + x58 + x57 + x41 + x42 + x46 + x44 + x34 <= 1
c56: x11 + x33 + x59 + x51 + x47 + x57 + x43 + x41 + x35 + x44 <= 1
c57: x11 + x42 + x59 + x60 + x28 + x26 + x57 + x25 <= 1
c58: x11 + x45 + x63 + x59 + x43 + x47 + x57 + x31 <= 1
c59: x12 + x18 + x60 + x58 + x28 + x52 + x36 + x20 <= 1
c60: x12 + x19 + x59 + x60 + x28 + x52 + x26 + x20 + x27 + x32 <= 1
c61: x12 + x64 + x60 + x59 + x58 + x28 + x43 + x48 + x52 + x36 + x42 + x44 <= 1
c62: x13 + x33 + x61 + x53 + x21 + x38 + x37 + x39 + x45 + x5 <= 1
c63: x13 + x42 + x61 + x62 + x47 + x38 + x46 + x37 + x41 + x14 + x48 + x45 <= 1
c64: x13 + x43 + x63 + x61 + x15 + x46 + x37 + x39 + x41 + x47 + x45 + x48 <= 1
c65: x14 + x18 + x62 + x58 + x28 + x22 + x26 + x29 + x30 + x25 + x32 + x10 <= 1
c66: x14 + x21 + x61 + x62 + x26 + x29 + x30 + x31 + x22 + x25 + x32 + x13 <= 1
c67: x14 + x64 + x61 + x62 + x58 + x29 + x30 + x54 + x22 + x46 + x26 + x32 <= 1
c68: x15 + x19 + x63 + x59 + x55 + x23 + x35 + x27 <= 1
c69: x15 + x21 + x63 + x61 + x55 + x23 + x37 + x29 <= 1
c70: x15 + x28 + x63 + x64 + x59 + x23 + x27 + x29 + x31 + x32 <= 1
c71: x15 + x40 + x63 + x64 + x16 + x39 + x47 + x23 <= 1
c72: x16 + x29 + x63 + x62 + x64 + x30 + x24 + x31 + x28 + x32 <= 1
c73: x16 + x43 + x60 + x63 + x64 + x27 + x47 + x31 <= 1
c74: x16 + x45 + x63 + x64 + x62 + x30 + x46 + x29 <= 1
c75: x17 + x35 + x50 + x51 + x53 + x59 + x49 + x52 + x55 + x57 + x19 + x33 <= 1
c76: x17 + x37 + x51 + x50 + x61 + x49 + x53 + x54 + x55 + x57 + x21 + x33 <= 1
c77: x18 + x38 + x56 + x62 + x49 + x53 + x58 + x50 + x52 + x22 + x54 + x34 <= 1
c78: x19 + x36 + x60 + x56 + x51 + x20 + x59 + x49 + x55 + x50 + x52 + x35 <= 1
c79: x19 + x39 + x63 + x56 + x51 + x59 + x49 + x52 + x53 + x55 + x23 + x35 <= 1
c80: x20 + x30 + x64 + x56 + x60 + x54 + x58 + x50 <= 1
c81: x20 + x40 + x56 + x64 + x51 + x55 + x60 + x24 + x36 + x54 + x50 + x52 <= 1
c82: x21 + x27 + x61 + x63 + x55 + x29 + x49 + x57 <= 1
c83: x22 + x37 + x56 + x61 + x38 + x46 + x53 + x62 + x54 + x50 <= 1
c84: x22 + x40 + x64 + x38 + x53 + x55 + x62 + x54 + x56 + x24 + x50 + x52 <= 1
c85: x25 + x63 + x41 + x58 + x59 + x60 + x61 + x51 + x57 + x27 + x43 + x49 <= 1
c86: x36 + x46 + x41 + x44 + x47 + x12 + x42 + x43 + x48 + x60 <= 1
c87: x41 + x53 + x63 + x47 + x57 + x59 + x62 + x29 + x45 + x61 <= 1
c88: x44 + x63 + x47 + x56 + x64 + x16 + x32 + x40 + x46 + x48 + x60 + x62 <= 1
c89: x54 + x63 + x57 + x64 + x29 + x30 + x45 + x46 + x53 + x58 + x61 + x62 <= 1
END