\ Equation counts \ Total E G L N X C B \ 171 40 54 77 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 212 212 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2495 1395 1100 0 \ Minimize obj: - 284.4 x2 - 237 x3 - 331.8 x4 - 379.2 x5 - 426.6 x6 + 94.8 x7 - 94.8 x8 - 142.2 x9 + 379.2 x10 - 47.4 x11 - 142.2 x12 - 189.6 x13 - 237 x14 - 663.6 x15 - 521.4 x16 - 663.6 x17 - 189.6 x18 + 47.4 x19 + 237 x20 + 47.4 x21 + 47.4 x22 - 331.8 x23 - 521.4 x24 + 237 x25 + 663.6 x26 + 284.4 x27 + 616.2 x28 + 284.4 x29 + 331.8 x30 + 616.2 x31 - 474 x32 - 521.4 x33 - 94.8 x34 - 616.2 x35 - 94.8 x36 + 47.4 x37 - 47.4 x38 - 94.8 x39 + 379.2 x40 + 47.4 x41 + 94.8 x42 - 94.8 x43 + 379.2 x44 - 94.8 x45 + 331.8 x46 + 47.4 x47 + 47.4 x48 + 94.8 x49 - 47.4 x50 + 426.6 x51 - 47.4 x52 - 94.8 x53 - 379.2 x54 + 47.4 x55 - 426.6 x56 - 474 x57 - 331.8 x58 - 474 x59 - 521.4 x60 - 284.4 x61 + 142.2 x62 - 237 x63 - 331.8 x64 - 379.2 x65 + 94.8 x66 - 237 x67 - 189.6 x68 - 426.6 x69 + 94.8 x70 - 711 x71 - 331.8 x72 - 284.4 x73 - 758.4 x74 - 663.6 x75 - 616.2 x76 - 805.8 x77 - 284.4 x78 - 237 x79 - 331.8 x80 - 379.2 x81 + 94.8 x82 - 237 x83 - 189.6 x84 - 379.2 x85 + 94.8 x86 - 237 x87 - 331.8 x88 - 379.2 x89 + 94.8 x90 - 237 x91 - 189.6 x92 - 379.2 x93 + 94.8 x94 - 284.4 x95 + 142.2 x96 - 237 x97 - 237 x98 - 379.2 x99 + 94.8 x100 - 331.8 x101 - 237 x102 + 379.2 x103 + 426.6 x104 + 853.2 x105 + 474 x106 + 331.8 x107 + 474 x108 + 331.8 x109 + 805.8 x110 + 758.4 x111 + 189.6 x112 + 284.4 x113 + 711 x114 + 284.4 x115 + 284.4 x116 + 189.6 x117 + 616.2 x118 + 189.6 x119 - 94.8 x120 - 521.4 x121 - 284.4 x122 + 142.2 x123 - 900.6 x124 + 426.6 x125 + 853.2 x126 + 853.2 x127 + 426.6 x128 + 142.2 x129 - 284.4 x130 - 189.6 x131 - 94.8 x132 + 331.8 x133 + 331.8 x134 - 94.8 x135 - 94.8 x136 - 805.8 x137 - 711 x138 + 521.4 x139 + 948 x140 + 521.4 x141 + 521.4 x142 + 237 x143 - 189.6 x144 - 94.8 x145 - 189.6 x146 - 189.6 x147 - 189.6 x148 - 189.6 x149 + 284.4 x150 + 284.4 x151 + 284.4 x152 + 284.4 x153 - 426.6 x154 + 237 x155 + 237 x156 + 237 x157 + 237 x158 - 47.4 x159 - 474 x160 - 379.2 x161 + 331.8 x162 + 331.8 x163 + 47.4 x164 - 379.2 x165 - 284.4 x166 - 94.8 x167 - 94.8 x168 - 805.8 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 Subject To e2: x2 + x3 + x4 + x5 + x6 + x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 + x78 + x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x101 + x102 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x111 + x112 - x113 - x115 - x116 - x117 - x119 - x121 - x122 - x124 - x125 - x128 - x130 - x131 - x132 - x135 - x136 - x137 - x138 - x139 - x141 - x142 - x144 - x145 - x146 - x147 - x148 - x149 - x150 - x151 - x152 - x153 - x154 - x155 - x156 - x157 - x158 - x160 - x161 - x162 - x163 - x165 - x166 - x167 - x168 - x169 <= 10 e3: x7 + x8 + x9 + x10 + x103 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x113 + x114 + x115 + x116 - x120 - x121 - x129 - x130 - x137 - x143 - x144 - x154 - x159 - x160 - x164 - x165 - x169 + x210 <= 10 e4: x11 + x12 + x13 + x14 + x111 + x112 + x117 + x118 + x119 + x120 + x121 - x124 - x131 - x138 - x145 - x161 - x166 <= 10 e5: x15 + x16 + x17 + x18 + x122 + x123 + x124 <= 10 e6: x19 + x20 + x21 + x125 + x126 + x127 + x128 + x129 + x130 + x131 + x211 <= 10 e7: x22 + x23 + x24 + x132 + x133 + x134 + x135 + x136 + x137 + x138 <= 10 e8: x25 + x26 + x27 + x28 + x29 + x30 + x31 + x139 + x140 + x141 + x142 + x143 + x144 + x145 <= 10 e9: x32 + x33 + x34 + x35 + x36 + x146 + x147 + x148 + x149 <= 10 e10: x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x150 + x151 + x152 + x153 + x154 <= 10 e11: x45 + x46 + x47 + x155 + x156 + x157 + x158 + x159 + x160 + x161 <= 10 e12: x48 + x49 + x50 + x51 + x52 + x53 + x162 + x163 + x164 + x165 + x166 + x212 <= 10 e13: x54 + x55 + x56 + x57 + x58 + x59 + x60 + x167 + x168 + x169 + x213 <= 10 e14: x2 + x25 + x32 + x48 + x54 + x61 + x71 + x78 + x95 + x104 + x210 <= 4.21941e-2 e15: x22 + x26 + x55 + x62 + x73 + x96 + x105 + x111 <= 1.81435 e16: x3 + x11 + x23 + x27 + x37 + x49 + x63 + x79 + x87 + x97 + x106 <= 6.32911e-2 e17: x4 + x12 + x33 + x38 + x45 + x56 + x64 + x74 + x80 + x88 + x101 + x212 <= 1.81435 e18: x13 + x15 + x19 + x39 + x50 + x57 + x65 + x81 + x89 + x107 <= .970464 e19: x28 + x34 + x40 + x46 + x51 + x66 + x82 + x90 + x103 + x213 <= .548523 e20: x16 + x29 + x41 + x58 + x67 + x75 + x83 + x91 + x98 + x102 + x108 <= 1.49789 e21: x7 + x20 + x30 + x42 + x47 + x68 + x76 + x84 + x92 <= 1.54008 e22: x5 + x8 + x17 + x21 + x43 + x52 + x59 + x77 + x85 + x93 + x99 + x109 <= .400844 e23: x6 + x9 + x14 + x24 + x35 + x53 + x60 + x69 + x112 + x211 <= .843882 e24: x10 + x18 + x31 + x36 + x44 + x70 + x72 + x86 + x94 + x100 + x110 <= .464135 e25: x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 <= 10 e26: x71 + x72 <= 10 e27: x73 + x74 + x75 + x76 + x77 <= 10 e28: x78 + x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 <= 10 e29: x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 <= 10 e30: x95 + x96 + x97 + x98 + x99 + x100 <= 10 e31: x101 + x102 <= 10 e32: x103 + x210 <= 10 e33: x104 + x105 + x106 + x107 + x108 + x109 + x110 <= 10 e34: x111 + x112 <= 10 e35: x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 - x113 - x117 - x122 - x125 - x132 - x139 - x146 - x150 - x155 - x162 - x167 >= 0 e36: x78 + x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 - x115 - x119 - x128 - x135 - x141 - x147 - x151 - x156 >= 0 e37: x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 - x136 - x148 - x152 - x157 - x168 >= 0 e38: x95 + x96 + x97 + x98 + x99 + x100 - x142 - x149 - x153 - x158 >= 0 e39: x101 + x102 - x116 - x163 >= 0 e40: x104 + x105 + x106 + x107 + x108 + x109 + x110 - x121 - x130 - x137 - x144 - x154 - x160 - x165 - x169 >= 0 e41: x111 + x112 - x124 - x131 - x138 - x145 - x161 - x166 >= 0 e42: x103 - x120 - x129 - x143 - x159 - x164 + x210 >= 0 e43: x104 + x105 + x106 + x107 + x108 + x109 + x110 - x121 - x130 - x137 - x144 - x154 - x160 - x165 - x169 >= 0 e44: x111 + x112 - x124 - x131 - x138 - x145 - x161 - x166 >= 0 e45: - 3.47826 x61 - 3.47826 x62 - 3.47826 x63 - 3.47826 x64 - 3.47826 x65 - 3.47826 x66 - 3.47826 x67 - 3.47826 x68 - 3.47826 x69 - 3.47826 x70 - 8.69565e-2 x113 + .782609 x117 - .73913 x122 - .782609 x125 - .782609 x132 + 2.91304 x139 + .956522 x146 + 2.78261 x150 + 1.6087 x155 + 2.13043 x162 + 2.3913 x167 + [ x61 * x170 + x62 * x170 + x63 * x170 + x64 * x170 + x65 * x170 + x66 * x170 + x67 * x170 + x68 * x170 + x69 * x170 + x70 * x170 ] = 0 e46: - 2.69565 x118 - 4.21739 x123 - 4.26087 x126 - 4.26087 x133 + [ x71 * x171 + x72 * x171 ] = 0 e47: - 3.56522 x114 - 4.26087 x127 - 4.26087 x134 - .565217 x140 + [ x73 * x172 + x74 * x172 + x75 * x172 + x76 * x172 + x77 * x172 ] = 0 e48: - 3.47826 x78 - 3.47826 x79 - 3.47826 x80 - 3.47826 x81 - 3.47826 x82 - 3.47826 x83 - 3.47826 x84 - 3.47826 x85 - 3.47826 x86 - 8.69565e-2 x115 + .782609 x119 - .782609 x128 - .782609 x135 + 2.91304 x141 + .956522 x147 + 2.78261 x151 + 1.6087 x156 + [ x78 * x173 + x79 * x173 + x80 * x173 + x81 * x173 + x82 * x173 + x83 * x173 + x84 * x173 + x85 * x173 + x86 * x173 ] = 0 e49: - 3.47826 x87 - 3.47826 x88 - 3.47826 x89 - 3.47826 x90 - 3.47826 x91 - 3.47826 x92 - 3.47826 x93 - 3.47826 x94 - .782609 x136 + .956522 x148 + 2.78261 x152 + 1.6087 x157 + 2.3913 x168 + [ x87 * x174 + x88 * x174 + x89 * x174 + x90 * x174 + x91 * x174 + x92 * x174 + x93 * x174 + x94 * x174 ] = 0 e50: - 3.47826 x95 - 3.47826 x96 - 3.47826 x97 - 3.47826 x98 - 3.47826 x99 - 3.47826 x100 + 2.91304 x142 + .956522 x149 + 2.78261 x153 + 1.6087 x158 + [ x95 * x175 + x96 * x175 + x97 * x175 + x98 * x175 + x99 * x175 + x100 * x175 ] = 0 e51: - 3.47826 x101 - 3.47826 x102 - 8.69565e-2 x116 + 2.13043 x163 + [ x101 * x176 + x102 * x176 ] = 0 e52: - 3.56522 x103 + .869565 x120 - .695652 x129 + 3 x143 + 1.69565 x159 + 2.21739 x164 - 3.56522 x210 + [ x103 * x177 + x177 * x210 ] = 0 e53: - 7.04348 x104 - 7.04348 x105 - 7.04348 x106 - 7.04348 x107 - 7.04348 x108 - 7.04348 x109 - 7.04348 x110 + 4.34783 x121 + 2.78261 x130 + 2.78261 x137 + 6.47826 x144 + 6.34783 x154 + 5.17391 x160 + 5.69565 x165 + 5.95652 x169 + [ x104 * x178 + x105 * x178 + x106 * x178 + x107 * x178 + x108 * x178 + x109 * x178 + x110 * x178 ] = 0 e54: - 6.17391 x111 - 6.17391 x112 + 1.95652 x124 + 1.91304 x131 + 1.91304 x138 + 5.6087 x145 + 4.30435 x161 + 4.82609 x166 + [ x111 * x179 + x112 * x179 ] = 0 e55: 2.91304 x2 + 1.95652 x32 + .782609 x48 + .521739 x54 - .565217 x61 - .565217 x71 - .565217 x78 - .565217 x95 - .565217 x104 - .565217 x210 + [ x61 * x170 + x71 * x171 + x78 * x173 + x95 * x175 + x104 * x178 + x177 * x210 ] >= 0 e56: - 5.95652 x2 - 8.86957 x25 - 6.91304 x32 - 8.08696 x48 - 8.34783 x54 - 9.43478 x61 - 9.43478 x71 - 9.43478 x78 - 9.43478 x95 - 9.43478 x104 - 9.43478 x210 + [ x61 * x170 + x71 * x171 + x78 * x173 + x95 * x175 + x104 * x178 + x177 * x210 ] <= 0 e57: 3.69565 x22 + .521739 x55 - .565217 x62 - .565217 x73 - .565217 x96 - .565217 x105 - .565217 x111 + [ x62 * x170 + x73 * x172 + x96 * x175 + x105 * x178 + x111 * x179 ] >= 0 e58: - 1.08696 x22 - 4.78261 x26 - 4.26087 x55 - 5.34783 x62 - 5.34783 x73 - 5.34783 x96 - 5.34783 x105 - 5.34783 x111 + [ x62 * x170 + x73 * x172 + x96 * x175 + x105 * x178 + x111 * x179 ] <= 0 e59: 2.91304 x3 + 2.13043 x11 + 3.69565 x23 + .130435 x37 + .782609 x49 - .565217 x63 - .565217 x79 - .565217 x87 - .565217 x97 - .565217 x106 + [ x63 * x170 + x79 * x173 + x87 * x174 + x97 * x175 + x106 * x178 ] >= 0 e60: - 4.69565 x3 - 5.47826 x11 - 3.91304 x23 - 7.6087 x27 - 7.47826 x37 - 6.82609 x49 - 8.17391 x63 - 8.17391 x79 - 8.17391 x87 - 8.17391 x97 - 8.17391 x106 + [ x63 * x170 + x79 * x173 + x87 * x174 + x97 * x175 + x106 * x178 ] <= 0 e61: 2.91304 x4 + 2.13043 x12 + 1.95652 x33 + .130435 x38 + 1.30435 x45 + .521739 x56 - .565217 x64 - .565217 x74 - .565217 x80 - .565217 x88 - .565217 x101 + .782609 x212 + [ x64 * x170 + x74 * x172 + x80 * x173 + x88 * x174 + x101 * x176 ] >= 0 e62: - 6.52174 x4 - 7.30435 x12 - 7.47826 x33 - 9.30435 x38 - 8.13043 x45 - 8.91304 x56 - 10 x64 - 10 x74 - 10 x80 - 10 x88 - 10 x101 - 8.65217 x212 + [ x64 * x170 + x74 * x172 + x80 * x173 + x88 * x174 + x101 * x176 ] <= 0 e63: 2.13043 x13 + 3.65217 x15 + 3.69565 x19 + .130435 x39 + .782609 x50 + .521739 x57 - .565217 x65 - .565217 x81 - .565217 x89 - .565217 x107 + [ x65 * x170 + x81 * x173 + x89 * x174 + x107 * x178 ] >= 0 e64: - .956522 x13 + .565217 x15 + .608696 x19 - 2.95652 x39 - 2.30435 x50 - 2.56522 x57 - 3.65217 x65 - 3.65217 x81 - 3.65217 x89 - 3.65217 x107 + [ x65 * x170 + x81 * x173 + x89 * x174 + x107 * x178 ] <= 0 e65: 1.95652 x34 + .130435 x40 + 1.30435 x46 + .782609 x51 - .565217 x66 - .565217 x82 - .565217 x90 - .565217 x103 + .521739 x213 + [ x66 * x170 + x82 * x173 + x90 * x174 + x103 * x177 ] >= 0 e66: - 2.04348 x28 - 8.69565e-2 x34 - 1.91304 x40 - .73913 x46 - 1.26087 x51 - 2.6087 x66 - 2.6087 x82 - 2.6087 x90 - 2.6087 x103 - 1.52174 x213 + [ x66 * x170 + x82 * x173 + x90 * x174 + x103 * x177 ] <= 0 e67: 3.65217 x16 + .130435 x41 + .521739 x58 - .565217 x67 - .565217 x75 - .565217 x83 - .565217 x91 - .565217 x98 - .565217 x102 - .565217 x108 + [ x67 * x170 + x75 * x172 + x83 * x173 + x91 * x174 + x98 * x175 + x102 * x176 + x108 * x178 ] >= 0 e68: - 3.43478 x16 - 7.08696 x29 - 6.95652 x41 - 6.56522 x58 - 7.65217 x67 - 7.65217 x75 - 7.65217 x83 - 7.65217 x91 - 7.65217 x98 - 7.65217 x102 - 7.65217 x108 + [ x67 * x170 + x75 * x172 + x83 * x173 + x91 * x174 + x98 * x175 + x102 * x176 + x108 * x178 ] <= 0 e69: 3 x7 + 3.69565 x20 + .130435 x42 + 1.30435 x47 - .565217 x68 - .565217 x76 - .565217 x84 - .565217 x92 + [ x68 * x170 + x76 * x172 + x84 * x173 + x92 * x174 ] >= 0 e70: - .913043 x7 - .217391 x20 - 3.91304 x30 - 3.78261 x42 - 2.6087 x47 - 4.47826 x68 - 4.47826 x76 - 4.47826 x84 - 4.47826 x92 + [ x68 * x170 + x76 * x172 + x84 * x173 + x92 * x174 ] <= 0 e71: 2.91304 x5 + 3 x8 + 3.65217 x17 + 3.69565 x21 + .130435 x43 + .782609 x52 + .521739 x59 - .565217 x77 - .565217 x85 - .565217 x93 - .565217 x99 - .565217 x109 + [ x77 * x172 + x85 * x173 + x93 * x174 + x99 * x175 + x109 * x178 ] >= 0 e72: .913043 x5 + x8 + 1.65217 x17 + 1.69565 x21 - 1.86957 x43 - 1.21739 x52 - 1.47826 x59 - 2.56522 x77 - 2.56522 x85 - 2.56522 x93 - 2.56522 x99 - 2.56522 x109 + [ x77 * x172 + x85 * x173 + x93 * x174 + x99 * x175 + x109 * x178 ] <= 0 e73: 2.91304 x6 + 3 x9 + 2.13043 x14 + 3.69565 x24 + 1.95652 x35 + .782609 x53 + .521739 x60 - .565217 x69 - .565217 x112 + 3.69565 x211 + [ x69 * x170 + x112 * x179 ] >= 0 e74: - 6.04348 x6 - 5.95652 x9 - 6.82609 x14 - 5.26087 x24 - 7 x35 - 8.17391 x53 - 8.43478 x60 - 9.52174 x69 - 9.52174 x112 - 5.26087 x211 + [ x69 * x170 + x112 * x179 ] <= 0 e75: 3 x10 + 3.65217 x18 + 1.95652 x36 + .130435 x44 - .565217 x70 - .565217 x72 - .565217 x86 - .565217 x94 - .565217 x100 - .565217 x110 + [ x70 * x170 + x72 * x171 + x86 * x173 + x94 * x174 + x100 * x175 + x110 * x178 ] >= 0 e76: - 5.43478 x10 - 4.78261 x18 - 8.43478 x31 - 6.47826 x36 - 8.30435 x44 - 9 x70 - 9 x72 - 9 x86 - 9 x94 - 9 x100 - 9 x110 + [ x70 * x170 + x72 * x171 + x86 * x173 + x94 * x174 + x100 * x175 + x110 * x178 ] <= 0 e77: - .843373 x61 - .843373 x62 - .843373 x63 - .843373 x64 - .843373 x65 - .843373 x66 - .843373 x67 - .843373 x68 - .843373 x69 - .843373 x70 - 1.72691 x113 - 2.81124 x117 - 2.249 x122 + .120482 x125 + .682731 x132 + .562249 x139 - 1.60643 x146 - .160643 x150 - 2.00803 x155 - 2.81124 x162 - 1.04418 x167 + [ x61 * x180 + x62 * x180 + x63 * x180 + x64 * x180 + x65 * x180 + x66 * x180 + x67 * x180 + x68 * x180 + x69 * x180 + x70 * x180 ] = 0 e78: - 3.65462 x118 - 3.09237 x123 - .722892 x126 - .160643 x133 + [ x71 * x181 + x72 * x181 ] = 0 e79: - 2.57028 x114 - .722892 x127 - .160643 x134 - .281124 x140 + [ x73 * x182 + x74 * x182 + x75 * x182 + x76 * x182 + x77 * x182 ] = 0 e80: - .843373 x78 - .843373 x79 - .843373 x80 - .843373 x81 - .843373 x82 - .843373 x83 - .843373 x84 - .843373 x85 - .843373 x86 - 1.72691 x115 - 2.81124 x119 + .120482 x128 + .682731 x135 + .562249 x141 - 1.60643 x147 - .160643 x151 - 2.00803 x156 + [ x78 * x183 + x79 * x183 + x80 * x183 + x81 * x183 + x82 * x183 + x83 * x183 + x84 * x183 + x85 * x183 + x86 * x183 ] = 0 e81: - .843373 x87 - .843373 x88 - .843373 x89 - .843373 x90 - .843373 x91 - .843373 x92 - .843373 x93 - .843373 x94 + .682731 x136 - 1.60643 x148 - .160643 x152 - 2.00803 x157 - 1.04418 x168 + [ x87 * x184 + x88 * x184 + x89 * x184 + x90 * x184 + x91 * x184 + x92 * x184 + x93 * x184 + x94 * x184 ] = 0 e82: - .843373 x95 - .843373 x96 - .843373 x97 - .843373 x98 - .843373 x99 - .843373 x100 + .562249 x142 - 1.60643 x149 - .160643 x153 - 2.00803 x158 + [ x95 * x185 + x96 * x185 + x97 * x185 + x98 * x185 + x99 * x185 + x100 * x185 ] = 0 e83: - .843373 x101 - .843373 x102 - 1.72691 x116 - 2.81124 x163 + [ x101 * x186 + x102 * x186 ] = 0 e84: - 2.57028 x103 - 1.08434 x120 + 1.84739 x129 + 2.28916 x143 - .281124 x159 - 1.08434 x164 - 2.57028 x210 + [ x103 * x187 + x187 * x210 ] = 0 e85: - 3.41365 x104 - 3.41365 x105 - 3.41365 x106 - 3.41365 x107 - 3.41365 x108 - 3.41365 x109 - 3.41365 x110 - .240964 x121 + 2.69076 x130 + 3.25301 x137 + 3.13253 x144 + 2.40964 x154 + .562249 x160 - .240964 x165 + 1.5261 x169 + [ x104 * x188 + x105 * x188 + x106 * x188 + x107 * x188 + x108 * x188 + x109 * x188 + x110 * x188 ] = 0 e86: - 4.49799 x111 - 4.49799 x112 + 1.40562 x124 + 3.7751 x131 + 4.33735 x138 + 4.21687 x145 + 1.64659 x161 + .843373 x166 + [ x111 * x189 + x112 * x189 ] = 0 e87: .682731 x2 + .120482 x25 + 2.28916 x32 + 3.49398 x48 + 1.72691 x54 - .160643 x61 - .160643 x71 - .160643 x78 - .160643 x95 - .160643 x104 - .160643 x210 + [ x61 * x180 + x71 * x181 + x78 * x183 + x95 * x185 + x104 * x188 + x187 * x210 ] >= 0 e88: - 5.94378 x2 - 6.50602 x25 - 4.33735 x32 - 3.13253 x48 - 4.8996 x54 - 6.78715 x61 - 6.78715 x71 - 6.78715 x78 - 6.78715 x95 - 6.78715 x104 - 6.78715 x210 + [ x61 * x180 + x71 * x181 + x78 * x183 + x95 * x185 + x104 * x188 + x187 * x210 ] <= 0 e89: .120482 x26 + 1.72691 x55 - .160643 x62 - .160643 x73 - .160643 x96 - .160643 x105 - .160643 x111 + [ x62 * x180 + x73 * x182 + x96 * x185 + x105 * x188 + x111 * x189 ] >= 0 e90: - 5.98394 x22 - 5.86345 x26 - 4.25703 x55 - 6.14458 x62 - 6.14458 x73 - 6.14458 x96 - 6.14458 x105 - 6.14458 x111 + [ x62 * x180 + x73 * x182 + x96 * x185 + x105 * x188 + x111 * x189 ] <= 0 e91: .682731 x3 + 3.49398 x11 + .120482 x27 + .843373 x37 + 3.49398 x49 - .160643 x63 - .160643 x79 - .160643 x87 - .160643 x97 - .160643 x106 + [ x63 * x180 + x79 * x183 + x87 * x184 + x97 * x185 + x106 * x188 ] >= 0 e92: - 2.00803 x3 + .803213 x11 - 2.69076 x23 - 2.57028 x27 - 1.84739 x37 + .803213 x49 - 2.85141 x63 - 2.85141 x79 - 2.85141 x87 - 2.85141 x97 - 2.85141 x106 + [ x63 * x180 + x79 * x183 + x87 * x184 + x97 * x185 + x106 * x188 ] <= 0 e93: .682731 x4 + 3.49398 x12 + 2.28916 x33 + .843373 x38 + 2.69076 x45 + 1.72691 x56 - .160643 x64 - .160643 x74 - .160643 x80 - .160643 x88 - .160643 x101 + 3.49398 x212 + [ x64 * x180 + x74 * x182 + x80 * x183 + x88 * x184 + x101 * x186 ] >= 0 e94: - 4.61847 x4 - 1.80723 x12 - 3.01205 x33 - 4.45783 x38 - 2.61044 x45 - 3.5743 x56 - 5.46185 x64 - 5.46185 x74 - 5.46185 x80 - 5.46185 x88 - 5.46185 x101 - 1.80723 x212 + [ x64 * x180 + x74 * x182 + x80 * x183 + x88 * x184 + x101 * x186 ] <= 0 e95: 3.49398 x13 + 2.93173 x15 + .562249 x19 + .843373 x39 + 3.49398 x50 + 1.72691 x57 - .160643 x65 - .160643 x81 - .160643 x89 - .160643 x107 + [ x65 * x180 + x81 * x183 + x89 * x184 + x107 * x188 ] >= 0 e96: - 2.48996 x13 - 3.05221 x15 - 5.42169 x19 - 5.14056 x39 - 2.48996 x50 - 4.25703 x57 - 6.14458 x65 - 6.14458 x81 - 6.14458 x89 - 6.14458 x107 + [ x65 * x180 + x81 * x183 + x89 * x184 + x107 * x188 ] <= 0 e97: .120482 x28 + 2.28916 x34 + .843373 x40 + 2.69076 x46 + 3.49398 x51 - .160643 x66 - .160643 x82 - .160643 x90 - .160643 x103 + 1.72691 x213 + [ x66 * x180 + x82 * x183 + x90 * x184 + x103 * x187 ] >= 0 e98: - 2.4498 x28 - .281124 x34 - 1.72691 x40 + .120482 x46 + .923695 x51 - 2.73092 x66 - 2.73092 x82 - 2.73092 x90 - 2.73092 x103 - .843373 x213 + [ x66 * x180 + x82 * x183 + x90 * x184 + x103 * x187 ] <= 0 e99: 2.93173 x16 + .120482 x29 + .843373 x41 + 1.72691 x58 - .160643 x67 - .160643 x75 - .160643 x83 - .160643 x91 - .160643 x98 - .160643 x102 - .160643 x108 + [ x67 * x180 + x75 * x182 + x83 * x183 + x91 * x184 + x98 * x185 + x102 * x186 + x108 * x188 ] >= 0 e100: - 5.98394 x16 - 8.79518 x29 - 8.07229 x41 - 7.18876 x58 - 9.07631 x67 - 9.07631 x75 - 9.07631 x83 - 9.07631 x91 - 9.07631 x98 - 9.07631 x102 - 9.07631 x108 + [ x67 * x180 + x75 * x182 + x83 * x183 + x91 * x184 + x98 * x185 + x102 * x186 + x108 * x188 ] <= 0 e101: 2.40964 x7 + .562249 x20 + .120482 x30 + .843373 x42 + 2.69076 x47 - .160643 x68 - .160643 x76 - .160643 x84 - .160643 x92 + [ x68 * x180 + x76 * x182 + x84 * x183 + x92 * x184 ] >= 0 e102: - 1.1245 x7 - 2.97189 x20 - 3.41365 x30 - 2.69076 x42 - .843373 x47 - 3.69478 x68 - 3.69478 x76 - 3.69478 x84 - 3.69478 x92 + [ x68 * x180 + x76 * x182 + x84 * x183 + x92 * x184 ] <= 0 e103: .682731 x5 + 2.40964 x8 + 2.93173 x17 + .562249 x21 + .843373 x43 + 3.49398 x52 + 1.72691 x59 - .160643 x77 - .160643 x85 - .160643 x93 - .160643 x99 - .160643 x109 + [ x77 * x182 + x85 * x183 + x93 * x184 + x99 * x185 + x109 * x188 ] >= 0 e104: - 9.15663 x5 - 7.42972 x8 - 6.90763 x17 - 9.27711 x21 - 8.99598 x43 - 6.34538 x52 - 8.11245 x59 - 10 x77 - 10 x85 - 10 x93 - 10 x99 - 10 x109 + [ x77 * x182 + x85 * x183 + x93 * x184 + x99 * x185 + x109 * x188 ] <= 0 e105: .682731 x6 + 2.40964 x9 + 3.49398 x14 + 2.28916 x35 + 3.49398 x53 + 1.72691 x60 - .160643 x69 - .160643 x112 + .562249 x211 + [ x69 * x180 + x112 * x189 ] >= 0 e106: - 2.20884 x6 - .481928 x9 + .60241 x14 - 2.89157 x24 - .60241 x35 + .60241 x53 - 1.16466 x60 - 3.05221 x69 - 3.05221 x112 - 2.32932 x211 + [ x69 * x180 + x112 * x189 ] <= 0 e107: 2.40964 x10 + 2.93173 x18 + .120482 x31 + 2.28916 x36 + .843373 x44 - .160643 x70 - .160643 x72 - .160643 x86 - .160643 x94 - .160643 x100 - .160643 x110 + [ x70 * x180 + x72 * x181 + x86 * x183 + x94 * x184 + x100 * x185 + x110 * x188 ] >= 0 e108: - 2.48996 x10 - 1.96787 x18 - 4.77912 x31 - 2.61044 x36 - 4.05622 x44 - 5.06024 x70 - 5.06024 x72 - 5.06024 x86 - 5.06024 x94 - 5.06024 x100 - 5.06024 x110 + [ x70 * x180 + x72 * x181 + x86 * x183 + x94 * x184 + x100 * x185 + x110 * x188 ] <= 0 e109: - 2.58065 x61 - 2.58065 x62 - 2.58065 x63 - 2.58065 x64 - 2.58065 x65 - 2.58065 x66 - 2.58065 x67 - 2.58065 x68 - 2.58065 x69 - 2.58065 x70 - .967742 x113 - .921659 x117 + 2.4424 x122 - 1.05991 x125 + .230415 x132 + 4.60829e-2 x139 - 1.52074 x146 - 1.47465 x150 + .184332 x155 + 1.52074 x162 + 2.35023 x167 + [ x61 * x190 + x62 * x190 + x63 * x190 + x64 * x190 + x65 * x190 + x66 * x190 + x67 * x190 + x68 * x190 + x69 * x190 + x70 * x190 ] = 0 e110: - 3.5023 x118 - .138249 x123 - 3.64055 x126 - 2.35023 x133 + [ x71 * x191 + x72 * x191 ] = 0 e111: - 3.54839 x114 - 3.64055 x127 - 2.35023 x134 - 2.53456 x140 + [ x73 * x192 + x74 * x192 + x75 * x192 + x76 * x192 + x77 * x192 ] = 0 e112: - 2.58065 x78 - 2.58065 x79 - 2.58065 x80 - 2.58065 x81 - 2.58065 x82 - 2.58065 x83 - 2.58065 x84 - 2.58065 x85 - 2.58065 x86 - .967742 x115 - .921659 x119 - 1.05991 x128 + .230415 x135 + 4.60829e-2 x141 - 1.52074 x147 - 1.47465 x151 + .184332 x156 + [ x78 * x193 + x79 * x193 + x80 * x193 + x81 * x193 + x82 * x193 + x83 * x193 + x84 * x193 + x85 * x193 + x86 * x193 ] = 0 e113: - 2.58065 x87 - 2.58065 x88 - 2.58065 x89 - 2.58065 x90 - 2.58065 x91 - 2.58065 x92 - 2.58065 x93 - 2.58065 x94 + .230415 x136 - 1.52074 x148 - 1.47465 x152 + .184332 x157 + 2.35023 x168 + [ x87 * x194 + x88 * x194 + x89 * x194 + x90 * x194 + x91 * x194 + x92 * x194 + x93 * x194 + x94 * x194 ] = 0 e114: - 2.58065 x95 - 2.58065 x96 - 2.58065 x97 - 2.58065 x98 - 2.58065 x99 - 2.58065 x100 + 4.60829e-2 x142 - 1.52074 x149 - 1.47465 x153 + .184332 x158 + [ x95 * x195 + x96 * x195 + x97 * x195 + x98 * x195 + x99 * x195 + x100 * x195 ] = 0 e115: - 2.58065 x101 - 2.58065 x102 - .967742 x116 + 1.52074 x163 + [ x101 * x196 + x102 * x196 ] = 0 e116: - 3.54839 x103 + 4.60829e-2 x120 - 9.21659e-2 x129 + 1.01382 x143 + 1.15207 x159 + 2.48848 x164 - 3.54839 x210 + [ x103 * x197 + x197 * x210 ] = 0 e117: - 6.12903 x104 - 6.12903 x105 - 6.12903 x106 - 6.12903 x107 - 6.12903 x108 - 6.12903 x109 - 6.12903 x110 + 2.62673 x121 + 2.48848 x130 + 3.7788 x137 + 3.59447 x144 + 2.07373 x154 + 3.73272 x160 + 5.06912 x165 + 5.89862 x169 + [ x104 * x198 + x105 * x198 + x106 * x198 + x107 * x198 + x108 * x198 + x109 * x198 + x110 * x198 ] = 0 e118: - 6.08295 x111 - 6.08295 x112 + 5.9447 x124 + 2.4424 x131 + 3.73272 x138 + 3.54839 x145 + 3.68664 x161 + 5.02304 x166 + [ x111 * x199 + x112 * x199 ] = 0 e119: 2.4424 x2 + 2.39631 x25 + 3.96313 x32 + .921659 x48 + 9.21659e-2 x54 - .138249 x61 - .138249 x71 - .138249 x78 - .138249 x95 - .138249 x104 - .138249 x210 + [ x61 * x190 + x71 * x191 + x78 * x193 + x95 * x195 + x104 * x198 + x197 * x210 ] >= 0 e120: - 7.41935 x2 - 7.46544 x25 - 5.89862 x32 - 8.94009 x48 - 9.76959 x54 - 10 x61 - 10 x71 - 10 x78 - 10 x95 - 10 x104 - 10 x210 + [ x61 * x190 + x71 * x191 + x78 * x193 + x95 * x195 + x104 * x198 + x197 * x210 ] <= 0 e121: 2.21198 x22 + 2.39631 x26 + 9.21659e-2 x55 - .138249 x62 - .138249 x73 - .138249 x96 - .138249 x105 - .138249 x111 + [ x62 * x190 + x73 * x192 + x96 * x195 + x105 * x198 + x111 * x199 ] >= 0 e122: - 4.51613 x22 - 4.3318 x26 - 6.63594 x55 - 6.86636 x62 - 6.86636 x73 - 6.86636 x96 - 6.86636 x105 - 6.86636 x111 + [ x62 * x190 + x73 * x192 + x96 * x195 + x105 * x198 + x111 * x199 ] <= 0 e123: 2.4424 x3 + 3.36406 x11 + 2.21198 x23 + 2.39631 x27 + 3.91705 x37 + .921659 x49 - .138249 x63 - .138249 x79 - .138249 x87 - .138249 x97 - .138249 x106 + [ x63 * x190 + x79 * x193 + x87 * x194 + x97 * x195 + x106 * x198 ] >= 0 e124: - 1.42857 x3 - .506912 x11 - 1.65899 x23 - 1.47465 x27 + 4.60829e-2 x37 - 2.94931 x49 - 4.00922 x63 - 4.00922 x79 - 4.00922 x87 - 4.00922 x97 - 4.00922 x106 + [ x63 * x190 + x79 * x193 + x87 * x194 + x97 * x195 + x106 * x198 ] <= 0 e125: 2.4424 x4 + 3.36406 x12 + 3.96313 x33 + 3.91705 x38 + 2.25806 x45 + 9.21659e-2 x56 - .138249 x64 - .138249 x74 - .138249 x80 - .138249 x88 - .138249 x101 + .921659 x212 + [ x64 * x190 + x74 * x192 + x80 * x193 + x88 * x194 + x101 * x196 ] >= 0 e126: - 4.97696 x4 - 4.0553 x12 - 3.45622 x33 - 3.5023 x38 - 5.16129 x45 - 7.32719 x56 - 7.5576 x64 - 7.5576 x74 - 7.5576 x80 - 7.5576 x88 - 7.5576 x101 - 6.4977 x212 + [ x64 * x190 + x74 * x192 + x80 * x193 + x88 * x194 + x101 * x196 ] <= 0 e127: 3.36406 x13 + 3.5023 x19 + 3.91705 x39 + .921659 x50 + 9.21659e-2 x57 - .138249 x65 - .138249 x81 - .138249 x89 - .138249 x107 + [ x65 * x190 + x81 * x193 + x89 * x194 + x107 * x198 ] >= 0 e128: - 4.37788 x13 - 7.74194 x15 - 4.23963 x19 - 3.82488 x39 - 6.82028 x50 - 7.64977 x57 - 7.88018 x65 - 7.88018 x81 - 7.88018 x89 - 7.88018 x107 + [ x65 * x190 + x81 * x193 + x89 * x194 + x107 * x198 ] <= 0 e129: 2.39631 x28 + 3.96313 x34 + 3.91705 x40 + 2.25806 x46 + .921659 x51 - .138249 x66 - .138249 x82 - .138249 x90 - .138249 x103 + 9.21659e-2 x213 + [ x66 * x190 + x82 * x193 + x90 * x194 + x103 * x197 ] >= 0 e130: 9.21659e-2 x28 + 1.65899 x34 + 1.6129 x40 - 4.60829e-2 x46 - 1.38249 x51 - 2.4424 x66 - 2.4424 x82 - 2.4424 x90 - 2.4424 x103 - 2.21198 x213 + [ x66 * x190 + x82 * x193 + x90 * x194 + x103 * x197 ] <= 0 e131: 2.39631 x29 + 3.91705 x41 + 9.21659e-2 x58 - .138249 x67 - .138249 x75 - .138249 x83 - .138249 x91 - .138249 x98 - .138249 x102 - .138249 x108 + [ x67 * x190 + x75 * x192 + x83 * x193 + x91 * x194 + x98 * x195 + x102 * x196 + x108 * x198 ] >= 0 e132: - 6.35945 x16 - 3.96313 x29 - 2.4424 x41 - 6.26728 x58 - 6.4977 x67 - 6.4977 x75 - 6.4977 x83 - 6.4977 x91 - 6.4977 x98 - 6.4977 x102 - 6.4977 x108 + [ x67 * x190 + x75 * x192 + x83 * x193 + x91 * x194 + x98 * x195 + x102 * x196 + x108 * x198 ] <= 0 e133: 3.41014 x7 + 3.5023 x20 + 2.39631 x30 + 3.91705 x42 + 2.25806 x47 - .138249 x68 - .138249 x76 - .138249 x84 - .138249 x92 + [ x68 * x190 + x76 * x192 + x84 * x193 + x92 * x194 ] >= 0 e134: - 2.85714 x7 - 2.76498 x20 - 3.87097 x30 - 2.35023 x42 - 4.00922 x47 - 6.40553 x68 - 6.40553 x76 - 6.40553 x84 - 6.40553 x92 + [ x68 * x190 + x76 * x192 + x84 * x193 + x92 * x194 ] <= 0 e135: 2.4424 x5 + 3.41014 x8 + 3.5023 x21 + 3.91705 x43 + .921659 x52 + 9.21659e-2 x59 - .138249 x77 - .138249 x85 - .138249 x93 - .138249 x99 - .138249 x109 + [ x77 * x192 + x85 * x193 + x93 * x194 + x99 * x195 + x109 * x198 ] >= 0 e136: - 2.48848 x5 - 1.52074 x8 - 4.93088 x17 - 1.42857 x21 - 1.01382 x43 - 4.00922 x52 - 4.83871 x59 - 5.06912 x77 - 5.06912 x85 - 5.06912 x93 - 5.06912 x99 - 5.06912 x109 + [ x77 * x192 + x85 * x193 + x93 * x194 + x99 * x195 + x109 * x198 ] <= 0 e137: 2.4424 x6 + 3.41014 x9 + 3.36406 x14 + 2.21198 x24 + 3.96313 x35 + .921659 x53 + 9.21659e-2 x60 - .138249 x69 - .138249 x112 + 3.5023 x211 + [ x69 * x190 + x112 * x199 ] >= 0 e138: - .78341 x6 + .184332 x9 + .138249 x14 - 1.01382 x24 + .737327 x35 - 2.30415 x53 - 3.13364 x60 - 3.36406 x69 - 3.36406 x112 + .276498 x211 + [ x69 * x190 + x112 * x199 ] <= 0 e139: 3.41014 x10 + 2.39631 x31 + 3.96313 x36 + 3.91705 x44 - .138249 x70 - .138249 x72 - .138249 x86 - .138249 x94 - .138249 x100 - .138249 x110 + [ x70 * x190 + x72 * x191 + x86 * x193 + x94 * x194 + x100 * x195 + x110 * x198 ] >= 0 e140: - 5.9447 x10 - 9.35484 x18 - 6.95853 x31 - 5.39171 x36 - 5.43779 x44 - 9.49309 x70 - 9.49309 x72 - 9.49309 x86 - 9.49309 x94 - 9.49309 x100 - 9.49309 x110 + [ x70 * x190 + x72 * x191 + x86 * x193 + x94 * x194 + x100 * x195 + x110 * x198 ] <= 0 e141: - 3.89163 x61 - 3.89163 x62 - 3.89163 x63 - 3.89163 x64 - 3.89163 x65 - 3.89163 x66 - 3.89163 x67 - 3.89163 x68 - 3.89163 x69 - 3.89163 x70 + .8867 x113 - 4.92611e-2 x117 + 3.49754 x122 + 3.34975 x125 + 2.36453 x132 - 4.92611e-2 x139 + 2.0197 x146 + .295567 x150 + 1.33005 x155 + 2.9064 x162 - .295567 x167 + [ x61 * x200 + x62 * x200 + x63 * x200 + x64 * x200 + x65 * x200 + x66 * x200 + x67 * x200 + x68 * x200 + x69 * x200 + x70 * x200 ] = 0 e142: - 3.94089 x118 - .394089 x123 - .541872 x126 - 1.52709 x133 + [ x71 * x201 + x72 * x201 ] = 0 e143: - 3.00493 x114 - .541872 x127 - 1.52709 x134 - 3.94089 x140 + [ x73 * x202 + x74 * x202 + x75 * x202 + x76 * x202 + x77 * x202 ] = 0 e144: - 3.89163 x78 - 3.89163 x79 - 3.89163 x80 - 3.89163 x81 - 3.89163 x82 - 3.89163 x83 - 3.89163 x84 - 3.89163 x85 - 3.89163 x86 + .8867 x115 - 4.92611e-2 x119 + 3.34975 x128 + 2.36453 x135 - 4.92611e-2 x141 + 2.0197 x147 + .295567 x151 + 1.33005 x156 + [ x78 * x203 + x79 * x203 + x80 * x203 + x81 * x203 + x82 * x203 + x83 * x203 + x84 * x203 + x85 * x203 + x86 * x203 ] = 0 e145: - 3.89163 x87 - 3.89163 x88 - 3.89163 x89 - 3.89163 x90 - 3.89163 x91 - 3.89163 x92 - 3.89163 x93 - 3.89163 x94 + 2.36453 x136 + 2.0197 x148 + .295567 x152 + 1.33005 x157 - .295567 x168 + [ x87 * x204 + x88 * x204 + x89 * x204 + x90 * x204 + x91 * x204 + x92 * x204 + x93 * x204 + x94 * x204 ] = 0 e146: - 3.89163 x95 - 3.89163 x96 - 3.89163 x97 - 3.89163 x98 - 3.89163 x99 - 3.89163 x100 - 4.92611e-2 x142 + 2.0197 x149 + .295567 x153 + 1.33005 x158 + [ x95 * x205 + x96 * x205 + x97 * x205 + x98 * x205 + x99 * x205 + x100 * x205 ] = 0 e147: - 3.89163 x101 - 3.89163 x102 + .8867 x116 + 2.9064 x163 + [ x101 * x206 + x102 * x206 ] = 0 e148: - 3.00493 x103 - .935961 x120 + 2.46305 x129 - .935961 x143 + .44335 x159 + 2.0197 x164 - 3.00493 x210 + [ x103 * x207 + x207 * x210 ] = 0 e149: - 6.89655 x104 - 6.89655 x105 - 6.89655 x106 - 6.89655 x107 - 6.89655 x108 - 6.89655 x109 - 6.89655 x110 + 2.95567 x121 + 6.35468 x130 + 5.36946 x137 + 2.95567 x144 + 3.30049 x154 + 4.33498 x160 + 5.91133 x165 + 2.70936 x169 + [ x104 * x208 + x105 * x208 + x106 * x208 + x107 * x208 + x108 * x208 + x109 * x208 + x110 * x208 ] = 0 e150: - 7.83251 x111 - 7.83251 x112 + 7.43842 x124 + 7.29064 x131 + 6.30542 x138 + 3.89163 x145 + 5.27094 x161 + 6.84729 x166 + [ x111 * x209 + x112 * x209 ] = 0 e151: 3.49754 x2 + 3.5468 x25 + 1.47783 x32 + .591133 x48 + 3.7931 x54 - .394089 x61 - .394089 x71 - .394089 x78 - .394089 x95 - .394089 x104 - .394089 x210 + [ x61 * x200 + x71 * x201 + x78 * x203 + x95 * x205 + x104 * x208 + x207 * x210 ] >= 0 e152: 4.92611e-2 x25 - 2.0197 x32 - 2.9064 x48 + .295567 x54 - 3.89163 x61 - 3.89163 x71 - 3.89163 x78 - 3.89163 x95 - 3.89163 x104 - 3.89163 x210 + [ x61 * x200 + x71 * x201 + x78 * x203 + x95 * x205 + x104 * x208 + x207 * x210 ] <= 0 e153: 1.133 x22 + 3.5468 x26 + 3.7931 x55 - .394089 x62 - .394089 x73 - .394089 x96 - .394089 x105 - .394089 x111 + [ x62 * x200 + x73 * x202 + x96 * x205 + x105 * x208 + x111 * x209 ] >= 0 e154: - 4.38424 x22 - 1.97044 x26 - 1.72414 x55 - 5.91133 x62 - 5.91133 x73 - 5.91133 x96 - 5.91133 x105 - 5.91133 x111 + [ x62 * x200 + x73 * x202 + x96 * x205 + x105 * x208 + x111 * x209 ] <= 0 e155: 3.49754 x3 + 3.5468 x11 + 1.133 x23 + 3.5468 x27 + 3.20197 x37 + .591133 x49 - .394089 x63 - .394089 x79 - .394089 x87 - .394089 x97 - .394089 x106 + [ x63 * x200 + x79 * x203 + x87 * x204 + x97 * x205 + x106 * x208 ] >= 0 e156: 1.23153 x3 + 1.28079 x11 - 1.133 x23 + 1.28079 x27 + .935961 x37 - 1.67488 x49 - 2.6601 x63 - 2.6601 x79 - 2.6601 x87 - 2.6601 x97 - 2.6601 x106 + [ x63 * x200 + x79 * x203 + x87 * x204 + x97 * x205 + x106 * x208 ] <= 0 e157: 3.49754 x4 + 3.5468 x12 + 1.47783 x33 + 3.20197 x38 + 2.16749 x45 + 3.7931 x56 - .394089 x64 - .394089 x74 - .394089 x80 - .394089 x88 - .394089 x101 + .591133 x212 + [ x64 * x200 + x74 * x202 + x80 * x203 + x88 * x204 + x101 * x206 ] >= 0 e158: - 4.92611e-2 x4 - 2.06897 x33 - .344828 x38 - 1.37931 x45 + .246305 x56 - 3.94089 x64 - 3.94089 x74 - 3.94089 x80 - 3.94089 x88 - 3.94089 x101 - 2.95567 x212 + [ x64 * x200 + x74 * x202 + x80 * x203 + x88 * x204 + x101 * x206 ] <= 0 e159: 3.5468 x13 + .147783 x19 + 3.20197 x39 + .591133 x50 + 3.7931 x57 - .394089 x65 - .394089 x81 - .394089 x89 - .394089 x107 + [ x65 * x200 + x81 * x203 + x89 * x204 + x107 * x208 ] >= 0 e160: - .541872 x13 - 4.08867 x15 - 3.94089 x19 - .8867 x39 - 3.49754 x50 - .295567 x57 - 4.48276 x65 - 4.48276 x81 - 4.48276 x89 - 4.48276 x107 + [ x65 * x200 + x81 * x203 + x89 * x204 + x107 * x208 ] <= 0 e161: 3.5468 x28 + 1.47783 x34 + 3.20197 x40 + 2.16749 x46 + .591133 x51 - .394089 x66 - .394089 x82 - .394089 x90 - .394089 x103 + 3.7931 x213 + [ x66 * x200 + x82 * x203 + x90 * x204 + x103 * x207 ] >= 0 e162: - 6.05911 x28 - 8.12808 x34 - 6.40394 x40 - 7.43842 x46 - 9.01478 x51 - 10 x66 - 10 x82 - 10 x90 - 10 x103 - 5.81281 x213 + [ x66 * x200 + x82 * x203 + x90 * x204 + x103 * x207 ] <= 0 e163: 3.5468 x29 + 3.20197 x41 + 3.7931 x58 - .394089 x67 - .394089 x75 - .394089 x83 - .394089 x91 - .394089 x98 - .394089 x102 - .394089 x108 + [ x67 * x200 + x75 * x202 + x83 * x203 + x91 * x204 + x98 * x205 + x102 * x206 + x108 * x208 ] >= 0 e164: - 3.64532 x16 - 9.85222e-2 x29 - .44335 x41 + .147783 x58 - 4.03941 x67 - 4.03941 x75 - 4.03941 x83 - 4.03941 x91 - 4.03941 x98 - 4.03941 x102 - 4.03941 x108 + [ x67 * x200 + x75 * x202 + x83 * x203 + x91 * x204 + x98 * x205 + x102 * x206 + x108 * x208 ] <= 0 e165: 2.61084 x7 + .147783 x20 + 3.5468 x30 + 3.20197 x42 + 2.16749 x47 - .394089 x68 - .394089 x76 - .394089 x84 - .394089 x92 + [ x68 * x200 + x76 * x202 + x84 * x203 + x92 * x204 ] >= 0 e166: - 2.56158 x7 - 5.02463 x20 - 1.62562 x30 - 1.97044 x42 - 3.00493 x47 - 5.5665 x68 - 5.5665 x76 - 5.5665 x84 - 5.5665 x92 + [ x68 * x200 + x76 * x202 + x84 * x203 + x92 * x204 ] <= 0 e167: 3.49754 x5 + 2.61084 x8 + .147783 x21 + 3.20197 x43 + .591133 x52 + 3.7931 x59 - .394089 x77 - .394089 x85 - .394089 x93 - .394089 x99 - .394089 x109 + [ x77 * x202 + x85 * x203 + x93 * x204 + x99 * x205 + x109 * x208 ] >= 0 e168: - 1.37931 x5 - 2.26601 x8 - 4.87685 x17 - 4.72906 x21 - 1.67488 x43 - 4.28571 x52 - 1.08374 x59 - 5.27094 x77 - 5.27094 x85 - 5.27094 x93 - 5.27094 x99 - 5.27094 x109 + [ x77 * x202 + x85 * x203 + x93 * x204 + x99 * x205 + x109 * x208 ] <= 0 e169: 3.49754 x6 + 2.61084 x9 + 3.5468 x14 + 1.133 x24 + 1.47783 x35 + .591133 x53 + 3.7931 x60 - .394089 x69 - .394089 x112 + .147783 x211 + [ x69 * x200 + x112 * x209 ] >= 0 e170: 4.92611e-2 x6 - .837438 x9 + 9.85222e-2 x14 - 2.31527 x24 - 1.97044 x35 - 2.85714 x53 + .344828 x60 - 3.84236 x69 - 3.84236 x112 - 3.30049 x211 + [ x69 * x200 + x112 * x209 ] <= 0 e171: 2.61084 x10 + 3.5468 x31 + 1.47783 x36 + 3.20197 x44 - .394089 x70 - .394089 x72 - .394089 x86 - .394089 x94 - .394089 x100 - .394089 x110 + [ x70 * x200 + x72 * x201 + x86 * x203 + x94 * x204 + x100 * x205 + x110 * x208 ] >= 0 e172: - 4.08867 x10 - 6.69951 x18 - 3.15271 x31 - 5.22167 x36 - 3.49754 x44 - 7.0936 x70 - 7.0936 x72 - 7.0936 x86 - 7.0936 x94 - 7.0936 x100 - 7.0936 x110 + [ x70 * x200 + x72 * x201 + x86 * x203 + x94 * x204 + x100 * x205 + x110 * x208 ] <= 0 Bounds x2 <= 4.21941e-2 x3 <= 6.32911e-2 x4 <= 1.81435 x5 <= .400844 x6 <= .843882 x7 <= 1.54008 x8 <= .400844 x9 <= .843882 x10 <= .464135 x11 <= 6.32911e-2 x12 <= 1.81435 x13 <= .970464 x14 <= .843882 x15 <= .970464 x16 <= 1.49789 x17 <= .400844 x18 <= .464135 x19 <= .970464 x20 <= 1.54008 x21 <= .400844 x22 <= 1.81435 x23 <= 6.32911e-2 x24 <= .843882 x25 <= 4.21941e-2 x26 <= 1.81435 x27 <= 6.32911e-2 x28 <= .548523 x29 <= 1.49789 x30 <= 1.54008 x31 <= .464135 x32 <= 4.21941e-2 x33 <= 1.81435 x34 <= .548523 x35 <= .843882 x36 <= .464135 x37 <= 6.32911e-2 x38 <= 1.81435 x39 <= .970464 x40 <= .548523 x41 <= 1.49789 x42 <= 1.54008 x43 <= .400844 x44 <= .464135 x45 <= 1.81435 x46 <= .548523 x47 <= 1.54008 x48 <= 4.21941e-2 x49 <= 6.32911e-2 x50 <= .970464 x51 <= .548523 x52 <= .400844 x53 <= .843882 x54 <= 4.21941e-2 x55 <= 1.81435 x56 <= 1.81435 x57 <= .970464 x58 <= 1.49789 x59 <= .400844 x60 <= .843882 x61 <= 4.21941e-2 x62 <= 1.81435 x63 <= 6.32911e-2 x64 <= 1.81435 x65 <= .970464 x66 <= .548523 x67 <= 1.49789 x68 <= 1.54008 x69 <= .843882 x70 <= .464135 x71 <= 4.21941e-2 x72 <= .464135 x73 <= 1.81435 x74 <= 1.81435 x75 <= 1.49789 x76 <= 1.54008 x77 <= .400844 x78 <= 4.21941e-2 x79 <= 6.32911e-2 x80 <= 1.81435 x81 <= .970464 x82 <= .548523 x83 <= 1.49789 x84 <= 1.54008 x85 <= .400844 x86 <= .464135 x87 <= 6.32911e-2 x88 <= 1.81435 x89 <= .970464 x90 <= .548523 x91 <= 1.49789 x92 <= 1.54008 x93 <= .400844 x94 <= .464135 x95 <= 4.21941e-2 x96 <= 1.81435 x97 <= 6.32911e-2 x98 <= 1.49789 x99 <= .400844 x100 <= .464135 x101 <= 1.81435 x102 <= 1.49789 x103 <= .548523 x104 <= 4.21941e-2 x105 <= 1.81435 x106 <= 6.32911e-2 x107 <= .970464 x108 <= 1.49789 x109 <= .400844 x110 <= .464135 x111 <= 1.81435 x112 <= .843882 x113 <= 10 x114 <= 10 x115 <= 10 x116 <= 10 x117 <= 10 x118 <= 10 x119 <= 10 x120 <= 10 x121 <= 10 x122 <= 10 x123 <= 10 x124 <= 10 x125 <= 10 x126 <= 10 x127 <= 10 x128 <= 10 x129 <= 10 x130 <= 10 x131 <= 10 x132 <= 10 x133 <= 10 x134 <= 10 x135 <= 10 x136 <= 10 x137 <= 10 x138 <= 10 x139 <= 10 x140 <= 10 x141 <= 10 x142 <= 10 x143 <= 10 x144 <= 10 x145 <= 10 x146 <= 10 x147 <= 10 x148 <= 10 x149 <= 10 x150 <= 10 x151 <= 10 x152 <= 10 x153 <= 10 x154 <= 10 x155 <= 10 x156 <= 10 x157 <= 10 x158 <= 10 x159 <= 10 x160 <= 10 x161 <= 10 x162 <= 10 x163 <= 10 x164 <= 10 x165 <= 10 x166 <= 10 x167 <= 10 x168 <= 10 x169 <= 10 .565217 <= x170 <= 4.26087 2.69565 <= x171 <= 4.26087 .565217 <= x172 <= 4.26087 .565217 <= x173 <= 4.26087 .695652 <= x174 <= 4.26087 .565217 <= x175 <= 3.47826 1.34783 <= x176 <= 3.56522 .565217 <= x177 <= 4.26087 .565217 <= x178 <= 4.26087 .565217 <= x179 <= 4.26087 .160643 <= x180 <= 3.65462 .160643 <= x181 <= 3.65462 .160643 <= x182 <= 2.57028 .160643 <= x183 <= 3.65462 .160643 <= x184 <= 2.85141 .281124 <= x185 <= 2.85141 .843373 <= x186 <= 3.65462 .281124 <= x187 <= 3.65462 .160643 <= x188 <= 3.65462 .160643 <= x189 <= 3.65462 .138249 <= x190 <= 4.10138 .138249 <= x191 <= 3.64055 2.35023 <= x192 <= 3.64055 2.35023 <= x193 <= 4.10138 .230415 <= x194 <= 4.10138 2.39631 <= x195 <= 4.10138 1.05991 <= x196 <= 3.54839 1.05991 <= x197 <= 3.64055 .230415 <= x198 <= 4.0553 .138249 <= x199 <= 3.64055 .394089 <= x200 <= 4.18719 .394089 <= x201 <= 3.94089 .541872 <= x202 <= 3.94089 .541872 <= x203 <= 3.94089 1.52709 <= x204 <= 4.18719 1.87192 <= x205 <= 3.94089 .985222 <= x206 <= 3.89163 .541872 <= x207 <= 3.94089 .541872 <= x208 <= 4.18719 .394089 <= x209 <= 3.94089 x210 <= 4.21941e-2 x211 <= .843882 x212 <= 1.81435 x213 <= .548523 End