\ Equation counts \ Total E G L N X C B \ 270 180 0 90 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 290 200 90 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2322 2142 180 0 \ Minimize obj: 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 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 Subject To e2: - 66 x92 + 49 x93 - 81 x94 + 73 x95 + 15 x96 + 56 x97 + 38 x98 - 26 x99 + 74 x100 + 48 x101 - 11 x102 - 29 x103 + 46 x104 - 48 x105 - 21 x106 + 55 x107 + 68 x108 + 14 x109 + 42 x110 - 84 x111 - x112 <= -9 e3: - 78 x92 + 8 x93 - 22 x94 + 13 x95 + 91 x96 + 73 x97 - 68 x98 - 45 x99 - 48 x100 + 84 x101 - 13 x102 + 57 x103 - 75 x104 - 84 x105 + 88 x106 - 95 x107 - 70 x108 - 24 x109 - 69 x110 + 5 x111 - x113 <= 75 e4: - 14 x92 - 47 x93 - 37 x94 + 53 x95 - 79 x96 + 53 x97 + 40 x98 - 57 x99 + 52 x100 - 18 x101 + 29 x102 + 85 x103 + 37 x105 - 13 x106 + 21 x107 + 14 x108 + 26 x109 - 7 x110 + 26 x111 - x114 <= -73 e5: 92 x92 - 71 x93 - 11 x94 - 35 x95 + 90 x96 - 29 x97 - 20 x98 - 80 x99 + 90 x100 + 96 x101 + 14 x102 + 73 x103 - 70 x104 + 81 x105 + 29 x106 - 88 x107 + 90 x108 + 93 x109 + 56 x110 + 60 x111 - x115 <= 13 e6: - 44 x92 + 92 x93 + 15 x94 - 13 x95 - 25 x96 + 84 x97 - 95 x98 + 53 x99 + 44 x100 + 17 x101 - 15 x102 + 28 x103 + 49 x104 - 87 x105 - 90 x106 + 54 x107 + 40 x108 - 76 x109 - 40 x110 - 86 x111 - x116 <= 37 e7: - 27 x92 + 45 x93 - 61 x94 - 69 x95 - 68 x96 + 66 x97 + 9 x98 - 37 x99 + 5 x100 - 13 x101 - 58 x102 + 45 x103 - 100 x104 + 16 x105 - 5 x106 + 87 x107 + 52 x108 - 75 x109 - 98 x110 - x117 <= 68 e8: 70 x92 - 82 x93 + 71 x94 + 57 x95 + 15 x96 - 81 x97 + 65 x98 + 49 x99 + 81 x100 + x101 + 76 x102 + 92 x103 + 12 x104 - 5 x105 - 17 x106 + 29 x107 + 75 x108 + 16 x109 - 56 x110 + 99 x111 - x118 <= -69 e9: 38 x92 + 40 x93 + 97 x94 + 29 x95 + 30 x96 + 68 x97 + 36 x98 + 93 x99 - 34 x100 + 59 x101 - 68 x102 + 72 x103 + 20 x104 - 16 x105 + 96 x106 + 73 x107 - 7 x108 - 51 x109 + 68 x110 + 68 x111 - x119 <= 47 e10: - 74 x92 - 5 x93 + 56 x94 + 13 x96 - 11 x97 - 93 x98 - 34 x99 - 15 x100 + 16 x101 - 83 x102 + 34 x103 + 17 x104 - 53 x105 + 48 x106 + 91 x107 + 72 x108 - 86 x109 + 7 x110 - 24 x111 - x120 <= -100 e11: 43 x92 - 90 x93 - 96 x94 + 51 x95 + 25 x96 + 86 x97 + 9 x98 - 17 x99 - 22 x100 - 61 x101 - 39 x102 - 58 x103 + 21 x104 - 26 x105 - 68 x106 - 8 x107 + 60 x108 - 64 x109 + 43 x110 - 5 x111 - x121 <= -72 e12: 26 x92 - 52 x93 - 76 x94 + 74 x95 - 80 x96 + 50 x97 - 24 x98 + 10 x99 - 85 x100 - 25 x101 + 24 x102 + 57 x103 - 16 x104 + 64 x105 + 9 x106 + 45 x107 - 2 x108 - 48 x109 - 2 x111 - x122 <= -2 e13: 69 x92 + 83 x93 - 28 x94 + 8 x95 + 20 x96 + 21 x97 - 12 x98 + 41 x99 - 57 x100 + 52 x101 - 39 x102 + 57 x103 - 82 x104 + 79 x105 + 86 x106 + 93 x107 + 23 x108 - 87 x109 - 78 x110 + 25 x111 - x123 <= -86 e14: 11 x92 - 53 x93 + 22 x94 + 86 x95 + 13 x96 + 14 x97 - 7 x98 - 76 x99 - 53 x100 + 99 x101 + 11 x102 + 72 x103 - 43 x104 + 45 x105 + 64 x106 - 2 x107 + 18 x108 - 78 x109 - 69 x110 + 39 x111 - x124 <= 18 e15: 76 x92 - 14 x93 - 58 x94 - 64 x95 + 37 x96 - 57 x97 - 47 x98 - 56 x99 - x100 - 47 x101 - 11 x102 - 53 x103 - 41 x104 + 29 x105 + 49 x106 + 38 x107 - 15 x108 + 51 x109 - 20 x110 - 25 x111 - x125 <= 27 e16: 6 x92 + 79 x93 + 30 x94 + 86 x95 - 99 x96 - 66 x97 + 28 x98 + 52 x99 + 34 x100 + 53 x101 + 50 x102 + 79 x103 - 57 x104 + 26 x105 + 19 x106 + 24 x107 - 27 x108 - 86 x109 - 50 x110 - 28 x111 - x126 <= -3 e17: - 42 x93 - 53 x94 + 32 x95 + 79 x96 + 33 x97 - 92 x98 + 67 x99 + 13 x100 - 64 x101 - 95 x102 - 5 x103 + 12 x104 - 67 x105 + 21 x106 + 28 x107 - 39 x108 + 91 x109 + 52 x110 + 26 x111 - x127 <= -87 e18: - 74 x92 + 51 x93 - 4 x94 + 42 x95 - 77 x96 + 27 x97 - 20 x98 + 40 x99 + 56 x100 + 40 x101 - 47 x102 + 55 x103 - 74 x104 - 45 x105 - 84 x106 - 58 x107 - 61 x108 + 23 x109 + 20 x110 + 9 x111 - x128 <= 13 e19: - 75 x92 - 86 x93 + 76 x94 - 70 x95 + 12 x96 - 37 x97 - 33 x98 - 59 x99 + 34 x100 - 93 x101 - 92 x102 + 63 x103 - 88 x104 + 41 x105 - 18 x106 + 77 x107 + 87 x108 - 100 x109 - 30 x110 + 87 x111 - x129 <= 98 e20: - 28 x92 + 95 x93 - 95 x94 - 32 x95 + 69 x96 - 12 x97 + 40 x98 + 13 x99 - 80 x100 - 64 x101 - 52 x102 + 36 x103 + 97 x104 + 2 x105 + 80 x106 - 7 x107 - 5 x108 - 19 x109 + 51 x110 - 77 x111 - x130 <= -71 e21: 39 x92 - 48 x93 + 5 x94 - 87 x95 - 71 x96 - 18 x97 - 84 x98 + 27 x99 - 97 x100 - 52 x101 + 15 x102 - 68 x103 - 47 x104 - 85 x105 - 71 x106 - 83 x107 - 72 x108 - 6 x109 + 44 x110 - 5 x111 - x131 <= 11 e22: - x92 - 84 x93 - 41 x94 - 41 x95 - 34 x96 - 83 x97 - 81 x98 - 60 x99 - 79 x100 - 66 x101 + 66 x102 + 65 x103 + 84 x104 + 6 x105 - 6 x106 + 39 x107 + x108 + 53 x109 + 96 x110 - 7 x111 - x132 <= 33 e23: 78 x92 + 70 x93 + 50 x94 + 42 x95 - 83 x96 + 59 x97 - 25 x98 - 9 x99 - 27 x100 + 55 x101 + 19 x102 - 89 x103 - 76 x104 + 11 x105 + 30 x106 - 88 x107 + 4 x108 + 68 x109 - 69 x110 - 100 x111 - x133 <= 79 e24: - 57 x92 - 63 x93 + 93 x94 + 63 x95 + 41 x96 + 17 x97 + 35 x98 + 54 x99 - 54 x100 - 57 x101 - 26 x102 + 64 x103 - 68 x104 + 22 x105 - 76 x106 - 13 x107 - 100 x108 + 3 x109 - 8 x110 + 37 x111 - x134 <= -94 e25: - 19 x92 - 44 x94 + 99 x95 - 27 x96 - 26 x97 + 90 x98 - 84 x99 + 22 x100 + 58 x101 - 29 x102 + 94 x103 - 64 x104 - 14 x105 + 56 x106 - 77 x107 + 6 x108 - 52 x109 + 22 x110 + 55 x111 - x135 <= -64 e26: - 2 x92 + 86 x93 - 37 x94 - 28 x95 - 80 x96 - 26 x97 + 77 x98 + 78 x99 + 97 x100 - 79 x101 - 70 x102 + 87 x103 + 56 x104 + 75 x105 - 48 x106 - 75 x107 + 7 x108 - 31 x109 - 23 x110 - 26 x111 - x136 <= -5 e27: 45 x92 + 86 x93 - x94 - 5 x95 + 91 x96 - 40 x97 - 10 x98 + 64 x99 - 24 x100 + 45 x101 - 31 x102 + 31 x103 + 72 x104 + 32 x105 + 60 x106 + 85 x107 - 36 x108 - 5 x109 + 13 x110 - 15 x111 - x137 <= 89 e28: - 83 x92 - 15 x93 - 38 x94 + 39 x95 - 29 x96 + 6 x97 - 78 x98 + 47 x99 + 85 x100 - 72 x101 + 88 x102 - 96 x103 - 20 x104 - 60 x105 - 80 x106 - 93 x107 - 19 x108 - 11 x109 + 36 x110 - 49 x111 - x138 <= 62 e29: - 81 x92 + 29 x93 + x94 - 69 x96 + 26 x97 - 79 x98 - 58 x99 + 77 x100 + 97 x101 - 97 x102 + 72 x103 - 76 x104 - 74 x105 + 13 x106 - 74 x107 + 72 x108 + 8 x109 - 11 x110 - 37 x111 - x139 <= -14 e30: 93 x92 + 61 x93 + 44 x94 + 68 x95 + 86 x96 - 77 x97 - 7 x98 - 22 x99 - 24 x100 - 50 x101 - 74 x102 + 24 x103 + 23 x104 - 2 x105 + 3 x106 + 56 x107 - 45 x108 - 15 x109 - 79 x110 - 54 x111 - x140 <= 80 e31: 15 x92 + 62 x93 + 56 x94 + 41 x95 - 32 x96 + 87 x97 - 59 x98 + 44 x99 + 66 x100 - 31 x101 - 35 x102 - 32 x103 + 5 x104 + 10 x105 - 97 x106 - 9 x107 - 50 x109 + x110 - 52 x111 - x141 <= 21 e32: - 41 x92 + 82 x93 + 13 x94 - 41 x95 - 3 x96 - 72 x97 + 28 x98 - 74 x99 + 64 x100 + 2 x101 - 19 x102 - 69 x103 + 43 x104 - 4 x105 + 43 x106 + 70 x107 + 67 x108 - 5 x109 + 82 x110 - 84 x111 - x142 <= -67 e33: 35 x92 + 53 x93 + 82 x94 - 14 x95 + 71 x96 - 30 x97 + 33 x98 - 57 x99 - 2 x100 - 60 x101 - 18 x102 - 23 x103 + 73 x104 - 22 x105 + 53 x106 + 12 x107 - 25 x108 + 81 x109 + 69 x110 - 44 x111 - x143 <= 71 e34: 94 x92 + 52 x93 - 68 x94 - 64 x95 + 3 x96 - 38 x97 + 96 x98 + 43 x99 + 15 x100 - 16 x101 - 17 x102 - 59 x103 + 90 x104 + 76 x105 - 99 x106 - 84 x107 - 42 x108 + 73 x109 + 95 x110 + 28 x111 - x144 <= -16 e35: 73 x92 - 37 x93 + 98 x94 - 85 x95 - 45 x96 + 66 x97 - 94 x98 + 52 x99 - 23 x100 - 54 x101 - 90 x102 - 34 x103 + 95 x104 + 49 x105 + 19 x106 + 23 x107 + 22 x108 + 13 x109 - 34 x110 + 22 x111 - x145 <= -21 e36: 46 x92 - 96 x93 - 23 x94 + 22 x95 + 19 x96 + 87 x97 + 57 x98 + 63 x99 + 64 x100 + 22 x101 - 38 x102 + 63 x103 - 92 x104 - 62 x105 + 16 x106 - 65 x107 - 12 x108 + x110 - 7 x111 - x146 <= -38 e37: - 67 x92 + 50 x93 - 15 x94 + 14 x95 + 69 x96 + 58 x97 - 75 x98 + 85 x99 + 15 x100 - 11 x101 + 31 x102 - 55 x103 - 93 x104 - 34 x105 - 81 x106 - 18 x107 + 34 x108 + 5 x109 - 87 x110 + 63 x111 - x147 <= -79 e38: - 38 x92 + 79 x93 - 71 x94 - 67 x95 + 68 x96 - 96 x97 + 98 x98 + 11 x99 + 16 x100 - 39 x101 - 74 x102 + 90 x103 - 81 x104 - 75 x105 + 6 x106 - 22 x107 - 57 x108 - 21 x109 - 61 x110 + 92 x111 - x148 <= 8 e39: 41 x92 - 33 x93 + 64 x94 + 7 x95 + 54 x96 - 93 x97 + 87 x98 + 55 x99 - 9 x100 + 84 x101 - 75 x102 - 88 x103 + 79 x104 - 49 x105 + 79 x106 - 25 x107 - 97 x108 + 15 x109 + 20 x110 - 88 x111 - x149 <= -8 e40: 56 x92 - 14 x93 - 71 x94 - 59 x95 + 83 x96 + 47 x97 - 50 x98 - 42 x99 - 69 x100 + 92 x101 + 68 x102 - 64 x103 + 35 x104 - 35 x105 - 67 x106 + 58 x107 + 34 x108 + 35 x109 - 51 x110 - 54 x111 - x150 <= 36 e41: - 38 x92 - 27 x93 + 69 x94 + 72 x95 + 50 x96 - 77 x97 - 55 x98 + 95 x99 - 92 x100 + 19 x101 + 3 x102 - 19 x103 - 61 x104 + 34 x105 + 2 x106 + 56 x107 - 6 x108 - 49 x109 - 76 x110 + 26 x111 - x151 <= 22 e42: 6 x92 - 76 x93 - 50 x94 - 95 x95 - 25 x96 - 50 x97 + 21 x98 - 96 x99 - 96 x100 - 46 x101 + 88 x102 + 48 x103 + 2 x104 - 48 x105 + 94 x106 + 32 x107 + 66 x108 - 91 x109 + 7 x110 - 34 x111 - x152 <= -30 e43: - 77 x92 - 65 x93 + 93 x94 + 65 x95 + 22 x96 + 34 x97 - 98 x98 + 99 x99 - 73 x100 - 93 x101 - 14 x102 + 49 x103 + 54 x104 + 23 x105 - 93 x106 - 63 x107 - 87 x108 - 22 x109 + 16 x110 + 99 x111 - x153 <= 91 e44: - 70 x92 + 67 x93 - 18 x94 - 88 x95 - 70 x96 + 80 x97 + 39 x98 - 11 x99 - 49 x100 - 62 x101 - 32 x102 + 46 x103 - 31 x104 + 69 x105 - 47 x106 + 23 x107 - 78 x108 + 45 x109 - 66 x110 - 94 x111 - x154 <= 2 e45: - 67 x92 + 31 x93 - 29 x94 - 5 x95 + 5 x96 + 94 x97 + 77 x98 - 42 x99 + 63 x100 - 36 x101 - 70 x102 + 37 x103 + 45 x104 - 86 x105 + 49 x106 - 22 x107 + 95 x108 + 3 x109 - 19 x110 - x155 <= -4 e46: 54 x92 + 72 x93 + 45 x94 + 61 x95 + 3 x96 - 7 x97 - 22 x98 + 52 x99 - 8 x100 + 71 x101 - 61 x102 + 87 x103 - 9 x104 - 28 x105 - 65 x106 - 71 x107 - 53 x108 + 13 x109 - x110 + 52 x111 - x156 <= -26 e47: 61 x92 + 47 x93 + 44 x94 + 82 x95 - 62 x96 - 21 x97 - 80 x98 - 77 x99 - 67 x100 + 86 x101 - 62 x102 + 64 x103 + 83 x104 - 66 x105 + 79 x106 - 59 x107 - 96 x108 - 67 x109 - 61 x110 + 37 x111 - x157 <= 75 e48: - 84 x92 - 61 x93 + 45 x94 + 67 x95 + 33 x96 + 59 x97 - 93 x98 + 46 x99 - 4 x100 + 64 x101 + 50 x102 + 51 x103 - 52 x104 - 45 x105 - 23 x106 + 34 x107 + 33 x108 + 56 x109 - 35 x110 + 45 x111 - x158 <= -83 e49: - 63 x92 - 25 x93 + 10 x94 + 9 x95 + 34 x96 - 10 x97 + 14 x98 - 27 x99 + 94 x100 + 17 x101 + 73 x102 - 95 x103 - 93 x104 + 49 x105 - 59 x106 - 29 x107 - 29 x108 + 29 x109 + 74 x110 - 57 x111 - x159 <= 97 e50: 59 x92 - 93 x93 - 24 x94 + 99 x95 - 6 x96 + 17 x97 - 97 x98 + 98 x99 - 70 x100 - 90 x101 - 71 x102 + 99 x103 - 59 x104 + 41 x105 + 45 x106 - 31 x107 - 85 x108 - 53 x109 + 76 x110 - 78 x111 - x160 <= 20 e51: - 26 x92 - 35 x93 - 27 x94 - 79 x95 - 93 x96 - 21 x97 + 52 x98 + 85 x99 + 6 x100 + 5 x101 - 95 x102 - 77 x103 - 14 x104 - 81 x105 - 62 x106 - 8 x107 - 33 x108 + 76 x109 - 15 x110 + 14 x111 - x161 <= 15 e52: - 26 x92 - 28 x93 - 70 x94 - 96 x95 + 98 x96 - 67 x97 - 76 x98 + 33 x99 + 16 x100 + 45 x101 - 37 x102 - 30 x103 - 10 x104 - 20 x105 - 39 x106 - 24 x107 + 79 x108 - 81 x109 + 71 x110 - 86 x111 - x162 <= -51 e53: - 63 x92 + 23 x93 + 16 x94 - 58 x95 - 9 x96 + 21 x97 + 86 x98 - 89 x99 - 19 x100 - 7 x102 + 46 x103 + 78 x104 + 40 x105 - 86 x106 + 2 x107 + x108 - 89 x109 + 50 x110 - 80 x111 - x163 <= -42 e54: 81 x92 + 73 x93 - 26 x94 - 95 x95 + 40 x96 - 91 x97 + 16 x98 + 88 x99 + 70 x100 - 10 x101 + 13 x102 + 61 x103 + 23 x104 - 43 x105 + 5 x106 + 55 x107 - 85 x108 + 54 x109 - 51 x110 + 63 x111 - x164 <= -32 e55: - 84 x92 - 64 x93 - 23 x94 + 17 x95 + 72 x96 - 50 x97 - 55 x98 - 38 x99 + 14 x100 + 87 x101 + 42 x102 - 48 x103 - 83 x104 + 95 x105 + 2 x106 - 30 x107 - 8 x108 - 29 x109 + 59 x110 - 56 x111 - x165 <= 25 e56: - 68 x92 - 6 x93 - 23 x94 - 33 x95 + 11 x96 + 39 x97 + 52 x98 - 75 x99 - 99 x100 + 37 x101 + 52 x102 - 48 x103 - 73 x104 - 34 x105 + 54 x106 - 55 x107 + 78 x108 + 26 x109 + 14 x110 - 31 x111 - x166 <= -27 e57: 41 x92 - 85 x93 - 34 x94 - 70 x95 - 87 x96 - 47 x97 - 13 x98 - 46 x99 + 58 x100 - 27 x101 - 96 x102 + 6 x103 - 86 x104 + 59 x105 + 17 x106 - 54 x107 + 99 x108 - 18 x109 + 55 x110 + 9 x111 - x167 <= 71 e58: - 88 x92 + 64 x93 + 24 x94 - 93 x95 - 9 x96 - 7 x97 - 52 x98 + 67 x99 - 37 x100 + 30 x101 + 25 x102 + 83 x103 + 29 x104 + 2 x105 + 85 x106 + 42 x107 + 9 x108 + 2 x109 - 5 x110 - 25 x111 - x168 <= -66 e59: - 3 x92 - 81 x93 - 19 x94 - 15 x95 + 18 x96 - 60 x97 - 18 x98 + 13 x99 - 17 x100 + 77 x101 - 56 x102 + 33 x103 + 60 x104 + 16 x105 + 94 x106 + 63 x108 + 21 x109 + 37 x110 - 69 x111 - x169 <= 26 e60: 94 x92 - 31 x93 + 29 x94 + 5 x95 - 45 x96 - 90 x97 + 84 x98 - 39 x99 + 9 x100 - 25 x101 - 80 x102 - 15 x103 + 33 x105 + 42 x106 - 24 x107 - 64 x108 + 78 x109 + 82 x110 - 69 x111 - x170 <= 75 e61: - 79 x92 - 28 x93 - 100 x94 + 76 x95 + 37 x96 + 69 x97 - 38 x98 + 40 x99 + 99 x100 - 13 x101 - 4 x102 + 79 x103 + 16 x104 + 9 x105 - 84 x106 + 97 x107 - 28 x108 - 67 x109 - 42 x110 + 53 x111 - x171 <= 98 e62: 6 x92 - 18 x93 + 36 x94 + x95 + 26 x96 + 68 x97 + 71 x98 + 78 x99 - 31 x100 + 57 x101 + 17 x102 - 56 x103 + 5 x104 - 54 x105 - 5 x106 - 100 x107 - 36 x108 - 38 x109 - x110 - 5 x111 - x172 <= 15 e63: 74 x92 - 36 x93 - 42 x94 - 84 x95 - 6 x96 - 63 x97 + 8 x98 + 87 x99 + 32 x100 + 63 x101 - 61 x102 + 49 x103 + 85 x104 - 60 x105 + 97 x106 - 23 x107 - 36 x108 + 59 x109 - 57 x110 - 6 x111 - x173 <= -56 e64: 12 x92 + 41 x93 - 67 x94 + 67 x95 - 51 x96 + 47 x97 - 3 x98 + 2 x99 + 14 x100 + 77 x101 + 47 x102 + 51 x103 + 87 x104 - 5 x105 - 38 x106 + 56 x107 + 91 x108 - 22 x109 - 3 x110 + 37 x111 - x174 <= -24 e65: - 94 x92 - 68 x93 + 21 x94 - 56 x95 - 93 x96 + 14 x97 + 44 x98 + 93 x99 + 69 x100 + 75 x101 + 17 x102 - 11 x103 + 61 x104 + 89 x105 + 98 x106 - 90 x107 + 41 x108 + 76 x109 + 32 x110 - 2 x111 - x175 <= 86 e66: - 61 x92 - 95 x93 - 9 x94 - 87 x95 + 56 x96 - 83 x97 + 11 x98 + 48 x99 + 50 x100 + 99 x101 - 54 x102 - 30 x103 - 45 x104 + 24 x105 + 69 x106 + 78 x107 - 6 x108 + 69 x109 - 43 x110 - 25 x111 - x176 <= 54 e67: 14 x92 - 17 x93 + 14 x94 - 99 x95 - 60 x96 - 21 x97 - 38 x98 - 49 x99 + 24 x100 + 19 x101 - 30 x102 - 92 x103 + 7 x104 - 80 x105 - 42 x106 - 50 x107 + 98 x108 + 58 x109 + 97 x110 - 15 x111 - x177 <= -6 e68: - 67 x92 - 21 x93 + 55 x94 + 11 x95 - 80 x96 + 97 x97 + 47 x98 - 42 x99 + 36 x100 - 19 x101 - 14 x102 - 16 x103 - 85 x104 - 45 x105 + 59 x106 + 22 x107 - 37 x108 - 43 x109 - 51 x110 - 49 x111 - x178 <= 72 e69: 46 x92 + 20 x93 - 87 x94 + 81 x95 - 49 x96 - 6 x97 - 57 x98 + 88 x99 - 30 x100 - 47 x101 - 84 x102 - 13 x103 + 78 x104 - 14 x105 - 18 x106 - 63 x107 + 67 x108 - 59 x109 - 41 x111 - x179 <= 10 e70: 93 x92 - 79 x93 - 73 x94 + 57 x95 + 29 x96 + 5 x97 + 86 x98 - 66 x99 - 99 x100 + 25 x101 - 62 x102 + 17 x103 - 65 x104 + 20 x105 - 31 x106 - 14 x107 + 22 x108 + 9 x109 + 71 x110 + 23 x111 - x180 <= -4 e71: - 54 x92 - 89 x93 + 91 x94 - 84 x95 - 74 x96 - 4 x97 - 25 x98 - 71 x99 - 3 x100 - 77 x101 - 16 x102 + 98 x103 - 47 x104 - 5 x105 + 33 x106 - 12 x107 + 44 x108 - 64 x109 + 76 x110 - 39 x111 - x181 <= -95 e72: 40 x92 - 79 x93 - 2 x94 + 4 x95 + 45 x96 - 38 x97 + 45 x98 + 54 x99 + 29 x100 + 28 x101 - 30 x102 - 76 x103 + 10 x104 - 5 x105 - 9 x106 - 56 x107 + 54 x108 - 46 x109 + 16 x110 + 14 x111 - x182 <= 57 e73: - 72 x92 + 5 x93 - 52 x94 - 85 x95 - 43 x96 + 82 x97 + 93 x98 - 62 x99 + 90 x100 + 16 x101 - 44 x102 + 10 x103 - 74 x104 - 6 x105 - 65 x106 + 84 x107 + 87 x108 + 58 x109 - 90 x110 - 9 x111 - x183 <= -52 e74: 70 x92 + 19 x93 + 30 x94 - 30 x95 - 79 x96 + 85 x97 - 56 x98 + 47 x99 - 75 x100 + 81 x101 + 72 x102 + 94 x103 + 63 x104 + 75 x105 - 36 x106 + 10 x107 - 66 x108 - 33 x109 + 78 x110 + 89 x111 - x184 <= -11 e75: 84 x92 + 33 x93 + 81 x94 + 51 x95 - 40 x96 + 68 x97 + 32 x98 + 69 x99 - 60 x100 + 80 x101 + 75 x102 + 26 x103 - 93 x104 - 24 x105 - 60 x106 - 83 x107 - 3 x108 + 12 x109 - 45 x110 + 58 x111 - x185 <= 93 e76: - 65 x92 - 24 x93 - 18 x94 - 6 x95 - 70 x96 + 56 x97 + 52 x98 + 54 x99 - 51 x100 + 10 x101 - 73 x102 + 25 x103 - 93 x104 - 99 x105 - x106 + 70 x107 - 39 x108 + 45 x109 + 46 x110 - 9 x111 - x186 <= 16 e77: 58 x92 + 74 x93 + 38 x94 - 84 x95 + 87 x96 + 66 x97 + 81 x98 - 88 x99 + 83 x100 - 22 x101 + 58 x102 + 47 x103 - 62 x104 - 70 x105 - 16 x106 + 15 x107 - 83 x108 + 93 x109 - 26 x110 + 35 x111 - x187 <= 54 e78: - 7 x92 + 5 x93 + 91 x94 + 94 x95 + 80 x96 + 43 x97 + 18 x98 - 82 x99 + 74 x100 - 68 x101 - 51 x102 + 74 x103 + 9 x104 - 83 x105 + 76 x106 + 52 x107 + 50 x108 + 75 x109 + 36 x110 - 11 x111 - x188 <= 79 e79: - 40 x92 + 36 x93 - 45 x94 - 15 x95 - 82 x96 - 84 x97 + 88 x98 + 32 x99 + 91 x100 - 59 x101 + 70 x102 + 31 x103 + 57 x104 + 53 x105 - 54 x106 - 84 x107 + 53 x108 - 19 x109 - 87 x110 + 34 x111 - x189 <= 76 e80: 97 x92 + 88 x93 + 25 x94 + 71 x95 - 86 x96 - 83 x97 - 94 x98 - 60 x99 - 93 x100 - 88 x101 - 30 x102 - 51 x103 + 57 x104 - 49 x105 - 43 x106 - 34 x107 - 34 x108 - 41 x109 - 17 x110 - 18 x111 - x190 <= 35 e81: - 39 x92 + 47 x93 - 96 x94 + 14 x95 + 33 x96 + 26 x97 + 67 x98 + 11 x99 - 47 x100 + 93 x101 - x102 - 66 x103 + 74 x104 + 16 x105 + 34 x106 + 80 x107 + 66 x108 - 80 x109 - 42 x110 - x191 <= -90 e82: 56 x92 - 41 x93 - 100 x94 + 51 x95 + 78 x96 - 56 x97 + 65 x98 + 60 x99 - 72 x100 - 59 x101 + 52 x102 + 27 x103 + 54 x104 - 98 x105 - 4 x106 - 2 x107 + 6 x108 - 93 x109 + 99 x110 - 46 x111 - x192 <= -84 e83: 36 x92 - 23 x93 - 90 x94 + 76 x95 + 19 x96 - 35 x97 + 33 x98 - 23 x99 - 50 x100 - 70 x101 + 81 x102 + 31 x103 + 50 x104 + 11 x105 + 38 x106 + 56 x107 - 4 x108 + 70 x109 + 28 x110 + 92 x111 - x193 <= 51 e84: - 86 x92 - 56 x93 + 30 x94 - 42 x95 + 57 x96 + 47 x97 + 49 x98 + 98 x99 + 26 x100 + 28 x101 + 91 x102 - 19 x103 - 95 x104 + 34 x105 + 62 x106 - 7 x107 - 71 x108 + 30 x109 + 38 x110 - 92 x111 - x194 <= 79 e85: - 16 x92 - 34 x93 - 23 x94 - 72 x95 - 84 x96 - 87 x98 - 37 x99 - 10 x100 + 32 x101 + 98 x102 + 92 x103 + 60 x104 + 56 x105 + 91 x106 + 34 x107 - 80 x108 - 67 x109 - 16 x110 - 15 x111 - x195 <= 38 e86: 71 x92 + 55 x93 - 95 x94 - 15 x95 - 54 x96 + 61 x97 - 79 x98 + 57 x99 + 68 x100 - 71 x101 - 33 x102 - 45 x103 - 96 x104 + 82 x105 + 14 x106 + 80 x107 - 98 x108 + 3 x109 + 89 x110 + 63 x111 - x196 <= -29 e87: 35 x92 + 5 x93 - 55 x94 - 48 x95 - 21 x96 + 79 x97 - 24 x98 - 51 x99 + 22 x100 - 33 x101 + 6 x102 - 67 x103 + 83 x104 - 69 x105 + 93 x106 + 39 x107 + 40 x108 - 20 x109 + 90 x110 + 99 x111 - x197 <= -24 e88: 74 x92 + 13 x93 + 68 x94 + 17 x95 + 16 x96 - 3 x97 - 2 x98 - 17 x99 - 24 x100 + 85 x101 + 41 x102 - 98 x103 - 50 x104 + 52 x105 + 95 x106 - 53 x107 + 88 x108 - 56 x109 - 98 x110 - 44 x111 - x198 <= 4 e89: 86 x92 + 53 x93 - 57 x94 - 10 x95 + 59 x96 - 55 x98 - 80 x99 + 61 x100 - 60 x101 - 57 x102 + 16 x103 + 71 x104 - 44 x105 - 12 x106 - 78 x107 + 87 x108 + 81 x109 + 13 x110 + 8 x111 - x199 <= 53 e90: - 24 x92 + 90 x93 + 67 x94 + 26 x95 - 59 x96 - 61 x97 - 60 x98 + 12 x99 + 41 x100 - 43 x101 - 23 x102 - 11 x103 + 11 x105 - 43 x106 + 90 x107 - 82 x108 + 61 x109 - 97 x110 - 92 x111 - x200 <= 24 e91: - 61 x92 - 42 x93 - 78 x94 + 51 x95 + 23 x96 + 31 x97 - 81 x98 + 98 x99 - 18 x100 + 96 x101 - 14 x102 - 82 x103 + 62 x104 + 48 x105 - 65 x106 - 72 x107 - 61 x108 + 20 x109 - 42 x110 + 69 x111 - x201 <= 49 e92: - b2 - x202 = -1 e93: - b3 - x203 = -1 e94: - b4 - x204 = -1 e95: - b5 - x205 = -1 e96: - b6 - x206 = -1 e97: - b7 - x207 = -1 e98: - b8 - x208 = -1 e99: - b9 - x209 = -1 e100: - b10 - x210 = -1 e101: - b11 - x211 = -1 e102: - b12 - x212 = -1 e103: - b13 - x213 = -1 e104: - b14 - x214 = -1 e105: - b15 - x215 = -1 e106: - b16 - x216 = -1 e107: - b17 - x217 = -1 e108: - b18 - x218 = -1 e109: - b19 - x219 = -1 e110: - b20 - x220 = -1 e111: - b21 - x221 = -1 e112: - b22 - x222 = -1 e113: - b23 - x223 = -1 e114: - b24 - x224 = -1 e115: - b25 - x225 = -1 e116: - b26 - x226 = -1 e117: - b27 - x227 = -1 e118: - b28 - x228 = -1 e119: - b29 - x229 = -1 e120: - b30 - x230 = -1 e121: - b31 - x231 = -1 e122: - b32 - x232 = -1 e123: - b33 - x233 = -1 e124: - b34 - x234 = -1 e125: - b35 - x235 = -1 e126: - b36 - x236 = -1 e127: - b37 - x237 = -1 e128: - b38 - x238 = -1 e129: - b39 - x239 = -1 e130: - b40 - x240 = -1 e131: - b41 - x241 = -1 e132: - b42 - x242 = -1 e133: - b43 - x243 = -1 e134: - b44 - x244 = -1 e135: - b45 - x245 = -1 e136: - b46 - x246 = -1 e137: - b47 - x247 = -1 e138: - b48 - x248 = -1 e139: - b49 - x249 = -1 e140: - b50 - x250 = -1 e141: - b51 - x251 = -1 e142: - b52 - x252 = -1 e143: - b53 - x253 = -1 e144: - b54 - x254 = -1 e145: - b55 - x255 = -1 e146: - b56 - x256 = -1 e147: - b57 - x257 = -1 e148: - b58 - x258 = -1 e149: - b59 - x259 = -1 e150: - b60 - x260 = -1 e151: - b61 - x261 = -1 e152: - b62 - x262 = -1 e153: - b63 - x263 = -1 e154: - b64 - x264 = -1 e155: - b65 - x265 = -1 e156: - b66 - x266 = -1 e157: - b67 - x267 = -1 e158: - b68 - x268 = -1 e159: - b69 - x269 = -1 e160: - b70 - x270 = -1 e161: - b71 - x271 = -1 e162: - b72 - x272 = -1 e163: - b73 - x273 = -1 e164: - b74 - x274 = -1 e165: - b75 - x275 = -1 e166: - b76 - x276 = -1 e167: - b77 - x277 = -1 e168: - b78 - x278 = -1 e169: - b79 - x279 = -1 e170: - b80 - x280 = -1 e171: - b81 - x281 = -1 e172: - b82 - x282 = -1 e173: - b83 - x283 = -1 e174: - b84 - x284 = -1 e175: - b85 - x285 = -1 e176: - b86 - x286 = -1 e177: - b87 - x287 = -1 e178: - b88 - x288 = -1 e179: - b89 - x289 = -1 e180: - b90 - x290 = -1 e181: - b91 - x291 = -1 e182: [ x112 * x202 ] = 0 e183: [ x113 * x203 ] = 0 e184: [ x114 * x204 ] = 0 e185: [ x115 * x205 ] = 0 e186: [ x116 * x206 ] = 0 e187: [ x117 * x207 ] = 0 e188: [ x118 * x208 ] = 0 e189: [ x119 * x209 ] = 0 e190: [ x120 * x210 ] = 0 e191: [ x121 * x211 ] = 0 e192: [ x122 * x212 ] = 0 e193: [ x123 * x213 ] = 0 e194: [ x124 * x214 ] = 0 e195: [ x125 * x215 ] = 0 e196: [ x126 * x216 ] = 0 e197: [ x127 * x217 ] = 0 e198: [ x128 * x218 ] = 0 e199: [ x129 * x219 ] = 0 e200: [ x130 * x220 ] = 0 e201: [ x131 * x221 ] = 0 e202: [ x132 * x222 ] = 0 e203: [ x133 * x223 ] = 0 e204: [ x134 * x224 ] = 0 e205: [ x135 * x225 ] = 0 e206: [ x136 * x226 ] = 0 e207: [ x137 * x227 ] = 0 e208: [ x138 * x228 ] = 0 e209: [ x139 * x229 ] = 0 e210: [ x140 * x230 ] = 0 e211: [ x141 * x231 ] = 0 e212: [ x142 * x232 ] = 0 e213: [ x143 * x233 ] = 0 e214: [ x144 * x234 ] = 0 e215: [ x145 * x235 ] = 0 e216: [ x146 * x236 ] = 0 e217: [ x147 * x237 ] = 0 e218: [ x148 * x238 ] = 0 e219: [ x149 * x239 ] = 0 e220: [ x150 * x240 ] = 0 e221: [ x151 * x241 ] = 0 e222: [ x152 * x242 ] = 0 e223: [ x153 * x243 ] = 0 e224: [ x154 * x244 ] = 0 e225: [ x155 * x245 ] = 0 e226: [ x156 * x246 ] = 0 e227: [ x157 * x247 ] = 0 e228: [ x158 * x248 ] = 0 e229: [ x159 * x249 ] = 0 e230: [ x160 * x250 ] = 0 e231: [ x161 * x251 ] = 0 e232: [ x162 * x252 ] = 0 e233: [ x163 * x253 ] = 0 e234: [ x164 * x254 ] = 0 e235: [ x165 * x255 ] = 0 e236: [ x166 * x256 ] = 0 e237: [ x167 * x257 ] = 0 e238: [ x168 * x258 ] = 0 e239: [ x169 * x259 ] = 0 e240: [ x170 * x260 ] = 0 e241: [ x171 * x261 ] = 0 e242: [ x172 * x262 ] = 0 e243: [ x173 * x263 ] = 0 e244: [ x174 * x264 ] = 0 e245: [ x175 * x265 ] = 0 e246: [ x176 * x266 ] = 0 e247: [ x177 * x267 ] = 0 e248: [ x178 * x268 ] = 0 e249: [ x179 * x269 ] = 0 e250: [ x180 * x270 ] = 0 e251: [ x181 * x271 ] = 0 e252: [ x182 * x272 ] = 0 e253: [ x183 * x273 ] = 0 e254: [ x184 * x274 ] = 0 e255: [ x185 * x275 ] = 0 e256: [ x186 * x276 ] = 0 e257: [ x187 * x277 ] = 0 e258: [ x188 * x278 ] = 0 e259: [ x189 * x279 ] = 0 e260: [ x190 * x280 ] = 0 e261: [ x191 * x281 ] = 0 e262: [ x192 * x282 ] = 0 e263: [ x193 * x283 ] = 0 e264: [ x194 * x284 ] = 0 e265: [ x195 * x285 ] = 0 e266: [ x196 * x286 ] = 0 e267: [ x197 * x287 ] = 0 e268: [ x198 * x288 ] = 0 e269: [ x199 * x289 ] = 0 e270: [ x200 * x290 ] = 0 e271: [ x201 * x291 ] = 0 Bounds x92 Free x93 Free x94 Free x95 Free x96 Free x97 Free x98 Free x99 Free x100 Free x101 Free x102 Free x103 Free x104 Free x105 Free x106 Free x107 Free x108 Free x109 Free x110 Free x111 Free x202 Free x203 Free x204 Free x205 Free x206 Free x207 Free x208 Free x209 Free x210 Free x211 Free x212 Free x213 Free x214 Free x215 Free x216 Free x217 Free x218 Free x219 Free x220 Free x221 Free x222 Free x223 Free x224 Free x225 Free x226 Free x227 Free x228 Free x229 Free x230 Free x231 Free x232 Free x233 Free x234 Free x235 Free x236 Free x237 Free x238 Free x239 Free x240 Free x241 Free x242 Free x243 Free x244 Free x245 Free x246 Free x247 Free x248 Free x249 Free x250 Free x251 Free x252 Free x253 Free x254 Free x255 Free x256 Free x257 Free x258 Free x259 Free x260 Free x261 Free x262 Free x263 Free x264 Free x265 Free x266 Free x267 Free x268 Free x269 Free x270 Free x271 Free x272 Free x273 Free x274 Free x275 Free x276 Free x277 Free x278 Free x279 Free x280 Free x281 Free x282 Free x283 Free x284 Free x285 Free x286 Free x287 Free x288 Free x289 Free x290 Free x291 Free 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 End