\ Equation counts \ Total E G L N X C B \ 136 116 20 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 320 320 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2284 889 1395 0 \ Minimize obj: 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 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 Subject To e2: - x2 - x15 - x28 + x131 - x132 - x133 - x134 - x135 - x136 - x137 - x138 - x139 - x140 - x141 - x142 - x143 - x144 = 0 e3: - x3 - x16 - x29 + x145 - x146 - x147 - x148 - x149 - x150 - x151 - x152 - x153 - x154 - x155 - x156 - x157 - x158 = 0 e4: - x4 - x17 - x30 + x159 - x160 - x161 - x162 - x163 - x164 - x165 - x166 - x167 - x168 - x169 - x170 - x171 - x172 = 0 e5: - x5 - x18 - x31 + x173 - x174 - x175 - x176 - x177 - x178 - x179 - x180 - x181 - x182 - x183 - x184 - x185 - x186 = 0 e6: - x6 - x19 - x32 + x187 - x188 - x189 - x190 - x191 - x192 - x193 - x194 - x195 - x196 - x197 - x198 - x199 - x200 = 0 e7: - x7 - x20 - x33 + x201 - x202 - x203 - x204 - x205 - x206 - x207 - x208 - x209 - x210 - x211 - x212 - x213 - x214 = 0 e8: - x8 - x21 - x34 + x215 - x216 - x217 - x218 - x219 - x220 - x221 - x222 - x223 - x224 - x225 - x226 - x227 - x228 = 0 e9: - x9 - x22 - x35 + x229 - x230 - x231 - x232 - x233 - x234 - x235 - x236 - x237 - x238 - x239 - x240 - x241 - x242 = 0 e10: - x10 - x23 - x36 + x243 - x244 - x245 - x246 - x247 - x248 - x249 - x250 - x251 - x252 - x253 - x254 - x255 - x256 = 0 e11: - x11 - x24 - x37 - x257 - x258 - x259 - x260 - x261 - x262 - x263 - x264 - x265 - x266 - x267 - x268 - x269 = -115 e12: - x12 - x25 - x38 - x270 - x271 - x272 - x273 - x274 - x275 - x276 - x277 - x278 - x279 - x280 - x281 - x282 = -85 e13: - x13 - x26 - x39 - x283 - x284 - x285 - x286 - x287 - x288 - x289 - x290 - x291 - x292 - x293 - x294 - x295 = -95 e14: - x14 - x27 - x40 - x296 - x297 - x298 - x299 - x300 - x301 - x302 - x303 - x304 - x305 - x306 - x307 - x308 = -80 e15: x131 - x132 - x146 - x160 - x174 - x188 - x202 - x216 - x230 - x244 - x257 - x270 - x283 - x296 - x309 = 0 e16: - x133 + x145 - x147 - x161 - x175 - x189 - x203 - x217 - x231 - x245 - x258 - x271 - x284 - x297 - x310 = 0 e17: - x134 - x148 + x159 - x162 - x176 - x190 - x204 - x218 - x232 - x246 - x259 - x272 - x285 - x298 - x311 = 0 e18: - x135 - x149 - x163 + x173 - x177 - x191 - x205 - x219 - x233 - x247 - x260 - x273 - x286 - x299 - x312 = 0 e19: - x136 - x150 - x164 - x178 + x187 - x192 - x206 - x220 - x234 - x248 - x261 - x274 - x287 - x300 - x313 = 0 e20: - x137 - x151 - x165 - x179 - x193 + x201 - x207 - x221 - x235 - x249 - x262 - x275 - x288 - x301 - x314 = 0 e21: - x138 - x152 - x166 - x180 - x194 - x208 + x215 - x222 - x236 - x250 - x263 - x276 - x289 - x302 - x315 = 0 e22: - x139 - x153 - x167 - x181 - x195 - x209 - x223 + x229 - x237 - x251 - x264 - x277 - x290 - x303 - x316 = 0 e23: - x140 - x154 - x168 - x182 - x196 - x210 - x224 - x238 + x243 - x252 - x265 - x278 - x291 - x304 - x317 = 0 e24: - x141 - x155 - x169 - x183 - x197 - x211 - x225 - x239 - x253 - x266 - x279 - x292 - x305 - x318 = -75 e25: - x142 - x156 - x170 - x184 - x198 - x212 - x226 - x240 - x254 - x267 - x280 - x293 - x306 - x319 = -95 e26: - x143 - x157 - x171 - x185 - x199 - x213 - x227 - x241 - x255 - x268 - x281 - x294 - x307 - x320 = -100 e27: - x144 - x158 - x172 - x186 - x200 - x214 - x228 - x242 - x256 - x269 - x282 - x295 - x308 - x321 = -70 e28: - 3 x2 - 8 x15 - 10 x28 - 893 x141 - 810 x142 - 757 x143 - 1016 x144 + [ x41 * x131 - x86 * x132 - x91 * x133 - x96 * x134 - x101 * x135 - x106 * x136 - x111 * x137 - x116 * x138 - x121 * x139 - x126 * x140 ] = 0 e29: - 3 x2 - 9 x15 - 849 x141 - 968 x142 - 545 x143 - 953 x144 + [ x42 * x131 - x87 * x132 - x92 * x133 - x97 * x134 - x102 * x135 - x107 * x136 - x112 * x137 - x117 * x138 - x122 * x139 - x127 * x140 ] = 0 e30: - 8 x2 - 10 x15 - 3 x28 - 947 x141 - 481 x142 - 785 x143 - 473 x144 + [ x43 * x131 - x88 * x132 - x93 * x133 - x98 * x134 - x103 * x135 - x108 * x136 - x113 * x137 - x118 * x138 - x123 * x139 - x128 * x140 ] = 0 e31: - 8 x2 - 2 x15 - 9 x28 - 613 x141 - 771 x142 - 689 x143 - 971 x144 + [ x44 * x131 - x89 * x132 - x94 * x133 - x99 * x134 - x104 * x135 - x109 * x136 - x114 * x137 - x119 * x138 - x124 * x139 - x129 * x140 ] = 0 e32: - 4 x2 - 4 x15 - 8 x28 - 440 x141 - 998 x142 - 986 x143 - 620 x144 + [ x45 * x131 - x90 * x132 - x95 * x133 - x100 * x134 - x105 * x135 - x110 * x136 - x115 * x137 - x120 * x138 - x125 * x139 - x130 * x140 ] = 0 e33: - 3 x3 - 8 x16 - 10 x29 - 893 x155 - 810 x156 - 757 x157 - 1016 x158 + [ x46 * x145 - x86 * x146 - x91 * x147 - x96 * x148 - x101 * x149 - x106 * x150 - x111 * x151 - x116 * x152 - x121 * x153 - x126 * x154 ] = 0 e34: - 3 x3 - 9 x16 - 849 x155 - 968 x156 - 545 x157 - 953 x158 + [ x47 * x145 - x87 * x146 - x92 * x147 - x97 * x148 - x102 * x149 - x107 * x150 - x112 * x151 - x117 * x152 - x122 * x153 - x127 * x154 ] = 0 e35: - 8 x3 - 10 x16 - 3 x29 - 947 x155 - 481 x156 - 785 x157 - 473 x158 + [ x48 * x145 - x88 * x146 - x93 * x147 - x98 * x148 - x103 * x149 - x108 * x150 - x113 * x151 - x118 * x152 - x123 * x153 - x128 * x154 ] = 0 e36: - 8 x3 - 2 x16 - 9 x29 - 613 x155 - 771 x156 - 689 x157 - 971 x158 + [ x49 * x145 - x89 * x146 - x94 * x147 - x99 * x148 - x104 * x149 - x109 * x150 - x114 * x151 - x119 * x152 - x124 * x153 - x129 * x154 ] = 0 e37: - 4 x3 - 4 x16 - 8 x29 - 440 x155 - 998 x156 - 986 x157 - 620 x158 + [ x50 * x145 - x90 * x146 - x95 * x147 - x100 * x148 - x105 * x149 - x110 * x150 - x115 * x151 - x120 * x152 - x125 * x153 - x130 * x154 ] = 0 e38: - 3 x4 - 8 x17 - 10 x30 - 893 x169 - 810 x170 - 757 x171 - 1016 x172 + [ x51 * x159 - x86 * x160 - x91 * x161 - x96 * x162 - x101 * x163 - x106 * x164 - x111 * x165 - x116 * x166 - x121 * x167 - x126 * x168 ] = 0 e39: - 3 x4 - 9 x17 - 849 x169 - 968 x170 - 545 x171 - 953 x172 + [ x52 * x159 - x87 * x160 - x92 * x161 - x97 * x162 - x102 * x163 - x107 * x164 - x112 * x165 - x117 * x166 - x122 * x167 - x127 * x168 ] = 0 e40: - 8 x4 - 10 x17 - 3 x30 - 947 x169 - 481 x170 - 785 x171 - 473 x172 + [ x53 * x159 - x88 * x160 - x93 * x161 - x98 * x162 - x103 * x163 - x108 * x164 - x113 * x165 - x118 * x166 - x123 * x167 - x128 * x168 ] = 0 e41: - 8 x4 - 2 x17 - 9 x30 - 613 x169 - 771 x170 - 689 x171 - 971 x172 + [ x54 * x159 - x89 * x160 - x94 * x161 - x99 * x162 - x104 * x163 - x109 * x164 - x114 * x165 - x119 * x166 - x124 * x167 - x129 * x168 ] = 0 e42: - 4 x4 - 4 x17 - 8 x30 - 440 x169 - 998 x170 - 986 x171 - 620 x172 + [ x55 * x159 - x90 * x160 - x95 * x161 - x100 * x162 - x105 * x163 - x110 * x164 - x115 * x165 - x120 * x166 - x125 * x167 - x130 * x168 ] = 0 e43: - 3 x5 - 8 x18 - 10 x31 - 893 x183 - 810 x184 - 757 x185 - 1016 x186 + [ x56 * x173 - x86 * x174 - x91 * x175 - x96 * x176 - x101 * x177 - x106 * x178 - x111 * x179 - x116 * x180 - x121 * x181 - x126 * x182 ] = 0 e44: - 3 x5 - 9 x18 - 849 x183 - 968 x184 - 545 x185 - 953 x186 + [ x57 * x173 - x87 * x174 - x92 * x175 - x97 * x176 - x102 * x177 - x107 * x178 - x112 * x179 - x117 * x180 - x122 * x181 - x127 * x182 ] = 0 e45: - 8 x5 - 10 x18 - 3 x31 - 947 x183 - 481 x184 - 785 x185 - 473 x186 + [ x58 * x173 - x88 * x174 - x93 * x175 - x98 * x176 - x103 * x177 - x108 * x178 - x113 * x179 - x118 * x180 - x123 * x181 - x128 * x182 ] = 0 e46: - 8 x5 - 2 x18 - 9 x31 - 613 x183 - 771 x184 - 689 x185 - 971 x186 + [ x59 * x173 - x89 * x174 - x94 * x175 - x99 * x176 - x104 * x177 - x109 * x178 - x114 * x179 - x119 * x180 - x124 * x181 - x129 * x182 ] = 0 e47: - 4 x5 - 4 x18 - 8 x31 - 440 x183 - 998 x184 - 986 x185 - 620 x186 + [ x60 * x173 - x90 * x174 - x95 * x175 - x100 * x176 - x105 * x177 - x110 * x178 - x115 * x179 - x120 * x180 - x125 * x181 - x130 * x182 ] = 0 e48: - 3 x6 - 8 x19 - 10 x32 - 893 x197 - 810 x198 - 757 x199 - 1016 x200 + [ x61 * x187 - x86 * x188 - x91 * x189 - x96 * x190 - x101 * x191 - x106 * x192 - x111 * x193 - x116 * x194 - x121 * x195 - x126 * x196 ] = 0 e49: - 3 x6 - 9 x19 - 849 x197 - 968 x198 - 545 x199 - 953 x200 + [ x62 * x187 - x87 * x188 - x92 * x189 - x97 * x190 - x102 * x191 - x107 * x192 - x112 * x193 - x117 * x194 - x122 * x195 - x127 * x196 ] = 0 e50: - 8 x6 - 10 x19 - 3 x32 - 947 x197 - 481 x198 - 785 x199 - 473 x200 + [ x63 * x187 - x88 * x188 - x93 * x189 - x98 * x190 - x103 * x191 - x108 * x192 - x113 * x193 - x118 * x194 - x123 * x195 - x128 * x196 ] = 0 e51: - 8 x6 - 2 x19 - 9 x32 - 613 x197 - 771 x198 - 689 x199 - 971 x200 + [ x64 * x187 - x89 * x188 - x94 * x189 - x99 * x190 - x104 * x191 - x109 * x192 - x114 * x193 - x119 * x194 - x124 * x195 - x129 * x196 ] = 0 e52: - 4 x6 - 4 x19 - 8 x32 - 440 x197 - 998 x198 - 986 x199 - 620 x200 + [ x65 * x187 - x90 * x188 - x95 * x189 - x100 * x190 - x105 * x191 - x110 * x192 - x115 * x193 - x120 * x194 - x125 * x195 - x130 * x196 ] = 0 e53: - 3 x7 - 8 x20 - 10 x33 - 893 x211 - 810 x212 - 757 x213 - 1016 x214 + [ x66 * x201 - x86 * x202 - x91 * x203 - x96 * x204 - x101 * x205 - x106 * x206 - x111 * x207 - x116 * x208 - x121 * x209 - x126 * x210 ] = 0 e54: - 3 x7 - 9 x20 - 849 x211 - 968 x212 - 545 x213 - 953 x214 + [ x67 * x201 - x87 * x202 - x92 * x203 - x97 * x204 - x102 * x205 - x107 * x206 - x112 * x207 - x117 * x208 - x122 * x209 - x127 * x210 ] = 0 e55: - 8 x7 - 10 x20 - 3 x33 - 947 x211 - 481 x212 - 785 x213 - 473 x214 + [ x68 * x201 - x88 * x202 - x93 * x203 - x98 * x204 - x103 * x205 - x108 * x206 - x113 * x207 - x118 * x208 - x123 * x209 - x128 * x210 ] = 0 e56: - 8 x7 - 2 x20 - 9 x33 - 613 x211 - 771 x212 - 689 x213 - 971 x214 + [ x69 * x201 - x89 * x202 - x94 * x203 - x99 * x204 - x104 * x205 - x109 * x206 - x114 * x207 - x119 * x208 - x124 * x209 - x129 * x210 ] = 0 e57: - 4 x7 - 4 x20 - 8 x33 - 440 x211 - 998 x212 - 986 x213 - 620 x214 + [ x70 * x201 - x90 * x202 - x95 * x203 - x100 * x204 - x105 * x205 - x110 * x206 - x115 * x207 - x120 * x208 - x125 * x209 - x130 * x210 ] = 0 e58: - 3 x8 - 8 x21 - 10 x34 - 893 x225 - 810 x226 - 757 x227 - 1016 x228 + [ x71 * x215 - x86 * x216 - x91 * x217 - x96 * x218 - x101 * x219 - x106 * x220 - x111 * x221 - x116 * x222 - x121 * x223 - x126 * x224 ] = 0 e59: - 3 x8 - 9 x21 - 849 x225 - 968 x226 - 545 x227 - 953 x228 + [ x72 * x215 - x87 * x216 - x92 * x217 - x97 * x218 - x102 * x219 - x107 * x220 - x112 * x221 - x117 * x222 - x122 * x223 - x127 * x224 ] = 0 e60: - 8 x8 - 10 x21 - 3 x34 - 947 x225 - 481 x226 - 785 x227 - 473 x228 + [ x73 * x215 - x88 * x216 - x93 * x217 - x98 * x218 - x103 * x219 - x108 * x220 - x113 * x221 - x118 * x222 - x123 * x223 - x128 * x224 ] = 0 e61: - 8 x8 - 2 x21 - 9 x34 - 613 x225 - 771 x226 - 689 x227 - 971 x228 + [ x74 * x215 - x89 * x216 - x94 * x217 - x99 * x218 - x104 * x219 - x109 * x220 - x114 * x221 - x119 * x222 - x124 * x223 - x129 * x224 ] = 0 e62: - 4 x8 - 4 x21 - 8 x34 - 440 x225 - 998 x226 - 986 x227 - 620 x228 + [ x75 * x215 - x90 * x216 - x95 * x217 - x100 * x218 - x105 * x219 - x110 * x220 - x115 * x221 - x120 * x222 - x125 * x223 - x130 * x224 ] = 0 e63: - 3 x9 - 8 x22 - 10 x35 - 893 x239 - 810 x240 - 757 x241 - 1016 x242 + [ x76 * x229 - x86 * x230 - x91 * x231 - x96 * x232 - x101 * x233 - x106 * x234 - x111 * x235 - x116 * x236 - x121 * x237 - x126 * x238 ] = 0 e64: - 3 x9 - 9 x22 - 849 x239 - 968 x240 - 545 x241 - 953 x242 + [ x77 * x229 - x87 * x230 - x92 * x231 - x97 * x232 - x102 * x233 - x107 * x234 - x112 * x235 - x117 * x236 - x122 * x237 - x127 * x238 ] = 0 e65: - 8 x9 - 10 x22 - 3 x35 - 947 x239 - 481 x240 - 785 x241 - 473 x242 + [ x78 * x229 - x88 * x230 - x93 * x231 - x98 * x232 - x103 * x233 - x108 * x234 - x113 * x235 - x118 * x236 - x123 * x237 - x128 * x238 ] = 0 e66: - 8 x9 - 2 x22 - 9 x35 - 613 x239 - 771 x240 - 689 x241 - 971 x242 + [ x79 * x229 - x89 * x230 - x94 * x231 - x99 * x232 - x104 * x233 - x109 * x234 - x114 * x235 - x119 * x236 - x124 * x237 - x129 * x238 ] = 0 e67: - 4 x9 - 4 x22 - 8 x35 - 440 x239 - 998 x240 - 986 x241 - 620 x242 + [ x80 * x229 - x90 * x230 - x95 * x231 - x100 * x232 - x105 * x233 - x110 * x234 - x115 * x235 - x120 * x236 - x125 * x237 - x130 * x238 ] = 0 e68: - 3 x10 - 8 x23 - 10 x36 - 893 x253 - 810 x254 - 757 x255 - 1016 x256 + [ x81 * x243 - x86 * x244 - x91 * x245 - x96 * x246 - x101 * x247 - x106 * x248 - x111 * x249 - x116 * x250 - x121 * x251 - x126 * x252 ] = 0 e69: - 3 x10 - 9 x23 - 849 x253 - 968 x254 - 545 x255 - 953 x256 + [ x82 * x243 - x87 * x244 - x92 * x245 - x97 * x246 - x102 * x247 - x107 * x248 - x112 * x249 - x117 * x250 - x122 * x251 - x127 * x252 ] = 0 e70: - 8 x10 - 10 x23 - 3 x36 - 947 x253 - 481 x254 - 785 x255 - 473 x256 + [ x83 * x243 - x88 * x244 - x93 * x245 - x98 * x246 - x103 * x247 - x108 * x248 - x113 * x249 - x118 * x250 - x123 * x251 - x128 * x252 ] = 0 e71: - 8 x10 - 2 x23 - 9 x36 - 613 x253 - 771 x254 - 689 x255 - 971 x256 + [ x84 * x243 - x89 * x244 - x94 * x245 - x99 * x246 - x104 * x247 - x109 * x248 - x114 * x249 - x119 * x250 - x124 * x251 - x129 * x252 ] = 0 e72: - 4 x10 - 4 x23 - 8 x36 - 440 x253 - 998 x254 - 986 x255 - 620 x256 + [ x85 * x243 - x90 * x244 - x95 * x245 - x100 * x246 - x105 * x247 - x110 * x248 - x115 * x249 - x120 * x250 - x125 * x251 - x130 * x252 ] = 0 e73: - 3 x11 - 8 x24 - 10 x37 - 893 x266 - 810 x267 - 757 x268 - 1016 x269 + [ - x86 * x257 - x91 * x258 - x96 * x259 - x101 * x260 - x106 * x261 - x111 * x262 - x116 * x263 - x121 * x264 - x126 * x265 ] >= -75555 e74: - 3 x11 - 9 x24 - 849 x266 - 968 x267 - 545 x268 - 953 x269 + [ - x87 * x257 - x92 * x258 - x97 * x259 - x102 * x260 - x107 * x261 - x112 * x262 - x117 * x263 - x122 * x264 - x127 * x265 ] >= -52440 e75: - 8 x11 - 10 x24 - 3 x37 - 947 x266 - 481 x267 - 785 x268 - 473 x269 + [ - x88 * x257 - x93 * x258 - x98 * x259 - x103 * x260 - x108 * x261 - x113 * x262 - x118 * x263 - x123 * x264 - x128 * x265 ] >= -31970 e76: - 8 x11 - 2 x24 - 9 x37 - 613 x266 - 771 x267 - 689 x268 - 971 x269 + [ - x89 * x257 - x94 * x258 - x99 * x259 - x104 * x260 - x109 * x261 - x114 * x262 - x119 * x263 - x124 * x264 - x129 * x265 ] >= -60720 e77: - 4 x11 - 4 x24 - 8 x37 - 440 x266 - 998 x267 - 986 x268 - 620 x269 + [ - x90 * x257 - x95 * x258 - x100 * x259 - x105 * x260 - x110 * x261 - x115 * x262 - x120 * x263 - x125 * x264 - x130 * x265 ] >= -27600 e78: - 3 x12 - 8 x25 - 10 x38 - 893 x279 - 810 x280 - 757 x281 - 1016 x282 + [ - x86 * x270 - x91 * x271 - x96 * x272 - x101 * x273 - x106 * x274 - x111 * x275 - x116 * x276 - x121 * x277 - x126 * x278 ] >= -1275 e79: - 3 x12 - 9 x25 - 849 x279 - 968 x280 - 545 x281 - 953 x282 + [ - x87 * x270 - x92 * x271 - x97 * x272 - x102 * x273 - x107 * x274 - x112 * x275 - x117 * x276 - x122 * x277 - x127 * x278 ] >= -46155 e80: - 8 x12 - 10 x25 - 3 x38 - 947 x279 - 481 x280 - 785 x281 - 473 x282 + [ - x88 * x270 - x93 * x271 - x98 * x272 - x103 * x273 - x108 * x274 - x113 * x275 - x118 * x276 - x123 * x277 - x128 * x278 ] >= -23460 e81: - 8 x12 - 2 x25 - 9 x38 - 613 x279 - 771 x280 - 689 x281 - 971 x282 + [ - x89 * x270 - x94 * x271 - x99 * x272 - x104 * x273 - x109 * x274 - x114 * x275 - x119 * x276 - x124 * x277 - x129 * x278 ] >= -36210 e82: - 4 x12 - 4 x25 - 8 x38 - 440 x279 - 998 x280 - 986 x281 - 620 x282 + [ - x90 * x270 - x95 * x271 - x100 * x272 - x105 * x273 - x110 * x274 - x115 * x275 - x120 * x276 - x125 * x277 - x130 * x278 ] >= -36720 e83: - 3 x13 - 8 x26 - 10 x39 - 893 x292 - 810 x293 - 757 x294 - 1016 x295 + [ - x86 * x283 - x91 * x284 - x96 * x285 - x101 * x286 - x106 * x287 - x111 * x288 - x116 * x289 - x121 * x290 - x126 * x291 ] >= -70490 e84: - 3 x13 - 9 x26 - 849 x292 - 968 x293 - 545 x294 - 953 x295 + [ - x87 * x283 - x92 * x284 - x97 * x285 - x102 * x286 - x107 * x287 - x112 * x288 - x117 * x289 - x122 * x290 - x127 * x291 ] >= -8360 e85: - 8 x13 - 10 x26 - 3 x39 - 947 x292 - 481 x293 - 785 x294 - 473 x295 + [ - x88 * x283 - x93 * x284 - x98 * x285 - x103 * x286 - x108 * x287 - x113 * x288 - x118 * x289 - x123 * x290 - x128 * x291 ] >= -18715 e86: - 8 x13 - 2 x26 - 9 x39 - 613 x292 - 771 x293 - 689 x294 - 971 x295 + [ - x89 * x283 - x94 * x284 - x99 * x285 - x104 * x286 - x109 * x287 - x114 * x288 - x119 * x289 - x124 * x290 - x129 * x291 ] >= -32395 e87: - 4 x13 - 4 x26 - 8 x39 - 440 x292 - 998 x293 - 986 x294 - 620 x295 + [ - x90 * x283 - x95 * x284 - x100 * x285 - x105 * x286 - x110 * x287 - x115 * x288 - x120 * x289 - x125 * x290 - x130 * x291 ] >= -57095 e88: - 3 x14 - 8 x27 - 10 x40 - 893 x305 - 810 x306 - 757 x307 - 1016 x308 + [ - x86 * x296 - x91 * x297 - x96 * x298 - x101 * x299 - x106 * x300 - x111 * x301 - x116 * x302 - x121 * x303 - x126 * x304 ] >= -75040 e89: - 3 x14 - 9 x27 - 849 x305 - 968 x306 - 545 x307 - 953 x308 + [ - x87 * x296 - x92 * x297 - x97 * x298 - x102 * x299 - x107 * x300 - x112 * x301 - x117 * x302 - x122 * x303 - x127 * x304 ] >= -75760 e90: - 8 x14 - 10 x27 - 3 x40 - 947 x305 - 481 x306 - 785 x307 - 473 x308 + [ - x88 * x296 - x93 * x297 - x98 * x298 - x103 * x299 - x108 * x300 - x113 * x301 - x118 * x302 - x123 * x303 - x128 * x304 ] >= -19920 e91: - 8 x14 - 2 x27 - 9 x40 - 613 x305 - 771 x306 - 689 x307 - 971 x308 + [ - x89 * x296 - x94 * x297 - x99 * x298 - x104 * x299 - x109 * x300 - x114 * x301 - x119 * x302 - x124 * x303 - x129 * x304 ] >= -76320 e92: - 4 x14 - 4 x27 - 8 x40 - 440 x305 - 998 x306 - 986 x307 - 620 x308 + [ - x90 * x296 - x95 * x297 - x100 * x298 - x105 * x299 - x110 * x300 - x115 * x301 - x120 * x302 - x125 * x303 - x130 * x304 ] >= -40720 e93: [ x41 * x131 - x86 * x131 ] = -105592 e94: [ x42 * x131 - x87 * x131 ] = -15276 e95: [ x43 * x131 - x88 * x131 ] = -24656 e96: [ x44 * x131 - x89 * x131 ] = -22646 e97: [ x45 * x131 - x90 * x131 ] = -7236 e98: [ x46 * x145 - x91 * x145 ] = -35520 e99: [ x47 * x145 - x92 * x145 ] = -26492 e100: [ x48 * x145 - x93 * x145 ] = -9324 e101: [ x49 * x145 - x94 * x145 ] = -39516 e102: [ x50 * x145 - x95 * x145 ] = -31302 e103: [ x51 * x159 - x96 * x159 ] = -13156 e104: [ x52 * x159 - x97 * x159 ] = -13468 e105: [ x53 * x159 - x98 * x159 ] = -5642 e106: [ x54 * x159 - x99 * x159 ] = -15184 e107: [ x55 * x159 - x100 * x159 ] = -12766 e108: [ x56 * x173 - x101 * x173 ] = -52712 e109: [ x57 * x173 - x102 * x173 ] = -33088 e110: [ x58 * x173 - x103 * x173 ] = -59048 e111: [ x59 * x173 - x104 * x173 ] = -86328 e112: [ x60 * x173 - x105 * x173 ] = -53944 e113: [ x61 * x187 - x106 * x187 ] = -108400 e114: [ x62 * x187 - x107 * x187 ] = -43200 e115: [ x63 * x187 - x108 * x187 ] = -56700 e116: [ x64 * x187 - x109 * x187 ] = -9900 e117: [ x65 * x187 - x110 * x187 ] = -25100 e118: [ x66 * x201 - x111 * x201 ] = -6050 e119: [ x67 * x201 - x112 * x201 ] = -31900 e120: [ x68 * x201 - x113 * x201 ] = -29700 e121: [ x69 * x201 - x114 * x201 ] = -24310 e122: [ x70 * x201 - x115 * x201 ] = -9680 e123: [ x71 * x215 - x116 * x215 ] = -6750 e124: [ x72 * x215 - x117 * x215 ] = -15500 e125: [ x73 * x215 - x118 * x215 ] = -15950 e126: [ x74 * x215 - x119 * x215 ] = -28400 e127: [ x75 * x215 - x120 * x215 ] = -5800 e128: [ x76 * x229 - x121 * x229 ] = -116550 e129: [ x77 * x229 - x122 * x229 ] = -70938 e130: [ x78 * x229 - x123 * x229 ] = -59346 e131: [ x79 * x229 - x124 * x229 ] = -15624 e132: [ x80 * x229 - x125 * x229 ] = -26082 e133: [ x81 * x243 - x126 * x243 ] = -30624 e134: [ x82 * x243 - x127 * x243 ] = -27492 e135: [ x83 * x243 - x128 * x243 ] = -10904 e136: [ x84 * x243 - x129 * x243 ] = -22852 e137: [ x85 * x243 - x130 * x243 ] = -6612 Bounds x2 <= 100000 x3 <= 100000 x4 <= 100000 x5 <= 100000 x6 <= 100000 x7 <= 100000 x8 <= 100000 x9 <= 100000 x10 <= 100000 x11 <= 100000 x12 <= 100000 x13 <= 100000 x14 <= 100000 x15 <= 100000 x16 <= 100000 x17 <= 100000 x18 <= 100000 x19 <= 100000 x20 <= 100000 x21 <= 100000 x22 <= 100000 x23 <= 100000 x24 <= 100000 x25 <= 100000 x26 <= 100000 x27 <= 100000 x28 <= 100000 x29 <= 100000 x30 <= 100000 x31 <= 100000 x32 <= 100000 x33 <= 100000 x34 <= 100000 x35 <= 100000 x36 <= 100000 x37 <= 100000 x38 <= 100000 x39 <= 100000 x40 <= 100000 x41 <= 279 x42 <= 532 x43 <= 86 x44 <= 952 x45 <= 178 x46 <= 700 x47 <= 827 x48 <= 272 x49 <= 589 x50 <= 619 x51 <= 400 x52 <= 460 x53 <= 710 x54 <= 514 x55 <= 590 x56 <= 514 x57 <= 540 x58 <= 328 x59 <= 9 x60 <= 277 x61 <= 85 x62 <= 541 x63 <= 227 x64 <= 825 x65 <= 111 x66 <= 900 x67 <= 323 x68 <= 549 x69 <= 213 x70 <= 27 x71 <= 805 x72 <= 871 x73 <= 101 x74 <= 377 x75 <= 512 x76 <= 272 x77 <= 46 x78 <= 636 x79 <= 933 x80 <= 413 x81 <= 233 x82 <= 279 x83 <= 760 x84 <= 516 x85 <= 178 x86 <= 1067 x87 <= 646 x88 <= 270 x89 <= 1121 x90 <= 232 x91 <= 1180 x92 <= 1185 x93 <= 398 x94 <= 1123 x95 <= 1042 x96 <= 906 x97 <= 978 x98 <= 927 x99 <= 1098 x100 <= 1081 x101 <= 1113 x102 <= 916 x103 <= 999 x104 <= 990 x105 <= 890 x106 <= 1169 x107 <= 973 x108 <= 794 x109 <= 924 x110 <= 362 x111 <= 1010 x112 <= 903 x113 <= 1089 x114 <= 655 x115 <= 203 x116 <= 940 x117 <= 1181 x118 <= 420 x119 <= 945 x120 <= 628 x121 <= 1197 x122 <= 609 x123 <= 1107 x124 <= 1057 x125 <= 620 x126 <= 761 x127 <= 753 x128 <= 948 x129 <= 910 x130 <= 292 x131 <= 134 x132 <= 100000 x133 <= 100000 x134 <= 100000 x135 <= 100000 x136 <= 100000 x137 <= 100000 x138 <= 100000 x139 <= 100000 x140 <= 100000 x141 <= 100000 x142 <= 100000 x143 <= 100000 x144 <= 100000 x145 <= 74 x146 <= 100000 x147 <= 100000 x148 <= 100000 x149 <= 100000 x150 <= 100000 x151 <= 100000 x152 <= 100000 x153 <= 100000 x154 <= 100000 x155 <= 100000 x156 <= 100000 x157 <= 100000 x158 <= 100000 x159 <= 26 x160 <= 100000 x161 <= 100000 x162 <= 100000 x163 <= 100000 x164 <= 100000 x165 <= 100000 x166 <= 100000 x167 <= 100000 x168 <= 100000 x169 <= 100000 x170 <= 100000 x171 <= 100000 x172 <= 100000 x173 <= 88 x174 <= 100000 x175 <= 100000 x176 <= 100000 x177 <= 100000 x178 <= 100000 x179 <= 100000 x180 <= 100000 x181 <= 100000 x182 <= 100000 x183 <= 100000 x184 <= 100000 x185 <= 100000 x186 <= 100000 x187 <= 100 x188 <= 100000 x189 <= 100000 x190 <= 100000 x191 <= 100000 x192 <= 100000 x193 <= 100000 x194 <= 100000 x195 <= 100000 x196 <= 100000 x197 <= 100000 x198 <= 100000 x199 <= 100000 x200 <= 100000 x201 <= 55 x202 <= 100000 x203 <= 100000 x204 <= 100000 x205 <= 100000 x206 <= 100000 x207 <= 100000 x208 <= 100000 x209 <= 100000 x210 <= 100000 x211 <= 100000 x212 <= 100000 x213 <= 100000 x214 <= 100000 x215 <= 50 x216 <= 100000 x217 <= 100000 x218 <= 100000 x219 <= 100000 x220 <= 100000 x221 <= 100000 x222 <= 100000 x223 <= 100000 x224 <= 100000 x225 <= 100000 x226 <= 100000 x227 <= 100000 x228 <= 100000 x229 <= 126 x230 <= 100000 x231 <= 100000 x232 <= 100000 x233 <= 100000 x234 <= 100000 x235 <= 100000 x236 <= 100000 x237 <= 100000 x238 <= 100000 x239 <= 100000 x240 <= 100000 x241 <= 100000 x242 <= 100000 x243 <= 58 x244 <= 100000 x245 <= 100000 x246 <= 100000 x247 <= 100000 x248 <= 100000 x249 <= 100000 x250 <= 100000 x251 <= 100000 x252 <= 100000 x253 <= 100000 x254 <= 100000 x255 <= 100000 x256 <= 100000 x257 <= 100000 x258 <= 100000 x259 <= 100000 x260 <= 100000 x261 <= 100000 x262 <= 100000 x263 <= 100000 x264 <= 100000 x265 <= 100000 x266 <= 100000 x267 <= 100000 x268 <= 100000 x269 <= 100000 x270 <= 100000 x271 <= 100000 x272 <= 100000 x273 <= 100000 x274 <= 100000 x275 <= 100000 x276 <= 100000 x277 <= 100000 x278 <= 100000 x279 <= 100000 x280 <= 100000 x281 <= 100000 x282 <= 100000 x283 <= 100000 x284 <= 100000 x285 <= 100000 x286 <= 100000 x287 <= 100000 x288 <= 100000 x289 <= 100000 x290 <= 100000 x291 <= 100000 x292 <= 100000 x293 <= 100000 x294 <= 100000 x295 <= 100000 x296 <= 100000 x297 <= 100000 x298 <= 100000 x299 <= 100000 x300 <= 100000 x301 <= 100000 x302 <= 100000 x303 <= 100000 x304 <= 100000 x305 <= 100000 x306 <= 100000 x307 <= 100000 x308 <= 100000 x309 <= 100000 x310 <= 100000 x311 <= 100000 x312 <= 100000 x313 <= 100000 x314 <= 100000 x315 <= 100000 x316 <= 100000 x317 <= 100000 x318 <= 100000 x319 <= 100000 x320 <= 100000 x321 <= 100000 End