\ Equation counts \ Total E G L N X C B \ 140 120 20 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 419 419 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2786 1158 1628 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 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 + 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 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 0 x400 + 0 x401 + 0 x402 + 0 x403 + 0 x404 + 0 x405 + 0 x406 + 0 x407 + 0 x408 + 0 x409 + 0 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 Subject To e2: - x2 - x18 - x34 + x138 - x139 - x140 - x141 - x142 - x143 - x144 - x145 - x146 - x147 - x148 - x149 - x150 - x151 - x152 - x153 - x154 = 0 e3: - x3 - x19 - x35 + x155 - x156 - x157 - x158 - x159 - x160 - x161 - x162 - x163 - x164 - x165 - x166 - x167 - x168 - x169 - x170 - x171 = 0 e4: - x4 - x20 - x36 + x172 - x173 - x174 - x175 - x176 - x177 - x178 - x179 - x180 - x181 - x182 - x183 - x184 - x185 - x186 - x187 - x188 = 0 e5: - x5 - x21 - x37 + x189 - x190 - x191 - x192 - x193 - x194 - x195 - x196 - x197 - x198 - x199 - x200 - x201 - x202 - x203 - x204 - x205 = 0 e6: - x6 - x22 - x38 + x206 - x207 - x208 - x209 - x210 - x211 - x212 - x213 - x214 - x215 - x216 - x217 - x218 - x219 - x220 - x221 - x222 = 0 e7: - x7 - x23 - x39 + x223 - x224 - x225 - x226 - x227 - x228 - x229 - x230 - x231 - x232 - x233 - x234 - x235 - x236 - x237 - x238 - x239 = 0 e8: - x8 - x24 - x40 + x240 - x241 - x242 - x243 - x244 - x245 - x246 - x247 - x248 - x249 - x250 - x251 - x252 - x253 - x254 - x255 - x256 = 0 e9: - x9 - x25 - x41 + x257 - x258 - x259 - x260 - x261 - x262 - x263 - x264 - x265 - x266 - x267 - x268 - x269 - x270 - x271 - x272 - x273 = 0 e10: - x10 - x26 - x42 + x274 - x275 - x276 - x277 - x278 - x279 - x280 - x281 - x282 - x283 - x284 - x285 - x286 - x287 - x288 - x289 - x290 = 0 e11: - x11 - x27 - x43 + x291 - x292 - x293 - x294 - x295 - x296 - x297 - x298 - x299 - x300 - x301 - x302 - x303 - x304 - x305 - x306 - x307 = 0 e12: - x12 - x28 - x44 + x308 - x309 - x310 - x311 - x312 - x313 - x314 - x315 - x316 - x317 - x318 - x319 - x320 - x321 - x322 - x323 - x324 = 0 e13: - x13 - x29 - x45 - x325 - x326 - x327 - x328 - x329 - x330 - x331 - x332 - x333 - x334 - x335 - x336 - x337 - x338 - x339 - x340 = -195 e14: - x14 - x30 - x46 - x341 - x342 - x343 - x344 - x345 - x346 - x347 - x348 - x349 - x350 - x351 - x352 - x353 - x354 - x355 - x356 = -60 e15: - x15 - x31 - x47 - x357 - x358 - x359 - x360 - x361 - x362 - x363 - x364 - x365 - x366 - x367 - x368 - x369 - x370 - x371 - x372 = -23 e16: - x16 - x32 - x48 - x373 - x374 - x375 - x376 - x377 - x378 - x379 - x380 - x381 - x382 - x383 - x384 - x385 - x386 - x387 - x388 = -100 e17: - x17 - x33 - x49 - x389 - x390 - x391 - x392 - x393 - x394 - x395 - x396 - x397 - x398 - x399 - x400 - x401 - x402 - x403 - x404 = -45 e18: x138 - x139 - x156 - x173 - x190 - x207 - x224 - x241 - x258 - x275 - x292 - x309 - x325 - x341 - x357 - x373 - x389 - x405 = 0 e19: - x140 + x155 - x157 - x174 - x191 - x208 - x225 - x242 - x259 - x276 - x293 - x310 - x326 - x342 - x358 - x374 - x390 - x406 = 0 e20: - x141 - x158 + x172 - x175 - x192 - x209 - x226 - x243 - x260 - x277 - x294 - x311 - x327 - x343 - x359 - x375 - x391 - x407 = 0 e21: - x142 - x159 - x176 + x189 - x193 - x210 - x227 - x244 - x261 - x278 - x295 - x312 - x328 - x344 - x360 - x376 - x392 - x408 = 0 e22: - x143 - x160 - x177 - x194 + x206 - x211 - x228 - x245 - x262 - x279 - x296 - x313 - x329 - x345 - x361 - x377 - x393 - x409 = 0 e23: - x144 - x161 - x178 - x195 - x212 + x223 - x229 - x246 - x263 - x280 - x297 - x314 - x330 - x346 - x362 - x378 - x394 - x410 = 0 e24: - x145 - x162 - x179 - x196 - x213 - x230 + x240 - x247 - x264 - x281 - x298 - x315 - x331 - x347 - x363 - x379 - x395 - x411 = 0 e25: - x146 - x163 - x180 - x197 - x214 - x231 - x248 + x257 - x265 - x282 - x299 - x316 - x332 - x348 - x364 - x380 - x396 - x412 = 0 e26: - x147 - x164 - x181 - x198 - x215 - x232 - x249 - x266 + x274 - x283 - x300 - x317 - x333 - x349 - x365 - x381 - x397 - x413 = 0 e27: - x148 - x165 - x182 - x199 - x216 - x233 - x250 - x267 - x284 + x291 - x301 - x318 - x334 - x350 - x366 - x382 - x398 - x414 = 0 e28: - x149 - x166 - x183 - x200 - x217 - x234 - x251 - x268 - x285 - x302 + x308 - x319 - x335 - x351 - x367 - x383 - x399 - x415 = 0 e29: - x150 - x167 - x184 - x201 - x218 - x235 - x252 - x269 - x286 - x303 - x320 - x336 - x352 - x368 - x384 - x400 - x416 = -200 e30: - x151 - x168 - x185 - x202 - x219 - x236 - x253 - x270 - x287 - x304 - x321 - x337 - x353 - x369 - x385 - x401 - x417 = -40 e31: - x152 - x169 - x186 - x203 - x220 - x237 - x254 - x271 - x288 - x305 - x322 - x338 - x354 - x370 - x386 - x402 - x418 = -45 e32: - x153 - x170 - x187 - x204 - x221 - x238 - x255 - x272 - x289 - x306 - x323 - x339 - x355 - x371 - x387 - x403 - x419 = -120 e33: - x154 - x171 - x188 - x205 - x222 - x239 - x256 - x273 - x290 - x307 - x324 - x340 - x356 - x372 - x388 - x404 - x420 = -75 e34: - 2 x2 - 7 x18 - 7 x34 - 1446 x150 - 2236 x151 - 2808 x152 - 1753 x153 - 1379 x154 + [ x50 * x138 - x94 * x139 - x98 * x140 - x102 * x141 - x106 * x142 - x110 * x143 - x114 * x144 - x118 * x145 - x122 * x146 - x126 * x147 - x130 * x148 - x134 * x149 ] = 0 e35: - 9 x2 - 6 x18 - 9 x34 - 1730 x150 - 2292 x151 - 1630 x152 - 1716 x153 - 2352 x154 + [ x51 * x138 - x95 * x139 - x99 * x140 - x103 * x141 - x107 * x142 - x111 * x143 - x115 * x144 - x119 * x145 - x123 * x146 - x127 * x147 - x131 * x148 - x135 * x149 ] = 0 e36: - 8 x2 - 4 x18 - 7 x34 - 2830 x150 - 1911 x151 - 2281 x152 - 890 x153 - 2532 x154 + [ x52 * x138 - x96 * x139 - x100 * x140 - x104 * x141 - x108 * x142 - x112 * x143 - x116 * x144 - x120 * x145 - x124 * x146 - x128 * x147 - x132 * x148 - x136 * x149 ] = 0 e37: - x2 - 6 x18 - x34 - 2558 x150 - 2001 x151 - 1996 x152 - 1853 x153 - 626 x154 + [ x53 * x138 - x97 * x139 - x101 * x140 - x105 * x141 - x109 * x142 - x113 * x143 - x117 * x144 - x121 * x145 - x125 * x146 - x129 * x147 - x133 * x148 - x137 * x149 ] = 0 e38: - 2 x3 - 7 x19 - 7 x35 - 1446 x167 - 2236 x168 - 2808 x169 - 1753 x170 - 1379 x171 + [ x54 * x155 - x94 * x156 - x98 * x157 - x102 * x158 - x106 * x159 - x110 * x160 - x114 * x161 - x118 * x162 - x122 * x163 - x126 * x164 - x130 * x165 - x134 * x166 ] = 0 e39: - 9 x3 - 6 x19 - 9 x35 - 1730 x167 - 2292 x168 - 1630 x169 - 1716 x170 - 2352 x171 + [ x55 * x155 - x95 * x156 - x99 * x157 - x103 * x158 - x107 * x159 - x111 * x160 - x115 * x161 - x119 * x162 - x123 * x163 - x127 * x164 - x131 * x165 - x135 * x166 ] = 0 e40: - 8 x3 - 4 x19 - 7 x35 - 2830 x167 - 1911 x168 - 2281 x169 - 890 x170 - 2532 x171 + [ x56 * x155 - x96 * x156 - x100 * x157 - x104 * x158 - x108 * x159 - x112 * x160 - x116 * x161 - x120 * x162 - x124 * x163 - x128 * x164 - x132 * x165 - x136 * x166 ] = 0 e41: - x3 - 6 x19 - x35 - 2558 x167 - 2001 x168 - 1996 x169 - 1853 x170 - 626 x171 + [ x57 * x155 - x97 * x156 - x101 * x157 - x105 * x158 - x109 * x159 - x113 * x160 - x117 * x161 - x121 * x162 - x125 * x163 - x129 * x164 - x133 * x165 - x137 * x166 ] = 0 e42: - 2 x4 - 7 x20 - 7 x36 - 1446 x184 - 2236 x185 - 2808 x186 - 1753 x187 - 1379 x188 + [ x58 * x172 - x94 * x173 - x98 * x174 - x102 * x175 - x106 * x176 - x110 * x177 - x114 * x178 - x118 * x179 - x122 * x180 - x126 * x181 - x130 * x182 - x134 * x183 ] = 0 e43: - 9 x4 - 6 x20 - 9 x36 - 1730 x184 - 2292 x185 - 1630 x186 - 1716 x187 - 2352 x188 + [ x59 * x172 - x95 * x173 - x99 * x174 - x103 * x175 - x107 * x176 - x111 * x177 - x115 * x178 - x119 * x179 - x123 * x180 - x127 * x181 - x131 * x182 - x135 * x183 ] = 0 e44: - 8 x4 - 4 x20 - 7 x36 - 2830 x184 - 1911 x185 - 2281 x186 - 890 x187 - 2532 x188 + [ x60 * x172 - x96 * x173 - x100 * x174 - x104 * x175 - x108 * x176 - x112 * x177 - x116 * x178 - x120 * x179 - x124 * x180 - x128 * x181 - x132 * x182 - x136 * x183 ] = 0 e45: - x4 - 6 x20 - x36 - 2558 x184 - 2001 x185 - 1996 x186 - 1853 x187 - 626 x188 + [ x61 * x172 - x97 * x173 - x101 * x174 - x105 * x175 - x109 * x176 - x113 * x177 - x117 * x178 - x121 * x179 - x125 * x180 - x129 * x181 - x133 * x182 - x137 * x183 ] = 0 e46: - 2 x5 - 7 x21 - 7 x37 - 1446 x201 - 2236 x202 - 2808 x203 - 1753 x204 - 1379 x205 + [ x62 * x189 - x94 * x190 - x98 * x191 - x102 * x192 - x106 * x193 - x110 * x194 - x114 * x195 - x118 * x196 - x122 * x197 - x126 * x198 - x130 * x199 - x134 * x200 ] = 0 e47: - 9 x5 - 6 x21 - 9 x37 - 1730 x201 - 2292 x202 - 1630 x203 - 1716 x204 - 2352 x205 + [ x63 * x189 - x95 * x190 - x99 * x191 - x103 * x192 - x107 * x193 - x111 * x194 - x115 * x195 - x119 * x196 - x123 * x197 - x127 * x198 - x131 * x199 - x135 * x200 ] = 0 e48: - 8 x5 - 4 x21 - 7 x37 - 2830 x201 - 1911 x202 - 2281 x203 - 890 x204 - 2532 x205 + [ x64 * x189 - x96 * x190 - x100 * x191 - x104 * x192 - x108 * x193 - x112 * x194 - x116 * x195 - x120 * x196 - x124 * x197 - x128 * x198 - x132 * x199 - x136 * x200 ] = 0 e49: - x5 - 6 x21 - x37 - 2558 x201 - 2001 x202 - 1996 x203 - 1853 x204 - 626 x205 + [ x65 * x189 - x97 * x190 - x101 * x191 - x105 * x192 - x109 * x193 - x113 * x194 - x117 * x195 - x121 * x196 - x125 * x197 - x129 * x198 - x133 * x199 - x137 * x200 ] = 0 e50: - 2 x6 - 7 x22 - 7 x38 - 1446 x218 - 2236 x219 - 2808 x220 - 1753 x221 - 1379 x222 + [ x66 * x206 - x94 * x207 - x98 * x208 - x102 * x209 - x106 * x210 - x110 * x211 - x114 * x212 - x118 * x213 - x122 * x214 - x126 * x215 - x130 * x216 - x134 * x217 ] = 0 e51: - 9 x6 - 6 x22 - 9 x38 - 1730 x218 - 2292 x219 - 1630 x220 - 1716 x221 - 2352 x222 + [ x67 * x206 - x95 * x207 - x99 * x208 - x103 * x209 - x107 * x210 - x111 * x211 - x115 * x212 - x119 * x213 - x123 * x214 - x127 * x215 - x131 * x216 - x135 * x217 ] = 0 e52: - 8 x6 - 4 x22 - 7 x38 - 2830 x218 - 1911 x219 - 2281 x220 - 890 x221 - 2532 x222 + [ x68 * x206 - x96 * x207 - x100 * x208 - x104 * x209 - x108 * x210 - x112 * x211 - x116 * x212 - x120 * x213 - x124 * x214 - x128 * x215 - x132 * x216 - x136 * x217 ] = 0 e53: - x6 - 6 x22 - x38 - 2558 x218 - 2001 x219 - 1996 x220 - 1853 x221 - 626 x222 + [ x69 * x206 - x97 * x207 - x101 * x208 - x105 * x209 - x109 * x210 - x113 * x211 - x117 * x212 - x121 * x213 - x125 * x214 - x129 * x215 - x133 * x216 - x137 * x217 ] = 0 e54: - 2 x7 - 7 x23 - 7 x39 - 1446 x235 - 2236 x236 - 2808 x237 - 1753 x238 - 1379 x239 + [ x70 * x223 - x94 * x224 - x98 * x225 - x102 * x226 - x106 * x227 - x110 * x228 - x114 * x229 - x118 * x230 - x122 * x231 - x126 * x232 - x130 * x233 - x134 * x234 ] = 0 e55: - 9 x7 - 6 x23 - 9 x39 - 1730 x235 - 2292 x236 - 1630 x237 - 1716 x238 - 2352 x239 + [ x71 * x223 - x95 * x224 - x99 * x225 - x103 * x226 - x107 * x227 - x111 * x228 - x115 * x229 - x119 * x230 - x123 * x231 - x127 * x232 - x131 * x233 - x135 * x234 ] = 0 e56: - 8 x7 - 4 x23 - 7 x39 - 2830 x235 - 1911 x236 - 2281 x237 - 890 x238 - 2532 x239 + [ x72 * x223 - x96 * x224 - x100 * x225 - x104 * x226 - x108 * x227 - x112 * x228 - x116 * x229 - x120 * x230 - x124 * x231 - x128 * x232 - x132 * x233 - x136 * x234 ] = 0 e57: - x7 - 6 x23 - x39 - 2558 x235 - 2001 x236 - 1996 x237 - 1853 x238 - 626 x239 + [ x73 * x223 - x97 * x224 - x101 * x225 - x105 * x226 - x109 * x227 - x113 * x228 - x117 * x229 - x121 * x230 - x125 * x231 - x129 * x232 - x133 * x233 - x137 * x234 ] = 0 e58: - 2 x8 - 7 x24 - 7 x40 - 1446 x252 - 2236 x253 - 2808 x254 - 1753 x255 - 1379 x256 + [ x74 * x240 - x94 * x241 - x98 * x242 - x102 * x243 - x106 * x244 - x110 * x245 - x114 * x246 - x118 * x247 - x122 * x248 - x126 * x249 - x130 * x250 - x134 * x251 ] = 0 e59: - 9 x8 - 6 x24 - 9 x40 - 1730 x252 - 2292 x253 - 1630 x254 - 1716 x255 - 2352 x256 + [ x75 * x240 - x95 * x241 - x99 * x242 - x103 * x243 - x107 * x244 - x111 * x245 - x115 * x246 - x119 * x247 - x123 * x248 - x127 * x249 - x131 * x250 - x135 * x251 ] = 0 e60: - 8 x8 - 4 x24 - 7 x40 - 2830 x252 - 1911 x253 - 2281 x254 - 890 x255 - 2532 x256 + [ x76 * x240 - x96 * x241 - x100 * x242 - x104 * x243 - x108 * x244 - x112 * x245 - x116 * x246 - x120 * x247 - x124 * x248 - x128 * x249 - x132 * x250 - x136 * x251 ] = 0 e61: - x8 - 6 x24 - x40 - 2558 x252 - 2001 x253 - 1996 x254 - 1853 x255 - 626 x256 + [ x77 * x240 - x97 * x241 - x101 * x242 - x105 * x243 - x109 * x244 - x113 * x245 - x117 * x246 - x121 * x247 - x125 * x248 - x129 * x249 - x133 * x250 - x137 * x251 ] = 0 e62: - 2 x9 - 7 x25 - 7 x41 - 1446 x269 - 2236 x270 - 2808 x271 - 1753 x272 - 1379 x273 + [ x78 * x257 - x94 * x258 - x98 * x259 - x102 * x260 - x106 * x261 - x110 * x262 - x114 * x263 - x118 * x264 - x122 * x265 - x126 * x266 - x130 * x267 - x134 * x268 ] = 0 e63: - 9 x9 - 6 x25 - 9 x41 - 1730 x269 - 2292 x270 - 1630 x271 - 1716 x272 - 2352 x273 + [ x79 * x257 - x95 * x258 - x99 * x259 - x103 * x260 - x107 * x261 - x111 * x262 - x115 * x263 - x119 * x264 - x123 * x265 - x127 * x266 - x131 * x267 - x135 * x268 ] = 0 e64: - 8 x9 - 4 x25 - 7 x41 - 2830 x269 - 1911 x270 - 2281 x271 - 890 x272 - 2532 x273 + [ x80 * x257 - x96 * x258 - x100 * x259 - x104 * x260 - x108 * x261 - x112 * x262 - x116 * x263 - x120 * x264 - x124 * x265 - x128 * x266 - x132 * x267 - x136 * x268 ] = 0 e65: - x9 - 6 x25 - x41 - 2558 x269 - 2001 x270 - 1996 x271 - 1853 x272 - 626 x273 + [ x81 * x257 - x97 * x258 - x101 * x259 - x105 * x260 - x109 * x261 - x113 * x262 - x117 * x263 - x121 * x264 - x125 * x265 - x129 * x266 - x133 * x267 - x137 * x268 ] = 0 e66: - 2 x10 - 7 x26 - 7 x42 - 1446 x286 - 2236 x287 - 2808 x288 - 1753 x289 - 1379 x290 + [ x82 * x274 - x94 * x275 - x98 * x276 - x102 * x277 - x106 * x278 - x110 * x279 - x114 * x280 - x118 * x281 - x122 * x282 - x126 * x283 - x130 * x284 - x134 * x285 ] = 0 e67: - 9 x10 - 6 x26 - 9 x42 - 1730 x286 - 2292 x287 - 1630 x288 - 1716 x289 - 2352 x290 + [ x83 * x274 - x95 * x275 - x99 * x276 - x103 * x277 - x107 * x278 - x111 * x279 - x115 * x280 - x119 * x281 - x123 * x282 - x127 * x283 - x131 * x284 - x135 * x285 ] = 0 e68: - 8 x10 - 4 x26 - 7 x42 - 2830 x286 - 1911 x287 - 2281 x288 - 890 x289 - 2532 x290 + [ x84 * x274 - x96 * x275 - x100 * x276 - x104 * x277 - x108 * x278 - x112 * x279 - x116 * x280 - x120 * x281 - x124 * x282 - x128 * x283 - x132 * x284 - x136 * x285 ] = 0 e69: - x10 - 6 x26 - x42 - 2558 x286 - 2001 x287 - 1996 x288 - 1853 x289 - 626 x290 + [ x85 * x274 - x97 * x275 - x101 * x276 - x105 * x277 - x109 * x278 - x113 * x279 - x117 * x280 - x121 * x281 - x125 * x282 - x129 * x283 - x133 * x284 - x137 * x285 ] = 0 e70: - 2 x11 - 7 x27 - 7 x43 - 1446 x303 - 2236 x304 - 2808 x305 - 1753 x306 - 1379 x307 + [ x86 * x291 - x94 * x292 - x98 * x293 - x102 * x294 - x106 * x295 - x110 * x296 - x114 * x297 - x118 * x298 - x122 * x299 - x126 * x300 - x130 * x301 - x134 * x302 ] = 0 e71: - 9 x11 - 6 x27 - 9 x43 - 1730 x303 - 2292 x304 - 1630 x305 - 1716 x306 - 2352 x307 + [ x87 * x291 - x95 * x292 - x99 * x293 - x103 * x294 - x107 * x295 - x111 * x296 - x115 * x297 - x119 * x298 - x123 * x299 - x127 * x300 - x131 * x301 - x135 * x302 ] = 0 e72: - 8 x11 - 4 x27 - 7 x43 - 2830 x303 - 1911 x304 - 2281 x305 - 890 x306 - 2532 x307 + [ x88 * x291 - x96 * x292 - x100 * x293 - x104 * x294 - x108 * x295 - x112 * x296 - x116 * x297 - x120 * x298 - x124 * x299 - x128 * x300 - x132 * x301 - x136 * x302 ] = 0 e73: - x11 - 6 x27 - x43 - 2558 x303 - 2001 x304 - 1996 x305 - 1853 x306 - 626 x307 + [ x89 * x291 - x97 * x292 - x101 * x293 - x105 * x294 - x109 * x295 - x113 * x296 - x117 * x297 - x121 * x298 - x125 * x299 - x129 * x300 - x133 * x301 - x137 * x302 ] = 0 e74: - 2 x12 - 7 x28 - 7 x44 - 1446 x320 - 2236 x321 - 2808 x322 - 1753 x323 - 1379 x324 + [ x90 * x308 - x94 * x309 - x98 * x310 - x102 * x311 - x106 * x312 - x110 * x313 - x114 * x314 - x118 * x315 - x122 * x316 - x126 * x317 - x130 * x318 - x134 * x319 ] = 0 e75: - 9 x12 - 6 x28 - 9 x44 - 1730 x320 - 2292 x321 - 1630 x322 - 1716 x323 - 2352 x324 + [ x91 * x308 - x95 * x309 - x99 * x310 - x103 * x311 - x107 * x312 - x111 * x313 - x115 * x314 - x119 * x315 - x123 * x316 - x127 * x317 - x131 * x318 - x135 * x319 ] = 0 e76: - 8 x12 - 4 x28 - 7 x44 - 2830 x320 - 1911 x321 - 2281 x322 - 890 x323 - 2532 x324 + [ x92 * x308 - x96 * x309 - x100 * x310 - x104 * x311 - x108 * x312 - x112 * x313 - x116 * x314 - x120 * x315 - x124 * x316 - x128 * x317 - x132 * x318 - x136 * x319 ] = 0 e77: - x12 - 6 x28 - x44 - 2558 x320 - 2001 x321 - 1996 x322 - 1853 x323 - 626 x324 + [ x93 * x308 - x97 * x309 - x101 * x310 - x105 * x311 - x109 * x312 - x113 * x313 - x117 * x314 - x121 * x315 - x125 * x316 - x129 * x317 - x133 * x318 - x137 * x319 ] = 0 e78: - 2 x13 - 7 x29 - 7 x45 - 1446 x336 - 2236 x337 - 2808 x338 - 1753 x339 - 1379 x340 + [ - x94 * x325 - x98 * x326 - x102 * x327 - x106 * x328 - x110 * x329 - x114 * x330 - x118 * x331 - x122 * x332 - x126 * x333 - x130 * x334 - x134 * x335 ] >= -126165 e79: - 9 x13 - 6 x29 - 9 x45 - 1730 x336 - 2292 x337 - 1630 x338 - 1716 x339 - 2352 x340 + [ - x95 * x325 - x99 * x326 - x103 * x327 - x107 * x328 - x111 * x329 - x115 * x330 - x119 * x331 - x123 * x332 - x127 * x333 - x131 * x334 - x135 * x335 ] >= -108615 e80: - 8 x13 - 4 x29 - 7 x45 - 2830 x336 - 1911 x337 - 2281 x338 - 890 x339 - 2532 x340 + [ - x96 * x325 - x100 * x326 - x104 * x327 - x108 * x328 - x112 * x329 - x116 * x330 - x120 * x331 - x124 * x332 - x128 * x333 - x132 * x334 - x136 * x335 ] >= -326625 e81: - x13 - 6 x29 - x45 - 2558 x336 - 2001 x337 - 1996 x338 - 1853 x339 - 626 x340 + [ - x97 * x325 - x101 * x326 - x105 * x327 - x109 * x328 - x113 * x329 - x117 * x330 - x121 * x331 - x125 * x332 - x129 * x333 - x133 * x334 - x137 * x335 ] >= -454350 e82: - 2 x14 - 7 x30 - 7 x46 - 1446 x352 - 2236 x353 - 2808 x354 - 1753 x355 - 1379 x356 + [ - x94 * x341 - x98 * x342 - x102 * x343 - x106 * x344 - x110 * x345 - x114 * x346 - x118 * x347 - x122 * x348 - x126 * x349 - x130 * x350 - x134 * x351 ] >= -113880 e83: - 9 x14 - 6 x30 - 9 x46 - 1730 x352 - 2292 x353 - 1630 x354 - 1716 x355 - 2352 x356 + [ - x95 * x341 - x99 * x342 - x103 * x343 - x107 * x344 - x111 * x345 - x115 * x346 - x119 * x347 - x123 * x348 - x127 * x349 - x131 * x350 - x135 * x351 ] >= -31620 e84: - 8 x14 - 4 x30 - 7 x46 - 2830 x352 - 1911 x353 - 2281 x354 - 890 x355 - 2532 x356 + [ - x96 * x341 - x100 * x342 - x104 * x343 - x108 * x344 - x112 * x345 - x116 * x346 - x120 * x347 - x124 * x348 - x128 * x349 - x132 * x350 - x136 * x351 ] >= -22860 e85: - x14 - 6 x30 - x46 - 2558 x352 - 2001 x353 - 1996 x354 - 1853 x355 - 626 x356 + [ - x97 * x341 - x101 * x342 - x105 * x343 - x109 * x344 - x113 * x345 - x117 * x346 - x121 * x347 - x125 * x348 - x129 * x349 - x133 * x350 - x137 * x351 ] >= -75420 e86: - 2 x15 - 7 x31 - 7 x47 - 1446 x368 - 2236 x369 - 2808 x370 - 1753 x371 - 1379 x372 + [ - x94 * x357 - x98 * x358 - x102 * x359 - x106 * x360 - x110 * x361 - x114 * x362 - x118 * x363 - x122 * x364 - x126 * x365 - x130 * x366 - x134 * x367 ] >= -39514 e87: - 9 x15 - 6 x31 - 9 x47 - 1730 x368 - 2292 x369 - 1630 x370 - 1716 x371 - 2352 x372 + [ - x95 * x357 - x99 * x358 - x103 * x359 - x107 * x360 - x111 * x361 - x115 * x362 - x119 * x363 - x123 * x364 - x127 * x365 - x131 * x366 - x135 * x367 ] >= -19734 e88: - 8 x15 - 4 x31 - 7 x47 - 2830 x368 - 1911 x369 - 2281 x370 - 890 x371 - 2532 x372 + [ - x96 * x357 - x100 * x358 - x104 * x359 - x108 * x360 - x112 * x361 - x116 * x362 - x120 * x363 - x124 * x364 - x128 * x365 - x132 * x366 - x136 * x367 ] >= -7429 e89: - x15 - 6 x31 - x47 - 2558 x368 - 2001 x369 - 1996 x370 - 1853 x371 - 626 x372 + [ - x97 * x357 - x101 * x358 - x105 * x359 - x109 * x360 - x113 * x361 - x117 * x362 - x121 * x363 - x125 * x364 - x129 * x365 - x133 * x366 - x137 * x367 ] >= -4393 e90: - 2 x16 - 7 x32 - 7 x48 - 1446 x384 - 2236 x385 - 2808 x386 - 1753 x387 - 1379 x388 + [ - x94 * x373 - x98 * x374 - x102 * x375 - x106 * x376 - x110 * x377 - x114 * x378 - x118 * x379 - x122 * x380 - x126 * x381 - x130 * x382 - x134 * x383 ] >= -166100 e91: - 9 x16 - 6 x32 - 9 x48 - 1730 x384 - 2292 x385 - 1630 x386 - 1716 x387 - 2352 x388 + [ - x95 * x373 - x99 * x374 - x103 * x375 - x107 * x376 - x111 * x377 - x115 * x378 - x119 * x379 - x123 * x380 - x127 * x381 - x131 * x382 - x135 * x383 ] >= -136600 e92: - 8 x16 - 4 x32 - 7 x48 - 2830 x384 - 1911 x385 - 2281 x386 - 890 x387 - 2532 x388 + [ - x96 * x373 - x100 * x374 - x104 * x375 - x108 * x376 - x112 * x377 - x116 * x378 - x120 * x379 - x124 * x380 - x128 * x381 - x132 * x382 - x136 * x383 ] >= -41300 e93: - x16 - 6 x32 - x48 - 2558 x384 - 2001 x385 - 1996 x386 - 1853 x387 - 626 x388 + [ - x97 * x373 - x101 * x374 - x105 * x375 - x109 * x376 - x113 * x377 - x117 * x378 - x121 * x379 - x125 * x380 - x129 * x381 - x133 * x382 - x137 * x383 ] >= -154600 e94: - 2 x17 - 7 x33 - 7 x49 - 1446 x400 - 2236 x401 - 2808 x402 - 1753 x403 - 1379 x404 + [ - x94 * x389 - x98 * x390 - x102 * x391 - x106 * x392 - x110 * x393 - x114 * x394 - x118 * x395 - x122 * x396 - x126 * x397 - x130 * x398 - x134 * x399 ] >= -55935 e95: - 9 x17 - 6 x33 - 9 x49 - 1730 x400 - 2292 x401 - 1630 x402 - 1716 x403 - 2352 x404 + [ - x95 * x389 - x99 * x390 - x103 * x391 - x107 * x392 - x111 * x393 - x115 * x394 - x119 * x395 - x123 * x396 - x127 * x397 - x131 * x398 - x135 * x399 ] >= -28755 e96: - 8 x17 - 4 x33 - 7 x49 - 2830 x400 - 1911 x401 - 2281 x402 - 890 x403 - 2532 x404 + [ - x96 * x389 - x100 * x390 - x104 * x391 - x108 * x392 - x112 * x393 - x116 * x394 - x120 * x395 - x124 * x396 - x128 * x397 - x132 * x398 - x136 * x399 ] >= -93510 e97: - x17 - 6 x33 - x49 - 2558 x400 - 2001 x401 - 1996 x402 - 1853 x403 - 626 x404 + [ - x97 * x389 - x101 * x390 - x105 * x391 - x109 * x392 - x113 * x393 - x117 * x394 - x121 * x395 - x125 * x396 - x129 * x397 - x133 * x398 - x137 * x399 ] >= -11205 e98: [ x50 * x138 - x94 * x138 ] = -3752 e99: [ x51 * x138 - x95 * x138 ] = -146060 e100: [ x52 * x138 - x96 * x138 ] = -151420 e101: [ x53 * x138 - x97 * x138 ] = -93800 e102: [ x54 * x155 - x98 * x155 ] = -10434 e103: [ x55 * x155 - x99 * x155 ] = -29748 e104: [ x56 * x155 - x100 * x155 ] = -42254 e105: [ x57 * x155 - x101 * x155 ] = -20202 e106: [ x58 * x172 - x102 * x172 ] = -48022 e107: [ x59 * x172 - x103 * x172 ] = -13806 e108: [ x60 * x172 - x104 * x172 ] = -14612 e109: [ x61 * x172 - x105 * x172 ] = -39182 e110: [ x62 * x189 - x106 * x189 ] = -123816 e111: [ x63 * x189 - x107 * x189 ] = -23056 e112: [ x64 * x189 - x108 * x189 ] = -209352 e113: [ x65 * x189 - x109 * x189 ] = -195536 e114: [ x66 * x206 - x110 * x206 ] = -107500 e115: [ x67 * x206 - x111 * x206 ] = -24600 e116: [ x68 * x206 - x112 * x206 ] = -79900 e117: [ x69 * x206 - x113 * x206 ] = -186000 e118: [ x70 * x223 - x114 * x223 ] = -5280 e119: [ x71 * x223 - x115 * x223 ] = -31240 e120: [ x72 * x223 - x116 * x223 ] = -67155 e121: [ x73 * x223 - x117 * x223 ] = -76175 e122: [ x74 * x240 - x118 * x240 ] = -57900 e123: [ x75 * x240 - x119 * x240 ] = -9850 e124: [ x76 * x240 - x120 * x240 ] = -35700 e125: [ x77 * x240 - x121 * x240 ] = -134550 e126: [ x78 * x257 - x122 * x257 ] = -2626 e127: [ x79 * x257 - x123 * x257 ] = -33748 e128: [ x80 * x257 - x124 * x257 ] = -23088 e129: [ x81 * x257 - x125 * x257 ] = -67496 e130: [ x82 * x274 - x126 * x274 ] = -223146 e131: [ x83 * x274 - x127 * x274 ] = -19110 e132: [ x84 * x274 - x128 * x274 ] = -97412 e133: [ x85 * x274 - x129 * x274 ] = -22932 e134: [ x86 * x291 - x130 * x291 ] = -48070 e135: [ x87 * x291 - x131 * x291 ] = -114425 e136: [ x88 * x291 - x132 * x291 ] = -72220 e137: [ x89 * x291 - x133 * x291 ] = -200790 e138: [ x90 * x308 - x134 * x308 ] = -81090 e139: [ x91 * x308 - x135 * x308 ] = -133365 e140: [ x92 * x308 - x136 * x308 ] = -25075 e141: [ x93 * x308 - x137 * x308 ] = -4335 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 <= 100000 x42 <= 100000 x43 <= 100000 x44 <= 100000 x45 <= 100000 x46 <= 100000 x47 <= 100000 x48 <= 100000 x49 <= 100000 x50 <= 2250 x51 <= 575 x52 <= 203 x53 <= 1393 x54 <= 298 x55 <= 2353 x56 <= 364 x57 <= 2396 x58 <= 883 x59 <= 1292 x60 <= 2398 x61 <= 862 x62 <= 1257 x63 <= 2354 x64 <= 327 x65 <= 341 x66 <= 1680 x67 <= 2476 x68 <= 2105 x69 <= 1092 x70 <= 1759 x71 <= 301 x72 <= 139 x73 <= 1354 x74 <= 58 x75 <= 2025 x76 <= 511 x77 <= 124 x78 <= 2084 x79 <= 538 x80 <= 537 x81 <= 225 x82 <= 427 x83 <= 2087 x84 <= 1759 x85 <= 482 x86 <= 2086 x87 <= 1863 x88 <= 2195 x89 <= 396 x90 <= 2012 x91 <= 994 x92 <= 1923 x93 <= 2076 x94 <= 2278 x95 <= 1665 x96 <= 1333 x97 <= 2093 x98 <= 439 x99 <= 2755 x100 <= 935 x101 <= 2669 x102 <= 2730 x103 <= 1823 x104 <= 2960 x105 <= 2369 x106 <= 2664 x107 <= 2616 x108 <= 2706 x109 <= 2563 x110 <= 2755 x111 <= 2722 x112 <= 2904 x113 <= 2952 x114 <= 1855 x115 <= 869 x116 <= 1360 x117 <= 2739 x118 <= 1216 x119 <= 2222 x120 <= 1225 x121 <= 2815 x122 <= 2185 x123 <= 1836 x124 <= 1425 x125 <= 2821 x126 <= 2704 x127 <= 2282 x128 <= 2753 x129 <= 716 x130 <= 2504 x131 <= 2858 x132 <= 2823 x133 <= 2142 x134 <= 2966 x135 <= 2563 x136 <= 2218 x137 <= 2127 x138 <= 134 x139 <= 100000 x140 <= 100000 x141 <= 100000 x142 <= 100000 x143 <= 100000 x144 <= 100000 x145 <= 100000 x146 <= 100000 x147 <= 100000 x148 <= 100000 x149 <= 100000 x150 <= 100000 x151 <= 100000 x152 <= 100000 x153 <= 100000 x154 <= 100000 x155 <= 74 x156 <= 100000 x157 <= 100000 x158 <= 100000 x159 <= 100000 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 <= 26 x173 <= 100000 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 <= 100000 x188 <= 100000 x189 <= 88 x190 <= 100000 x191 <= 100000 x192 <= 100000 x193 <= 100000 x194 <= 100000 x195 <= 100000 x196 <= 100000 x197 <= 100000 x198 <= 100000 x199 <= 100000 x200 <= 100000 x201 <= 100000 x202 <= 100000 x203 <= 100000 x204 <= 100000 x205 <= 100000 x206 <= 100 x207 <= 100000 x208 <= 100000 x209 <= 100000 x210 <= 100000 x211 <= 100000 x212 <= 100000 x213 <= 100000 x214 <= 100000 x215 <= 100000 x216 <= 100000 x217 <= 100000 x218 <= 100000 x219 <= 100000 x220 <= 100000 x221 <= 100000 x222 <= 100000 x223 <= 55 x224 <= 100000 x225 <= 100000 x226 <= 100000 x227 <= 100000 x228 <= 100000 x229 <= 100000 x230 <= 100000 x231 <= 100000 x232 <= 100000 x233 <= 100000 x234 <= 100000 x235 <= 100000 x236 <= 100000 x237 <= 100000 x238 <= 100000 x239 <= 100000 x240 <= 50 x241 <= 100000 x242 <= 100000 x243 <= 100000 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 <= 26 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 <= 98 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 <= 115 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 <= 85 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 x322 <= 100000 x323 <= 100000 x324 <= 100000 x325 <= 100000 x326 <= 100000 x327 <= 100000 x328 <= 100000 x329 <= 100000 x330 <= 100000 x331 <= 100000 x332 <= 100000 x333 <= 100000 x334 <= 100000 x335 <= 100000 x336 <= 100000 x337 <= 100000 x338 <= 100000 x339 <= 100000 x340 <= 100000 x341 <= 100000 x342 <= 100000 x343 <= 100000 x344 <= 100000 x345 <= 100000 x346 <= 100000 x347 <= 100000 x348 <= 100000 x349 <= 100000 x350 <= 100000 x351 <= 100000 x352 <= 100000 x353 <= 100000 x354 <= 100000 x355 <= 100000 x356 <= 100000 x357 <= 100000 x358 <= 100000 x359 <= 100000 x360 <= 100000 x361 <= 100000 x362 <= 100000 x363 <= 100000 x364 <= 100000 x365 <= 100000 x366 <= 100000 x367 <= 100000 x368 <= 100000 x369 <= 100000 x370 <= 100000 x371 <= 100000 x372 <= 100000 x373 <= 100000 x374 <= 100000 x375 <= 100000 x376 <= 100000 x377 <= 100000 x378 <= 100000 x379 <= 100000 x380 <= 100000 x381 <= 100000 x382 <= 100000 x383 <= 100000 x384 <= 100000 x385 <= 100000 x386 <= 100000 x387 <= 100000 x388 <= 100000 x389 <= 100000 x390 <= 100000 x391 <= 100000 x392 <= 100000 x393 <= 100000 x394 <= 100000 x395 <= 100000 x396 <= 100000 x397 <= 100000 x398 <= 100000 x399 <= 100000 x400 <= 100000 x401 <= 100000 x402 <= 100000 x403 <= 100000 x404 <= 100000 x405 <= 100000 x406 <= 100000 x407 <= 100000 x408 <= 100000 x409 <= 100000 x410 <= 100000 x411 <= 100000 x412 <= 100000 x413 <= 100000 x414 <= 100000 x415 <= 100000 x416 <= 100000 x417 <= 100000 x418 <= 100000 x419 <= 100000 x420 <= 100000 End