\ Equation counts \ Total E G L N X C B \ 5 4 0 1 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 40 40 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 240 160 80 0 \ Minimize obj: - 0.22 x2 - 0.43 x3 - 0.11 x4 - 0.3 x5 - 0.61 x6 + 0.46 x7 - 0.65 x8 + 0.41 x9 + 0.4 x10 + 0.01 x11 - 0.94 x12 + 0.2 x13 + 0.69 x14 - 0.28 x15 - 0.11 x16 - 0.42 x17 - 0.05 x18 - 0.59 x19 - 0.57 x20 + 0.64 x21 + 0.11 x22 - 0.53 x23 - 0.03 x24 + 0.9 x25 + 0.34 x26 + 0.64 x27 + 0.79 x28 - 0.76 x29 + 0.01 x30 + 0.83 x31 + 0.24 x32 + 0.55 x33 + 0.81 x34 - 0.94 x35 + 0.46 x36 + 0.27 x37 + 0.57 x38 + 0.43 x39 + 0.9 x40 - 0.12 x41 + [ - 1.52 x2^2 - 0.6 x2 * x3 - 1.04 x2 * x4 + 2.96 x2 * x5 + 3.84 x2 * x6 + 3.92 x2 * x7 - 3.32 x2 * x8 - 1.16 x2 * x9 + 2.8 x2 * x10 - 0.8 x2 * x11 + 0.64 x2 * x12 + 0.2 x2 * x13 + 1.2 x2 * x14 + 0.64 x2 * x15 + 1.96 x2 * x16 - 1.08 x2 * x17 + 1.6 x2 * x18 - 1.12 x2 * x19 + 2.68 x2 * x21 + 1.92 x2 * x22 + 1.2 x2 * x23 + 1.24 x2 * x24 - 0.4 x2 * x25 - 0.4 x2 * x26 + 0.12 x2 * x27 + 2.32 x2 * x28 + 2.36 x2 * x29 + 3.28 x2 * x30 - 3.4 x2 * x31 + 2.12 x2 * x32 + 1.68 x2 * x33 - 0.92 x2 * x34 + 3.28 x2 * x35 + 0.88 x2 * x36 - 2.28 x2 * x37 + 3.2 x2 * x38 + 2.4 x2 * x39 + 1.72 x2 * x40 + 3.16 x2 * x41 + 0.8 x3^2 - 2.08 x3 * x4 - 1.56 x3 * x5 - 3.52 x3 * x6 + 0.92 x3 * x7 - 3.8 x3 * x8 + 1.24 x3 * x9 - 2.2 x3 * x10 - 0.48 x3 * x11 - 0.68 x3 * x12 + x3 * x13 - 2.16 x3 * x14 - 3.72 x3 * x15 - 0.32 x3 * x16 - 1.64 x3 * x17 - 1.04 x3 * x18 - 1.52 x3 * x19 + 2.2 x3 * x20 + 1.92 x3 * x21 - 3.8 x3 * x22 + 0.72 x3 * x23 + 2.64 x3 * x25 - 3.72 x3 * x26 + 0.4 x3 * x27 + 1.12 x3 * x28 - 3.8 x3 * x29 + 0.2 x3 * x30 - 1.64 x3 * x31 + 1.16 x3 * x33 - 1.6 x3 * x34 + 0.2 x3 * x35 - 2.76 x3 * x36 + 0.24 x3 * x37 - 3.08 x3 * x38 - 3.28 x3 * x39 - 2.88 x3 * x40 + 1.68 x3 * x41 - 2.08 x4 * x5 + 3.36 x4 * x6 + 2.36 x4 * x7 - 1.36 x4 * x8 - 1.28 x4 * x9 - 2.8 x4 * x10 - 0.88 x4 * x11 - 2.08 x4 * x12 + 0.4 x4 * x13 + 0.64 x4 * x14 - 0.68 x4 * x15 + 1.96 x4 * x16 - 0.24 x4 * x17 - 1.6 x4 * x18 - 1.88 x4 * x19 + 1.48 x4 * x20 + 0.64 x4 * x21 + 2.36 x4 * x22 - 1.76 x4 * x23 - 1.84 x4 * x24 + 0.96 x4 * x25 - 0.08 x4 * x26 - 3.6 x4 * x27 + 3.68 x4 * x28 - 0.32 x4 * x29 + 2.68 x4 * x30 + 2.36 x4 * x31 - 0.08 x4 * x32 + 2.44 x4 * x33 + 0.24 x4 * x34 + 1.88 x4 * x35 + 1.52 x4 * x36 + 1.56 x4 * x37 + 2.64 x4 * x38 + 1.24 x4 * x39 + 3.08 x4 * x40 + 0.12 x4 * x41 - 0.1 x5^2 - 0.56 x5 * x6 + 1.44 x5 * x7 + 0.24 x5 * x8 - 2 x5 * x9 - 2.72 x5 * x10 - 3 x5 * x11 + 2.8 x5 * x12 + 0.24 x5 * x13 - 3.08 x5 * x14 + 0.04 x5 * x15 - 1.92 x5 * x16 - 1.4 x5 * x17 + 1.92 x5 * x18 + 1.52 x5 * x19 - 3.28 x5 * x20 + 1.32 x5 * x21 - 3.12 x5 * x22 + 0.48 x5 * x23 + 2.16 x5 * x24 - 1.44 x5 * x25 + 3.88 x5 * x26 - 2.16 x5 * x27 - 2.24 x5 * x28 - 0.48 x5 * x29 + 3.92 x5 * x30 + 3.52 x5 * x31 - 3.8 x5 * x32 - 1.08 x5 * x33 - 3.36 x5 * x34 - 3.88 x5 * x35 + 2.2 x5 * x36 + 3.64 x5 * x37 - 0.76 x5 * x38 - 2.68 x5 * x39 - 2.68 x5 * x40 + 1.24 x5 * x41 - 1.76 x6^2 - 3.48 x6 * x7 - 0.84 x6 * x8 - 3.92 x6 * x9 - 2.04 x6 * x10 + 2.64 x6 * x11 + 2.12 x6 * x12 + 1.04 x6 * x13 - 3.08 x6 * x15 - 3.04 x6 * x16 - 1.4 x6 * x18 - 1.04 x6 * x19 + 0.12 x6 * x20 + 1.76 x6 * x21 + 0.08 x6 * x22 + 0.24 x6 * x23 + 3.72 x6 * x24 - 1.96 x6 * x25 + 3.4 x6 * x26 + 0.32 x6 * x27 + 1.28 x6 * x28 - 3.08 x6 * x29 - 2.44 x6 * x30 + 2.04 x6 * x31 - 3.72 x6 * x32 - 2.28 x6 * x33 - 0.8 x6 * x34 - 0.24 x6 * x35 + 2.6 x6 * x36 + 1.36 x6 * x37 - 3.16 x6 * x38 + 0.76 x6 * x39 + 0.52 x6 * x40 + 2 x6 * x41 + 0.72 x7^2 - 2.44 x7 * x8 + 2.68 x7 * x9 + 3.4 x7 * x10 + 0.36 x7 * x11 - 1.24 x7 * x12 + 3.16 x7 * x13 + 2.96 x7 * x14 + 1.48 x7 * x15 + 3.32 x7 * x16 + 0.92 x7 * x17 - 3.24 x7 * x18 - 3.24 x7 * x19 - 0.56 x7 * x20 - 1.72 x7 * x21 - 0.36 x7 * x22 + 3.12 x7 * x23 + 1.04 x7 * x24 - 0.28 x7 * x25 - 0.08 x7 * x26 - 1.36 x7 * x27 + 0.12 x7 * x28 + 0.96 x7 * x29 - 2.8 x7 * x30 - 1.36 x7 * x31 - 0.76 x7 * x32 - 2.12 x7 * x33 + 2.48 x7 * x34 - 2.28 x7 * x35 + 1.56 x7 * x36 - 0.4 x7 * x37 + 1.56 x7 * x38 - 0.12 x7 * x39 + 1.96 x7 * x40 + 2.92 x7 * x41 + 1.72 x8^2 + 0.76 x8 * x9 - 0.08 x8 * x10 - 3.2 x8 * x11 + 1.16 x8 * x12 - 3.68 x8 * x13 - 0.08 x8 * x14 - 1.04 x8 * x15 - 2.08 x8 * x16 + 3.92 x8 * x17 - 0.08 x8 * x18 + 1.16 x8 * x19 - x8 * x20 - 3.32 x8 * x21 + 2.52 x8 * x22 - 2.36 x8 * x23 + 1.76 x8 * x24 - 2.48 x8 * x25 + 2.68 x8 * x26 + 0.52 x8 * x28 - 3.52 x8 * x29 + 0.2 x8 * x30 - 0.12 x8 * x31 + 0.36 x8 * x32 - 3.88 x8 * x33 + 3.12 x8 * x34 + 1.16 x8 * x35 + 2.68 x8 * x36 - 1.92 x8 * x37 + 2.84 x8 * x38 - 0.64 x8 * x39 - 0.72 x8 * x40 + 3.44 x8 * x41 + 1.74 x9^2 + 2.64 x9 * x10 - 1.24 x9 * x11 - 2.76 x9 * x12 - 2 x9 * x13 + 3.4 x9 * x14 - 3.24 x9 * x15 + 2.52 x9 * x16 - 2.2 x9 * x17 + 2.88 x9 * x18 - 2.88 x9 * x19 - 1.04 x9 * x20 + 2.4 x9 * x21 + 2.4 x9 * x22 + 0.2 x9 * x23 + 3.4 x9 * x25 - 3.04 x9 * x26 + 0.68 x9 * x27 - 2.28 x9 * x28 + 1.64 x9 * x29 + 1.48 x9 * x30 + 1.24 x9 * x32 - 0.52 x9 * x33 - 2.52 x9 * x34 - 0.8 x9 * x35 - 0.24 x9 * x36 - 0.24 x9 * x37 - 1.68 x9 * x38 - 1.88 x9 * x39 - 3.24 x9 * x40 - 1.4 x9 * x41 + 0.3 x10^2 + 3.88 x10 * x11 - 3.24 x10 * x12 + 2.6 x10 * x13 + 1.52 x10 * x14 + 1.92 x10 * x15 - 2.92 x10 * x16 - 1.32 x10 * x17 + 3.08 x10 * x18 - 3.72 x10 * x19 - x10 * x20 - 1.48 x10 * x21 - 3 x10 * x22 + 0.32 x10 * x23 + 3 x10 * x24 - 3.24 x10 * x25 + 1.56 x10 * x26 + 2.12 x10 * x27 + 0.2 x10 * x28 + 3.8 x10 * x29 - 0.36 x10 * x30 + 1.24 x10 * x31 + 0.84 x10 * x32 + 1.04 x10 * x33 + 1.48 x10 * x34 + 1.16 x10 * x35 + 1.8 x10 * x36 - 0.76 x10 * x37 + 2.88 x10 * x38 + 1.28 x10 * x39 - 3.64 x10 * x40 - 2.76 x10 * x41 + 0.18 x11^2 - 0.08 x11 * x12 + 2.52 x11 * x13 + 2.2 x11 * x14 - 2.16 x11 * x15 + 0.48 x11 * x16 + 0.88 x11 * x17 + 1.24 x11 * x18 - 3.76 x11 * x19 + 2.28 x11 * x20 - 1.08 x11 * x21 + 3.36 x11 * x22 - 0.32 x11 * x23 - 1.76 x11 * x24 - 2.32 x11 * x25 - 1.2 x11 * x26 + 1.8 x11 * x27 - 0.8 x11 * x28 - 0.36 x11 * x29 - 3.56 x11 * x30 + 3.64 x11 * x31 + 0.28 x11 * x32 - 3.96 x11 * x33 + 3.72 x11 * x34 + 0.36 x11 * x35 - 0.36 x11 * x36 + 0.04 x11 * x37 - 1.92 x11 * x38 + 0.68 x11 * x39 + 0.76 x11 * x40 + 0.64 x11 * x41 + 0.28 x12^2 + 2.12 x12 * x13 - 0.4 x12 * x14 - 3.28 x12 * x15 - 0.12 x12 * x16 - 3.16 x12 * x17 + 1.36 x12 * x18 + 1.44 x12 * x19 + 2.56 x12 * x20 + 3.32 x12 * x21 - 3.04 x12 * x22 - 3.72 x12 * x23 + 1.72 x12 * x24 + 2.88 x12 * x25 + 1.8 x12 * x26 + 2.24 x12 * x27 + 0.48 x12 * x28 + 2.24 x12 * x30 + 3.28 x12 * x31 - 1.36 x12 * x32 + 0.24 x12 * x33 - 2.64 x12 * x35 - 0.6 x12 * x36 - 3.16 x12 * x37 - 3 x12 * x38 + 2.4 x12 * x39 + 2.64 x12 * x40 + 0.48 x12 * x41 - 0.26 x13^2 - 2.64 x13 * x14 - 3.68 x13 * x15 - 0.8 x13 * x16 - 2.84 x13 * x17 + 1.92 x13 * x18 + 2.24 x13 * x19 + 2 x13 * x20 - 2.52 x13 * x21 + 3.48 x13 * x22 + 3 x13 * x23 + 2.88 x13 * x24 + 3.44 x13 * x25 - 1.68 x13 * x26 - 1.96 x13 * x27 - 1.36 x13 * x28 - 0.08 x13 * x29 + 2.72 x13 * x30 - 1.8 x13 * x32 - 1.4 x13 * x33 + 2.56 x13 * x34 + 0.96 x13 * x35 + 1.72 x13 * x36 - 0.6 x13 * x37 - 3.16 x13 * x38 - 1.8 x13 * x39 + 2.16 x13 * x40 + 1.2 x13 * x41 - 1.64 x14^2 + 0.24 x14 * x15 + 2.64 x14 * x16 + 0.68 x14 * x17 + 2.72 x14 * x18 - 3.2 x14 * x19 - 2 x14 * x20 - 1.72 x14 * x21 - 0.6 x14 * x22 - 0.64 x14 * x23 + 0.48 x14 * x24 - 0.08 x14 * x25 - 0.2 x14 * x26 - 1.92 x14 * x27 + 2.4 x14 * x28 - 1.48 x14 * x29 - 2.48 x14 * x30 + 3.96 x14 * x31 - 0.2 x14 * x32 - 0.6 x14 * x33 - 3.2 x14 * x34 + 3.44 x14 * x35 - 2.04 x14 * x36 + 1.4 x14 * x38 + 1.44 x14 * x39 + 0.08 x14 * x40 - 2.68 x14 * x41 + 0.04 x15^2 + 1.2 x15 * x16 - 3.32 x15 * x17 - 0.12 x15 * x18 - 3.24 x15 * x19 - 1.96 x15 * x20 + 1.08 x15 * x21 - 0.44 x15 * x22 - 0.2 x15 * x23 - 1.28 x15 * x24 - 0.2 x15 * x25 + 1.64 x15 * x26 + 3.28 x15 * x27 + 0.56 x15 * x28 - 1.12 x15 * x29 + 0.84 x15 * x30 + 2.12 x15 * x31 + 0.52 x15 * x32 - 0.04 x15 * x33 + 2.04 x15 * x34 + 3.64 x15 * x35 - 2.88 x15 * x36 + 1.56 x15 * x37 - 1.84 x15 * x38 - 1.12 x15 * x39 - 3.36 x15 * x40 + 2.88 x15 * x41 - 0.94 x16^2 + 0.88 x16 * x17 + 0.84 x16 * x18 + 0.08 x16 * x19 + 0.44 x16 * x20 + 3.76 x16 * x21 + 0.84 x16 * x22 - 3.88 x16 * x23 - 2.16 x16 * x24 - 1.48 x16 * x25 + 0.36 x16 * x26 + 1.44 x16 * x27 - 0.96 x16 * x28 - 3.12 x16 * x29 - 1.8 x16 * x30 + 3.32 x16 * x31 - 3.72 x16 * x32 - 1.64 x16 * x33 - 0.68 x16 * x34 - 2.44 x16 * x35 - 3.88 x16 * x36 + 3.92 x16 * x37 + 2.48 x16 * x38 - 1.68 x16 * x39 - 3.92 x16 * x40 + 2.72 x16 * x41 - 1.72 x17^2 + 2.16 x17 * x18 + 3.08 x17 * x19 + 3.52 x17 * x20 + 2.2 x17 * x21 + 0.32 x17 * x22 + 0.48 x17 * x23 + 3.44 x17 * x24 + 2.64 x17 * x25 - 1.16 x17 * x26 - 1.44 x17 * x27 - 2.44 x17 * x28 - 3.56 x17 * x29 + 0.8 x17 * x30 - 1.48 x17 * x31 - 1.08 x17 * x32 - 0.24 x17 * x33 - 2.6 x17 * x34 + 3.64 x17 * x35 - 0.8 x17 * x36 - 0.6 x17 * x37 - 1.08 x17 * x38 + 0.64 x17 * x39 + 2.36 x17 * x40 + 1.08 x17 * x41 + 0.02 x18^2 + 2.64 x18 * x19 + 1.12 x18 * x22 - 3.12 x18 * x23 + 0.28 x18 * x24 + 0.08 x18 * x25 + 2.92 x18 * x26 - 0.24 x18 * x28 - 3.2 x18 * x29 + 3.16 x18 * x30 + 3.56 x18 * x31 - 3.48 x18 * x32 - 1.84 x18 * x33 + 2.04 x18 * x34 + 1.08 x18 * x35 - 3.36 x18 * x36 - 1.48 x18 * x37 - 1.4 x18 * x38 - 3.44 x18 * x39 - 1.76 x18 * x40 + 3.24 x18 * x41 + 0.4 x19^2 + 0.68 x19 * x20 - 2.04 x19 * x21 - 0.88 x19 * x22 + 3.2 x19 * x23 + 0.64 x19 * x24 - 3.76 x19 * x26 - 2.44 x19 * x27 + 3.6 x19 * x28 - 1.28 x19 * x29 + 0.96 x19 * x30 - 3.76 x19 * x31 + 3.84 x19 * x32 + 0.12 x19 * x33 + 3.68 x19 * x34 + 2.48 x19 * x35 + 2.16 x19 * x36 - 2.84 x19 * x37 - 3.88 x19 * x38 + 0.72 x19 * x39 + 1.24 x19 * x40 + 1.96 x19 * x41 - 0.3 x20^2 - 3.44 x20 * x21 - 1.36 x20 * x22 + 0.04 x20 * x23 - 3.6 x20 * x24 - 2.68 x20 * x25 - 2.56 x20 * x26 + 1.72 x20 * x27 - 2.72 x20 * x28 + 2.92 x20 * x29 + 1.76 x20 * x30 - 1.88 x20 * x31 + 2.08 x20 * x32 - 3.44 x20 * x33 + 3.04 x20 * x34 - 2.2 x20 * x35 - 0.92 x20 * x36 - 3.24 x20 * x37 - 0.28 x20 * x38 + 0.12 x20 * x39 + 2 x20 * x40 + 0.24 x20 * x41 + 0.8 x21^2 - 3.16 x21 * x22 + 0.16 x21 * x23 + 0.36 x21 * x24 + 2.4 x21 * x25 - 3.96 x21 * x26 + 1.28 x21 * x27 - 0.64 x21 * x28 - 0.16 x21 * x29 + 0.44 x21 * x30 - 1.04 x21 * x31 - 2.64 x21 * x32 + 1.44 x21 * x33 - 2.72 x21 * x34 + 3.36 x21 * x35 + 2.32 x21 * x36 + 2.8 x21 * x37 - 2.6 x21 * x38 + 2.08 x21 * x39 + 2.12 x21 * x40 + 2 x21 * x41 + 0.4 x22^2 + 3.64 x22 * x23 + 2.2 x22 * x25 + 0.52 x22 * x26 + 1.08 x22 * x27 + 2.6 x22 * x28 + 3.16 x22 * x29 - 1.72 x22 * x31 + 2.08 x22 * x32 - 0.52 x22 * x33 + 0.24 x22 * x34 - 3.6 x22 * x35 - 3.08 x22 * x36 + 3.64 x22 * x37 - 2.4 x22 * x38 + 2.76 x22 * x39 + 1.12 x22 * x40 - 3.2 x22 * x41 + 1.9 x23^2 + 4 x23 * x24 - 0.56 x23 * x25 - 3.84 x23 * x26 + 2.24 x23 * x27 - 3.56 x23 * x28 - 3.44 x23 * x29 - 2.12 x23 * x31 + 1.96 x23 * x32 - 3.8 x23 * x33 + 1.28 x23 * x34 + 3.64 x23 * x35 - 2.88 x23 * x36 - 1.2 x23 * x37 - 3 x23 * x38 - 1.92 x23 * x39 - 1.24 x23 * x40 - 0.64 x23 * x41 + 0.96 x24^2 + 3.68 x24 * x25 - 3.56 x24 * x26 - 4 x24 * x27 - 1.2 x24 * x28 - 0.16 x24 * x29 - 2.76 x24 * x30 + 2.76 x24 * x31 + 0.8 x24 * x32 + 3 x24 * x33 + 4 x24 * x34 - 3.68 x24 * x35 - 3.12 x24 * x36 + 3.64 x24 * x37 - 0.08 x24 * x38 - 0.68 x24 * x39 - 3.64 x24 * x40 - 2.76 x24 * x41 - 1.88 x25^2 + 3.72 x25 * x26 - 2 x25 * x27 - 0.52 x25 * x28 + 0.96 x25 * x29 + 3.88 x25 * x30 - 3.4 x25 * x31 + 3.24 x25 * x32 - 2.32 x25 * x33 + 3.6 x25 * x34 - 3.88 x25 * x35 + 2.32 x25 * x36 - 1.68 x25 * x37 - 1.24 x25 * x38 - 1.6 x25 * x39 - 2.44 x25 * x40 - 3.56 x25 * x41 + 1.34 x26^2 + 1.12 x26 * x27 - 2.76 x26 * x28 + 1.16 x26 * x29 - 2.32 x26 * x30 + 1.28 x26 * x31 + 3.8 x26 * x32 - 1.04 x26 * x33 - 3.84 x26 * x34 + 0.48 x26 * x35 + 3.76 x26 * x36 - 0.84 x26 * x37 + 0.88 x26 * x38 - 3.04 x26 * x39 - 3.88 x26 * x40 + 0.48 x26 * x41 - 1.46 x27^2 - 1.6 x27 * x28 + 2.6 x27 * x29 + 0.04 x27 * x30 + 2.08 x27 * x31 + 0.32 x27 * x33 - 2.64 x27 * x34 + 1.32 x27 * x35 - 2.84 x27 * x36 - 2.52 x27 * x37 - 0.84 x27 * x38 - 3.16 x27 * x39 + 3.88 x27 * x41 - 0.24 x28^2 - x28 * x29 + 1.8 x28 * x30 + 1.08 x28 * x31 + 2.44 x28 * x32 - 1.92 x28 * x33 - 3.12 x28 * x34 - 1.96 x28 * x35 + 3.88 x28 * x36 - 2.44 x28 * x37 + 2.48 x28 * x38 + 3.36 x28 * x39 - 3.36 x28 * x40 + 0.32 x28 * x41 + 1.86 x29^2 + 4 x29 * x30 + 0.84 x29 * x31 + 2.08 x29 * x32 + 0.4 x29 * x33 + 1.6 x29 * x34 - 0.04 x29 * x35 + 2.4 x29 * x36 - 3.92 x29 * x37 + 0.96 x29 * x38 + 3.84 x29 * x39 + 3.36 x29 * x40 - 3.52 x29 * x41 + 0.94 x30^2 + 3.04 x30 * x31 + 0.04 x30 * x32 - 2.68 x30 * x33 - 0.88 x30 * x34 + 2.52 x30 * x35 - 3.64 x30 * x36 - 0.88 x30 * x37 + 1.84 x30 * x38 + 0.84 x30 * x39 - 2.88 x30 * x40 + 3.24 x30 * x41 + 1.5 x31^2 + 1.04 x31 * x32 - 2 x31 * x33 - 1.96 x31 * x34 + 2.12 x31 * x35 - 2.96 x31 * x36 + 1.32 x31 * x37 + 1.44 x31 * x38 - 3.32 x31 * x39 - 2.04 x31 * x40 + 1.88 x31 * x41 + 1.66 x32^2 + 3.28 x32 * x33 + 1.56 x32 * x34 + 0.84 x32 * x35 + 2.12 x32 * x36 + 3.8 x32 * x37 + 0.32 x32 * x38 - 3.6 x32 * x39 - 1.68 x32 * x40 + 3.4 x32 * x41 - 0.5 x33^2 + 1.56 x33 * x34 - 3.56 x33 * x35 - 2.6 x33 * x36 - 3.8 x33 * x37 - 0.04 x33 * x38 - 1.36 x33 * x39 + 2.04 x33 * x40 + 0.24 x33 * x41 - 1.82 x34^2 + 3.2 x34 * x35 + 3.52 x34 * x36 - 1.72 x34 * x37 - 3.8 x34 * x38 - 3.84 x34 * x39 + 1.2 x34 * x40 - 1.92 x34 * x41 + 1.98 x35^2 + 1.32 x35 * x36 - 2.56 x35 * x37 - 3.96 x35 * x38 + 3.88 x35 * x39 + 3.92 x35 * x40 + 2.24 x35 * x41 + 1.26 x36^2 + 3.12 x36 * x37 + 1.28 x36 * x38 - 1.96 x36 * x39 - x36 * x40 + 0.36 x36 * x41 - 1.52 x37^2 + 2.64 x37 * x38 - 2.28 x37 * x39 + 2.44 x37 * x40 - 1.16 x37 * x41 - 1.64 x38^2 - 3 x38 * x39 - 1.92 x38 * x40 - 1.32 x38 * x41 + 1.78 x39^2 + 0.04 x39 * x40 + 0.44 x39 * x41 + 0.06 x40^2 - 1.24 x40 * x41 + 0.46 x41^2 ]/2 Subject To e2: 0.99 x2 - 0.71 x3 - 0.61 x4 + 0.11 x5 + 0.31 x6 + 0.91 x7 - 0.07 x8 - 0.16 x9 + 0.63 x10 + 0.52 x11 - 0.75 x12 - 0.53 x13 - 0.04 x14 + 0.27 x15 - 0.4 x16 - 0.26 x17 - 0.84 x18 + 0.31 x19 - 0.1 x20 - 0.08 x21 + 0.97 x22 - 0.01 x23 - 0.07 x24 + 0.82 x25 + 0.39 x26 - 0.47 x27 - 0.85 x28 + 0.22 x29 + 0.22 x30 + 0.72 x31 - 0.22 x32 + 0.43 x33 + 0.35 x34 - 0.87 x35 + 0.77 x36 + 0.48 x37 - 0.56 x38 - 0.27 x39 + 0.41 x40 - 0.58 x41 = -0.17 e3: - 0.83 x2 - 0.79 x3 - 0.79 x4 + 0.42 x5 - 0.53 x6 + 0.54 x7 - 0.36 x8 - 0.6 x9 + 0.74 x10 - 0.89 x11 - 0.93 x12 - 0.02 x13 + 0.45 x14 + 0.45 x15 + 0.35 x16 + 0.2 x17 + 0.29 x18 - 0.44 x19 + 0.74 x20 - 0.5 x21 + 0.83 x22 - 0.54 x23 - 0.52 x24 - 0.65 x25 - 0.61 x26 - 0.89 x27 - 0.48 x28 + 0.34 x29 + 0.93 x30 - 0.64 x31 - 0.57 x32 - 0.8 x33 + 0.67 x34 + 0.96 x35 + 0.64 x36 - 0.17 x37 - 0.62 x38 - x39 - 0.94 x40 - 0.77 x41 = 0.51 e4: 0.52 x2 + 0.29 x3 - 0.46 x4 - 0.21 x5 + 0.17 x6 + 0.68 x7 + 0.95 x8 + 0.11 x9 + 0.56 x10 + 0.41 x11 + 0.48 x12 + 0.53 x13 + 0.78 x14 - 0.2 x15 + 0.13 x16 + 0.04 x17 + 0.55 x18 + 0.35 x19 + 0.94 x20 + 0.97 x21 - 0.34 x22 + 0.78 x23 - 0.26 x24 + 0.3 x25 + 0.43 x26 - 0.61 x27 + 0.46 x28 - 0.76 x29 + 0.19 x30 - 0.39 x31 - 0.73 x32 - 0.51 x33 - 0.49 x34 - 0.36 x35 + 0.46 x36 + 0.12 x37 + 0.5 x38 - 0.17 x39 + 0.91 x40 - 0.4 x41 = -0.41 e5: 0.41 x2 + 0.58 x3 - 0.19 x4 + 0.68 x5 + 0.32 x6 + 0.47 x7 + 0.36 x8 - 0.42 x9 + 0.21 x10 - 0.91 x11 + 0.8 x12 + 0.59 x13 - 0.13 x14 - 0.52 x15 - 0.47 x16 + 0.85 x17 - 0.67 x18 + 0.22 x19 + 0.96 x20 + 0.58 x21 + 0.35 x22 - 0.22 x23 - 0.5 x24 - 0.94 x25 - 0.95 x26 - 0.21 x27 + 0.47 x28 - 0.97 x29 - 0.35 x30 - 0.32 x31 + 0.94 x32 - 0.48 x33 + 0.47 x34 + 0.43 x35 + 0.99 x36 - 0.58 x37 + 0.81 x38 - 0.1 x39 - 0.89 x40 + 0.34 x41 = -0.15 e6: 0.7 x2 - 0.21 x3 - 0.02 x4 - 0.12 x5 + 0.24 x6 + 0.55 x7 + 0.64 x8 - 0.53 x9 + 0.64 x10 + 0.77 x11 - 0.79 x12 + 0.72 x13 + 0.83 x14 - 0.33 x15 - 0.29 x16 + 0.07 x17 + 0.14 x18 - 0.99 x19 - 0.75 x20 - 0.37 x21 + 0.74 x22 + 0.49 x23 - 0.83 x24 + 0.94 x25 + 0.07 x26 + 0.85 x27 + 0.3 x28 - 0.75 x29 - 0.22 x30 + 0.14 x31 + 0.76 x32 + 0.94 x33 + 0.56 x34 + 0.14 x35 + 0.23 x36 - 0.67 x37 - 0.87 x38 + 0.3 x39 - 0.73 x40 + 0.81 x41 + [ 0.94 x2^2 + 1.34 x2 * x3 + 2 x2 * x4 - 1.82 x2 * x5 + 0.18 x2 * x6 - 1.08 x2 * x7 - 1.16 x2 * x8 + 1.28 x2 * x9 - 0.42 x2 * x10 - 0.24 x2 * x11 + 1.02 x2 * x12 + 0.52 x2 * x13 + 1.64 x2 * x14 + 0.4 x2 * x15 - 0.92 x2 * x16 - 1.28 x2 * x17 + 1.06 x2 * x18 - 0.26 x2 * x19 - 1.62 x2 * x20 - 0.06 x2 * x21 - 1.16 x2 * x22 + 1.66 x2 * x23 - 1.18 x2 * x24 - 1.48 x2 * x25 - 1.62 x2 * x26 + 1.82 x2 * x27 - 1.66 x2 * x28 - 0.32 x2 * x29 + 1.68 x2 * x30 + 1.26 x2 * x31 + 1.36 x2 * x32 + 0.82 x2 * x33 - 1.86 x2 * x34 - 0.52 x2 * x35 - 1.66 x2 * x36 + 1.44 x2 * x37 + 0.64 x2 * x38 - 1.62 x2 * x39 - 0.68 x2 * x40 + 0.08 x2 * x41 - 0.77 x3^2 + 1.12 x3 * x4 - 0.44 x3 * x5 - 1.12 x3 * x6 + 1.24 x3 * x7 - 1.78 x3 * x8 + 0.72 x3 * x9 + 1.34 x3 * x10 + 1.66 x3 * x11 - 1.06 x3 * x12 - 1.8 x3 * x13 - 0.76 x3 * x14 + 0.48 x3 * x16 + 1.28 x3 * x17 + 0.16 x3 * x18 - 1.78 x3 * x19 - 0.06 x3 * x20 - 1.28 x3 * x21 + 0.56 x3 * x22 - 0.1 x3 * x23 + 1.92 x3 * x24 - 0.38 x3 * x25 - 1.6 x3 * x26 - 1.7 x3 * x27 - 1.86 x3 * x28 + 0.1 x3 * x29 + 1.88 x3 * x30 + 0.18 x3 * x32 - 1.12 x3 * x33 + 0.8 x3 * x34 + 1.66 x3 * x35 + 0.14 x3 * x36 + 1.44 x3 * x37 - 1.7 x3 * x38 - 1.08 x3 * x39 - 2 x3 * x40 - 0.1 x3 * x41 - 0.01 x4^2 - 0.86 x4 * x5 - 0.42 x4 * x6 + 0.52 x4 * x7 - 0.6 x4 * x8 + 1.96 x4 * x9 - 0.78 x4 * x10 - 1.78 x4 * x11 - 1.62 x4 * x12 - 0.7 x4 * x13 - 0.8 x4 * x14 + 1.2 x4 * x15 + 1.28 x4 * x16 + 1.82 x4 * x17 - 0.34 x4 * x18 - 0.08 x4 * x19 + 0.32 x4 * x20 - 1.16 x4 * x21 - 1.58 x4 * x22 + 1.02 x4 * x23 - 1.42 x4 * x24 - 1.58 x4 * x25 + 1.32 x4 * x26 - 0.28 x4 * x27 + 1.3 x4 * x28 + 0.78 x4 * x29 + 0.56 x4 * x30 + 1.74 x4 * x31 - 1.84 x4 * x32 + 0.88 x4 * x34 + 0.64 x4 * x35 + 0.4 x4 * x36 + 0.64 x4 * x38 - 1.24 x4 * x39 - 0.12 x4 * x40 + 1.04 x4 * x41 - 0.06 x5 * x6 - 0.92 x5 * x7 + 0.62 x5 * x8 - 1.86 x5 * x9 + 0.14 x5 * x10 + 0.16 x5 * x11 - 1.46 x5 * x12 + 0.6 x5 * x13 + 0.44 x5 * x14 - 1.82 x5 * x15 + 0.68 x5 * x16 + 1.12 x5 * x17 + 1.34 x5 * x18 - 1.22 x5 * x19 - 0.4 x5 * x20 + 0.18 x5 * x21 - 0.56 x5 * x22 + 1.78 x5 * x23 - 0.76 x5 * x24 + 0.38 x5 * x25 + 0.66 x5 * x26 - 1.6 x5 * x27 + 0.74 x5 * x28 + 0.68 x5 * x29 + 1.44 x5 * x30 - 0.88 x5 * x31 - 0.6 x5 * x32 - 1.02 x5 * x33 - 0.78 x5 * x34 + 1.32 x5 * x35 - 0.4 x5 * x36 - 0.52 x5 * x37 + 1.94 x5 * x38 - 0.42 x5 * x39 - 0.48 x5 * x41 - 0.12 x6^2 - 1.54 x6 * x7 - 1.46 x6 * x8 + 0.98 x6 * x9 - 0.14 x6 * x10 + 0.72 x6 * x11 - 1.42 x6 * x12 - 1.14 x6 * x13 - 0.64 x6 * x14 + 1.46 x6 * x15 + 1.62 x6 * x16 + 1.18 x6 * x17 + 0.08 x6 * x18 + 0.86 x6 * x20 + 0.22 x6 * x21 + 1.68 x6 * x22 - 1.86 x6 * x23 - 0.28 x6 * x24 - 0.7 x6 * x25 + 1.68 x6 * x26 - 1.28 x6 * x27 - 1.88 x6 * x28 + 0.2 x6 * x29 - 0.74 x6 * x30 - 1.92 x6 * x31 + 1.84 x6 * x32 + 0.08 x6 * x34 + 0.76 x6 * x35 + 0.64 x6 * x36 + 0.92 x6 * x37 - 1.94 x6 * x38 - 1.06 x6 * x39 - 1.46 x6 * x40 - 0.76 x6 * x41 + 0.55 x7^2 + 0.24 x7 * x8 - 1.7 x7 * x9 + 1.18 x7 * x10 - 0.84 x7 * x11 + 1.48 x7 * x12 + 1.02 x7 * x13 + 0.36 x7 * x14 + 1.34 x7 * x15 + x7 * x16 - 1.56 x7 * x17 - 0.42 x7 * x18 - 1.98 x7 * x19 - 0.86 x7 * x20 - 1.02 x7 * x21 - 1.48 x7 * x22 - 1.2 x7 * x23 + 0.52 x7 * x24 - 0.56 x7 * x25 + 0.7 x7 * x26 - 1.16 x7 * x27 - 1.72 x7 * x28 + 1.68 x7 * x29 + 0.54 x7 * x30 - 0.84 x7 * x31 + 1.06 x7 * x32 - 1.34 x7 * x33 + 1.18 x7 * x34 + 0.72 x7 * x35 - 0.3 x7 * x36 - 0.06 x7 * x37 - 1.44 x7 * x38 + 0.96 x7 * x39 + 0.02 x7 * x40 + 0.68 x7 * x41 + 0.67 x8^2 + 0.18 x8 * x9 + 0.42 x8 * x10 - 0.68 x8 * x11 + 1.34 x8 * x12 - 0.5 x8 * x13 - 0.02 x8 * x14 - 1.22 x8 * x15 + 1.72 x8 * x16 - 0.9 x8 * x17 + 1.44 x8 * x18 - 1.86 x8 * x19 + 0.2 x8 * x20 - 1.22 x8 * x21 + 1.74 x8 * x22 - 0.76 x8 * x23 + 1.64 x8 * x24 - 1.9 x8 * x25 + 0.3 x8 * x26 - 0.88 x8 * x27 - 0.8 x8 * x28 - 1.6 x8 * x29 - 0.3 x8 * x30 + 0.28 x8 * x31 - 0.48 x8 * x32 + 1.38 x8 * x33 + 0.58 x8 * x35 - 0.48 x8 * x36 + 0.8 x8 * x37 + 0.96 x8 * x38 + 1.58 x8 * x39 - 1.9 x8 * x40 - 1.1 x8 * x41 - 0.07 x9^2 - 0.14 x9 * x10 + 1.38 x9 * x11 - 1.12 x9 * x12 - 1.56 x9 * x13 + 1.32 x9 * x14 + 0.02 x9 * x15 + 0.42 x9 * x16 - 1.3 x9 * x17 - 0.9 x9 * x18 - 1.82 x9 * x19 + 0.08 x9 * x21 + 1.2 x9 * x22 + 1.2 x9 * x23 - 0.68 x9 * x24 - 0.54 x9 * x25 + 0.24 x9 * x26 + 0.3 x9 * x27 + 1.24 x9 * x28 - 0.3 x9 * x29 + 1.66 x9 * x30 - 1.6 x9 * x31 - 0.4 x9 * x32 + 1.62 x9 * x33 - 1.12 x9 * x34 + 1.9 x9 * x35 + 1.14 x9 * x36 + 1.32 x9 * x37 - 0.5 x9 * x38 + 0.18 x9 * x39 + 1.18 x9 * x40 - 0.22 x9 * x41 + 0.68 x10^2 + 0.54 x10 * x11 - 0.56 x10 * x12 + x10 * x13 - 0.1 x10 * x14 + 0.12 x10 * x15 + 0.08 x10 * x16 + 1.42 x10 * x17 + 0.94 x10 * x18 - 1.3 x10 * x19 + 0.74 x10 * x20 + 1.16 x10 * x21 - 1.34 x10 * x22 - 0.74 x10 * x23 - 1.92 x10 * x24 + 0.76 x10 * x25 - 1.46 x10 * x26 - 1.04 x10 * x27 + 1.16 x10 * x28 - 1.26 x10 * x29 + 0.96 x10 * x30 - 1.04 x10 * x31 - 1.22 x10 * x32 - 1.98 x10 * x33 + 1.2 x10 * x34 + 0.6 x10 * x35 - 1.56 x10 * x37 + 1.06 x10 * x38 + 0.14 x10 * x39 - 1.16 x10 * x40 + 1.62 x10 * x41 + 0.55 x11^2 - 1.88 x11 * x12 + 0.32 x11 * x13 - 1.74 x11 * x14 + 0.54 x11 * x15 - 1.24 x11 * x16 + 0.64 x11 * x17 + 0.62 x11 * x18 - 0.24 x11 * x19 + 1.42 x11 * x20 + 1.46 x11 * x21 + 0.22 x11 * x22 + 1.66 x11 * x23 - 1.12 x11 * x24 - 1.2 x11 * x25 - 0.64 x11 * x26 + 1.74 x11 * x27 + 1.36 x11 * x28 - 1.26 x11 * x29 - 1.96 x11 * x30 - 0.84 x11 * x31 + 1.18 x11 * x32 + 0.4 x11 * x33 + 0.94 x11 * x34 - 1.6 x11 * x35 - 0.18 x11 * x37 - 0.6 x11 * x38 + 1.2 x11 * x39 - 1.5 x11 * x40 - 0.36 x11 * x41 - 0.98 x12^2 - 1.16 x12 * x13 - 1.26 x12 * x15 + 1.74 x12 * x16 - 1.84 x12 * x17 + 0.08 x12 * x18 + 1.46 x12 * x19 - 0.66 x12 * x20 - 1.68 x12 * x21 - 1.04 x12 * x22 - 1.82 x12 * x24 - 0.84 x12 * x25 + 0.82 x12 * x26 - 1.3 x12 * x27 + 0.32 x12 * x28 - 1.36 x12 * x29 + 0.8 x12 * x30 - 1.44 x12 * x31 + 0.84 x12 * x32 - 1.26 x12 * x33 + 0.4 x12 * x34 + 0.64 x12 * x35 - 0.1 x12 * x36 - 1.9 x12 * x37 + 1.96 x12 * x38 - 0.96 x12 * x39 + 1.76 x12 * x40 - 1.94 x12 * x41 + 0.19 x13^2 - 0.78 x13 * x14 + 0.98 x13 * x15 + x13 * x16 + 0.48 x13 * x17 - 1.2 x13 * x18 + 0.88 x13 * x19 + 0.48 x13 * x20 - 0.72 x13 * x21 + 0.5 x13 * x22 + 1.88 x13 * x23 - 1.1 x13 * x24 - 1.6 x13 * x25 - 0.32 x13 * x26 + 1.34 x13 * x27 + 1.2 x13 * x28 - 0.64 x13 * x29 + 0.18 x13 * x30 - 1.36 x13 * x31 + 0.98 x13 * x32 - 0.56 x13 * x34 + 1.56 x13 * x35 - 1.82 x13 * x36 - 1.82 x13 * x37 + 1.14 x13 * x38 + 1.96 x13 * x39 - 0.94 x13 * x40 + 1.9 x13 * x41 + 0.71 x14^2 - 0.44 x14 * x15 - 1.16 x14 * x16 + 0.98 x14 * x17 + 0.94 x14 * x18 + 0.18 x14 * x19 - 0.86 x14 * x20 + 0.62 x14 * x21 - 0.02 x14 * x22 - 1.52 x14 * x23 - 0.9 x14 * x24 - 0.48 x14 * x25 + 0.4 x14 * x26 + 0.84 x14 * x27 + 1.22 x14 * x28 - 0.88 x14 * x29 + 1.04 x14 * x30 - 1.26 x14 * x31 + 1.44 x14 * x32 - 0.38 x14 * x33 + 0.38 x14 * x34 + 0.46 x14 * x35 - 0.42 x14 * x36 - 1.46 x14 * x37 + 1.94 x14 * x38 + 0.38 x14 * x39 - 1.26 x14 * x40 + 0.04 x14 * x41 - 0.06 x15^2 - 1.48 x15 * x16 - 0.22 x15 * x17 + 1.76 x15 * x18 - 1.08 x15 * x19 - 0.06 x15 * x20 + 1.62 x15 * x21 - 0.12 x15 * x22 - 1.36 x15 * x23 - 0.98 x15 * x24 + 0.54 x15 * x25 + 1.54 x15 * x26 - 0.2 x15 * x27 + 0.92 x15 * x28 - 1.04 x15 * x29 - 0.5 x15 * x30 - 1.02 x15 * x31 + x15 * x32 + 0.04 x15 * x33 + 0.72 x15 * x34 + 0.74 x15 * x35 - 0.38 x15 * x36 - 0.78 x15 * x39 - 0.4 x15 * x40 + 0.78 x15 * x41 - 0.06 x16^2 + 1.62 x16 * x17 - 1.8 x16 * x18 + 1.56 x16 * x19 - 0.24 x16 * x20 + 0.3 x16 * x21 - 1.02 x16 * x22 - 0.56 x16 * x23 - 0.14 x16 * x24 + 0.72 x16 * x25 + 1.2 x16 * x26 - 1.86 x16 * x27 - 0.84 x16 * x28 - 0.58 x16 * x29 - 1.3 x16 * x30 + 1.04 x16 * x31 + 0.68 x16 * x32 - 1.52 x16 * x33 - 0.84 x16 * x34 + 1.72 x16 * x35 - 0.94 x16 * x36 + 0.12 x16 * x37 - 1.42 x16 * x38 - 0.16 x16 * x39 + 0.66 x16 * x40 - 1.9 x16 * x41 + 0.03 x17^2 + 0.7 x17 * x19 - 0.26 x17 * x20 - 1.1 x17 * x21 + 0.62 x17 * x22 - 1.58 x17 * x23 - 0.1 x17 * x24 + 0.08 x17 * x25 - 0.98 x17 * x27 - 1.68 x17 * x28 + 0.26 x17 * x29 + 1.86 x17 * x30 + 0.82 x17 * x31 - 0.66 x17 * x32 + 0.48 x17 * x33 + 0.34 x17 * x34 - 1.02 x17 * x35 + 1.64 x17 * x36 + 0.36 x17 * x37 + 1.78 x17 * x38 + 0.98 x17 * x39 - 0.44 x17 * x40 - 2 x17 * x41 - 0.41 x18^2 - 0.98 x18 * x19 - 1.72 x18 * x20 + 1.84 x18 * x21 - 0.92 x18 * x22 - 0.6 x18 * x23 + 1.66 x18 * x24 - 0.32 x18 * x25 - 0.72 x18 * x26 - 0.12 x18 * x27 - 1.76 x18 * x28 + 0.52 x18 * x29 - 0.3 x18 * x30 - 1.76 x18 * x31 - 1.06 x18 * x33 - 1.7 x18 * x34 - 0.8 x18 * x35 + 0.22 x18 * x36 + 1.64 x18 * x37 - 1.28 x18 * x38 + 1.24 x18 * x39 - 1.1 x18 * x40 + 1.7 x18 * x41 + 0.56 x19^2 + 1.58 x19 * x20 - 1.12 x19 * x22 + 0.4 x19 * x23 - 0.96 x19 * x24 - 0.18 x19 * x25 - 1.06 x19 * x26 - 1.66 x19 * x27 + 1.46 x19 * x28 - 0.98 x19 * x29 + 1.12 x19 * x30 - x19 * x31 + 1.16 x19 * x32 + 1.76 x19 * x33 - 1.96 x19 * x34 - 0.18 x19 * x35 + 1.74 x19 * x36 + 0.64 x19 * x38 + 0.54 x19 * x39 - 1.72 x19 * x40 - 1.56 x19 * x41 - 1.42 x20 * x21 - 1.42 x20 * x22 - 0.92 x20 * x23 - 0.98 x20 * x24 - 1.16 x20 * x25 + 0.46 x20 * x26 + 0.2 x20 * x27 - 0.68 x20 * x28 - 0.54 x20 * x29 - 1.44 x20 * x30 + 0.34 x20 * x31 + 1.54 x20 * x32 - 0.78 x20 * x33 + 0.6 x20 * x34 - 1.26 x20 * x35 - 1.64 x20 * x36 + 1.16 x20 * x37 + 1.36 x20 * x38 + 0.34 x20 * x39 + 0.38 x20 * x40 - 0.98 x20 * x41 - 0.67 x21^2 - 1.46 x21 * x22 + 0.62 x21 * x23 + 0.86 x21 * x24 + 1.06 x21 * x25 + 0.48 x21 * x26 - 0.16 x21 * x27 + 0.58 x21 * x28 + 1.3 x21 * x29 + 0.28 x21 * x30 + 1.44 x21 * x31 - 1.44 x21 * x32 - 1.16 x21 * x34 - 0.44 x21 * x35 + 0.04 x21 * x36 - 0.18 x21 * x37 - 0.86 x21 * x38 - 0.5 x21 * x39 - 1.16 x21 * x40 - 0.72 x21 * x41 + 1.76 x22 * x23 + 1.26 x22 * x24 - 1.04 x22 * x26 - 0.22 x22 * x27 - 0.84 x22 * x28 - 1.1 x22 * x29 - 1.76 x22 * x30 + 1.52 x22 * x31 - 1.26 x22 * x32 - 1.08 x22 * x33 - 0.62 x22 * x34 - 1.8 x22 * x35 - 1.04 x22 * x36 + 1.14 x22 * x37 + 1.76 x22 * x38 + 1.84 x22 * x39 + 0.3 x22 * x40 + 0.3 x22 * x41 - 0.98 x23^2 - 1.36 x23 * x24 + 0.32 x23 * x25 - 0.02 x23 * x26 - 0.48 x23 * x27 + 0.02 x23 * x28 + 1.98 x23 * x29 - 0.44 x23 * x30 + 0.66 x23 * x31 - 1.14 x23 * x32 + 0.8 x23 * x33 + 0.1 x23 * x34 - 0.46 x23 * x35 + 0.3 x23 * x36 + 1.96 x23 * x37 + 0.28 x23 * x38 + 1.98 x23 * x39 + 1.66 x23 * x40 + 0.36 x23 * x41 - 0.64 x24^2 + 1.36 x24 * x25 - 0.4 x24 * x26 - 1.14 x24 * x27 - 1.66 x24 * x28 + x24 * x29 + 1.7 x24 * x30 - 1.26 x24 * x31 + 0.92 x24 * x32 + 0.56 x24 * x33 - 0.76 x24 * x34 + 1.78 x24 * x35 - 0.48 x24 * x36 - 1.56 x24 * x37 - 0.9 x24 * x38 + 1.32 x24 * x39 - 1.94 x24 * x40 + 1.74 x24 * x41 + 0.11 x25^2 + 1.72 x25 * x26 + 0.64 x25 * x27 + 1.88 x25 * x28 + 0.66 x25 * x29 - 0.94 x25 * x30 + 0.8 x25 * x31 + 0.44 x25 * x32 - 1.68 x25 * x33 - 1.9 x25 * x34 + 0.78 x25 * x35 + 1.88 x25 * x36 + 0.38 x25 * x37 + 0.92 x25 * x38 + 1.36 x25 * x39 + 0.66 x25 * x40 + 0.68 x25 * x41 + 0.5 x26^2 + 0.14 x26 * x27 - 1.34 x26 * x28 - 1.28 x26 * x29 + 0.54 x26 * x30 + 0.88 x26 * x31 + 1.08 x26 * x32 + 0.92 x26 * x33 - 0.28 x26 * x34 - 1.78 x26 * x35 - 1.12 x26 * x36 - 0.22 x26 * x37 + 0.78 x26 * x38 + 0.16 x26 * x39 + 0.58 x26 * x40 - 1.52 x26 * x41 + 0.07 x27^2 + 0.94 x27 * x28 + 1.62 x27 * x29 + 0.52 x27 * x30 + 0.14 x27 * x31 + 1.82 x27 * x32 - 0.02 x27 * x33 - 0.84 x27 * x34 - 1.38 x27 * x35 - 0.72 x27 * x36 - 0.62 x27 * x37 - 1.9 x27 * x38 + 1.06 x27 * x39 - 0.98 x27 * x40 + 0.22 x28^2 - 0.1 x28 * x29 - 0.12 x28 * x30 - 0.66 x28 * x31 + 0.98 x28 * x32 + 0.76 x28 * x33 - 0.68 x28 * x34 - 1.12 x28 * x35 - 1.74 x28 * x36 + 1.92 x28 * x37 - 1.76 x28 * x38 - 0.42 x28 * x39 - 0.34 x28 * x40 + 1.22 x28 * x41 - 0.85 x29^2 - 0.32 x29 * x30 - 1.14 x29 * x31 - x29 * x32 - 1.12 x29 * x33 - 0.68 x29 * x34 + 0.9 x29 * x35 - 1.62 x29 * x36 + 0.66 x29 * x37 - 1.94 x29 * x38 - 0.12 x29 * x39 - 1.12 x29 * x40 + 1.12 x29 * x41 - 0.35 x30^2 - 0.74 x30 * x31 - 1.36 x30 * x32 + 1.18 x30 * x33 - 1.26 x30 * x35 + 1.12 x30 * x36 + 0.32 x30 * x37 + 1.18 x30 * x38 + 0.2 x30 * x39 - 1.26 x30 * x40 - 0.04 x30 * x41 + 0.12 x31^2 + 0.58 x31 * x32 - 1.58 x31 * x33 - 1.56 x31 * x34 + 0.92 x31 * x35 - 1.66 x31 * x36 + 0.76 x31 * x37 + 1.4 x31 * x38 + 1.74 x31 * x39 - 0.54 x31 * x40 - 1.94 x31 * x41 + 0.43 x32^2 - 0.74 x32 * x33 - 0.4 x32 * x34 - 1.92 x32 * x35 - 1.26 x32 * x36 - 1.64 x32 * x37 - 2 x32 * x38 + 0.1 x32 * x39 + 0.56 x32 * x40 + 0.18 x32 * x41 - 0.12 x33^2 + 0.42 x33 * x34 - 1.9 x33 * x35 + 1.78 x33 * x36 - 1.24 x33 * x37 + 1.86 x33 * x38 + 0.94 x33 * x39 + 0.18 x33 * x40 - 0.9 x33 * x41 + 0.02 x34^2 - 0.18 x34 * x35 - 1.3 x34 * x36 + 0.84 x34 * x37 + 1.86 x34 * x38 + 0.1 x34 * x39 - 1.1 x34 * x40 - 1.2 x34 * x41 + 0.29 x35^2 + 1.32 x35 * x36 - 0.24 x35 * x37 + 1.04 x35 * x38 - 1.76 x35 * x39 - 0.68 x35 * x40 - 0.3 x35 * x41 - 0.71 x36^2 + 1.12 x36 * x37 + 0.02 x36 * x38 - 1.04 x36 * x39 + 1.36 x36 * x40 + 1.54 x36 * x41 + 0.77 x37^2 + 1.84 x37 * x38 - 1.88 x37 * x39 - 1.82 x37 * x40 + 0.92 x37 * x41 + 0.12 x38^2 + 1.3 x38 * x39 - 1.5 x38 * x40 - 1.92 x38 * x41 + 0.74 x39^2 + 0.96 x39 * x40 - 0.36 x39 * x41 - 0.88 x40^2 - 0.06 x40 * x41 + 0.51 x41^2 ] <= 67.98 Bounds x2 <= 1 x3 <= 1 x4 <= 1 x5 <= 1 x6 <= 1 x7 <= 1 x8 <= 1 x9 <= 1 x10 <= 1 x11 <= 1 x12 <= 1 x13 <= 1 x14 <= 1 x15 <= 1 x16 <= 1 x17 <= 1 x18 <= 1 x19 <= 1 x20 <= 1 x21 <= 1 x22 <= 1 x23 <= 1 x24 <= 1 x25 <= 1 x26 <= 1 x27 <= 1 x28 <= 1 x29 <= 1 x30 <= 1 x31 <= 1 x32 <= 1 x33 <= 1 x34 <= 1 x35 <= 1 x36 <= 1 x37 <= 1 x38 <= 1 x39 <= 1 x40 <= 1 x41 <= 1 End