\ Equation counts \ Total E G L N X C B \ 13 12 0 1 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 60 60 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 838 718 120 0 \ Minimize obj: - 0.81 x2 + 0.58 x3 + 0.13 x4 - 0.73 x5 + 0.39 x6 - 0.02 x7 - 0.6 x8 + 0.49 x9 - 0.77 x10 - 0.09 x11 - 0.34 x12 - 0.34 x13 - 0.52 x14 - 0.6 x15 - 0.32 x16 - 0.12 x17 + 0.62 x18 - 0.83 x19 + 0.2 x20 - 0.99 x21 + 0.65 x22 + 0.96 x23 - 0.63 x24 + 0.65 x25 - 0.03 x26 + 0.11 x27 - 0.62 x28 - 0.23 x29 - 0.6 x30 - 0.16 x31 + 0.65 x32 - 0.21 x33 - 0.72 x34 + 0.67 x35 - 0.25 x36 + 0.93 x37 - 0.86 x38 - 0.51 x39 + 0.87 x40 - 0.98 x41 + 0.08 x42 - 0.91 x43 - 0.07 x44 + 0.87 x45 - 0.93 x46 + 0.07 x47 - 0.36 x48 - 0.04 x49 - 0.58 x50 - 0.87 x51 + 0.97 x52 + 0.05 x53 - 0.44 x54 + 0.7 x55 - 0.89 x56 + 0.92 x57 + 0.07 x58 - 0.58 x59 + 0.26 x60 - 0.86 x61 + [ 0.04 x2^2 - 0.36 x2 * x3 + 0.16 x2 * x4 - 0.04 x2 * x5 + 0.04 x2 * x6 - 0.36 x2 * x7 + 0.24 x2 * x8 - 0.2 x2 * x9 + 0.52 x2 * x10 + 0.16 x2 * x11 - 0.04 x2 * x12 - 0.68 x2 * x13 + 0.56 x2 * x14 + 0.28 x2 * x15 - 0.64 x2 * x16 + 0.28 x2 * x17 - 0.08 x2 * x18 - 0.24 x2 * x19 + 0.28 x2 * x20 + 0.32 x2 * x21 - 0.24 x2 * x23 + 0.4 x2 * x24 - 0.24 x2 * x25 + 0.12 x2 * x26 + 0.04 x2 * x27 - 0.36 x2 * x28 + 0.08 x2 * x29 + 0.12 x2 * x30 + 0.16 x2 * x31 - 0.08 x2 * x32 + 0.08 x2 * x33 + 0.28 x2 * x35 - 0.16 x2 * x36 + 0.16 x2 * x37 - 0.36 x2 * x38 + 0.16 x2 * x39 - 0.36 x2 * x40 + 0.08 x2 * x41 + 0.52 x2 * x42 + 0.76 x2 * x43 - 0.08 x2 * x44 + 0.24 x2 * x45 - 0.28 x2 * x46 - 0.6 x2 * x47 - 0.12 x2 * x48 - 0.28 x2 * x49 - 0.08 x2 * x50 - 0.4 x2 * x51 + 0.28 x2 * x52 + 0.32 x2 * x53 - 0.32 x2 * x54 - 0.48 x2 * x55 - 0.2 x2 * x56 - 0.08 x2 * x57 + 0.24 x2 * x58 - 0.12 x2 * x59 + 0.08 x2 * x60 - 0.04 x2 * x61 + 0.2 x3^2 + 0.2 x3 * x4 - 0.24 x3 * x5 + 0.16 x3 * x6 + 0.16 x3 * x7 + 0.56 x3 * x8 - 0.12 x3 * x9 - 0.08 x3 * x10 - 0.4 x3 * x11 + 0.4 x3 * x12 - 0.12 x3 * x13 + 0.04 x3 * x14 + 0.08 x3 * x15 + 0.36 x3 * x16 - 0.12 x3 * x17 - 0.2 x3 * x18 + 0.12 x3 * x19 - 0.6 x3 * x20 - 0.8 x3 * x21 + 0.48 x3 * x22 - 0.44 x3 * x23 - 0.48 x3 * x24 + 0.28 x3 * x25 + 0.44 x3 * x26 + 0.12 x3 * x27 + 0.36 x3 * x28 - 0.08 x3 * x29 - 0.12 x3 * x30 + 0.52 x3 * x31 - 0.24 x3 * x32 + 0.28 x3 * x33 + 0.04 x3 * x34 + 0.12 x3 * x35 - 0.16 x3 * x36 - 0.16 x3 * x37 - 0.48 x3 * x38 + 0.32 x3 * x39 + 0.36 x3 * x40 - 0.2 x3 * x41 + 0.28 x3 * x42 + 0.04 x3 * x43 + 0.12 x3 * x44 + 0.04 x3 * x45 + 0.12 x3 * x46 + 0.68 x3 * x47 + 0.2 x3 * x48 + 0.08 x3 * x49 + 0.2 x3 * x50 + 0.4 x3 * x51 + 0.12 x3 * x53 - 0.32 x3 * x54 - 0.2 x3 * x55 - 0.08 x3 * x56 - 0.32 x3 * x57 - 0.32 x3 * x58 - 0.32 x3 * x59 - 0.4 x3 * x60 - 0.48 x3 * x61 + 0.36 x4^2 - 0.2 x4 * x5 + 0.04 x4 * x6 + 0.08 x4 * x7 - 0.28 x4 * x8 + 0.04 x4 * x9 - 0.4 x4 * x10 - 0.8 x4 * x11 - 0.4 x4 * x12 + 0.6 x4 * x13 + 0.12 x4 * x14 + 0.64 x4 * x15 - 0.48 x4 * x16 - 0.16 x4 * x17 - 0.2 x4 * x18 + 0.08 x4 * x19 + 0.12 x4 * x20 - 0.36 x4 * x21 - 0.08 x4 * x22 - 0.44 x4 * x23 + 0.32 x4 * x24 + 0.16 x4 * x25 - 0.08 x4 * x26 + 0.08 x4 * x27 - 0.4 x4 * x28 + 0.2 x4 * x29 + 0.2 x4 * x30 + 0.48 x4 * x31 + 0.08 x4 * x32 - 0.32 x4 * x33 - 0.24 x4 * x34 + 0.16 x4 * x35 - 0.24 x4 * x36 + 0.4 x4 * x37 + 0.2 x4 * x38 - 0.08 x4 * x39 - 0.36 x4 * x40 + 0.12 x4 * x41 - 0.36 x4 * x42 + 0.32 x4 * x43 + 0.36 x4 * x44 - 0.24 x4 * x45 - 0.2 x4 * x46 + 0.48 x4 * x47 - 0.28 x4 * x48 + 0.24 x4 * x49 - 0.12 x4 * x50 + 0.28 x4 * x51 - 0.28 x4 * x52 - 0.32 x4 * x53 - 0.36 x4 * x54 - 0.24 x4 * x55 + 0.76 x4 * x56 - 0.52 x4 * x57 + 0.04 x4 * x58 + 0.4 x4 * x59 - 0.48 x4 * x60 + 0.16 x4 * x61 - 0.22 x5^2 + 0.8 x5 * x6 + 0.36 x5 * x7 - 0.08 x5 * x8 + 0.16 x5 * x9 - 0.04 x5 * x10 - 0.52 x5 * x11 - 0.16 x5 * x12 - 0.28 x5 * x13 - 0.04 x5 * x14 + 0.04 x5 * x15 + 0.28 x5 * x16 + 0.32 x5 * x17 + 0.24 x5 * x18 + 0.96 x5 * x19 - 0.2 x5 * x20 - 0.28 x5 * x21 + 0.04 x5 * x22 + 0.12 x5 * x23 + 0.08 x5 * x24 - 0.04 x5 * x25 - 0.04 x5 * x26 - 0.16 x5 * x27 - 0.08 x5 * x28 - 0.12 x5 * x29 - 0.04 x5 * x30 + 0.44 x5 * x31 - 0.08 x5 * x32 - 0.28 x5 * x33 + 0.04 x5 * x34 + 0.2 x5 * x35 + 0.44 x5 * x36 - 0.28 x5 * x38 + 0.28 x5 * x39 + 0.16 x5 * x40 + 0.04 x5 * x41 - 0.36 x5 * x42 - 0.56 x5 * x43 - 0.08 x5 * x44 - 0.24 x5 * x45 - 0.2 x5 * x46 - 0.4 x5 * x47 - 0.32 x5 * x48 - 0.28 x5 * x49 - 0.6 x5 * x51 + 0.56 x5 * x52 + 0.08 x5 * x53 - 0.04 x5 * x54 - 0.08 x5 * x55 - 0.04 x5 * x56 + 0.32 x5 * x57 + 0.48 x5 * x58 + 0.68 x5 * x59 + 0.4 x5 * x60 - 0.32 x5 * x61 + 0.28 x6^2 - 0.44 x6 * x7 - 0.04 x6 * x8 - 0.16 x6 * x9 - 0.16 x6 * x10 + 0.08 x6 * x11 + 0.2 x6 * x12 - 0.08 x6 * x13 + 0.12 x6 * x14 - 0.44 x6 * x15 + 0.08 x6 * x16 + 0.04 x6 * x17 - 0.32 x6 * x18 + 0.28 x6 * x19 - 0.08 x6 * x20 - 0.16 x6 * x21 + 0.2 x6 * x22 + 0.36 x6 * x23 - 0.36 x6 * x24 - 0.44 x6 * x25 + 0.36 x6 * x26 + 0.2 x6 * x27 - 0.08 x6 * x28 - 0.48 x6 * x29 + 0.2 x6 * x31 - 0.36 x6 * x32 - 0.52 x6 * x33 + 0.72 x6 * x35 + 0.08 x6 * x36 + 0.68 x6 * x37 + 0.28 x6 * x38 - 0.6 x6 * x39 + 0.76 x6 * x40 + 0.24 x6 * x41 - 0.64 x6 * x42 - 0.24 x6 * x43 + 0.52 x6 * x44 - 0.08 x6 * x45 + 0.2 x6 * x46 - 0.32 x6 * x47 + 0.12 x6 * x49 + 0.32 x6 * x50 + 0.12 x6 * x51 + 0.08 x6 * x52 + 0.24 x6 * x53 + 0.36 x6 * x54 - 0.2 x6 * x55 - 0.68 x6 * x56 - x6 * x57 - 0.12 x6 * x58 - 0.04 x6 * x59 + 0.2 x6 * x60 + 0.28 x6 * x61 + 0.54 x7^2 + 0.08 x7 * x8 + 0.24 x7 * x9 + 0.44 x7 * x10 - 0.04 x7 * x11 - 0.12 x7 * x12 - 0.12 x7 * x13 - 0.16 x7 * x14 + 0.36 x7 * x15 - 0.32 x7 * x16 + 0.6 x7 * x17 + 0.08 x7 * x18 - 0.12 x7 * x19 - 0.08 x7 * x20 + 0.28 x7 * x21 - 0.4 x7 * x22 - 0.68 x7 * x23 + 0.08 x7 * x25 - 0.24 x7 * x26 + 0.08 x7 * x27 - 0.08 x7 * x28 + 0.2 x7 * x29 + 0.24 x7 * x30 + 0.16 x7 * x31 - 0.2 x7 * x32 - 0.32 x7 * x33 + 0.04 x7 * x34 + 0.16 x7 * x35 - 0.24 x7 * x36 + 0.2 x7 * x37 + 0.44 x7 * x38 - 0.48 x7 * x39 - 0.08 x7 * x40 + 0.08 x7 * x41 - 0.2 x7 * x42 - 0.28 x7 * x43 - 0.04 x7 * x44 + 0.12 x7 * x45 - 0.24 x7 * x46 + 0.12 x7 * x47 - 0.16 x7 * x48 + 0.16 x7 * x49 + 0.08 x7 * x50 + 0.32 x7 * x51 - 0.24 x7 * x52 + 0.2 x7 * x53 - 0.48 x7 * x54 - 0.32 x7 * x55 - 0.24 x7 * x56 - 0.16 x7 * x57 - 0.24 x7 * x58 + 0.2 x7 * x59 - 0.2 x7 * x60 - 0.28 x7 * x61 - 0.1 x8^2 + 0.44 x8 * x9 + 0.32 x8 * x10 - 0.08 x8 * x11 - 0.36 x8 * x12 - 0.12 x8 * x13 + 0.84 x8 * x14 + 0.12 x8 * x15 - 0.48 x8 * x16 - 0.68 x8 * x17 - 0.48 x8 * x18 - 0.08 x8 * x19 - 0.04 x8 * x20 - 0.92 x8 * x21 - 0.32 x8 * x22 - 0.32 x8 * x23 + 0.44 x8 * x24 + 0.2 x8 * x25 - 0.2 x8 * x26 - 0.48 x8 * x27 - 0.08 x8 * x28 - 0.44 x8 * x29 + 0.2 x8 * x30 - 0.24 x8 * x31 - 0.52 x8 * x32 - 0.64 x8 * x33 + 0.08 x8 * x34 + 0.36 x8 * x35 + 0.44 x8 * x36 - 0.32 x8 * x37 + 0.08 x8 * x38 + 0.12 x8 * x39 + 0.28 x8 * x41 + 0.36 x8 * x42 - 0.04 x8 * x43 + 0.08 x8 * x44 + 0.04 x8 * x45 + 0.2 x8 * x46 - 0.08 x8 * x47 + 0.16 x8 * x48 + 0.16 x8 * x49 + 0.2 x8 * x50 + 0.04 x8 * x51 + 0.48 x8 * x52 + 0.44 x8 * x53 + 0.24 x8 * x54 + 0.2 x8 * x55 + 0.16 x8 * x56 - 0.2 x8 * x57 - 0.04 x8 * x59 - 0.08 x8 * x60 + 0.04 x8 * x61 + 0.18 x9^2 + 0.36 x9 * x10 - 0.2 x9 * x11 + 0.2 x9 * x12 - 0.32 x9 * x13 + 0.44 x9 * x14 - 0.36 x9 * x15 - 0.76 x9 * x16 - 0.04 x9 * x17 + 0.36 x9 * x18 - 0.08 x9 * x19 + 0.28 x9 * x20 - 0.44 x9 * x21 + 0.24 x9 * x22 + 0.28 x9 * x23 - 0.52 x9 * x24 - 0.16 x9 * x25 - 0.56 x9 * x26 - 0.36 x9 * x28 + 0.04 x9 * x29 - 0.16 x9 * x30 + 0.04 x9 * x31 - 0.12 x9 * x32 + 0.16 x9 * x33 + 0.04 x9 * x34 - 0.2 x9 * x35 - 0.48 x9 * x36 + 0.08 x9 * x37 + 0.36 x9 * x38 + 0.32 x9 * x39 + 0.4 x9 * x40 - 0.08 x9 * x41 + 0.36 x9 * x42 - 0.12 x9 * x43 + 0.08 x9 * x44 - 0.44 x9 * x45 - 0.04 x9 * x46 - 0.04 x9 * x47 - 0.36 x9 * x48 - 0.16 x9 * x49 + 0.28 x9 * x50 + 0.08 x9 * x51 - 0.24 x9 * x52 + 0.16 x9 * x53 + 0.12 x9 * x54 + 0.08 x9 * x55 + 0.4 x9 * x56 + 0.4 x9 * x57 - 0.52 x9 * x58 + 0.24 x9 * x59 - 0.48 x9 * x60 - 0.04 x9 * x61 + 0.26 x10^2 + 0.08 x10 * x11 - 0.12 x10 * x12 + 0.04 x10 * x13 - 0.2 x10 * x14 + 0.72 x10 * x15 + 0.48 x10 * x16 - 0.44 x10 * x17 + 0.24 x10 * x18 + 0.24 x10 * x19 + 0.04 x10 * x20 - 0.36 x10 * x21 - 0.24 x10 * x22 + 0.08 x10 * x23 + 0.04 x10 * x24 + 0.04 x10 * x25 - 0.24 x10 * x26 + 0.08 x10 * x27 - 0.12 x10 * x28 + 0.32 x10 * x29 + 0.32 x10 * x30 - 0.36 x10 * x31 + 0.28 x10 * x32 + 0.16 x10 * x33 - 0.28 x10 * x34 + 0.12 x10 * x35 + 0.12 x10 * x36 - 0.36 x10 * x37 - 0.28 x10 * x38 - 0.16 x10 * x39 + 0.24 x10 * x40 - 0.36 x10 * x41 - 0.12 x10 * x42 + 0.24 x10 * x43 - 0.2 x10 * x44 + 0.88 x10 * x45 + 0.52 x10 * x46 - 0.8 x10 * x47 + 0.08 x10 * x48 - 0.84 x10 * x49 + 0.08 x10 * x50 + 0.08 x10 * x51 - 0.28 x10 * x52 - 0.24 x10 * x53 + 0.56 x10 * x54 - 0.24 x10 * x55 - 0.6 x10 * x56 - 0.36 x10 * x57 + 0.12 x10 * x58 - 0.28 x10 * x59 + 0.04 x10 * x60 + 0.28 x11^2 - 0.08 x11 * x12 - 0.04 x11 * x13 + 0.2 x11 * x14 + 0.32 x11 * x15 - 0.16 x11 * x16 + 0.12 x11 * x17 + 0.12 x11 * x18 - 0.2 x11 * x19 - 0.36 x11 * x20 - 0.12 x11 * x21 - 0.04 x11 * x22 + 0.28 x11 * x23 - 0.76 x11 * x24 + 0.16 x11 * x25 + 0.48 x11 * x27 - 0.08 x11 * x28 + 0.04 x11 * x29 - 0.16 x11 * x30 + 0.64 x11 * x31 + 0.52 x11 * x32 - 0.36 x11 * x33 - 0.28 x11 * x34 + 0.12 x11 * x35 + 0.36 x11 * x36 - 0.2 x11 * x37 + 0.12 x11 * x38 - 0.12 x11 * x39 - 0.04 x11 * x40 - 0.2 x11 * x41 - 0.24 x11 * x42 + 0.64 x11 * x43 - 0.44 x11 * x44 - 0.24 x11 * x45 + 0.32 x11 * x46 - 0.4 x11 * x47 - 0.2 x11 * x48 + 0.64 x11 * x49 + 0.08 x11 * x50 - 0.2 x11 * x51 - 0.8 x11 * x52 + 0.28 x11 * x53 - 0.32 x11 * x54 + 0.24 x11 * x55 + 0.32 x11 * x56 - 0.04 x11 * x58 - 0.32 x11 * x59 + 0.36 x11 * x60 + 0.16 x11 * x61 + 0.38 x12^2 - 0.12 x12 * x13 - 0.12 x12 * x14 - 0.16 x12 * x15 + 0.12 x12 * x16 - 0.36 x12 * x17 + 0.16 x12 * x18 - 0.68 x12 * x19 + 0.52 x12 * x20 + 0.48 x12 * x21 - 0.56 x12 * x22 - 0.2 x12 * x23 + 0.32 x12 * x24 - 0.08 x12 * x25 + 0.56 x12 * x26 + 0.16 x12 * x27 - 0.36 x12 * x28 + 0.08 x12 * x29 + 0.04 x12 * x30 + 0.36 x12 * x31 - 0.2 x12 * x32 + 0.08 x12 * x33 + 0.08 x12 * x34 + 0.2 x12 * x35 - 0.4 x12 * x36 + 0.28 x12 * x37 - 0.6 x12 * x38 + 0.24 x12 * x39 - 0.2 x12 * x40 - 0.2 x12 * x41 - 0.16 x12 * x42 - 0.24 x12 * x43 - 0.12 x12 * x44 - 0.52 x12 * x45 - 0.44 x12 * x46 + 0.44 x12 * x47 + 0.16 x12 * x48 - 0.16 x12 * x49 + 0.24 x12 * x50 + 0.08 x12 * x51 - 0.16 x12 * x52 + 0.24 x12 * x53 + 0.04 x12 * x54 + 0.24 x12 * x55 - 0.16 x12 * x56 + 0.12 x12 * x57 - 0.32 x12 * x58 - 0.04 x12 * x60 + 0.04 x13^2 - 0.32 x13 * x14 - 0.24 x13 * x15 + 0.36 x13 * x16 - 0.04 x13 * x17 + 0.36 x13 * x18 + 0.16 x13 * x19 + 0.56 x13 * x20 - 0.16 x13 * x21 - 0.16 x13 * x22 - 0.64 x13 * x23 + 0.32 x13 * x24 + 0.56 x13 * x25 - 0.12 x13 * x26 - 0.08 x13 * x27 + 0.04 x13 * x28 - 0.36 x13 * x29 - 0.2 x13 * x30 - 0.44 x13 * x31 + 0.32 x13 * x32 + 0.2 x13 * x33 + 0.08 x13 * x34 - 0.08 x13 * x35 - 0.12 x13 * x36 + 0.2 x13 * x37 - 0.08 x13 * x38 + 0.04 x13 * x39 + 0.12 x13 * x40 - 0.04 x13 * x41 - 0.08 x13 * x42 + 0.36 x13 * x43 + 0.44 x13 * x44 + 0.2 x13 * x45 + 0.12 x13 * x46 - 0.12 x13 * x47 - 0.12 x13 * x48 + 0.32 x13 * x49 + 0.04 x13 * x50 + 0.16 x13 * x51 + 0.04 x13 * x52 - 0.72 x13 * x53 + 0.32 x13 * x54 - 0.04 x13 * x55 - 0.48 x13 * x56 + 0.04 x13 * x57 + 0.08 x13 * x58 + 0.32 x13 * x59 - 0.16 x13 * x60 + 0.12 x13 * x61 + 0.26 x14^2 + 0.04 x14 * x15 - 0.2 x14 * x16 - 0.2 x14 * x17 - 0.2 x14 * x18 - 0.56 x14 * x19 + 0.04 x14 * x20 + 0.28 x14 * x21 - 0.12 x14 * x22 + 0.44 x14 * x23 + 0.16 x14 * x24 + 0.32 x14 * x25 + 0.48 x14 * x26 - 0.56 x14 * x27 - 0.4 x14 * x28 - 0.16 x14 * x29 + 0.12 x14 * x30 + 0.32 x14 * x31 + 0.36 x14 * x32 + 0.36 x14 * x33 - 0.24 x14 * x34 - 0.04 x14 * x35 + 0.12 x14 * x36 - 0.04 x14 * x37 + 0.12 x14 * x38 - 0.08 x14 * x39 - 0.08 x14 * x40 - 0.44 x14 * x41 - 0.84 x14 * x42 - 0.16 x14 * x43 - 0.12 x14 * x45 + 0.24 x14 * x46 - 0.12 x14 * x47 - 0.12 x14 * x48 - 0.2 x14 * x49 - 0.36 x14 * x50 + 0.2 x14 * x51 - 0.04 x14 * x52 - 0.52 x14 * x53 + 0.2 x14 * x54 + 0.4 x14 * x55 + 0.12 x14 * x56 + 0.2 x14 * x57 + 0.4 x14 * x58 - 0.12 x14 * x59 - 0.16 x14 * x60 - 0.32 x14 * x61 + 0.34 x15^2 - 0.16 x15 * x16 + 0.28 x15 * x17 - 0.32 x15 * x18 - 0.12 x15 * x19 - 0.2 x15 * x20 - 0.12 x15 * x21 - 0.28 x15 * x22 - 0.08 x15 * x23 - 0.08 x15 * x25 - 0.6 x15 * x26 - 0.28 x15 * x27 - 0.12 x15 * x28 - 0.04 x15 * x29 + 0.12 x15 * x30 + 0.36 x15 * x31 + 0.04 x15 * x32 - 0.04 x15 * x33 + 0.16 x15 * x34 - 0.28 x15 * x35 - 0.04 x15 * x36 + 0.64 x15 * x37 - 0.44 x15 * x38 - 0.24 x15 * x39 - 0.36 x15 * x40 - 0.76 x15 * x41 - 0.24 x15 * x42 - 0.08 x15 * x43 - 0.52 x15 * x44 + 0.4 x15 * x45 + 0.52 x15 * x46 + 0.16 x15 * x47 + 0.24 x15 * x48 + 0.32 x15 * x49 + 0.28 x15 * x50 - 0.36 x15 * x51 - 0.04 x15 * x52 - 0.4 x15 * x53 - 0.32 x15 * x54 + 0.24 x15 * x55 + 0.08 x15 * x56 - 0.16 x15 * x57 - 0.48 x15 * x58 + 0.36 x15 * x60 + 0.24 x15 * x61 + 0.12 x16^2 + 0.28 x16 * x17 - 0.16 x16 * x18 + 0.24 x16 * x19 + 0.64 x16 * x20 - 0.32 x16 * x21 + 0.2 x16 * x22 + 0.6 x16 * x23 - 0.12 x16 * x24 - 0.12 x16 * x25 - 0.44 x16 * x26 + 0.36 x16 * x27 - 0.48 x16 * x28 + 0.28 x16 * x29 - 0.2 x16 * x30 - 0.48 x16 * x31 + 0.08 x16 * x32 + 0.36 x16 * x33 - 0.48 x16 * x34 + 0.28 x16 * x35 + 0.04 x16 * x36 + 0.08 x16 * x37 + 0.28 x16 * x38 - 0.12 x16 * x39 - 0.4 x16 * x40 + 0.32 x16 * x41 + 0.04 x16 * x42 - 0.16 x16 * x43 + 0.16 x16 * x45 + 0.12 x16 * x46 + 0.32 x16 * x47 + 0.24 x16 * x48 - 0.92 x16 * x49 + 0.2 x16 * x50 + 0.28 x16 * x51 + 0.04 x16 * x52 + 0.24 x16 * x53 + 0.04 x16 * x54 + 0.2 x16 * x55 - 0.12 x16 * x57 + 0.4 x16 * x58 + 0.2 x16 * x59 - 0.52 x16 * x60 - 0.52 x16 * x61 + 0.48 x17^2 - 0.36 x17 * x18 - 0.24 x17 * x19 - 0.4 x17 * x20 - 0.04 x17 * x21 - 0.04 x17 * x23 + 0.04 x17 * x25 + 0.6 x17 * x26 - 0.68 x17 * x27 - 0.16 x17 * x28 - 0.04 x17 * x29 - 0.28 x17 * x30 - 0.24 x17 * x31 - 0.6 x17 * x32 + 0.16 x17 * x33 - 0.36 x17 * x34 - 0.16 x17 * x35 + 0.24 x17 * x36 + 0.44 x17 * x38 - 0.2 x17 * x39 - 0.4 x17 * x40 + 0.04 x17 * x41 - 0.12 x17 * x42 + 0.24 x17 * x43 + 0.56 x17 * x44 + 0.2 x17 * x45 + 0.2 x17 * x46 + 0.28 x17 * x47 - 0.28 x17 * x48 - 0.52 x17 * x49 + 0.24 x17 * x50 - 0.44 x17 * x51 - 0.16 x17 * x52 + 0.12 x17 * x53 - 0.28 x17 * x54 + 0.92 x17 * x55 - 0.84 x17 * x56 + 0.44 x17 * x57 - 0.2 x17 * x58 - 0.24 x17 * x60 - 0.04 x17 * x61 - 0.18 x18^2 + 0.08 x18 * x19 - 0.24 x18 * x20 + 0.44 x18 * x21 - 0.2 x18 * x22 - 0.24 x18 * x23 - 0.76 x18 * x24 - 0.16 x18 * x25 + 0.28 x18 * x26 + 0.28 x18 * x27 - 0.24 x18 * x28 + 0.28 x18 * x29 - 0.32 x18 * x30 - 0.2 x18 * x31 + 0.36 x18 * x32 + 0.2 x18 * x33 - 0.32 x18 * x34 + 0.12 x18 * x35 - 0.04 x18 * x36 - 0.12 x18 * x37 + 0.12 x18 * x38 - 0.2 x18 * x39 + 0.52 x18 * x40 + 0.36 x18 * x44 + 0.04 x18 * x45 - 0.16 x18 * x46 + 0.24 x18 * x47 + 0.16 x18 * x48 - 0.56 x18 * x49 + 0.12 x18 * x50 + 0.32 x18 * x52 - 0.04 x18 * x53 + 0.64 x18 * x54 + 0.2 x18 * x55 + 0.64 x18 * x56 + 0.4 x18 * x57 - 0.72 x18 * x58 - 0.12 x18 * x59 - 0.52 x18 * x60 - 0.2 x18 * x61 + 0.12 x19^2 - 0.12 x19 * x20 + 0.28 x19 * x21 + 0.04 x19 * x22 - 0.36 x19 * x23 + 0.12 x19 * x24 + 0.04 x19 * x25 + 0.16 x19 * x26 - 0.32 x19 * x27 + 0.32 x19 * x28 - 0.28 x19 * x29 + 0.28 x19 * x30 - 0.24 x19 * x31 - 0.2 x19 * x32 + 0.12 x19 * x33 + 0.08 x19 * x34 + 0.24 x19 * x35 + 0.72 x19 * x36 + 0.28 x19 * x37 - 0.16 x19 * x38 + 0.64 x19 * x39 - 0.2 x19 * x40 - 0.2 x19 * x41 - 0.32 x19 * x42 - 0.12 x19 * x43 - 0.76 x19 * x44 + 0.32 x19 * x45 + 0.36 x19 * x46 + 0.44 x19 * x47 - 0.44 x19 * x48 + 0.24 x19 * x49 + 0.2 x19 * x50 - 0.4 x19 * x51 - 0.08 x19 * x52 - 0.04 x19 * x53 + 0.08 x19 * x54 + 0.36 x19 * x55 + 0.12 x19 * x56 - 0.04 x19 * x57 + 0.08 x19 * x58 - 0.48 x19 * x59 + 0.12 x19 * x60 - 0.2 x19 * x61 + 0.26 x20^2 + 0.64 x20 * x21 - 0.2 x20 * x22 + 0.16 x20 * x23 + 0.08 x20 * x24 - 0.44 x20 * x25 - 0.56 x20 * x26 + 0.44 x20 * x27 - 0.16 x20 * x28 - 0.2 x20 * x29 - 0.04 x20 * x30 - 0.16 x20 * x31 + 0.16 x20 * x32 + 0.2 x20 * x34 + 0.84 x20 * x35 + 0.12 x20 * x36 - 0.36 x20 * x37 + 0.48 x20 * x38 + 0.08 x20 * x39 - 0.8 x20 * x40 + 0.08 x20 * x41 + 0.36 x20 * x43 - 0.24 x20 * x44 + 0.08 x20 * x45 - 0.64 x20 * x46 - 0.36 x20 * x47 - 0.16 x20 * x48 - 0.08 x20 * x49 + 0.6 x20 * x50 - 0.28 x20 * x51 - 0.24 x20 * x52 - 0.08 x20 * x53 - 0.28 x20 * x54 - 0.08 x20 * x55 + 0.24 x20 * x56 - 0.36 x20 * x57 + 0.32 x20 * x58 + 0.28 x20 * x59 - 0.08 x20 * x60 - 0.28 x20 * x61 + 0.44 x21^2 + 0.24 x21 * x22 - 0.52 x21 * x23 - 0.44 x21 * x25 - 0.16 x21 * x26 - 0.56 x21 * x27 + 0.2 x21 * x28 - 0.12 x21 * x29 - 0.24 x21 * x30 - 0.16 x21 * x31 + 0.24 x21 * x32 + 0.32 x21 * x33 + 0.12 x21 * x34 - 0.6 x21 * x35 - 0.04 x21 * x36 - 0.44 x21 * x37 + 0.56 x21 * x39 + 0.12 x21 * x40 + 0.24 x21 * x41 + 0.08 x21 * x42 - 0.16 x21 * x43 + 0.04 x21 * x44 + 0.56 x21 * x45 + 0.92 x21 * x46 - 0.08 x21 * x47 - 0.24 x21 * x48 + 0.2 x21 * x49 - 0.36 x21 * x50 + 0.08 x21 * x51 + 0.2 x21 * x52 + 0.08 x21 * x53 - 0.24 x21 * x54 + 0.24 x21 * x55 + 0.04 x21 * x56 - 0.44 x21 * x57 + 0.2 x21 * x58 - 0.36 x21 * x59 - 0.16 x21 * x60 + 0.44 x21 * x61 + 0.4 x22^2 - 0.24 x22 * x23 - 0.2 x22 * x24 + 0.16 x22 * x26 - 0.36 x22 * x27 + 0.08 x22 * x28 + 0.32 x22 * x29 - 0.16 x22 * x30 + 0.12 x22 * x31 + 0.28 x22 * x32 + 0.28 x22 * x33 + 0.24 x22 * x34 - 0.08 x22 * x36 - 0.2 x22 * x37 + 0.12 x22 * x38 + 0.52 x22 * x39 + 0.48 x22 * x40 + 0.08 x22 * x41 - 0.08 x22 * x42 - 0.24 x22 * x43 + 0.04 x22 * x44 - 0.08 x22 * x45 - 0.08 x22 * x46 + 0.12 x22 * x47 - 0.16 x22 * x48 + 0.24 x22 * x49 - 0.04 x22 * x50 + 0.04 x22 * x51 - 0.12 x22 * x52 - 0.4 x22 * x53 - 0.6 x22 * x54 - 0.4 x22 * x55 + 0.12 x22 * x57 - 0.2 x22 * x58 + 0.04 x22 * x59 + 0.12 x22 * x61 + 0.6 x23^2 + 0.12 x23 * x24 + 0.32 x23 * x25 + 0.08 x23 * x26 - 0.16 x23 * x27 + 0.64 x23 * x28 - 0.36 x23 * x29 - 0.56 x23 * x30 + 0.16 x23 * x31 - 0.44 x23 * x32 + 0.48 x23 * x33 + 0.08 x23 * x34 - 0.4 x23 * x35 - 0.4 x23 * x36 - 0.04 x23 * x37 + 0.84 x23 * x38 - 0.08 x23 * x40 + 0.12 x23 * x41 + 0.08 x23 * x42 - 0.04 x23 * x43 - 0.16 x23 * x44 + 0.28 x23 * x45 + 0.44 x23 * x46 + 0.48 x23 * x48 + 0.16 x23 * x49 + 0.12 x23 * x50 - 0.36 x23 * x51 + 0.08 x23 * x52 - 0.4 x23 * x53 - 0.48 x23 * x54 - 0.48 x23 * x55 + 0.48 x23 * x56 - 0.52 x23 * x57 + 0.08 x23 * x58 - 0.12 x23 * x59 - 0.2 x23 * x60 + 0.2 x23 * x61 + 0.7 x24^2 + 0.2 x24 * x25 + 0.16 x24 * x26 + 0.2 x24 * x27 + 0.16 x24 * x28 + 0.44 x24 * x29 - 0.96 x24 * x30 + 0.2 x24 * x31 - 0.28 x24 * x32 + 0.32 x24 * x33 + 0.08 x24 * x34 - 0.28 x24 * x35 + 0.08 x24 * x36 - 0.48 x24 * x37 - 0.2 x24 * x38 - 0.08 x24 * x39 + 0.52 x24 * x40 + 0.8 x24 * x41 + 0.16 x24 * x42 + 0.48 x24 * x43 + 0.28 x24 * x44 - 0.2 x24 * x45 + 0.44 x24 * x46 + 0.08 x24 * x47 - 0.04 x24 * x49 - 0.36 x24 * x51 - 0.32 x24 * x52 + 0.04 x24 * x53 + 0.12 x24 * x54 - 0.36 x24 * x55 - 0.36 x24 * x56 + 0.04 x24 * x57 + 0.04 x24 * x58 + 0.4 x24 * x59 + 0.32 x24 * x60 - 0.12 x24 * x61 - 0.56 x25^2 - 0.2 x25 * x26 - 0.2 x25 * x27 + 0.24 x25 * x28 + 0.28 x25 * x29 + 0.04 x25 * x30 + 0.48 x25 * x31 + 0.08 x25 * x32 + 0.48 x25 * x33 + 0.04 x25 * x34 + 0.04 x25 * x35 - 0.12 x25 * x36 - 0.32 x25 * x37 - 0.24 x25 * x38 + 0.24 x25 * x39 + 0.2 x25 * x40 - 0.2 x25 * x41 + 1.04 x25 * x42 - 0.32 x25 * x43 + 0.12 x25 * x44 - 0.24 x25 * x45 - 0.04 x25 * x46 + 0.44 x25 * x48 - 0.24 x25 * x49 - 0.08 x25 * x50 - 0.28 x25 * x51 + 0.16 x25 * x52 - 0.48 x25 * x53 + 0.28 x25 * x54 + 0.2 x25 * x55 - 0.32 x25 * x56 - 0.16 x25 * x57 + 0.36 x25 * x58 + 0.48 x25 * x59 - 0.12 x25 * x60 - 0.32 x25 * x61 + 0.04 x26^2 + 0.32 x26 * x27 - 0.08 x26 * x28 + 0.08 x26 * x29 + 0.24 x26 * x30 + 0.04 x26 * x31 - 0.12 x26 * x32 - 0.16 x26 * x33 - 0.84 x26 * x34 + 0.24 x26 * x35 + 0.68 x26 * x36 + 0.28 x26 * x37 - 0.28 x26 * x38 + 0.12 x26 * x39 + 0.04 x26 * x40 - 0.12 x26 * x41 - 0.48 x26 * x42 - 0.12 x26 * x44 + 0.2 x26 * x45 + 0.16 x26 * x46 + 0.08 x26 * x47 - 0.16 x26 * x48 + 0.32 x26 * x49 - 0.4 x26 * x50 - 0.24 x26 * x51 + 0.24 x26 * x52 - 0.24 x26 * x53 - 0.28 x26 * x54 - 0.12 x26 * x55 - 0.24 x26 * x56 + 0.08 x26 * x57 + 0.12 x26 * x58 - 0.16 x26 * x60 + 0.36 x26 * x61 + 0.02 x27^2 - 0.12 x27 * x28 + 0.12 x27 * x29 - 0.28 x27 * x30 - 0.24 x27 * x31 - 0.24 x27 * x32 - 0.2 x27 * x33 + 0.28 x27 * x34 + 0.36 x27 * x35 - 0.04 x27 * x36 + 0.44 x27 * x37 - 0.08 x27 * x38 + 0.72 x27 * x40 - 0.36 x27 * x41 + 0.64 x27 * x42 - 0.12 x27 * x43 - 0.12 x27 * x45 - 0.4 x27 * x46 + 0.12 x27 * x47 + 0.32 x27 * x48 - 0.12 x27 * x49 - 0.08 x27 * x50 - 0.48 x27 * x51 - 0.72 x27 * x52 + 0.04 x27 * x53 - 0.16 x27 * x54 - 0.28 x27 * x55 - 0.32 x27 * x56 + 0.48 x27 * x57 + 0.24 x27 * x58 - 0.16 x27 * x59 + 0.48 x27 * x60 + 0.32 x27 * x61 - 0.24 x28^2 + 0.32 x28 * x29 + 0.04 x28 * x30 + 0.04 x28 * x31 + 0.28 x28 * x32 + 0.12 x28 * x33 + 0.2 x28 * x34 - 0.32 x28 * x35 + 0.12 x28 * x36 + 0.44 x28 * x37 + 0.4 x28 * x38 + 0.08 x28 * x39 - 0.52 x28 * x40 - 0.32 x28 * x41 + 0.52 x28 * x42 - 0.88 x28 * x43 + 0.28 x28 * x44 + 0.08 x28 * x45 - 0.2 x28 * x46 - 0.48 x28 * x47 + 0.08 x28 * x48 + 0.28 x28 * x49 - 0.32 x28 * x50 - 0.04 x28 * x51 + 0.28 x28 * x52 + 0.36 x28 * x53 - 0.08 x28 * x54 - 0.6 x28 * x55 + 0.12 x28 * x56 + 0.28 x28 * x57 - 0.52 x28 * x58 + 0.2 x28 * x59 + 0.4 x28 * x60 - 0.04 x28 * x61 + 0.26 x29^2 - 0.28 x29 * x30 + 0.12 x29 * x31 - 0.16 x29 * x32 - 0.12 x29 * x33 - 0.96 x29 * x35 + 0.56 x29 * x36 + 0.16 x29 * x37 - 0.16 x29 * x38 + 0.4 x29 * x39 - 0.32 x29 * x40 - 0.52 x29 * x41 - 0.48 x29 * x42 - 0.04 x29 * x43 + 0.08 x29 * x44 - 0.36 x29 * x46 + 0.28 x29 * x47 + 0.64 x29 * x48 - 0.16 x29 * x49 + 0.04 x29 * x50 + 0.12 x29 * x52 + 0.04 x29 * x53 - 0.32 x29 * x54 + 0.08 x29 * x55 + 0.16 x29 * x56 - 0.72 x29 * x57 + 0.2 x29 * x58 + 0.28 x29 * x59 - 0.04 x29 * x60 - 0.24 x29 * x61 + 0.42 x30^2 + 0.04 x30 * x31 - 0.28 x30 * x32 + 0.44 x30 * x33 + 0.68 x30 * x34 - 0.4 x30 * x35 - 0.64 x30 * x36 - 0.28 x30 * x37 - 0.36 x30 * x38 - 0.04 x30 * x39 - 0.28 x30 * x40 + 0.4 x30 * x41 - 0.24 x30 * x42 - 0.04 x30 * x44 + 0.68 x30 * x45 - 0.28 x30 * x46 - 0.16 x30 * x47 + 0.2 x30 * x48 - 0.44 x30 * x50 + 0.56 x30 * x51 + 0.08 x30 * x52 - 0.48 x30 * x53 + 0.52 x30 * x54 - 0.24 x30 * x55 + 0.2 x30 * x56 + 0.12 x30 * x57 + 0.36 x30 * x58 + 0.16 x30 * x59 + 0.36 x30 * x60 - 0.04 x30 * x61 - 0.2 x31^2 - 0.24 x31 * x32 - 0.12 x31 * x33 - 0.88 x31 * x34 + 0.2 x31 * x35 - 0.08 x31 * x36 - 0.4 x31 * x37 - 0.28 x31 * x38 + x31 * x39 - 0.76 x31 * x40 + 0.72 x31 * x42 - 0.6 x31 * x43 + 0.24 x31 * x44 + 0.08 x31 * x45 - 0.44 x31 * x46 - 0.16 x31 * x47 - 0.28 x31 * x48 + 0.12 x31 * x49 + 0.16 x31 * x50 + 0.36 x31 * x51 - 0.36 x31 * x52 + 0.08 x31 * x53 + 0.36 x31 * x54 - 0.44 x31 * x55 - 0.24 x31 * x56 - 0.2 x31 * x57 + 0.52 x31 * x58 - 0.36 x31 * x59 - 0.12 x31 * x60 - 0.1 x32^2 - 0.32 x32 * x33 - 0.08 x32 * x35 + 0.2 x32 * x36 + 0.04 x32 * x37 + 0.24 x32 * x38 + 0.08 x32 * x39 + 0.2 x32 * x40 - 0.44 x32 * x42 - 0.16 x32 * x43 - 0.04 x32 * x44 - 0.12 x32 * x45 + 0.16 x32 * x46 - 0.12 x32 * x47 - 0.24 x32 * x48 + 0.08 x32 * x49 + 0.32 x32 * x50 + 0.16 x32 * x51 + 0.4 x32 * x52 - 0.48 x32 * x54 + 0.56 x32 * x56 + 0.36 x32 * x57 + 0.32 x32 * x58 - 0.16 x32 * x59 - 0.12 x32 * x60 - 0.36 x32 * x61 + 0.2 x33^2 - 0.36 x33 * x34 - 0.08 x33 * x35 - 0.04 x33 * x36 + 0.2 x33 * x38 - 0.84 x33 * x39 + 0.04 x33 * x40 - 0.64 x33 * x41 + 0.04 x33 * x42 + 0.6 x33 * x43 - 0.56 x33 * x44 - 0.48 x33 * x45 + 0.04 x33 * x46 + 0.68 x33 * x47 - 0.48 x33 * x48 + 0.28 x33 * x49 + 0.04 x33 * x50 + 0.28 x33 * x51 + 0.36 x33 * x52 - 0.36 x33 * x53 + 0.08 x33 * x54 - 0.08 x33 * x55 - 0.28 x33 * x56 - 0.32 x33 * x57 - 0.36 x33 * x58 + 0.84 x33 * x59 + 0.44 x33 * x60 - 0.48 x33 * x61 + 0.28 x34^2 + 0.28 x34 * x35 + 0.32 x34 * x36 + 0.64 x34 * x37 + 0.12 x34 * x38 - 0.28 x34 * x39 + 0.04 x34 * x41 - 0.08 x34 * x42 - 0.44 x34 * x43 - 0.16 x34 * x44 - 0.28 x34 * x45 + 0.36 x34 * x46 + 0.72 x34 * x47 + 0.2 x34 * x48 - 0.6 x34 * x49 - 0.4 x34 * x50 - 0.56 x34 * x51 + 0.12 x34 * x52 - 0.2 x34 * x53 + 0.2 x34 * x54 - 0.44 x34 * x55 + 0.36 x34 * x56 - 0.04 x34 * x58 - 0.2 x34 * x59 + 0.48 x34 * x61 + 0.06 x35^2 + 0.16 x35 * x36 - 0.12 x35 * x37 + 0.2 x35 * x39 - 0.08 x35 * x40 - 0.08 x35 * x41 + 0.24 x35 * x42 + 0.4 x35 * x43 - 0.32 x35 * x44 - 0.16 x35 * x45 + 0.56 x35 * x46 + 0.28 x35 * x47 - 0.48 x35 * x48 - 0.36 x35 * x49 - 0.16 x35 * x51 + 0.12 x35 * x52 - 0.52 x35 * x53 + 0.16 x35 * x54 + 0.72 x35 * x55 - 0.28 x35 * x56 - 0.56 x35 * x57 - 0.68 x35 * x58 + 0.24 x35 * x59 + 0.24 x35 * x60 - 0.04 x35 * x61 + 0.22 x36^2 - 0.28 x36 * x37 + 0.12 x36 * x38 - 0.04 x36 * x39 - 0.12 x36 * x40 - 0.72 x36 * x41 - 0.56 x36 * x42 + 0.24 x36 * x43 + 0.24 x36 * x44 + 0.4 x36 * x45 - 1.16 x36 * x46 + 0.08 x36 * x47 + 0.4 x36 * x48 + 0.44 x36 * x49 + 0.04 x36 * x50 - 0.44 x36 * x51 - 0.2 x36 * x52 + 0.16 x36 * x53 + 0.52 x36 * x54 - 0.2 x36 * x55 + 0.2 x36 * x56 - 0.4 x36 * x57 - 0.2 x36 * x58 + 0.36 x36 * x59 - 0.4 x36 * x60 - 0.12 x36 * x61 - 0.2 x37^2 - 0.2 x37 * x38 - 0.8 x37 * x39 - 0.36 x37 * x40 + 0.36 x37 * x42 - 0.24 x37 * x43 - 0.16 x37 * x44 - 0.12 x37 * x45 - 0.04 x37 * x46 - 0.32 x37 * x47 + 0.48 x37 * x48 - 0.28 x37 * x49 - 0.04 x37 * x50 - 0.04 x37 * x51 + 0.12 x37 * x53 - 0.36 x37 * x54 - 0.48 x37 * x55 - 0.4 x37 * x56 + 0.32 x37 * x57 - 0.16 x37 * x58 - 0.28 x37 * x59 - 0.12 x37 * x60 + 0.84 x37 * x61 + 0.1 x38^2 - 0.16 x38 * x39 - 0.04 x38 * x40 + 0.12 x38 * x42 - 0.52 x38 * x43 + 0.04 x38 * x44 + 0.2 x38 * x45 - 0.48 x38 * x46 - 0.44 x38 * x47 - 0.32 x38 * x48 - 0.16 x38 * x49 + 0.16 x38 * x50 + 0.64 x38 * x51 - 0.28 x38 * x52 - 0.44 x38 * x53 - 0.24 x38 * x54 + 0.32 x38 * x55 - 0.32 x38 * x56 - 0.08 x38 * x57 + 0.04 x38 * x58 + 0.12 x38 * x59 + 0.04 x38 * x60 + 0.04 x38 * x61 - 0.28 x39^2 - 0.32 x39 * x40 + 0.36 x39 * x41 + 0.8 x39 * x42 - 0.12 x39 * x43 + 0.04 x39 * x45 - 0.12 x39 * x46 + 0.6 x39 * x47 + 0.36 x39 * x48 - 0.08 x39 * x49 - 0.12 x39 * x50 - 0.56 x39 * x51 - 0.2 x39 * x52 - 0.44 x39 * x53 + 0.44 x39 * x55 - 0.16 x39 * x56 + 0.04 x39 * x57 + 0.4 x39 * x58 - 0.56 x39 * x59 - 0.2 x39 * x60 + 0.12 x40^2 - 0.6 x40 * x41 - 0.2 x40 * x42 + 0.32 x40 * x43 + 0.2 x40 * x44 + 0.08 x40 * x45 + 0.48 x40 * x46 + 0.08 x40 * x47 + 0.12 x40 * x48 - 0.04 x40 * x50 + 0.44 x40 * x51 - 0.24 x40 * x53 + 0.16 x40 * x54 - 0.36 x40 * x55 + 0.76 x40 * x57 + 0.4 x40 * x58 + 0.16 x40 * x59 + 0.08 x40 * x60 - 0.04 x40 * x61 - 0.08 x41^2 - 0.12 x41 * x42 + 0.16 x41 * x43 - 0.24 x41 * x44 - 0.24 x41 * x45 + 0.52 x41 * x46 - 0.4 x41 * x47 + 0.24 x41 * x48 + 0.2 x41 * x49 - 0.32 x41 * x50 + 0.16 x41 * x51 + 0.48 x41 * x52 + 0.36 x41 * x53 + 0.04 x41 * x54 + 0.12 x41 * x55 + 0.6 x41 * x56 + 0.24 x41 * x57 - 0.36 x41 * x58 - 0.2 x41 * x59 + 0.32 x41 * x60 + 0.32 x41 * x61 - 0.16 x42^2 - 0.44 x42 * x43 + 0.44 x42 * x44 + 0.24 x42 * x45 - 0.08 x42 * x46 - 0.24 x42 * x47 - 0.2 x42 * x48 - 0.08 x42 * x49 - 0.2 x42 * x50 + 0.04 x42 * x51 - 0.24 x42 * x53 + 0.28 x42 * x54 + 0.48 x42 * x55 - 0.28 x42 * x56 + 0.24 x42 * x57 - 0.12 x42 * x58 - 0.56 x42 * x59 + 0.28 x42 * x60 - 0.16 x42 * x61 + 0.02 x43^2 - 0.2 x43 * x44 - 0.04 x43 * x45 - 0.24 x43 * x46 + 0.16 x43 * x47 + 0.24 x43 * x48 + 0.08 x43 * x49 - 0.08 x43 * x50 + 0.32 x43 * x51 + 0.16 x43 * x52 - 0.08 x43 * x54 - 0.12 x43 * x55 + 0.12 x43 * x56 + 0.48 x43 * x57 + 0.2 x43 * x58 + 0.12 x43 * x59 - 0.64 x43 * x60 + 0.4 x43 * x61 - 0.08 x44^2 + 0.4 x44 * x45 + 0.16 x44 * x46 - 0.2 x44 * x47 - 0.2 x44 * x48 - 0.24 x44 * x49 - 0.12 x44 * x50 - 0.16 x44 * x51 - 0.32 x44 * x52 + 0.6 x44 * x53 + 0.12 x44 * x54 - 0.08 x44 * x55 + 0.12 x44 * x56 + 0.04 x44 * x57 + 0.08 x44 * x58 + 0.04 x44 * x59 - 0.08 x44 * x60 - 0.08 x44 * x61 - 0.56 x45^2 + 0.16 x45 * x46 - 0.28 x45 * x47 - 0.12 x45 * x48 - 0.24 x45 * x50 + 0.08 x45 * x51 - 0.12 x45 * x52 - 0.16 x45 * x53 - 0.04 x45 * x54 - 0.36 x45 * x55 - 0.04 x45 * x56 - 0.04 x45 * x57 + 0.44 x45 * x58 - 0.12 x45 * x59 + 0.04 x45 * x60 - 0.04 x45 * x61 + 0.08 x46^2 + 0.56 x46 * x47 - 0.2 x46 * x48 + 0.2 x46 * x49 - 0.52 x46 * x50 + 0.12 x46 * x51 - 0.08 x46 * x52 + 0.56 x46 * x53 + 0.12 x46 * x55 - 0.2 x46 * x56 - 0.44 x46 * x57 - 0.04 x46 * x59 - 0.32 x46 * x60 + 0.04 x46 * x61 - 0.28 x47^2 - 0.08 x47 * x48 - 0.08 x47 * x49 + 0.12 x47 * x50 - 0.2 x47 * x51 + 0.2 x47 * x52 + 0.12 x47 * x53 + 0.04 x47 * x54 + 0.16 x47 * x55 + 0.2 x47 * x56 - 0.48 x47 * x57 - 0.4 x47 * x58 - 0.64 x47 * x59 - 0.84 x47 * x60 + 0.12 x47 * x61 - 0.28 x48 * x49 - 0.96 x48 * x50 + 0.16 x48 * x51 + 0.2 x48 * x52 + 0.08 x48 * x53 - 0.36 x48 * x54 + 0.36 x48 * x55 - 0.28 x48 * x56 - 0.2 x48 * x58 + 0.08 x48 * x59 + 0.36 x48 * x60 - 0.16 x48 * x61 + 0.22 x49^2 + 0.64 x49 * x50 - 0.16 x49 * x51 - 0.32 x49 * x53 - 0.04 x49 * x54 + 0.36 x49 * x55 - 0.08 x49 * x57 - 0.16 x49 * x58 + 0.2 x49 * x59 + x49 * x60 + 0.32 x49 * x61 - 0.16 x50^2 + 0.24 x50 * x51 - 0.28 x50 * x52 + 0.08 x50 * x53 + 0.32 x50 * x54 - 0.28 x50 * x55 + 0.16 x50 * x56 + 0.32 x50 * x57 + 0.24 x50 * x58 - 0.76 x50 * x59 - 0.24 x50 * x60 + 0.24 x50 * x61 + 0.3 x51^2 - 0.4 x51 * x52 + 0.36 x51 * x53 - 0.08 x51 * x54 + 0.04 x51 * x55 - 0.76 x51 * x56 - 0.48 x51 * x57 + 0.48 x51 * x58 - 0.08 x51 * x59 + 0.04 x51 * x60 + 0.32 x51 * x61 + 0.34 x52^2 + 0.12 x52 * x53 - 0.24 x52 * x54 + 0.2 x52 * x55 + 0.04 x52 * x56 - 0.04 x52 * x57 + 0.4 x52 * x58 - 0.36 x52 * x59 - 0.12 x52 * x60 - 0.44 x52 * x61 + 0.52 x53^2 + 0.16 x53 * x54 + 0.68 x53 * x56 - 0.56 x53 * x57 + 0.6 x53 * x58 + 0.48 x53 * x59 + 0.16 x53 * x60 - 0.36 x53 * x61 + 0.2 x54^2 + 0.32 x54 * x55 + 0.52 x54 * x56 - 0.08 x54 * x58 - 0.2 x54 * x59 + 0.36 x54 * x60 + 0.04 x54 * x61 + 0.16 x55^2 - 0.4 x55 * x56 + 0.2 x55 * x57 - 0.44 x55 * x58 - 0.16 x55 * x59 + 0.8 x55 * x60 - 0.28 x55 * x61 + 0.12 x56^2 - 0.2 x56 * x57 - 0.68 x56 * x58 + 0.08 x56 * x59 + 0.04 x56 * x60 - 0.16 x56 * x61 + 0.36 x57^2 + 0.12 x57 * x58 + 0.24 x57 * x59 - 0.12 x57 * x60 + 0.16 x57 * x61 + 0.14 x58^2 - 0.48 x58 * x59 - 0.4 x58 * x60 + 0.04 x58 * x61 + 0.18 x59^2 + 0.28 x59 * x60 - 0.2 x59 * x61 + 0.14 x60^2 - 0.4 x60 * x61 + 0.1 x61^2 ]/2 Subject To e2: 0.29 x2 + 0.43 x3 - 0.66 x4 - 0.98 x5 - 0.99 x6 - 0.01 x7 + 0.82 x8 + 0.33 x9 + 0.45 x10 - 0.48 x11 + 0.15 x12 - 0.58 x13 - 0.25 x14 - 0.4 x15 + 0.65 x16 + 0.85 x17 + 0.22 x18 + 0.98 x19 - 0.02 x20 - 0.55 x21 - 0.93 x22 + 0.94 x23 + 0.42 x24 + 0.63 x25 + 0.31 x26 - 0.74 x27 - 0.73 x28 + 0.51 x29 + 0.84 x30 + 0.66 x31 - 0.07 x32 - 0.68 x33 + 0.61 x34 - 0.6 x35 - 0.84 x36 + 0.33 x37 + 0.93 x38 - 0.01 x39 + 0.52 x40 - 0.26 x41 + 0.45 x42 + 0.85 x43 + 0.07 x44 + 0.37 x45 - 0.93 x46 + 0.92 x47 + 0.09 x48 + 0.27 x49 + 0.7 x50 + 0.97 x51 - 0.09 x52 - 0.16 x53 - 0.29 x54 + 0.45 x55 - 0.67 x56 + 0.95 x57 - 0.09 x58 - 0.09 x59 + 0.3 x60 + 0.79 x61 = -0.5 e3: - 0.07 x2 + 0.85 x3 + 0.34 x4 + 0.64 x5 - 0.94 x6 + 0.45 x7 + 0.6 x8 - 0.52 x9 + 0.87 x10 + 0.55 x11 - 0.61 x12 + 0.43 x13 + 0.8 x14 + 0.19 x15 + 0.97 x16 - 0.6 x17 - 0.48 x18 - 0.45 x19 + 0.71 x20 + 0.59 x21 + x22 - 0.09 x23 - 0.27 x24 - 0.31 x25 - 0.74 x26 + 0.17 x27 + 0.46 x28 + 0.57 x29 + 0.09 x30 + 0.89 x31 + 0.56 x32 + 0.27 x33 - 0.78 x34 - 0.17 x35 - 0.52 x36 + 0.7 x37 + 0.6 x38 + 0.2 x39 + 0.58 x40 - 0.25 x41 - 0.99 x42 - 0.76 x43 - 0.18 x44 - 0.23 x45 + 0.01 x46 + 0.31 x47 - 0.44 x48 - 0.85 x49 - 0.2 x50 - 0.12 x51 - 0.26 x52 - 0.93 x53 - 0.87 x54 - 0.36 x55 + 0.16 x56 + 0.45 x57 + 0.87 x58 - 0.66 x59 + 0.47 x60 + 0.5 x61 = -0.28 e4: 0.15 x2 - 0.85 x3 - 0.27 x4 - 0.4 x5 - 0.42 x6 + 0.94 x7 - 0.18 x8 + 0.91 x9 + 0.06 x10 + 0.21 x11 - 0.92 x12 - 0.17 x13 - 0.84 x14 + 0.11 x15 - 0.35 x16 - 0.98 x17 - 0.87 x18 - 0.73 x19 - 0.41 x20 + 0.35 x21 - 0.48 x22 - 0.94 x23 - 0.1 x24 - 0.12 x25 + 0.48 x26 - 0.69 x27 - 0.05 x28 - 0.76 x29 - 0.97 x30 + 0.11 x31 + 0.3 x32 - 0.1 x33 + 0.22 x34 + 0.33 x35 + 0.6 x36 + 0.39 x37 - 0.53 x38 - 0.65 x39 - 0.86 x40 + 0.92 x41 - 0.35 x42 - 0.32 x43 + 0.68 x44 - 0.6 x45 + 0.67 x46 - 0.34 x47 + 0.42 x48 - 0.49 x49 - 0.62 x50 + 0.17 x51 + 0.81 x52 - 0.76 x53 - 0.89 x54 - 0.78 x55 + 0.49 x56 - 0.51 x57 + 0.53 x58 - 0.15 x59 + 0.52 x60 + 0.55 x61 = 0.48 e5: 0.11 x2 - 0.44 x3 + 0.61 x4 + 0.03 x5 + 0.85 x6 - 0.96 x7 + 0.41 x8 + 0.93 x9 - 0.5 x10 - 0.07 x11 - 0.02 x12 - 0.51 x13 - 0.13 x14 - 0.3 x15 - 0.03 x16 + 0.08 x17 + 0.23 x18 - 0.42 x19 + 0.83 x20 + 0.47 x21 - 0.81 x22 - 0.23 x23 - 0.68 x24 - 0.11 x25 - 0.98 x26 + 0.34 x27 + 0.8 x28 - 0.96 x29 + 0.34 x30 + 0.19 x31 + 0.94 x32 + 0.09 x33 - 0.85 x34 + 0.06 x35 - 0.49 x36 - 0.28 x37 + 0.21 x38 + 0.56 x39 - 0.49 x40 + 0.64 x41 - 0.54 x42 - 0.55 x43 - 0.35 x44 + 0.97 x45 + 0.99 x46 + 0.8 x47 - 0.41 x48 - 0.7 x49 - 0.55 x50 - 0.16 x51 + 0.16 x52 + 0.4 x53 - 0.29 x54 + 0.68 x55 - 0.15 x56 - 0.26 x57 - 0.82 x58 + 0.7 x59 + 0.35 x60 - 0.84 x61 = -0.34 e6: 0.23 x2 - 0.98 x3 + x4 - 0.88 x5 + 0.04 x6 - 0.85 x7 + 0.63 x8 - 0.64 x9 + 0.84 x10 - 0.17 x11 + 0.64 x12 - 0.09 x13 + 0.37 x14 + 0.03 x15 + 0.94 x16 + 0.76 x17 - 0.11 x18 - 0.87 x19 + 0.33 x20 + 0.94 x21 - 0.31 x22 - 0.78 x23 - 0.59 x24 - 0.45 x25 - 0.99 x26 - 0.93 x27 - 0.2 x28 - 0.37 x29 - 0.17 x30 - 0.07 x31 + 0.61 x32 - 0.82 x33 - 0.7 x34 - 0.44 x35 - 0.75 x36 + 0.63 x38 - 0.48 x39 + 0.79 x40 + 0.06 x41 + 0.79 x42 + 0.54 x43 - 0.91 x44 + 0.54 x45 - 0.69 x46 - 0.14 x47 - 0.72 x48 - 0.82 x49 + 0.9 x50 - 0.56 x51 + 0.05 x52 + 0.28 x53 + 0.77 x54 - 0.34 x55 + 0.92 x56 - 0.6 x57 + 0.17 x58 - 0.28 x59 - 0.86 x60 + 0.1 x61 = -0.48 e7: - 0.78 x2 - 0.55 x3 - 0.56 x4 + 0.68 x5 - 0.39 x6 - 0.32 x7 - 0.7 x8 - 0.45 x9 + 0.21 x10 - 0.03 x11 - 0.03 x12 + 0.46 x13 + 0.32 x14 + 0.11 x15 - 0.52 x16 - 0.26 x17 - 0.63 x18 + 0.14 x19 + 0.53 x20 - 0.11 x21 - 0.22 x22 + 0.13 x23 - 0.28 x24 + 0.59 x25 - 0.54 x26 + 0.02 x27 - 0.24 x28 - 0.02 x29 + 0.25 x30 + 0.23 x31 + 0.82 x32 - 0.76 x33 + 0.1 x34 - 0.37 x35 + 0.65 x36 - 0.78 x37 + 0.56 x38 - 0.28 x39 + 0.83 x40 + 0.6 x41 - 0.76 x42 - 0.26 x43 - 0.37 x44 + 0.56 x45 - 0.81 x46 + 0.58 x47 - 0.35 x48 + 0.75 x49 - 0.78 x50 - 0.86 x51 + 0.16 x52 - 0.39 x53 - 0.04 x54 - 0.78 x55 - 0.79 x56 + 0.9 x57 - 0.13 x58 - 0.91 x59 - 0.21 x60 + 0.72 x61 = 0.92 e8: 0.73 x2 - 0.58 x3 + 0.43 x4 + 0.26 x5 + 0.97 x6 - 0.33 x7 - 0.2 x8 + 0.01 x9 - 0.94 x10 + 0.08 x11 + 0.88 x12 + 0.44 x13 + 0.35 x14 + 0.44 x15 + 0.94 x16 - 0.29 x17 + 0.4 x18 + 0.21 x19 - 0.76 x20 + 0.48 x21 + 0.58 x22 + 0.31 x23 + 0.02 x24 - 0.53 x25 + 0.93 x26 - 0.74 x27 - 0.8 x28 + 0.01 x29 + 0.98 x30 - 0.61 x31 + 0.83 x32 + 0.07 x33 + 0.68 x34 - 0.5 x35 + 0.82 x36 - 0.55 x37 - 0.89 x38 + 0.43 x39 - 0.37 x40 - 0.86 x41 + 0.31 x42 - 0.07 x43 - 0.89 x44 + 0.39 x45 + 0.45 x46 - 0.94 x47 - 0.8 x48 - 0.73 x49 - 0.42 x50 - 0.7 x51 - 0.53 x52 - 0.03 x53 + 0.86 x54 - 0.72 x55 - 0.72 x56 - 0.34 x57 + 0.91 x58 - 0.03 x59 - 0.14 x60 + 0.79 x61 = -0.16 e9: - 0.19 x2 - 0.33 x3 + 0.84 x4 - 0.05 x5 + 0.01 x6 + 0.76 x7 - 0.76 x8 - 0.24 x9 - 0.18 x10 - 0.08 x11 - 0.25 x12 + 0.74 x13 - 0.6 x14 - 0.04 x15 + 0.71 x16 + 0.89 x17 + 0.15 x18 + 0.1 x19 + 0.66 x20 + 0.48 x21 - 0.78 x22 - 0.04 x23 - 0.68 x24 - 0.28 x25 + 0.19 x26 + 0.73 x27 - 0.88 x28 + 0.84 x29 - 0.36 x30 + 0.17 x31 - 0.48 x32 + 0.67 x33 - 0.56 x34 - 0.62 x35 + 0.97 x36 - 0.93 x37 - 0.12 x38 + 0.31 x39 - 0.79 x40 - 0.45 x41 - 0.98 x42 - 0.95 x43 - 0.23 x44 + 0.26 x45 + 0.74 x46 - 0.02 x47 - 0.69 x48 + 0.84 x49 - 0.93 x50 - 0.31 x51 + 0.63 x52 + 0.98 x53 - 0.91 x54 + 0.08 x55 + 0.19 x56 - 0.16 x57 + 0.31 x58 - 0.75 x59 + 0.41 x60 + 0.84 x61 = -0.3 e10: 0.17 x2 - 0.15 x3 + 0.14 x4 - 0.04 x5 + 0.63 x6 + 0.41 x7 - 0.03 x8 - 0.42 x9 + 0.76 x10 + 0.96 x11 + 0.56 x12 - 0.65 x13 - 0.25 x14 - 0.63 x15 + 0.36 x16 - 0.35 x17 - 0.74 x18 - 0.6 x19 + 0.27 x20 - 0.41 x21 + 0.84 x22 + 0.36 x23 - 0.02 x24 - 0.46 x25 - 0.21 x26 + 0.86 x27 + 0.85 x28 - 0.23 x29 + 0.98 x30 - 0.08 x31 - 0.01 x32 + 0.53 x33 + 0.07 x34 - 0.34 x35 - 0.98 x36 + 0.33 x37 + 0.27 x38 + 0.62 x39 + 0.54 x40 - 0.87 x41 - 0.35 x42 + 0.6 x43 - 0.9 x44 + 0.91 x45 + 0.64 x46 + 0.9 x47 + 0.97 x48 + 0.26 x49 + 0.01 x50 - 0.01 x52 + 0.92 x53 + 0.17 x54 + 0.07 x55 + 0.48 x56 + 0.83 x57 - 0.17 x58 - 0.24 x59 + 0.51 x60 - 0.51 x61 = -0.1 e11: - 0.04 x2 - 0.21 x3 + 0.55 x4 - 0.73 x5 - 0.88 x6 + 0.43 x7 + 0.86 x8 + 0.38 x9 + 0.83 x10 - 0.33 x11 - 0.51 x12 - 0.29 x13 + 0.36 x14 + 0.45 x15 + 0.98 x16 - 0.01 x17 + 0.11 x18 + 0.22 x19 + 0.11 x20 + 0.05 x21 + 0.88 x22 + 0.29 x23 - 0.73 x24 - 0.77 x25 - 0.71 x26 + 0.81 x27 - 0.43 x28 - 0.9 x29 - 0.46 x30 - 0.91 x31 + 0.75 x32 + 0.45 x33 - x34 - 0.56 x35 + 0.62 x36 + 0.11 x37 + 0.32 x38 + 0.27 x39 - 0.97 x40 - 0.2 x41 + 0.65 x42 - 0.28 x43 - 0.53 x44 + 0.97 x45 - 0.3 x46 - 0.31 x47 + 0.09 x48 + 0.88 x49 - 0.8 x50 + 0.36 x51 + 0.05 x52 - 0.12 x53 + 0.3 x54 - 0.95 x55 - 0.76 x56 + 0.77 x57 - 0.23 x58 + 0.82 x59 - 0.5 x60 + 0.71 x61 = -0.05 e12: 0.72 x2 - 0.9 x3 - 0.4 x4 - 0.2 x5 + 0.11 x6 - 0.98 x7 + 0.95 x8 - 0.86 x9 + 0.88 x10 + 0.98 x11 - 0.43 x12 - 0.67 x13 - 0.02 x14 - 0.74 x15 + 0.64 x16 - 0.07 x17 - 0.64 x18 - 0.76 x19 - 0.43 x20 - 0.32 x21 + 0.73 x22 + 0.25 x23 + 0.6 x24 + 0.27 x25 - 0.12 x26 + 0.57 x27 - 0.6 x28 - 0.45 x29 - 0.55 x30 + 0.81 x31 + 0.51 x32 + 0.28 x33 + 0.99 x34 - 0.7 x35 + 0.34 x36 + 0.35 x37 + 0.71 x38 + 0.06 x39 - 0.91 x40 + 0.49 x41 - 0.96 x42 + 0.39 x43 + 0.56 x44 - 0.3 x45 + 0.73 x46 + 0.88 x47 - 0.86 x48 - 0.91 x49 + 0.87 x50 - 0.91 x51 - 0.73 x52 + 0.25 x53 - 0.67 x54 + 0.84 x55 - 0.64 x56 - 0.74 x57 - 0.99 x58 + 0.61 x59 + 0.54 x60 - 0.52 x61 = -0.78 e13: 0.25 x2 + 0.24 x3 - 0.05 x4 + 0.87 x5 + 0.84 x6 + 0.37 x7 - 0.5 x8 - 0.65 x9 - 0.76 x10 - 0.66 x11 - 0.57 x12 - 0.07 x13 - x14 - 0.04 x15 - 0.6 x16 - 0.96 x17 - 0.04 x18 - 0.12 x19 + x20 - 0.94 x21 - 0.41 x22 + 0.43 x23 + 0.07 x24 - 0.01 x25 - 0.72 x26 + 0.23 x27 - 0.92 x28 - 0.45 x29 + 0.48 x30 - 0.73 x31 + 0.84 x32 + 0.54 x33 + 0.54 x34 + 0.76 x35 + 0.21 x36 - 0.33 x37 - 0.77 x38 + 0.02 x39 + 0.69 x40 - 0.09 x41 + 0.27 x42 + 0.39 x43 + 0.22 x44 - 0.97 x45 - 0.17 x46 + 0.18 x47 + 0.5 x48 + 0.13 x49 - 0.74 x50 + 0.59 x51 - 0.63 x52 - 0.93 x53 + 0.63 x54 + 0.86 x55 + 0.81 x56 - 0.83 x57 - 0.63 x58 - 0.78 x59 - 0.2 x60 - 0.61 x61 = 0.44 e14: 0.74 x2 + 0.9 x3 - 0.52 x4 - 0.37 x5 - 0.64 x6 - 0.79 x7 - 0.91 x8 + 0.19 x9 + 0.66 x10 + 0.59 x11 - 0.78 x12 - 0.91 x13 + 0.23 x14 - 0.2 x15 + 0.58 x16 - 0.41 x17 - 0.8 x18 - 0.61 x19 - 0.43 x20 - 0.63 x21 + 0.14 x22 + 0.34 x23 + 0.94 x24 - 0.02 x25 - 0.04 x26 + 0.12 x27 + 0.57 x28 + 0.14 x29 - 0.28 x30 + 0.79 x31 - 0.99 x32 + 0.47 x33 + 0.22 x34 + 0.83 x35 + 0.69 x36 + 0.11 x37 - 0.13 x38 - 0.42 x39 + 0.37 x40 - 0.53 x41 + 0.83 x42 - 0.77 x43 + 0.24 x44 + 0.31 x45 - 0.14 x46 - 0.13 x47 + 0.21 x48 - 0.6 x49 + 0.31 x50 + 0.94 x51 - 0.1 x52 + 0.86 x53 - 0.49 x54 - 0.39 x55 + 0.07 x56 - 0.07 x57 - 0.32 x58 - 0.31 x59 + 0.86 x60 + 0.38 x61 + [ - 0.17 x2^2 + 0.04 x2 * x3 - 0.32 x2 * x4 - 0.14 x2 * x5 + 0.14 x2 * x6 + 0.06 x2 * x7 + 0.2 x2 * x8 - 0.24 x2 * x9 - 0.06 x2 * x10 + 0.08 x2 * x11 - 0.2 x2 * x12 + 0.04 x2 * x13 + 0.1 x2 * x14 - 0.32 x2 * x15 - 0.28 x2 * x16 - 0.1 x2 * x17 + 0.12 x2 * x18 - 0.18 x2 * x19 + 0.26 x2 * x20 - 0.2 x2 * x21 - 0.1 x2 * x22 - 0.2 x2 * x23 - 0.14 x2 * x24 + 0.1 x2 * x25 - 0.18 x2 * x26 + 0.06 x2 * x27 + 0.22 x2 * x28 + 0.08 x2 * x29 - 0.12 x2 * x30 + 0.3 x2 * x31 - 0.08 x2 * x32 + 0.04 x2 * x33 + 0.04 x2 * x34 + 0.04 x2 * x35 + 0.06 x2 * x36 + 0.06 x2 * x37 + 0.14 x2 * x38 - 0.1 x2 * x39 - 0.16 x2 * x41 - 0.02 x2 * x42 - 0.14 x2 * x43 + 0.34 x2 * x44 - 0.26 x2 * x45 - 0.16 x2 * x46 + 0.3 x2 * x47 - 0.14 x2 * x48 + 0.18 x2 * x49 - 0.04 x2 * x50 - 0.22 x2 * x51 + 0.14 x2 * x52 + 0.22 x2 * x53 + 0.06 x2 * x54 + 0.06 x2 * x56 + 0.14 x2 * x57 + 0.16 x2 * x58 - 0.02 x2 * x59 - 0.26 x2 * x60 - 0.2 x2 * x61 - 0.03 x3^2 - 0.26 x3 * x4 + 0.4 x3 * x5 - 0.02 x3 * x6 - 0.12 x3 * x7 + 0.04 x3 * x8 + 0.06 x3 * x9 + 0.14 x3 * x10 + 0.04 x3 * x11 + 0.24 x3 * x12 - 0.02 x3 * x13 - 0.36 x3 * x14 + 0.18 x3 * x15 - 0.3 x3 * x16 - 0.04 x3 * x17 - 0.18 x3 * x18 - 0.12 x3 * x19 + 0.28 x3 * x20 - 0.14 x3 * x21 + 0.32 x3 * x22 - 0.14 x3 * x23 - 0.22 x3 * x24 - 0.06 x3 * x25 - 0.14 x3 * x26 + 0.08 x3 * x27 + 0.18 x3 * x28 - 0.18 x3 * x29 + 0.02 x3 * x30 + 0.02 x3 * x31 + 0.16 x3 * x32 - 0.04 x3 * x33 - 0.1 x3 * x34 - 0.34 x3 * x35 - 0.06 x3 * x36 + 0.06 x3 * x37 + 0.24 x3 * x38 - 0.2 x3 * x39 - 0.22 x3 * x41 + 0.06 x3 * x42 - 0.18 x3 * x43 + 0.06 x3 * x44 - 0.06 x3 * x45 - 0.14 x3 * x46 - 0.16 x3 * x47 + 0.02 x3 * x48 - 0.08 x3 * x49 - 0.08 x3 * x50 - 0.02 x3 * x51 - 0.24 x3 * x52 + 0.18 x3 * x53 - 0.24 x3 * x54 - 0.16 x3 * x55 - 0.14 x3 * x56 - 0.1 x3 * x57 - 0.12 x3 * x58 + 0.18 x3 * x59 + 0.24 x3 * x60 - 0.02 x3 * x61 - 0.11 x4^2 - 0.04 x4 * x5 - 0.04 x4 * x6 + 0.04 x4 * x7 - 0.08 x4 * x8 + 0.26 x4 * x9 + 0.02 x4 * x10 - 0.02 x4 * x11 + 0.1 x4 * x12 - 0.16 x4 * x13 - 0.28 x4 * x14 - 0.26 x4 * x15 + 0.02 x4 * x16 - 0.12 x4 * x17 - 0.04 x4 * x18 + 0.06 x4 * x19 - 0.14 x4 * x20 - 0.22 x4 * x21 + 0.12 x4 * x22 + 0.24 x4 * x23 + 0.14 x4 * x24 + 0.04 x4 * x25 + 0.12 x4 * x26 - 0.18 x4 * x27 - 0.16 x4 * x28 + 0.28 x4 * x29 + 0.18 x4 * x30 + 0.18 x4 * x32 + 0.3 x4 * x33 + 0.12 x4 * x34 - 0.04 x4 * x35 - 0.22 x4 * x36 - 0.08 x4 * x37 + 0.08 x4 * x38 + 0.06 x4 * x39 + 0.08 x4 * x40 - 0.12 x4 * x41 - 0.04 x4 * x42 - 0.1 x4 * x43 - 0.16 x4 * x44 + 0.08 x4 * x45 - 0.02 x4 * x46 + 0.1 x4 * x47 - 0.3 x4 * x49 + 0.24 x4 * x50 + 0.12 x4 * x51 + 0.18 x4 * x52 + 0.04 x4 * x53 + 0.14 x4 * x54 - 0.24 x4 * x55 + 0.24 x4 * x56 - 0.08 x4 * x57 - 0.2 x4 * x58 - 0.14 x4 * x59 - 0.22 x4 * x61 + 0.02 x5^2 - 0.12 x5 * x6 - 0.24 x5 * x7 - 0.04 x5 * x8 - 0.02 x5 * x9 - 0.12 x5 * x10 + 0.06 x5 * x11 - 0.04 x5 * x12 + 0.04 x5 * x13 + 0.2 x5 * x14 + 0.04 x5 * x15 + 0.06 x5 * x16 - 0.08 x5 * x17 - 0.22 x5 * x18 + 0.02 x5 * x19 - 0.1 x5 * x20 + 0.06 x5 * x21 - 0.14 x5 * x22 - 0.08 x5 * x23 + 0.22 x5 * x25 + 0.16 x5 * x26 + 0.06 x5 * x27 - 0.24 x5 * x28 - 0.04 x5 * x29 - 0.16 x5 * x30 - 0.02 x5 * x31 + 0.1 x5 * x32 + 0.18 x5 * x33 + 0.1 x5 * x34 - 0.02 x5 * x35 - 0.3 x5 * x36 - 0.02 x5 * x37 + 0.04 x5 * x38 + 0.32 x5 * x39 - 0.04 x5 * x40 - 0.08 x5 * x41 - 0.04 x5 * x42 - 0.28 x5 * x43 - 0.12 x5 * x44 - 0.08 x5 * x45 - 0.12 x5 * x46 - 0.06 x5 * x47 + 0.02 x5 * x48 - 0.02 x5 * x49 - 0.28 x5 * x50 - 0.34 x5 * x51 + 0.1 x5 * x52 - 0.02 x5 * x53 + 0.04 x5 * x54 + 0.16 x5 * x55 - 0.46 x5 * x56 + 0.22 x5 * x57 - 0.22 x5 * x58 - 0.04 x5 * x59 - 0.08 x5 * x60 - 0.06 x5 * x61 - 0.03 x6^2 + 0.16 x6 * x7 + 0.1 x6 * x8 + 0.08 x6 * x9 + 0.26 x6 * x10 - 0.04 x6 * x11 - 0.18 x6 * x13 - 0.16 x6 * x14 + 0.02 x6 * x15 - 0.22 x6 * x16 + 0.1 x6 * x17 - 0.02 x6 * x18 - 0.16 x6 * x19 + 0.06 x6 * x20 - 0.04 x6 * x21 - 0.14 x6 * x23 + 0.04 x6 * x24 - 0.16 x6 * x25 - 0.08 x6 * x26 - 0.42 x6 * x27 + 0.08 x6 * x28 - 0.06 x6 * x29 - 0.06 x6 * x30 - 0.08 x6 * x31 - 0.06 x6 * x32 + 0.08 x6 * x33 - 0.16 x6 * x34 + 0.32 x6 * x35 + 0.12 x6 * x36 + 0.04 x6 * x37 + 0.04 x6 * x38 - 0.12 x6 * x39 - 0.02 x6 * x41 + 0.06 x6 * x42 - 0.16 x6 * x43 - 0.02 x6 * x44 + 0.04 x6 * x45 - 0.48 x6 * x46 - 0.2 x6 * x47 + 0.12 x6 * x48 - 0.02 x6 * x49 - 0.06 x6 * x50 - 0.18 x6 * x51 + 0.04 x6 * x52 + 0.14 x6 * x53 + 0.02 x6 * x54 + 0.08 x6 * x55 + 0.02 x6 * x56 - 0.04 x6 * x57 - 0.1 x6 * x58 - 0.12 x6 * x59 - 0.46 x6 * x60 + 0.1 x6 * x61 + 0.11 x7^2 - 0.18 x7 * x8 - 0.02 x7 * x9 - 0.26 x7 * x10 + 0.04 x7 * x11 - 0.1 x7 * x12 - 0.1 x7 * x13 - 0.12 x7 * x15 + 0.02 x7 * x16 + 0.02 x7 * x17 + 0.06 x7 * x18 + 0.02 x7 * x19 + 0.12 x7 * x20 - 0.24 x7 * x21 - 0.1 x7 * x22 + 0.08 x7 * x23 - 0.28 x7 * x24 + 0.04 x7 * x25 + 0.12 x7 * x26 + 0.14 x7 * x27 + 0.06 x7 * x28 - 0.02 x7 * x29 + 0.08 x7 * x30 + 0.2 x7 * x31 - 0.3 x7 * x32 - 0.2 x7 * x33 + 0.04 x7 * x34 + 0.1 x7 * x35 - 0.16 x7 * x36 - 0.04 x7 * x37 + 0.08 x7 * x38 + 0.02 x7 * x39 - 0.02 x7 * x40 - 0.14 x7 * x41 - 0.2 x7 * x42 - 0.12 x7 * x43 + 0.02 x7 * x45 + 0.22 x7 * x46 - 0.36 x7 * x47 - 0.04 x7 * x48 + 0.24 x7 * x50 + 0.02 x7 * x51 + 0.02 x7 * x52 - 0.34 x7 * x53 - 0.02 x7 * x54 + 0.12 x7 * x55 - 0.24 x7 * x56 + 0.3 x7 * x57 - 0.2 x7 * x58 + 0.04 x7 * x59 - 0.06 x7 * x60 + 0.1 x7 * x61 + 0.11 x8^2 + 0.16 x8 * x9 - 0.02 x8 * x10 - 0.2 x8 * x11 - 0.3 x8 * x12 + 0.08 x8 * x13 - 0.22 x8 * x14 - 0.08 x8 * x15 - 0.06 x8 * x16 + 0.28 x8 * x17 - 0.2 x8 * x18 + 0.1 x8 * x19 + 0.1 x8 * x20 + 0.12 x8 * x21 - 0.28 x8 * x22 - 0.16 x8 * x23 - 0.06 x8 * x24 - 0.24 x8 * x25 - 0.16 x8 * x26 + 0.2 x8 * x27 - 0.18 x8 * x29 - 0.04 x8 * x30 + 0.02 x8 * x31 - 0.08 x8 * x32 - 0.12 x8 * x33 - 0.04 x8 * x34 - 0.26 x8 * x35 + 0.04 x8 * x36 - 0.16 x8 * x37 - 0.38 x8 * x38 - 0.02 x8 * x39 - 0.02 x8 * x40 + 0.04 x8 * x41 + 0.12 x8 * x42 + 0.14 x8 * x43 + 0.14 x8 * x44 + 0.26 x8 * x45 + 0.28 x8 * x46 - 0.12 x8 * x47 + 0.18 x8 * x48 + 0.02 x8 * x49 + 0.32 x8 * x50 + 0.16 x8 * x51 - 0.24 x8 * x52 - 0.2 x8 * x53 + 0.14 x8 * x54 - 0.04 x8 * x56 + 0.1 x8 * x57 + 0.24 x8 * x58 - 0.06 x8 * x59 - 0.22 x8 * x60 + 0.14 x8 * x61 + 0.17 x9^2 + 0.3 x9 * x10 + 0.12 x9 * x11 - 0.22 x9 * x12 + 0.06 x9 * x13 + 0.14 x9 * x14 + 0.02 x9 * x15 - 0.12 x9 * x16 - 0.06 x9 * x17 - 0.26 x9 * x18 - 0.04 x9 * x19 + 0.2 x9 * x20 + 0.06 x9 * x21 + 0.1 x9 * x22 - 0.04 x9 * x23 - 0.02 x9 * x24 - 0.08 x9 * x25 + 0.16 x9 * x26 + 0.06 x9 * x27 - 0.14 x9 * x28 - 0.22 x9 * x29 - 0.24 x9 * x30 + 0.02 x9 * x31 - 0.06 x9 * x32 + 0.1 x9 * x33 + 0.02 x9 * x34 - 0.22 x9 * x35 - 0.24 x9 * x36 - 0.18 x9 * x37 - 0.1 x9 * x38 + 0.18 x9 * x39 - 0.24 x9 * x40 - 0.26 x9 * x41 - 0.16 x9 * x44 - 0.14 x9 * x45 - 0.16 x9 * x46 - 0.18 x9 * x47 + 0.1 x9 * x48 - 0.08 x9 * x49 + 0.06 x9 * x50 + 0.12 x9 * x51 - 0.28 x9 * x52 + 0.04 x9 * x53 - 0.12 x9 * x54 - 0.4 x9 * x55 + 0.18 x9 * x56 + 0.38 x9 * x57 - 0.14 x9 * x58 + 0.16 x9 * x59 + 0.24 x9 * x60 - 0.08 x9 * x61 - 0.23 x10^2 - 0.04 x10 * x11 + 0.06 x10 * x12 + 0.08 x10 * x13 - 0.16 x10 * x14 - 0.02 x10 * x15 + 0.12 x10 * x16 - 0.18 x10 * x17 - 0.02 x10 * x18 + 0.3 x10 * x19 - 0.1 x10 * x20 - 0.16 x10 * x21 - 0.26 x10 * x22 + 0.18 x10 * x23 + 0.14 x10 * x24 - 0.18 x10 * x25 - 0.12 x10 * x26 - 0.12 x10 * x27 - 0.24 x10 * x28 - 0.04 x10 * x29 - 0.08 x10 * x30 - 0.18 x10 * x31 - 0.02 x10 * x32 + 0.22 x10 * x33 - 0.08 x10 * x34 - 0.12 x10 * x35 + 0.18 x10 * x37 - 0.08 x10 * x38 + 0.1 x10 * x39 - 0.1 x10 * x40 + 0.08 x10 * x41 - 0.06 x10 * x42 - 0.1 x10 * x43 + 0.1 x10 * x44 - 0.08 x10 * x45 - 0.08 x10 * x46 - 0.2 x10 * x47 - 0.12 x10 * x49 - 0.42 x10 * x50 + 0.32 x10 * x51 + 0.18 x10 * x52 + 0.32 x10 * x53 + 0.04 x10 * x55 - 0.08 x10 * x56 - 0.1 x10 * x58 - 0.12 x10 * x59 + 0.08 x10 * x60 - 0.12 x10 * x61 + 0.1 x11^2 - 0.12 x11 * x12 - 0.46 x11 * x13 - 0.06 x11 * x14 + 0.06 x11 * x16 - 0.02 x11 * x17 + 0.2 x11 * x18 - 0.1 x11 * x19 - 0.02 x11 * x20 + 0.06 x11 * x21 - 0.04 x11 * x22 - 0.3 x11 * x23 + 0.1 x11 * x24 - 0.22 x11 * x25 + 0.14 x11 * x26 - 0.28 x11 * x28 - 0.14 x11 * x29 - 0.14 x11 * x30 - 0.08 x11 * x31 + 0.14 x11 * x32 + 0.04 x11 * x33 + 0.18 x11 * x34 - 0.02 x11 * x35 + 0.08 x11 * x36 + 0.5 x11 * x37 - 0.18 x11 * x38 - 0.08 x11 * x39 - 0.02 x11 * x40 + 0.3 x11 * x41 - 0.2 x11 * x42 - 0.06 x11 * x43 - 0.1 x11 * x44 - 0.26 x11 * x45 - 0.24 x11 * x46 - 0.28 x11 * x47 + 0.2 x11 * x48 + 0.08 x11 * x49 - 0.06 x11 * x50 - 0.06 x11 * x51 - 0.04 x11 * x52 - 0.28 x11 * x53 - 0.14 x11 * x54 + 0.16 x11 * x56 + 0.16 x11 * x57 + 0.02 x11 * x58 - 0.22 x11 * x59 + 0.1 x11 * x60 + 0.14 x11 * x61 + 0.13 x12^2 + 0.14 x12 * x13 - 0.02 x12 * x14 - 0.04 x12 * x15 - 0.1 x12 * x16 + 0.22 x12 * x17 - 0.26 x12 * x18 - 0.22 x12 * x19 - 0.12 x12 * x20 + 0.02 x12 * x21 + 0.08 x12 * x22 - 0.12 x12 * x23 + 0.18 x12 * x24 + 0.06 x12 * x25 - 0.36 x12 * x26 - 0.14 x12 * x27 - 0.08 x12 * x28 - 0.14 x12 * x29 + 0.18 x12 * x30 - 0.46 x12 * x31 - 0.28 x12 * x32 - 0.16 x12 * x33 - 0.26 x12 * x34 + 0.2 x12 * x36 + 0.1 x12 * x37 - 0.1 x12 * x38 - 0.4 x12 * x39 - 0.28 x12 * x40 + 0.16 x12 * x41 - 0.18 x12 * x42 + 0.02 x12 * x43 - 0.18 x12 * x44 + 0.1 x12 * x45 - 0.06 x12 * x46 - 0.22 x12 * x47 - 0.28 x12 * x48 - 0.12 x12 * x49 + 0.1 x12 * x50 + 0.04 x12 * x51 - 0.06 x12 * x52 + 0.02 x12 * x53 - 0.04 x12 * x54 + 0.18 x12 * x55 + 0.16 x12 * x56 + 0.14 x12 * x57 - 0.04 x12 * x58 + 0.02 x12 * x59 + 0.18 x12 * x60 - 0.1 x12 * x61 + 0.14 x13^2 + 0.2 x13 * x14 + 0.28 x13 * x15 - 0.1 x13 * x16 - 0.06 x13 * x17 - 0.02 x13 * x18 + 0.14 x13 * x19 - 0.16 x13 * x20 - 0.08 x13 * x21 - 0.3 x13 * x22 - 0.22 x13 * x23 - 0.02 x13 * x24 + 0.2 x13 * x25 + 0.2 x13 * x26 + 0.16 x13 * x27 + 0.02 x13 * x28 - 0.2 x13 * x29 - 0.4 x13 * x30 + 0.08 x13 * x31 + 0.02 x13 * x32 + 0.1 x13 * x33 + 0.06 x13 * x34 + 0.1 x13 * x35 - 0.08 x13 * x36 - 0.04 x13 * x37 + 0.06 x13 * x38 - 0.14 x13 * x39 + 0.2 x13 * x40 + 0.08 x13 * x41 + 0.14 x13 * x43 - 0.04 x13 * x44 - 0.32 x13 * x45 - 0.26 x13 * x46 - 0.16 x13 * x47 - 0.18 x13 * x48 + 0.04 x13 * x49 + 0.06 x13 * x50 - 0.2 x13 * x51 + 0.02 x13 * x52 - 0.12 x13 * x53 - 0.18 x13 * x54 - 0.02 x13 * x55 + 0.1 x13 * x56 - 0.08 x13 * x57 - 0.18 x13 * x58 + 0.02 x13 * x59 + 0.14 x13 * x60 - 0.08 x13 * x61 + 0.05 x14^2 - 0.08 x14 * x15 + 0.04 x14 * x16 + 0.1 x14 * x17 - 0.02 x14 * x18 + 0.18 x14 * x19 - 0.02 x14 * x20 + 0.04 x14 * x21 + 0.2 x14 * x23 + 0.08 x14 * x24 - 0.08 x14 * x25 + 0.12 x14 * x26 - 0.18 x14 * x27 - 0.08 x14 * x28 + 0.1 x14 * x29 - 0.04 x14 * x30 - 0.24 x14 * x31 - 0.08 x14 * x32 + 0.06 x14 * x33 - 0.14 x14 * x34 - 0.28 x14 * x35 - 0.08 x14 * x36 - 0.04 x14 * x37 - 0.06 x14 * x40 + 0.2 x14 * x41 + 0.1 x14 * x42 + 0.04 x14 * x43 + 0.12 x14 * x44 - 0.22 x14 * x45 + 0.14 x14 * x46 + 0.16 x14 * x47 - 0.04 x14 * x48 - 0.54 x14 * x50 - 0.04 x14 * x51 - 0.18 x14 * x52 - 0.1 x14 * x53 - 0.18 x14 * x54 - 0.12 x14 * x55 + 0.1 x14 * x56 + 0.2 x14 * x57 - 0.06 x14 * x58 + 0.16 x14 * x59 - 0.14 x14 * x60 - 0.06 x14 * x61 + 0.11 x15^2 - 0.04 x15 * x16 + 0.1 x15 * x17 + 0.14 x15 * x18 - 0.34 x15 * x19 - 0.16 x15 * x21 - 0.2 x15 * x22 + 0.02 x15 * x23 + 0.14 x15 * x24 - 0.08 x15 * x25 - 0.22 x15 * x26 - 0.18 x15 * x27 + 0.06 x15 * x28 + 0.22 x15 * x29 - 0.1 x15 * x30 + 0.14 x15 * x32 + 0.08 x15 * x33 + 0.02 x15 * x34 - 0.22 x15 * x35 - 0.3 x15 * x36 - 0.02 x15 * x37 - 0.08 x15 * x38 - 0.2 x15 * x39 - 0.04 x15 * x40 + 0.04 x15 * x41 - 0.1 x15 * x42 - 0.24 x15 * x43 + 0.04 x15 * x44 - 0.04 x15 * x45 + 0.02 x15 * x46 + 0.08 x15 * x47 + 0.16 x15 * x48 - 0.2 x15 * x49 - 0.12 x15 * x50 + 0.04 x15 * x51 - 0.02 x15 * x52 - 0.1 x15 * x53 - 0.32 x15 * x54 - 0.14 x15 * x55 - 0.04 x15 * x57 - 0.02 x15 * x58 - 0.14 x15 * x59 - 0.08 x15 * x60 + 0.2 x15 * x61 + 0.23 x16^2 + 0.36 x16 * x17 + 0.14 x16 * x18 - 0.22 x16 * x19 - 0.06 x16 * x20 + 0.12 x16 * x21 - 0.18 x16 * x22 - 0.12 x16 * x23 + 0.28 x16 * x24 + 0.12 x16 * x25 - 0.02 x16 * x26 - 0.3 x16 * x27 + 0.06 x16 * x28 - 0.18 x16 * x29 - 0.16 x16 * x30 - 0.04 x16 * x31 - 0.16 x16 * x32 + 0.02 x16 * x33 + 0.32 x16 * x34 - 0.12 x16 * x35 + 0.32 x16 * x36 - 0.3 x16 * x37 - 0.24 x16 * x38 - 0.18 x16 * x39 + 0.08 x16 * x40 + 0.04 x16 * x41 - 0.2 x16 * x42 - 0.14 x16 * x43 + 0.08 x16 * x44 - 0.02 x16 * x45 + 0.1 x16 * x46 - 0.1 x16 * x47 - 0.2 x16 * x48 - 0.1 x16 * x49 - 0.16 x16 * x50 + 0.12 x16 * x52 + 0.02 x16 * x53 + 0.18 x16 * x54 - 0.22 x16 * x55 - 0.14 x16 * x56 - 0.06 x16 * x57 + 0.24 x16 * x58 + 0.1 x16 * x59 + 0.32 x16 * x60 - 0.22 x16 * x61 + 0.12 x17^2 + 0.02 x17 * x19 - 0.02 x17 * x20 + 0.3 x17 * x21 - 0.08 x17 * x22 - 0.34 x17 * x23 - 0.18 x17 * x24 - 0.04 x17 * x25 - 0.32 x17 * x26 - 0.16 x17 * x27 - 0.2 x17 * x28 + 0.06 x17 * x29 + 0.4 x17 * x30 + 0.04 x17 * x31 - 0.2 x17 * x32 + 0.34 x17 * x33 - 0.02 x17 * x34 - 0.02 x17 * x35 - 0.08 x17 * x36 + 0.02 x17 * x37 - 0.16 x17 * x38 - 0.06 x17 * x39 - 0.06 x17 * x40 + 0.14 x17 * x41 - 0.06 x17 * x42 - 0.14 x17 * x43 + 0.2 x17 * x44 - 0.16 x17 * x45 - 0.02 x17 * x46 - 0.18 x17 * x47 - 0.2 x17 * x48 + 0.22 x17 * x49 + 0.3 x17 * x50 - 0.26 x17 * x51 - 0.34 x17 * x52 + 0.1 x17 * x53 - 0.26 x17 * x54 - 0.1 x17 * x55 - 0.06 x17 * x56 - 0.12 x17 * x57 + 0.04 x17 * x58 + 0.24 x17 * x59 - 0.24 x17 * x60 + 0.02 x17 * x61 - 0.08 x18^2 + 0.12 x18 * x19 - 0.54 x18 * x20 + 0.12 x18 * x21 - 0.1 x18 * x22 + 0.02 x18 * x23 - 0.1 x18 * x24 - 0.14 x18 * x25 + 0.14 x18 * x26 + 0.32 x18 * x27 + 0.16 x18 * x28 - 0.14 x18 * x29 - 0.14 x18 * x30 - 0.16 x18 * x31 + 0.12 x18 * x32 + 0.16 x18 * x33 - 0.18 x18 * x34 + 0.34 x18 * x35 - 0.24 x18 * x36 - 0.06 x18 * x37 - 0.1 x18 * x38 + 0.22 x18 * x39 - 0.18 x18 * x41 + 0.12 x18 * x42 - 0.34 x18 * x43 + 0.04 x18 * x45 - 0.28 x18 * x46 - 0.12 x18 * x48 - 0.14 x18 * x49 + 0.04 x18 * x50 + 0.32 x18 * x51 + 0.12 x18 * x52 + 0.14 x18 * x53 + 0.22 x18 * x54 - 0.14 x18 * x55 - 0.04 x18 * x57 - 0.12 x18 * x58 - 0.02 x18 * x59 - 0.08 x18 * x60 + 0.14 x18 * x61 - 0.01 x19^2 + 0.3 x19 * x20 + 0.16 x19 * x21 - 0.14 x19 * x22 + 0.02 x19 * x23 - 0.04 x19 * x24 - 0.2 x19 * x25 + 0.04 x19 * x26 + 0.12 x19 * x27 - 0.32 x19 * x28 - 0.34 x19 * x29 + 0.08 x19 * x30 + 0.08 x19 * x31 - 0.16 x19 * x32 + 0.36 x19 * x35 - 0.02 x19 * x36 - 0.14 x19 * x37 + 0.18 x19 * x38 + 0.24 x19 * x39 + 0.32 x19 * x40 + 0.04 x19 * x41 - 0.62 x19 * x42 + 0.16 x19 * x43 - 0.14 x19 * x44 - 0.22 x19 * x45 + 0.18 x19 * x47 - 0.02 x19 * x48 - 0.04 x19 * x49 - 0.04 x19 * x50 - 0.02 x19 * x51 - 0.14 x19 * x52 + 0.32 x19 * x53 - 0.18 x19 * x55 - 0.08 x19 * x56 - 0.34 x19 * x57 - 0.3 x19 * x58 - 0.02 x19 * x59 + 0.14 x19 * x60 + 0.18 x19 * x61 + 0.06 x20^2 - 0.08 x20 * x21 + 0.06 x20 * x22 + 0.2 x20 * x23 + 0.14 x20 * x25 + 0.2 x20 * x26 - 0.38 x20 * x27 + 0.04 x20 * x28 - 0.02 x20 * x29 + 0.04 x20 * x30 + 0.04 x20 * x32 + 0.02 x20 * x33 + 0.18 x20 * x34 - 0.04 x20 * x35 + 0.04 x20 * x36 - 0.22 x20 * x37 - 0.2 x20 * x38 + 0.02 x20 * x39 - 0.06 x20 * x40 + 0.16 x20 * x41 - 0.08 x20 * x42 - 0.1 x20 * x43 - 0.14 x20 * x44 + 0.2 x20 * x45 - 0.2 x20 * x46 - 0.1 x20 * x47 - 0.2 x20 * x48 - 0.02 x20 * x49 + 0.08 x20 * x50 - 0.18 x20 * x51 + 0.36 x20 * x52 + 0.04 x20 * x53 - 0.14 x20 * x54 - 0.42 x20 * x55 - 0.1 x20 * x56 - 0.2 x20 * x57 - 0.38 x20 * x58 + 0.22 x20 * x59 - 0.04 x20 * x60 - 0.12 x20 * x61 + 0.08 x21^2 + 0.4 x21 * x22 - 0.2 x21 * x23 - 0.1 x21 * x24 + 0.08 x21 * x25 + 0.1 x21 * x27 - 0.12 x21 * x28 - 0.04 x21 * x30 - 0.14 x21 * x31 + 0.1 x21 * x32 - 0.18 x21 * x33 - 0.3 x21 * x34 + 0.08 x21 * x35 - 0.04 x21 * x36 - 0.04 x21 * x37 - 0.22 x21 * x38 - 0.06 x21 * x39 + 0.04 x21 * x40 - 0.22 x21 * x41 - 0.04 x21 * x42 + 0.12 x21 * x43 - 0.14 x21 * x44 + 0.16 x21 * x45 - 0.26 x21 * x46 + 0.12 x21 * x47 + 0.04 x21 * x48 - 0.02 x21 * x49 - 0.14 x21 * x50 - 0.1 x21 * x52 - 0.28 x21 * x53 + 0.1 x21 * x54 + 0.1 x21 * x55 - 0.32 x21 * x56 - 0.1 x21 * x57 + 0.02 x21 * x58 - 0.14 x21 * x59 + 0.32 x21 * x60 + 0.06 x21 * x61 + 0.01 x22^2 - 0.04 x22 * x23 - 0.1 x22 * x24 - 0.22 x22 * x25 - 0.16 x22 * x26 + 0.1 x22 * x27 - 0.1 x22 * x28 + 0.12 x22 * x29 + 0.12 x22 * x30 - 0.26 x22 * x31 - 0.14 x22 * x32 - 0.14 x22 * x33 + 0.1 x22 * x34 - 0.02 x22 * x35 + 0.06 x22 * x36 - 0.18 x22 * x37 - 0.04 x22 * x38 + 0.16 x22 * x39 + 0.28 x22 * x40 + 0.08 x22 * x41 - 0.02 x22 * x42 - 0.26 x22 * x43 + 0.12 x22 * x44 - 0.04 x22 * x45 + 0.16 x22 * x46 + 0.08 x22 * x47 - 0.06 x22 * x48 - 0.02 x22 * x49 - 0.14 x22 * x50 - 0.22 x22 * x51 - 0.26 x22 * x52 + 0.3 x22 * x53 + 0.04 x22 * x54 - 0.26 x22 * x55 - 0.02 x22 * x56 - 0.18 x22 * x57 - 0.14 x22 * x58 - 0.08 x22 * x59 + 0.04 x22 * x60 + 0.4 x22 * x61 + 0.09 x23^2 - 0.18 x23 * x24 - 0.02 x23 * x25 - 0.2 x23 * x26 - 0.26 x23 * x27 + 0.06 x23 * x28 + 0.1 x23 * x29 + 0.16 x23 * x30 + 0.16 x23 * x31 + 0.6 x23 * x32 + 0.14 x23 * x33 - 0.02 x23 * x34 - 0.04 x23 * x35 - 0.02 x23 * x36 - 0.18 x23 * x37 - 0.18 x23 * x38 - 0.1 x23 * x39 - 0.22 x23 * x40 - 0.06 x23 * x42 + 0.12 x23 * x43 + 0.04 x23 * x44 + 0.08 x23 * x45 - 0.12 x23 * x46 - 0.02 x23 * x47 + 0.2 x23 * x48 - 0.18 x23 * x49 + 0.22 x23 * x51 - 0.18 x23 * x52 - 0.1 x23 * x53 + 0.26 x23 * x54 - 0.06 x23 * x55 + 0.06 x23 * x56 - 0.08 x23 * x57 - 0.08 x23 * x58 + 0.18 x23 * x59 - 0.2 x23 * x60 - 0.08 x23 * x61 - 0.02 x24^2 + 0.18 x24 * x25 + 0.12 x24 * x26 - 0.06 x24 * x27 - 0.32 x24 * x28 + 0.24 x24 * x29 - 0.14 x24 * x30 - 0.1 x24 * x31 - 0.02 x24 * x32 - 0.02 x24 * x33 - 0.04 x24 * x34 - 0.06 x24 * x35 - 0.3 x24 * x36 - 0.32 x24 * x37 + 0.12 x24 * x38 - 0.08 x24 * x39 + 0.02 x24 * x40 - 0.18 x24 * x41 + 0.1 x24 * x43 - 0.12 x24 * x44 - 0.08 x24 * x45 - 0.18 x24 * x46 + 0.04 x24 * x47 + 0.08 x24 * x48 + 0.16 x24 * x49 - 0.04 x24 * x50 + 0.06 x24 * x51 - 0.16 x24 * x52 + 0.02 x24 * x53 + 0.14 x24 * x54 + 0.22 x24 * x55 - 0.38 x24 * x56 + 0.08 x24 * x57 - 0.1 x24 * x58 + 0.08 x24 * x59 - 0.12 x24 * x60 + 0.2 x24 * x61 - 0.04 x25^2 + 0.02 x25 * x26 + 0.1 x25 * x27 + 0.18 x25 * x28 - 0.04 x25 * x29 - 0.12 x25 * x30 - 0.12 x25 * x31 - 0.02 x25 * x32 + 0.04 x25 * x33 - 0.16 x25 * x34 - 0.14 x25 * x35 + 0.12 x25 * x36 - 0.02 x25 * x37 + 0.34 x25 * x38 - 0.06 x25 * x39 - 0.08 x25 * x40 + 0.16 x25 * x41 + 0.16 x25 * x42 + 0.16 x25 * x43 + 0.1 x25 * x44 + 0.16 x25 * x45 - 0.12 x25 * x46 - 0.18 x25 * x47 + 0.06 x25 * x48 - 0.02 x25 * x49 - 0.12 x25 * x50 - 0.08 x25 * x51 - 0.02 x25 * x52 - 0.04 x25 * x53 - 0.12 x25 * x54 - 0.1 x25 * x55 - 0.06 x25 * x56 - 0.38 x25 * x57 + 0.12 x25 * x58 + 0.06 x25 * x59 + 0.02 x25 * x61 - 0.2 x26 * x27 - 0.1 x26 * x28 + 0.06 x26 * x29 - 0.06 x26 * x30 + 0.06 x26 * x32 - 0.04 x26 * x33 - 0.42 x26 * x34 - 0.04 x26 * x35 + 0.02 x26 * x36 + 0.08 x26 * x37 - 0.02 x26 * x38 - 0.04 x26 * x39 - 0.2 x26 * x40 + 0.06 x26 * x41 + 0.14 x26 * x42 + 0.04 x26 * x43 - 0.06 x26 * x44 + 0.14 x26 * x45 + 0.08 x26 * x46 + 0.12 x26 * x47 - 0.1 x26 * x48 + 0.02 x26 * x49 + 0.08 x26 * x50 - 0.28 x26 * x51 + 0.06 x26 * x52 - 0.26 x26 * x54 + 0.08 x26 * x55 - 0.06 x26 * x56 + 0.34 x26 * x57 - 0.02 x26 * x58 - 0.28 x26 * x59 + 0.12 x26 * x60 - 0.16 x26 * x61 + 0.05 x27^2 + 0.14 x27 * x28 - 0.02 x27 * x29 + 0.18 x27 * x30 - 0.28 x27 * x31 + 0.06 x27 * x32 - 0.06 x27 * x33 + 0.2 x27 * x34 - 0.08 x27 * x35 - 0.04 x27 * x36 + 0.34 x27 * x37 + 0.06 x27 * x38 + 0.02 x27 * x39 - 0.12 x27 * x40 - 0.32 x27 * x41 + 0.1 x27 * x42 - 0.22 x27 * x44 + 0.14 x27 * x45 - 0.12 x27 * x46 + 0.02 x27 * x47 - 0.02 x27 * x48 - 0.24 x27 * x49 + 0.16 x27 * x50 + 0.02 x27 * x51 - 0.16 x27 * x52 + 0.16 x27 * x54 - 0.22 x27 * x55 - 0.1 x27 * x56 - 0.16 x27 * x57 - 0.04 x27 * x58 + 0.24 x27 * x59 + 0.14 x27 * x60 - 0.04 x27 * x61 + 0.14 x28^2 - 0.24 x28 * x29 + 0.26 x28 * x30 + 0.08 x28 * x31 - 0.28 x28 * x32 - 0.02 x28 * x33 - 0.02 x28 * x34 - 0.08 x28 * x35 - 0.24 x28 * x36 - 0.08 x28 * x37 - 0.22 x28 * x38 + 0.04 x28 * x39 - 0.02 x28 * x40 + 0.1 x28 * x41 + 0.16 x28 * x43 - 0.16 x28 * x44 + 0.06 x28 * x45 - 0.18 x28 * x46 - 0.14 x28 * x47 + 0.08 x28 * x48 + 0.36 x28 * x49 - 0.18 x28 * x50 + 0.38 x28 * x51 - 0.2 x28 * x52 + 0.1 x28 * x53 + 0.12 x28 * x55 - 0.24 x28 * x56 - 0.1 x28 * x57 - 0.04 x28 * x58 - 0.02 x28 * x59 + 0.1 x28 * x60 - 0.12 x28 * x61 + 0.24 x29^2 - 0.22 x29 * x30 + 0.24 x29 * x31 + 0.06 x29 * x32 - 0.08 x29 * x33 - 0.1 x29 * x34 - 0.1 x29 * x35 + 0.12 x29 * x36 - 0.1 x29 * x37 + 0.06 x29 * x38 - 0.1 x29 * x39 + 0.08 x29 * x40 - 0.4 x29 * x41 + 0.1 x29 * x42 - 0.12 x29 * x43 - 0.1 x29 * x44 + 0.04 x29 * x45 - 0.04 x29 * x46 + 0.04 x29 * x47 - 0.32 x29 * x48 + 0.2 x29 * x49 - 0.1 x29 * x50 + 0.1 x29 * x51 - 0.04 x29 * x52 - 0.04 x29 * x53 - 0.08 x29 * x55 - 0.06 x29 * x56 - 0.12 x29 * x57 + 0.22 x29 * x58 + 0.1 x29 * x59 - 0.14 x29 * x60 + 0.16 x29 * x61 - 0.1 x30^2 + 0.08 x30 * x31 + 0.3 x30 * x32 + 0.04 x30 * x33 + 0.32 x30 * x34 - 0.42 x30 * x35 - 0.04 x30 * x36 + 0.04 x30 * x37 - 0.04 x30 * x38 + 0.14 x30 * x39 - 0.02 x30 * x40 + 0.08 x30 * x41 - 0.12 x30 * x42 + 0.08 x30 * x43 - 0.22 x30 * x44 - 0.12 x30 * x45 + 0.22 x30 * x46 + 0.1 x30 * x47 - 0.24 x30 * x48 + 0.06 x30 * x49 - 0.06 x30 * x50 - 0.1 x30 * x51 + 0.08 x30 * x52 - 0.14 x30 * x53 - 0.1 x30 * x54 + 0.12 x30 * x55 - 0.26 x30 * x56 + 0.08 x30 * x57 - 0.28 x30 * x59 - 0.1 x30 * x60 - 0.08 x30 * x61 - 0.11 x31^2 + 0.24 x31 * x32 - 0.1 x31 * x33 - 0.08 x31 * x34 - 0.18 x31 * x35 + 0.12 x31 * x36 + 0.1 x31 * x37 - 0.06 x31 * x38 - 0.06 x31 * x39 + 0.2 x31 * x40 - 0.16 x31 * x41 + 0.22 x31 * x42 - 0.14 x31 * x43 + 0.14 x31 * x44 + 0.06 x31 * x45 + 0.1 x31 * x47 - 0.08 x31 * x48 + 0.12 x31 * x49 + 0.12 x31 * x50 - 0.16 x31 * x51 - 0.3 x31 * x52 - 0.14 x31 * x53 - 0.28 x31 * x54 + 0.1 x31 * x55 - 0.18 x31 * x56 + 0.04 x31 * x57 + 0.06 x31 * x58 - 0.04 x31 * x59 + 0.3 x31 * x60 + 0.26 x31 * x61 + 0.02 x32^2 - 0.16 x32 * x33 - 0.32 x32 * x34 + 0.06 x32 * x35 + 0.3 x32 * x36 + 0.16 x32 * x37 - 0.16 x32 * x38 + 0.18 x32 * x39 - 0.12 x32 * x40 + 0.12 x32 * x41 + 0.1 x32 * x42 + 0.1 x32 * x43 + 0.12 x32 * x44 - 0.18 x32 * x45 + 0.12 x32 * x46 + 0.06 x32 * x47 - 0.12 x32 * x48 - 0.08 x32 * x49 - 0.14 x32 * x50 - 0.04 x32 * x51 - 0.06 x32 * x52 - 0.3 x32 * x53 - 0.12 x32 * x54 - 0.26 x32 * x55 + 0.02 x32 * x56 - 0.3 x32 * x57 + 0.3 x32 * x58 - 0.12 x32 * x59 - 0.14 x32 * x60 - 0.16 x32 * x61 - 0.16 x33^2 + 0.1 x33 * x34 + 0.02 x33 * x35 - 0.3 x33 * x36 + 0.18 x33 * x37 + 0.2 x33 * x38 + 0.1 x33 * x39 - 0.04 x33 * x40 + 0.02 x33 * x41 - 0.22 x33 * x42 - 0.06 x33 * x43 + 0.3 x33 * x44 + 0.1 x33 * x45 - 0.26 x33 * x46 - 0.08 x33 * x47 - 0.22 x33 * x48 - 0.04 x33 * x49 + 0.14 x33 * x50 - 0.22 x33 * x51 - 0.04 x33 * x52 - 0.22 x33 * x53 - 0.14 x33 * x54 - 0.1 x33 * x55 - 0.04 x33 * x56 - 0.08 x33 * x57 + 0.02 x33 * x58 - 0.04 x33 * x59 - 0.28 x33 * x60 + 0.12 x33 * x61 - 0.02 x34^2 + 0.22 x34 * x35 - 0.06 x34 * x36 - 0.3 x34 * x37 + 0.12 x34 * x38 + 0.02 x34 * x39 + 0.06 x34 * x40 - 0.38 x34 * x41 - 0.08 x34 * x42 + 0.18 x34 * x43 - 0.28 x34 * x44 - 0.24 x34 * x45 + 0.24 x34 * x46 + 0.16 x34 * x47 + 0.38 x34 * x48 - 0.34 x34 * x49 - 0.02 x34 * x50 + 0.14 x34 * x51 - 0.18 x34 * x53 - 0.26 x34 * x54 - 0.14 x34 * x55 + 0.12 x34 * x56 + 0.04 x34 * x57 + 0.1 x34 * x58 - 0.22 x34 * x59 - 0.12 x34 * x60 - 0.38 x34 * x61 - 0.01 x35^2 + 0.44 x35 * x36 - 0.22 x35 * x37 - 0.02 x35 * x40 - 0.12 x35 * x41 + 0.08 x35 * x42 + 0.1 x35 * x43 - 0.18 x35 * x44 - 0.14 x35 * x45 - 0.14 x35 * x46 + 0.16 x35 * x47 + 0.08 x35 * x48 - 0.14 x35 * x49 + 0.24 x35 * x50 - 0.16 x35 * x51 - 0.04 x35 * x52 - 0.2 x35 * x54 + 0.06 x35 * x55 - 0.36 x35 * x56 - 0.08 x35 * x58 - 0.22 x35 * x60 + 0.16 x35 * x61 - 0.08 x36^2 + 0.08 x36 * x37 + 0.2 x36 * x38 - 0.1 x36 * x39 - 0.28 x36 * x40 + 0.08 x36 * x41 - 0.06 x36 * x42 - 0.12 x36 * x43 + 0.12 x36 * x44 + 0.1 x36 * x45 - 0.26 x36 * x46 - 0.18 x36 * x47 - 0.02 x36 * x48 - 0.22 x36 * x49 + 0.04 x36 * x50 - 0.06 x36 * x51 - 0.2 x36 * x52 + 0.04 x36 * x53 - 0.04 x36 * x54 - 0.02 x36 * x55 - 0.06 x36 * x56 - 0.18 x36 * x57 + 0.32 x36 * x58 - 0.04 x36 * x59 + 0.22 x36 * x60 + 0.02 x36 * x61 + 0.01 x37^2 - 0.16 x37 * x38 + 0.14 x37 * x39 - 0.2 x37 * x40 + 0.2 x37 * x41 - 0.18 x37 * x42 - 0.14 x37 * x43 + 0.08 x37 * x44 - 0.06 x37 * x45 + 0.1 x37 * x46 + 0.12 x37 * x47 - 0.16 x37 * x48 + 0.22 x37 * x49 - 0.08 x37 * x50 + 0.18 x37 * x51 - 0.08 x37 * x52 - 0.32 x37 * x53 + 0.1 x37 * x54 - 0.16 x37 * x55 + 0.26 x37 * x56 + 0.2 x37 * x57 - 0.3 x37 * x58 + 0.36 x37 * x59 - 0.18 x37 * x60 - 0.22 x37 * x61 - 0.09 x38^2 - 0.24 x38 * x39 - 0.22 x38 * x40 + 0.18 x38 * x41 - 0.26 x38 * x42 + 0.28 x38 * x43 - 0.02 x38 * x44 + 0.02 x38 * x45 - 0.04 x38 * x46 - 0.06 x38 * x47 + 0.2 x38 * x48 - 0.06 x38 * x49 + 0.14 x38 * x50 + 0.08 x38 * x51 + 0.06 x38 * x52 - 0.18 x38 * x53 + 0.22 x38 * x54 - 0.22 x38 * x55 - 0.2 x38 * x56 - 0.18 x38 * x57 + 0.22 x38 * x58 + 0.06 x38 * x59 - 0.1 x38 * x60 + 0.18 x38 * x61 - 0.03 x39^2 - 0.04 x39 * x40 - 0.06 x39 * x41 + 0.06 x39 * x42 + 0.04 x39 * x43 - 0.24 x39 * x44 + 0.22 x39 * x45 + 0.08 x39 * x46 - 0.26 x39 * x47 - 0.2 x39 * x48 + 0.14 x39 * x49 + 0.08 x39 * x50 - 0.14 x39 * x51 + 0.08 x39 * x52 + 0.1 x39 * x53 - 0.02 x39 * x55 - 0.12 x39 * x56 + 0.12 x39 * x57 + 0.24 x39 * x58 - 0.04 x39 * x59 - 0.26 x39 * x60 - 0.14 x40^2 + 0.16 x40 * x41 - 0.34 x40 * x42 - 0.1 x40 * x43 - 0.26 x40 * x44 + 0.08 x40 * x45 - 0.04 x40 * x46 + 0.08 x40 * x47 - 0.42 x40 * x48 + 0.3 x40 * x49 - 0.04 x40 * x50 - 0.04 x40 * x51 + 0.06 x40 * x52 + 0.14 x40 * x53 - 0.04 x40 * x54 + 0.22 x40 * x56 - 0.1 x40 * x57 + 0.16 x40 * x58 - 0.04 x40 * x59 - 0.14 x40 * x60 - 0.28 x40 * x61 - 0.1 x41^2 + 0.1 x41 * x42 + 0.12 x41 * x43 - 0.1 x41 * x44 + 0.12 x41 * x45 + 0.04 x41 * x46 + 0.04 x41 * x47 + 0.02 x41 * x48 - 0.04 x41 * x49 + 0.08 x41 * x50 - 0.02 x41 * x51 + 0.22 x41 * x52 - 0.28 x41 * x53 + 0.12 x41 * x54 - 0.08 x41 * x55 - 0.02 x41 * x56 - 0.44 x41 * x57 - 0.16 x41 * x58 - 0.14 x41 * x59 - 0.26 x41 * x60 - 0.06 x41 * x61 + 0.14 x42^2 + 0.36 x42 * x43 - 0.16 x42 * x44 + 0.02 x42 * x45 - 0.06 x42 * x46 + 0.12 x42 * x47 + 0.3 x42 * x48 + 0.06 x42 * x49 + 0.02 x42 * x50 - 0.2 x42 * x51 + 0.12 x42 * x52 + 0.04 x42 * x53 - 0.18 x42 * x54 + 0.18 x42 * x55 + 0.06 x42 * x56 - 0.34 x42 * x57 - 0.12 x42 * x58 - 0.06 x42 * x59 - 0.16 x42 * x60 - 0.2 x42 * x61 + 0.14 x43^2 + 0.12 x43 * x44 + 0.02 x43 * x45 + 0.14 x43 * x46 - 0.14 x43 * x47 + 0.14 x43 * x48 - 0.14 x43 * x49 - 0.06 x43 * x50 + 0.18 x43 * x51 - 0.04 x43 * x52 - 0.08 x43 * x53 - 0.24 x43 * x54 - 0.12 x43 * x55 + 0.08 x43 * x56 + 0.16 x43 * x57 - 0.06 x43 * x58 - 0.2 x43 * x59 - 0.12 x43 * x60 + 0.12 x43 * x61 + 0.24 x44^2 + 0.1 x44 * x46 + 0.12 x44 * x47 + 0.08 x44 * x48 - 0.26 x44 * x49 - 0.14 x44 * x50 + 0.02 x44 * x51 - 0.06 x44 * x52 + 0.5 x44 * x53 + 0.26 x44 * x54 + 0.12 x44 * x55 - 0.42 x44 * x56 + 0.08 x44 * x57 - 0.16 x44 * x58 - 0.24 x44 * x59 + 0.18 x44 * x60 - 0.08 x44 * x61 + 0.03 x45^2 - 0.16 x45 * x46 - 0.14 x45 * x47 - 0.2 x45 * x48 + 0.1 x45 * x50 + 0.2 x45 * x52 - 0.1 x45 * x53 + 0.04 x45 * x54 - 0.56 x45 * x55 - 0.08 x45 * x56 + 0.32 x45 * x57 - 0.04 x45 * x58 - 0.14 x45 * x59 - 0.18 x45 * x60 + 0.06 x45 * x61 - 0.1 x46^2 + 0.18 x46 * x47 + 0.02 x46 * x48 + 0.06 x46 * x49 + 0.02 x46 * x50 - 0.08 x46 * x51 + 0.08 x46 * x52 - 0.28 x46 * x53 - 0.08 x46 * x54 + 0.24 x46 * x55 + 0.26 x46 * x56 + 0.06 x46 * x58 + 0.24 x46 * x59 + 0.22 x46 * x60 + 0.32 x46 * x61 - 0.03 x47^2 - 0.18 x47 * x48 + 0.02 x47 * x49 - 0.08 x47 * x50 - 0.04 x47 * x51 - 0.08 x47 * x52 - 0.14 x47 * x53 + 0.14 x47 * x54 - 0.04 x47 * x55 + 0.12 x47 * x56 - 0.02 x47 * x57 - 0.24 x47 * x58 - 0.14 x47 * x59 - 0.18 x47 * x60 - 0.14 x47 * x61 - 0.01 x48^2 - 0.14 x48 * x50 - 0.02 x48 * x51 + 0.2 x48 * x52 - 0.04 x48 * x53 + 0.14 x48 * x54 + 0.14 x48 * x55 + 0.04 x48 * x56 - 0.38 x48 * x57 + 0.22 x48 * x58 + 0.16 x48 * x59 - 0.16 x48 * x60 + 0.04 x48 * x61 + 0.18 x49^2 - 0.02 x49 * x50 + 0.34 x49 * x51 - 0.14 x49 * x52 + 0.1 x49 * x53 + 0.24 x49 * x54 - 0.1 x49 * x55 + 0.04 x49 * x56 - 0.4 x49 * x57 + 0.1 x49 * x58 - 0.18 x49 * x59 + 0.14 x49 * x60 + 0.12 x49 * x61 + 0.09 x50^2 - 0.3 x50 * x51 + 0.02 x50 * x52 - 0.12 x50 * x53 - 0.04 x50 * x54 + 0.36 x50 * x55 - 0.02 x50 * x56 - 0.24 x50 * x57 - 0.32 x50 * x58 - 0.24 x50 * x59 + 0.06 x50 * x60 - 0.12 x50 * x61 + 0.05 x51^2 + 0.12 x51 * x52 + 0.16 x51 * x53 - 0.14 x51 * x54 - 0.08 x51 * x55 - 0.2 x51 * x56 - 0.04 x51 * x57 - 0.18 x51 * x58 + 0.14 x51 * x59 + 0.04 x51 * x60 - 0.04 x51 * x61 - 0.12 x52^2 + 0.18 x52 * x53 - 0.08 x52 * x54 - 0.12 x52 * x55 - 0.02 x52 * x56 + 0.06 x52 * x57 - 0.06 x52 * x58 + 0.02 x52 * x59 + 0.04 x52 * x60 - 0.06 x52 * x61 - 0.01 x53^2 - 0.26 x53 * x54 - 0.02 x53 * x55 + 0.04 x53 * x56 + 0.08 x53 * x57 + 0.04 x53 * x58 - 0.16 x53 * x59 - 0.28 x53 * x60 - 0.02 x53 * x61 - 0.02 x54^2 + 0.02 x54 * x55 + 0.14 x54 * x56 + 0.02 x54 * x57 + 0.04 x54 * x58 - 0.06 x54 * x59 + 0.04 x54 * x60 - 0.14 x54 * x61 - 0.02 x55^2 - 0.26 x55 * x56 - 0.14 x55 * x58 + 0.16 x55 * x59 + 0.14 x55 * x60 - 0.1 x55 * x61 + 0.15 x56^2 - 0.06 x56 * x57 + 0.26 x56 * x58 - 0.24 x56 * x59 + 0.3 x56 * x60 + 0.02 x56 * x61 - 0.06 x57^2 + 0.24 x57 * x58 - 0.14 x57 * x59 - 0.12 x57 * x60 - 0.06 x57 * x61 + 0.12 x58^2 - 0.04 x58 * x59 - 0.32 x58 * x60 + 0.36 x59^2 - 0.24 x59 * x60 - 0.24 x59 * x61 - 0.01 x60^2 + 0.1 x60 * x61 + 0.11 x61^2 ] <= 23.9 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 x42 <= 1 x43 <= 1 x44 <= 1 x45 <= 1 x46 <= 1 x47 <= 1 x48 <= 1 x49 <= 1 x50 <= 1 x51 <= 1 x52 <= 1 x53 <= 1 x54 <= 1 x55 <= 1 x56 <= 1 x57 <= 1 x58 <= 1 x59 <= 1 x60 <= 1 x61 <= 1 End