\ Equation counts \ Total E G L N X C B \ 1456 0 0 1456 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 182 66 116 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 4549 4368 181 0 \ Minimize obj: 18 b2 + 18 b3 + b4 - 3 b5 - 5 b6 + 6 b7 + 3 b8 - 5 b9 - 8 b10 + 11 b11 + 13 b12 + 4 b13 + 2 b14 - 2 b15 - 9 b16 - 2 b17 - 4 b18 - 2 b19 - 3 b20 - 5 b21 - 8 b22 - 15 b23 - 18 b24 + 2 b25 + 4 b26 - 25 b27 - 18 b28 - 29 b29 - 11 b30 - 12 b31 - 24 b32 - 23 b33 - 24 b34 - 29 b35 - 34 b36 - 17 b37 + 12 b38 - b39 + 19 b40 + 6 b41 + 2 b42 + b43 - b44 - 15 b45 + 8 b46 - 13 b47 + 9 b48 - 12 b49 - 8 b50 - 10 b51 - 13 b52 - 26 b53 - 2 b54 + 23 b55 + 8 b56 - b57 + 4 b58 + 3 b59 - 16 b60 + 11 b61 - 6 b62 - 19 b63 - 18 b64 - 18 b65 - 23 b66 - 31 b67 - 10 b68 - 6 b69 - 5 b70 - 5 b71 - 8 b72 - 17 b73 - b74 + 5 b75 + 2 b76 + b77 - 15 b78 + 9 b79 - 4 b80 - 17 b81 + 8 b82 - 3 b83 - 16 b84 + 6 b85 - 16 b86 + 11 b87 + 20 b88 - 10 b89 - 2 b90 - 10 b91 - 11 b92 + b93 - 13 b94 - 5 b95 + 13 b96 - 20 b97 - 13 b98 - 5 b99 + 8 b100 - 11 b101 + 4 b102 - 6 b103 + 6 b104 - 23 b105 - 14 b106 - 16 b107 - 7 b108 - 15 b109 - 4 b110 - 15 b111 - 9 b112 + 4 x113 + 3 x114 + 13 x115 - 7 x116 + 9 x117 + 7 x118 + 8 x119 - 6 x120 - 2 x121 + x122 - 3 x123 - x124 + 11 x125 - 15 x126 + 8 x127 + x128 + 6 x129 - 17 x130 - 8 x131 - 6 x132 - 10 x133 + 13 x134 - 17 x135 + 10 x136 + 2 x137 + 8 x138 - 18 x139 - 7 x140 - 6 x141 - 12 x142 - 27 x143 - 3 x144 - 10 x145 - 5 x146 - 31 x147 - 21 x148 - 19 x149 - 23 x150 + 21 x151 + 19 x152 + 19 x153 + 4 x154 + 10 x155 + 10 x156 + x157 - 6 x158 - x159 - 24 x160 - 16 x161 - 13 x162 - 15 x163 + 4 x164 - 21 x165 - 10 x166 - 10 x167 - 16 x168 - 22 x169 - 14 x170 - 11 x171 - 13 x172 + 10 x173 + 9 x174 - x175 + 2 x176 - 4 x177 - 6 x178 + 0 b179 + 0 b180 + 0 b181 + 0 b182 + 0 b183 + [ - 4 b2 * b89 - 4 b2 * b90 + 4 b2 * b92 + 4 b2 * b93 + 4 b2 * b94 - 4 b2 * b105 - 4 b2 * b106 + 4 b2 * b107 + 4 b2 * b108 - 4 b2 * b109 - 4 b2 * b110 - 4 b2 * b111 - 4 b2 * b112 + 4 b2 * x113 + 4 b2 * x114 + 4 b2 * x115 + 4 b2 * x117 + 4 b2 * x118 + 4 b2 * x119 + 4 b2 * x121 - 4 b2 * x125 - 4 b2 * x127 - 4 b2 * x128 - 4 b2 * x129 - 4 b2 * x130 - 4 b2 * x132 - 4 b2 * x133 - 4 b2 * x134 - 4 b2 * x136 - 4 b2 * x137 - 4 b2 * x138 - 4 b2 * x139 - 4 b2 * x141 - 4 b2 * x142 - 4 b2 * x147 + 4 b2 * x148 - 4 b2 * x149 - 4 b2 * x150 - 4 b2 * x160 + 4 b2 * x161 - 4 b2 * x162 - 4 b2 * x163 - 4 b2 * x165 + 4 b2 * x166 - 4 b2 * x167 - 4 b2 * x168 - 4 b2 * x169 + 4 b2 * x170 - 4 b2 * x171 - 4 b2 * x172 + 4 b2 * x173 - 4 b2 * x176 - 4 b2 * x177 + 4 b2 * b179 - 4 b3 * b89 - 4 b3 * b90 - 4 b3 * b91 - 4 b3 * b92 - 4 b3 * b94 - 4 b3 * b95 - 4 b3 * b97 - 4 b3 * b98 - 4 b3 * b99 + 4 b3 * b102 - 4 b3 * b103 - 4 b3 * b107 - 4 b3 * b109 - 4 b3 * b110 - 4 b3 * b111 - 4 b3 * b112 + 4 b3 * x113 + 4 b3 * x114 + 4 b3 * x115 + 4 b3 * x117 + 4 b3 * x118 + 4 b3 * x119 + 4 b3 * x121 - 4 b3 * x126 + 4 b3 * x128 - 4 b3 * x132 - 4 b3 * x133 - 4 b3 * x135 + 4 b3 * x137 - 4 b3 * x141 - 4 b3 * x142 - 4 b3 * x143 + 4 b3 * x145 - 4 b3 * x149 - 4 b3 * x150 + 4 b3 * x151 + 4 b3 * x152 + 4 b3 * x153 + 4 b3 * x155 + 4 b3 * x158 - 4 b3 * x162 - 4 b3 * x163 - 4 b3 * x164 - 4 b3 * x166 - 4 b3 * x167 - 4 b3 * x168 - 4 b3 * x171 - 4 b3 * x172 - 4 b3 * x176 - 4 b3 * x177 + 4 b4 * b89 + 4 b4 * b91 + 4 b4 * b92 + 4 b4 * b93 + 4 b4 * b94 + 4 b4 * b95 + 4 b4 * b97 + 4 b4 * b98 + 4 b4 * b99 - 4 b4 * b102 + 4 b4 * b103 - 4 b4 * b106 + 4 b4 * b107 + 4 b4 * b108 + 4 b4 * b109 + 4 b4 * b111 + 4 b4 * x113 + 4 b4 * x114 + 4 b4 * x116 - 4 b4 * x118 - 4 b4 * x120 + 4 b4 * x121 - 4 b4 * x125 - 4 b4 * x127 - 4 b4 * x128 - 4 b4 * x129 - 4 b4 * x130 - 4 b4 * x132 - 4 b4 * x133 - 4 b4 * x134 - 4 b4 * x136 - 4 b4 * x137 - 4 b4 * x138 - 4 b4 * x139 - 4 b4 * x141 - 4 b4 * x142 + 4 b4 * x143 - 4 b4 * x145 - 4 b4 * x147 + 4 b4 * x148 - 4 b4 * x151 - 4 b4 * x152 - 4 b4 * x153 - 4 b4 * x154 - 4 b4 * x156 - 4 b4 * x157 - 4 b4 * x158 - 4 b4 * x160 + 4 b4 * x161 + 4 b4 * x164 + 4 b4 * x166 + 4 b4 * x167 + 4 b4 * x168 - 4 b4 * x169 + 4 b4 * x170 + 4 b4 * x173 + 4 b4 * x174 + 4 b4 * x175 - 4 b4 * x176 - 4 b4 * x177 + 4 b4 * b179 - 4 b5 * b89 - 4 b5 * b90 + 4 b5 * b92 + 4 b5 * b93 + 4 b5 * b94 + 4 b5 * b107 + 4 b5 * b108 + 4 b5 * x113 + 4 b5 * x114 + 4 b5 * x115 + 4 b5 * x117 + 4 b5 * x118 + 4 b5 * x119 + 4 b5 * x120 + 4 b5 * x121 + 4 b5 * x122 + 4 b5 * x123 - 4 b5 * x125 - 4 b5 * x127 - 4 b5 * x128 - 4 b5 * x129 - 4 b5 * x130 - 4 b5 * x132 - 4 b5 * x133 - 4 b5 * x134 - 4 b5 * x136 - 4 b5 * x137 - 4 b5 * x138 - 4 b5 * x139 - 4 b5 * x141 - 4 b5 * x142 + 4 b5 * x148 + 4 b5 * x161 + 4 b5 * x166 + 4 b5 * x170 + 4 b5 * x173 - 4 b5 * x176 - 4 b5 * x177 + 4 b5 * b179 - 4 b6 * b89 - 4 b6 * b90 - 4 b6 * b91 - 4 b6 * b92 - 4 b6 * b94 - 4 b6 * b95 - 4 b6 * b97 - 4 b6 * b98 - 4 b6 * b99 + 4 b6 * b102 - 4 b6 * b103 + 4 b6 * b106 - 4 b6 * b107 - 4 b6 * b109 - 4 b6 * b111 + 4 b6 * x113 + 4 b6 * x114 + 4 b6 * x115 + 4 b6 * x117 + 4 b6 * x118 + 4 b6 * x119 + 4 b6 * x120 + 4 b6 * x121 + 4 b6 * x122 + 4 b6 * x123 - 4 b6 * x126 + 4 b6 * x128 + 4 b6 * x130 - 4 b6 * x135 + 4 b6 * x137 + 4 b6 * x139 - 4 b6 * x143 + 4 b6 * x145 + 4 b6 * x147 + 4 b6 * x151 + 4 b6 * x152 + 4 b6 * x153 + 4 b6 * x154 + 4 b6 * x155 + 4 b6 * x156 + 4 b6 * x157 + 4 b6 * x158 + 4 b6 * x160 - 4 b6 * x164 - 4 b6 * x166 - 4 b6 * x167 - 4 b6 * x168 + 4 b6 * x169 - 4 b6 * x173 - 4 b6 * x174 - 4 b6 * x175 + 4 b7 * b90 - 4 b7 * b91 + 4 b7 * b92 + 4 b7 * b93 + 4 b7 * b94 + 4 b7 * b96 + 4 b7 * b97 + 4 b7 * b98 + 4 b7 * b100 + 4 b7 * b102 + 4 b7 * b104 + 4 b7 * b106 + 4 b7 * b107 + 4 b7 * b108 + 4 b7 * b110 - 4 b7 * b111 + 4 b7 * x113 + 4 b7 * x114 + 4 b7 * x116 + 4 b7 * x121 - 4 b7 * x123 - 4 b7 * x125 - 4 b7 * x127 - 4 b7 * x128 - 4 b7 * x129 - 4 b7 * x130 - 4 b7 * x132 - 4 b7 * x133 - 4 b7 * x134 - 4 b7 * x136 - 4 b7 * x137 - 4 b7 * x138 - 4 b7 * x139 - 4 b7 * x141 - 4 b7 * x142 + 4 b7 * x143 + 4 b7 * x148 - 4 b7 * x150 - 4 b7 * x151 - 4 b7 * x152 - 4 b7 * x153 - 4 b7 * x154 - 4 b7 * x156 - 4 b7 * x157 + 4 b7 * x161 - 4 b7 * x163 + 4 b7 * x166 - 4 b7 * x168 + 4 b7 * x170 - 4 b7 * x172 + 4 b7 * x173 - 4 b7 * x175 - 4 b7 * x176 - 4 b7 * x177 - 4 b7 * x178 + 4 b7 * b179 - 4 b8 * b89 + 4 b8 * b90 - 4 b8 * b91 - 4 b8 * b92 + 4 b8 * b93 - 4 b8 * b94 - 4 b8 * b95 + 4 b8 * b96 - 4 b8 * b97 + 4 b8 * b98 - 4 b8 * b99 + 4 b8 * b100 + 4 b8 * b102 - 4 b8 * b103 + 4 b8 * b104 + 4 b8 * b106 - 4 b8 * b107 + 4 b8 * b108 - 4 b8 * b109 + 4 b8 * b110 - 4 b8 * b111 + 4 b8 * x118 + 4 b8 * x120 - 4 b8 * x123 + 4 b8 * x128 + 4 b8 * x130 - 4 b8 * x133 + 4 b8 * x137 + 4 b8 * x139 - 4 b8 * x142 + 4 b8 * x145 + 4 b8 * x147 - 4 b8 * x150 + 4 b8 * x152 + 4 b8 * x154 - 4 b8 * x157 + 4 b8 * x158 + 4 b8 * x160 - 4 b8 * x163 - 4 b8 * x164 - 4 b8 * x166 - 4 b8 * x167 - 4 b8 * x168 + 4 b8 * x169 - 4 b8 * x172 - 4 b8 * x173 - 4 b8 * x174 - 4 b8 * x175 - 4 b8 * x177 - 4 b8 * x178 + 4 b8 * b179 + 4 b9 * b89 + 4 b9 * b91 + 4 b9 * b92 + 4 b9 * b93 + 4 b9 * b94 + 4 b9 * b95 + 4 b9 * b97 + 4 b9 * b98 + 4 b9 * b99 + 4 b9 * b101 + 4 b9 * b103 + 4 b9 * b105 + 4 b9 * b107 + 4 b9 * b108 + 4 b9 * b109 + 4 b9 * b111 + 4 b9 * x113 + 4 b9 * x114 + 4 b9 * x116 + 4 b9 * x121 - 4 b9 * x125 - 4 b9 * x127 - 4 b9 * x128 - 4 b9 * x129 - 4 b9 * x130 - 4 b9 * x132 - 4 b9 * x133 - 4 b9 * x134 - 4 b9 * x136 - 4 b9 * x137 - 4 b9 * x138 - 4 b9 * x139 - 4 b9 * x141 - 4 b9 * x142 + 4 b9 * x143 + 4 b9 * x148 - 4 b9 * x151 - 4 b9 * x152 - 4 b9 * x153 - 4 b9 * x154 - 4 b9 * x156 - 4 b9 * x157 + 4 b9 * x161 + 4 b9 * x166 + 4 b9 * x170 + 4 b9 * x173 - 4 b9 * x176 - 4 b9 * x177 + 4 b9 * b179 + 4 b10 * b102 + 4 b10 * b106 + 4 b10 * x118 + 4 b10 * x120 + 4 b10 * x128 + 4 b10 * x130 + 4 b10 * x137 + 4 b10 * x139 + 4 b10 * x145 + 4 b10 * x147 + 4 b10 * x152 + 4 b10 * x154 + 4 b10 * x158 + 4 b10 * x160 - 4 b10 * x164 - 4 b10 * x166 - 4 b10 * x167 - 4 b10 * x168 + 4 b10 * x169 - 4 b10 * x173 - 4 b10 * x174 - 4 b10 * x175 + 4 b11 * b92 + 4 b11 * b93 + 4 b11 * b94 + 4 b11 * b107 + 4 b11 * b108 - 4 b11 * b111 - 4 b11 * b112 + 4 b11 * x113 + 4 b11 * x114 + 4 b11 * x121 - 4 b11 * x123 - 4 b11 * x125 - 4 b11 * x127 - 4 b11 * x128 - 4 b11 * x129 - 4 b11 * x130 - 4 b11 * x132 - 4 b11 * x133 - 4 b11 * x134 - 4 b11 * x136 - 4 b11 * x137 - 4 b11 * x138 - 4 b11 * x139 - 4 b11 * x141 - 4 b11 * x142 + 4 b11 * x148 - 4 b11 * x150 + 4 b11 * x161 - 4 b11 * x163 + 4 b11 * x166 - 4 b11 * x168 + 4 b11 * x170 - 4 b11 * x172 + 4 b11 * x173 - 4 b11 * x175 - 4 b11 * x176 - 4 b11 * x177 - 4 b11 * x178 + 4 b11 * b179 - 4 b12 * b89 - 4 b12 * b91 - 4 b12 * b92 - 4 b12 * b94 - 4 b12 * b95 - 4 b12 * b97 - 4 b12 * b98 - 4 b12 * b99 + 4 b12 * b102 - 4 b12 * b103 + 4 b12 * b106 - 4 b12 * b107 - 4 b12 * b109 - 4 b12 * b111 - 4 b12 * b112 - 4 b12 * x116 + 4 b12 * x118 + 4 b12 * x120 - 4 b12 * x123 - 4 b12 * x126 + 4 b12 * x128 + 4 b12 * x130 - 4 b12 * x133 - 4 b12 * x135 + 4 b12 * x137 + 4 b12 * x139 - 4 b12 * x142 - 4 b12 * x143 + 4 b12 * x145 + 4 b12 * x147 - 4 b12 * x150 + 4 b12 * x151 + 4 b12 * x152 + 4 b12 * x153 + 4 b12 * x154 + 4 b12 * x155 + 4 b12 * x156 + 4 b12 * x158 + 4 b12 * x160 - 4 b12 * x163 - 4 b12 * x164 - 4 b12 * x166 - 4 b12 * x167 - 4 b12 * x168 + 4 b12 * x169 - 4 b12 * x172 - 4 b12 * x173 - 4 b12 * x174 - 4 b12 * x175 - 4 b12 * x177 - 4 b12 * x178 - 4 b13 * b90 + 4 b13 * b91 + 4 b13 * b94 + 4 b13 * b95 + 4 b13 * b97 + 4 b13 * b98 - 4 b13 * b100 + 4 b13 * b101 - 4 b13 * b104 + 4 b13 * b105 + 4 b13 * b107 + 4 b13 * b108 - 4 b13 * b110 - 4 b13 * b112 + 4 b13 * x114 + 4 b13 * x115 + 4 b13 * x116 + 4 b13 * x118 + 4 b13 * x120 + 4 b13 * x121 - 4 b13 * x134 - 4 b13 * x136 - 4 b13 * x137 - 4 b13 * x138 - 4 b13 * x139 - 4 b13 * x141 - 4 b13 * x142 + 4 b13 * x143 - 4 b13 * x144 - 4 b13 * x146 + 4 b13 * x148 - 4 b13 * x149 - 4 b13 * x150 - 4 b13 * x151 - 4 b13 * x152 - 4 b13 * x153 - 4 b13 * x154 - 4 b13 * x156 - 4 b13 * x157 + 4 b13 * x158 + 4 b13 * x160 + 4 b13 * x161 - 4 b13 * x164 + 4 b13 * x166 - 4 b13 * x167 - 4 b13 * x168 + 4 b13 * x169 + 4 b13 * x170 + 4 b13 * x173 - 4 b13 * x174 - 4 b13 * x175 - 4 b13 * x176 - 4 b13 * x177 + 4 b13 * b179 - 4 b14 * b90 - 4 b14 * b93 - 4 b14 * b100 + 4 b14 * b102 - 4 b14 * b104 + 4 b14 * b106 - 4 b14 * b110 - 4 b14 * b112 + 4 b14 * x114 + 4 b14 * x115 + 4 b14 * x116 + 4 b14 * x118 + 4 b14 * x120 + 4 b14 * x121 + 4 b14 * x124 + 4 b14 * x125 + 4 b14 * x126 + 4 b14 * x128 + 4 b14 * x130 + 4 b14 * x131 - 4 b14 * x136 + 4 b14 * x137 - 4 b14 * x138 + 4 b14 * x139 - 4 b14 * x141 - 4 b14 * x142 - 4 b14 * x144 + 4 b14 * x145 - 4 b14 * x146 + 4 b14 * x147 - 4 b14 * x149 - 4 b14 * x150 - 4 b14 * x151 + 4 b14 * x152 - 4 b14 * x153 + 4 b14 * x154 - 4 b14 * x156 - 4 b14 * x157 + 4 b14 * x158 + 4 b14 * x160 + 4 b14 * x161 - 4 b14 * x164 - 4 b14 * x166 - 4 b14 * x167 - 4 b14 * x168 + 4 b14 * x169 + 4 b14 * x170 - 4 b14 * x173 - 4 b14 * x174 - 4 b14 * x175 - 4 b14 * x176 - 4 b14 * x177 - 4 b15 * b89 - 4 b15 * b91 + 4 b15 * b92 + 4 b15 * b93 + 4 b15 * b94 + 4 b15 * b96 + 4 b15 * b97 + 4 b15 * b98 + 4 b15 * b100 + 4 b15 * b102 + 4 b15 * b104 + 4 b15 * b106 + 4 b15 * b110 + 4 b15 * b112 + 4 b15 * x113 + 4 b15 * x114 + 4 b15 * x115 + 4 b15 * x116 + 4 b15 * x117 + 4 b15 * x118 + 4 b15 * x119 + 4 b15 * x120 + 4 b15 * x122 + 4 b15 * x123 - 4 b15 * x125 - 4 b15 * x127 - 4 b15 * x128 - 4 b15 * x129 - 4 b15 * x130 - 4 b15 * x132 - 4 b15 * x133 - 4 b15 * x134 - 4 b15 * x136 - 4 b15 * x137 - 4 b15 * x138 - 4 b15 * x139 - 4 b15 * x141 - 4 b15 * x142 + 4 b15 * x143 - 4 b15 * x151 - 4 b15 * x152 - 4 b15 * x153 - 4 b15 * x154 - 4 b15 * x156 - 4 b15 * x157 + 4 b15 * b179 - 4 b16 * b89 - 4 b16 * b91 - 4 b16 * b92 + 4 b16 * b93 - 4 b16 * b94 - 4 b16 * b95 + 4 b16 * b96 - 4 b16 * b97 + 4 b16 * b98 - 4 b16 * b99 + 4 b16 * b100 + 4 b16 * b102 - 4 b16 * b103 + 4 b16 * b104 + 4 b16 * b106 - 4 b16 * b107 - 4 b16 * b109 + 4 b16 * b110 - 4 b16 * b111 + 4 b16 * b112 + 4 b16 * x113 + 4 b16 * x114 + 4 b16 * x115 + 4 b16 * x116 + 4 b16 * x117 + 4 b16 * x118 + 4 b16 * x119 + 4 b16 * x120 + 4 b16 * x122 + 4 b16 * x123 + 4 b16 * x128 + 4 b16 * x130 - 4 b16 * x131 + 4 b16 * x137 + 4 b16 * x139 - 4 b16 * x140 + 4 b16 * x145 + 4 b16 * x147 - 4 b16 * x148 + 4 b16 * x152 + 4 b16 * x154 - 4 b16 * x155 + 4 b16 * x158 + 4 b16 * x160 - 4 b16 * x161 - 4 b16 * x164 - 4 b16 * x166 - 4 b16 * x167 - 4 b16 * x168 + 4 b16 * x169 - 4 b16 * x170 - 4 b16 * x173 - 4 b16 * x174 - 4 b16 * x175 + 4 b16 * x176 + 4 b16 * x177 + 4 b16 * b179 + 4 b17 * b89 + 4 b17 * b91 + 4 b17 * b92 + 4 b17 * b93 + 4 b17 * b94 + 4 b17 * b95 + 4 b17 * b97 + 4 b17 * b98 + 4 b17 * b99 + 4 b17 * b101 - 4 b17 * b104 + 4 b17 * b105 + 4 b17 * b107 + 4 b17 * b108 + 4 b17 * b109 + 4 b17 * b111 + 4 b17 * x113 + 4 b17 * x114 + 4 b17 * x116 - 4 b17 * x119 + 4 b17 * x121 - 4 b17 * x125 - 4 b17 * x127 - 4 b17 * x128 - 4 b17 * x129 - 4 b17 * x130 - 4 b17 * x132 - 4 b17 * x133 - 4 b17 * x134 - 4 b17 * x136 - 4 b17 * x137 - 4 b17 * x138 - 4 b17 * x139 - 4 b17 * x141 - 4 b17 * x142 + 4 b17 * x143 - 4 b17 * x146 + 4 b17 * x148 - 4 b17 * x151 - 4 b17 * x152 - 4 b17 * x153 - 4 b17 * x154 - 4 b17 * x156 - 4 b17 * x157 - 4 b17 * x159 + 4 b17 * x161 - 4 b17 * x164 + 4 b17 * x166 + 4 b17 * x169 + 4 b17 * x170 + 4 b17 * x171 + 4 b17 * x172 + 4 b17 * x173 - 4 b17 * x176 - 4 b17 * x177 + 4 b17 * b179 + 4 b18 * b102 - 4 b18 * b104 + 4 b18 * b106 + 4 b18 * x118 - 4 b18 * x119 + 4 b18 * x120 + 4 b18 * x128 - 4 b18 * x129 + 4 b18 * x130 + 4 b18 * x137 - 4 b18 * x138 + 4 b18 * x139 + 4 b18 * x145 - 4 b18 * x146 + 4 b18 * x147 + 4 b18 * x152 - 4 b18 * x153 + 4 b18 * x154 + 4 b18 * x158 - 4 b18 * x159 + 4 b18 * x160 - 4 b18 * x164 - 4 b18 * x166 - 4 b18 * x167 - 4 b18 * x168 + 4 b18 * x169 + 4 b18 * x170 + 4 b18 * x171 + 4 b18 * x172 - 4 b18 * x173 - 4 b18 * x174 - 4 b18 * x175 - 4 b19 * b89 - 4 b19 * b90 + 4 b19 * b92 + 4 b19 * b93 + 4 b19 * b94 + 4 b19 * b97 + 4 b19 * b98 - 4 b19 * b99 - 4 b19 * b100 + 4 b19 * b107 + 4 b19 * b108 + 4 b19 * x113 + 4 b19 * x114 + 4 b19 * x115 + 4 b19 * x116 + 4 b19 * x118 + 4 b19 * x119 + 4 b19 * x120 + 4 b19 * x121 + 4 b19 * x122 + 4 b19 * x123 - 4 b19 * x125 - 4 b19 * x127 - 4 b19 * x128 - 4 b19 * x129 - 4 b19 * x130 - 4 b19 * x132 - 4 b19 * x133 - 4 b19 * x134 - 4 b19 * x136 - 4 b19 * x137 - 4 b19 * x138 - 4 b19 * x139 - 4 b19 * x141 - 4 b19 * x142 + 4 b19 * x143 - 4 b19 * x144 + 4 b19 * x148 - 4 b19 * x151 - 4 b19 * x152 - 4 b19 * x153 - 4 b19 * x154 - 4 b19 * x156 - 4 b19 * x157 + 4 b19 * x158 + 4 b19 * x159 + 4 b19 * x160 + 4 b19 * x161 + 4 b19 * x162 + 4 b19 * x163 + 4 b19 * x166 + 4 b19 * x170 + 4 b19 * x173 - 4 b19 * x176 - 4 b19 * x177 + 4 b19 * b179 - 4 b20 * b89 - 4 b20 * b90 - 4 b20 * b91 - 4 b20 * b92 - 4 b20 * b94 - 4 b20 * b95 - 4 b20 * b97 - 4 b20 * b99 - 4 b20 * b100 + 4 b20 * b102 - 4 b20 * b103 + 4 b20 * b106 - 4 b20 * b107 - 4 b20 * b109 - 4 b20 * b111 + 4 b20 * x113 + 4 b20 * x114 + 4 b20 * x115 + 4 b20 * x116 + 4 b20 * x118 + 4 b20 * x119 + 4 b20 * x120 + 4 b20 * x121 + 4 b20 * x122 + 4 b20 * x123 - 4 b20 * x127 + 4 b20 * x128 + 4 b20 * x130 - 4 b20 * x136 + 4 b20 * x137 + 4 b20 * x139 - 4 b20 * x144 + 4 b20 * x145 + 4 b20 * x147 - 4 b20 * x151 + 4 b20 * x152 + 4 b20 * x154 + 4 b20 * x158 + 4 b20 * x159 + 4 b20 * x160 + 4 b20 * x161 + 4 b20 * x162 + 4 b20 * x163 - 4 b20 * x164 - 4 b20 * x166 - 4 b20 * x167 - 4 b20 * x168 + 4 b20 * x169 - 4 b20 * x173 - 4 b20 * x174 - 4 b20 * x175 + 4 b21 * b89 + 4 b21 * b91 + 4 b21 * b92 + 4 b21 * b93 + 4 b21 * b94 + 4 b21 * b95 + 4 b21 * b97 + 4 b21 * b98 + 4 b21 * b99 + 4 b21 * b101 + 4 b21 * b103 + 4 b21 * b105 + 4 b21 * b107 + 4 b21 * b108 + 4 b21 * b109 + 4 b21 * b111 + 4 b21 * x113 + 4 b21 * x114 + 4 b21 * x116 + 4 b21 * x121 - 4 b21 * x125 - 4 b21 * x127 - 4 b21 * x128 - 4 b21 * x129 - 4 b21 * x130 - 4 b21 * x132 - 4 b21 * x133 - 4 b21 * x134 - 4 b21 * x136 - 4 b21 * x137 - 4 b21 * x138 - 4 b21 * x139 - 4 b21 * x141 - 4 b21 * x142 + 4 b21 * x143 + 4 b21 * x148 - 4 b21 * x151 - 4 b21 * x152 - 4 b21 * x153 - 4 b21 * x154 - 4 b21 * x156 - 4 b21 * x157 + 4 b21 * x161 + 4 b21 * x166 + 4 b21 * x170 + 4 b21 * x173 - 4 b21 * x176 - 4 b21 * x177 + 4 b21 * b179 + 4 b22 * b102 + 4 b22 * b106 + 4 b22 * x118 + 4 b22 * x120 + 4 b22 * x128 + 4 b22 * x130 + 4 b22 * x137 + 4 b22 * x139 + 4 b22 * x145 + 4 b22 * x147 + 4 b22 * x152 + 4 b22 * x154 + 4 b22 * x158 + 4 b22 * x160 - 4 b22 * x164 - 4 b22 * x166 - 4 b22 * x167 - 4 b22 * x168 + 4 b22 * x169 - 4 b22 * x173 - 4 b22 * x174 - 4 b22 * x175 + 4 b23 * b89 + 4 b23 * b91 + 4 b23 * b95 + 4 b23 * b99 + 4 b23 * b101 + 4 b23 * b103 + 4 b23 * b105 + 4 b23 * b107 + 4 b23 * b108 + 4 b23 * b109 + 4 b23 * b111 + 4 b23 * x121 + 4 b23 * x148 + 4 b23 * x161 + 4 b23 * x166 + 4 b23 * x170 + 4 b23 * x173 - 4 b23 * x176 - 4 b23 * x177 - 4 b24 * b93 - 4 b24 * b98 + 4 b24 * b102 + 4 b24 * b106 - 4 b24 * x113 - 4 b24 * x114 - 4 b24 * x116 + 4 b24 * x118 + 4 b24 * x120 + 4 b24 * x125 + 4 b24 * x127 + 4 b24 * x128 + 4 b24 * x129 + 4 b24 * x130 + 4 b24 * x131 + 4 b24 * x132 + 4 b24 * x133 + 4 b24 * x134 + 4 b24 * x136 + 4 b24 * x137 + 4 b24 * x138 + 4 b24 * x139 + 4 b24 * x140 + 4 b24 * x141 + 4 b24 * x142 - 4 b24 * x143 + 4 b24 * x145 + 4 b24 * x147 + 4 b24 * x151 + 4 b24 * x152 + 4 b24 * x153 + 4 b24 * x154 + 4 b24 * x155 + 4 b24 * x156 + 4 b24 * x157 + 4 b24 * x158 + 4 b24 * x160 - 4 b24 * x164 - 4 b24 * x166 - 4 b24 * x167 - 4 b24 * x168 + 4 b24 * x169 - 4 b24 * x173 - 4 b24 * x174 - 4 b24 * x175 - 4 b24 * b179 + 4 b25 * b92 + 4 b25 * b93 + 4 b25 * b94 - 4 b25 * b95 - 4 b25 * b96 + 4 b25 * b97 + 4 b25 * b98 - 4 b25 * b101 - 4 b25 * b102 + 4 b25 * b107 + 4 b25 * b108 + 4 b25 * x113 + 4 b25 * x114 - 4 b25 * x115 + 4 b25 * x116 - 4 b25 * x118 + 4 b25 * x121 - 4 b25 * x125 - 4 b25 * x127 - 4 b25 * x128 - 4 b25 * x129 - 4 b25 * x130 - 4 b25 * x132 - 4 b25 * x133 - 4 b25 * x134 - 4 b25 * x136 - 4 b25 * x137 - 4 b25 * x138 - 4 b25 * x139 - 4 b25 * x141 - 4 b25 * x142 + 4 b25 * x143 + 4 b25 * x144 + 4 b25 * x146 + 4 b25 * x147 + 4 b25 * x148 + 4 b25 * x149 + 4 b25 * x150 - 4 b25 * x151 - 4 b25 * x152 - 4 b25 * x153 - 4 b25 * x154 - 4 b25 * x156 - 4 b25 * x157 - 4 b25 * x158 + 4 b25 * x161 + 4 b25 * x164 + 4 b25 * x165 + 4 b25 * x166 + 4 b25 * x167 + 4 b25 * x168 + 4 b25 * x170 + 4 b25 * x173 - 4 b25 * x176 - 4 b25 * x177 + 4 b25 * b179 - 4 b26 * b89 - 4 b26 * b91 - 4 b26 * b92 - 4 b26 * b94 - 4 b26 * b95 - 4 b26 * b96 - 4 b26 * b97 - 4 b26 * b99 - 4 b26 * b103 + 4 b26 * b106 - 4 b26 * b107 - 4 b26 * b109 - 4 b26 * b111 - 4 b26 * x115 + 4 b26 * x120 - 4 b26 * x125 + 4 b26 * x130 - 4 b26 * x134 + 4 b26 * x139 + 4 b26 * x143 + 4 b26 * x144 + 4 b26 * x146 + 4 b26 * x147 + 4 b26 * x148 + 4 b26 * x149 + 4 b26 * x150 + 4 b26 * x154 + 4 b26 * x160 + 4 b26 * x169 - 4 b26 * x173 - 4 b26 * x174 - 4 b26 * x175 + 4 b27 * b105 + 4 b27 * b106 + 4 b27 * b109 + 4 b27 * b110 + 4 b27 * b111 + 4 b27 * b112 + 4 b27 * x130 + 4 b27 * x132 + 4 b27 * x133 + 4 b27 * x139 + 4 b27 * x141 + 4 b27 * x142 + 4 b27 * x147 + 4 b27 * x149 + 4 b27 * x150 + 4 b27 * x160 + 4 b27 * x162 + 4 b27 * x163 + 4 b27 * x165 + 4 b27 * x167 + 4 b27 * x168 + 4 b27 * x169 + 4 b27 * x171 + 4 b27 * x172 - 4 b27 * x173 + 4 b27 * x176 + 4 b27 * x177 + 4 b28 * b89 + 4 b28 * b90 - 4 b28 * b91 + 4 b28 * b93 + 4 b28 * b96 + 4 b28 * b97 + 4 b28 * b98 + 4 b28 * b100 + 4 b28 * b102 + 4 b28 * b104 + 4 b28 * b105 + 4 b28 * b106 + 4 b28 * b108 + 4 b28 * b109 + 4 b28 * b110 - 4 b28 * x113 - 4 b28 * x114 - 4 b28 * x115 - 4 b28 * x117 - 4 b28 * x118 - 4 b28 * x119 - 4 b28 * x121 + 4 b28 * x126 + 4 b28 * x130 + 4 b28 * x132 + 4 b28 * x135 + 4 b28 * x139 + 4 b28 * x141 + 4 b28 * x143 + 4 b28 * x147 + 4 b28 * x149 - 4 b28 * x151 - 4 b28 * x152 - 4 b28 * x153 - 4 b28 * x155 + 4 b28 * x160 + 4 b28 * x162 + 4 b28 * x165 + 4 b28 * x167 + 4 b28 * x169 + 4 b28 * x171 - 4 b28 * x173 + 4 b28 * x176 + 4 b28 * b179 + 4 b29 * b89 + 4 b29 * b90 + 4 b29 * b91 + 4 b29 * b92 + 4 b29 * b94 + 4 b29 * b95 + 4 b29 * b97 + 4 b29 * b98 + 4 b29 * b99 + 4 b29 * b101 + 4 b29 * b103 + 4 b29 * b105 + 4 b29 * b106 + 4 b29 * b107 + 4 b29 * b109 + 4 b29 * b110 + 4 b29 * b111 + 4 b29 * b112 - 4 b29 * x113 - 4 b29 * x114 - 4 b29 * x115 - 4 b29 * x117 - 4 b29 * x118 - 4 b29 * x119 - 4 b29 * x121 + 4 b29 * x126 + 4 b29 * x130 + 4 b29 * x132 + 4 b29 * x133 + 4 b29 * x135 + 4 b29 * x139 + 4 b29 * x141 + 4 b29 * x142 + 4 b29 * x143 + 4 b29 * x147 + 4 b29 * x149 + 4 b29 * x150 - 4 b29 * x151 - 4 b29 * x152 - 4 b29 * x153 - 4 b29 * x155 + 4 b29 * x160 + 4 b29 * x162 + 4 b29 * x163 + 4 b29 * x165 + 4 b29 * x167 + 4 b29 * x168 + 4 b29 * x169 + 4 b29 * x171 + 4 b29 * x172 - 4 b29 * x173 + 4 b29 * x176 + 4 b29 * x177 + 4 b30 * b89 + 4 b30 * b90 + 4 b30 * b105 + 4 b30 * b106 + 4 b30 * b109 + 4 b30 * b110 - 4 b30 * x113 - 4 b30 * x114 - 4 b30 * x115 - 4 b30 * x117 - 4 b30 * x118 - 4 b30 * x119 - 4 b30 * x121 + 4 b30 * x130 + 4 b30 * x132 + 4 b30 * x139 + 4 b30 * x141 + 4 b30 * x147 + 4 b30 * x149 + 4 b30 * x160 + 4 b30 * x162 + 4 b30 * x165 + 4 b30 * x167 + 4 b30 * x169 + 4 b30 * x171 - 4 b30 * x173 + 4 b30 * x176 + 4 b31 * b91 - 4 b31 * b93 + 4 b31 * b94 + 4 b31 * b95 + 4 b31 * b97 + 4 b31 * b98 - 4 b31 * b100 + 4 b31 * b101 - 4 b31 * b104 + 4 b31 * b105 + 4 b31 * b106 + 4 b31 * b107 + 4 b31 * x124 + 4 b31 * x125 + 4 b31 * x126 + 4 b31 * x128 + 4 b31 * x130 + 4 b31 * x131 + 4 b31 * x135 - 4 b31 * x136 - 4 b31 * x138 + 4 b31 * x139 + 4 b31 * x143 - 4 b31 * x144 - 4 b31 * x146 + 4 b31 * x147 - 4 b31 * x151 - 4 b31 * x152 - 4 b31 * x153 - 4 b31 * x155 + 4 b31 * x158 + 4 b31 * x160 + 4 b31 * x161 - 4 b31 * x164 + 4 b31 * x165 + 4 b31 * x169 + 4 b31 * x170 - 4 b31 * x173 - 4 b32 * b91 + 4 b32 * b93 + 4 b32 * b96 + 4 b32 * b97 + 4 b32 * b98 + 4 b32 * b100 + 4 b32 * b102 + 4 b32 * b104 + 4 b32 * b105 + 4 b32 * b106 - 4 b32 * b107 + 4 b32 * b109 + 4 b32 * b110 + 4 b32 * b111 + 4 b32 * b112 + 4 b32 * x126 + 4 b32 * x130 - 4 b32 * x131 + 4 b32 * x132 + 4 b32 * x133 + 4 b32 * x135 + 4 b32 * x139 - 4 b32 * x140 + 4 b32 * x141 + 4 b32 * x142 + 4 b32 * x143 + 4 b32 * x147 - 4 b32 * x148 + 4 b32 * x149 + 4 b32 * x150 - 4 b32 * x151 - 4 b32 * x152 - 4 b32 * x153 - 4 b32 * x155 + 4 b32 * x160 - 4 b32 * x161 + 4 b32 * x162 + 4 b32 * x163 + 4 b32 * x165 - 4 b32 * x166 + 4 b32 * x167 + 4 b32 * x168 + 4 b32 * x169 - 4 b32 * x170 + 4 b32 * x171 + 4 b32 * x172 - 4 b32 * x173 + 4 b32 * x176 + 4 b32 * x177 + 4 b32 * b179 + 4 b33 * b89 + 4 b33 * b90 + 4 b33 * b91 + 4 b33 * b92 + 4 b33 * b94 + 4 b33 * b95 + 4 b33 * b97 + 4 b33 * b98 + 4 b33 * b99 + 4 b33 * b101 - 4 b33 * b104 + 4 b33 * b105 + 4 b33 * b106 + 4 b33 * b107 + 4 b33 * b109 + 4 b33 * b110 + 4 b33 * b111 + 4 b33 * b112 - 4 b33 * x113 - 4 b33 * x114 - 4 b33 * x115 - 4 b33 * x117 - 4 b33 * x118 - 4 b33 * x119 - 4 b33 * x121 + 4 b33 * x126 - 4 b33 * x129 + 4 b33 * x130 + 4 b33 * x132 + 4 b33 * x133 + 4 b33 * x135 - 4 b33 * x138 + 4 b33 * x139 + 4 b33 * x141 + 4 b33 * x142 + 4 b33 * x143 - 4 b33 * x146 + 4 b33 * x147 + 4 b33 * x149 + 4 b33 * x150 - 4 b33 * x151 - 4 b33 * x152 - 4 b33 * x153 - 4 b33 * x155 - 4 b33 * x159 + 4 b33 * x160 + 4 b33 * x162 + 4 b33 * x163 - 4 b33 * x164 + 4 b33 * x165 + 4 b33 * x167 + 4 b33 * x168 + 4 b33 * x169 + 4 b33 * x170 + 4 b33 * x171 + 4 b33 * x172 - 4 b33 * x173 + 4 b33 * x176 + 4 b33 * x177 + 4 b34 * b97 + 4 b34 * b98 - 4 b34 * b99 - 4 b34 * b100 + 4 b34 * b105 + 4 b34 * b106 + 4 b34 * b109 + 4 b34 * b110 + 4 b34 * b111 + 4 b34 * b112 + 4 b34 * x126 - 4 b34 * x127 + 4 b34 * x130 + 4 b34 * x132 + 4 b34 * x133 + 4 b34 * x135 - 4 b34 * x136 + 4 b34 * x139 + 4 b34 * x141 + 4 b34 * x142 + 4 b34 * x143 - 4 b34 * x144 + 4 b34 * x147 + 4 b34 * x149 + 4 b34 * x150 - 4 b34 * x151 - 4 b34 * x152 - 4 b34 * x153 - 4 b34 * x155 + 4 b34 * x158 + 4 b34 * x159 + 4 b34 * x160 + 4 b34 * x161 + 4 b34 * x162 + 4 b34 * x163 + 4 b34 * x165 + 4 b34 * x167 + 4 b34 * x168 + 4 b34 * x169 + 4 b34 * x171 + 4 b34 * x172 - 4 b34 * x173 + 4 b34 * x176 + 4 b34 * x177 + 4 b35 * b89 + 4 b35 * b90 + 4 b35 * b91 + 4 b35 * b92 + 4 b35 * b94 + 4 b35 * b95 + 4 b35 * b97 + 4 b35 * b98 + 4 b35 * b99 + 4 b35 * b101 + 4 b35 * b103 + 4 b35 * b105 + 4 b35 * b106 + 4 b35 * b107 + 4 b35 * b109 + 4 b35 * b110 + 4 b35 * b111 + 4 b35 * b112 - 4 b35 * x113 - 4 b35 * x114 - 4 b35 * x115 - 4 b35 * x117 - 4 b35 * x118 - 4 b35 * x119 - 4 b35 * x121 + 4 b35 * x126 + 4 b35 * x130 + 4 b35 * x132 + 4 b35 * x133 + 4 b35 * x135 + 4 b35 * x139 + 4 b35 * x141 + 4 b35 * x142 + 4 b35 * x143 + 4 b35 * x147 + 4 b35 * x149 + 4 b35 * x150 - 4 b35 * x151 - 4 b35 * x152 - 4 b35 * x153 - 4 b35 * x155 + 4 b35 * x160 + 4 b35 * x162 + 4 b35 * x163 + 4 b35 * x165 + 4 b35 * x167 + 4 b35 * x168 + 4 b35 * x169 + 4 b35 * x171 + 4 b35 * x172 - 4 b35 * x173 + 4 b35 * x176 + 4 b35 * x177 + 4 b36 * b89 + 4 b36 * b90 + 4 b36 * b91 - 4 b36 * b93 + 4 b36 * b95 + 4 b36 * b99 + 4 b36 * b101 + 4 b36 * b103 + 4 b36 * b105 + 4 b36 * b106 + 4 b36 * b107 + 4 b36 * b109 + 4 b36 * b110 + 4 b36 * b111 + 4 b36 * b112 - 4 b36 * x113 - 4 b36 * x114 - 4 b36 * x115 - 4 b36 * x117 - 4 b36 * x118 - 4 b36 * x119 - 4 b36 * x121 + 4 b36 * x125 + 4 b36 * x127 + 4 b36 * x128 + 4 b36 * x129 + 4 b36 * x130 + 4 b36 * x131 + 4 b36 * x132 + 4 b36 * x133 + 4 b36 * x134 + 4 b36 * x136 + 4 b36 * x137 + 4 b36 * x138 + 4 b36 * x139 + 4 b36 * x140 + 4 b36 * x141 + 4 b36 * x142 + 4 b36 * x147 + 4 b36 * x149 + 4 b36 * x150 + 4 b36 * x160 + 4 b36 * x162 + 4 b36 * x163 + 4 b36 * x165 + 4 b36 * x167 + 4 b36 * x168 + 4 b36 * x169 + 4 b36 * x171 + 4 b36 * x172 - 4 b36 * x173 + 4 b36 * x176 + 4 b36 * x177 - 4 b36 * b179 + 4 b37 * b89 + 4 b37 * b90 - 4 b37 * b95 - 4 b37 * b96 + 4 b37 * b97 + 4 b37 * b98 - 4 b37 * b101 - 4 b37 * b102 + 4 b37 * b105 + 4 b37 * b106 + 4 b37 * b109 + 4 b37 * b110 + 4 b37 * b111 + 4 b37 * b112 - 4 b37 * x113 - 4 b37 * x114 - 4 b37 * x115 - 4 b37 * x117 - 4 b37 * x118 - 4 b37 * x119 - 4 b37 * x121 - 4 b37 * x125 + 4 b37 * x126 - 4 b37 * x128 + 4 b37 * x130 + 4 b37 * x132 + 4 b37 * x133 - 4 b37 * x134 + 4 b37 * x135 - 4 b37 * x137 + 4 b37 * x139 + 4 b37 * x141 + 4 b37 * x142 + 4 b37 * x143 + 4 b37 * x144 + 4 b37 * x146 + 4 b37 * x147 + 4 b37 * x148 + 4 b37 * x149 + 4 b37 * x150 - 4 b37 * x151 - 4 b37 * x152 - 4 b37 * x153 - 4 b37 * x155 - 4 b37 * x158 + 4 b37 * x160 + 4 b37 * x162 + 4 b37 * x163 + 4 b37 * x164 + 4 b37 * x165 + 4 b37 * x166 + 4 b37 * x167 + 4 b37 * x168 + 4 b37 * x169 + 4 b37 * x171 + 4 b37 * x172 - 4 b37 * x173 + 4 b37 * x176 + 4 b37 * x177 + 4 b38 * b89 + 4 b38 * b90 - 4 b38 * b91 + 4 b38 * b93 + 4 b38 * b96 + 4 b38 * b97 + 4 b38 * b98 + 4 b38 * b100 + 4 b38 * b102 + 4 b38 * b104 + 4 b38 * b106 + 4 b38 * b108 + 4 b38 * b110 - 4 b38 * b111 - 4 b38 * x113 - 4 b38 * x114 - 4 b38 * x115 - 4 b38 * x117 - 4 b38 * x118 - 4 b38 * x119 - 4 b38 * x120 - 4 b38 * x121 - 4 b38 * x122 - 4 b38 * x123 + 4 b38 * x126 - 4 b38 * x133 + 4 b38 * x135 - 4 b38 * x142 + 4 b38 * x143 - 4 b38 * x150 - 4 b38 * x151 - 4 b38 * x152 - 4 b38 * x153 - 4 b38 * x154 - 4 b38 * x155 - 4 b38 * x156 - 4 b38 * x157 - 4 b38 * x163 - 4 b38 * x168 - 4 b38 * x172 - 4 b38 * x175 - 4 b38 * x177 - 4 b38 * x178 + 4 b38 * b179 + 4 b39 * b89 + 4 b39 * b90 + 4 b39 * b91 + 4 b39 * b92 + 4 b39 * b94 + 4 b39 * b95 + 4 b39 * b97 + 4 b39 * b98 + 4 b39 * b99 + 4 b39 * b101 + 4 b39 * b103 + 4 b39 * b105 + 4 b39 * b107 + 4 b39 * b109 + 4 b39 * b111 - 4 b39 * x113 - 4 b39 * x114 - 4 b39 * x115 - 4 b39 * x117 - 4 b39 * x118 - 4 b39 * x119 - 4 b39 * x120 - 4 b39 * x121 - 4 b39 * x122 - 4 b39 * x123 + 4 b39 * x126 + 4 b39 * x135 + 4 b39 * x143 - 4 b39 * x151 - 4 b39 * x152 - 4 b39 * x153 - 4 b39 * x154 - 4 b39 * x155 - 4 b39 * x156 - 4 b39 * x157 + 4 b40 * b89 + 4 b40 * b90 - 4 b40 * b111 - 4 b40 * b112 - 4 b40 * x113 - 4 b40 * x114 - 4 b40 * x115 - 4 b40 * x117 - 4 b40 * x118 - 4 b40 * x119 - 4 b40 * x120 - 4 b40 * x121 - 4 b40 * x122 - 4 b40 * x123 - 4 b40 * x133 - 4 b40 * x142 - 4 b40 * x150 - 4 b40 * x163 - 4 b40 * x168 - 4 b40 * x172 - 4 b40 * x175 - 4 b40 * x177 - 4 b40 * x178 + 4 b41 * b91 - 4 b41 * b93 + 4 b41 * b94 + 4 b41 * b95 + 4 b41 * b97 + 4 b41 * b98 - 4 b41 * b100 + 4 b41 * b101 - 4 b41 * b104 + 4 b41 * b105 + 4 b41 * b107 - 4 b41 * b110 - 4 b41 * b112 + 4 b41 * x124 + 4 b41 * x125 + 4 b41 * x126 + 4 b41 * x128 + 4 b41 * x130 + 4 b41 * x131 + 4 b41 * x135 - 4 b41 * x136 - 4 b41 * x138 - 4 b41 * x141 - 4 b41 * x142 + 4 b41 * x143 - 4 b41 * x144 - 4 b41 * x146 - 4 b41 * x149 - 4 b41 * x150 - 4 b41 * x151 - 4 b41 * x152 - 4 b41 * x153 - 4 b41 * x154 - 4 b41 * x155 - 4 b41 * x156 - 4 b41 * x157 + 4 b41 * x158 + 4 b41 * x160 + 4 b41 * x161 - 4 b41 * x164 - 4 b41 * x167 - 4 b41 * x168 + 4 b41 * x169 + 4 b41 * x170 - 4 b41 * x174 - 4 b41 * x175 - 4 b41 * x176 - 4 b41 * x177 + 4 b42 * b89 + 4 b42 * b90 + 4 b42 * b91 + 4 b42 * b92 + 4 b42 * b94 + 4 b42 * b95 + 4 b42 * b97 + 4 b42 * b98 + 4 b42 * b99 + 4 b42 * b101 - 4 b42 * b104 + 4 b42 * b105 + 4 b42 * b107 + 4 b42 * b109 + 4 b42 * b111 - 4 b42 * x113 - 4 b42 * x114 - 4 b42 * x115 - 4 b42 * x117 - 4 b42 * x118 - 4 b42 * x119 - 4 b42 * x120 - 4 b42 * x121 - 4 b42 * x122 - 4 b42 * x123 + 4 b42 * x126 - 4 b42 * x129 + 4 b42 * x135 - 4 b42 * x138 + 4 b42 * x143 - 4 b42 * x146 - 4 b42 * x151 - 4 b42 * x152 - 4 b42 * x153 - 4 b42 * x154 - 4 b42 * x155 - 4 b42 * x156 - 4 b42 * x157 - 4 b42 * x159 - 4 b42 * x164 + 4 b42 * x169 + 4 b42 * x170 + 4 b42 * x171 + 4 b42 * x172 + 4 b43 * b97 + 4 b43 * b98 - 4 b43 * b99 - 4 b43 * b100 + 4 b43 * x126 - 4 b43 * x127 + 4 b43 * x135 - 4 b43 * x136 + 4 b43 * x143 - 4 b43 * x144 - 4 b43 * x151 - 4 b43 * x152 - 4 b43 * x153 - 4 b43 * x154 - 4 b43 * x155 - 4 b43 * x156 - 4 b43 * x157 + 4 b43 * x158 + 4 b43 * x159 + 4 b43 * x160 + 4 b43 * x161 + 4 b43 * x162 + 4 b43 * x163 + 4 b44 * b89 + 4 b44 * b90 + 4 b44 * b91 + 4 b44 * b92 + 4 b44 * b94 + 4 b44 * b95 + 4 b44 * b97 + 4 b44 * b98 + 4 b44 * b99 + 4 b44 * b101 + 4 b44 * b103 + 4 b44 * b105 + 4 b44 * b107 + 4 b44 * b109 + 4 b44 * b111 - 4 b44 * x113 - 4 b44 * x114 - 4 b44 * x115 - 4 b44 * x117 - 4 b44 * x118 - 4 b44 * x119 - 4 b44 * x120 - 4 b44 * x121 - 4 b44 * x122 - 4 b44 * x123 + 4 b44 * x126 + 4 b44 * x135 + 4 b44 * x143 - 4 b44 * x151 - 4 b44 * x152 - 4 b44 * x153 - 4 b44 * x154 - 4 b44 * x155 - 4 b44 * x156 - 4 b44 * x157 + 4 b45 * b89 + 4 b45 * b90 + 4 b45 * b91 - 4 b45 * b93 + 4 b45 * b95 + 4 b45 * b99 + 4 b45 * b101 + 4 b45 * b103 + 4 b45 * b105 + 4 b45 * b107 + 4 b45 * b109 + 4 b45 * b111 - 4 b45 * x113 - 4 b45 * x114 - 4 b45 * x115 - 4 b45 * x117 - 4 b45 * x118 - 4 b45 * x119 - 4 b45 * x120 - 4 b45 * x121 - 4 b45 * x122 - 4 b45 * x123 + 4 b45 * x125 + 4 b45 * x127 + 4 b45 * x128 + 4 b45 * x129 + 4 b45 * x130 + 4 b45 * x131 + 4 b45 * x132 + 4 b45 * x133 + 4 b45 * x134 + 4 b45 * x136 + 4 b45 * x137 + 4 b45 * x138 + 4 b45 * x139 + 4 b45 * x140 + 4 b45 * x141 + 4 b45 * x142 - 4 b45 * b179 + 4 b46 * b89 + 4 b46 * b90 - 4 b46 * b95 - 4 b46 * b96 + 4 b46 * b97 + 4 b46 * b98 - 4 b46 * b101 - 4 b46 * b102 - 4 b46 * x113 - 4 b46 * x114 - 4 b46 * x115 - 4 b46 * x117 - 4 b46 * x118 - 4 b46 * x119 - 4 b46 * x120 - 4 b46 * x121 - 4 b46 * x122 - 4 b46 * x123 - 4 b46 * x125 + 4 b46 * x126 - 4 b46 * x128 - 4 b46 * x134 + 4 b46 * x135 - 4 b46 * x137 + 4 b46 * x143 + 4 b46 * x144 + 4 b46 * x146 + 4 b46 * x147 + 4 b46 * x148 + 4 b46 * x149 + 4 b46 * x150 - 4 b46 * x151 - 4 b46 * x152 - 4 b46 * x153 - 4 b46 * x154 - 4 b46 * x155 - 4 b46 * x156 - 4 b46 * x157 - 4 b46 * x158 + 4 b46 * x164 + 4 b46 * x165 + 4 b46 * x166 + 4 b46 * x167 + 4 b46 * x168 + 4 b47 * b89 - 4 b47 * b90 + 4 b47 * b91 + 4 b47 * b92 - 4 b47 * b93 + 4 b47 * b94 + 4 b47 * b95 - 4 b47 * b96 + 4 b47 * b97 - 4 b47 * b98 + 4 b47 * b99 - 4 b47 * b100 + 4 b47 * b101 - 4 b47 * b102 + 4 b47 * b103 - 4 b47 * b104 + 4 b47 * b105 - 4 b47 * b106 + 4 b47 * b107 - 4 b47 * b108 + 4 b47 * b109 - 4 b47 * b110 + 4 b47 * b111 + 4 b47 * x123 + 4 b47 * x133 + 4 b47 * x142 + 4 b47 * x150 + 4 b47 * x157 + 4 b47 * x163 + 4 b47 * x168 + 4 b47 * x172 + 4 b47 * x175 + 4 b47 * x177 + 4 b47 * x178 - 4 b47 * b179 - 4 b48 * b90 + 4 b48 * b91 - 4 b48 * b93 - 4 b48 * b96 - 4 b48 * b97 - 4 b48 * b98 - 4 b48 * b100 - 4 b48 * b102 - 4 b48 * b104 - 4 b48 * b106 - 4 b48 * b108 - 4 b48 * b110 - 4 b48 * x116 - 4 b48 * x126 - 4 b48 * x135 - 4 b48 * x143 + 4 b48 * x151 + 4 b48 * x152 + 4 b48 * x153 + 4 b48 * x154 + 4 b48 * x155 + 4 b48 * x156 - 4 b48 * b179 - 4 b49 * b89 - 4 b49 * b107 + 4 b49 * b111 + 4 b49 * x113 + 4 b49 * x114 + 4 b49 * x115 + 4 b49 * x116 + 4 b49 * x117 + 4 b49 * x118 + 4 b49 * x119 + 4 b49 * x120 + 4 b49 * x122 + 4 b49 * x123 - 4 b49 * x131 + 4 b49 * x133 - 4 b49 * x140 + 4 b49 * x142 - 4 b49 * x148 + 4 b49 * x150 - 4 b49 * x155 + 4 b49 * x157 - 4 b49 * x161 + 4 b49 * x163 - 4 b49 * x166 + 4 b49 * x168 - 4 b49 * x170 + 4 b49 * x172 - 4 b49 * x173 + 4 b49 * x175 + 4 b49 * x176 + 4 b49 * x177 + 4 b49 * x178 + 4 b50 * b89 - 4 b50 * b90 + 4 b50 * b91 + 4 b50 * b92 - 4 b50 * b93 + 4 b50 * b94 + 4 b50 * b95 - 4 b50 * b96 + 4 b50 * b97 - 4 b50 * b98 + 4 b50 * b99 - 4 b50 * b100 + 4 b50 * b101 - 4 b50 * b102 - 4 b50 * b104 + 4 b50 * b105 - 4 b50 * b106 + 4 b50 * b107 - 4 b50 * b108 + 4 b50 * b109 - 4 b50 * b110 + 4 b50 * b111 - 4 b50 * x119 + 4 b50 * x123 - 4 b50 * x129 + 4 b50 * x133 - 4 b50 * x138 + 4 b50 * x142 - 4 b50 * x146 + 4 b50 * x150 - 4 b50 * x153 + 4 b50 * x157 - 4 b50 * x159 + 4 b50 * x163 - 4 b50 * x164 + 4 b50 * x168 + 4 b50 * x169 + 4 b50 * x170 + 4 b50 * x171 + 4 b50 * x172 + 4 b50 * x175 + 4 b50 * x177 + 4 b50 * x178 - 4 b50 * b179 - 4 b51 * b89 - 4 b51 * b90 + 4 b51 * b91 - 4 b51 * b93 - 4 b51 * b96 - 4 b51 * b98 - 4 b51 * b99 - 4 b51 * b100 - 4 b51 * b102 - 4 b51 * b104 - 4 b51 * b106 - 4 b51 * b108 - 4 b51 * b110 + 4 b51 * b111 + 4 b51 * x113 + 4 b51 * x114 + 4 b51 * x115 + 4 b51 * x116 + 4 b51 * x118 + 4 b51 * x119 + 4 b51 * x120 + 4 b51 * x121 + 4 b51 * x122 + 4 b51 * x123 - 4 b51 * x127 + 4 b51 * x133 - 4 b51 * x136 + 4 b51 * x142 - 4 b51 * x144 + 4 b51 * x150 - 4 b51 * x151 + 4 b51 * x157 + 4 b51 * x158 + 4 b51 * x159 + 4 b51 * x160 + 4 b51 * x161 + 4 b51 * x162 + 4 b51 * x163 + 4 b51 * x168 + 4 b51 * x172 + 4 b51 * x175 + 4 b51 * x177 + 4 b51 * x178 - 4 b51 * b179 + 4 b52 * b89 - 4 b52 * b90 + 4 b52 * b91 + 4 b52 * b92 - 4 b52 * b93 + 4 b52 * b94 + 4 b52 * b95 - 4 b52 * b96 + 4 b52 * b97 - 4 b52 * b98 + 4 b52 * b99 - 4 b52 * b100 + 4 b52 * b101 - 4 b52 * b102 + 4 b52 * b103 - 4 b52 * b104 + 4 b52 * b105 - 4 b52 * b106 + 4 b52 * b107 - 4 b52 * b108 + 4 b52 * b109 - 4 b52 * b110 + 4 b52 * b111 + 4 b52 * x123 + 4 b52 * x133 + 4 b52 * x142 + 4 b52 * x150 + 4 b52 * x157 + 4 b52 * x163 + 4 b52 * x168 + 4 b52 * x172 + 4 b52 * x175 + 4 b52 * x177 + 4 b52 * x178 - 4 b52 * b179 + 4 b53 * b89 - 4 b53 * b90 + 4 b53 * b91 - 4 b53 * b93 + 4 b53 * b95 - 4 b53 * b96 - 4 b53 * b98 + 4 b53 * b99 - 4 b53 * b100 + 4 b53 * b101 - 4 b53 * b102 + 4 b53 * b103 - 4 b53 * b104 + 4 b53 * b105 - 4 b53 * b106 + 4 b53 * b107 - 4 b53 * b108 + 4 b53 * b109 - 4 b53 * b110 + 4 b53 * b111 - 4 b53 * x113 - 4 b53 * x114 - 4 b53 * x116 + 4 b53 * x123 + 4 b53 * x125 + 4 b53 * x127 + 4 b53 * x128 + 4 b53 * x129 + 4 b53 * x130 + 4 b53 * x131 + 4 b53 * x132 + 4 b53 * x133 + 4 b53 * x134 + 4 b53 * x136 + 4 b53 * x137 + 4 b53 * x138 + 4 b53 * x139 + 4 b53 * x140 + 4 b53 * x141 + 4 b53 * x142 - 4 b53 * x143 + 4 b53 * x150 + 4 b53 * x151 + 4 b53 * x152 + 4 b53 * x153 + 4 b53 * x154 + 4 b53 * x155 + 4 b53 * x156 + 4 b53 * x157 + 4 b53 * x163 + 4 b53 * x168 + 4 b53 * x172 + 4 b53 * x175 + 4 b53 * x177 + 4 b53 * x178 - 4 b53 * b179 - 4 b54 * b90 + 4 b54 * b91 - 4 b54 * b93 - 4 b54 * b95 - 4 b54 * b96 - 4 b54 * b98 - 4 b54 * b100 - 4 b54 * b101 - 4 b54 * b102 - 4 b54 * b104 - 4 b54 * b106 - 4 b54 * b108 - 4 b54 * b110 + 4 b54 * b111 - 4 b54 * x115 - 4 b54 * x118 + 4 b54 * x123 - 4 b54 * x125 - 4 b54 * x128 + 4 b54 * x133 - 4 b54 * x134 - 4 b54 * x137 + 4 b54 * x142 + 4 b54 * x143 + 4 b54 * x144 + 4 b54 * x146 + 4 b54 * x147 + 4 b54 * x148 + 4 b54 * x149 + 4 b54 * x150 - 4 b54 * x152 + 4 b54 * x157 - 4 b54 * x158 + 4 b54 * x163 + 4 b54 * x164 + 4 b54 * x165 + 4 b54 * x166 + 4 b54 * x167 + 4 b54 * x168 + 4 b54 * x172 + 4 b54 * x175 + 4 b54 * x177 + 4 b54 * x178 - 4 b54 * b179 - 4 b55 * b89 - 4 b55 * b91 - 4 b55 * b92 - 4 b55 * b94 - 4 b55 * b95 - 4 b55 * b97 - 4 b55 * b98 - 4 b55 * b99 - 4 b55 * b101 - 4 b55 * b103 - 4 b55 * b105 - 4 b55 * b107 - 4 b55 * b109 - 4 b55 * b111 - 4 b55 * b112 - 4 b55 * x116 - 4 b55 * x123 - 4 b55 * x126 - 4 b55 * x133 - 4 b55 * x135 - 4 b55 * x142 - 4 b55 * x143 - 4 b55 * x150 + 4 b55 * x151 + 4 b55 * x152 + 4 b55 * x153 + 4 b55 * x154 + 4 b55 * x155 + 4 b55 * x156 - 4 b55 * x163 - 4 b55 * x168 - 4 b55 * x172 - 4 b55 * x175 - 4 b55 * x177 - 4 b55 * x178 - 4 b56 * b90 - 4 b56 * b93 - 4 b56 * b100 - 4 b56 * b104 - 4 b56 * b110 - 4 b56 * b112 + 4 b56 * x114 + 4 b56 * x115 + 4 b56 * x116 + 4 b56 * x118 + 4 b56 * x120 + 4 b56 * x121 + 4 b56 * x124 + 4 b56 * x125 + 4 b56 * x126 + 4 b56 * x128 + 4 b56 * x130 + 4 b56 * x131 - 4 b56 * x136 - 4 b56 * x138 - 4 b56 * x141 - 4 b56 * x142 - 4 b56 * x144 - 4 b56 * x146 - 4 b56 * x149 - 4 b56 * x150 - 4 b56 * x151 - 4 b56 * x153 - 4 b56 * x156 - 4 b56 * x157 + 4 b56 * x158 + 4 b56 * x160 + 4 b56 * x161 - 4 b56 * x164 - 4 b56 * x167 - 4 b56 * x168 + 4 b56 * x169 + 4 b56 * x170 - 4 b56 * x174 - 4 b56 * x175 - 4 b56 * x176 - 4 b56 * x177 - 4 b57 * b89 - 4 b57 * b91 - 4 b57 * b92 + 4 b57 * b93 - 4 b57 * b94 - 4 b57 * b95 + 4 b57 * b96 - 4 b57 * b97 + 4 b57 * b98 - 4 b57 * b99 + 4 b57 * b100 - 4 b57 * b101 + 4 b57 * b102 - 4 b57 * b103 + 4 b57 * b104 - 4 b57 * b105 + 4 b57 * b106 - 4 b57 * b107 - 4 b57 * b109 + 4 b57 * b110 - 4 b57 * b111 + 4 b57 * b112 + 4 b57 * x113 + 4 b57 * x114 + 4 b57 * x115 + 4 b57 * x116 + 4 b57 * x117 + 4 b57 * x118 + 4 b57 * x119 + 4 b57 * x120 + 4 b57 * x122 + 4 b57 * x123 - 4 b57 * x131 - 4 b57 * x140 - 4 b57 * x148 - 4 b57 * x155 - 4 b57 * x161 - 4 b57 * x166 - 4 b57 * x170 - 4 b57 * x173 + 4 b57 * x176 + 4 b57 * x177 + 4 b57 * b179 - 4 b58 * b104 - 4 b58 * x119 - 4 b58 * x129 - 4 b58 * x138 - 4 b58 * x146 - 4 b58 * x153 - 4 b58 * x159 - 4 b58 * x164 + 4 b58 * x169 + 4 b58 * x170 + 4 b58 * x171 + 4 b58 * x172 - 4 b59 * b89 - 4 b59 * b90 - 4 b59 * b91 - 4 b59 * b92 - 4 b59 * b94 - 4 b59 * b95 - 4 b59 * b97 - 4 b59 * b99 - 4 b59 * b100 - 4 b59 * b101 - 4 b59 * b103 - 4 b59 * b105 - 4 b59 * b107 - 4 b59 * b109 - 4 b59 * b111 + 4 b59 * x113 + 4 b59 * x114 + 4 b59 * x115 + 4 b59 * x116 + 4 b59 * x118 + 4 b59 * x119 + 4 b59 * x120 + 4 b59 * x121 + 4 b59 * x122 + 4 b59 * x123 - 4 b59 * x127 - 4 b59 * x136 - 4 b59 * x144 - 4 b59 * x151 + 4 b59 * x158 + 4 b59 * x159 + 4 b59 * x160 + 4 b59 * x161 + 4 b59 * x162 + 4 b59 * x163 - 4 b60 * b93 - 4 b60 * b98 - 4 b60 * x113 - 4 b60 * x114 - 4 b60 * x116 + 4 b60 * x125 + 4 b60 * x127 + 4 b60 * x128 + 4 b60 * x129 + 4 b60 * x130 + 4 b60 * x131 + 4 b60 * x132 + 4 b60 * x133 + 4 b60 * x134 + 4 b60 * x136 + 4 b60 * x137 + 4 b60 * x138 + 4 b60 * x139 + 4 b60 * x140 + 4 b60 * x141 + 4 b60 * x142 - 4 b60 * x143 + 4 b60 * x151 + 4 b60 * x152 + 4 b60 * x153 + 4 b60 * x154 + 4 b60 * x155 + 4 b60 * x156 + 4 b60 * x157 - 4 b60 * b179 - 4 b61 * b89 - 4 b61 * b91 - 4 b61 * b92 - 4 b61 * b94 - 4 b61 * b95 - 4 b61 * b96 - 4 b61 * b97 - 4 b61 * b99 - 4 b61 * b101 - 4 b61 * b102 - 4 b61 * b103 - 4 b61 * b105 - 4 b61 * b107 - 4 b61 * b109 - 4 b61 * b111 - 4 b61 * x115 - 4 b61 * x118 - 4 b61 * x125 - 4 b61 * x128 - 4 b61 * x134 - 4 b61 * x137 + 4 b61 * x143 + 4 b61 * x144 + 4 b61 * x146 + 4 b61 * x147 + 4 b61 * x148 + 4 b61 * x149 + 4 b61 * x150 - 4 b61 * x152 - 4 b61 * x158 + 4 b61 * x164 + 4 b61 * x165 + 4 b61 * x166 + 4 b61 * x167 + 4 b61 * x168 - 4 b62 * b90 + 4 b62 * b91 - 4 b62 * b93 + 4 b62 * b94 + 4 b62 * b95 + 4 b62 * b97 + 4 b62 * b98 - 4 b62 * b100 + 4 b62 * b101 - 4 b62 * b104 + 4 b62 * b105 + 4 b62 * b107 - 4 b62 * b110 + 4 b62 * x114 + 4 b62 * x115 + 4 b62 * x116 + 4 b62 * x118 + 4 b62 * x120 + 4 b62 * x121 + 4 b62 * x124 + 4 b62 * x125 + 4 b62 * x126 + 4 b62 * x128 + 4 b62 * x130 + 4 b62 * x131 + 4 b62 * x135 - 4 b62 * x136 - 4 b62 * x138 - 4 b62 * x141 + 4 b62 * x143 - 4 b62 * x144 - 4 b62 * x146 - 4 b62 * x149 - 4 b62 * x151 - 4 b62 * x152 - 4 b62 * x153 - 4 b62 * x154 - 4 b62 * x155 - 4 b62 * x156 + 4 b62 * x158 + 4 b62 * x160 + 4 b62 * x161 - 4 b62 * x164 - 4 b62 * x167 + 4 b62 * x169 + 4 b62 * x170 - 4 b62 * x174 - 4 b62 * x176 - 4 b63 * b89 - 4 b63 * b91 + 4 b63 * b93 + 4 b63 * b96 + 4 b63 * b97 + 4 b63 * b98 + 4 b63 * b100 + 4 b63 * b102 + 4 b63 * b104 + 4 b63 * b106 - 4 b63 * b107 + 4 b63 * b110 + 4 b63 * b111 + 4 b63 * b112 + 4 b63 * x113 + 4 b63 * x114 + 4 b63 * x115 + 4 b63 * x116 + 4 b63 * x117 + 4 b63 * x118 + 4 b63 * x119 + 4 b63 * x120 + 4 b63 * x122 + 4 b63 * x123 + 4 b63 * x126 - 4 b63 * x131 + 4 b63 * x133 + 4 b63 * x135 - 4 b63 * x140 + 4 b63 * x142 + 4 b63 * x143 - 4 b63 * x148 + 4 b63 * x150 - 4 b63 * x151 - 4 b63 * x152 - 4 b63 * x153 - 4 b63 * x154 - 4 b63 * x155 - 4 b63 * x156 - 4 b63 * x161 + 4 b63 * x163 - 4 b63 * x166 + 4 b63 * x168 - 4 b63 * x170 + 4 b63 * x172 - 4 b63 * x173 + 4 b63 * x175 + 4 b63 * x176 + 4 b63 * x177 + 4 b63 * x178 + 4 b63 * b179 + 4 b64 * b89 + 4 b64 * b91 + 4 b64 * b92 + 4 b64 * b94 + 4 b64 * b95 + 4 b64 * b97 + 4 b64 * b98 + 4 b64 * b99 + 4 b64 * b101 - 4 b64 * b104 + 4 b64 * b105 + 4 b64 * b107 + 4 b64 * b109 + 4 b64 * b111 + 4 b64 * b112 + 4 b64 * x116 - 4 b64 * x119 + 4 b64 * x123 + 4 b64 * x126 - 4 b64 * x129 + 4 b64 * x133 + 4 b64 * x135 - 4 b64 * x138 + 4 b64 * x142 + 4 b64 * x143 - 4 b64 * x146 + 4 b64 * x150 - 4 b64 * x151 - 4 b64 * x152 - 4 b64 * x153 - 4 b64 * x154 - 4 b64 * x155 - 4 b64 * x156 - 4 b64 * x159 + 4 b64 * x163 - 4 b64 * x164 + 4 b64 * x168 + 4 b64 * x169 + 4 b64 * x170 + 4 b64 * x171 + 4 b64 * x172 + 4 b64 * x175 + 4 b64 * x177 + 4 b64 * x178 - 4 b65 * b89 - 4 b65 * b90 + 4 b65 * b97 + 4 b65 * b98 - 4 b65 * b99 - 4 b65 * b100 + 4 b65 * b111 + 4 b65 * b112 + 4 b65 * x113 + 4 b65 * x114 + 4 b65 * x115 + 4 b65 * x116 + 4 b65 * x118 + 4 b65 * x119 + 4 b65 * x120 + 4 b65 * x121 + 4 b65 * x122 + 4 b65 * x123 + 4 b65 * x126 - 4 b65 * x127 + 4 b65 * x133 + 4 b65 * x135 - 4 b65 * x136 + 4 b65 * x142 + 4 b65 * x143 - 4 b65 * x144 + 4 b65 * x150 - 4 b65 * x151 - 4 b65 * x152 - 4 b65 * x153 - 4 b65 * x154 - 4 b65 * x155 - 4 b65 * x156 + 4 b65 * x158 + 4 b65 * x159 + 4 b65 * x160 + 4 b65 * x161 + 4 b65 * x162 + 4 b65 * x163 + 4 b65 * x168 + 4 b65 * x172 + 4 b65 * x175 + 4 b65 * x177 + 4 b65 * x178 + 4 b66 * b89 + 4 b66 * b91 + 4 b66 * b92 + 4 b66 * b94 + 4 b66 * b95 + 4 b66 * b97 + 4 b66 * b98 + 4 b66 * b99 + 4 b66 * b101 + 4 b66 * b103 + 4 b66 * b105 + 4 b66 * b107 + 4 b66 * b109 + 4 b66 * b111 + 4 b66 * b112 + 4 b66 * x116 + 4 b66 * x123 + 4 b66 * x126 + 4 b66 * x133 + 4 b66 * x135 + 4 b66 * x142 + 4 b66 * x143 + 4 b66 * x150 - 4 b66 * x151 - 4 b66 * x152 - 4 b66 * x153 - 4 b66 * x154 - 4 b66 * x155 - 4 b66 * x156 + 4 b66 * x163 + 4 b66 * x168 + 4 b66 * x172 + 4 b66 * x175 + 4 b66 * x177 + 4 b66 * x178 + 4 b67 * b89 + 4 b67 * b91 - 4 b67 * b93 + 4 b67 * b95 + 4 b67 * b99 + 4 b67 * b101 + 4 b67 * b103 + 4 b67 * b105 + 4 b67 * b107 + 4 b67 * b109 + 4 b67 * b111 + 4 b67 * b112 - 4 b67 * x113 - 4 b67 * x114 + 4 b67 * x123 + 4 b67 * x125 + 4 b67 * x127 + 4 b67 * x128 + 4 b67 * x129 + 4 b67 * x130 + 4 b67 * x131 + 4 b67 * x132 + 4 b67 * x133 + 4 b67 * x134 + 4 b67 * x136 + 4 b67 * x137 + 4 b67 * x138 + 4 b67 * x139 + 4 b67 * x140 + 4 b67 * x141 + 4 b67 * x142 + 4 b67 * x150 + 4 b67 * x163 + 4 b67 * x168 + 4 b67 * x172 + 4 b67 * x175 + 4 b67 * x177 + 4 b67 * x178 - 4 b67 * b179 - 4 b68 * b95 - 4 b68 * b96 + 4 b68 * b97 + 4 b68 * b98 - 4 b68 * b101 - 4 b68 * b102 + 4 b68 * b111 + 4 b68 * b112 - 4 b68 * x115 + 4 b68 * x116 - 4 b68 * x118 + 4 b68 * x123 - 4 b68 * x125 + 4 b68 * x126 - 4 b68 * x128 + 4 b68 * x133 - 4 b68 * x134 + 4 b68 * x135 - 4 b68 * x137 + 4 b68 * x142 + 4 b68 * x143 + 4 b68 * x144 + 4 b68 * x146 + 4 b68 * x147 + 4 b68 * x148 + 4 b68 * x149 + 4 b68 * x150 - 4 b68 * x151 - 4 b68 * x152 - 4 b68 * x153 - 4 b68 * x154 - 4 b68 * x155 - 4 b68 * x156 - 4 b68 * x158 + 4 b68 * x163 + 4 b68 * x164 + 4 b68 * x165 + 4 b68 * x166 + 4 b68 * x167 + 4 b68 * x168 + 4 b68 * x172 + 4 b68 * x175 + 4 b68 * x177 + 4 b68 * x178 - 4 b69 * b91 + 4 b69 * b93 - 4 b69 * b94 - 4 b69 * b95 + 4 b69 * b96 - 4 b69 * b97 + 4 b69 * b98 + 4 b69 * b100 - 4 b69 * b101 + 4 b69 * b102 + 4 b69 * b104 - 4 b69 * b105 + 4 b69 * b106 - 4 b69 * b107 + 4 b69 * b110 + 4 b69 * b112 - 4 b69 * x124 - 4 b69 * x125 - 4 b69 * x126 - 4 b69 * x128 - 4 b69 * x130 - 4 b69 * x131 + 4 b69 * x136 + 4 b69 * x138 - 4 b69 * x140 + 4 b69 * x141 + 4 b69 * x142 + 4 b69 * x144 + 4 b69 * x146 - 4 b69 * x148 + 4 b69 * x149 + 4 b69 * x150 + 4 b69 * x151 + 4 b69 * x153 - 4 b69 * x155 + 4 b69 * x156 + 4 b69 * x157 - 4 b69 * x158 - 4 b69 * x160 - 4 b69 * x161 + 4 b69 * x164 - 4 b69 * x166 + 4 b69 * x167 + 4 b69 * x168 - 4 b69 * x169 - 4 b69 * x170 - 4 b69 * x173 + 4 b69 * x174 + 4 b69 * x175 + 4 b69 * x176 + 4 b69 * x177 + 4 b69 * b179 + 4 b70 * b90 + 4 b70 * b93 + 4 b70 * b100 + 4 b70 * b110 + 4 b70 * b112 - 4 b70 * x114 - 4 b70 * x115 - 4 b70 * x116 - 4 b70 * x118 - 4 b70 * x120 - 4 b70 * x121 - 4 b70 * x124 - 4 b70 * x125 - 4 b70 * x126 - 4 b70 * x128 - 4 b70 * x130 - 4 b70 * x131 + 4 b70 * x136 + 4 b70 * x141 + 4 b70 * x142 + 4 b70 * x144 + 4 b70 * x149 + 4 b70 * x150 + 4 b70 * x151 + 4 b70 * x156 + 4 b70 * x157 - 4 b70 * x158 - 4 b70 * x160 - 4 b70 * x161 + 4 b70 * x167 + 4 b70 * x168 + 4 b70 * x174 + 4 b70 * x175 + 4 b70 * x176 + 4 b70 * x177 - 4 b71 * b91 + 4 b71 * b93 - 4 b71 * b94 - 4 b71 * b95 - 4 b71 * b97 - 4 b71 * b101 + 4 b71 * b104 - 4 b71 * b105 - 4 b71 * b107 + 4 b71 * b110 + 4 b71 * b112 - 4 b71 * x124 - 4 b71 * x125 - 4 b71 * x126 - 4 b71 * x128 - 4 b71 * x130 - 4 b71 * x131 + 4 b71 * x138 + 4 b71 * x141 + 4 b71 * x142 + 4 b71 * x146 + 4 b71 * x149 + 4 b71 * x150 + 4 b71 * x153 + 4 b71 * x156 + 4 b71 * x157 + 4 b71 * x164 + 4 b71 * x167 + 4 b71 * x168 - 4 b71 * x169 - 4 b71 * x170 + 4 b71 * x174 + 4 b71 * x175 + 4 b71 * x176 + 4 b71 * x177 + 4 b72 * b90 + 4 b72 * b93 + 4 b72 * b100 + 4 b72 * b104 + 4 b72 * b110 + 4 b72 * b112 - 4 b72 * x114 - 4 b72 * x115 - 4 b72 * x116 - 4 b72 * x118 - 4 b72 * x120 - 4 b72 * x121 - 4 b72 * x124 - 4 b72 * x125 - 4 b72 * x126 - 4 b72 * x128 - 4 b72 * x130 - 4 b72 * x131 + 4 b72 * x136 + 4 b72 * x138 + 4 b72 * x141 + 4 b72 * x142 + 4 b72 * x144 + 4 b72 * x146 + 4 b72 * x149 + 4 b72 * x150 + 4 b72 * x151 + 4 b72 * x153 + 4 b72 * x156 + 4 b72 * x157 - 4 b72 * x158 - 4 b72 * x160 - 4 b72 * x161 + 4 b72 * x164 + 4 b72 * x167 + 4 b72 * x168 - 4 b72 * x169 - 4 b72 * x170 + 4 b72 * x174 + 4 b72 * x175 + 4 b72 * x176 + 4 b72 * x177 + 4 b73 * b90 - 4 b73 * b98 + 4 b73 * b100 + 4 b73 * b104 + 4 b73 * b110 + 4 b73 * b112 - 4 b73 * x114 - 4 b73 * x115 - 4 b73 * x116 - 4 b73 * x118 - 4 b73 * x120 - 4 b73 * x121 + 4 b73 * x134 + 4 b73 * x136 + 4 b73 * x137 + 4 b73 * x138 + 4 b73 * x139 + 4 b73 * x140 + 4 b73 * x141 + 4 b73 * x142 - 4 b73 * x143 + 4 b73 * x144 + 4 b73 * x146 + 4 b73 * x149 + 4 b73 * x150 + 4 b73 * x151 + 4 b73 * x152 + 4 b73 * x153 + 4 b73 * x154 + 4 b73 * x155 + 4 b73 * x156 + 4 b73 * x157 - 4 b73 * x158 - 4 b73 * x160 - 4 b73 * x161 + 4 b73 * x164 + 4 b73 * x167 + 4 b73 * x168 - 4 b73 * x169 - 4 b73 * x170 + 4 b73 * x174 + 4 b73 * x175 + 4 b73 * x176 + 4 b73 * x177 - 4 b73 * b179 + 4 b74 * b90 - 4 b74 * b91 + 4 b74 * b93 - 4 b74 * b94 - 4 b74 * b95 - 4 b74 * b96 - 4 b74 * b97 + 4 b74 * b100 - 4 b74 * b101 - 4 b74 * b102 + 4 b74 * b104 - 4 b74 * b105 - 4 b74 * b107 + 4 b74 * b110 + 4 b74 * b112 - 4 b74 * x114 - 4 b74 * x115 - 4 b74 * x116 - 4 b74 * x118 - 4 b74 * x120 - 4 b74 * x121 - 4 b74 * x124 - 4 b74 * x125 - 4 b74 * x126 - 4 b74 * x128 - 4 b74 * x130 - 4 b74 * x131 - 4 b74 * x134 + 4 b74 * x136 - 4 b74 * x137 + 4 b74 * x138 + 4 b74 * x141 + 4 b74 * x142 + 4 b74 * x143 + 4 b74 * x144 + 4 b74 * x146 + 4 b74 * x147 + 4 b74 * x148 + 4 b74 * x149 + 4 b74 * x150 + 4 b74 * x151 - 4 b74 * x152 + 4 b74 * x153 + 4 b74 * x156 + 4 b74 * x157 - 4 b74 * x158 - 4 b74 * x160 - 4 b74 * x161 + 4 b74 * x164 + 4 b74 * x165 + 4 b74 * x166 + 4 b74 * x167 + 4 b74 * x168 - 4 b74 * x169 - 4 b74 * x170 + 4 b74 * x174 + 4 b74 * x175 + 4 b74 * x176 + 4 b74 * x177 + 4 b75 * b89 + 4 b75 * b91 + 4 b75 * b92 - 4 b75 * b93 + 4 b75 * b94 + 4 b75 * b95 - 4 b75 * b96 + 4 b75 * b97 - 4 b75 * b98 + 4 b75 * b99 - 4 b75 * b100 + 4 b75 * b101 - 4 b75 * b102 - 4 b75 * b104 + 4 b75 * b105 - 4 b75 * b106 + 4 b75 * b107 + 4 b75 * b109 - 4 b75 * b110 + 4 b75 * b111 - 4 b75 * b112 - 4 b75 * x113 - 4 b75 * x114 - 4 b75 * x115 - 4 b75 * x116 - 4 b75 * x117 - 4 b75 * x118 - 4 b75 * x119 - 4 b75 * x120 - 4 b75 * x122 - 4 b75 * x123 - 4 b75 * x129 + 4 b75 * x131 - 4 b75 * x138 + 4 b75 * x140 - 4 b75 * x146 + 4 b75 * x148 - 4 b75 * x153 + 4 b75 * x155 - 4 b75 * x159 + 4 b75 * x161 - 4 b75 * x164 + 4 b75 * x166 + 4 b75 * x169 + 4 b75 * x170 + 4 b75 * x171 + 4 b75 * x172 + 4 b75 * x173 - 4 b75 * x176 - 4 b75 * x177 - 4 b75 * b179 + 4 b76 * b91 - 4 b76 * b93 - 4 b76 * b96 - 4 b76 * b98 - 4 b76 * b99 - 4 b76 * b100 - 4 b76 * b102 - 4 b76 * b104 - 4 b76 * b106 + 4 b76 * b107 - 4 b76 * b110 - 4 b76 * b112 - 4 b76 * x127 + 4 b76 * x131 - 4 b76 * x136 + 4 b76 * x140 - 4 b76 * x144 + 4 b76 * x148 - 4 b76 * x151 + 4 b76 * x155 + 4 b76 * x158 + 4 b76 * x159 + 4 b76 * x160 + 4 b76 * x161 + 4 b76 * x162 + 4 b76 * x163 + 4 b76 * x166 + 4 b76 * x170 + 4 b76 * x173 - 4 b76 * x176 - 4 b76 * x177 - 4 b76 * b179 + 4 b77 * b89 + 4 b77 * b91 + 4 b77 * b92 - 4 b77 * b93 + 4 b77 * b94 + 4 b77 * b95 - 4 b77 * b96 + 4 b77 * b97 - 4 b77 * b98 + 4 b77 * b99 - 4 b77 * b100 + 4 b77 * b101 - 4 b77 * b102 + 4 b77 * b103 - 4 b77 * b104 + 4 b77 * b105 - 4 b77 * b106 + 4 b77 * b107 + 4 b77 * b109 - 4 b77 * b110 + 4 b77 * b111 - 4 b77 * b112 - 4 b77 * x113 - 4 b77 * x114 - 4 b77 * x115 - 4 b77 * x116 - 4 b77 * x117 - 4 b77 * x118 - 4 b77 * x119 - 4 b77 * x120 - 4 b77 * x122 - 4 b77 * x123 + 4 b77 * x131 + 4 b77 * x140 + 4 b77 * x148 + 4 b77 * x155 + 4 b77 * x161 + 4 b77 * x166 + 4 b77 * x170 + 4 b77 * x173 - 4 b77 * x176 - 4 b77 * x177 - 4 b77 * b179 + 4 b78 * b89 + 4 b78 * b91 - 4 b78 * b93 + 4 b78 * b95 - 4 b78 * b96 - 4 b78 * b98 + 4 b78 * b99 - 4 b78 * b100 + 4 b78 * b101 - 4 b78 * b102 + 4 b78 * b103 - 4 b78 * b104 + 4 b78 * b105 - 4 b78 * b106 + 4 b78 * b107 + 4 b78 * b109 - 4 b78 * b110 + 4 b78 * b111 - 4 b78 * b112 - 4 b78 * x113 - 4 b78 * x114 - 4 b78 * x115 - 4 b78 * x116 - 4 b78 * x117 - 4 b78 * x118 - 4 b78 * x119 - 4 b78 * x120 - 4 b78 * x122 - 4 b78 * x123 + 4 b78 * x125 + 4 b78 * x127 + 4 b78 * x128 + 4 b78 * x129 + 4 b78 * x130 + 4 b78 * x131 + 4 b78 * x132 + 4 b78 * x133 + 4 b78 * x134 + 4 b78 * x136 + 4 b78 * x137 + 4 b78 * x138 + 4 b78 * x139 + 4 b78 * x140 + 4 b78 * x141 + 4 b78 * x142 - 4 b78 * x143 + 4 b78 * x148 + 4 b78 * x151 + 4 b78 * x152 + 4 b78 * x153 + 4 b78 * x154 + 4 b78 * x155 + 4 b78 * x156 + 4 b78 * x157 + 4 b78 * x161 + 4 b78 * x166 + 4 b78 * x170 + 4 b78 * x173 - 4 b78 * x176 - 4 b78 * x177 - 4 b78 * b179 + 4 b79 * b89 + 4 b79 * b91 - 4 b79 * b93 - 4 b79 * b95 - 4 b79 * b96 - 4 b79 * b98 - 4 b79 * b100 - 4 b79 * b101 - 4 b79 * b102 - 4 b79 * b104 - 4 b79 * b106 + 4 b79 * b107 - 4 b79 * b110 - 4 b79 * b112 - 4 b79 * x113 - 4 b79 * x114 - 4 b79 * x115 - 4 b79 * x116 - 4 b79 * x117 - 4 b79 * x118 - 4 b79 * x119 - 4 b79 * x120 - 4 b79 * x122 - 4 b79 * x123 - 4 b79 * x125 - 4 b79 * x128 + 4 b79 * x131 - 4 b79 * x134 - 4 b79 * x137 + 4 b79 * x140 + 4 b79 * x143 + 4 b79 * x144 + 4 b79 * x146 + 4 b79 * x147 + 4 b79 * x148 + 4 b79 * x149 + 4 b79 * x150 - 4 b79 * x152 + 4 b79 * x155 - 4 b79 * x158 + 4 b79 * x161 + 4 b79 * x164 + 4 b79 * x165 + 4 b79 * x166 + 4 b79 * x167 + 4 b79 * x168 + 4 b79 * x170 + 4 b79 * x173 - 4 b79 * x176 - 4 b79 * x177 - 4 b79 * b179 + 4 b80 * b104 + 4 b80 * x119 + 4 b80 * x129 + 4 b80 * x138 + 4 b80 * x146 + 4 b80 * x153 + 4 b80 * x159 + 4 b80 * x164 - 4 b80 * x169 - 4 b80 * x170 - 4 b80 * x171 - 4 b80 * x172 - 4 b81 * b93 - 4 b81 * b98 + 4 b81 * b104 - 4 b81 * x113 - 4 b81 * x114 - 4 b81 * x116 + 4 b81 * x119 + 4 b81 * x125 + 4 b81 * x127 + 4 b81 * x128 + 4 b81 * x129 + 4 b81 * x130 + 4 b81 * x131 + 4 b81 * x132 + 4 b81 * x133 + 4 b81 * x134 + 4 b81 * x136 + 4 b81 * x137 + 4 b81 * x138 + 4 b81 * x139 + 4 b81 * x140 + 4 b81 * x141 + 4 b81 * x142 - 4 b81 * x143 + 4 b81 * x146 + 4 b81 * x151 + 4 b81 * x152 + 4 b81 * x153 + 4 b81 * x154 + 4 b81 * x155 + 4 b81 * x156 + 4 b81 * x157 + 4 b81 * x159 + 4 b81 * x164 - 4 b81 * x169 - 4 b81 * x170 - 4 b81 * x171 - 4 b81 * x172 - 4 b81 * b179 - 4 b82 * b89 - 4 b82 * b91 - 4 b82 * b92 - 4 b82 * b94 - 4 b82 * b95 - 4 b82 * b96 - 4 b82 * b97 - 4 b82 * b99 - 4 b82 * b101 - 4 b82 * b102 + 4 b82 * b104 - 4 b82 * b105 - 4 b82 * b107 - 4 b82 * b109 - 4 b82 * b111 - 4 b82 * x115 - 4 b82 * x118 + 4 b82 * x119 - 4 b82 * x125 - 4 b82 * x128 + 4 b82 * x129 - 4 b82 * x134 - 4 b82 * x137 + 4 b82 * x138 + 4 b82 * x143 + 4 b82 * x144 + 4 b82 * x146 + 4 b82 * x147 + 4 b82 * x148 + 4 b82 * x149 + 4 b82 * x150 - 4 b82 * x152 + 4 b82 * x153 - 4 b82 * x158 + 4 b82 * x159 + 4 b82 * x164 + 4 b82 * x165 + 4 b82 * x166 + 4 b82 * x167 + 4 b82 * x168 - 4 b82 * x169 - 4 b82 * x170 - 4 b82 * x171 - 4 b82 * x172 + 4 b83 * b89 + 4 b83 * b90 + 4 b83 * b91 + 4 b83 * b92 + 4 b83 * b94 + 4 b83 * b95 + 4 b83 * b97 + 4 b83 * b99 + 4 b83 * b100 + 4 b83 * b101 + 4 b83 * b103 + 4 b83 * b105 + 4 b83 * b107 + 4 b83 * b109 + 4 b83 * b111 - 4 b83 * x113 - 4 b83 * x114 - 4 b83 * x115 - 4 b83 * x116 - 4 b83 * x118 - 4 b83 * x119 - 4 b83 * x120 - 4 b83 * x121 - 4 b83 * x122 - 4 b83 * x123 + 4 b83 * x127 + 4 b83 * x136 + 4 b83 * x144 + 4 b83 * x151 - 4 b83 * x158 - 4 b83 * x159 - 4 b83 * x160 - 4 b83 * x161 - 4 b83 * x162 - 4 b83 * x163 + 4 b84 * b89 + 4 b84 * b90 + 4 b84 * b91 - 4 b84 * b93 + 4 b84 * b95 - 4 b84 * b98 + 4 b84 * b99 + 4 b84 * b100 + 4 b84 * b101 + 4 b84 * b103 + 4 b84 * b105 + 4 b84 * b107 + 4 b84 * b109 + 4 b84 * b111 - 4 b84 * x113 - 4 b84 * x114 - 4 b84 * x115 - 4 b84 * x116 - 4 b84 * x118 - 4 b84 * x119 - 4 b84 * x120 - 4 b84 * x121 - 4 b84 * x122 - 4 b84 * x123 + 4 b84 * x125 + 4 b84 * x127 + 4 b84 * x128 + 4 b84 * x129 + 4 b84 * x130 + 4 b84 * x131 + 4 b84 * x132 + 4 b84 * x133 + 4 b84 * x134 + 4 b84 * x136 + 4 b84 * x137 + 4 b84 * x138 + 4 b84 * x139 + 4 b84 * x140 + 4 b84 * x141 + 4 b84 * x142 - 4 b84 * x143 + 4 b84 * x144 + 4 b84 * x151 + 4 b84 * x152 + 4 b84 * x153 + 4 b84 * x154 + 4 b84 * x155 + 4 b84 * x156 + 4 b84 * x157 - 4 b84 * x158 - 4 b84 * x159 - 4 b84 * x160 - 4 b84 * x161 - 4 b84 * x162 - 4 b84 * x163 - 4 b84 * b179 + 4 b85 * b89 + 4 b85 * b90 - 4 b85 * b95 - 4 b85 * b96 + 4 b85 * b99 + 4 b85 * b100 - 4 b85 * b101 - 4 b85 * b102 - 4 b85 * x113 - 4 b85 * x114 - 4 b85 * x115 - 4 b85 * x116 - 4 b85 * x118 - 4 b85 * x119 - 4 b85 * x120 - 4 b85 * x121 - 4 b85 * x122 - 4 b85 * x123 - 4 b85 * x125 + 4 b85 * x127 - 4 b85 * x128 - 4 b85 * x134 + 4 b85 * x136 - 4 b85 * x137 + 4 b85 * x143 + 4 b85 * x144 + 4 b85 * x146 + 4 b85 * x147 + 4 b85 * x148 + 4 b85 * x149 + 4 b85 * x150 + 4 b85 * x151 - 4 b85 * x152 - 4 b85 * x158 - 4 b85 * x159 - 4 b85 * x160 - 4 b85 * x161 - 4 b85 * x162 - 4 b85 * x163 + 4 b85 * x164 + 4 b85 * x165 + 4 b85 * x166 + 4 b85 * x167 + 4 b85 * x168 - 4 b86 * b93 - 4 b86 * b98 - 4 b86 * x113 - 4 b86 * x114 - 4 b86 * x116 + 4 b86 * x125 + 4 b86 * x127 + 4 b86 * x128 + 4 b86 * x129 + 4 b86 * x130 + 4 b86 * x131 + 4 b86 * x132 + 4 b86 * x133 + 4 b86 * x134 + 4 b86 * x136 + 4 b86 * x137 + 4 b86 * x138 + 4 b86 * x139 + 4 b86 * x140 + 4 b86 * x141 + 4 b86 * x142 - 4 b86 * x143 + 4 b86 * x151 + 4 b86 * x152 + 4 b86 * x153 + 4 b86 * x154 + 4 b86 * x155 + 4 b86 * x156 + 4 b86 * x157 - 4 b86 * b179 - 4 b87 * b89 - 4 b87 * b91 - 4 b87 * b92 - 4 b87 * b94 - 4 b87 * b95 - 4 b87 * b96 - 4 b87 * b97 - 4 b87 * b99 - 4 b87 * b101 - 4 b87 * b102 - 4 b87 * b103 - 4 b87 * b105 - 4 b87 * b107 - 4 b87 * b109 - 4 b87 * b111 - 4 b87 * x115 - 4 b87 * x118 - 4 b87 * x125 - 4 b87 * x128 - 4 b87 * x134 - 4 b87 * x137 + 4 b87 * x143 + 4 b87 * x144 + 4 b87 * x146 + 4 b87 * x147 + 4 b87 * x148 + 4 b87 * x149 + 4 b87 * x150 - 4 b87 * x152 - 4 b87 * x158 + 4 b87 * x164 + 4 b87 * x165 + 4 b87 * x166 + 4 b87 * x167 + 4 b87 * x168 - 4 b88 * b89 - 4 b88 * b91 + 4 b88 * b93 - 4 b88 * b95 - 4 b88 * b96 + 4 b88 * b98 - 4 b88 * b99 - 4 b88 * b101 - 4 b88 * b102 - 4 b88 * b103 - 4 b88 * b105 - 4 b88 * b107 - 4 b88 * b109 - 4 b88 * b111 + 4 b88 * x113 + 4 b88 * x114 - 4 b88 * x115 + 4 b88 * x116 - 4 b88 * x118 - 4 b88 * x125 - 4 b88 * x127 - 4 b88 * x128 - 4 b88 * x129 - 4 b88 * x130 - 4 b88 * x131 - 4 b88 * x132 - 4 b88 * x133 - 4 b88 * x134 - 4 b88 * x136 - 4 b88 * x137 - 4 b88 * x138 - 4 b88 * x139 - 4 b88 * x140 - 4 b88 * x141 - 4 b88 * x142 + 4 b88 * x143 + 4 b88 * x144 + 4 b88 * x146 + 4 b88 * x147 + 4 b88 * x148 + 4 b88 * x149 + 4 b88 * x150 - 4 b88 * x151 - 4 b88 * x152 - 4 b88 * x153 - 4 b88 * x154 - 4 b88 * x155 - 4 b88 * x156 - 4 b88 * x157 - 4 b88 * x158 + 4 b88 * x164 + 4 b88 * x165 + 4 b88 * x166 + 4 b88 * x167 + 4 b88 * x168 + 4 b88 * b179 - 4 b89 * b180 - 4 b90 * b180 - 4 b90 * b181 - 4 b91 * b180 + 4 b91 * b181 - 4 b91 * b182 - 4 b92 * b180 - 4 b93 * b181 + 4 b93 * b182 - 4 b94 * b180 + 4 b94 * b181 - 4 b95 * b180 + 4 b95 * b181 - 4 b96 * b181 + 4 b96 * b182 - 4 b97 * b180 + 4 b97 * b181 + 4 b97 * b182 - 4 b98 * b181 + 4 b98 * b182 - 4 b99 * b180 - 4 b100 * b180 - 4 b100 * b181 + 4 b100 * b182 - 4 b101 * b180 + 4 b101 * b181 - 4 b102 * b181 + 4 b102 * b182 + 4 b104 * b180 - 4 b104 * b181 + 4 b104 * b182 - 4 b105 * b180 + 4 b105 * b181 - 4 b106 * b181 + 4 b106 * b182 - 4 b107 * b180 + 4 b107 * b181 - 4 b107 * b182 - 4 b108 * b181 - 4 b109 * b180 - 4 b110 * b181 + 4 b110 * b182 - 4 b111 * b180 + 4 b112 * b182 + 4 x113 * b180 + 4 x114 * b180 + 4 x114 * b181 + 4 x115 * b180 + 4 x115 * b181 + 4 x116 * b180 + 4 x116 * b181 + 4 x118 * b180 + 4 x118 * b181 + 4 x119 * b180 + 4 x120 * b180 + 4 x120 * b181 + 4 x121 * b180 + 4 x121 * b181 + 4 x122 * b180 + 4 x123 * b180 + 4 x124 * b181 + 4 x125 * b181 + 4 x126 * b181 + 4 x126 * b182 - 4 x127 * b180 + 4 x128 * b181 + 4 x129 * b180 + 4 x130 * b181 + 4 x131 * b181 - 4 x131 * b182 + 4 x135 * b182 - 4 x136 * b180 - 4 x136 * b181 + 4 x138 * b180 - 4 x138 * b181 - 4 x140 * b182 - 4 x141 * b181 + 4 x143 * b182 - 4 x144 * b180 - 4 x144 * b181 + 4 x146 * b180 - 4 x146 * b181 - 4 x148 * b182 - 4 x149 * b181 - 4 x151 * b180 - 4 x151 * b181 - 4 x151 * b182 - 4 x152 * b182 + 4 x153 * b180 - 4 x153 * b181 - 4 x153 * b182 - 4 x154 * b182 - 4 x155 * b182 - 4 x156 * b181 - 4 x156 * b182 - 4 x157 * b182 + 4 x158 * b180 + 4 x158 * b181 + 4 x159 * b180 + 4 x160 * b180 + 4 x160 * b181 + 4 x161 * b180 + 4 x161 * b181 - 4 x161 * b182 + 4 x162 * b180 + 4 x163 * b180 + 4 x164 * b180 - 4 x164 * b181 - 4 x166 * b182 - 4 x167 * b181 - 4 x169 * b180 + 4 x169 * b181 - 4 x170 * b180 + 4 x170 * b181 - 4 x170 * b182 - 4 x171 * b180 - 4 x172 * b180 - 4 x173 * b182 - 4 x174 * b181 - 4 x176 * b181 + 4 x176 * b182 + 4 x177 * b182 - 4 b179 * b181 + 4 b179 * b182 ]/2 Subject To e2: - b2 + b3 + b4 <= 1 e3: b4 - b5 + b6 <= 1 e4: b4 - b7 + b8 <= 1 e5: b4 - b9 + b10 <= 1 e6: b4 - b11 + b12 <= 1 e7: b4 - b13 + b14 <= 1 e8: b4 - b15 + b16 <= 1 e9: b4 - b17 + b18 <= 1 e10: b4 - b19 + b20 <= 1 e11: b4 - b21 + b22 <= 1 e12: b4 - b23 + b24 <= 1 e13: b4 - b25 + b26 <= 1 e14: b2 - b5 + b27 <= 1 e15: b2 - b7 + b28 <= 1 e16: b2 - b9 + b29 <= 1 e17: b2 - b11 + b30 <= 1 e18: b2 - b13 + b31 <= 1 e19: b2 - b15 + b32 <= 1 e20: b2 - b17 + b33 <= 1 e21: b2 - b19 + b34 <= 1 e22: b2 - b21 + b35 <= 1 e23: b2 - b23 + b36 <= 1 e24: b2 - b25 + b37 <= 1 e25: b5 - b7 + b38 <= 1 e26: b5 - b9 + b39 <= 1 e27: b5 - b11 + b40 <= 1 e28: b5 - b13 + b41 <= 1 e29: b5 - b15 + b182 <= 1 e30: b5 - b17 + b42 <= 1 e31: b5 - b19 + b43 <= 1 e32: b5 - b21 + b44 <= 1 e33: b5 - b23 + b45 <= 1 e34: b5 - b25 + b46 <= 1 e35: b7 - b9 + b47 <= 1 e36: b7 - b11 + b48 <= 1 e37: b7 - b13 + b181 <= 1 e38: b7 - b15 + b49 <= 1 e39: b7 - b17 + b50 <= 1 e40: b7 - b19 + b51 <= 1 e41: b7 - b21 + b52 <= 1 e42: b7 - b23 + b53 <= 1 e43: b7 - b25 + b54 <= 1 e44: b9 - b11 + b55 <= 1 e45: b9 - b13 + b56 <= 1 e46: b9 - b15 + b57 <= 1 e47: b9 - b17 + b58 <= 1 e48: b9 - b19 + b59 <= 1 e49: b9 - b21 + b183 <= 1 e50: b9 - b23 + b60 <= 1 e51: b9 - b25 + b61 <= 1 e52: b11 - b13 + b62 <= 1 e53: b11 - b15 + b63 <= 1 e54: b11 - b17 + b64 <= 1 e55: b11 - b19 + b65 <= 1 e56: b11 - b21 + b66 <= 1 e57: b11 - b23 + b67 <= 1 e58: b11 - b25 + b68 <= 1 e59: b13 - b15 + b69 <= 1 e60: b13 - b17 + b70 <= 1 e61: b13 - b19 + b71 <= 1 e62: b13 - b21 + b72 <= 1 e63: b13 - b23 + b73 <= 1 e64: b13 - b25 + b74 <= 1 e65: b15 - b17 + b75 <= 1 e66: b15 - b19 + b76 <= 1 e67: b15 - b21 + b77 <= 1 e68: b15 - b23 + b78 <= 1 e69: b15 - b25 + b79 <= 1 e70: b17 - b19 + b180 <= 1 e71: b17 - b21 + b80 <= 1 e72: b17 - b23 + b81 <= 1 e73: b17 - b25 + b82 <= 1 e74: b19 - b21 + b83 <= 1 e75: b19 - b23 + b84 <= 1 e76: b19 - b25 + b85 <= 1 e77: b21 - b23 + b86 <= 1 e78: b21 - b25 + b87 <= 1 e79: b23 - b25 + b88 <= 1 e80: b3 - b6 + b27 <= 1 e81: b3 - b8 + b28 <= 1 e82: b3 - b10 + b29 <= 1 e83: b3 - b12 + b30 <= 1 e84: b3 - b14 + b31 <= 1 e85: b3 - b16 + b32 <= 1 e86: b3 - b18 + b33 <= 1 e87: b3 - b20 + b34 <= 1 e88: b3 - b22 + b35 <= 1 e89: b3 - b24 + b36 <= 1 e90: b3 - b26 + b37 <= 1 e91: b6 - b8 + b38 <= 1 e92: b6 - b10 + b39 <= 1 e93: b6 - b12 + b40 <= 1 e94: b6 - b14 + b41 <= 1 e95: b6 - b16 + b182 <= 1 e96: b6 - b18 + b42 <= 1 e97: b6 - b20 + b43 <= 1 e98: b6 - b22 + b44 <= 1 e99: b6 - b24 + b45 <= 1 e100: b6 - b26 + b46 <= 1 e101: b8 - b10 + b47 <= 1 e102: b8 - b12 + b48 <= 1 e103: b8 - b14 + b181 <= 1 e104: b8 - b16 + b49 <= 1 e105: b8 - b18 + b50 <= 1 e106: b8 - b20 + b51 <= 1 e107: b8 - b22 + b52 <= 1 e108: b8 - b24 + b53 <= 1 e109: b8 - b26 + b54 <= 1 e110: b10 - b12 + b55 <= 1 e111: b10 - b14 + b56 <= 1 e112: b10 - b16 + b57 <= 1 e113: b10 - b18 + b58 <= 1 e114: b10 - b20 + b59 <= 1 e115: b10 - b22 + b183 <= 1 e116: b10 - b24 + b60 <= 1 e117: b10 - b26 + b61 <= 1 e118: b12 - b14 + b62 <= 1 e119: b12 - b16 + b63 <= 1 e120: b12 - b18 + b64 <= 1 e121: b12 - b20 + b65 <= 1 e122: b12 - b22 + b66 <= 1 e123: b12 - b24 + b67 <= 1 e124: b12 - b26 + b68 <= 1 e125: b14 - b16 + b69 <= 1 e126: b14 - b18 + b70 <= 1 e127: b14 - b20 + b71 <= 1 e128: b14 - b22 + b72 <= 1 e129: b14 - b24 + b73 <= 1 e130: b14 - b26 + b74 <= 1 e131: b16 - b18 + b75 <= 1 e132: b16 - b20 + b76 <= 1 e133: b16 - b22 + b77 <= 1 e134: b16 - b24 + b78 <= 1 e135: b16 - b26 + b79 <= 1 e136: b18 - b20 + b180 <= 1 e137: b18 - b22 + b80 <= 1 e138: b18 - b24 + b81 <= 1 e139: b18 - b26 + b82 <= 1 e140: b20 - b22 + b83 <= 1 e141: b20 - b24 + b84 <= 1 e142: b20 - b26 + b85 <= 1 e143: b22 - b24 + b86 <= 1 e144: b22 - b26 + b87 <= 1 e145: b24 - b26 + b88 <= 1 e146: b27 - b28 + b38 <= 1 e147: b27 - b29 + b39 <= 1 e148: b27 - b30 + b40 <= 1 e149: b27 - b31 + b41 <= 1 e150: b27 - b32 + b182 <= 1 e151: b27 - b33 + b42 <= 1 e152: b27 - b34 + b43 <= 1 e153: b27 - b35 + b44 <= 1 e154: b27 - b36 + b45 <= 1 e155: b27 - b37 + b46 <= 1 e156: b28 - b29 + b47 <= 1 e157: b28 - b30 + b48 <= 1 e158: b28 - b31 + b181 <= 1 e159: b28 - b32 + b49 <= 1 e160: b28 - b33 + b50 <= 1 e161: b28 - b34 + b51 <= 1 e162: b28 - b35 + b52 <= 1 e163: b28 - b36 + b53 <= 1 e164: b28 - b37 + b54 <= 1 e165: b29 - b30 + b55 <= 1 e166: b29 - b31 + b56 <= 1 e167: b29 - b32 + b57 <= 1 e168: b29 - b33 + b58 <= 1 e169: b29 - b34 + b59 <= 1 e170: b29 - b35 + b183 <= 1 e171: b29 - b36 + b60 <= 1 e172: b29 - b37 + b61 <= 1 e173: b30 - b31 + b62 <= 1 e174: b30 - b32 + b63 <= 1 e175: b30 - b33 + b64 <= 1 e176: b30 - b34 + b65 <= 1 e177: b30 - b35 + b66 <= 1 e178: b30 - b36 + b67 <= 1 e179: b30 - b37 + b68 <= 1 e180: b31 - b32 + b69 <= 1 e181: b31 - b33 + b70 <= 1 e182: b31 - b34 + b71 <= 1 e183: b31 - b35 + b72 <= 1 e184: b31 - b36 + b73 <= 1 e185: b31 - b37 + b74 <= 1 e186: b32 - b33 + b75 <= 1 e187: b32 - b34 + b76 <= 1 e188: b32 - b35 + b77 <= 1 e189: b32 - b36 + b78 <= 1 e190: b32 - b37 + b79 <= 1 e191: b33 - b34 + b180 <= 1 e192: b33 - b35 + b80 <= 1 e193: b33 - b36 + b81 <= 1 e194: b33 - b37 + b82 <= 1 e195: b34 - b35 + b83 <= 1 e196: b34 - b36 + b84 <= 1 e197: b34 - b37 + b85 <= 1 e198: b35 - b36 + b86 <= 1 e199: b35 - b37 + b87 <= 1 e200: b36 - b37 + b88 <= 1 e201: b38 - b39 + b47 <= 1 e202: b38 - b40 + b48 <= 1 e203: b38 - b41 + b181 <= 1 e204: b38 + b49 - b182 <= 1 e205: b38 - b42 + b50 <= 1 e206: b38 - b43 + b51 <= 1 e207: b38 - b44 + b52 <= 1 e208: b38 - b45 + b53 <= 1 e209: b38 - b46 + b54 <= 1 e210: b39 - b40 + b55 <= 1 e211: b39 - b41 + b56 <= 1 e212: b39 + b57 - b182 <= 1 e213: b39 - b42 + b58 <= 1 e214: b39 - b43 + b59 <= 1 e215: b39 - b44 + b183 <= 1 e216: b39 - b45 + b60 <= 1 e217: b39 - b46 + b61 <= 1 e218: b40 - b41 + b62 <= 1 e219: b40 + b63 - b182 <= 1 e220: b40 - b42 + b64 <= 1 e221: b40 - b43 + b65 <= 1 e222: b40 - b44 + b66 <= 1 e223: b40 - b45 + b67 <= 1 e224: b40 - b46 + b68 <= 1 e225: b41 + b69 - b182 <= 1 e226: b41 - b42 + b70 <= 1 e227: b41 - b43 + b71 <= 1 e228: b41 - b44 + b72 <= 1 e229: b41 - b45 + b73 <= 1 e230: b41 - b46 + b74 <= 1 e231: - b42 + b75 + b182 <= 1 e232: - b43 + b76 + b182 <= 1 e233: - b44 + b77 + b182 <= 1 e234: - b45 + b78 + b182 <= 1 e235: - b46 + b79 + b182 <= 1 e236: b42 - b43 + b180 <= 1 e237: b42 - b44 + b80 <= 1 e238: b42 - b45 + b81 <= 1 e239: b42 - b46 + b82 <= 1 e240: b43 - b44 + b83 <= 1 e241: b43 - b45 + b84 <= 1 e242: b43 - b46 + b85 <= 1 e243: b44 - b45 + b86 <= 1 e244: b44 - b46 + b87 <= 1 e245: b45 - b46 + b88 <= 1 e246: b47 - b48 + b55 <= 1 e247: b47 + b56 - b181 <= 1 e248: b47 - b49 + b57 <= 1 e249: b47 - b50 + b58 <= 1 e250: b47 - b51 + b59 <= 1 e251: b47 - b52 + b183 <= 1 e252: b47 - b53 + b60 <= 1 e253: b47 - b54 + b61 <= 1 e254: b48 + b62 - b181 <= 1 e255: b48 - b49 + b63 <= 1 e256: b48 - b50 + b64 <= 1 e257: b48 - b51 + b65 <= 1 e258: b48 - b52 + b66 <= 1 e259: b48 - b53 + b67 <= 1 e260: b48 - b54 + b68 <= 1 e261: - b49 + b69 + b181 <= 1 e262: - b50 + b70 + b181 <= 1 e263: - b51 + b71 + b181 <= 1 e264: - b52 + b72 + b181 <= 1 e265: - b53 + b73 + b181 <= 1 e266: - b54 + b74 + b181 <= 1 e267: b49 - b50 + b75 <= 1 e268: b49 - b51 + b76 <= 1 e269: b49 - b52 + b77 <= 1 e270: b49 - b53 + b78 <= 1 e271: b49 - b54 + b79 <= 1 e272: b50 - b51 + b180 <= 1 e273: b50 - b52 + b80 <= 1 e274: b50 - b53 + b81 <= 1 e275: b50 - b54 + b82 <= 1 e276: b51 - b52 + b83 <= 1 e277: b51 - b53 + b84 <= 1 e278: b51 - b54 + b85 <= 1 e279: b52 - b53 + b86 <= 1 e280: b52 - b54 + b87 <= 1 e281: b53 - b54 + b88 <= 1 e282: b55 - b56 + b62 <= 1 e283: b55 - b57 + b63 <= 1 e284: b55 - b58 + b64 <= 1 e285: b55 - b59 + b65 <= 1 e286: b55 + b66 - b183 <= 1 e287: b55 - b60 + b67 <= 1 e288: b55 - b61 + b68 <= 1 e289: b56 - b57 + b69 <= 1 e290: b56 - b58 + b70 <= 1 e291: b56 - b59 + b71 <= 1 e292: b56 + b72 - b183 <= 1 e293: b56 - b60 + b73 <= 1 e294: b56 - b61 + b74 <= 1 e295: b57 - b58 + b75 <= 1 e296: b57 - b59 + b76 <= 1 e297: b57 + b77 - b183 <= 1 e298: b57 - b60 + b78 <= 1 e299: b57 - b61 + b79 <= 1 e300: b58 - b59 + b180 <= 1 e301: b58 + b80 - b183 <= 1 e302: b58 - b60 + b81 <= 1 e303: b58 - b61 + b82 <= 1 e304: b59 + b83 - b183 <= 1 e305: b59 - b60 + b84 <= 1 e306: b59 - b61 + b85 <= 1 e307: - b60 + b86 + b183 <= 1 e308: - b61 + b87 + b183 <= 1 e309: b60 - b61 + b88 <= 1 e310: b62 - b63 + b69 <= 1 e311: b62 - b64 + b70 <= 1 e312: b62 - b65 + b71 <= 1 e313: b62 - b66 + b72 <= 1 e314: b62 - b67 + b73 <= 1 e315: b62 - b68 + b74 <= 1 e316: b63 - b64 + b75 <= 1 e317: b63 - b65 + b76 <= 1 e318: b63 - b66 + b77 <= 1 e319: b63 - b67 + b78 <= 1 e320: b63 - b68 + b79 <= 1 e321: b64 - b65 + b180 <= 1 e322: b64 - b66 + b80 <= 1 e323: b64 - b67 + b81 <= 1 e324: b64 - b68 + b82 <= 1 e325: b65 - b66 + b83 <= 1 e326: b65 - b67 + b84 <= 1 e327: b65 - b68 + b85 <= 1 e328: b66 - b67 + b86 <= 1 e329: b66 - b68 + b87 <= 1 e330: b67 - b68 + b88 <= 1 e331: b69 - b70 + b75 <= 1 e332: b69 - b71 + b76 <= 1 e333: b69 - b72 + b77 <= 1 e334: b69 - b73 + b78 <= 1 e335: b69 - b74 + b79 <= 1 e336: b70 - b71 + b180 <= 1 e337: b70 - b72 + b80 <= 1 e338: b70 - b73 + b81 <= 1 e339: b70 - b74 + b82 <= 1 e340: b71 - b72 + b83 <= 1 e341: b71 - b73 + b84 <= 1 e342: b71 - b74 + b85 <= 1 e343: b72 - b73 + b86 <= 1 e344: b72 - b74 + b87 <= 1 e345: b73 - b74 + b88 <= 1 e346: b75 - b76 + b180 <= 1 e347: b75 - b77 + b80 <= 1 e348: b75 - b78 + b81 <= 1 e349: b75 - b79 + b82 <= 1 e350: b76 - b77 + b83 <= 1 e351: b76 - b78 + b84 <= 1 e352: b76 - b79 + b85 <= 1 e353: b77 - b78 + b86 <= 1 e354: b77 - b79 + b87 <= 1 e355: b78 - b79 + b88 <= 1 e356: - b80 + b83 + b180 <= 1 e357: - b81 + b84 + b180 <= 1 e358: - b82 + b85 + b180 <= 1 e359: b80 - b81 + b86 <= 1 e360: b80 - b82 + b87 <= 1 e361: b81 - b82 + b88 <= 1 e362: b83 - b84 + b86 <= 1 e363: b83 - b85 + b87 <= 1 e364: b84 - b85 + b88 <= 1 e365: b86 - b87 + b88 <= 1 e366: b2 - b3 - b4 <= 0 e367: - b4 + b5 - b6 <= 0 e368: - b4 + b7 - b8 <= 0 e369: - b4 + b9 - b10 <= 0 e370: - b4 + b11 - b12 <= 0 e371: - b4 + b13 - b14 <= 0 e372: - b4 + b15 - b16 <= 0 e373: - b4 + b17 - b18 <= 0 e374: - b4 + b19 - b20 <= 0 e375: - b4 + b21 - b22 <= 0 e376: - b4 + b23 - b24 <= 0 e377: - b4 + b25 - b26 <= 0 e378: - b2 + b5 - b27 <= 0 e379: - b2 + b7 - b28 <= 0 e380: - b2 + b9 - b29 <= 0 e381: - b2 + b11 - b30 <= 0 e382: - b2 + b13 - b31 <= 0 e383: - b2 + b15 - b32 <= 0 e384: - b2 + b17 - b33 <= 0 e385: - b2 + b19 - b34 <= 0 e386: - b2 + b21 - b35 <= 0 e387: - b2 + b23 - b36 <= 0 e388: - b2 + b25 - b37 <= 0 e389: - b5 + b7 - b38 <= 0 e390: - b5 + b9 - b39 <= 0 e391: - b5 + b11 - b40 <= 0 e392: - b5 + b13 - b41 <= 0 e393: - b5 + b15 - b182 <= 0 e394: - b5 + b17 - b42 <= 0 e395: - b5 + b19 - b43 <= 0 e396: - b5 + b21 - b44 <= 0 e397: - b5 + b23 - b45 <= 0 e398: - b5 + b25 - b46 <= 0 e399: - b7 + b9 - b47 <= 0 e400: - b7 + b11 - b48 <= 0 e401: - b7 + b13 - b181 <= 0 e402: - b7 + b15 - b49 <= 0 e403: - b7 + b17 - b50 <= 0 e404: - b7 + b19 - b51 <= 0 e405: - b7 + b21 - b52 <= 0 e406: - b7 + b23 - b53 <= 0 e407: - b7 + b25 - b54 <= 0 e408: - b9 + b11 - b55 <= 0 e409: - b9 + b13 - b56 <= 0 e410: - b9 + b15 - b57 <= 0 e411: - b9 + b17 - b58 <= 0 e412: - b9 + b19 - b59 <= 0 e413: - b9 + b21 - b183 <= 0 e414: - b9 + b23 - b60 <= 0 e415: - b9 + b25 - b61 <= 0 e416: - b11 + b13 - b62 <= 0 e417: - b11 + b15 - b63 <= 0 e418: - b11 + b17 - b64 <= 0 e419: - b11 + b19 - b65 <= 0 e420: - b11 + b21 - b66 <= 0 e421: - b11 + b23 - b67 <= 0 e422: - b11 + b25 - b68 <= 0 e423: - b13 + b15 - b69 <= 0 e424: - b13 + b17 - b70 <= 0 e425: - b13 + b19 - b71 <= 0 e426: - b13 + b21 - b72 <= 0 e427: - b13 + b23 - b73 <= 0 e428: - b13 + b25 - b74 <= 0 e429: - b15 + b17 - b75 <= 0 e430: - b15 + b19 - b76 <= 0 e431: - b15 + b21 - b77 <= 0 e432: - b15 + b23 - b78 <= 0 e433: - b15 + b25 - b79 <= 0 e434: - b17 + b19 - b180 <= 0 e435: - b17 + b21 - b80 <= 0 e436: - b17 + b23 - b81 <= 0 e437: - b17 + b25 - b82 <= 0 e438: - b19 + b21 - b83 <= 0 e439: - b19 + b23 - b84 <= 0 e440: - b19 + b25 - b85 <= 0 e441: - b21 + b23 - b86 <= 0 e442: - b21 + b25 - b87 <= 0 e443: - b23 + b25 - b88 <= 0 e444: - b3 + b6 - b27 <= 0 e445: - b3 + b8 - b28 <= 0 e446: - b3 + b10 - b29 <= 0 e447: - b3 + b12 - b30 <= 0 e448: - b3 + b14 - b31 <= 0 e449: - b3 + b16 - b32 <= 0 e450: - b3 + b18 - b33 <= 0 e451: - b3 + b20 - b34 <= 0 e452: - b3 + b22 - b35 <= 0 e453: - b3 + b24 - b36 <= 0 e454: - b3 + b26 - b37 <= 0 e455: - b6 + b8 - b38 <= 0 e456: - b6 + b10 - b39 <= 0 e457: - b6 + b12 - b40 <= 0 e458: - b6 + b14 - b41 <= 0 e459: - b6 + b16 - b182 <= 0 e460: - b6 + b18 - b42 <= 0 e461: - b6 + b20 - b43 <= 0 e462: - b6 + b22 - b44 <= 0 e463: - b6 + b24 - b45 <= 0 e464: - b6 + b26 - b46 <= 0 e465: - b8 + b10 - b47 <= 0 e466: - b8 + b12 - b48 <= 0 e467: - b8 + b14 - b181 <= 0 e468: - b8 + b16 - b49 <= 0 e469: - b8 + b18 - b50 <= 0 e470: - b8 + b20 - b51 <= 0 e471: - b8 + b22 - b52 <= 0 e472: - b8 + b24 - b53 <= 0 e473: - b8 + b26 - b54 <= 0 e474: - b10 + b12 - b55 <= 0 e475: - b10 + b14 - b56 <= 0 e476: - b10 + b16 - b57 <= 0 e477: - b10 + b18 - b58 <= 0 e478: - b10 + b20 - b59 <= 0 e479: - b10 + b22 - b183 <= 0 e480: - b10 + b24 - b60 <= 0 e481: - b10 + b26 - b61 <= 0 e482: - b12 + b14 - b62 <= 0 e483: - b12 + b16 - b63 <= 0 e484: - b12 + b18 - b64 <= 0 e485: - b12 + b20 - b65 <= 0 e486: - b12 + b22 - b66 <= 0 e487: - b12 + b24 - b67 <= 0 e488: - b12 + b26 - b68 <= 0 e489: - b14 + b16 - b69 <= 0 e490: - b14 + b18 - b70 <= 0 e491: - b14 + b20 - b71 <= 0 e492: - b14 + b22 - b72 <= 0 e493: - b14 + b24 - b73 <= 0 e494: - b14 + b26 - b74 <= 0 e495: - b16 + b18 - b75 <= 0 e496: - b16 + b20 - b76 <= 0 e497: - b16 + b22 - b77 <= 0 e498: - b16 + b24 - b78 <= 0 e499: - b16 + b26 - b79 <= 0 e500: - b18 + b20 - b180 <= 0 e501: - b18 + b22 - b80 <= 0 e502: - b18 + b24 - b81 <= 0 e503: - b18 + b26 - b82 <= 0 e504: - b20 + b22 - b83 <= 0 e505: - b20 + b24 - b84 <= 0 e506: - b20 + b26 - b85 <= 0 e507: - b22 + b24 - b86 <= 0 e508: - b22 + b26 - b87 <= 0 e509: - b24 + b26 - b88 <= 0 e510: - b27 + b28 - b38 <= 0 e511: - b27 + b29 - b39 <= 0 e512: - b27 + b30 - b40 <= 0 e513: - b27 + b31 - b41 <= 0 e514: - b27 + b32 - b182 <= 0 e515: - b27 + b33 - b42 <= 0 e516: - b27 + b34 - b43 <= 0 e517: - b27 + b35 - b44 <= 0 e518: - b27 + b36 - b45 <= 0 e519: - b27 + b37 - b46 <= 0 e520: - b28 + b29 - b47 <= 0 e521: - b28 + b30 - b48 <= 0 e522: - b28 + b31 - b181 <= 0 e523: - b28 + b32 - b49 <= 0 e524: - b28 + b33 - b50 <= 0 e525: - b28 + b34 - b51 <= 0 e526: - b28 + b35 - b52 <= 0 e527: - b28 + b36 - b53 <= 0 e528: - b28 + b37 - b54 <= 0 e529: - b29 + b30 - b55 <= 0 e530: - b29 + b31 - b56 <= 0 e531: - b29 + b32 - b57 <= 0 e532: - b29 + b33 - b58 <= 0 e533: - b29 + b34 - b59 <= 0 e534: - b29 + b35 - b183 <= 0 e535: - b29 + b36 - b60 <= 0 e536: - b29 + b37 - b61 <= 0 e537: - b30 + b31 - b62 <= 0 e538: - b30 + b32 - b63 <= 0 e539: - b30 + b33 - b64 <= 0 e540: - b30 + b34 - b65 <= 0 e541: - b30 + b35 - b66 <= 0 e542: - b30 + b36 - b67 <= 0 e543: - b30 + b37 - b68 <= 0 e544: - b31 + b32 - b69 <= 0 e545: - b31 + b33 - b70 <= 0 e546: - b31 + b34 - b71 <= 0 e547: - b31 + b35 - b72 <= 0 e548: - b31 + b36 - b73 <= 0 e549: - b31 + b37 - b74 <= 0 e550: - b32 + b33 - b75 <= 0 e551: - b32 + b34 - b76 <= 0 e552: - b32 + b35 - b77 <= 0 e553: - b32 + b36 - b78 <= 0 e554: - b32 + b37 - b79 <= 0 e555: - b33 + b34 - b180 <= 0 e556: - b33 + b35 - b80 <= 0 e557: - b33 + b36 - b81 <= 0 e558: - b33 + b37 - b82 <= 0 e559: - b34 + b35 - b83 <= 0 e560: - b34 + b36 - b84 <= 0 e561: - b34 + b37 - b85 <= 0 e562: - b35 + b36 - b86 <= 0 e563: - b35 + b37 - b87 <= 0 e564: - b36 + b37 - b88 <= 0 e565: - b38 + b39 - b47 <= 0 e566: - b38 + b40 - b48 <= 0 e567: - b38 + b41 - b181 <= 0 e568: - b38 - b49 + b182 <= 0 e569: - b38 + b42 - b50 <= 0 e570: - b38 + b43 - b51 <= 0 e571: - b38 + b44 - b52 <= 0 e572: - b38 + b45 - b53 <= 0 e573: - b38 + b46 - b54 <= 0 e574: - b39 + b40 - b55 <= 0 e575: - b39 + b41 - b56 <= 0 e576: - b39 - b57 + b182 <= 0 e577: - b39 + b42 - b58 <= 0 e578: - b39 + b43 - b59 <= 0 e579: - b39 + b44 - b183 <= 0 e580: - b39 + b45 - b60 <= 0 e581: - b39 + b46 - b61 <= 0 e582: - b40 + b41 - b62 <= 0 e583: - b40 - b63 + b182 <= 0 e584: - b40 + b42 - b64 <= 0 e585: - b40 + b43 - b65 <= 0 e586: - b40 + b44 - b66 <= 0 e587: - b40 + b45 - b67 <= 0 e588: - b40 + b46 - b68 <= 0 e589: - b41 - b69 + b182 <= 0 e590: - b41 + b42 - b70 <= 0 e591: - b41 + b43 - b71 <= 0 e592: - b41 + b44 - b72 <= 0 e593: - b41 + b45 - b73 <= 0 e594: - b41 + b46 - b74 <= 0 e595: b42 - b75 - b182 <= 0 e596: b43 - b76 - b182 <= 0 e597: b44 - b77 - b182 <= 0 e598: b45 - b78 - b182 <= 0 e599: b46 - b79 - b182 <= 0 e600: - b42 + b43 - b180 <= 0 e601: - b42 + b44 - b80 <= 0 e602: - b42 + b45 - b81 <= 0 e603: - b42 + b46 - b82 <= 0 e604: - b43 + b44 - b83 <= 0 e605: - b43 + b45 - b84 <= 0 e606: - b43 + b46 - b85 <= 0 e607: - b44 + b45 - b86 <= 0 e608: - b44 + b46 - b87 <= 0 e609: - b45 + b46 - b88 <= 0 e610: - b47 + b48 - b55 <= 0 e611: - b47 - b56 + b181 <= 0 e612: - b47 + b49 - b57 <= 0 e613: - b47 + b50 - b58 <= 0 e614: - b47 + b51 - b59 <= 0 e615: - b47 + b52 - b183 <= 0 e616: - b47 + b53 - b60 <= 0 e617: - b47 + b54 - b61 <= 0 e618: - b48 - b62 + b181 <= 0 e619: - b48 + b49 - b63 <= 0 e620: - b48 + b50 - b64 <= 0 e621: - b48 + b51 - b65 <= 0 e622: - b48 + b52 - b66 <= 0 e623: - b48 + b53 - b67 <= 0 e624: - b48 + b54 - b68 <= 0 e625: b49 - b69 - b181 <= 0 e626: b50 - b70 - b181 <= 0 e627: b51 - b71 - b181 <= 0 e628: b52 - b72 - b181 <= 0 e629: b53 - b73 - b181 <= 0 e630: b54 - b74 - b181 <= 0 e631: - b49 + b50 - b75 <= 0 e632: - b49 + b51 - b76 <= 0 e633: - b49 + b52 - b77 <= 0 e634: - b49 + b53 - b78 <= 0 e635: - b49 + b54 - b79 <= 0 e636: - b50 + b51 - b180 <= 0 e637: - b50 + b52 - b80 <= 0 e638: - b50 + b53 - b81 <= 0 e639: - b50 + b54 - b82 <= 0 e640: - b51 + b52 - b83 <= 0 e641: - b51 + b53 - b84 <= 0 e642: - b51 + b54 - b85 <= 0 e643: - b52 + b53 - b86 <= 0 e644: - b52 + b54 - b87 <= 0 e645: - b53 + b54 - b88 <= 0 e646: - b55 + b56 - b62 <= 0 e647: - b55 + b57 - b63 <= 0 e648: - b55 + b58 - b64 <= 0 e649: - b55 + b59 - b65 <= 0 e650: - b55 - b66 + b183 <= 0 e651: - b55 + b60 - b67 <= 0 e652: - b55 + b61 - b68 <= 0 e653: - b56 + b57 - b69 <= 0 e654: - b56 + b58 - b70 <= 0 e655: - b56 + b59 - b71 <= 0 e656: - b56 - b72 + b183 <= 0 e657: - b56 + b60 - b73 <= 0 e658: - b56 + b61 - b74 <= 0 e659: - b57 + b58 - b75 <= 0 e660: - b57 + b59 - b76 <= 0 e661: - b57 - b77 + b183 <= 0 e662: - b57 + b60 - b78 <= 0 e663: - b57 + b61 - b79 <= 0 e664: - b58 + b59 - b180 <= 0 e665: - b58 - b80 + b183 <= 0 e666: - b58 + b60 - b81 <= 0 e667: - b58 + b61 - b82 <= 0 e668: - b59 - b83 + b183 <= 0 e669: - b59 + b60 - b84 <= 0 e670: - b59 + b61 - b85 <= 0 e671: b60 - b86 - b183 <= 0 e672: b61 - b87 - b183 <= 0 e673: - b60 + b61 - b88 <= 0 e674: - b62 + b63 - b69 <= 0 e675: - b62 + b64 - b70 <= 0 e676: - b62 + b65 - b71 <= 0 e677: - b62 + b66 - b72 <= 0 e678: - b62 + b67 - b73 <= 0 e679: - b62 + b68 - b74 <= 0 e680: - b63 + b64 - b75 <= 0 e681: - b63 + b65 - b76 <= 0 e682: - b63 + b66 - b77 <= 0 e683: - b63 + b67 - b78 <= 0 e684: - b63 + b68 - b79 <= 0 e685: - b64 + b65 - b180 <= 0 e686: - b64 + b66 - b80 <= 0 e687: - b64 + b67 - b81 <= 0 e688: - b64 + b68 - b82 <= 0 e689: - b65 + b66 - b83 <= 0 e690: - b65 + b67 - b84 <= 0 e691: - b65 + b68 - b85 <= 0 e692: - b66 + b67 - b86 <= 0 e693: - b66 + b68 - b87 <= 0 e694: - b67 + b68 - b88 <= 0 e695: - b69 + b70 - b75 <= 0 e696: - b69 + b71 - b76 <= 0 e697: - b69 + b72 - b77 <= 0 e698: - b69 + b73 - b78 <= 0 e699: - b69 + b74 - b79 <= 0 e700: - b70 + b71 - b180 <= 0 e701: - b70 + b72 - b80 <= 0 e702: - b70 + b73 - b81 <= 0 e703: - b70 + b74 - b82 <= 0 e704: - b71 + b72 - b83 <= 0 e705: - b71 + b73 - b84 <= 0 e706: - b71 + b74 - b85 <= 0 e707: - b72 + b73 - b86 <= 0 e708: - b72 + b74 - b87 <= 0 e709: - b73 + b74 - b88 <= 0 e710: - b75 + b76 - b180 <= 0 e711: - b75 + b77 - b80 <= 0 e712: - b75 + b78 - b81 <= 0 e713: - b75 + b79 - b82 <= 0 e714: - b76 + b77 - b83 <= 0 e715: - b76 + b78 - b84 <= 0 e716: - b76 + b79 - b85 <= 0 e717: - b77 + b78 - b86 <= 0 e718: - b77 + b79 - b87 <= 0 e719: - b78 + b79 - b88 <= 0 e720: b80 - b83 - b180 <= 0 e721: b81 - b84 - b180 <= 0 e722: b82 - b85 - b180 <= 0 e723: - b80 + b81 - b86 <= 0 e724: - b80 + b82 - b87 <= 0 e725: - b81 + b82 - b88 <= 0 e726: - b83 + b84 - b86 <= 0 e727: - b83 + b85 - b87 <= 0 e728: - b84 + b85 - b88 <= 0 e729: - b86 + b87 - b88 <= 0 e730: - b89 + b90 + b91 <= 1 e731: b91 - b92 + b93 <= 1 e732: b91 - b94 + b179 <= 1 e733: b91 - b95 + b96 <= 1 e734: b91 - b97 + b98 <= 1 e735: b91 - b99 + b100 <= 1 e736: b91 - b101 + b102 <= 1 e737: b91 - b103 + b104 <= 1 e738: b91 - b105 + b106 <= 1 e739: b91 - b107 + b108 <= 1 e740: b91 - b109 + b110 <= 1 e741: b91 - b111 + b112 <= 1 e742: b89 - b92 + x113 <= 1 e743: b89 - b94 + x114 <= 1 e744: b89 - b95 + x115 <= 1 e745: b89 - b97 + x116 <= 1 e746: b89 - b99 + x117 <= 1 e747: b89 - b101 + x118 <= 1 e748: b89 - b103 + x119 <= 1 e749: b89 - b105 + x120 <= 1 e750: b89 - b107 + x121 <= 1 e751: b89 - b109 + x122 <= 1 e752: b89 - b111 + x123 <= 1 e753: b92 - b94 + x124 <= 1 e754: b92 - b95 + x125 <= 1 e755: b92 - b97 + x126 <= 1 e756: b92 - b99 + x127 <= 1 e757: b92 - b101 + x128 <= 1 e758: b92 - b103 + x129 <= 1 e759: b92 - b105 + x130 <= 1 e760: b92 - b107 + x131 <= 1 e761: b92 - b109 + x132 <= 1 e762: b92 - b111 + x133 <= 1 e763: b94 - b95 + x134 <= 1 e764: b94 - b97 + x135 <= 1 e765: b94 - b99 + x136 <= 1 e766: b94 - b101 + x137 <= 1 e767: b94 - b103 + x138 <= 1 e768: b94 - b105 + x139 <= 1 e769: b94 - b107 + x140 <= 1 e770: b94 - b109 + x141 <= 1 e771: b94 - b111 + x142 <= 1 e772: b95 - b97 + x143 <= 1 e773: b95 - b99 + x144 <= 1 e774: b95 - b101 + x145 <= 1 e775: b95 - b103 + x146 <= 1 e776: b95 - b105 + x147 <= 1 e777: b95 - b107 + x148 <= 1 e778: b95 - b109 + x149 <= 1 e779: b95 - b111 + x150 <= 1 e780: b97 - b99 + x151 <= 1 e781: b97 - b101 + x152 <= 1 e782: b97 - b103 + x153 <= 1 e783: b97 - b105 + x154 <= 1 e784: b97 - b107 + x155 <= 1 e785: b97 - b109 + x156 <= 1 e786: b97 - b111 + x157 <= 1 e787: b99 - b101 + x158 <= 1 e788: b99 - b103 + x159 <= 1 e789: b99 - b105 + x160 <= 1 e790: b99 - b107 + x161 <= 1 e791: b99 - b109 + x162 <= 1 e792: b99 - b111 + x163 <= 1 e793: b101 - b103 + x164 <= 1 e794: b101 - b105 + x165 <= 1 e795: b101 - b107 + x166 <= 1 e796: b101 - b109 + x167 <= 1 e797: b101 - b111 + x168 <= 1 e798: b103 - b105 + x169 <= 1 e799: b103 - b107 + x170 <= 1 e800: b103 - b109 + x171 <= 1 e801: b103 - b111 + x172 <= 1 e802: b105 - b107 + x173 <= 1 e803: b105 - b109 + x174 <= 1 e804: b105 - b111 + x175 <= 1 e805: b107 - b109 + x176 <= 1 e806: b107 - b111 + x177 <= 1 e807: b109 - b111 + x178 <= 1 e808: b90 - b93 + x113 <= 1 e809: b90 + x114 - b179 <= 1 e810: b90 - b96 + x115 <= 1 e811: b90 - b98 + x116 <= 1 e812: b90 - b100 + x117 <= 1 e813: b90 - b102 + x118 <= 1 e814: b90 - b104 + x119 <= 1 e815: b90 - b106 + x120 <= 1 e816: b90 - b108 + x121 <= 1 e817: b90 - b110 + x122 <= 1 e818: b90 - b112 + x123 <= 1 e819: b93 + x124 - b179 <= 1 e820: b93 - b96 + x125 <= 1 e821: b93 - b98 + x126 <= 1 e822: b93 - b100 + x127 <= 1 e823: b93 - b102 + x128 <= 1 e824: b93 - b104 + x129 <= 1 e825: b93 - b106 + x130 <= 1 e826: b93 - b108 + x131 <= 1 e827: b93 - b110 + x132 <= 1 e828: b93 - b112 + x133 <= 1 e829: - b96 + x134 + b179 <= 1 e830: - b98 + x135 + b179 <= 1 e831: - b100 + x136 + b179 <= 1 e832: - b102 + x137 + b179 <= 1 e833: - b104 + x138 + b179 <= 1 e834: - b106 + x139 + b179 <= 1 e835: - b108 + x140 + b179 <= 1 e836: - b110 + x141 + b179 <= 1 e837: - b112 + x142 + b179 <= 1 e838: b96 - b98 + x143 <= 1 e839: b96 - b100 + x144 <= 1 e840: b96 - b102 + x145 <= 1 e841: b96 - b104 + x146 <= 1 e842: b96 - b106 + x147 <= 1 e843: b96 - b108 + x148 <= 1 e844: b96 - b110 + x149 <= 1 e845: b96 - b112 + x150 <= 1 e846: b98 - b100 + x151 <= 1 e847: b98 - b102 + x152 <= 1 e848: b98 - b104 + x153 <= 1 e849: b98 - b106 + x154 <= 1 e850: b98 - b108 + x155 <= 1 e851: b98 - b110 + x156 <= 1 e852: b98 - b112 + x157 <= 1 e853: b100 - b102 + x158 <= 1 e854: b100 - b104 + x159 <= 1 e855: b100 - b106 + x160 <= 1 e856: b100 - b108 + x161 <= 1 e857: b100 - b110 + x162 <= 1 e858: b100 - b112 + x163 <= 1 e859: b102 - b104 + x164 <= 1 e860: b102 - b106 + x165 <= 1 e861: b102 - b108 + x166 <= 1 e862: b102 - b110 + x167 <= 1 e863: b102 - b112 + x168 <= 1 e864: b104 - b106 + x169 <= 1 e865: b104 - b108 + x170 <= 1 e866: b104 - b110 + x171 <= 1 e867: b104 - b112 + x172 <= 1 e868: b106 - b108 + x173 <= 1 e869: b106 - b110 + x174 <= 1 e870: b106 - b112 + x175 <= 1 e871: b108 - b110 + x176 <= 1 e872: b108 - b112 + x177 <= 1 e873: b110 - b112 + x178 <= 1 e874: x113 - x114 + x124 <= 1 e875: x113 - x115 + x125 <= 1 e876: x113 - x116 + x126 <= 1 e877: x113 - x117 + x127 <= 1 e878: x113 - x118 + x128 <= 1 e879: x113 - x119 + x129 <= 1 e880: x113 - x120 + x130 <= 1 e881: x113 - x121 + x131 <= 1 e882: x113 - x122 + x132 <= 1 e883: x113 - x123 + x133 <= 1 e884: x114 - x115 + x134 <= 1 e885: x114 - x116 + x135 <= 1 e886: x114 - x117 + x136 <= 1 e887: x114 - x118 + x137 <= 1 e888: x114 - x119 + x138 <= 1 e889: x114 - x120 + x139 <= 1 e890: x114 - x121 + x140 <= 1 e891: x114 - x122 + x141 <= 1 e892: x114 - x123 + x142 <= 1 e893: x115 - x116 + x143 <= 1 e894: x115 - x117 + x144 <= 1 e895: x115 - x118 + x145 <= 1 e896: x115 - x119 + x146 <= 1 e897: x115 - x120 + x147 <= 1 e898: x115 - x121 + x148 <= 1 e899: x115 - x122 + x149 <= 1 e900: x115 - x123 + x150 <= 1 e901: x116 - x117 + x151 <= 1 e902: x116 - x118 + x152 <= 1 e903: x116 - x119 + x153 <= 1 e904: x116 - x120 + x154 <= 1 e905: x116 - x121 + x155 <= 1 e906: x116 - x122 + x156 <= 1 e907: x116 - x123 + x157 <= 1 e908: x117 - x118 + x158 <= 1 e909: x117 - x119 + x159 <= 1 e910: x117 - x120 + x160 <= 1 e911: x117 - x121 + x161 <= 1 e912: x117 - x122 + x162 <= 1 e913: x117 - x123 + x163 <= 1 e914: x118 - x119 + x164 <= 1 e915: x118 - x120 + x165 <= 1 e916: x118 - x121 + x166 <= 1 e917: x118 - x122 + x167 <= 1 e918: x118 - x123 + x168 <= 1 e919: x119 - x120 + x169 <= 1 e920: x119 - x121 + x170 <= 1 e921: x119 - x122 + x171 <= 1 e922: x119 - x123 + x172 <= 1 e923: x120 - x121 + x173 <= 1 e924: x120 - x122 + x174 <= 1 e925: x120 - x123 + x175 <= 1 e926: x121 - x122 + x176 <= 1 e927: x121 - x123 + x177 <= 1 e928: x122 - x123 + x178 <= 1 e929: x124 - x125 + x134 <= 1 e930: x124 - x126 + x135 <= 1 e931: x124 - x127 + x136 <= 1 e932: x124 - x128 + x137 <= 1 e933: x124 - x129 + x138 <= 1 e934: x124 - x130 + x139 <= 1 e935: x124 - x131 + x140 <= 1 e936: x124 - x132 + x141 <= 1 e937: x124 - x133 + x142 <= 1 e938: x125 - x126 + x143 <= 1 e939: x125 - x127 + x144 <= 1 e940: x125 - x128 + x145 <= 1 e941: x125 - x129 + x146 <= 1 e942: x125 - x130 + x147 <= 1 e943: x125 - x131 + x148 <= 1 e944: x125 - x132 + x149 <= 1 e945: x125 - x133 + x150 <= 1 e946: x126 - x127 + x151 <= 1 e947: x126 - x128 + x152 <= 1 e948: x126 - x129 + x153 <= 1 e949: x126 - x130 + x154 <= 1 e950: x126 - x131 + x155 <= 1 e951: x126 - x132 + x156 <= 1 e952: x126 - x133 + x157 <= 1 e953: x127 - x128 + x158 <= 1 e954: x127 - x129 + x159 <= 1 e955: x127 - x130 + x160 <= 1 e956: x127 - x131 + x161 <= 1 e957: x127 - x132 + x162 <= 1 e958: x127 - x133 + x163 <= 1 e959: x128 - x129 + x164 <= 1 e960: x128 - x130 + x165 <= 1 e961: x128 - x131 + x166 <= 1 e962: x128 - x132 + x167 <= 1 e963: x128 - x133 + x168 <= 1 e964: x129 - x130 + x169 <= 1 e965: x129 - x131 + x170 <= 1 e966: x129 - x132 + x171 <= 1 e967: x129 - x133 + x172 <= 1 e968: x130 - x131 + x173 <= 1 e969: x130 - x132 + x174 <= 1 e970: x130 - x133 + x175 <= 1 e971: x131 - x132 + x176 <= 1 e972: x131 - x133 + x177 <= 1 e973: x132 - x133 + x178 <= 1 e974: x134 - x135 + x143 <= 1 e975: x134 - x136 + x144 <= 1 e976: x134 - x137 + x145 <= 1 e977: x134 - x138 + x146 <= 1 e978: x134 - x139 + x147 <= 1 e979: x134 - x140 + x148 <= 1 e980: x134 - x141 + x149 <= 1 e981: x134 - x142 + x150 <= 1 e982: x135 - x136 + x151 <= 1 e983: x135 - x137 + x152 <= 1 e984: x135 - x138 + x153 <= 1 e985: x135 - x139 + x154 <= 1 e986: x135 - x140 + x155 <= 1 e987: x135 - x141 + x156 <= 1 e988: x135 - x142 + x157 <= 1 e989: x136 - x137 + x158 <= 1 e990: x136 - x138 + x159 <= 1 e991: x136 - x139 + x160 <= 1 e992: x136 - x140 + x161 <= 1 e993: x136 - x141 + x162 <= 1 e994: x136 - x142 + x163 <= 1 e995: x137 - x138 + x164 <= 1 e996: x137 - x139 + x165 <= 1 e997: x137 - x140 + x166 <= 1 e998: x137 - x141 + x167 <= 1 e999: x137 - x142 + x168 <= 1 e1000: x138 - x139 + x169 <= 1 e1001: x138 - x140 + x170 <= 1 e1002: x138 - x141 + x171 <= 1 e1003: x138 - x142 + x172 <= 1 e1004: x139 - x140 + x173 <= 1 e1005: x139 - x141 + x174 <= 1 e1006: x139 - x142 + x175 <= 1 e1007: x140 - x141 + x176 <= 1 e1008: x140 - x142 + x177 <= 1 e1009: x141 - x142 + x178 <= 1 e1010: x143 - x144 + x151 <= 1 e1011: x143 - x145 + x152 <= 1 e1012: x143 - x146 + x153 <= 1 e1013: x143 - x147 + x154 <= 1 e1014: x143 - x148 + x155 <= 1 e1015: x143 - x149 + x156 <= 1 e1016: x143 - x150 + x157 <= 1 e1017: x144 - x145 + x158 <= 1 e1018: x144 - x146 + x159 <= 1 e1019: x144 - x147 + x160 <= 1 e1020: x144 - x148 + x161 <= 1 e1021: x144 - x149 + x162 <= 1 e1022: x144 - x150 + x163 <= 1 e1023: x145 - x146 + x164 <= 1 e1024: x145 - x147 + x165 <= 1 e1025: x145 - x148 + x166 <= 1 e1026: x145 - x149 + x167 <= 1 e1027: x145 - x150 + x168 <= 1 e1028: x146 - x147 + x169 <= 1 e1029: x146 - x148 + x170 <= 1 e1030: x146 - x149 + x171 <= 1 e1031: x146 - x150 + x172 <= 1 e1032: x147 - x148 + x173 <= 1 e1033: x147 - x149 + x174 <= 1 e1034: x147 - x150 + x175 <= 1 e1035: x148 - x149 + x176 <= 1 e1036: x148 - x150 + x177 <= 1 e1037: x149 - x150 + x178 <= 1 e1038: x151 - x152 + x158 <= 1 e1039: x151 - x153 + x159 <= 1 e1040: x151 - x154 + x160 <= 1 e1041: x151 - x155 + x161 <= 1 e1042: x151 - x156 + x162 <= 1 e1043: x151 - x157 + x163 <= 1 e1044: x152 - x153 + x164 <= 1 e1045: x152 - x154 + x165 <= 1 e1046: x152 - x155 + x166 <= 1 e1047: x152 - x156 + x167 <= 1 e1048: x152 - x157 + x168 <= 1 e1049: x153 - x154 + x169 <= 1 e1050: x153 - x155 + x170 <= 1 e1051: x153 - x156 + x171 <= 1 e1052: x153 - x157 + x172 <= 1 e1053: x154 - x155 + x173 <= 1 e1054: x154 - x156 + x174 <= 1 e1055: x154 - x157 + x175 <= 1 e1056: x155 - x156 + x176 <= 1 e1057: x155 - x157 + x177 <= 1 e1058: x156 - x157 + x178 <= 1 e1059: x158 - x159 + x164 <= 1 e1060: x158 - x160 + x165 <= 1 e1061: x158 - x161 + x166 <= 1 e1062: x158 - x162 + x167 <= 1 e1063: x158 - x163 + x168 <= 1 e1064: x159 - x160 + x169 <= 1 e1065: x159 - x161 + x170 <= 1 e1066: x159 - x162 + x171 <= 1 e1067: x159 - x163 + x172 <= 1 e1068: x160 - x161 + x173 <= 1 e1069: x160 - x162 + x174 <= 1 e1070: x160 - x163 + x175 <= 1 e1071: x161 - x162 + x176 <= 1 e1072: x161 - x163 + x177 <= 1 e1073: x162 - x163 + x178 <= 1 e1074: x164 - x165 + x169 <= 1 e1075: x164 - x166 + x170 <= 1 e1076: x164 - x167 + x171 <= 1 e1077: x164 - x168 + x172 <= 1 e1078: x165 - x166 + x173 <= 1 e1079: x165 - x167 + x174 <= 1 e1080: x165 - x168 + x175 <= 1 e1081: x166 - x167 + x176 <= 1 e1082: x166 - x168 + x177 <= 1 e1083: x167 - x168 + x178 <= 1 e1084: x169 - x170 + x173 <= 1 e1085: x169 - x171 + x174 <= 1 e1086: x169 - x172 + x175 <= 1 e1087: x170 - x171 + x176 <= 1 e1088: x170 - x172 + x177 <= 1 e1089: x171 - x172 + x178 <= 1 e1090: x173 - x174 + x176 <= 1 e1091: x173 - x175 + x177 <= 1 e1092: x174 - x175 + x178 <= 1 e1093: x176 - x177 + x178 <= 1 e1094: b89 - b90 - b91 <= 0 e1095: - b91 + b92 - b93 <= 0 e1096: - b91 + b94 - b179 <= 0 e1097: - b91 + b95 - b96 <= 0 e1098: - b91 + b97 - b98 <= 0 e1099: - b91 + b99 - b100 <= 0 e1100: - b91 + b101 - b102 <= 0 e1101: - b91 + b103 - b104 <= 0 e1102: - b91 + b105 - b106 <= 0 e1103: - b91 + b107 - b108 <= 0 e1104: - b91 + b109 - b110 <= 0 e1105: - b91 + b111 - b112 <= 0 e1106: - b89 + b92 - x113 <= 0 e1107: - b89 + b94 - x114 <= 0 e1108: - b89 + b95 - x115 <= 0 e1109: - b89 + b97 - x116 <= 0 e1110: - b89 + b99 - x117 <= 0 e1111: - b89 + b101 - x118 <= 0 e1112: - b89 + b103 - x119 <= 0 e1113: - b89 + b105 - x120 <= 0 e1114: - b89 + b107 - x121 <= 0 e1115: - b89 + b109 - x122 <= 0 e1116: - b89 + b111 - x123 <= 0 e1117: - b92 + b94 - x124 <= 0 e1118: - b92 + b95 - x125 <= 0 e1119: - b92 + b97 - x126 <= 0 e1120: - b92 + b99 - x127 <= 0 e1121: - b92 + b101 - x128 <= 0 e1122: - b92 + b103 - x129 <= 0 e1123: - b92 + b105 - x130 <= 0 e1124: - b92 + b107 - x131 <= 0 e1125: - b92 + b109 - x132 <= 0 e1126: - b92 + b111 - x133 <= 0 e1127: - b94 + b95 - x134 <= 0 e1128: - b94 + b97 - x135 <= 0 e1129: - b94 + b99 - x136 <= 0 e1130: - b94 + b101 - x137 <= 0 e1131: - b94 + b103 - x138 <= 0 e1132: - b94 + b105 - x139 <= 0 e1133: - b94 + b107 - x140 <= 0 e1134: - b94 + b109 - x141 <= 0 e1135: - b94 + b111 - x142 <= 0 e1136: - b95 + b97 - x143 <= 0 e1137: - b95 + b99 - x144 <= 0 e1138: - b95 + b101 - x145 <= 0 e1139: - b95 + b103 - x146 <= 0 e1140: - b95 + b105 - x147 <= 0 e1141: - b95 + b107 - x148 <= 0 e1142: - b95 + b109 - x149 <= 0 e1143: - b95 + b111 - x150 <= 0 e1144: - b97 + b99 - x151 <= 0 e1145: - b97 + b101 - x152 <= 0 e1146: - b97 + b103 - x153 <= 0 e1147: - b97 + b105 - x154 <= 0 e1148: - b97 + b107 - x155 <= 0 e1149: - b97 + b109 - x156 <= 0 e1150: - b97 + b111 - x157 <= 0 e1151: - b99 + b101 - x158 <= 0 e1152: - b99 + b103 - x159 <= 0 e1153: - b99 + b105 - x160 <= 0 e1154: - b99 + b107 - x161 <= 0 e1155: - b99 + b109 - x162 <= 0 e1156: - b99 + b111 - x163 <= 0 e1157: - b101 + b103 - x164 <= 0 e1158: - b101 + b105 - x165 <= 0 e1159: - b101 + b107 - x166 <= 0 e1160: - b101 + b109 - x167 <= 0 e1161: - b101 + b111 - x168 <= 0 e1162: - b103 + b105 - x169 <= 0 e1163: - b103 + b107 - x170 <= 0 e1164: - b103 + b109 - x171 <= 0 e1165: - b103 + b111 - x172 <= 0 e1166: - b105 + b107 - x173 <= 0 e1167: - b105 + b109 - x174 <= 0 e1168: - b105 + b111 - x175 <= 0 e1169: - b107 + b109 - x176 <= 0 e1170: - b107 + b111 - x177 <= 0 e1171: - b109 + b111 - x178 <= 0 e1172: - b90 + b93 - x113 <= 0 e1173: - b90 - x114 + b179 <= 0 e1174: - b90 + b96 - x115 <= 0 e1175: - b90 + b98 - x116 <= 0 e1176: - b90 + b100 - x117 <= 0 e1177: - b90 + b102 - x118 <= 0 e1178: - b90 + b104 - x119 <= 0 e1179: - b90 + b106 - x120 <= 0 e1180: - b90 + b108 - x121 <= 0 e1181: - b90 + b110 - x122 <= 0 e1182: - b90 + b112 - x123 <= 0 e1183: - b93 - x124 + b179 <= 0 e1184: - b93 + b96 - x125 <= 0 e1185: - b93 + b98 - x126 <= 0 e1186: - b93 + b100 - x127 <= 0 e1187: - b93 + b102 - x128 <= 0 e1188: - b93 + b104 - x129 <= 0 e1189: - b93 + b106 - x130 <= 0 e1190: - b93 + b108 - x131 <= 0 e1191: - b93 + b110 - x132 <= 0 e1192: - b93 + b112 - x133 <= 0 e1193: b96 - x134 - b179 <= 0 e1194: b98 - x135 - b179 <= 0 e1195: b100 - x136 - b179 <= 0 e1196: b102 - x137 - b179 <= 0 e1197: b104 - x138 - b179 <= 0 e1198: b106 - x139 - b179 <= 0 e1199: b108 - x140 - b179 <= 0 e1200: b110 - x141 - b179 <= 0 e1201: b112 - x142 - b179 <= 0 e1202: - b96 + b98 - x143 <= 0 e1203: - b96 + b100 - x144 <= 0 e1204: - b96 + b102 - x145 <= 0 e1205: - b96 + b104 - x146 <= 0 e1206: - b96 + b106 - x147 <= 0 e1207: - b96 + b108 - x148 <= 0 e1208: - b96 + b110 - x149 <= 0 e1209: - b96 + b112 - x150 <= 0 e1210: - b98 + b100 - x151 <= 0 e1211: - b98 + b102 - x152 <= 0 e1212: - b98 + b104 - x153 <= 0 e1213: - b98 + b106 - x154 <= 0 e1214: - b98 + b108 - x155 <= 0 e1215: - b98 + b110 - x156 <= 0 e1216: - b98 + b112 - x157 <= 0 e1217: - b100 + b102 - x158 <= 0 e1218: - b100 + b104 - x159 <= 0 e1219: - b100 + b106 - x160 <= 0 e1220: - b100 + b108 - x161 <= 0 e1221: - b100 + b110 - x162 <= 0 e1222: - b100 + b112 - x163 <= 0 e1223: - b102 + b104 - x164 <= 0 e1224: - b102 + b106 - x165 <= 0 e1225: - b102 + b108 - x166 <= 0 e1226: - b102 + b110 - x167 <= 0 e1227: - b102 + b112 - x168 <= 0 e1228: - b104 + b106 - x169 <= 0 e1229: - b104 + b108 - x170 <= 0 e1230: - b104 + b110 - x171 <= 0 e1231: - b104 + b112 - x172 <= 0 e1232: - b106 + b108 - x173 <= 0 e1233: - b106 + b110 - x174 <= 0 e1234: - b106 + b112 - x175 <= 0 e1235: - b108 + b110 - x176 <= 0 e1236: - b108 + b112 - x177 <= 0 e1237: - b110 + b112 - x178 <= 0 e1238: - x113 + x114 - x124 <= 0 e1239: - x113 + x115 - x125 <= 0 e1240: - x113 + x116 - x126 <= 0 e1241: - x113 + x117 - x127 <= 0 e1242: - x113 + x118 - x128 <= 0 e1243: - x113 + x119 - x129 <= 0 e1244: - x113 + x120 - x130 <= 0 e1245: - x113 + x121 - x131 <= 0 e1246: - x113 + x122 - x132 <= 0 e1247: - x113 + x123 - x133 <= 0 e1248: - x114 + x115 - x134 <= 0 e1249: - x114 + x116 - x135 <= 0 e1250: - x114 + x117 - x136 <= 0 e1251: - x114 + x118 - x137 <= 0 e1252: - x114 + x119 - x138 <= 0 e1253: - x114 + x120 - x139 <= 0 e1254: - x114 + x121 - x140 <= 0 e1255: - x114 + x122 - x141 <= 0 e1256: - x114 + x123 - x142 <= 0 e1257: - x115 + x116 - x143 <= 0 e1258: - x115 + x117 - x144 <= 0 e1259: - x115 + x118 - x145 <= 0 e1260: - x115 + x119 - x146 <= 0 e1261: - x115 + x120 - x147 <= 0 e1262: - x115 + x121 - x148 <= 0 e1263: - x115 + x122 - x149 <= 0 e1264: - x115 + x123 - x150 <= 0 e1265: - x116 + x117 - x151 <= 0 e1266: - x116 + x118 - x152 <= 0 e1267: - x116 + x119 - x153 <= 0 e1268: - x116 + x120 - x154 <= 0 e1269: - x116 + x121 - x155 <= 0 e1270: - x116 + x122 - x156 <= 0 e1271: - x116 + x123 - x157 <= 0 e1272: - x117 + x118 - x158 <= 0 e1273: - x117 + x119 - x159 <= 0 e1274: - x117 + x120 - x160 <= 0 e1275: - x117 + x121 - x161 <= 0 e1276: - x117 + x122 - x162 <= 0 e1277: - x117 + x123 - x163 <= 0 e1278: - x118 + x119 - x164 <= 0 e1279: - x118 + x120 - x165 <= 0 e1280: - x118 + x121 - x166 <= 0 e1281: - x118 + x122 - x167 <= 0 e1282: - x118 + x123 - x168 <= 0 e1283: - x119 + x120 - x169 <= 0 e1284: - x119 + x121 - x170 <= 0 e1285: - x119 + x122 - x171 <= 0 e1286: - x119 + x123 - x172 <= 0 e1287: - x120 + x121 - x173 <= 0 e1288: - x120 + x122 - x174 <= 0 e1289: - x120 + x123 - x175 <= 0 e1290: - x121 + x122 - x176 <= 0 e1291: - x121 + x123 - x177 <= 0 e1292: - x122 + x123 - x178 <= 0 e1293: - x124 + x125 - x134 <= 0 e1294: - x124 + x126 - x135 <= 0 e1295: - x124 + x127 - x136 <= 0 e1296: - x124 + x128 - x137 <= 0 e1297: - x124 + x129 - x138 <= 0 e1298: - x124 + x130 - x139 <= 0 e1299: - x124 + x131 - x140 <= 0 e1300: - x124 + x132 - x141 <= 0 e1301: - x124 + x133 - x142 <= 0 e1302: - x125 + x126 - x143 <= 0 e1303: - x125 + x127 - x144 <= 0 e1304: - x125 + x128 - x145 <= 0 e1305: - x125 + x129 - x146 <= 0 e1306: - x125 + x130 - x147 <= 0 e1307: - x125 + x131 - x148 <= 0 e1308: - x125 + x132 - x149 <= 0 e1309: - x125 + x133 - x150 <= 0 e1310: - x126 + x127 - x151 <= 0 e1311: - x126 + x128 - x152 <= 0 e1312: - x126 + x129 - x153 <= 0 e1313: - x126 + x130 - x154 <= 0 e1314: - x126 + x131 - x155 <= 0 e1315: - x126 + x132 - x156 <= 0 e1316: - x126 + x133 - x157 <= 0 e1317: - x127 + x128 - x158 <= 0 e1318: - x127 + x129 - x159 <= 0 e1319: - x127 + x130 - x160 <= 0 e1320: - x127 + x131 - x161 <= 0 e1321: - x127 + x132 - x162 <= 0 e1322: - x127 + x133 - x163 <= 0 e1323: - x128 + x129 - x164 <= 0 e1324: - x128 + x130 - x165 <= 0 e1325: - x128 + x131 - x166 <= 0 e1326: - x128 + x132 - x167 <= 0 e1327: - x128 + x133 - x168 <= 0 e1328: - x129 + x130 - x169 <= 0 e1329: - x129 + x131 - x170 <= 0 e1330: - x129 + x132 - x171 <= 0 e1331: - x129 + x133 - x172 <= 0 e1332: - x130 + x131 - x173 <= 0 e1333: - x130 + x132 - x174 <= 0 e1334: - x130 + x133 - x175 <= 0 e1335: - x131 + x132 - x176 <= 0 e1336: - x131 + x133 - x177 <= 0 e1337: - x132 + x133 - x178 <= 0 e1338: - x134 + x135 - x143 <= 0 e1339: - x134 + x136 - x144 <= 0 e1340: - x134 + x137 - x145 <= 0 e1341: - x134 + x138 - x146 <= 0 e1342: - x134 + x139 - x147 <= 0 e1343: - x134 + x140 - x148 <= 0 e1344: - x134 + x141 - x149 <= 0 e1345: - x134 + x142 - x150 <= 0 e1346: - x135 + x136 - x151 <= 0 e1347: - x135 + x137 - x152 <= 0 e1348: - x135 + x138 - x153 <= 0 e1349: - x135 + x139 - x154 <= 0 e1350: - x135 + x140 - x155 <= 0 e1351: - x135 + x141 - x156 <= 0 e1352: - x135 + x142 - x157 <= 0 e1353: - x136 + x137 - x158 <= 0 e1354: - x136 + x138 - x159 <= 0 e1355: - x136 + x139 - x160 <= 0 e1356: - x136 + x140 - x161 <= 0 e1357: - x136 + x141 - x162 <= 0 e1358: - x136 + x142 - x163 <= 0 e1359: - x137 + x138 - x164 <= 0 e1360: - x137 + x139 - x165 <= 0 e1361: - x137 + x140 - x166 <= 0 e1362: - x137 + x141 - x167 <= 0 e1363: - x137 + x142 - x168 <= 0 e1364: - x138 + x139 - x169 <= 0 e1365: - x138 + x140 - x170 <= 0 e1366: - x138 + x141 - x171 <= 0 e1367: - x138 + x142 - x172 <= 0 e1368: - x139 + x140 - x173 <= 0 e1369: - x139 + x141 - x174 <= 0 e1370: - x139 + x142 - x175 <= 0 e1371: - x140 + x141 - x176 <= 0 e1372: - x140 + x142 - x177 <= 0 e1373: - x141 + x142 - x178 <= 0 e1374: - x143 + x144 - x151 <= 0 e1375: - x143 + x145 - x152 <= 0 e1376: - x143 + x146 - x153 <= 0 e1377: - x143 + x147 - x154 <= 0 e1378: - x143 + x148 - x155 <= 0 e1379: - x143 + x149 - x156 <= 0 e1380: - x143 + x150 - x157 <= 0 e1381: - x144 + x145 - x158 <= 0 e1382: - x144 + x146 - x159 <= 0 e1383: - x144 + x147 - x160 <= 0 e1384: - x144 + x148 - x161 <= 0 e1385: - x144 + x149 - x162 <= 0 e1386: - x144 + x150 - x163 <= 0 e1387: - x145 + x146 - x164 <= 0 e1388: - x145 + x147 - x165 <= 0 e1389: - x145 + x148 - x166 <= 0 e1390: - x145 + x149 - x167 <= 0 e1391: - x145 + x150 - x168 <= 0 e1392: - x146 + x147 - x169 <= 0 e1393: - x146 + x148 - x170 <= 0 e1394: - x146 + x149 - x171 <= 0 e1395: - x146 + x150 - x172 <= 0 e1396: - x147 + x148 - x173 <= 0 e1397: - x147 + x149 - x174 <= 0 e1398: - x147 + x150 - x175 <= 0 e1399: - x148 + x149 - x176 <= 0 e1400: - x148 + x150 - x177 <= 0 e1401: - x149 + x150 - x178 <= 0 e1402: - x151 + x152 - x158 <= 0 e1403: - x151 + x153 - x159 <= 0 e1404: - x151 + x154 - x160 <= 0 e1405: - x151 + x155 - x161 <= 0 e1406: - x151 + x156 - x162 <= 0 e1407: - x151 + x157 - x163 <= 0 e1408: - x152 + x153 - x164 <= 0 e1409: - x152 + x154 - x165 <= 0 e1410: - x152 + x155 - x166 <= 0 e1411: - x152 + x156 - x167 <= 0 e1412: - x152 + x157 - x168 <= 0 e1413: - x153 + x154 - x169 <= 0 e1414: - x153 + x155 - x170 <= 0 e1415: - x153 + x156 - x171 <= 0 e1416: - x153 + x157 - x172 <= 0 e1417: - x154 + x155 - x173 <= 0 e1418: - x154 + x156 - x174 <= 0 e1419: - x154 + x157 - x175 <= 0 e1420: - x155 + x156 - x176 <= 0 e1421: - x155 + x157 - x177 <= 0 e1422: - x156 + x157 - x178 <= 0 e1423: - x158 + x159 - x164 <= 0 e1424: - x158 + x160 - x165 <= 0 e1425: - x158 + x161 - x166 <= 0 e1426: - x158 + x162 - x167 <= 0 e1427: - x158 + x163 - x168 <= 0 e1428: - x159 + x160 - x169 <= 0 e1429: - x159 + x161 - x170 <= 0 e1430: - x159 + x162 - x171 <= 0 e1431: - x159 + x163 - x172 <= 0 e1432: - x160 + x161 - x173 <= 0 e1433: - x160 + x162 - x174 <= 0 e1434: - x160 + x163 - x175 <= 0 e1435: - x161 + x162 - x176 <= 0 e1436: - x161 + x163 - x177 <= 0 e1437: - x162 + x163 - x178 <= 0 e1438: - x164 + x165 - x169 <= 0 e1439: - x164 + x166 - x170 <= 0 e1440: - x164 + x167 - x171 <= 0 e1441: - x164 + x168 - x172 <= 0 e1442: - x165 + x166 - x173 <= 0 e1443: - x165 + x167 - x174 <= 0 e1444: - x165 + x168 - x175 <= 0 e1445: - x166 + x167 - x176 <= 0 e1446: - x166 + x168 - x177 <= 0 e1447: - x167 + x168 - x178 <= 0 e1448: - x169 + x170 - x173 <= 0 e1449: - x169 + x171 - x174 <= 0 e1450: - x169 + x172 - x175 <= 0 e1451: - x170 + x171 - x176 <= 0 e1452: - x170 + x172 - x177 <= 0 e1453: - x171 + x172 - x178 <= 0 e1454: - x173 + x174 - x176 <= 0 e1455: - x173 + x175 - x177 <= 0 e1456: - x174 + x175 - x178 <= 0 e1457: - x176 + x177 - x178 <= 0 Bounds x113 <= 1 x114 <= 1 x115 <= 1 x116 <= 1 x117 <= 1 x118 <= 1 x119 <= 1 x120 <= 1 x121 <= 1 x122 <= 1 x123 <= 1 x124 <= 1 x125 <= 1 x126 <= 1 x127 <= 1 x128 <= 1 x129 <= 1 x130 <= 1 x131 <= 1 x132 <= 1 x133 <= 1 x134 <= 1 x135 <= 1 x136 <= 1 x137 <= 1 x138 <= 1 x139 <= 1 x140 <= 1 x141 <= 1 x142 <= 1 x143 <= 1 x144 <= 1 x145 <= 1 x146 <= 1 x147 <= 1 x148 <= 1 x149 <= 1 x150 <= 1 x151 <= 1 x152 <= 1 x153 <= 1 x154 <= 1 x155 <= 1 x156 <= 1 x157 <= 1 x158 <= 1 x159 <= 1 x160 <= 1 x161 <= 1 x162 <= 1 x163 <= 1 x164 <= 1 x165 <= 1 x166 <= 1 x167 <= 1 x168 <= 1 x169 <= 1 x170 <= 1 x171 <= 1 x172 <= 1 x173 <= 1 x174 <= 1 x175 <= 1 x176 <= 1 x177 <= 1 x178 <= 1 Binary b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 b102 b103 b104 b105 b106 b107 b108 b109 b110 b111 b112 b179 b180 b181 b182 b183 End