Maximize target: 63 x0+63 x1+63 x2+63 x3+63 x4+63 x5+63 x6+63 x7+63 x8+63 x9+63 x10+63 x11+63 x12+63 x13+63 x14+63 x15+63 x16+63 x17+63 x18+63 x19+63 x20 +63 x21+63 x22+63 x23+63 x24+63 x25+63 x26+63 x27+63 x28+63 x29+63 x30+63 x31+63 x32+63 x33+63 x34+63 x35+63 x36+63 x37+63 x38+63 x39+63 x40 +63 x41+63 x42+63 x43+63 x44+63 x45+63 x46+63 x47+63 x48+63 x49+63 x50+63 x51+63 x52+63 x53+63 x54+63 x55+63 x56+63 x57+63 x58+63 x59+63 x60 +63 x61+63 x62+63 x63+63 x64+63 x65+63 x66+63 x67+63 x68+63 x69+63 x70+63 x71+63 x72+63 x73+63 x74+63 x75+63 x76+63 x77+63 x78+63 x79+63 x80 +63 x81+63 x82+63 x83+63 x84+63 x85+63 x86+63 x87+63 x88+63 x89+63 x90+63 x91+63 x92+63 x93+63 x94+63 x95+63 x96+63 x97+63 x98+63 x99+63 x100 +63 x101+63 x102+63 x103+63 x104+63 x105+63 x106+63 x107+63 x108+63 x109+63 x110+63 x111+63 x112+63 x113+63 x114+63 x115+63 x116+63 x117+63 x118+63 x119+63 x120 +63 x121+63 x122+63 x123+63 x124+63 x125+63 x126+63 x127+63 x128+63 x129+63 x130+63 x131+63 x132+63 x133+21 x134+63 x135+63 x136+63 x137+63 x138+63 x139+63 x140 +63 x141+63 x142+63 x143+63 x144+63 x145+63 x146+63 x147+63 x148+63 x149+63 x150+63 x151+63 x152+63 x153+63 x154+63 x155+63 x156+63 x157+63 x158+63 x159+63 x160 +63 x161+63 x162+63 x163+63 x164+63 x165+63 x166+63 x167+63 x168+63 x169+63 x170+63 x171+63 x172+63 x173+63 x174+63 x175+63 x176+63 x177+63 x178+63 x179+63 x180 +63 x181+63 x182+9 x183+63 x184+63 x185+63 x186+63 x187+63 x188 Subject To 3 x0+ x49+ x50+ x51+ x52+ x53+ x54+ x55+ x56+ x57+ x58+ x59+ x60+ x61+ x62+ x63+ x64+ x167+ x168+ x169+ x171+ x173+ x174+ x175+ x179+ x180+ x181+ x182+ x187 <= 1 +3 x1+3 x17+3 x33+3 x49+3 x80+3 x96+3 x112+3 x128+ x134+3 x150+3 x166 <= 1 + x2+ x11+ x12+ x19+ x26+ x28+ x35+ x45+ x47+ x49+2 x64+ x67+ x72+ x75+ x82+ x88+ x90+ x97+ x102+ x107+ x122+ x123+ x125+ x133+ x147+ x148+ x149+ x151+ x157+ x160 <= 1 + x2+ x9+ x10+ x18+ x31+ x32+ x34+ x41+ x42+ x50+ x63+ x64+ x77+ x78+ x79+ x91+ x92+ x95+2 x111+ x112+ x117+ x118+ x127+ x131+ x145+ x146+ x149+ x160+ x161+ x163 <= 1 + x3+ x10+ x12+ x23+ x27+ x29+ x37+ x44+ x48+ x50+ x63+ x64+ x68+ x70+ x74+ x85+ x87+ x94+ x98+ x102+ x108+ x114+ x116+ x126+ x132+2 x143+ x150+ x156+ x157+ x163 <= 1 + x8+ x9+ x16+ x20+ x26+ x27+ x34+ x45+ x46+ x50+ x61+ x62+ x65+ x72+ x73+ x86+ x87+ x93+ x97+ x104+ x105+ x115+ x116+ x127+ x134+ x140+ x141+ x147+ x155+ x158+ x163 <= 1 + x3+ x13+ x15+ x18+ x19+ x20+ x35+ x46+ x48+ x50+ x51+ x52+2 x78+ x80+ x81+ x83+ x94+ x105+ x107+ x110+ x118+ x120+ x126+ x133+ x139+ x141+ x148+ x153+ x154+ x165 <= 1 + x8+ x10+ x15+ x22+ x25+ x30+ x37+ x42+ x46+ x51+ x61+ x63+ x66+ x70+ x76+ x83+ x85+ x90+ x97+ x103+ x106+2 x122+ x128+ x131+ x136+ x138+ x148+ x152+ x155+ x161 <= 1 + x4+ x6+ x7+ x20+ x29+ x32+ x36+ x38+ x39+ x52+ x62+ x63+ x77+ x78+ x79+ x85+ x88+ x93+ x106+ x107+ x109+2 x125+ x128+ x132+ x136+ x137+ x147+ x156+ x158+ x164 <= 1 + x6+ x12+ x15+ x20+ x29+ x32+ x33+2 x43+ x55+ x60+ x62+ x66+ x71+ x73+ x83+ x84+ x95+ x97+ x98+ x111+ x121+ x123+ x126+ x133+ x135+ x140+ x145+ x152+ x157+ x159 <= 1 + x5+ x11+ x15+ x21+ x27+ x31+ x37+ x41+ x45+ x53+ x58+ x62+ x65+ x69+ x76+ x81+ x85+ x92+2 x108+ x112+ x121+ x124+ x125+ x133+ x137+ x141+ x146+ x151+ x152+ x165 <= 1 + x4+ x13+ x16+ x19+ x29+ x31+ x36+ x41+ x44+ x51+ x57+ x59+ x67+ x72+ x75+ x83+ x87+ x92+2 x98+ x112+ x113+ x119+ x122+ x129+ x136+ x140+ x146+ x154+ x158+ x162 <= 1 + x3+ x6+ x8+ x17+2 x22+ x34+ x37+ x38+ x51+ x54+ x56+ x67+ x72+ x75+ x81+ x86+ x91+ x107+ x108+ x111+ x116+ x119+ x123+ x130+ x137+ x142+ x145+ x153+ x156+ x159 <= 1 + x3+ x5+ x7+ x23+ x26+ x32+ x34+ x39+ x40+ x55+ x59+ x61+ x65+ x71+ x74+ x90+ x92+ x94+ x105+ x106+ x111+ x113+ x119+ x122+ x133+2 x144+ x150+ x151+ x153+ x164 <= 1 + x6+ x10+ x13+ x17+2 x30+ x38+ x41+ x46+ x54+ x58+ x61+ x68+ x69+ x73+ x82+ x84+ x94+ x101+ x104+ x109+ x113+ x118+ x123+ x133+ x143+ x146+ x147+ x160+ x162+ x164 <= 1 + x8+ x12+ x13+ x18+ x23+ x24+ x40+ x42+ x47+ x52+ x53+ x56+ x67+ x70+ x73+2 x89+ x96+ x105+ x106+ x111+ x121+ x124+ x125+ x129+ x143+ x146+ x147+ x154+ x155+ x159 <= 1 + x1+2 x14+ x20+ x29+ x32+ x38+ x42+ x45+ x52+ x57+ x60+ x65+ x70+ x75+ x81+ x87+ x90+ x101+ x103+ x110+ x123+ x124+ x127+ x130+ x143+ x144+ x149+ x161+ x162+ x165 <= 1 + x3+ x9+ x11+ x23+ x25+ x31+ x35+ x41+ x43+ x52+ x57+ x60+ x66+ x72+ x74+ x86+ x88+ x94+ x101+ x104+ x109+ x117+ x120+ x125+ x129+2 x142+ x150+ x152+ x155+ x161 <= 1 + x2+ x3+ x4+ x20+ x21+ x24+ x39+ x41+ x47+ x56+ x60+ x61+ x74+ x75+ x77+2 x84+ x96+ x99+ x103+ x108+ x115+ x117+ x122+ x132+ x139+ x141+ x148+ x159+ x162+ x163 <= 1 + x4+ x10+ x11+ x18+ x25+ x26+ x36+ x42+ x43+ x53+ x58+ x62+ x68+ x71+ x75+ x82+ x87+ x89+ x102+ x103+ x109+ x119+ x120+ x127+ x132+ x138+ x141+ x145+2 x153+ x166 <= 1 + x4+ x9+ x12+ x19+ x25+ x27+ x34+ x39+ x40+ x51+ x53+ x55+2 x76+ x80+ x87+ x88+ x95+ x100+ x103+ x107+ x115+ x118+ x121+ x130+ x135+ x142+ x143+ x160+ x162+ x164 <= 1 + x1+2 x14+ x18+ x21+ x22+ x36+ x37+ x40+ x54+ x59+ x64+ x73+ x74+ x79+ x93+ x94+ x95+ x97+ x100+ x109+ x114+ x119+ x121+ x129+ x139+ x141+ x148+ x152+ x158+ x160 <= 1 + x7+ x11+ x13+ x24+ x27+ x30+ x38+ x43+ x48+ x49+2 x59+ x66+ x70+ x76+ x81+ x86+ x91+ x100+ x102+ x106+ x117+ x118+ x127+ x132+ x139+ x140+ x149+ x151+ x158+ x159 <= 1 + x2+ x5+ x6+ x17+2 x28+ x38+ x44+ x47+ x50+ x53+ x54+ x74+ x76+ x78+ x89+ x92+ x93+ x98+ x100+ x110+ x115+ x120+ x123+ x132+ x138+ x140+ x144+ x152+ x155+ x161 <= 1 + x5+ x12+ x16+ x19+ x26+ x28+ x40+ x44+ x45+ x54+ x60+ x63+ x68+ x69+ x73+ x85+ x86+ x95+ x99+ x101+ x106+2 x117+ x128+ x130+ x136+ x139+ x145+ x153+ x154+ x165 <= 1 + x7+ x10+ x16+ x24+ x27+ x30+ x33+2 x35+ x52+ x54+ x55+ x71+ x72+ x79+ x89+ x92+ x93+ x99+ x103+ x108+ x113+ x114+ x127+ x130+ x135+ x137+ x148+ x154+ x157+ x161 <= 1 + x5+ x9+ x13+ x21+ x25+ x29+ x35+ x45+ x47+ x55+ x59+ x61+ x67+ x68+ x79+ x83+ x84+ x95+ x100+ x101+ x105+ x116+ x120+ x124+ x131+ x137+ x138+ x149+2 x156+ x166 <= 1 + x2+ x7+ x8+ x19+ x21+ x23+ x36+ x42+ x43+ x51+ x58+ x60+2 x69+ x80+ x90+ x91+ x93+ x99+ x104+ x107+ x114+ x118+ x124+ x129+ x138+ x140+ x144+ x156+ x157+ x163 <= 1 + x1+2 x14+ x23+ x28+ x30+ x39+ x44+ x46+ x53+ x58+ x62+ x66+ x67+ x77+ x83+ x88+ x91+ x99+ x102+ x105+ x113+ x115+ x126+ x131+ x137+ x142+ x145+ x151+ x154+ x163 <= 1 + x7+ x9+ x15+ x24+ x26+ x31+ x36+ x46+ x47+ x56+ x58+ x63+ x65+ x66+ x79+2 x82+ x96+ x98+ x100+ x110+ x114+ x116+ x126+ x130+ x136+ x142+ x144+ x159+ x160+ x165 <= 1 + x4+ x5+ x8+ x22+ x28+ x31+ x33+2 x48+ x50+ x55+ x56+ x70+ x71+ x77+ x82+ x88+ x90+ x101+ x104+ x109+ x115+ x119+ x124+ x131+ x135+ x139+ x146+ x157+ x158+ x165 <= 1 + x2+ x15+ x16+ x24+ x25+ x32+ x37+ x44+ x48+ x56+ x57+ x64+ x65+ x68+ x77+ x81+ x86+ x91+ x97+ x99+ x110+ x113+ x120+ x121+ x129+ x135+ x138+ x147+2 x164+ x166 <= 1 + x6+ x11+ x16+ x18+ x21+ x22+ x34+ x39+ x40+ x49+2 x57+ x69+ x71+ x78+ x84+ x85+ x89+ x102+ x104+ x110+ x114+ x116+ x126+ x131+ x135+ x136+ x149+ x151+ x155+ x162 <= 1 + x33+ x34+ x35+ x36+ x37+ x38+ x39+ x40+ x41+ x42+ x43+ x44+ x45+ x46+ x47+ x48+ x167+ x168+ x171+ x172+ x174+ x176+ x178+ x180+ x182+ x184+ x186+3 x187+ x188 <= 1 + x65+ x66+ x67+ x68+ x69+ x70+ x71+ x72+ x73+ x74+ x75+ x76+ x77+ x78+ x79+ x80+ x168+ x170+ x171+ x174+3 x175+ x176+ x177+ x178+ x179+ x181+ x185+ x187+ x188 <= 1 + x17+ x18+ x19+ x20+ x21+ x22+ x23+ x24+ x25+ x26+ x27+ x28+ x29+ x30+ x31+ x32+ x168+ x169+ x172+ x175+ x177+ x179+ x180+ x181+3 x182+ x184+ x185+ x186+ x188 <= 1 x0+ x1+ x2+ x3+ x4+ x5+ x6+ x7+ x8+ x9+ x10+ x11+ x12+ x13+ x14+ x15+ x16+ x167+ x170+ x171+ x172+ x174+ x176+ x177+ x178+ x179+ x181+ x182+ x183+ x184+ x188 <= 1 + x81+ x82+ x83+ x84+ x85+ x86+ x87+ x88+ x89+ x90+ x91+ x92+ x93+ x94+ x95+ x96+ x169+ x170+ x171+ x173+ x174+ x176+ x177+ x178+ x179+3 x180+ x181+ x186+ x188 <= 1 x0+ x97+ x98+ x99+ x100+ x101+ x102+ x103+ x104+ x105+ x106+ x107+ x108+ x109+ x110+ x111+ x112+ x167+ x168+ x170+ x172+ x173+ x175+ x176+ x178+ x179+ x181+ x184+3 x186 <= 1 + x113+ x114+ x115+ x116+ x117+ x118+ x119+ x120+ x121+ x122+ x123+ x124+ x125+ x126+ x127+ x128+ x167+ x169+ x171+ x172+3 x173+ x174+ x175+ x176+ x178+ x182+ x184+ x185+ x188 <= 1 +3 x129+3 x130+3 x131+3 x132+3 x133+ x134+3 x167+3 x168+3 x169+3 x170+3 x188 <= 1 x0+ x135+ x136+ x137+ x138+ x139+ x140+ x141+ x142+ x143+ x144+ x145+ x146+ x147+ x148+ x149+ x150+ x168+ x169+ x170+ x171+ x172+ x173+ x174+3 x177+ x184+ x185+ x186+ x187 <= 1 x0+ x151+ x152+ x153+ x154+ x155+ x156+ x157+ x158+ x159+ x160+ x161+ x162+ x163+ x164+ x165+ x166+ x167+ x169+ x170+ x172+ x176+ x178+ x179+ x180+ x181+ x184+3 x185+ x187 <= 1 Binary x0 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 y0 End