\ Equation counts \ Total E G L N X C B \ 208 96 32 80 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 432 432 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2800 1616 1184 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 + 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 + 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 + 0 x421 + 0 x422 + 0 x423 + 0 x424 + 0 x425 + 0 x426 + 0 x427 + 0 x428 + 0 x429 + 0 x430 + 0 x431 + 0 x432 + 0 x433 Subject To e2: - x2 - x18 - x34 - x50 - x66 + x82 - x114 - x130 - x146 - x162 - x178 - x194 - x210 - x226 - x242 - x258 - x274 - x290 - x306 - x322 - x338 - x354 = 0 e3: - x3 - x19 - x35 - x51 - x67 + x83 - x115 - x131 - x147 - x163 - x179 - x195 - x211 - x227 - x243 - x259 - x275 - x291 - x307 - x323 - x339 - x355 = 0 e4: - x4 - x20 - x36 - x52 - x68 + x84 - x116 - x132 - x148 - x164 - x180 - x196 - x212 - x228 - x244 - x260 - x276 - x292 - x308 - x324 - x340 - x356 = 0 e5: - x5 - x21 - x37 - x53 - x69 + x85 - x117 - x133 - x149 - x165 - x181 - x197 - x213 - x229 - x245 - x261 - x277 - x293 - x309 - x325 - x341 - x357 = 0 e6: - x6 - x22 - x38 - x54 - x70 + x86 - x118 - x134 - x150 - x166 - x182 - x198 - x214 - x230 - x246 - x262 - x278 - x294 - x310 - x326 - x342 - x358 = 0 e7: - x7 - x23 - x39 - x55 - x71 + x87 - x119 - x135 - x151 - x167 - x183 - x199 - x215 - x231 - x247 - x263 - x279 - x295 - x311 - x327 - x343 - x359 = 0 e8: - x8 - x24 - x40 - x56 - x72 + x88 - x120 - x136 - x152 - x168 - x184 - x200 - x216 - x232 - x248 - x264 - x280 - x296 - x312 - x328 - x344 - x360 = 0 e9: - x9 - x25 - x41 - x57 - x73 + x89 - x121 - x137 - x153 - x169 - x185 - x201 - x217 - x233 - x249 - x265 - x281 - x297 - x313 - x329 - x345 - x361 = 0 e10: - x10 - x26 - x42 - x58 - x74 - x122 - x138 - x154 - x170 - x186 - x202 - x218 - x234 - x250 - x266 - x282 - x298 - x314 - x330 - x346 - x362 = -98 e11: - x11 - x27 - x43 - x59 - x75 - x123 - x139 - x155 - x171 - x187 - x203 - x219 - x235 - x251 - x267 - x283 - x299 - x315 - x331 - x347 - x363 = -75 e12: - x12 - x28 - x44 - x60 - x76 - x124 - x140 - x156 - x172 - x188 - x204 - x220 - x236 - x252 - x268 - x284 - x300 - x316 - x332 - x348 - x364 = -85 e13: - x13 - x29 - x45 - x61 - x77 - x125 - x141 - x157 - x173 - x189 - x205 - x221 - x237 - x253 - x269 - x285 - x301 - x317 - x333 - x349 - x365 = -195 e14: - x14 - x30 - x46 - x62 - x78 - x126 - x142 - x158 - x174 - x190 - x206 - x222 - x238 - x254 - x270 - x286 - x302 - x318 - x334 - x350 - x366 = -60 e15: - x15 - x31 - x47 - x63 - x79 - x127 - x143 - x159 - x175 - x191 - x207 - x223 - x239 - x255 - x271 - x287 - x303 - x319 - x335 - x351 - x367 = -23 e16: - x16 - x32 - x48 - x64 - x80 - x128 - x144 - x160 - x176 - x192 - x208 - x224 - x240 - x256 - x272 - x288 - x304 - x320 - x336 - x352 - x368 = -100 e17: - x17 - x33 - x49 - x65 - x81 - x129 - x145 - x161 - x177 - x193 - x209 - x225 - x241 - x257 - x273 - x289 - x305 - x321 - x337 - x353 - x369 = -45 e18: x82 - x98 - x114 - x115 - x116 - x117 - x118 - x119 - x120 - x121 - x122 - x123 - x124 - x125 - x126 - x127 - x128 - x129 = 0 e19: x83 - x99 - x130 - x131 - x132 - x133 - x134 - x135 - x136 - x137 - x138 - x139 - x140 - x141 - x142 - x143 - x144 - x145 = 0 e20: x84 - x100 - x146 - x147 - x148 - x149 - x150 - x151 - x152 - x153 - x154 - x155 - x156 - x157 - x158 - x159 - x160 - x161 = 0 e21: x85 - x101 - x162 - x163 - x164 - x165 - x166 - x167 - x168 - x169 - x170 - x171 - x172 - x173 - x174 - x175 - x176 - x177 = 0 e22: x86 - x102 - x178 - x179 - x180 - x181 - x182 - x183 - x184 - x185 - x186 - x187 - x188 - x189 - x190 - x191 - x192 - x193 = 0 e23: x87 - x103 - x194 - x195 - x196 - x197 - x198 - x199 - x200 - x201 - x202 - x203 - x204 - x205 - x206 - x207 - x208 - x209 = 0 e24: x88 - x104 - x210 - x211 - x212 - x213 - x214 - x215 - x216 - x217 - x218 - x219 - x220 - x221 - x222 - x223 - x224 - x225 = 0 e25: x89 - x105 - x226 - x227 - x228 - x229 - x230 - x231 - x232 - x233 - x234 - x235 - x236 - x237 - x238 - x239 - x240 - x241 = 0 e26: - x106 - x242 - x243 - x244 - x245 - x246 - x247 - x248 - x249 - x250 - x251 - x252 - x253 - x254 - x255 - x256 - x257 = -58 e27: - x107 - x258 - x259 - x260 - x261 - x262 - x263 - x264 - x265 - x266 - x267 - x268 - x269 - x270 - x271 - x272 - x273 = -115 e28: - x108 - x274 - x275 - x276 - x277 - x278 - x279 - x280 - x281 - x282 - x283 - x284 - x285 - x286 - x287 - x288 - x289 = -85 e29: - x109 - x290 - x291 - x292 - x293 - x294 - x295 - x296 - x297 - x298 - x299 - x300 - x301 - x302 - x303 - x304 - x305 = -200 e30: - x110 - x306 - x307 - x308 - x309 - x310 - x311 - x312 - x313 - x314 - x315 - x316 - x317 - x318 - x319 - x320 - x321 = -40 e31: - x111 - x322 - x323 - x324 - x325 - x326 - x327 - x328 - x329 - x330 - x331 - x332 - x333 - x334 - x335 - x336 - x337 = -45 e32: - x112 - x338 - x339 - x340 - x341 - x342 - x343 - x344 - x345 - x346 - x347 - x348 - x349 - x350 - x351 - x352 - x353 = -1.2e2 e33: - x113 - x354 - x355 - x356 - x357 - x358 - x359 - x360 - x361 - x362 - x363 - x364 - x365 - x366 - x367 - x368 - x369 = -75 e34: - 2 x2 - 7 x18 - 7 x34 - 7 x50 - 6 x66 - 2704 x242 - 2504 x258 - 2966 x274 - 1446 x290 - 2236 x306 - 2808 x322 - 1753 x338 - 1379 x354 + x82 x370 - x114 x402 - x130 x406 - x146 x410 - x162 x414 - x178 x418 - x194 x422 - x210 x426 - x226 x430 = 0 e35: - 9 x2 - 6 x18 - 9 x34 - 9 x50 - 9 x66 - 2282 x242 - 2858 x258 - 2563 x274 - 1.73e3 x290 - 2292 x306 - 1.63e3 x322 - 1716 x338 - 2352 x354 + x82 x371 - x114 x403 - x130 x407 - x146 x411 - x162 x415 - x178 x419 - x194 x423 - x210 x427 - x226 x431 = 0 e36: - 8 x2 - 4 x18 - 7 x34 - 5 x50 - 2 x66 - 2753 x242 - 2823 x258 - 2218 x274 - 2.83e3 x290 - 1911 x306 - 2281 x322 - 8.9e2 x338 - 2532 x354 + x82 x372 - x114 x404 - x130 x408 - x146 x412 - x162 x416 - x178 x420 - x194 x424 - x210 x428 - x226 x432 = 0 e37: - x2 - 6 x18 - x34 - x50 - x66 - 716 x242 - 2142 x258 - 2127 x274 - 2558 x290 - 2001 x306 - 1996 x322 - 1853 x338 - 626 x354 + x82 x373 - x114 x405 - x130 x409 - x146 x413 - x162 x417 - x178 x421 - x194 x425 - x210 x429 - x226 x433 = 0 e38: - 2 x3 - 7 x19 - 7 x35 - 7 x51 - 6 x67 - 2704 x243 - 2504 x259 - 2966 x275 - 1446 x291 - 2236 x307 - 2808 x323 - 1753 x339 - 1379 x355 + x83 x374 - x115 x402 - x131 x406 - x147 x410 - x163 x414 - x179 x418 - x195 x422 - x211 x426 - x227 x430 = 0 e39: - 9 x3 - 6 x19 - 9 x35 - 9 x51 - 9 x67 - 2282 x243 - 2858 x259 - 2563 x275 - 1.73e3 x291 - 2292 x307 - 1.63e3 x323 - 1716 x339 - 2352 x355 + x83 x375 - x115 x403 - x131 x407 - x147 x411 - x163 x415 - x179 x419 - x195 x423 - x211 x427 - x227 x431 = 0 e40: - 8 x3 - 4 x19 - 7 x35 - 5 x51 - 2 x67 - 2753 x243 - 2823 x259 - 2218 x275 - 2.83e3 x291 - 1911 x307 - 2281 x323 - 8.9e2 x339 - 2532 x355 + x83 x376 - x115 x404 - x131 x408 - x147 x412 - x163 x416 - x179 x420 - x195 x424 - x211 x428 - x227 x432 = 0 e41: - x3 - 6 x19 - x35 - x51 - x67 - 716 x243 - 2142 x259 - 2127 x275 - 2558 x291 - 2001 x307 - 1996 x323 - 1853 x339 - 626 x355 + x83 x377 - x115 x405 - x131 x409 - x147 x413 - x163 x417 - x179 x421 - x195 x425 - x211 x429 - x227 x433 = 0 e42: - 2 x4 - 7 x20 - 7 x36 - 7 x52 - 6 x68 - 2704 x244 - 2504 x260 - 2966 x276 - 1446 x292 - 2236 x308 - 2808 x324 - 1753 x340 - 1379 x356 + x84 x378 - x116 x402 - x132 x406 - x148 x410 - x164 x414 - x180 x418 - x196 x422 - x212 x426 - x228 x430 = 0 e43: - 9 x4 - 6 x20 - 9 x36 - 9 x52 - 9 x68 - 2282 x244 - 2858 x260 - 2563 x276 - 1.73e3 x292 - 2292 x308 - 1.63e3 x324 - 1716 x340 - 2352 x356 + x84 x379 - x116 x403 - x132 x407 - x148 x411 - x164 x415 - x180 x419 - x196 x423 - x212 x427 - x228 x431 = 0 e44: - 8 x4 - 4 x20 - 7 x36 - 5 x52 - 2 x68 - 2753 x244 - 2823 x260 - 2218 x276 - 2.83e3 x292 - 1911 x308 - 2281 x324 - 8.9e2 x340 - 2532 x356 + x84 x380 - x116 x404 - x132 x408 - x148 x412 - x164 x416 - x180 x420 - x196 x424 - x212 x428 - x228 x432 = 0 e45: - x4 - 6 x20 - x36 - x52 - x68 - 716 x244 - 2142 x260 - 2127 x276 - 2558 x292 - 2001 x308 - 1996 x324 - 1853 x340 - 626 x356 + x84 x381 - x116 x405 - x132 x409 - x148 x413 - x164 x417 - x180 x421 - x196 x425 - x212 x429 - x228 x433 = 0 e46: - 2 x5 - 7 x21 - 7 x37 - 7 x53 - 6 x69 - 2704 x245 - 2504 x261 - 2966 x277 - 1446 x293 - 2236 x309 - 2808 x325 - 1753 x341 - 1379 x357 + x85 x382 - x117 x402 - x133 x406 - x149 x410 - x165 x414 - x181 x418 - x197 x422 - x213 x426 - x229 x430 = 0 e47: - 9 x5 - 6 x21 - 9 x37 - 9 x53 - 9 x69 - 2282 x245 - 2858 x261 - 2563 x277 - 1.73e3 x293 - 2292 x309 - 1.63e3 x325 - 1716 x341 - 2352 x357 + x85 x383 - x117 x403 - x133 x407 - x149 x411 - x165 x415 - x181 x419 - x197 x423 - x213 x427 - x229 x431 = 0 e48: - 8 x5 - 4 x21 - 7 x37 - 5 x53 - 2 x69 - 2753 x245 - 2823 x261 - 2218 x277 - 2.83e3 x293 - 1911 x309 - 2281 x325 - 8.9e2 x341 - 2532 x357 + x85 x384 - x117 x404 - x133 x408 - x149 x412 - x165 x416 - x181 x420 - x197 x424 - x213 x428 - x229 x432 = 0 e49: - x5 - 6 x21 - x37 - x53 - x69 - 716 x245 - 2142 x261 - 2127 x277 - 2558 x293 - 2001 x309 - 1996 x325 - 1853 x341 - 626 x357 + x85 x385 - x117 x405 - x133 x409 - x149 x413 - x165 x417 - x181 x421 - x197 x425 - x213 x429 - x229 x433 = 0 e50: - 2 x6 - 7 x22 - 7 x38 - 7 x54 - 6 x70 - 2704 x246 - 2504 x262 - 2966 x278 - 1446 x294 - 2236 x310 - 2808 x326 - 1753 x342 - 1379 x358 + x86 x386 - x118 x402 - x134 x406 - x150 x410 - x166 x414 - x182 x418 - x198 x422 - x214 x426 - x230 x430 = 0 e51: - 9 x6 - 6 x22 - 9 x38 - 9 x54 - 9 x70 - 2282 x246 - 2858 x262 - 2563 x278 - 1.73e3 x294 - 2292 x310 - 1.63e3 x326 - 1716 x342 - 2352 x358 + x86 x387 - x118 x403 - x134 x407 - x150 x411 - x166 x415 - x182 x419 - x198 x423 - x214 x427 - x230 x431 = 0 e52: - 8 x6 - 4 x22 - 7 x38 - 5 x54 - 2 x70 - 2753 x246 - 2823 x262 - 2218 x278 - 2.83e3 x294 - 1911 x310 - 2281 x326 - 8.9e2 x342 - 2532 x358 + x86 x388 - x118 x404 - x134 x408 - x150 x412 - x166 x416 - x182 x420 - x198 x424 - x214 x428 - x230 x432 = 0 e53: - x6 - 6 x22 - x38 - x54 - x70 - 716 x246 - 2142 x262 - 2127 x278 - 2558 x294 - 2001 x310 - 1996 x326 - 1853 x342 - 626 x358 + x86 x389 - x118 x405 - x134 x409 - x150 x413 - x166 x417 - x182 x421 - x198 x425 - x214 x429 - x230 x433 = 0 e54: - 2 x7 - 7 x23 - 7 x39 - 7 x55 - 6 x71 - 2704 x247 - 2504 x263 - 2966 x279 - 1446 x295 - 2236 x311 - 2808 x327 - 1753 x343 - 1379 x359 + x87 x390 - x119 x402 - x135 x406 - x151 x410 - x167 x414 - x183 x418 - x199 x422 - x215 x426 - x231 x430 = 0 e55: - 9 x7 - 6 x23 - 9 x39 - 9 x55 - 9 x71 - 2282 x247 - 2858 x263 - 2563 x279 - 1.73e3 x295 - 2292 x311 - 1.63e3 x327 - 1716 x343 - 2352 x359 + x87 x391 - x119 x403 - x135 x407 - x151 x411 - x167 x415 - x183 x419 - x199 x423 - x215 x427 - x231 x431 = 0 e56: - 8 x7 - 4 x23 - 7 x39 - 5 x55 - 2 x71 - 2753 x247 - 2823 x263 - 2218 x279 - 2.83e3 x295 - 1911 x311 - 2281 x327 - 8.9e2 x343 - 2532 x359 + x87 x392 - x119 x404 - x135 x408 - x151 x412 - x167 x416 - x183 x420 - x199 x424 - x215 x428 - x231 x432 = 0 e57: - x7 - 6 x23 - x39 - x55 - x71 - 716 x247 - 2142 x263 - 2127 x279 - 2558 x295 - 2001 x311 - 1996 x327 - 1853 x343 - 626 x359 + x87 x393 - x119 x405 - x135 x409 - x151 x413 - x167 x417 - x183 x421 - x199 x425 - x215 x429 - x231 x433 = 0 e58: - 2 x8 - 7 x24 - 7 x40 - 7 x56 - 6 x72 - 2704 x248 - 2504 x264 - 2966 x280 - 1446 x296 - 2236 x312 - 2808 x328 - 1753 x344 - 1379 x360 + x88 x394 - x120 x402 - x136 x406 - x152 x410 - x168 x414 - x184 x418 - x200 x422 - x216 x426 - x232 x430 = 0 e59: - 9 x8 - 6 x24 - 9 x40 - 9 x56 - 9 x72 - 2282 x248 - 2858 x264 - 2563 x280 - 1.73e3 x296 - 2292 x312 - 1.63e3 x328 - 1716 x344 - 2352 x360 + x88 x395 - x120 x403 - x136 x407 - x152 x411 - x168 x415 - x184 x419 - x200 x423 - x216 x427 - x232 x431 = 0 e60: - 8 x8 - 4 x24 - 7 x40 - 5 x56 - 2 x72 - 2753 x248 - 2823 x264 - 2218 x280 - 2.83e3 x296 - 1911 x312 - 2281 x328 - 8.9e2 x344 - 2532 x360 + x88 x396 - x120 x404 - x136 x408 - x152 x412 - x168 x416 - x184 x420 - x200 x424 - x216 x428 - x232 x432 = 0 e61: - x8 - 6 x24 - x40 - x56 - x72 - 716 x248 - 2142 x264 - 2127 x280 - 2558 x296 - 2001 x312 - 1996 x328 - 1853 x344 - 626 x360 + x88 x397 - x120 x405 - x136 x409 - x152 x413 - x168 x417 - x184 x421 - x200 x425 - x216 x429 - x232 x433 = 0 e62: - 2 x9 - 7 x25 - 7 x41 - 7 x57 - 6 x73 - 2704 x249 - 2504 x265 - 2966 x281 - 1446 x297 - 2236 x313 - 2808 x329 - 1753 x345 - 1379 x361 + x89 x398 - x121 x402 - x137 x406 - x153 x410 - x169 x414 - x185 x418 - x201 x422 - x217 x426 - x233 x430 = 0 e63: - 9 x9 - 6 x25 - 9 x41 - 9 x57 - 9 x73 - 2282 x249 - 2858 x265 - 2563 x281 - 1.73e3 x297 - 2292 x313 - 1.63e3 x329 - 1716 x345 - 2352 x361 + x89 x399 - x121 x403 - x137 x407 - x153 x411 - x169 x415 - x185 x419 - x201 x423 - x217 x427 - x233 x431 = 0 e64: - 8 x9 - 4 x25 - 7 x41 - 5 x57 - 2 x73 - 2753 x249 - 2823 x265 - 2218 x281 - 2.83e3 x297 - 1911 x313 - 2281 x329 - 8.9e2 x345 - 2532 x361 + x89 x400 - x121 x404 - x137 x408 - x153 x412 - x169 x416 - x185 x420 - x201 x424 - x217 x428 - x233 x432 = 0 e65: - x9 - 6 x25 - x41 - x57 - x73 - 716 x249 - 2142 x265 - 2127 x281 - 2558 x297 - 2001 x313 - 1996 x329 - 1853 x345 - 626 x361 + x89 x401 - x121 x405 - x137 x409 - x153 x413 - x169 x417 - x185 x421 - x201 x425 - x217 x429 - x233 x433 = 0 e66: x82 x370 - x82 x402 = -3752 e67: x82 x371 - x82 x403 = -1.4606e5 e68: x82 x372 - x82 x404 = -1.5142e5 e69: x82 x373 - x82 x405 = -9.38e4 e70: x83 x374 - x83 x406 = -10434 e71: x83 x375 - x83 x407 = -29748 e72: x83 x376 - x83 x408 = -42254 e73: x83 x377 - x83 x409 = -20202 e74: x84 x378 - x84 x410 = -48022 e75: x84 x379 - x84 x411 = -13806 e76: x84 x380 - x84 x412 = -14612 e77: x84 x381 - x84 x413 = -39182 e78: x85 x382 - x85 x414 = -123816 e79: x85 x383 - x85 x415 = -23056 e80: x85 x384 - x85 x416 = -209352 e81: x85 x385 - x85 x417 = -195536 e82: x86 x386 - x86 x418 = -1.075e5 e83: x86 x387 - x86 x419 = -2.46e4 e84: x86 x388 - x86 x420 = -7.99e4 e85: x86 x389 - x86 x421 = -1.86e5 e86: x87 x390 - x87 x422 = -5.28e3 e87: x87 x391 - x87 x423 = -3.124e4 e88: x87 x392 - x87 x424 = -67155 e89: x87 x393 - x87 x425 = -76175 e90: x88 x394 - x88 x426 = -5.79e4 e91: x88 x395 - x88 x427 = -9.85e3 e92: x88 x396 - x88 x428 = -3.57e4 e93: x88 x397 - x88 x429 = -1.3455e5 e94: x89 x398 - x89 x430 = -2626 e95: x89 x399 - x89 x431 = -33748 e96: x89 x400 - x89 x432 = -23088 e97: x89 x401 - x89 x433 = -67496 e98: x370 <= 2.25e3 e99: x371 <= 575 e100: x372 <= 203 e101: x373 <= 1393 e102: x374 <= 298 e103: x375 <= 2353 e104: x376 <= 364 e105: x377 <= 2396 e106: x378 <= 883 e107: x379 <= 1292 e108: x380 <= 2398 e109: x381 <= 862 e110: x382 <= 1257 e111: x383 <= 2354 e112: x384 <= 327 e113: x385 <= 341 e114: x386 <= 1.68e3 e115: x387 <= 2476 e116: x388 <= 2105 e117: x389 <= 1092 e118: x390 <= 1759 e119: x391 <= 301 e120: x392 <= 139 e121: x393 <= 1354 e122: x394 <= 58 e123: x395 <= 2025 e124: x396 <= 511 e125: x397 <= 124 e126: x398 <= 2084 e127: x399 <= 538 e128: x400 <= 537 e129: x401 <= 225 e130: x402 <= 2278 e131: x403 <= 1665 e132: x404 <= 1333 e133: x405 <= 2093 e134: x406 <= 439 e135: x407 <= 2755 e136: x408 <= 935 e137: x409 <= 2669 e138: x410 <= 2.73e3 e139: x411 <= 1823 e140: x412 <= 2.96e3 e141: x413 <= 2369 e142: x414 <= 2664 e143: x415 <= 2616 e144: x416 <= 2706 e145: x417 <= 2563 e146: x418 <= 2755 e147: x419 <= 2722 e148: x420 <= 2904 e149: x421 <= 2952 e150: x422 <= 1855 e151: x423 <= 869 e152: x424 <= 1.36e3 e153: x425 <= 2739 e154: x426 <= 1216 e155: x427 <= 2222 e156: x428 <= 1225 e157: x429 <= 2815 e158: x430 <= 2185 e159: x431 <= 1836 e160: x432 <= 1425 e161: x433 <= 2821 e162: - 2 x10 - 7 x26 - 7 x42 - 7 x58 - 6 x74 - 2704 x250 - 2504 x266 - 2966 x282 - 1446 x298 - 2236 x314 - 2808 x330 - 1753 x346 - 1379 x362 - x122 x402 - x138 x406 - x154 x410 - x170 x414 - x186 x418 - x202 x422 - x218 x426 - x234 x430 >= -41846 e163: - 9 x10 - 6 x26 - 9 x42 - 9 x58 - 9 x74 - 2282 x250 - 2858 x266 - 2563 x282 - 1.73e3 x298 - 2292 x314 - 1.63e3 x330 - 1716 x346 - 2352 x362 - x122 x403 - x138 x407 - x154 x411 - x170 x415 - x186 x419 - x202 x423 - x218 x427 - x234 x431 >= -204526 e164: - 8 x10 - 4 x26 - 7 x42 - 5 x58 - 2 x74 - 2753 x250 - 2823 x266 - 2218 x282 - 2.83e3 x298 - 1911 x314 - 2281 x330 - 8.9e2 x346 - 2532 x362 - x122 x404 - x138 x408 - x154 x412 - x170 x416 - x186 x420 - x202 x424 - x218 x428 - x234 x432 >= -172382 e165: - x10 - 6 x26 - x42 - x58 - x74 - 716 x250 - 2142 x266 - 2127 x282 - 2558 x298 - 2001 x314 - 1996 x330 - 1853 x346 - 626 x362 - x122 x405 - x138 x409 - x154 x413 - x170 x417 - x186 x421 - x202 x425 - x218 x429 - x234 x433 >= -47236 e166: - 2 x11 - 7 x27 - 7 x43 - 7 x59 - 6 x75 - 2704 x251 - 2504 x267 - 2966 x283 - 1446 x299 - 2236 x315 - 2808 x331 - 1753 x347 - 1379 x363 - x123 x402 - x139 x406 - x155 x410 - x171 x414 - x187 x418 - x203 x422 - x219 x426 - x235 x430 >= -1.5645e5 e167: - 9 x11 - 6 x27 - 9 x43 - 9 x59 - 9 x75 - 2282 x251 - 2858 x267 - 2563 x283 - 1.73e3 x299 - 2292 x315 - 1.63e3 x331 - 1716 x347 - 2352 x363 - x123 x403 - x139 x407 - x155 x411 - x171 x415 - x187 x419 - x203 x423 - x219 x427 - x235 x431 >= -139725 e168: - 8 x11 - 4 x27 - 7 x43 - 5 x59 - 2 x75 - 2753 x251 - 2823 x267 - 2218 x283 - 2.83e3 x299 - 1911 x315 - 2281 x331 - 8.9e2 x347 - 2532 x363 - x123 x404 - x139 x408 - x155 x412 - x171 x416 - x187 x420 - x203 x424 - x219 x428 - x235 x432 >= -164625 e169: - x11 - 6 x27 - x43 - x59 - x75 - 716 x251 - 2142 x267 - 2127 x283 - 2558 x299 - 2001 x315 - 1996 x331 - 1853 x347 - 626 x363 - x123 x405 - x139 x409 - x155 x413 - x171 x417 - x187 x421 - x203 x425 - x219 x429 - x235 x433 >= -2.97e4 e170: - 2 x12 - 7 x28 - 7 x44 - 7 x60 - 6 x76 - 2704 x252 - 2504 x268 - 2966 x284 - 1446 x300 - 2236 x316 - 2808 x332 - 1753 x348 - 1379 x364 - x124 x402 - x140 x406 - x156 x410 - x172 x414 - x188 x418 - x204 x422 - x220 x426 - x236 x430 >= -1.7102e5 e171: - 9 x12 - 6 x28 - 9 x44 - 9 x60 - 9 x76 - 2282 x252 - 2858 x268 - 2563 x284 - 1.73e3 x300 - 2292 x316 - 1.63e3 x332 - 1716 x348 - 2352 x364 - x124 x403 - x140 x407 - x156 x411 - x172 x415 - x188 x419 - x204 x423 - x220 x427 - x236 x431 >= -8.449e4 e172: - 8 x12 - 4 x28 - 7 x44 - 5 x60 - 2 x76 - 2753 x252 - 2823 x268 - 2218 x284 - 2.83e3 x300 - 1911 x316 - 2281 x332 - 8.9e2 x348 - 2532 x364 - x124 x404 - x140 x408 - x156 x412 - x172 x416 - x188 x420 - x204 x424 - x220 x428 - x236 x432 >= -163455 e173: - x12 - 6 x28 - x44 - x60 - x76 - 716 x252 - 2142 x268 - 2127 x284 - 2558 x300 - 2001 x316 - 1996 x332 - 1853 x348 - 626 x364 - x124 x405 - x140 x409 - x156 x413 - x172 x417 - x188 x421 - x204 x425 - x220 x429 - x236 x433 >= -1.7646e5 e174: - 2 x13 - 7 x29 - 7 x45 - 7 x61 - 6 x77 - 2704 x253 - 2504 x269 - 2966 x285 - 1446 x301 - 2236 x317 - 2808 x333 - 1753 x349 - 1379 x365 - x125 x402 - x141 x406 - x157 x410 - x173 x414 - x189 x418 - x205 x422 - x221 x426 - x237 x430 >= -126165 e175: - 9 x13 - 6 x29 - 9 x45 - 9 x61 - 9 x77 - 2282 x253 - 2858 x269 - 2563 x285 - 1.73e3 x301 - 2292 x317 - 1.63e3 x333 - 1716 x349 - 2352 x365 - x125 x403 - x141 x407 - x157 x411 - x173 x415 - x189 x419 - x205 x423 - x221 x427 - x237 x431 >= -108615 e176: - 8 x13 - 4 x29 - 7 x45 - 5 x61 - 2 x77 - 2753 x253 - 2823 x269 - 2218 x285 - 2.83e3 x301 - 1911 x317 - 2281 x333 - 8.9e2 x349 - 2532 x365 - x125 x404 - x141 x408 - x157 x412 - x173 x416 - x189 x420 - x205 x424 - x221 x428 - x237 x432 >= -326625 e177: - x13 - 6 x29 - x45 - x61 - x77 - 716 x253 - 2142 x269 - 2127 x285 - 2558 x301 - 2001 x317 - 1996 x333 - 1853 x349 - 626 x365 - x125 x405 - x141 x409 - x157 x413 - x173 x417 - x189 x421 - x205 x425 - x221 x429 - x237 x433 >= -4.5435e5 e178: - 2 x14 - 7 x30 - 7 x46 - 7 x62 - 6 x78 - 2704 x254 - 2504 x270 - 2966 x286 - 1446 x302 - 2236 x318 - 2808 x334 - 1753 x350 - 1379 x366 - x126 x402 - x142 x406 - x158 x410 - x174 x414 - x190 x418 - x206 x422 - x222 x426 - x238 x430 >= -1.1388e5 e179: - 9 x14 - 6 x30 - 9 x46 - 9 x62 - 9 x78 - 2282 x254 - 2858 x270 - 2563 x286 - 1.73e3 x302 - 2292 x318 - 1.63e3 x334 - 1716 x350 - 2352 x366 - x126 x403 - x142 x407 - x158 x411 - x174 x415 - x190 x419 - x206 x423 - x222 x427 - x238 x431 >= -3.162e4 e180: - 8 x14 - 4 x30 - 7 x46 - 5 x62 - 2 x78 - 2753 x254 - 2823 x270 - 2218 x286 - 2.83e3 x302 - 1911 x318 - 2281 x334 - 8.9e2 x350 - 2532 x366 - x126 x404 - x142 x408 - x158 x412 - x174 x416 - x190 x420 - x206 x424 - x222 x428 - x238 x432 >= -2.286e4 e181: - x14 - 6 x30 - x46 - x62 - x78 - 716 x254 - 2142 x270 - 2127 x286 - 2558 x302 - 2001 x318 - 1996 x334 - 1853 x350 - 626 x366 - x126 x405 - x142 x409 - x158 x413 - x174 x417 - x190 x421 - x206 x425 - x222 x429 - x238 x433 >= -7.542e4 e182: - 2 x15 - 7 x31 - 7 x47 - 7 x63 - 6 x79 - 2704 x255 - 2504 x271 - 2966 x287 - 1446 x303 - 2236 x319 - 2808 x335 - 1753 x351 - 1379 x367 - x127 x402 - x143 x406 - x159 x410 - x175 x414 - x191 x418 - x207 x422 - x223 x426 - x239 x430 >= -39514 e183: - 9 x15 - 6 x31 - 9 x47 - 9 x63 - 9 x79 - 2282 x255 - 2858 x271 - 2563 x287 - 1.73e3 x303 - 2292 x319 - 1.63e3 x335 - 1716 x351 - 2352 x367 - x127 x403 - x143 x407 - x159 x411 - x175 x415 - x191 x419 - x207 x423 - x223 x427 - x239 x431 >= -19734 e184: - 8 x15 - 4 x31 - 7 x47 - 5 x63 - 2 x79 - 2753 x255 - 2823 x271 - 2218 x287 - 2.83e3 x303 - 1911 x319 - 2281 x335 - 8.9e2 x351 - 2532 x367 - x127 x404 - x143 x408 - x159 x412 - x175 x416 - x191 x420 - x207 x424 - x223 x428 - x239 x432 >= -7429 e185: - x15 - 6 x31 - x47 - x63 - x79 - 716 x255 - 2142 x271 - 2127 x287 - 2558 x303 - 2001 x319 - 1996 x335 - 1853 x351 - 626 x367 - x127 x405 - x143 x409 - x159 x413 - x175 x417 - x191 x421 - x207 x425 - x223 x429 - x239 x433 >= -4393 e186: - 2 x16 - 7 x32 - 7 x48 - 7 x64 - 6 x80 - 2704 x256 - 2504 x272 - 2966 x288 - 1446 x304 - 2236 x320 - 2808 x336 - 1753 x352 - 1379 x368 - x128 x402 - x144 x406 - x160 x410 - x176 x414 - x192 x418 - x208 x422 - x224 x426 - x240 x430 >= -1.661e5 e187: - 9 x16 - 6 x32 - 9 x48 - 9 x64 - 9 x80 - 2282 x256 - 2858 x272 - 2563 x288 - 1.73e3 x304 - 2292 x320 - 1.63e3 x336 - 1716 x352 - 2352 x368 - x128 x403 - x144 x407 - x160 x411 - x176 x415 - x192 x419 - x208 x423 - x224 x427 - x240 x431 >= -1.366e5 e188: - 8 x16 - 4 x32 - 7 x48 - 5 x64 - 2 x80 - 2753 x256 - 2823 x272 - 2218 x288 - 2.83e3 x304 - 1911 x320 - 2281 x336 - 8.9e2 x352 - 2532 x368 - x128 x404 - x144 x408 - x160 x412 - x176 x416 - x192 x420 - x208 x424 - x224 x428 - x240 x432 >= -4.13e4 e189: - x16 - 6 x32 - x48 - x64 - x80 - 716 x256 - 2142 x272 - 2127 x288 - 2558 x304 - 2001 x320 - 1996 x336 - 1853 x352 - 626 x368 - x128 x405 - x144 x409 - x160 x413 - x176 x417 - x192 x421 - x208 x425 - x224 x429 - x240 x433 >= -1.546e5 e190: - 2 x17 - 7 x33 - 7 x49 - 7 x65 - 6 x81 - 2704 x257 - 2504 x273 - 2966 x289 - 1446 x305 - 2236 x321 - 2808 x337 - 1753 x353 - 1379 x369 - x129 x402 - x145 x406 - x161 x410 - x177 x414 - x193 x418 - x209 x422 - x225 x426 - x241 x430 >= -55935 e191: - 9 x17 - 6 x33 - 9 x49 - 9 x65 - 9 x81 - 2282 x257 - 2858 x273 - 2563 x289 - 1.73e3 x305 - 2292 x321 - 1.63e3 x337 - 1716 x353 - 2352 x369 - x129 x403 - x145 x407 - x161 x411 - x177 x415 - x193 x419 - x209 x423 - x225 x427 - x241 x431 >= -28755 e192: - 8 x17 - 4 x33 - 7 x49 - 5 x65 - 2 x81 - 2753 x257 - 2823 x273 - 2218 x289 - 2.83e3 x305 - 1911 x321 - 2281 x337 - 8.9e2 x353 - 2532 x369 - x129 x404 - x145 x408 - x161 x412 - x177 x416 - x193 x420 - x209 x424 - x225 x428 - x241 x432 >= -9.351e4 e193: - x17 - 6 x33 - x49 - x65 - x81 - 716 x257 - 2142 x273 - 2127 x289 - 2558 x305 - 2001 x321 - 1996 x337 - 1853 x353 - 626 x369 - x129 x405 - x145 x409 - x161 x413 - x177 x417 - x193 x421 - x209 x425 - x225 x429 - x241 x433 >= -11205 e194: x82 <= 134 e195: x83 <= 74 e196: x84 <= 26 e197: x85 <= 88 e198: x86 <= 100 e199: x87 <= 55 e200: x88 <= 50 e201: x89 <= 26 e202: x90 <= 0 e203: x91 <= 0 e204: x92 <= 0 e205: x93 <= 0 e206: x94 <= 0 e207: x95 <= 0 e208: x96 <= 0 e209: x97 <= 0 Bounds x2 <= 1e5 x3 <= 1e5 x4 <= 1e5 x5 <= 1e5 x6 <= 1e5 x7 <= 1e5 x8 <= 1e5 x9 <= 1e5 x10 <= 1e5 x11 <= 1e5 x12 <= 1e5 x13 <= 1e5 x14 <= 1e5 x15 <= 1e5 x16 <= 1e5 x17 <= 1e5 x18 <= 1e5 x19 <= 1e5 x20 <= 1e5 x21 <= 1e5 x22 <= 1e5 x23 <= 1e5 x24 <= 1e5 x25 <= 1e5 x26 <= 1e5 x27 <= 1e5 x28 <= 1e5 x29 <= 1e5 x30 <= 1e5 x31 <= 1e5 x32 <= 1e5 x33 <= 1e5 x34 <= 1e5 x35 <= 1e5 x36 <= 1e5 x37 <= 1e5 x38 <= 1e5 x39 <= 1e5 x40 <= 1e5 x41 <= 1e5 x42 <= 1e5 x43 <= 1e5 x44 <= 1e5 x45 <= 1e5 x46 <= 1e5 x47 <= 1e5 x48 <= 1e5 x49 <= 1e5 x50 <= 1e5 x51 <= 1e5 x52 <= 1e5 x53 <= 1e5 x54 <= 1e5 x55 <= 1e5 x56 <= 1e5 x57 <= 1e5 x58 <= 1e5 x59 <= 1e5 x60 <= 1e5 x61 <= 1e5 x62 <= 1e5 x63 <= 1e5 x64 <= 1e5 x65 <= 1e5 x66 <= 1e5 x67 <= 1e5 x68 <= 1e5 x69 <= 1e5 x70 <= 1e5 x71 <= 1e5 x72 <= 1e5 x73 <= 1e5 x74 <= 1e5 x75 <= 1e5 x76 <= 1e5 x77 <= 1e5 x78 <= 1e5 x79 <= 1e5 x80 <= 1e5 x81 <= 1e5 x82 <= 1e5 x83 <= 1e5 x84 <= 1e5 x85 <= 1e5 x86 <= 1e5 x87 <= 1e5 x88 <= 1e5 x89 <= 1e5 x90 <= 1e5 x91 <= 1e5 x92 <= 1e5 x93 <= 1e5 x94 <= 1e5 x95 <= 1e5 x96 <= 1e5 x97 <= 1e5 x98 <= 1e5 x99 <= 1e5 x100 <= 1e5 x101 <= 1e5 x102 <= 1e5 x103 <= 1e5 x104 <= 1e5 x105 <= 1e5 x106 <= 1e5 x107 <= 1e5 x108 <= 1e5 x109 <= 1e5 x110 <= 1e5 x111 <= 1e5 x112 <= 1e5 x113 <= 1e5 x114 <= 1e5 x115 <= 1e5 x116 <= 1e5 x117 <= 1e5 x118 <= 1e5 x119 <= 1e5 x120 <= 1e5 x121 <= 1e5 x122 <= 1e5 x123 <= 1e5 x124 <= 1e5 x125 <= 1e5 x126 <= 1e5 x127 <= 1e5 x128 <= 1e5 x129 <= 1e5 x130 <= 1e5 x131 <= 1e5 x132 <= 1e5 x133 <= 1e5 x134 <= 1e5 x135 <= 1e5 x136 <= 1e5 x137 <= 1e5 x138 <= 1e5 x139 <= 1e5 x140 <= 1e5 x141 <= 1e5 x142 <= 1e5 x143 <= 1e5 x144 <= 1e5 x145 <= 1e5 x146 <= 1e5 x147 <= 1e5 x148 <= 1e5 x149 <= 1e5 x150 <= 1e5 x151 <= 1e5 x152 <= 1e5 x153 <= 1e5 x154 <= 1e5 x155 <= 1e5 x156 <= 1e5 x157 <= 1e5 x158 <= 1e5 x159 <= 1e5 x160 <= 1e5 x161 <= 1e5 x162 <= 1e5 x163 <= 1e5 x164 <= 1e5 x165 <= 1e5 x166 <= 1e5 x167 <= 1e5 x168 <= 1e5 x169 <= 1e5 x170 <= 1e5 x171 <= 1e5 x172 <= 1e5 x173 <= 1e5 x174 <= 1e5 x175 <= 1e5 x176 <= 1e5 x177 <= 1e5 x178 <= 1e5 x179 <= 1e5 x180 <= 1e5 x181 <= 1e5 x182 <= 1e5 x183 <= 1e5 x184 <= 1e5 x185 <= 1e5 x186 <= 1e5 x187 <= 1e5 x188 <= 1e5 x189 <= 1e5 x190 <= 1e5 x191 <= 1e5 x192 <= 1e5 x193 <= 1e5 x194 <= 1e5 x195 <= 1e5 x196 <= 1e5 x197 <= 1e5 x198 <= 1e5 x199 <= 1e5 x200 <= 1e5 x201 <= 1e5 x202 <= 1e5 x203 <= 1e5 x204 <= 1e5 x205 <= 1e5 x206 <= 1e5 x207 <= 1e5 x208 <= 1e5 x209 <= 1e5 x210 <= 1e5 x211 <= 1e5 x212 <= 1e5 x213 <= 1e5 x214 <= 1e5 x215 <= 1e5 x216 <= 1e5 x217 <= 1e5 x218 <= 1e5 x219 <= 1e5 x220 <= 1e5 x221 <= 1e5 x222 <= 1e5 x223 <= 1e5 x224 <= 1e5 x225 <= 1e5 x226 <= 1e5 x227 <= 1e5 x228 <= 1e5 x229 <= 1e5 x230 <= 1e5 x231 <= 1e5 x232 <= 1e5 x233 <= 1e5 x234 <= 1e5 x235 <= 1e5 x236 <= 1e5 x237 <= 1e5 x238 <= 1e5 x239 <= 1e5 x240 <= 1e5 x241 <= 1e5 x242 <= 1e5 x243 <= 1e5 x244 <= 1e5 x245 <= 1e5 x246 <= 1e5 x247 <= 1e5 x248 <= 1e5 x249 <= 1e5 x250 <= 1e5 x251 <= 1e5 x252 <= 1e5 x253 <= 1e5 x254 <= 1e5 x255 <= 1e5 x256 <= 1e5 x257 <= 1e5 x258 <= 1e5 x259 <= 1e5 x260 <= 1e5 x261 <= 1e5 x262 <= 1e5 x263 <= 1e5 x264 <= 1e5 x265 <= 1e5 x266 <= 1e5 x267 <= 1e5 x268 <= 1e5 x269 <= 1e5 x270 <= 1e5 x271 <= 1e5 x272 <= 1e5 x273 <= 1e5 x274 <= 1e5 x275 <= 1e5 x276 <= 1e5 x277 <= 1e5 x278 <= 1e5 x279 <= 1e5 x280 <= 1e5 x281 <= 1e5 x282 <= 1e5 x283 <= 1e5 x284 <= 1e5 x285 <= 1e5 x286 <= 1e5 x287 <= 1e5 x288 <= 1e5 x289 <= 1e5 x290 <= 1e5 x291 <= 1e5 x292 <= 1e5 x293 <= 1e5 x294 <= 1e5 x295 <= 1e5 x296 <= 1e5 x297 <= 1e5 x298 <= 1e5 x299 <= 1e5 x300 <= 1e5 x301 <= 1e5 x302 <= 1e5 x303 <= 1e5 x304 <= 1e5 x305 <= 1e5 x306 <= 1e5 x307 <= 1e5 x308 <= 1e5 x309 <= 1e5 x310 <= 1e5 x311 <= 1e5 x312 <= 1e5 x313 <= 1e5 x314 <= 1e5 x315 <= 1e5 x316 <= 1e5 x317 <= 1e5 x318 <= 1e5 x319 <= 1e5 x320 <= 1e5 x321 <= 1e5 x322 <= 1e5 x323 <= 1e5 x324 <= 1e5 x325 <= 1e5 x326 <= 1e5 x327 <= 1e5 x328 <= 1e5 x329 <= 1e5 x330 <= 1e5 x331 <= 1e5 x332 <= 1e5 x333 <= 1e5 x334 <= 1e5 x335 <= 1e5 x336 <= 1e5 x337 <= 1e5 x338 <= 1e5 x339 <= 1e5 x340 <= 1e5 x341 <= 1e5 x342 <= 1e5 x343 <= 1e5 x344 <= 1e5 x345 <= 1e5 x346 <= 1e5 x347 <= 1e5 x348 <= 1e5 x349 <= 1e5 x350 <= 1e5 x351 <= 1e5 x352 <= 1e5 x353 <= 1e5 x354 <= 1e5 x355 <= 1e5 x356 <= 1e5 x357 <= 1e5 x358 <= 1e5 x359 <= 1e5 x360 <= 1e5 x361 <= 1e5 x362 <= 1e5 x363 <= 1e5 x364 <= 1e5 x365 <= 1e5 x366 <= 1e5 x367 <= 1e5 x368 <= 1e5 x369 <= 1e5 x370 <= 1e5 x371 <= 1e5 x372 <= 1e5 x373 <= 1e5 x374 <= 1e5 x375 <= 1e5 x376 <= 1e5 x377 <= 1e5 x378 <= 1e5 x379 <= 1e5 x380 <= 1e5 x381 <= 1e5 x382 <= 1e5 x383 <= 1e5 x384 <= 1e5 x385 <= 1e5 x386 <= 1e5 x387 <= 1e5 x388 <= 1e5 x389 <= 1e5 x390 <= 1e5 x391 <= 1e5 x392 <= 1e5 x393 <= 1e5 x394 <= 1e5 x395 <= 1e5 x396 <= 1e5 x397 <= 1e5 x398 <= 1e5 x399 <= 1e5 x400 <= 1e5 x401 <= 1e5 x402 <= 1e5 x403 <= 1e5 x404 <= 1e5 x405 <= 1e5 x406 <= 1e5 x407 <= 1e5 x408 <= 1e5 x409 <= 1e5 x410 <= 1e5 x411 <= 1e5 x412 <= 1e5 x413 <= 1e5 x414 <= 1e5 x415 <= 1e5 x416 <= 1e5 x417 <= 1e5 x418 <= 1e5 x419 <= 1e5 x420 <= 1e5 x421 <= 1e5 x422 <= 1e5 x423 <= 1e5 x424 <= 1e5 x425 <= 1e5 x426 <= 1e5 x427 <= 1e5 x428 <= 1e5 x429 <= 1e5 x430 <= 1e5 x431 <= 1e5 x432 <= 1e5 x433 <= 1e5 End