\ Equation counts \ Total E G L N X C B \ 412 150 125 137 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 208 208 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 4150 2200 1950 0 \ Minimize obj: - 56.4 x2 + 42.3 x3 + 42.3 x4 + 141 x5 + 56.4 x6 + 155.1 x7 + 70.5 x8 + 70.5 x9 + 42.3 x10 - 14.1 x11 + 84.6 x12 + 84.6 x13 + 126.9 x14 + 126.9 x15 + 126.9 x16 + 126.9 x17 + 70.5 x18 + 14.1 x19 - 56.4 x20 - 56.4 x21 - 112.8 x22 + 98.7 x23 - 56.4 x24 - 155.1 x25 - 155.1 x26 - 211.5 x27 - 56.4 x28 - 56.4 x29 + 98.7 x30 + 197.4 x31 + 42.3 x32 + 56.4 x33 + 56.4 x34 + 70.5 x35 + 70.5 x36 + 42.3 x37 + 42.3 x38 + 84.6 x39 + 84.6 x40 + 239.7 x41 + 84.6 x42 + 126.9 x43 + 126.9 x44 + 282 x45 + 126.9 x46 + 126.9 x47 + 126.9 x48 - 70.5 x49 + 70.5 x50 - 126.9 x51 - 56.4 x52 - 56.4 x53 - 253.8 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 Subject To e2: x2 + x23 + x24 + x29 + x30 + x31 - x32 - x33 - x34 - x35 - x36 - x37 - x38 - x39 - x40 - x42 - x43 - x44 - x46 - x47 - x48 - x49 - x50 - x51 - x52 - x53 - x54 + x205 + x206 + x207 + x208 + x209 <= 10 e3: x3 + x4 + x5 + x32 <= 10 e4: x6 + x7 + x33 + x34 <= 10 e5: x8 + x9 + x35 + x36 <= 10 e6: x10 + x11 + x31 + x37 + x38 - x49 - x51 - x54 <= 10 e7: x12 + x13 + x39 + x40 + x41 + x42 <= 10 e8: x14 + x15 + x43 + x44 + x45 + x46 <= 10 e9: x16 + x17 + x47 + x48 + x49 <= 10 e10: x18 + x19 + x50 + x51 <= 10 e11: x20 + x21 + x22 + x52 + x53 + x54 <= 10 e12: x3 + x6 + x8 + x10 + x12 + x14 + x16 + x18 + x20 + x25 + x205 + x208 <= 0.496454 e13: x4 + x9 + x13 + x15 + x17 + x21 + x26 + x31 + x206 + x207 + x209 <= 2.41135 e14: x2 + x11 + x19 + x22 + x24 + x27 + x29 <= 6.73759 e15: x5 + x7 + x23 + x28 + x30 <= 0.35461 e16: x23 + x207 <= 10 e17: x25 + x26 + x27 + x28 <= 10 e18: x29 + x30 + x208 + x209 <= 10 e19: x23 - x32 - x33 - x35 - x39 - x43 - x47 + x207 >= 0 e20: x24 - x37 - x40 - x44 - x48 - x52 >= 0 e21: x29 + x30 - x34 - x36 - x38 - x42 - x46 - x50 - x53 + x208 + x209 >= 0 e22: x31 - x49 - x51 - x54 >= 0 e23: x31 - x49 - x51 - x54 >= 0 e24: - 3.34802 x23 + 3.25991 x32 - 0.484581 x33 + 0.220264 x35 + 0.792952 x39 + 1.32159 x43 + 2.55507 x47 - 3.34802 x207 + [ x23 * x55 + x55 * x207 ] = 0 e25: - 3.34802 x24 + 1.32159 x37 + 0.792952 x40 + 1.32159 x44 + 2.55507 x48 + 1.4978 x52 + [ x24 * x56 ] = 0 e26: - 2.55507 x41 - 2.02643 x45 + [ x25 * x57 + x26 * x57 + x27 * x57 + x28 * x57 ] = 0 e27: - 3.34802 x29 - 3.34802 x30 - 0.484581 x34 + 0.220264 x36 + 1.32159 x38 + 0.792952 x42 + 1.32159 x46 + 2.29075 x50 + 1.4978 x53 - 3.34802 x208 - 3.34802 x209 + [ x29 * x58 + x30 * x58 + x58 * x208 + x58 * x209 ] = 0 e28: - 5.37445 x31 + 4.5815 x49 + 4.31718 x51 + 3.52423 x54 + [ x31 * x59 ] = 0 e29: 3.74449 x6 + 3.03965 x8 + 1.93833 x10 + 2.46696 x12 + 1.93833 x14 + 0.704846 x16 + 0.969163 x18 + 1.76211 x20 - 0.0881057 x25 + 3.25991 x205 - 0.0881057 x208 + [ x25 * x57 + x58 * x208 ] >= 0 e30: - 9.91189 x3 - 6.1674 x6 - 6.87225 x8 - 7.97357 x10 - 7.44493 x12 - 7.97357 x14 - 9.20705 x16 - 8.94273 x18 - 8.14978 x20 - 10 x25 - 6.65198 x205 - 10 x208 + [ x25 * x57 + x58 * x208 ] <= 0 e31: 3.03965 x9 + 2.46696 x13 + 1.93833 x15 + 0.704846 x17 + 1.76211 x21 - 0.0881057 x26 - 0.0881057 x31 + 3.25991 x206 - 0.0881057 x207 - 0.0881057 x209 + [ x26 * x57 + x31 * x59 + x55 * x207 + x58 * x209 ] >= 0 e32: - 6.74009 x4 - 3.70044 x9 - 4.27313 x13 - 4.80176 x15 - 6.03524 x17 - 4.97797 x21 - 6.82819 x26 - 6.82819 x31 - 3.48018 x206 - 6.82819 x207 - 6.82819 x209 + [ x26 * x57 + x31 * x59 + x55 * x207 + x58 * x209 ] <= 0 e33: 2.55507 x2 + 1.23348 x11 + 0.264317 x19 + 1.05727 x22 - 0.792952 x24 - 0.792952 x27 - 0.792952 x29 + [ x24 * x56 + x27 * x57 + x29 * x58 ] >= 0 e34: 0.969163 x2 - 0.352423 x11 - 1.32159 x19 - 0.528634 x22 - 2.37885 x24 - 2.37885 x27 - 2.37885 x29 + [ x24 * x56 + x27 * x57 + x29 * x58 ] <= 0 e35: 3.74449 x7 - 0.0881057 x23 - 0.0881057 x28 - 0.0881057 x30 + [ x23 * x55 + x28 * x57 + x30 * x58 ] >= 0 e36: - 6.51982 x5 - 2.77533 x7 - 6.60793 x23 - 6.60793 x28 - 6.60793 x30 + [ x23 * x55 + x28 * x57 + x30 * x58 ] <= 0 e37: - 4.01042 x23 + 1.71875 x32 - 0.677083 x33 - 1.14583 x35 + 2.03125 x39 + 2.29167 x43 + 1.97917 x47 - 4.01042 x207 + [ x23 * x60 + x60 * x207 ] = 0 e38: - 4.01042 x24 - 0.9375 x37 + 2.03125 x40 + 2.29167 x44 + 1.97917 x48 + 3.17708 x52 + [ x24 * x61 ] = 0 e39: - 1.97917 x41 - 1.71875 x45 + [ x25 * x62 + x26 * x62 + x27 * x62 + x28 * x62 ] = 0 e40: - 4.01042 x29 - 4.01042 x30 - 0.677083 x34 - 1.14583 x36 - 0.9375 x38 + 2.03125 x42 + 2.29167 x46 + 1.97917 x50 + 3.17708 x53 - 4.01042 x208 - 4.01042 x209 + [ x29 * x63 + x30 * x63 + x63 * x208 + x63 * x209 ] = 0 e41: - 8.95833 x31 + 6.92708 x49 + 6.92708 x51 + 8.125 x54 + [ x31 * x64 ] = 0 e42: 1.45833 x3 + 3.85417 x6 + 4.32292 x8 + 4.11458 x10 + 1.14583 x12 + 0.885417 x14 + 1.19792 x16 + 1.19792 x18 - 0.833333 x25 + 3.17708 x205 - 0.833333 x208 + [ x25 * x62 + x63 * x208 ] >= 0 e43: - 7.70833 x3 - 5.3125 x6 - 4.84375 x8 - 5.05208 x10 - 8.02083 x12 - 8.28125 x14 - 7.96875 x16 - 7.96875 x18 - 9.16667 x20 - 10 x25 - 5.98958 x205 - 10 x208 + [ x25 * x62 + x63 * x208 ] <= 0 e44: 1.45833 x4 + 4.32292 x9 + 1.14583 x13 + 0.885417 x15 + 1.19792 x17 - 0.833333 x26 - 0.833333 x31 + 3.17708 x206 - 0.833333 x207 - 0.833333 x209 + [ x26 * x62 + x31 * x64 + x60 * x207 + x63 * x209 ] >= 0 e45: - 7.39583 x4 - 4.53125 x9 - 7.70833 x13 - 7.96875 x15 - 7.65625 x17 - 8.85417 x21 - 9.6875 x26 - 9.6875 x31 - 5.67708 x206 - 9.6875 x207 - 9.6875 x209 + [ x26 * x62 + x31 * x64 + x60 * x207 + x63 * x209 ] <= 0 e46: 3.17708 x2 + 4.11458 x11 + 1.19792 x19 - 0.833333 x24 - 0.833333 x27 - 0.833333 x29 + [ x24 * x61 + x27 * x62 + x29 * x63 ] >= 0 e47: - 4.84375 x2 - 3.90625 x11 - 6.82292 x19 - 8.02083 x22 - 8.85417 x24 - 8.85417 x27 - 8.85417 x29 + [ x24 * x61 + x27 * x62 + x29 * x63 ] <= 0 e48: 1.45833 x5 + 3.85417 x7 - 0.833333 x23 - 0.833333 x28 - 0.833333 x30 + [ x23 * x60 + x28 * x62 + x30 * x63 ] >= 0 e49: - 1.25 x5 + 1.14583 x7 - 3.54167 x23 - 3.54167 x28 - 3.54167 x30 + [ x23 * x60 + x28 * x62 + x30 * x63 ] <= 0 e50: - 1.61157 x23 + 1.52893 x32 + 0.909091 x33 + 0.206612 x35 + 0.123967 x39 - 2.43802 x43 + 0.0826446 x47 - 1.61157 x207 + [ x23 * x65 + x65 * x207 ] = 0 e51: - 1.61157 x24 + 0.206612 x37 + 0.123967 x40 - 2.43802 x44 + 0.0826446 x48 - 1.36364 x52 + [ x24 * x66 ] = 0 e52: - 1.4876 x41 - 4.04959 x45 + [ x25 * x67 + x26 * x67 + x27 * x67 + x28 * x67 ] = 0 e53: - 1.61157 x29 - 1.61157 x30 + 0.909091 x34 + 0.206612 x36 + 0.206612 x38 + 0.123967 x42 - 2.43802 x46 - 1.8595 x50 - 1.36364 x53 - 1.61157 x208 - 1.61157 x209 + [ x29 * x68 + x30 * x68 + x68 * x208 + x68 * x209 ] = 0 e54: - 3.01653 x31 + 1.4876 x49 - 0.454545 x51 + 0.0413223 x54 + [ x31 * x69 ] = 0 e55: 0.619835 x6 + 1.32231 x8 + 1.32231 x10 + 1.40496 x12 + 3.96694 x14 + 1.44628 x16 + 3.38843 x18 + 2.89256 x20 - 0.0826446 x25 + 1.52893 x205 - 0.0826446 x208 + [ x25 * x67 + x68 * x208 ] >= 0 e56: - 3.26446 x3 - 2.64463 x6 - 1.94215 x8 - 1.94215 x10 - 1.8595 x12 + 0.702479 x14 - 1.81818 x16 + 0.123967 x18 - 0.371901 x20 - 3.34711 x25 - 1.73554 x205 - 3.34711 x208 + [ x25 * x67 + x68 * x208 ] <= 0 e57: 1.32231 x9 + 1.40496 x13 + 3.96694 x15 + 1.44628 x17 + 2.89256 x21 - 0.0826446 x26 - 0.0826446 x31 + 1.52893 x206 - 0.0826446 x207 - 0.0826446 x209 + [ x26 * x67 + x31 * x69 + x65 * x207 + x68 * x209 ] >= 0 e58: - 3.67769 x4 - 2.35537 x9 - 2.27273 x13 + 0.289256 x15 - 2.2314 x17 - 0.785124 x21 - 3.76033 x26 - 3.76033 x31 - 2.14876 x206 - 3.76033 x207 - 3.76033 x209 + [ x26 * x67 + x31 * x69 + x65 * x207 + x68 * x209 ] <= 0 e59: 0.909091 x2 + 0.702479 x11 + 2.7686 x19 + 2.27273 x22 - 0.702479 x24 - 0.702479 x27 - 0.702479 x29 + [ x24 * x66 + x27 * x67 + x29 * x68 ] >= 0 e60: - 8.38843 x2 - 8.59504 x11 - 6.52893 x19 - 7.02479 x22 - 10 x24 - 10 x27 - 10 x29 + [ x24 * x66 + x27 * x67 + x29 * x68 ] <= 0 e61: 0.619835 x7 - 0.0826446 x23 - 0.0826446 x28 - 0.0826446 x30 + [ x23 * x65 + x28 * x67 + x30 * x68 ] >= 0 e62: - 8.8843 x5 - 8.26446 x7 - 8.96694 x23 - 8.96694 x28 - 8.96694 x30 + [ x23 * x65 + x28 * x67 + x30 * x68 ] <= 0 e63: - 1.98312 x23 + 1.72996 x32 - 1.22363 x33 + 0.843882 x35 + 1.26582 x39 - 1.13924 x43 - 0.379747 x47 - 1.98312 x207 + [ x23 * x70 + x70 * x207 ] = 0 e64: - 1.98312 x24 - 1.01266 x37 + 1.26582 x40 - 1.13924 x44 - 0.379747 x48 + 1.35021 x52 + [ x24 * x71 ] = 0 e65: - 0.7173 x41 - 3.12236 x45 + [ x25 * x72 + x26 * x72 + x27 * x72 + x28 * x72 ] = 0 e66: - 1.98312 x29 - 1.98312 x30 - 1.22363 x34 + 0.843882 x36 - 1.01266 x38 + 1.26582 x42 - 1.13924 x46 + 1.56118 x50 + 1.35021 x53 - 1.98312 x208 - 1.98312 x209 + [ x29 * x73 + x30 * x73 + x73 * x208 + x73 * x209 ] = 0 e67: - 4.9789 x31 + 2.61603 x49 + 4.55696 x51 + 4.34599 x54 + [ x31 * x74 ] = 0 e68: 2.95359 x6 + 0.886076 x8 + 2.74262 x10 + 0.464135 x12 + 2.8692 x14 + 2.1097 x16 + 0.168776 x18 + 0.379747 x20 - 0.253165 x25 + 1.72996 x205 - 0.253165 x208 + [ x25 * x72 + x73 * x208 ] >= 0 e69: - 9.74684 x3 - 6.79325 x6 - 8.86076 x8 - 7.00422 x10 - 9.2827 x12 - 6.87764 x14 - 7.63713 x16 - 9.57806 x18 - 9.36709 x20 - 10 x25 - 8.01688 x205 - 10 x208 + [ x25 * x72 + x73 * x208 ] <= 0 e70: 0.886076 x9 + 0.464135 x13 + 2.8692 x15 + 2.1097 x17 + 0.379747 x21 - 0.253165 x26 - 0.253165 x31 + 1.72996 x206 - 0.253165 x207 - 0.253165 x209 + [ x26 * x72 + x31 * x74 + x70 * x207 + x73 * x209 ] >= 0 e71: - 9.57806 x4 - 8.69198 x9 - 9.11392 x13 - 6.70886 x15 - 7.46835 x17 - 9.19831 x21 - 9.83122 x26 - 9.83122 x31 - 7.8481 x206 - 9.83122 x207 - 9.83122 x209 + [ x26 * x72 + x31 * x74 + x70 * x207 + x73 * x209 ] <= 0 e72: 1.56118 x2 + 2.57384 x11 + 0.21097 x22 - 0.421941 x24 - 0.421941 x27 - 0.421941 x29 + [ x24 * x71 + x27 * x72 + x29 * x73 ] >= 0 e73: - 4.2616 x2 - 3.24895 x11 - 5.82278 x19 - 5.61181 x22 - 6.24473 x24 - 6.24473 x27 - 6.24473 x29 + [ x24 * x71 + x27 * x72 + x29 * x73 ] <= 0 e74: 2.95359 x7 - 0.253165 x23 - 0.253165 x28 - 0.253165 x30 + [ x23 * x70 + x28 * x72 + x30 * x73 ] >= 0 e75: - 6.49789 x5 - 3.5443 x7 - 6.75105 x23 - 6.75105 x28 - 6.75105 x30 + [ x23 * x70 + x28 * x72 + x30 * x73 ] <= 0 e76: - 3.58025 x23 + 2.38683 x32 + 0.781893 x33 + 0.164609 x35 + 2.71605 x39 + 0.0823045 x43 + 1.7284 x47 - 3.58025 x207 + [ x23 * x75 + x75 * x207 ] = 0 e77: - 3.58025 x24 - 0.329218 x37 + 2.71605 x40 + 0.0823045 x44 + 1.7284 x48 + 1.97531 x52 + [ x24 * x76 ] = 0 e78: - 0.864198 x41 - 3.49794 x45 + [ x25 * x77 + x26 * x77 + x27 * x77 + x28 * x77 ] = 0 e79: - 3.58025 x29 - 3.58025 x30 + 0.781893 x34 + 0.164609 x36 - 0.329218 x38 + 2.71605 x42 + 0.0823045 x46 + 0.205761 x50 + 1.97531 x53 - 3.58025 x208 - 3.58025 x209 + [ x29 * x78 + x30 * x78 + x78 * x208 + x78 * x209 ] = 0 e80: - 7.48971 x31 + 5.63786 x49 + 4.11523 x51 + 5.88477 x54 + [ x31 * x79 ] = 0 e81: 0.329218 x3 + 1.93416 x6 + 2.55144 x8 + 3.04527 x10 + 2.63374 x14 + 0.987654 x16 + 2.51029 x18 + 0.740741 x20 - 0.864198 x25 + 2.71605 x205 - 0.864198 x208 + [ x25 * x77 + x78 * x208 ] >= 0 e82: - 3.82716 x3 - 2.22222 x6 - 1.60494 x8 - 1.11111 x10 - 4.15638 x12 - 1.52263 x14 - 3.16872 x16 - 1.64609 x18 - 3.41564 x20 - 5.02058 x25 - 1.44033 x205 - 5.02058 x208 + [ x25 * x77 + x78 * x208 ] <= 0 e83: 0.329218 x4 + 2.55144 x9 + 2.63374 x15 + 0.987654 x17 + 0.740741 x21 - 0.864198 x26 - 0.864198 x31 + 2.71605 x206 - 0.864198 x207 - 0.864198 x209 + [ x26 * x77 + x31 * x79 + x75 * x207 + x78 * x209 ] >= 0 e84: - 2.09877 x4 + 0.123457 x9 - 2.42798 x13 + 0.205761 x15 - 1.44033 x17 - 1.68724 x21 - 3.29218 x26 - 3.29218 x31 + 0.288066 x206 - 3.29218 x207 - 3.29218 x209 + [ x26 * x77 + x31 * x79 + x75 * x207 + x78 * x209 ] <= 0 e85: 2.71605 x2 + 3.04527 x11 + 2.51029 x19 + 0.740741 x22 - 0.864198 x24 - 0.864198 x27 - 0.864198 x29 + [ x24 * x76 + x27 * x77 + x29 * x78 ] >= 0 e86: - 6.00823 x2 - 5.67901 x11 - 6.21399 x19 - 7.98354 x22 - 9.58848 x24 - 9.58848 x27 - 9.58848 x29 + [ x24 * x76 + x27 * x77 + x29 * x78 ] <= 0 e87: 0.329218 x5 + 1.93416 x7 - 0.864198 x23 - 0.864198 x28 - 0.864198 x30 + [ x23 * x75 + x28 * x77 + x30 * x78 ] >= 0 e88: - 8.80658 x5 - 7.20165 x7 - 10 x23 - 10 x28 - 10 x30 + [ x23 * x75 + x28 * x77 + x30 * x78 ] <= 0 e89: - 1.97183 x23 - 1.31455 x32 + 0.28169 x33 - 0.375587 x35 + 1.64319 x39 - 1.40845 x43 - 0.798122 x47 - 1.97183 x207 + [ x23 * x80 + x80 * x207 ] = 0 e90: - 1.97183 x24 - 2.58216 x37 + 1.64319 x40 - 1.40845 x44 - 0.798122 x48 + 0.422535 x52 + [ x24 * x81 ] = 0 e91: - 0.328638 x41 - 3.38028 x45 + [ x25 * x82 + x26 * x82 + x27 * x82 + x28 * x82 ] = 0 e92: - 1.97183 x29 - 1.97183 x30 + 0.28169 x34 - 0.375587 x36 - 2.58216 x38 + 1.64319 x42 - 1.40845 x46 - 2.15962 x50 + 0.422535 x53 - 1.97183 x208 - 1.97183 x209 + [ x29 * x83 + x30 * x83 + x83 * x208 + x83 * x209 ] = 0 e93: - 6.52582 x31 + 3.75587 x49 + 2.39437 x51 + 4.97653 x54 + [ x31 * x84 ] = 0 e94: 2.95775 x3 + 1.3615 x6 + 2.01878 x8 + 4.22535 x10 + 3.05164 x14 + 2.44131 x16 + 3.80282 x18 + 1.22066 x20 - 0.328638 x25 + 1.64319 x205 - 0.328638 x208 + [ x25 * x82 + x83 * x208 ] >= 0 e95: - 1.17371 x3 - 2.76995 x6 - 2.11268 x8 + 0.0938967 x10 - 4.13146 x12 - 1.07981 x14 - 1.69014 x16 - 0.328638 x18 - 2.9108 x20 - 4.46009 x25 - 2.48826 x205 - 4.46009 x208 + [ x25 * x82 + x83 * x208 ] <= 0 e96: 2.95775 x4 + 2.01878 x9 + 3.05164 x15 + 2.44131 x17 + 1.22066 x21 - 0.328638 x26 - 0.328638 x31 + 1.64319 x206 - 0.328638 x207 - 0.328638 x209 + [ x26 * x82 + x31 * x84 + x80 * x207 + x83 * x209 ] >= 0 e97: - 6.71362 x4 - 7.65258 x9 - 9.67136 x13 - 6.61972 x15 - 7.23005 x17 - 8.4507 x21 - 10 x26 - 10 x31 - 8.02817 x206 - 10 x207 - 10 x209 + [ x26 * x82 + x31 * x84 + x80 * x207 + x83 * x209 ] <= 0 e98: 1.64319 x2 + 4.22535 x11 + 3.80282 x19 + 1.22066 x22 - 0.328638 x24 - 0.328638 x27 - 0.328638 x29 + [ x24 * x81 + x27 * x82 + x29 * x83 ] >= 0 e99: - 0.375587 x2 + 2.20657 x11 + 1.78404 x19 - 0.798122 x22 - 2.34742 x24 - 2.34742 x27 - 2.34742 x29 + [ x24 * x81 + x27 * x82 + x29 * x83 ] <= 0 e100: 2.95775 x5 + 1.3615 x7 - 0.328638 x23 - 0.328638 x28 - 0.328638 x30 + [ x23 * x80 + x28 * x82 + x30 * x83 ] >= 0 e101: - 5.77465 x5 - 7.37089 x7 - 9.06103 x23 - 9.06103 x28 - 9.06103 x30 + [ x23 * x80 + x28 * x82 + x30 * x83 ] <= 0 e102: - 2.25806 x23 + 0.698925 x32 - 0.591398 x33 - 0.967742 x35 - 2.41935 x39 + 0.645161 x43 - 2.74194 x47 - 2.25806 x207 + [ x23 * x85 + x85 * x207 ] = 0 e103: - 2.25806 x24 + 1.50538 x37 - 2.41935 x40 + 0.645161 x44 - 2.74194 x48 - 0.967742 x52 + [ x24 * x86 ] = 0 e104: - 4.67742 x41 - 1.6129 x45 + [ x25 * x87 + x26 * x87 + x27 * x87 + x28 * x87 ] = 0 e105: - 2.25806 x29 - 2.25806 x30 - 0.591398 x34 - 0.967742 x36 + 1.50538 x38 - 2.41935 x42 + 0.645161 x46 - 1.45161 x50 - 0.967742 x53 - 2.25806 x208 - 2.25806 x209 + [ x29 * x88 + x30 * x88 + x88 * x208 + x88 * x209 ] = 0 e106: - 3.01075 x31 - 1.98925 x49 - 0.698925 x51 - 0.215054 x54 + [ x31 * x89 ] = 0 e107: 0.806452 x3 + 2.09677 x6 + 2.47312 x8 + 3.92473 x12 + 0.860215 x14 + 4.24731 x16 + 2.95699 x18 + 2.47312 x20 - 0.752688 x25 + 1.50538 x205 - 0.752688 x208 + [ x25 * x87 + x88 * x208 ] >= 0 e108: - 7.09677 x3 - 5.80645 x6 - 5.43011 x8 - 7.90323 x10 - 3.97849 x12 - 7.04301 x14 - 3.65591 x16 - 4.94624 x18 - 5.43011 x20 - 8.65591 x25 - 6.39785 x205 - 8.65591 x208 + [ x25 * x87 + x88 * x208 ] <= 0 e109: 0.806452 x4 + 2.47312 x9 + 3.92473 x13 + 0.860215 x15 + 4.24731 x17 + 2.47312 x21 - 0.752688 x26 - 0.752688 x31 + 1.50538 x206 - 0.752688 x207 - 0.752688 x209 + [ x26 * x87 + x31 * x89 + x85 * x207 + x88 * x209 ] >= 0 e110: - 4.46237 x4 - 2.7957 x9 - 1.34409 x13 - 4.4086 x15 - 1.02151 x17 - 2.7957 x21 - 6.02151 x26 - 6.02151 x31 - 3.76344 x206 - 6.02151 x207 - 6.02151 x209 + [ x26 * x87 + x31 * x89 + x85 * x207 + x88 * x209 ] <= 0 e111: 1.50538 x2 + 2.95699 x19 + 2.47312 x22 - 0.752688 x24 - 0.752688 x27 - 0.752688 x29 + [ x24 * x86 + x27 * x87 + x29 * x88 ] >= 0 e112: - 7.74194 x2 - 9.24731 x11 - 6.29032 x19 - 6.77419 x22 - 10 x24 - 10 x27 - 10 x29 + [ x24 * x86 + x27 * x87 + x29 * x88 ] <= 0 e113: 0.806452 x5 + 2.09677 x7 - 0.752688 x23 - 0.752688 x28 - 0.752688 x30 + [ x23 * x85 + x28 * x87 + x30 * x88 ] >= 0 e114: - 2.2043 x5 - 0.913978 x7 - 3.76344 x23 - 3.76344 x28 - 3.76344 x30 + [ x23 * x85 + x28 * x87 + x30 * x88 ] <= 0 e115: - 0.12 x23 - x32 - 2.92 x33 - 2.76 x35 + 0.04 x39 - x43 - 1.84 x47 - 0.12 x207 + [ x23 * x90 + x90 * x207 ] = 0 e116: - 0.12 x24 - 3.8 x37 + 0.04 x40 - x44 - 1.84 x48 - 1.96 x52 + [ x24 * x91 ] = 0 e117: - 0.08 x41 - 1.12 x45 + [ x25 * x92 + x26 * x92 + x27 * x92 + x28 * x92 ] = 0 e118: - 0.12 x29 - 0.12 x30 - 2.92 x34 - 2.76 x36 - 3.8 x38 + 0.04 x42 - x46 - 0.92 x50 - 1.96 x53 - 0.12 x208 - 0.12 x209 + [ x29 * x93 + x30 * x93 + x93 * x208 + x93 * x209 ] = 0 e119: - 4.04 x31 + 2.08 x49 + 3 x51 + 1.96 x54 + [ x31 * x94 ] = 0 e120: 1.04 x3 + 2.96 x6 + 2.8 x8 + 3.84 x10 + 1.04 x14 + 1.88 x16 + 0.96 x18 + 2 x20 - 0.08 x25 + 0.04 x205 - 0.08 x208 + [ x25 * x92 + x93 * x208 ] >= 0 e121: - 8.88 x3 - 6.96 x6 - 7.12 x8 - 6.08 x10 - 9.92 x12 - 8.88 x14 - 8.04 x16 - 8.96 x18 - 7.92 x20 - 10 x25 - 9.88 x205 - 10 x208 + [ x25 * x92 + x93 * x208 ] <= 0 e122: 1.04 x4 + 2.8 x9 + 1.04 x15 + 1.88 x17 + 2 x21 - 0.08 x26 - 0.08 x31 + 0.04 x206 - 0.08 x207 - 0.08 x209 + [ x26 * x92 + x31 * x94 + x90 * x207 + x93 * x209 ] >= 0 e123: - 6.6 x4 - 4.84 x9 - 7.64 x13 - 6.6 x15 - 5.76 x17 - 5.64 x21 - 7.72 x26 - 7.72 x31 - 7.6 x206 - 7.72 x207 - 7.72 x209 + [ x26 * x92 + x31 * x94 + x90 * x207 + x93 * x209 ] <= 0 e124: 0.04 x2 + 3.84 x11 + 0.96 x19 + 2 x22 - 0.08 x24 - 0.08 x27 - 0.08 x29 + [ x24 * x91 + x27 * x92 + x29 * x93 ] >= 0 e125: - 5.92 x2 - 2.12 x11 - 5 x19 - 3.96 x22 - 6.04 x24 - 6.04 x27 - 6.04 x29 + [ x24 * x91 + x27 * x92 + x29 * x93 ] <= 0 e126: 1.04 x5 + 2.96 x7 - 0.08 x23 - 0.08 x28 - 0.08 x30 + [ x23 * x90 + x28 * x92 + x30 * x93 ] >= 0 e127: - 1.08 x5 + 0.84 x7 - 2.2 x23 - 2.2 x28 - 2.2 x30 + [ x23 * x90 + x28 * x92 + x30 * x93 ] <= 0 e128: - 2.59414 x23 - 1.21339 x32 - 0.627615 x33 + 2.42678 x35 + 1.46444 x39 - 0.794979 x43 + 2.46862 x47 - 2.59414 x207 + [ x23 * x95 + x95 * x207 ] = 0 e129: - 2.59414 x24 + 2.38494 x37 + 1.46444 x40 - 0.794979 x44 + 2.46862 x48 - 1.58996 x52 + [ x24 * x96 ] = 0 e130: - 1.12971 x41 - 3.38912 x45 + [ x25 * x97 + x26 * x97 + x27 * x97 + x28 * x97 ] = 0 e131: - 2.59414 x29 - 2.59414 x30 - 0.627615 x34 + 2.42678 x36 + 2.38494 x38 + 1.46444 x42 - 0.794979 x46 - 1.58996 x53 - 2.59414 x208 - 2.59414 x209 + [ x29 * x98 + x30 * x98 + x98 * x208 + x98 * x209 ] = 0 e132: - 2.80335 x31 + 2.67782 x49 + 0.209205 x51 - 1.38075 x54 + [ x31 * x99 ] = 0 e133: 3.68201 x3 + 3.09623 x6 + 0.041841 x8 + 0.083682 x10 + 1.00418 x12 + 3.2636 x14 + 2.46862 x18 + 4.05858 x20 - 0.125523 x25 + 2.46862 x205 - 0.125523 x208 + [ x25 * x97 + x98 * x208 ] >= 0 e134: 0.920502 x3 + 0.334728 x6 - 2.71967 x8 - 2.67782 x10 - 1.75732 x12 + 0.502092 x14 - 2.76151 x16 - 0.292887 x18 + 1.29707 x20 - 2.88703 x25 - 0.292887 x205 - 2.88703 x208 + [ x25 * x97 + x98 * x208 ] <= 0 e135: 3.68201 x4 + 0.041841 x9 + 1.00418 x13 + 3.2636 x15 + 4.05858 x21 - 0.125523 x26 - 0.125523 x31 + 2.46862 x206 - 0.125523 x207 - 0.125523 x209 + [ x26 * x97 + x31 * x99 + x95 * x207 + x98 * x209 ] >= 0 e136: - 0.585774 x4 - 4.22594 x9 - 3.2636 x13 - 1.00418 x15 - 4.26778 x17 - 0.209205 x21 - 4.39331 x26 - 4.39331 x31 - 1.79916 x206 - 4.39331 x207 - 4.39331 x209 + [ x26 * x97 + x31 * x99 + x95 * x207 + x98 * x209 ] <= 0 e137: 2.46862 x2 + 0.083682 x11 + 2.46862 x19 + 4.05858 x22 - 0.125523 x24 - 0.125523 x27 - 0.125523 x29 + [ x24 * x96 + x27 * x97 + x29 * x98 ] >= 0 e138: - 1.04603 x2 - 3.43096 x11 - 1.04603 x19 + 0.543933 x22 - 3.64017 x24 - 3.64017 x27 - 3.64017 x29 + [ x24 * x96 + x27 * x97 + x29 * x98 ] <= 0 e139: 3.68201 x5 + 3.09623 x7 - 0.125523 x23 - 0.125523 x28 - 0.125523 x30 + [ x23 * x95 + x28 * x97 + x30 * x98 ] >= 0 e140: - 6.19247 x5 - 6.77824 x7 - 10 x23 - 10 x28 - 10 x30 + [ x23 * x95 + x28 * x97 + x30 * x98 ] <= 0 e141: - 2.87671 x23 + 1.41553 x32 + 0.365297 x33 - 0.273973 x35 + 1.00457 x39 + 2.37443 x43 + 1.73516 x47 - 2.87671 x207 + [ x23 * x100 + x100 * x207 ] = 0 e142: - 2.87671 x24 + 1.09589 x37 + 1.00457 x40 + 2.37443 x44 + 1.73516 x48 + 0.684932 x52 + [ x24 * x101 ] = 0 e143: - 1.87215 x41 - 0.502283 x45 + [ x25 * x102 + x26 * x102 + x27 * x102 + x28 * x102 ] = 0 e144: - 2.87671 x29 - 2.87671 x30 + 0.365297 x34 - 0.273973 x36 + 1.09589 x38 + 1.00457 x42 + 2.37443 x46 - 0.228311 x50 + 0.684932 x53 - 2.87671 x208 - 2.87671 x209 + [ x29 * x103 + x30 * x103 + x103 * x208 + x103 * x209 ] = 0 e145: - 4.65753 x31 + 3.51598 x49 + 1.55251 x51 + 2.46575 x54 + [ x31 * x104 ] = 0 e146: 0.958904 x3 + 2.00913 x6 + 2.6484 x8 + 1.27854 x10 + 1.36986 x12 + 0.639269 x16 + 2.60274 x18 + 1.6895 x20 - 0.502283 x25 + 2.37443 x205 - 0.502283 x208 + [ x25 * x102 + x103 * x208 ] >= 0 e147: - 8.53881 x3 - 7.48858 x6 - 6.84932 x8 - 8.21918 x10 - 8.12785 x12 - 9.49772 x14 - 8.85845 x16 - 6.89498 x18 - 7.80822 x20 - 10 x25 - 7.12329 x205 - 10 x208 + [ x25 * x102 + x103 * x208 ] <= 0 e148: 0.958904 x4 + 2.6484 x9 + 1.36986 x13 + 0.639269 x17 + 1.6895 x21 - 0.502283 x26 - 0.502283 x31 + 2.37443 x206 - 0.502283 x207 - 0.502283 x209 + [ x26 * x102 + x31 * x104 + x100 * x207 + x103 * x209 ] >= 0 e149: - 2.14612 x4 - 0.456621 x9 - 1.73516 x13 - 3.10502 x15 - 2.46575 x17 - 1.41553 x21 - 3.60731 x26 - 3.60731 x31 - 0.730594 x206 - 3.60731 x207 - 3.60731 x209 + [ x26 * x102 + x31 * x104 + x100 * x207 + x103 * x209 ] <= 0 e150: 2.37443 x2 + 1.27854 x11 + 2.60274 x19 + 1.6895 x22 - 0.502283 x24 - 0.502283 x27 - 0.502283 x29 + [ x24 * x101 + x27 * x102 + x29 * x103 ] >= 0 e151: - 2.55708 x2 - 3.65297 x11 - 2.32877 x19 - 3.24201 x22 - 5.43379 x24 - 5.43379 x27 - 5.43379 x29 + [ x24 * x101 + x27 * x102 + x29 * x103 ] <= 0 e152: 0.958904 x5 + 2.00913 x7 - 0.502283 x23 - 0.502283 x28 - 0.502283 x30 + [ x23 * x100 + x28 * x102 + x30 * x103 ] >= 0 e153: - 2.32877 x5 - 1.27854 x7 - 3.78995 x23 - 3.78995 x28 - 3.78995 x30 + [ x23 * x100 + x28 * x102 + x30 * x103 ] <= 0 e154: - 2.5 x23 - 1.57895 x32 - 1.31579 x33 + 1.77632 x35 - 3.61842 x39 + 0.197368 x43 - 0.855263 x47 - 2.5 x207 + [ x23 * x105 + x105 * x207 ] = 0 e155: - 2.5 x24 - 0.657895 x37 - 3.61842 x40 + 0.197368 x44 - 0.855263 x48 - 2.89474 x52 + [ x24 * x106 ] = 0 e156: - 6.11842 x41 - 2.30263 x45 + [ x25 * x107 + x26 * x107 + x27 * x107 + x28 * x107 ] = 0 e157: - 2.5 x29 - 2.5 x30 - 1.31579 x34 + 1.77632 x36 - 0.657895 x38 - 3.61842 x42 + 0.197368 x46 - 3.42105 x50 - 2.89474 x53 - 2.5 x208 - 2.5 x209 + [ x29 * x108 + x30 * x108 + x108 * x208 + x108 * x209 ] = 0 e158: - 5.65789 x31 + 2.30263 x49 - 0.263158 x51 + 0.263158 x54 + [ x31 * x109 ] = 0 e159: 3.35526 x3 + 3.09211 x6 + 2.43421 x10 + 5.39474 x12 + 1.57895 x14 + 2.63158 x16 + 5.19737 x18 + 4.67105 x20 - 0.723684 x25 + 1.77632 x205 - 0.723684 x208 + [ x25 * x107 + x108 * x208 ] >= 0 e160: - 5.06579 x3 - 5.32895 x6 - 8.42105 x8 - 5.98684 x10 - 3.02632 x12 - 6.84211 x14 - 5.78947 x16 - 3.22368 x18 - 3.75 x20 - 9.14474 x25 - 6.64474 x205 - 9.14474 x208 + [ x25 * x107 + x108 * x208 ] <= 0 e161: 3.35526 x4 + 5.39474 x13 + 1.57895 x15 + 2.63158 x17 + 4.67105 x21 - 0.723684 x26 - 0.723684 x31 + 1.77632 x206 - 0.723684 x207 - 0.723684 x209 + [ x26 * x107 + x31 * x109 + x105 * x207 + x108 * x209 ] >= 0 e162: - 5.46053 x4 - 8.81579 x9 - 3.42105 x13 - 7.23684 x15 - 6.18421 x17 - 4.14474 x21 - 9.53947 x26 - 9.53947 x31 - 7.03947 x206 - 9.53947 x207 - 9.53947 x209 + [ x26 * x107 + x31 * x109 + x105 * x207 + x108 * x209 ] <= 0 e163: 1.77632 x2 + 2.43421 x11 + 5.19737 x19 + 4.67105 x22 - 0.723684 x24 - 0.723684 x27 - 0.723684 x29 + [ x24 * x106 + x27 * x107 + x29 * x108 ] >= 0 e164: - 7.5 x2 - 6.84211 x11 - 4.07895 x19 - 4.60526 x22 - 10 x24 - 10 x27 - 10 x29 + [ x24 * x106 + x27 * x107 + x29 * x108 ] <= 0 e165: 3.35526 x5 + 3.09211 x7 - 0.723684 x23 - 0.723684 x28 - 0.723684 x30 + [ x23 * x105 + x28 * x107 + x30 * x108 ] >= 0 e166: - 1.90789 x5 - 2.17105 x7 - 5.98684 x23 - 5.98684 x28 - 5.98684 x30 + [ x23 * x105 + x28 * x107 + x30 * x108 ] <= 0 e167: - 1.49254 x23 - 1.9403 x32 - 0.447761 x33 - 5.89552 x35 - 3.50746 x39 - 3.65672 x43 - 0.447761 x47 - 1.49254 x207 + [ x23 * x110 + x110 * x207 ] = 0 e168: - 1.49254 x24 - 1.56716 x37 - 3.50746 x40 - 3.65672 x44 - 0.447761 x48 - 5.29851 x52 + [ x24 * x111 ] = 0 e169: - 5 x41 - 5.14925 x45 + [ x25 * x112 + x26 * x112 + x27 * x112 + x28 * x112 ] = 0 e170: - 1.49254 x29 - 1.49254 x30 - 0.447761 x34 - 5.89552 x36 - 1.56716 x38 - 3.50746 x42 - 3.65672 x46 - 2.16418 x50 - 5.29851 x53 - 1.49254 x208 - 1.49254 x209 + [ x29 * x113 + x30 * x113 + x113 * x208 + x113 * x209 ] = 0 e171: - 4.55224 x31 + 2.61194 x49 + 0.895522 x51 - 2.23881 x54 + [ x31 * x114 ] = 0 e172: 1.9403 x3 + 0.447761 x6 + 5.89552 x8 + 1.56716 x10 + 3.50746 x12 + 3.65672 x14 + 0.447761 x16 + 2.16418 x18 + 5.29851 x20 - 1.49254 x25 - 1.49254 x208 + [ x25 * x112 + x113 * x208 ] >= 0 e173: - 3.20896 x3 - 4.70149 x6 + 0.746269 x8 - 3.58209 x10 - 1.64179 x12 - 1.49254 x14 - 4.70149 x16 - 2.98507 x18 + 0.149254 x20 - 6.64179 x25 - 5.14925 x205 - 6.64179 x208 + [ x25 * x112 + x113 * x208 ] <= 0 e174: 1.9403 x4 + 5.89552 x9 + 3.50746 x13 + 3.65672 x15 + 0.447761 x17 + 5.29851 x21 - 1.49254 x26 - 1.49254 x31 - 1.49254 x207 - 1.49254 x209 + [ x26 * x112 + x31 * x114 + x110 * x207 + x113 * x209 ] >= 0 e175: - 6.56716 x4 - 2.61194 x9 - 5 x13 - 4.85075 x15 - 8.0597 x17 - 3.20896 x21 - 10 x26 - 10 x31 - 8.50746 x206 - 10 x207 - 10 x209 + [ x26 * x112 + x31 * x114 + x110 * x207 + x113 * x209 ] <= 0 e176: 1.56716 x11 + 2.16418 x19 + 5.29851 x22 - 1.49254 x24 - 1.49254 x27 - 1.49254 x29 + [ x24 * x111 + x27 * x112 + x29 * x113 ] >= 0 e177: - 3.95522 x2 - 2.38806 x11 - 1.79104 x19 + 1.34328 x22 - 5.44776 x24 - 5.44776 x27 - 5.44776 x29 + [ x24 * x111 + x27 * x112 + x29 * x113 ] <= 0 e178: 1.9403 x5 + 0.447761 x7 - 1.49254 x23 - 1.49254 x28 - 1.49254 x30 + [ x23 * x110 + x28 * x112 + x30 * x113 ] >= 0 e179: - 3.43284 x5 - 4.92537 x7 - 6.86567 x23 - 6.86567 x28 - 6.86567 x30 + [ x23 * x110 + x28 * x112 + x30 * x113 ] <= 0 e180: - 1.20603 x23 - 1.05528 x32 + 0.0502513 x33 - 1.8593 x35 - 2.61307 x39 + 0.653266 x43 - 3.26633 x47 - 1.20603 x207 + [ x23 * x115 + x115 * x207 ] = 0 e181: - 1.20603 x24 - 0.603015 x37 - 2.61307 x40 + 0.653266 x44 - 3.26633 x48 + 0.351759 x52 + [ x24 * x116 ] = 0 e182: - 3.8191 x41 - 0.552764 x45 + [ x25 * x117 + x26 * x117 + x27 * x117 + x28 * x117 ] = 0 e183: - 1.20603 x29 - 1.20603 x30 + 0.0502513 x34 - 1.8593 x36 - 0.603015 x38 - 2.61307 x42 + 0.653266 x46 - 0.653266 x50 + 0.351759 x53 - 1.20603 x208 - 1.20603 x209 + [ x29 * x118 + x30 * x118 + x118 * x208 + x118 * x209 ] = 0 e184: - 3.01508 x31 - 1.45729 x49 + 1.15578 x51 + 2.1608 x54 + [ x31 * x119 ] = 0 e185: 1.70854 x3 + 0.603015 x6 + 2.51256 x8 + 1.25628 x10 + 3.26633 x12 + 3.9196 x16 + 1.30653 x18 + 0.301508 x20 - 0.552764 x25 + 0.653266 x205 - 0.552764 x208 + [ x25 * x117 + x118 * x208 ] >= 0 e186: - 7.13568 x3 - 8.24121 x6 - 6.33166 x8 - 7.58794 x10 - 5.57789 x12 - 8.84422 x14 - 4.92462 x16 - 7.53769 x18 - 8.54271 x20 - 9.39698 x25 - 8.19095 x205 - 9.39698 x208 + [ x25 * x117 + x118 * x208 ] <= 0 e187: 1.70854 x4 + 2.51256 x9 + 3.26633 x13 + 3.9196 x17 + 0.301508 x21 - 0.552764 x26 - 0.552764 x31 + 0.653266 x206 - 0.552764 x207 - 0.552764 x209 + [ x26 * x117 + x31 * x119 + x115 * x207 + x118 * x209 ] >= 0 e188: - 7.73869 x4 - 6.93467 x9 - 6.1809 x13 - 9.44724 x15 - 5.52764 x17 - 9.14573 x21 - 10 x26 - 10 x31 - 8.79397 x206 - 10 x207 - 10 x209 + [ x26 * x117 + x31 * x119 + x115 * x207 + x118 * x209 ] <= 0 e189: 0.653266 x2 + 1.25628 x11 + 1.30653 x19 + 0.301508 x22 - 0.552764 x24 - 0.552764 x27 - 0.552764 x29 + [ x24 * x116 + x27 * x117 + x29 * x118 ] >= 0 e190: - 1.70854 x2 - 1.10553 x11 - 1.05528 x19 - 2.0603 x22 - 2.91457 x24 - 2.91457 x27 - 2.91457 x29 + [ x24 * x116 + x27 * x117 + x29 * x118 ] <= 0 e191: 1.70854 x5 + 0.603015 x7 - 0.552764 x23 - 0.552764 x28 - 0.552764 x30 + [ x23 * x115 + x28 * x117 + x30 * x118 ] >= 0 e192: - 3.76884 x5 - 4.87437 x7 - 6.03015 x23 - 6.03015 x28 - 6.03015 x30 + [ x23 * x115 + x28 * x117 + x30 * x118 ] <= 0 e193: - 4.80198 x23 + 3.56436 x32 + 1.9802 x33 + 3.51485 x35 + 3.36634 x39 + 2.82178 x43 + 0.544554 x47 - 4.80198 x207 + [ x23 * x120 + x120 * x207 ] = 0 e194: - 4.80198 x24 + 1.83168 x37 + 3.36634 x40 + 2.82178 x44 + 0.544554 x48 + 1.58416 x52 + [ x24 * x121 ] = 0 e195: - 1.43564 x41 - 1.9802 x45 + [ x25 * x122 + x26 * x122 + x27 * x122 + x28 * x122 ] = 0 e196: - 4.80198 x29 - 4.80198 x30 + 1.9802 x34 + 3.51485 x36 + 1.83168 x38 + 3.36634 x42 + 2.82178 x46 + 1.18812 x50 + 1.58416 x53 - 4.80198 x208 - 4.80198 x209 + [ x29 * x123 + x30 * x123 + x123 * x208 + x123 * x209 ] = 0 e197: - 7.77228 x31 + 3.51485 x49 + 4.15842 x51 + 4.55446 x54 + [ x31 * x124 ] = 0 e198: 1.58416 x6 + 0.049505 x8 + 1.73267 x10 + 0.19802 x12 + 0.742574 x14 + 3.0198 x16 + 2.37624 x18 + 1.9802 x20 - 1.23762 x25 + 3.56436 x205 - 1.23762 x208 + [ x25 * x122 + x123 * x208 ] >= 0 e199: - 8.76238 x3 - 7.17822 x6 - 8.71287 x8 - 7.0297 x10 - 8.56436 x12 - 8.0198 x14 - 5.74257 x16 - 6.38614 x18 - 6.78218 x20 - 10 x25 - 5.19802 x205 - 10 x208 + [ x25 * x122 + x123 * x208 ] <= 0 e200: 0.049505 x9 + 0.19802 x13 + 0.742574 x15 + 3.0198 x17 + 1.9802 x21 - 1.23762 x26 - 1.23762 x31 + 3.56436 x206 - 1.23762 x207 - 1.23762 x209 + [ x26 * x122 + x31 * x124 + x120 * x207 + x123 * x209 ] >= 0 e201: - 1.53465 x4 - 1.48515 x9 - 1.33663 x13 - 0.792079 x15 + 1.48515 x17 + 0.445545 x21 - 2.77228 x26 - 2.77228 x31 + 2.0297 x206 - 2.77228 x207 - 2.77228 x209 + [ x26 * x122 + x31 * x124 + x120 * x207 + x123 * x209 ] <= 0 e202: 3.51485 x2 + 1.68317 x11 + 2.32673 x19 + 1.93069 x22 - 1.28713 x24 - 1.28713 x27 - 1.28713 x29 + [ x24 * x121 + x27 * x122 + x29 * x123 ] >= 0 e203: 1.13861 x2 - 0.693069 x11 - 0.049505 x19 - 0.445545 x22 - 3.66337 x24 - 3.66337 x27 - 3.66337 x29 + [ x24 * x121 + x27 * x122 + x29 * x123 ] <= 0 e204: 1.58416 x7 - 1.23762 x23 - 1.23762 x28 - 1.23762 x30 + [ x23 * x120 + x28 * x122 + x30 * x123 ] >= 0 e205: - 6.93069 x5 - 5.34653 x7 - 8.16832 x23 - 8.16832 x28 - 8.16832 x30 + [ x23 * x120 + x28 * x122 + x30 * x123 ] <= 0 e206: - 2.72727 x23 - 0.76555 x32 - 1.33971 x33 + 2.63158 x35 + 0.191388 x39 + 2.39234 x43 + 0.62201 x47 - 2.72727 x207 + [ x23 * x125 + x125 * x207 ] = 0 e207: - 2.72727 x24 - 1.24402 x37 + 0.191388 x40 + 2.39234 x44 + 0.62201 x48 - 0.191388 x52 + [ x24 * x126 ] = 0 e208: - 2.53589 x41 - 0.334928 x45 + [ x25 * x127 + x26 * x127 + x27 * x127 + x28 * x127 ] = 0 e209: - 2.72727 x29 - 2.72727 x30 - 1.33971 x34 + 2.63158 x36 - 1.24402 x38 + 0.191388 x42 + 2.39234 x46 + 1.62679 x50 - 0.191388 x53 - 2.72727 x208 - 2.72727 x209 + [ x29 * x128 + x30 * x128 + x128 * x208 + x128 * x209 ] = 0 e210: - 6.69856 x31 + 4.5933 x49 + 5.59809 x51 + 3.7799 x54 + [ x31 * x129 ] = 0 e211: 3.39713 x3 + 3.97129 x6 + 3.8756 x10 + 2.44019 x12 + 0.239234 x14 + 2.00957 x16 + 1.00478 x18 + 2.82297 x20 - 0.0956938 x25 + 2.63158 x205 - 0.0956938 x208 + [ x25 * x127 + x128 * x208 ] >= 0 e212: - 6.50718 x3 - 5.93301 x6 - 9.90431 x8 - 6.02871 x10 - 7.46411 x12 - 9.66507 x14 - 7.89474 x16 - 8.89952 x18 - 7.08134 x20 - 10 x25 - 7.27273 x205 - 10 x208 + [ x25 * x127 + x128 * x208 ] <= 0 e213: 3.39713 x4 + 2.44019 x13 + 0.239234 x15 + 2.00957 x17 + 2.82297 x21 - 0.0956938 x26 - 0.0956938 x31 + 2.63158 x206 - 0.0956938 x207 - 0.0956938 x209 + [ x26 * x127 + x31 * x129 + x125 * x207 + x128 * x209 ] >= 0 e214: - 4.64115 x4 - 8.03828 x9 - 5.59809 x13 - 7.79904 x15 - 6.02871 x17 - 5.21531 x21 - 8.13397 x26 - 8.13397 x31 - 5.4067 x206 - 8.13397 x207 - 8.13397 x209 + [ x26 * x127 + x31 * x129 + x125 * x207 + x128 * x209 ] <= 0 e215: 2.63158 x2 + 3.8756 x11 + 1.00478 x19 + 2.82297 x22 - 0.0956938 x24 - 0.0956938 x27 - 0.0956938 x29 + [ x24 * x126 + x27 * x127 + x29 * x128 ] >= 0 e216: - 1.5311 x2 - 0.287081 x11 - 3.15789 x19 - 1.33971 x22 - 4.25837 x24 - 4.25837 x27 - 4.25837 x29 + [ x24 * x126 + x27 * x127 + x29 * x128 ] <= 0 e217: 3.39713 x5 + 3.97129 x7 - 0.0956938 x23 - 0.0956938 x28 - 0.0956938 x30 + [ x23 * x125 + x28 * x127 + x30 * x128 ] >= 0 e218: - 4.689 x5 - 4.11483 x7 - 8.18182 x23 - 8.18182 x28 - 8.18182 x30 + [ x23 * x125 + x28 * x127 + x30 * x128 ] <= 0 e219: - 0.357143 x23 - 5.05952 x32 - 0.654762 x33 - 3.45238 x35 - 4.16667 x39 - 1.0119 x43 + 0.0595238 x47 - 0.357143 x207 + [ x23 * x130 + x130 * x207 ] = 0 e220: - 0.357143 x24 - 3.92857 x37 - 4.16667 x40 - 1.0119 x44 + 0.0595238 x48 - 0.297619 x52 + [ x24 * x131 ] = 0 e221: - 4.52381 x41 - 1.36905 x45 + [ x25 * x132 + x26 * x132 + x27 * x132 + x28 * x132 ] = 0 e222: - 0.357143 x29 - 0.357143 x30 - 0.654762 x34 - 3.45238 x36 - 3.92857 x38 - 4.16667 x42 - 1.0119 x46 - 3.33333 x50 - 0.297619 x53 - 0.357143 x208 - 0.357143 x209 + [ x29 * x133 + x30 * x133 + x133 * x208 + x133 * x209 ] = 0 e223: - 4.64286 x31 + 4.34524 x49 + 0.952381 x51 + 3.9881 x54 + [ x31 * x134 ] = 0 e224: 5.11905 x3 + 0.714286 x6 + 3.5119 x8 + 3.9881 x10 + 4.22619 x12 + 1.07143 x14 + 3.39286 x18 + 0.357143 x20 - 0.297619 x25 + 0.0595238 x205 - 0.297619 x208 + [ x25 * x132 + x133 * x208 ] >= 0 e225: 1.96429 x3 - 2.44048 x6 + 0.357143 x8 + 0.833333 x10 + 1.07143 x12 - 2.08333 x14 - 3.15476 x16 + 0.238095 x18 - 2.79762 x20 - 3.45238 x25 - 3.09524 x205 - 3.45238 x208 + [ x25 * x132 + x133 * x208 ] <= 0 e226: 5.11905 x4 + 3.5119 x9 + 4.22619 x13 + 1.07143 x15 + 0.357143 x21 - 0.297619 x26 - 0.297619 x31 + 0.0595238 x206 - 0.297619 x207 - 0.297619 x209 + [ x26 * x132 + x31 * x134 + x130 * x207 + x133 * x209 ] >= 0 e227: 0.654762 x4 - 0.952381 x9 - 0.238095 x13 - 3.39286 x15 - 4.46429 x17 - 4.10714 x21 - 4.7619 x26 - 4.7619 x31 - 4.40476 x206 - 4.7619 x207 - 4.7619 x209 + [ x26 * x132 + x31 * x134 + x130 * x207 + x133 * x209 ] <= 0 e228: 0.0595238 x2 + 3.9881 x11 + 3.39286 x19 + 0.357143 x22 - 0.297619 x24 - 0.297619 x27 - 0.297619 x29 + [ x24 * x131 + x27 * x132 + x29 * x133 ] >= 0 e229: - 4.16667 x2 - 0.238095 x11 - 0.833333 x19 - 3.86905 x22 - 4.52381 x24 - 4.52381 x27 - 4.52381 x29 + [ x24 * x131 + x27 * x132 + x29 * x133 ] <= 0 e230: 5.11905 x5 + 0.714286 x7 - 0.297619 x23 - 0.297619 x28 - 0.297619 x30 + [ x23 * x130 + x28 * x132 + x30 * x133 ] >= 0 e231: - 4.58333 x5 - 8.9881 x7 - 10 x23 - 10 x28 - 10 x30 + [ x23 * x130 + x28 * x132 + x30 * x133 ] <= 0 e232: - 4.0566 x23 + 0.330189 x32 + 2.5 x33 + 1.98113 x35 + 1.36792 x39 + 2.26415 x43 + 1.22642 x47 - 4.0566 x207 + [ x23 * x135 + x135 * x207 ] = 0 e233: - 4.0566 x24 + 0.707547 x37 + 1.36792 x40 + 2.26415 x44 + 1.22642 x48 + 1.27358 x52 + [ x24 * x136 ] = 0 e234: - 2.68868 x41 - 1.79245 x45 + [ x25 * x137 + x26 * x137 + x27 * x137 + x28 * x137 ] = 0 e235: - 4.0566 x29 - 4.0566 x30 + 2.5 x34 + 1.98113 x36 + 0.707547 x38 + 1.36792 x42 + 2.26415 x46 + 1.88679 x50 + 1.27358 x53 - 4.0566 x208 - 4.0566 x209 + [ x29 * x138 + x30 * x138 + x138 * x208 + x138 * x209 ] = 0 e236: - 7.40566 x31 + 4.57547 x49 + 5.23585 x51 + 4.62264 x54 + [ x31 * x139 ] = 0 e237: 2.16981 x3 + 0.518868 x8 + 1.79245 x10 + 1.13208 x12 + 0.235849 x14 + 1.27358 x16 + 0.613208 x18 + 1.22642 x20 - 1.5566 x25 + 2.5 x205 - 1.5566 x208 + [ x25 * x137 + x138 * x208 ] >= 0 e238: - 6.27358 x3 - 8.4434 x6 - 7.92453 x8 - 6.65094 x10 - 7.31132 x12 - 8.20755 x14 - 7.16981 x16 - 7.83019 x18 - 7.21698 x20 - 10 x25 - 5.9434 x205 - 10 x208 + [ x25 * x137 + x138 * x208 ] <= 0 e239: 2.16981 x4 + 0.518868 x9 + 1.13208 x13 + 0.235849 x15 + 1.27358 x17 + 1.22642 x21 - 1.5566 x26 - 1.5566 x31 + 2.5 x206 - 1.5566 x207 - 1.5566 x209 + [ x26 * x137 + x31 * x139 + x135 * x207 + x138 * x209 ] >= 0 e240: - 2.35849 x4 - 4.00943 x9 - 3.39623 x13 - 4.29245 x15 - 3.25472 x17 - 3.30189 x21 - 6.08491 x26 - 6.08491 x31 - 2.0283 x206 - 6.08491 x207 - 6.08491 x209 + [ x26 * x137 + x31 * x139 + x135 * x207 + x138 * x209 ] <= 0 e241: 2.5 x2 + 1.79245 x11 + 0.613208 x19 + 1.22642 x22 - 1.5566 x24 - 1.5566 x27 - 1.5566 x29 + [ x24 * x136 + x27 * x137 + x29 * x138 ] >= 0 e242: 1.17925 x2 + 0.471698 x11 - 0.707547 x19 - 0.0943396 x22 - 2.87736 x24 - 2.87736 x27 - 2.87736 x29 + [ x24 * x136 + x27 * x137 + x29 * x138 ] <= 0 e243: 2.16981 x5 - 1.5566 x23 - 1.5566 x28 - 1.5566 x30 + [ x23 * x135 + x28 * x137 + x30 * x138 ] >= 0 e244: - 2.12264 x5 - 4.29245 x7 - 5.84906 x23 - 5.84906 x28 - 5.84906 x30 + [ x23 * x135 + x28 * x137 + x30 * x138 ] <= 0 e245: - 3.27103 x23 + 2.33645 x32 - 0.981308 x33 + 3.08411 x35 + 1.21495 x39 + 3.03738 x43 + 1.21495 x47 - 3.27103 x207 + [ x23 * x140 + x140 * x207 ] = 0 e246: - 3.27103 x24 - 0.560748 x37 + 1.21495 x40 + 3.03738 x44 + 1.21495 x48 + 3.2243 x52 + [ x24 * x141 ] = 0 e247: - 2.05607 x41 - 0.233645 x45 + [ x25 * x142 + x26 * x142 + x27 * x142 + x28 * x142 ] = 0 e248: - 3.27103 x29 - 3.27103 x30 - 0.981308 x34 + 3.08411 x36 - 0.560748 x38 + 1.21495 x42 + 3.03738 x46 + 2.61682 x50 + 3.2243 x53 - 3.27103 x208 - 3.27103 x209 + [ x29 * x143 + x30 * x143 + x143 * x208 + x143 * x209 ] = 0 e249: - 7.1028 x31 + 5.04673 x49 + 6.4486 x51 + 7.05607 x54 + [ x31 * x144 ] = 0 e250: 0.88785 x3 + 4.20561 x6 + 0.140187 x8 + 3.78505 x10 + 2.00935 x12 + 0.186916 x14 + 2.00935 x16 + 0.607477 x18 - 0.046729 x25 + 3.2243 x205 - 0.046729 x208 + [ x25 * x142 + x143 * x208 ] >= 0 e251: - 8.92523 x3 - 5.60748 x6 - 9.6729 x8 - 6.02804 x10 - 7.80374 x12 - 9.62617 x14 - 7.80374 x16 - 9.20561 x18 - 9.81308 x20 - 9.85981 x25 - 6.58879 x205 - 9.85981 x208 + [ x25 * x142 + x143 * x208 ] <= 0 e252: 0.88785 x4 + 0.140187 x9 + 2.00935 x13 + 0.186916 x15 + 2.00935 x17 - 0.046729 x26 - 0.046729 x31 + 3.2243 x206 - 0.046729 x207 - 0.046729 x209 + [ x26 * x142 + x31 * x144 + x140 * x207 + x143 * x209 ] >= 0 e253: - 4.43925 x4 - 5.18692 x9 - 3.31776 x13 - 5.14019 x15 - 3.31776 x17 - 5.3271 x21 - 5.37383 x26 - 5.37383 x31 - 2.1028 x206 - 5.37383 x207 - 5.37383 x209 + [ x26 * x142 + x31 * x144 + x140 * x207 + x143 * x209 ] <= 0 e254: 3.2243 x2 + 3.78505 x11 + 0.607477 x19 - 0.046729 x24 - 0.046729 x27 - 0.046729 x29 + [ x24 * x141 + x27 * x142 + x29 * x143 ] >= 0 e255: - 2.99065 x2 - 2.42991 x11 - 5.60748 x19 - 6.21495 x22 - 6.26168 x24 - 6.26168 x27 - 6.26168 x29 + [ x24 * x141 + x27 * x142 + x29 * x143 ] <= 0 e256: 0.88785 x5 + 4.20561 x7 - 0.046729 x23 - 0.046729 x28 - 0.046729 x30 + [ x23 * x140 + x28 * x142 + x30 * x143 ] >= 0 e257: - 9.06542 x5 - 5.74766 x7 - 10 x23 - 10 x28 - 10 x30 + [ x23 * x140 + x28 * x142 + x30 * x143 ] <= 0 e258: - 1.04803 x23 - 2.35808 x32 - 1.39738 x33 + 0.69869 x35 + 0.611354 x39 - 0.917031 x43 - 2.18341 x47 - 1.04803 x207 + [ x23 * x145 + x145 * x207 ] = 0 e259: - 1.04803 x24 + 0.131004 x37 + 0.611354 x40 - 0.917031 x44 - 2.18341 x48 - 2.35808 x52 + [ x24 * x146 ] = 0 e260: - 0.436681 x41 - 1.96507 x45 + [ x25 * x147 + x26 * x147 + x27 * x147 + x28 * x147 ] = 0 e261: - 1.04803 x29 - 1.04803 x30 - 1.39738 x34 + 0.69869 x36 + 0.131004 x38 + 0.611354 x42 - 0.917031 x46 - 1.9214 x50 - 2.35808 x53 - 1.04803 x208 - 1.04803 x209 + [ x29 * x148 + x30 * x148 + x148 * x208 + x148 * x209 ] = 0 e262: - 1.96507 x31 - 1.26638 x49 - 1.00437 x51 - 1.44105 x54 + [ x31 * x149 ] = 0 e263: 3.05677 x3 + 2.09607 x6 + 0.567686 x10 + 0.0873362 x12 + 1.61572 x14 + 2.8821 x16 + 2.62009 x18 + 3.05677 x20 - 0.349345 x25 + 0.69869 x205 - 0.349345 x208 + [ x25 * x147 + x148 * x208 ] >= 0 e264: - 3.49345 x3 - 4.45415 x6 - 6.55022 x8 - 5.98253 x10 - 6.46288 x12 - 4.9345 x14 - 3.66812 x16 - 3.93013 x18 - 3.49345 x20 - 6.89956 x25 - 5.85153 x205 - 6.89956 x208 + [ x25 * x147 + x148 * x208 ] <= 0 e265: 3.05677 x4 + 0.0873362 x13 + 1.61572 x15 + 2.8821 x17 + 3.05677 x21 - 0.349345 x26 - 0.349345 x31 + 0.69869 x206 - 0.349345 x207 - 0.349345 x209 + [ x26 * x147 + x31 * x149 + x145 * x207 + x148 * x209 ] >= 0 e266: - 0.0436681 x4 - 3.10044 x9 - 3.0131 x13 - 1.48472 x15 - 0.218341 x17 - 0.0436681 x21 - 3.44978 x26 - 3.44978 x31 - 2.40175 x206 - 3.44978 x207 - 3.44978 x209 + [ x26 * x147 + x31 * x149 + x145 * x207 + x148 * x209 ] <= 0 e267: 0.69869 x2 + 0.567686 x11 + 2.62009 x19 + 3.05677 x22 - 0.349345 x24 - 0.349345 x27 - 0.349345 x29 + [ x24 * x146 + x27 * x147 + x29 * x148 ] >= 0 e268: - 8.29694 x2 - 8.42795 x11 - 6.37555 x19 - 5.93886 x22 - 9.34498 x24 - 9.34498 x27 - 9.34498 x29 + [ x24 * x146 + x27 * x147 + x29 * x148 ] <= 0 e269: 3.05677 x5 + 2.09607 x7 - 0.349345 x23 - 0.349345 x28 - 0.349345 x30 + [ x23 * x145 + x28 * x147 + x30 * x148 ] >= 0 e270: - 6.59389 x5 - 7.55459 x7 - 10 x23 - 10 x28 - 10 x30 + [ x23 * x145 + x28 * x147 + x30 * x148 ] <= 0 e271: - 5.88235 x23 + 5.41176 x32 + 5.23529 x33 + 4.29412 x35 + 1.05882 x39 + 3.94118 x43 - 5.88235 x207 + [ x23 * x150 + x150 * x207 ] = 0 e272: - 5.88235 x24 + 2.64706 x37 + 1.05882 x40 + 3.94118 x44 + 2 x52 + [ x24 * x151 ] = 0 e273: - 4.82353 x41 - 1.94118 x45 + [ x25 * x152 + x26 * x152 + x27 * x152 + x28 * x152 ] = 0 e274: - 5.88235 x29 - 5.88235 x30 + 5.23529 x34 + 4.29412 x36 + 2.64706 x38 + 1.05882 x42 + 3.94118 x46 + 0.647059 x50 + 2 x53 - 5.88235 x208 - 5.88235 x209 + [ x29 * x153 + x30 * x153 + x153 * x208 + x153 * x209 ] = 0 e275: - 9.11765 x31 + 3.23529 x49 + 3.88235 x51 + 5.23529 x54 + [ x31 * x154 ] = 0 e276: 0.176471 x6 + 1.11765 x8 + 2.76471 x10 + 4.35294 x12 + 1.47059 x14 + 5.41176 x16 + 4.76471 x18 + 3.41176 x20 - 0.470588 x25 + 5.41176 x205 - 0.470588 x208 + [ x25 * x152 + x153 * x208 ] >= 0 e277: - 9.47059 x3 - 9.29412 x6 - 8.35294 x8 - 6.70588 x10 - 5.11765 x12 - 8 x14 - 4.05882 x16 - 4.70588 x18 - 6.05882 x20 - 9.94118 x25 - 4.05882 x205 - 9.94118 x208 + [ x25 * x152 + x153 * x208 ] <= 0 e278: 1.11765 x9 + 4.35294 x13 + 1.47059 x15 + 5.41176 x17 + 3.41176 x21 - 0.470588 x26 - 0.470588 x31 + 5.41176 x206 - 0.470588 x207 - 0.470588 x209 + [ x26 * x152 + x31 * x154 + x150 * x207 + x153 * x209 ] >= 0 e279: - 9.52941 x4 - 8.41176 x9 - 5.17647 x13 - 8.05882 x15 - 4.11765 x17 - 6.11765 x21 - 10 x26 - 10 x31 - 4.11765 x206 - 10 x207 - 10 x209 + [ x26 * x152 + x31 * x154 + x150 * x207 + x153 * x209 ] <= 0 e280: 5.23529 x2 + 2.58824 x11 + 4.58824 x19 + 3.23529 x22 - 0.647059 x24 - 0.647059 x27 - 0.647059 x29 + [ x24 * x151 + x27 * x152 + x29 * x153 ] >= 0 e281: 2.11765 x2 - 0.529412 x11 + 1.47059 x19 + 0.117647 x22 - 3.76471 x24 - 3.76471 x27 - 3.76471 x29 + [ x24 * x151 + x27 * x152 + x29 * x153 ] <= 0 e282: 0.176471 x7 - 0.470588 x23 - 0.470588 x28 - 0.470588 x30 + [ x23 * x150 + x28 * x152 + x30 * x153 ] >= 0 e283: - 4 x5 - 3.82353 x7 - 4.47059 x23 - 4.47059 x28 - 4.47059 x30 + [ x23 * x150 + x28 * x152 + x30 * x153 ] <= 0 e284: - 0.90535 x23 - 0.823045 x32 - 0.699588 x33 - 1.19342 x35 + 0.576132 x39 + 0.781893 x43 - 1.8107 x47 - 0.90535 x207 + [ x23 * x155 + x155 * x207 ] = 0 e285: - 0.90535 x24 - 2.92181 x37 + 0.576132 x40 + 0.781893 x44 - 1.8107 x48 - 0.617284 x52 + [ x24 * x156 ] = 0 e286: - 0.329218 x41 - 0.123457 x45 + [ x25 * x157 + x26 * x157 + x27 * x157 + x28 * x157 ] = 0 e287: - 0.90535 x29 - 0.90535 x30 - 0.699588 x34 - 1.19342 x36 - 2.92181 x38 + 0.576132 x42 + 0.781893 x46 - 0.37037 x50 - 0.617284 x53 - 0.90535 x208 - 0.90535 x209 + [ x29 * x158 + x30 * x158 + x158 * x208 + x158 * x209 ] = 0 e288: - 4.73251 x31 + 2.01646 x49 + 3.45679 x51 + 3.20988 x54 + [ x31 * x159 ] = 0 e289: 1.60494 x3 + 1.48148 x6 + 1.97531 x8 + 3.7037 x10 + 0.205761 x12 + 2.59259 x16 + 1.15226 x18 + 1.39918 x20 - 0.123457 x25 + 0.781893 x205 - 0.123457 x208 + [ x25 * x157 + x158 * x208 ] >= 0 e290: - 7.28395 x3 - 7.40741 x6 - 6.91358 x8 - 5.18519 x10 - 8.68313 x12 - 8.88889 x14 - 6.2963 x16 - 7.73663 x18 - 7.48971 x20 - 9.01235 x25 - 8.107 x205 - 9.01235 x208 + [ x25 * x157 + x158 * x208 ] <= 0 e291: 1.60494 x4 + 1.97531 x9 + 0.205761 x13 + 2.59259 x17 + 1.39918 x21 - 0.123457 x26 - 0.123457 x31 + 0.781893 x206 - 0.123457 x207 - 0.123457 x209 + [ x26 * x157 + x31 * x159 + x155 * x207 + x158 * x209 ] >= 0 e292: - 0.987654 x4 - 0.617284 x9 - 2.38683 x13 - 2.59259 x15 - 1.19342 x21 - 2.71605 x26 - 2.71605 x31 - 1.8107 x206 - 2.71605 x207 - 2.71605 x209 + [ x26 * x157 + x31 * x159 + x155 * x207 + x158 * x209 ] <= 0 e293: 0.781893 x2 + 3.7037 x11 + 1.15226 x19 + 1.39918 x22 - 0.123457 x24 - 0.123457 x27 - 0.123457 x29 + [ x24 * x156 + x27 * x157 + x29 * x158 ] >= 0 e294: - 9.09465 x2 - 6.17284 x11 - 8.72428 x19 - 8.47737 x22 - 10 x24 - 10 x27 - 10 x29 + [ x24 * x156 + x27 * x157 + x29 * x158 ] <= 0 e295: 1.60494 x5 + 1.48148 x7 - 0.123457 x23 - 0.123457 x28 - 0.123457 x30 + [ x23 * x155 + x28 * x157 + x30 * x158 ] >= 0 e296: - 1.8107 x5 - 1.93416 x7 - 3.53909 x23 - 3.53909 x28 - 3.53909 x30 + [ x23 * x155 + x28 * x157 + x30 * x158 ] <= 0 e297: - 0.350877 x23 + 0.0877193 x32 - 7.98246 x33 - 2.98246 x35 - 7.45614 x39 - 1.75439 x43 - 7.36842 x47 - 0.350877 x207 + [ x23 * x160 + x160 * x207 ] = 0 e298: - 0.350877 x24 - 3.24561 x37 - 7.45614 x40 - 1.75439 x44 - 7.36842 x48 - 5.70175 x52 + [ x24 * x161 ] = 0 e299: - 7.80702 x41 - 2.10526 x45 + [ x25 * x162 + x26 * x162 + x27 * x162 + x28 * x162 ] = 0 e300: - 0.350877 x29 - 0.350877 x30 - 7.98246 x34 - 2.98246 x36 - 3.24561 x38 - 7.45614 x42 - 1.75439 x46 - 7.7193 x50 - 5.70175 x53 - 0.350877 x208 - 0.350877 x209 + [ x29 * x163 + x30 * x163 + x163 * x208 + x163 * x209 ] = 0 e301: - 3.94737 x31 - 3.77193 x49 - 4.12281 x51 - 2.10526 x54 + [ x31 * x164 ] = 0 e302: 8.07018 x6 + 3.07018 x8 + 3.33333 x10 + 7.54386 x12 + 1.84211 x14 + 7.45614 x16 + 7.80702 x18 + 5.78947 x20 - 0.263158 x25 + 0.0877193 x205 - 0.263158 x208 + [ x25 * x162 + x163 * x208 ] >= 0 e303: - 4.73684 x3 + 3.33333 x6 - 1.66667 x8 - 1.40351 x10 + 2.80702 x12 - 2.89474 x14 + 2.7193 x16 + 3.07018 x18 + 1.05263 x20 - 5 x25 - 4.64912 x205 - 5 x208 + [ x25 * x162 + x163 * x208 ] <= 0 e304: 3.07018 x9 + 7.54386 x13 + 1.84211 x15 + 7.45614 x17 + 5.78947 x21 - 0.263158 x26 - 0.263158 x31 + 0.0877193 x206 - 0.263158 x207 - 0.263158 x209 + [ x26 * x162 + x31 * x164 + x160 * x207 + x163 * x209 ] >= 0 e305: - 9.73684 x4 - 6.66667 x9 - 2.19298 x13 - 7.89474 x15 - 2.2807 x17 - 3.94737 x21 - 10 x26 - 10 x31 - 9.64912 x206 - 10 x207 - 10 x209 + [ x26 * x162 + x31 * x164 + x160 * x207 + x163 * x209 ] <= 0 e306: 3.24561 x11 + 7.7193 x19 + 5.70175 x22 - 0.350877 x24 - 0.350877 x27 - 0.350877 x29 + [ x24 * x161 + x27 * x162 + x29 * x163 ] >= 0 e307: - 6.49123 x2 - 3.24561 x11 + 1.22807 x19 - 0.789474 x22 - 6.84211 x24 - 6.84211 x27 - 6.84211 x29 + [ x24 * x161 + x27 * x162 + x29 * x163 ] <= 0 e308: 8.07018 x7 - 0.263158 x23 - 0.263158 x28 - 0.263158 x30 + [ x23 * x160 + x28 * x162 + x30 * x163 ] >= 0 e309: - 6.49123 x5 + 1.57895 x7 - 6.75439 x23 - 6.75439 x28 - 6.75439 x30 + [ x23 * x160 + x28 * x162 + x30 * x163 ] <= 0 e310: - 1.52542 x23 - 2.0339 x32 - 2.41525 x33 - 2.62712 x35 - 2.71186 x39 - 1.22881 x43 - 1.48305 x47 - 1.52542 x207 + [ x23 * x165 + x165 * x207 ] = 0 e311: - 1.52542 x24 - 0.0423729 x37 - 2.71186 x40 - 1.22881 x44 - 1.48305 x48 + 1.01695 x52 + [ x24 * x166 ] = 0 e312: - 4.23729 x41 - 2.75424 x45 + [ x25 * x167 + x26 * x167 + x27 * x167 + x28 * x167 ] = 0 e313: - 1.52542 x29 - 1.52542 x30 - 2.41525 x34 - 2.62712 x36 - 0.0423729 x38 - 2.71186 x42 - 1.22881 x46 - 1.44068 x50 + 1.01695 x53 - 1.52542 x208 - 1.52542 x209 + [ x29 * x168 + x30 * x168 + x168 * x208 + x168 * x209 ] = 0 e314: - 3.09322 x31 + 0.0847458 x49 + 0.127119 x51 + 2.58475 x54 + [ x31 * x169 ] = 0 e315: 3.05085 x3 + 3.4322 x6 + 3.64407 x8 + 1.05932 x10 + 3.72881 x12 + 2.24576 x14 + 2.5 x16 + 2.45763 x18 - 0.508475 x25 + 1.01695 x205 - 0.508475 x208 + [ x25 * x167 + x168 * x208 ] >= 0 e316: - 0.0423729 x3 + 0.338983 x6 + 0.550847 x8 - 2.0339 x10 + 0.635593 x12 - 0.847458 x14 - 0.59322 x16 - 0.635593 x18 - 3.09322 x20 - 3.60169 x25 - 2.07627 x205 - 3.60169 x208 + [ x25 * x167 + x168 * x208 ] <= 0 e317: 3.05085 x4 + 3.64407 x9 + 3.72881 x13 + 2.24576 x15 + 2.5 x17 - 0.508475 x26 - 0.508475 x31 + 1.01695 x206 - 0.508475 x207 - 0.508475 x209 + [ x26 * x167 + x31 * x169 + x165 * x207 + x168 * x209 ] >= 0 e318: - 3.94068 x4 - 3.34746 x9 - 3.26271 x13 - 4.74576 x15 - 4.49153 x17 - 6.99153 x21 - 7.5 x26 - 7.5 x31 - 5.97458 x206 - 7.5 x207 - 7.5 x209 + [ x26 * x167 + x31 * x169 + x165 * x207 + x168 * x209 ] <= 0 e319: 1.01695 x2 + 1.05932 x11 + 2.45763 x19 - 0.508475 x24 - 0.508475 x27 - 0.508475 x29 + [ x24 * x166 + x27 * x167 + x29 * x168 ] >= 0 e320: - 8.47458 x2 - 8.4322 x11 - 7.0339 x19 - 9.49153 x22 - 10 x24 - 10 x27 - 10 x29 + [ x24 * x166 + x27 * x167 + x29 * x168 ] <= 0 e321: 3.05085 x5 + 3.4322 x7 - 0.508475 x23 - 0.508475 x28 - 0.508475 x30 + [ x23 * x165 + x28 * x167 + x30 * x168 ] >= 0 e322: - 2.9661 x5 - 2.58475 x7 - 6.52542 x23 - 6.52542 x28 - 6.52542 x30 + [ x23 * x165 + x28 * x167 + x30 * x168 ] <= 0 e323: - 2.54545 x23 + 0.272727 x32 + 1.81818 x33 + 1.90909 x35 + 2.31818 x39 + 0.909091 x43 - 1.27273 x47 - 2.54545 x207 + [ x23 * x170 + x170 * x207 ] = 0 e324: - 2.54545 x24 + 0.863636 x37 + 2.31818 x40 + 0.909091 x44 - 1.27273 x48 + [ x24 * x171 ] = 0 e325: - 0.227273 x41 - 1.63636 x45 + [ x25 * x172 + x26 * x172 + x27 * x172 + x28 * x172 ] = 0 e326: - 2.54545 x29 - 2.54545 x30 + 1.81818 x34 + 1.90909 x36 + 0.863636 x38 + 2.31818 x42 + 0.909091 x46 - 1.27273 x50 - 2.54545 x208 - 2.54545 x209 + [ x29 * x173 + x30 * x173 + x173 * x208 + x173 * x209 ] = 0 e327: - 4.22727 x31 + 0.409091 x49 + 0.409091 x51 + 1.68182 x54 + [ x31 * x174 ] = 0 e328: 2.04545 x3 + 0.5 x6 + 0.409091 x8 + 1.45455 x10 + 1.40909 x14 + 3.59091 x16 + 3.59091 x18 + 2.31818 x20 - 0.227273 x25 + 2.31818 x205 - 0.227273 x208 + [ x25 * x172 + x173 * x208 ] >= 0 e329: - 7.5 x3 - 9.04545 x6 - 9.13636 x8 - 8.09091 x10 - 9.54545 x12 - 8.13636 x14 - 5.95455 x16 - 5.95455 x18 - 7.22727 x20 - 9.77273 x25 - 7.22727 x205 - 9.77273 x208 + [ x25 * x172 + x173 * x208 ] <= 0 e330: 2.04545 x4 + 0.409091 x9 + 1.40909 x15 + 3.59091 x17 + 2.31818 x21 - 0.227273 x26 - 0.227273 x31 + 2.31818 x206 - 0.227273 x207 - 0.227273 x209 + [ x26 * x172 + x31 * x174 + x170 * x207 + x173 * x209 ] >= 0 e331: - 7.72727 x4 - 9.36364 x9 - 9.77273 x13 - 8.36364 x15 - 6.18182 x17 - 7.45455 x21 - 10 x26 - 10 x31 - 7.45455 x206 - 10 x207 - 10 x209 + [ x26 * x172 + x31 * x174 + x170 * x207 + x173 * x209 ] <= 0 e332: 2.31818 x2 + 1.45455 x11 + 3.59091 x19 + 2.31818 x22 - 0.227273 x24 - 0.227273 x27 - 0.227273 x29 + [ x24 * x171 + x27 * x172 + x29 * x173 ] >= 0 e333: - 5.45455 x2 - 6.31818 x11 - 4.18182 x19 - 5.45455 x22 - 8 x24 - 8 x27 - 8 x29 + [ x24 * x171 + x27 * x172 + x29 * x173 ] <= 0 e334: 2.04545 x5 + 0.5 x7 - 0.227273 x23 - 0.227273 x28 - 0.227273 x30 + [ x23 * x170 + x28 * x172 + x30 * x173 ] >= 0 e335: - 7.27273 x5 - 8.81818 x7 - 9.54545 x23 - 9.54545 x28 - 9.54545 x30 + [ x23 * x170 + x28 * x172 + x30 * x173 ] <= 0 e336: - 1.14754 x23 - 4.42623 x32 + 0.819672 x33 - 2.37705 x35 - 1.96721 x39 - 0.409836 x43 - 5 x47 - 1.14754 x207 + [ x23 * x175 + x175 * x207 ] = 0 e337: - 1.14754 x24 - 5.98361 x37 - 1.96721 x40 - 0.409836 x44 - 5 x48 - 4.5082 x52 + [ x24 * x176 ] = 0 e338: - 3.11475 x41 - 1.55738 x45 + [ x25 * x177 + x26 * x177 + x27 * x177 + x28 * x177 ] = 0 e339: - 1.14754 x29 - 1.14754 x30 + 0.819672 x34 - 2.37705 x36 - 5.98361 x38 - 1.96721 x42 - 0.409836 x46 - 4.67213 x50 - 4.5082 x53 - 1.14754 x208 - 1.14754 x209 + [ x29 * x178 + x30 * x178 + x178 * x208 + x178 * x209 ] = 0 e340: - 8.27869 x31 + 2.13115 x49 + 2.45902 x51 + 2.62295 x54 + [ x31 * x179 ] = 0 e341: 5.2459 x3 + 3.19672 x8 + 6.80328 x10 + 2.78689 x12 + 1.22951 x14 + 5.81967 x16 + 5.4918 x18 + 5.32787 x20 - 0.327869 x25 + 0.819672 x205 - 0.327869 x208 + [ x25 * x177 + x178 * x208 ] >= 0 e342: 1.22951 x3 - 4.01639 x6 - 0.819672 x8 + 2.78689 x10 - 1.22951 x12 - 2.78689 x14 + 1.80328 x16 + 1.47541 x18 + 1.31148 x20 - 4.34426 x25 - 3.19672 x205 - 4.34426 x208 + [ x25 * x177 + x178 * x208 ] <= 0 e343: 5.2459 x4 + 3.19672 x9 + 2.78689 x13 + 1.22951 x15 + 5.81967 x17 + 5.32787 x21 - 0.327869 x26 - 0.327869 x31 + 0.819672 x206 - 0.327869 x207 - 0.327869 x209 + [ x26 * x177 + x31 * x179 + x175 * x207 + x178 * x209 ] >= 0 e344: - 0.409836 x4 - 2.45902 x9 - 2.86885 x13 - 4.42623 x15 + 0.163934 x17 - 0.327869 x21 - 5.98361 x26 - 5.98361 x31 - 4.83607 x206 - 5.98361 x207 - 5.98361 x209 + [ x26 * x177 + x31 * x179 + x175 * x207 + x178 * x209 ] <= 0 e345: 0.819672 x2 + 6.80328 x11 + 5.4918 x19 + 5.32787 x22 - 0.327869 x24 - 0.327869 x27 - 0.327869 x29 + [ x24 * x176 + x27 * x177 + x29 * x178 ] >= 0 e346: - 7.29508 x2 - 1.31148 x11 - 2.62295 x19 - 2.78689 x22 - 8.44262 x24 - 8.44262 x27 - 8.44262 x29 + [ x24 * x176 + x27 * x177 + x29 * x178 ] <= 0 e347: 5.2459 x5 - 0.327869 x23 - 0.327869 x28 - 0.327869 x30 + [ x23 * x175 + x28 * x177 + x30 * x178 ] >= 0 e348: - 4.42623 x5 - 9.67213 x7 - 10 x23 - 10 x28 - 10 x30 + [ x23 * x175 + x28 * x177 + x30 * x178 ] <= 0 e349: - 2.58065 x23 - 1.45161 x32 + 2.41935 x33 + 1.08871 x35 + 2.05645 x39 + 1.89516 x43 + 1.57258 x47 - 2.58065 x207 + [ x23 * x180 + x180 * x207 ] = 0 e350: - 2.58065 x24 - 1.45161 x37 + 2.05645 x40 + 1.89516 x44 + 1.57258 x48 + 1.00806 x52 + [ x24 * x181 ] = 0 e351: - 0.524194 x41 - 0.685484 x45 + [ x25 * x182 + x26 * x182 + x27 * x182 + x28 * x182 ] = 0 e352: - 2.58065 x29 - 2.58065 x30 + 2.41935 x34 + 1.08871 x36 - 1.45161 x38 + 2.05645 x42 + 1.89516 x46 - 1.25 x50 + 1.00806 x53 - 2.58065 x208 - 2.58065 x209 + [ x29 * x183 + x30 * x183 + x183 * x208 + x183 * x209 ] = 0 e353: - 6.6129 x31 + 5.60484 x49 + 2.78226 x51 + 5.04032 x54 + [ x31 * x184 ] = 0 e354: 3.87097 x3 + 1.33065 x8 + 3.87097 x10 + 0.362903 x12 + 0.524194 x14 + 0.846774 x16 + 3.66935 x18 + 1.41129 x20 - 0.16129 x25 + 2.41935 x205 - 0.16129 x208 + [ x25 * x182 + x183 * x208 ] >= 0 e355: - 2.98387 x3 - 6.85484 x6 - 5.52419 x8 - 2.98387 x10 - 6.49194 x12 - 6.33065 x14 - 6.00806 x16 - 3.18548 x18 - 5.44355 x20 - 7.01613 x25 - 4.43548 x205 - 7.01613 x208 + [ x25 * x182 + x183 * x208 ] <= 0 e356: 3.87097 x4 + 1.33065 x9 + 0.362903 x13 + 0.524194 x15 + 0.846774 x17 + 1.41129 x21 - 0.16129 x26 - 0.16129 x31 + 2.41935 x206 - 0.16129 x207 - 0.16129 x209 + [ x26 * x182 + x31 * x184 + x180 * x207 + x183 * x209 ] >= 0 e357: - 4.43548 x4 - 6.97581 x9 - 7.94355 x13 - 7.78226 x15 - 7.45968 x17 - 6.89516 x21 - 8.46774 x26 - 8.46774 x31 - 5.8871 x206 - 8.46774 x207 - 8.46774 x209 + [ x26 * x182 + x31 * x184 + x180 * x207 + x183 * x209 ] <= 0 e358: 2.41935 x2 + 3.87097 x11 + 3.66935 x19 + 1.41129 x22 - 0.16129 x24 - 0.16129 x27 - 0.16129 x29 + [ x24 * x181 + x27 * x182 + x29 * x183 ] >= 0 e359: - 7.41935 x2 - 5.96774 x11 - 6.16935 x19 - 8.42742 x22 - 10 x24 - 10 x27 - 10 x29 + [ x24 * x181 + x27 * x182 + x29 * x183 ] <= 0 e360: 3.87097 x5 - 0.16129 x23 - 0.16129 x28 - 0.16129 x30 + [ x23 * x180 + x28 * x182 + x30 * x183 ] >= 0 e361: - 0.766129 x5 - 4.6371 x7 - 4.79839 x23 - 4.79839 x28 - 4.79839 x30 + [ x23 * x180 + x28 * x182 + x30 * x183 ] <= 0 e362: - 1.9708 x23 - 2.40876 x32 + 0.583942 x33 + 1.16788 x35 - 5.25547 x39 - 3.50365 x43 - 3.43066 x47 - 1.9708 x207 + [ x23 * x185 + x185 * x207 ] = 0 e363: - 1.9708 x24 - 0.145985 x37 - 5.25547 x40 - 3.50365 x44 - 3.43066 x48 - 2.55474 x52 + [ x24 * x186 ] = 0 e364: - 7.22628 x41 - 5.47445 x45 + [ x25 * x187 + x26 * x187 + x27 * x187 + x28 * x187 ] = 0 e365: - 1.9708 x29 - 1.9708 x30 + 0.583942 x34 + 1.16788 x36 - 0.145985 x38 - 5.25547 x42 - 3.50365 x46 - 4.9635 x50 - 2.55474 x53 - 1.9708 x208 - 1.9708 x209 + [ x29 * x188 + x30 * x188 + x188 * x208 + x188 * x209 ] = 0 e366: - 4.08759 x31 - 1.31387 x49 - 2.84672 x51 - 0.437956 x54 + [ x31 * x189 ] = 0 e367: 3.57664 x3 + 0.583942 x6 + 1.31387 x10 + 6.42336 x12 + 4.67153 x14 + 4.59854 x16 + 6.13139 x18 + 3.72263 x20 - 0.80292 x25 + 1.16788 x205 - 0.80292 x208 + [ x25 * x187 + x188 * x208 ] >= 0 e368: - 1.24088 x3 - 4.23358 x6 - 4.81752 x8 - 3.50365 x10 + 1.60584 x12 - 0.145985 x14 - 0.218978 x16 + 1.31387 x18 - 1.09489 x20 - 5.62044 x25 - 3.64964 x205 - 5.62044 x208 + [ x25 * x187 + x188 * x208 ] <= 0 e369: 3.57664 x4 + 6.42336 x13 + 4.67153 x15 + 4.59854 x17 + 3.72263 x21 - 0.80292 x26 - 0.80292 x31 + 1.16788 x206 - 0.80292 x207 - 0.80292 x209 + [ x26 * x187 + x31 * x189 + x185 * x207 + x188 * x209 ] >= 0 e370: - 2.18978 x4 - 5.76642 x9 + 0.656934 x13 - 1.09489 x15 - 1.16788 x17 - 2.0438 x21 - 6.56934 x26 - 6.56934 x31 - 4.59854 x206 - 6.56934 x207 - 6.56934 x209 + [ x26 * x187 + x31 * x189 + x185 * x207 + x188 * x209 ] <= 0 e371: 1.16788 x2 + 1.31387 x11 + 6.13139 x19 + 3.72263 x22 - 0.80292 x24 - 0.80292 x27 - 0.80292 x29 + [ x24 * x186 + x27 * x187 + x29 * x188 ] >= 0 e372: - 8.0292 x2 - 7.88321 x11 - 3.06569 x19 - 5.47445 x22 - 10 x24 - 10 x27 - 10 x29 + [ x24 * x186 + x27 * x187 + x29 * x188 ] <= 0 e373: 3.57664 x5 + 0.583942 x7 - 0.80292 x23 - 0.80292 x28 - 0.80292 x30 + [ x23 * x185 + x28 * x187 + x30 * x188 ] >= 0 e374: - 0.80292 x5 - 3.79562 x7 - 5.18248 x23 - 5.18248 x28 - 5.18248 x30 + [ x23 * x185 + x28 * x187 + x30 * x188 ] <= 0 e375: - 2.52688 x23 - 2.58065 x32 + 2.36559 x33 - 2.84946 x35 - 2.84946 x39 - 2.90323 x43 - 2.36559 x47 - 2.52688 x207 + [ x23 * x190 + x190 * x207 ] = 0 e376: - 2.52688 x24 - 2.41935 x37 - 2.84946 x40 - 2.90323 x44 - 2.36559 x48 + 0.537634 x52 + [ x24 * x191 ] = 0 e377: - 5.37634 x41 - 5.43011 x45 + [ x25 * x192 + x26 * x192 + x27 * x192 + x28 * x192 ] = 0 e378: - 2.52688 x29 - 2.52688 x30 + 2.36559 x34 - 2.84946 x36 - 2.41935 x38 - 2.84946 x42 - 2.90323 x46 + 0.268817 x50 + 0.537634 x53 - 2.52688 x208 - 2.52688 x209 + [ x29 * x193 + x30 * x193 + x193 * x208 + x193 * x209 ] = 0 e379: - 7.47312 x31 + 2.58065 x49 + 5.21505 x51 + 5.48387 x54 + [ x31 * x194 ] = 0 e380: 4.94624 x3 + 5.21505 x8 + 4.78495 x10 + 5.21505 x12 + 5.26882 x14 + 4.73118 x16 + 2.09677 x18 + 1.82796 x20 - 0.16129 x25 + 2.36559 x205 - 0.16129 x208 + [ x25 * x192 + x193 * x208 ] >= 0 e381: - 3.8172 x3 - 8.76344 x6 - 3.54839 x8 - 3.97849 x10 - 3.54839 x12 - 3.49462 x14 - 4.03226 x16 - 6.66667 x18 - 6.93548 x20 - 8.92473 x25 - 6.39785 x205 - 8.92473 x208 + [ x25 * x192 + x193 * x208 ] <= 0 e382: 4.94624 x4 + 5.21505 x9 + 5.21505 x13 + 5.26882 x15 + 4.73118 x17 + 1.82796 x21 - 0.16129 x26 - 0.16129 x31 + 2.36559 x206 - 0.16129 x207 - 0.16129 x209 + [ x26 * x192 + x31 * x194 + x190 * x207 + x193 * x209 ] >= 0 e383: 0.860215 x4 + 1.12903 x9 + 1.12903 x13 + 1.1828 x15 + 0.645161 x17 - 2.25806 x21 - 4.24731 x26 - 4.24731 x31 - 1.72043 x206 - 4.24731 x207 - 4.24731 x209 + [ x26 * x192 + x31 * x194 + x190 * x207 + x193 * x209 ] <= 0 e384: 2.36559 x2 + 4.78495 x11 + 2.09677 x19 + 1.82796 x22 - 0.16129 x24 - 0.16129 x27 - 0.16129 x29 + [ x24 * x191 + x27 * x192 + x29 * x193 ] >= 0 e385: - 7.47312 x2 - 5.05376 x11 - 7.74194 x19 - 8.01075 x22 - 10 x24 - 10 x27 - 10 x29 + [ x24 * x191 + x27 * x192 + x29 * x193 ] <= 0 e386: 4.94624 x5 - 0.16129 x23 - 0.16129 x28 - 0.16129 x30 + [ x23 * x190 + x28 * x192 + x30 * x193 ] >= 0 e387: - 0.591398 x5 - 5.53763 x7 - 5.69892 x23 - 5.69892 x28 - 5.69892 x30 + [ x23 * x190 + x28 * x192 + x30 * x193 ] <= 0 e388: - 2.86458 x23 - 1.19792 x32 + 0.520833 x33 + 0.260417 x35 + 1.66667 x39 - 0.78125 x43 + 2.44792 x47 - 2.86458 x207 + [ x23 * x195 + x195 * x207 ] = 0 e389: - 2.86458 x24 + 1.04167 x37 + 1.66667 x40 - 0.78125 x44 + 2.44792 x48 - 1.875 x52 + [ x24 * x196 ] = 0 e390: - 1.19792 x41 - 3.64583 x45 + [ x25 * x197 + x26 * x197 + x27 * x197 + x28 * x197 ] = 0 e391: - 2.86458 x29 - 2.86458 x30 + 0.520833 x34 + 0.260417 x36 + 1.04167 x38 + 1.66667 x42 - 0.78125 x46 - 0.677083 x50 - 1.875 x53 - 2.86458 x208 - 2.86458 x209 + [ x29 * x198 + x30 * x198 + x198 * x208 + x198 * x209 ] = 0 e392: - 4.6875 x31 + 4.27083 x49 + 1.14583 x51 - 0.0520833 x54 + [ x31 * x199 ] = 0 e393: 3.64583 x3 + 1.92708 x6 + 2.1875 x8 + 1.40625 x10 + 0.78125 x12 + 3.22917 x14 + 3.125 x18 + 4.32292 x20 - 0.416667 x25 + 2.44792 x205 - 0.416667 x208 + [ x25 * x197 + x198 * x208 ] >= 0 e394: - 0.989583 x3 - 2.70833 x6 - 2.44792 x8 - 3.22917 x10 - 3.85417 x12 - 1.40625 x14 - 4.63542 x16 - 1.51042 x18 - 0.3125 x20 - 5.05208 x25 - 2.1875 x205 - 5.05208 x208 + [ x25 * x197 + x198 * x208 ] <= 0 e395: 3.64583 x4 + 2.1875 x9 + 0.78125 x13 + 3.22917 x15 + 4.32292 x21 - 0.416667 x26 - 0.416667 x31 + 2.44792 x206 - 0.416667 x207 - 0.416667 x209 + [ x26 * x197 + x31 * x199 + x195 * x207 + x198 * x209 ] >= 0 e396: - 1.5625 x4 - 3.02083 x9 - 4.42708 x13 - 1.97917 x15 - 5.20833 x17 - 0.885417 x21 - 5.625 x26 - 5.625 x31 - 2.76042 x206 - 5.625 x207 - 5.625 x209 + [ x26 * x197 + x31 * x199 + x195 * x207 + x198 * x209 ] <= 0 e397: 2.44792 x2 + 1.40625 x11 + 3.125 x19 + 4.32292 x22 - 0.416667 x24 - 0.416667 x27 - 0.416667 x29 + [ x24 * x196 + x27 * x197 + x29 * x198 ] >= 0 e398: - 6.92708 x2 - 7.96875 x11 - 6.25 x19 - 5.05208 x22 - 9.79167 x24 - 9.79167 x27 - 9.79167 x29 + [ x24 * x196 + x27 * x197 + x29 * x198 ] <= 0 e399: 3.64583 x5 + 1.92708 x7 - 0.416667 x23 - 0.416667 x28 - 0.416667 x30 + [ x23 * x195 + x28 * x197 + x30 * x198 ] >= 0 e400: - 5.9375 x5 - 7.65625 x7 - 10 x23 - 10 x28 - 10 x30 + [ x23 * x195 + x28 * x197 + x30 * x198 ] <= 0 e401: - 2.69663 x23 + 2.30337 x32 - 2.02247 x33 - 2.07865 x35 - 2.69663 x39 + 0.449438 x43 + 0.224719 x47 - 2.69663 x207 + [ x23 * x200 + x200 * x207 ] = 0 e402: - 2.69663 x24 + 1.23596 x37 - 2.69663 x40 + 0.449438 x44 + 0.224719 x48 + 1.06742 x52 + [ x24 * x201 ] = 0 e403: - 5.39326 x41 - 2.24719 x45 + [ x25 * x202 + x26 * x202 + x27 * x202 + x28 * x202 ] = 0 e404: - 2.69663 x29 - 2.69663 x30 - 2.02247 x34 - 2.07865 x36 + 1.23596 x38 - 2.69663 x42 + 0.449438 x46 + 2.24719 x50 + 1.06742 x53 - 2.69663 x208 - 2.69663 x209 + [ x29 * x203 + x30 * x203 + x203 * x208 + x203 * x209 ] = 0 e405: - 4.1573 x31 + 1.68539 x49 + 3.70787 x51 + 2.52809 x54 + [ x31 * x204 ] = 0 e406: 4.32584 x6 + 4.38202 x8 + 1.06742 x10 + 5 x12 + 1.85393 x14 + 2.07865 x16 + 0.0561798 x18 + 1.23596 x20 - 0.393258 x25 + 2.30337 x205 - 0.393258 x208 + [ x25 * x202 + x203 * x208 ] >= 0 e407: - 6.06742 x3 - 1.74157 x6 - 1.68539 x8 - 5 x10 - 1.06742 x12 - 4.21348 x14 - 3.98876 x16 - 6.01124 x18 - 4.83146 x20 - 6.46067 x25 - 3.76404 x205 - 6.46067 x208 + [ x25 * x202 + x203 * x208 ] <= 0 e408: 4.38202 x9 + 5 x13 + 1.85393 x15 + 2.07865 x17 + 1.23596 x21 - 0.393258 x26 - 0.393258 x31 + 2.30337 x206 - 0.393258 x207 - 0.393258 x209 + [ x26 * x202 + x31 * x204 + x200 * x207 + x203 * x209 ] >= 0 e409: - 9.60674 x4 - 5.22472 x9 - 4.60674 x13 - 7.75281 x15 - 7.52809 x17 - 8.37079 x21 - 10 x26 - 10 x31 - 7.30337 x206 - 10 x207 - 10 x209 + [ x26 * x202 + x31 * x204 + x200 * x207 + x203 * x209 ] <= 0 e410: 2.24719 x2 + 1.01124 x11 + 1.17978 x22 - 0.449438 x24 - 0.449438 x27 - 0.449438 x29 + [ x24 * x201 + x27 * x202 + x29 * x203 ] >= 0 e411: - 6.1236 x2 - 7.35955 x11 - 8.37079 x19 - 7.19101 x22 - 8.82022 x24 - 8.82022 x27 - 8.82022 x29 + [ x24 * x201 + x27 * x202 + x29 * x203 ] <= 0 e412: 4.32584 x7 - 0.393258 x23 - 0.393258 x28 - 0.393258 x30 + [ x23 * x200 + x28 * x202 + x30 * x203 ] >= 0 e413: - 6.06742 x5 - 1.74157 x7 - 6.46067 x23 - 6.46067 x28 - 6.46067 x30 + [ x23 * x200 + x28 * x202 + x30 * x203 ] <= 0 Bounds x2 <= 6.73759 x3 <= 0.496454 x4 <= 2.41135 x5 <= 0.35461 x6 <= 0.496454 x7 <= 0.35461 x8 <= 0.496454 x9 <= 2.41135 x10 <= 0.496454 x11 <= 6.73759 x12 <= 0.496454 x13 <= 2.41135 x14 <= 0.496454 x15 <= 2.41135 x16 <= 0.496454 x17 <= 2.41135 x18 <= 0.496454 x19 <= 6.73759 x20 <= 0.496454 x21 <= 2.41135 x22 <= 6.73759 x23 <= 0.35461 x24 <= 6.73759 x25 <= 0.496454 x26 <= 2.41135 x27 <= 6.73759 x28 <= 0.35461 x29 <= 6.73759 x30 <= 0.35461 x31 <= 2.41135 x32 <= 10 x33 <= 10 x34 <= 10 x35 <= 10 x36 <= 10 x37 <= 10 x38 <= 10 x39 <= 10 x40 <= 10 x41 <= 10 x42 <= 10 x43 <= 10 x44 <= 10 x45 <= 10 x46 <= 10 x47 <= 10 x48 <= 10 x49 <= 10 x50 <= 10 x51 <= 10 x52 <= 10 x53 <= 10 x54 <= 10 0.0881057 <= x55 <= 3.8326 0.792952 <= x56 <= 3.34802 2.02643 <= x57 <= 2.55507 1.05727 <= x58 <= 3.8326 0.792952 <= x59 <= 3.34802 1.71875 <= x60 <= 5.15625 0.833333 <= x61 <= 4.94792 1.71875 <= x62 <= 1.97917 0.833333 <= x63 <= 5.15625 0.833333 <= x64 <= 4.94792 0.0826446 <= x65 <= 4.04959 1.40496 <= x66 <= 4.04959 1.4876 <= x67 <= 4.04959 0.702479 <= x68 <= 4.04959 1.40496 <= x69 <= 3.47107 0.253165 <= x70 <= 3.20675 0.632911 <= x71 <= 3.12236 0.7173 <= x72 <= 3.12236 0.421941 <= x73 <= 3.20675 0.421941 <= x74 <= 2.99578 0.864198 <= x75 <= 3.58025 0.864198 <= x76 <= 3.90947 0.864198 <= x77 <= 3.49794 0.864198 <= x78 <= 3.90947 1.60494 <= x79 <= 3.90947 0.328638 <= x80 <= 3.38028 0.328638 <= x81 <= 4.55399 0.328638 <= x82 <= 3.38028 0.328638 <= x83 <= 4.55399 1.5493 <= x84 <= 4.55399 1.55914 <= x85 <= 5 0.752688 <= x86 <= 5 1.6129 <= x87 <= 4.67742 0.752688 <= x88 <= 4.67742 0.752688 <= x89 <= 5 0.08 <= x90 <= 3.04 0.08 <= x91 <= 3.92 0.08 <= x92 <= 1.12 0.08 <= x93 <= 3.92 0.12 <= x94 <= 3.92 0.125523 <= x95 <= 3.80753 0.125523 <= x96 <= 4.1841 1.12971 <= x97 <= 3.38912 0.167364 <= x98 <= 4.1841 0.125523 <= x99 <= 4.1841 0.502283 <= x100 <= 3.15068 0.502283 <= x101 <= 2.87671 0.502283 <= x102 <= 1.87215 0.502283 <= x103 <= 3.15068 1.14155 <= x104 <= 3.10502 0.723684 <= x105 <= 6.11842 2.30263 <= x106 <= 6.11842 2.30263 <= x107 <= 6.11842 0.723684 <= x108 <= 6.11842 2.5 <= x109 <= 5.92105 1.49254 <= x110 <= 7.38806 1.49254 <= x111 <= 6.79104 5 <= x112 <= 5.14925 1.49254 <= x113 <= 7.38806 1.49254 <= x114 <= 6.79104 0.552764 <= x115 <= 4.47236 0.552764 <= x116 <= 4.47236 0.552764 <= x117 <= 3.8191 0.552764 <= x118 <= 3.8191 0.854271 <= x119 <= 4.47236 1.23762 <= x120 <= 4.80198 1.43564 <= x121 <= 4.80198 1.43564 <= x122 <= 1.9802 1.28713 <= x123 <= 4.80198 2.9703 <= x124 <= 4.80198 0.0956938 <= x125 <= 4.06699 0.334928 <= x126 <= 3.97129 0.334928 <= x127 <= 2.53589 0.0956938 <= x128 <= 4.06699 1.10048 <= x129 <= 3.97129 0.297619 <= x130 <= 5.41667 0.297619 <= x131 <= 4.52381 1.36905 <= x132 <= 4.52381 0.357143 <= x133 <= 4.52381 0.297619 <= x134 <= 4.28571 1.5566 <= x135 <= 4.0566 1.79245 <= x136 <= 4.0566 1.79245 <= x137 <= 2.68868 1.5566 <= x138 <= 4.0566 2.16981 <= x139 <= 4.0566 0.186916 <= x140 <= 4.25234 0.046729 <= x141 <= 3.83178 0.233645 <= x142 <= 2.05607 0.046729 <= x143 <= 4.25234 0.046729 <= x144 <= 3.83178 0.349345 <= x145 <= 3.40611 0.436681 <= x146 <= 3.40611 0.436681 <= x147 <= 1.96507 0.349345 <= x148 <= 3.40611 0.917031 <= x149 <= 3.40611 0.470588 <= x150 <= 5.88235 1.94118 <= x151 <= 5.88235 1.94118 <= x152 <= 4.82353 0.647059 <= x153 <= 5.88235 3.23529 <= x154 <= 5.88235 0.123457 <= x155 <= 2.71605 0.123457 <= x156 <= 3.82716 0.123457 <= x157 <= 0.329218 0.123457 <= x158 <= 3.82716 0.90535 <= x159 <= 3.82716 0.263158 <= x160 <= 8.33333 0.350877 <= x161 <= 7.80702 2.10526 <= x162 <= 7.80702 0.350877 <= x163 <= 8.33333 0.350877 <= x164 <= 8.07018 1.52542 <= x165 <= 4.23729 0.508475 <= x166 <= 4.23729 2.75424 <= x167 <= 4.23729 0.508475 <= x168 <= 4.23729 0.508475 <= x169 <= 3.00847 0.227273 <= x170 <= 3.81818 0.227273 <= x171 <= 3.81818 0.227273 <= x172 <= 1.63636 0.227273 <= x173 <= 3.81818 1.68182 <= x174 <= 3.81818 0.327869 <= x175 <= 6.14754 1.14754 <= x176 <= 7.13115 1.55738 <= x177 <= 3.11475 0.327869 <= x178 <= 7.13115 1.14754 <= x179 <= 7.13115 0.16129 <= x180 <= 4.03226 0.524194 <= x181 <= 4.03226 0.524194 <= x182 <= 0.685484 0.16129 <= x183 <= 4.03226 1.00806 <= x184 <= 4.03226 0.80292 <= x185 <= 7.22628 1.9708 <= x186 <= 7.22628 5.47445 <= x187 <= 7.22628 0.80292 <= x188 <= 7.22628 1.9708 <= x189 <= 6.93431 0.16129 <= x190 <= 5.43011 1.98925 <= x191 <= 5.43011 5.37634 <= x192 <= 5.43011 0.16129 <= x193 <= 5.43011 1.98925 <= x194 <= 4.94624 0.416667 <= x195 <= 4.0625 0.416667 <= x196 <= 4.73958 1.19792 <= x197 <= 3.64583 1.19792 <= x198 <= 4.73958 0.416667 <= x199 <= 4.73958 0.393258 <= x200 <= 5.39326 1.46067 <= x201 <= 5.39326 2.24719 <= x202 <= 5.39326 0.449438 <= x203 <= 5.39326 0.449438 <= x204 <= 2.69663 x205 <= 0.496454 x206 <= 2.41135 x207 <= 2.41135 x208 <= 0.496454 x209 <= 2.41135 End