sc0: - x0 -3 x1 -2 x6 - x7 - x9 + x11 + x14 -2 x118 - x132 + 0.5 x161 + 0.5 x187 + x205 + 2 x206 + 0.5 x219 -0.5 x229 + 0.5 x240 -0.5 x241 - x266 - x271 - x309 + x310 -2 x311 + x312 - x320 + x321 + 2 x324 -2 x331 - d0 < -1.01 sc1: -3 x0 -3 x1 - x4 - x5 -2 x6 -2 x7 - x8 -3 x11 - x12 - x13 - x15 - x16 + x18 - x19 - x38 + x53 -2 x117 -2 x118 - x119 -2 x151 -0.5 x172 -0.5 x198 -2 x206 -0.5 x220 -0.5 x253 - x258 + x260 + x271 - x278 + x282 + x284 - x285 + x292 - x294 + x301 - x310 + x311 - x317 - x318 + x323 + x329 + 3 x330 + 7 x331 - d1 < 0.55 sc2: - x0 -3 x1 -2 x5 -2 x6 -3 x7 + x10 -2 x12 + 2 x16 - x18 - x19 + x37 - x39 + x44 - x61 + 3 x117 - x119 + x145 + x151 + x205 + x206 - x266 -3 x267 + 2 x276 - x280 + x290 -2 x291 - x296 - x304 + x307 + x312 - x321 + x323 + 2 x324 - x329 -2 x330 -18 x331 - d2 < 0.29 sc3: -2 x0 -2 x1 - x2 - x6 - x7 - x8 + x10 - x12 - x14 + x18 - x19 + x54 - x85 - x118 - x119 + x151 -0.5 x229 -0.5 x246 - x258 + x261 + x264 - x268 + x269 - x271 - x278 + x287 - x293 + x294 - x295 - x300 -2 x310 - x311 - x318 + x322 - d3 < 2.31 sc4: - x3 - x5 - x10 + x11 - x13 - x14 - x19 + x37 + x49 + x68 - x97 - x117 + x263 + x268 + x282 + x293 + x304 - x310 - x311 - x316 - x319 + 3 x321 + x329 + 4 x330 + 8 x331 - d4 < 2.44 sc5: x0 + x2 + x4 -2 x7 - x8 - x9 + 2 x11 - x12 - x14 - x15 - x20 + x23 - x24 + x41 - x44 - x52 + x63 + x117 -0.5 x209 -0.5 x231 - x255 -2 x268 + x279 - x281 - x288 + x289 - x293 - x294 + x302 - x305 + x308 - x314 -2 x318 + x319 + x320 - x321 + x323 - x324 - x329 -3 x330 -7 x331 - d5 < -1.11 sc6: - x6 - x12 - x52 + x59 + x278 + x301 - x320 + x322 + x324 - d6 < 0.00 sc7: -3 x0 + x1 -2 x2 - x3 -2 x4 -2 x5 -5 x6 -5 x7 - x9 -2 x10 -7 x11 -6 x12 - x13 - x14 - x22 - x29 - x37 + x39 - x52 + x76 + x97 + x108 -8 x117 - x118 - x119 - x151 -2 x152 -0.5 x156 -0.5 x158 -0.5 x182 -0.5 x184 -3 x206 -0.5 x211 -0.5 x244 - x258 + x261 - x264 -2 x265 -2 x266 - x267 - x272 - x276 + x282 + x285 + x287 -4 x288 + x294 - x296 - x301 - x302 - x306 -2 x309 -4 x311 + x312 - x313 -2 x318 + x319 - x320 + x321 + x322 + 2 x324 -2 x329 -5 x330 -10 x331 - x358 - d7 < -2.31 sc8: - x0 + x1 -3 x2 -2 x3 -2 x6 -4 x7 + x9 - x11 + x13 - x14 - x16 -2 x19 - x24 - x45 + x61 + x100 -2 x118 - x151 -0.5 x232 -0.5 x234 -0.5 x237 -0.5 x239 - x256 - x258 -2 x260 -2 x264 -4 x268 + x269 - x273 - x276 - x278 -2 x282 - x284 - x286 + 2 x288 - x289 -2 x292 + x293 - x294 - x296 - x300 - x304 - x307 + x311 + 4 x312 + x316 - x319 + x323 -4 x329 -11 x330 -36 x331 + x334 - x341 - d8 < -3.10 sc9: -2 x0 -3 x1 - x2 -2 x3 + x5 -3 x6 + 3 x7 - x8 -2 x9 -2 x10 - x12 -2 x14 + x18 -3 x19 + 2 x20 + x30 + x37 + x52 - x61 + x65 -7 x117 -4 x118 - x119 - x126 + x140 - x152 - x217 -0.5 x222 -0.5 x226 -0.5 x237 -0.5 x249 - x255 - x258 -2 x264 - x265 - x267 + 2 x269 + x270 + x276 - x282 + 2 x287 - x288 -2 x291 + x294 + 2 x296 - x307 - x308 - x309 - x310 - x311 + x312 -2 x315 - x316 + x317 - x318 + x319 + x320 + 2 x323 + 2 x329 + 8 x330 + 32 x331 - x338 - d9 < 0.75 sc10: -2 x1 -2 x2 - x3 + x5 + x6 - x8 + x10 -2 x11 - x12 + x19 + x20 - x37 -2 x117 -2 x118 + x205 + x206 -0.5 x229 -0.5 x241 - x255 - x264 - x267 -2 x268 + x276 + x277 -2 x278 + x282 + x287 - x294 -2 x300 + x303 - x304 - x310 - x313 - x318 - x324 - x329 -3 x330 + 9 x331 - d10 < -1.44 sc11: - x0 - x1 - x2 -2 x6 - x11 + x151 - x263 - x264 - x266 + x268 - x287 - x288 - x293 + x295 + x310 - x317 - x324 - x329 -3 x330 -19 x331 - d11 < -3.74 sc12: - x0 + x2 -2 x3 + x4 -2 x5 - x9 - x15 + x37 - x52 -2 x117 -2 x151 - x263 - x268 + x271 + x279 - x292 + x295 + x302 + x318 - x319 - d12 < 0.00 sc13: x0 + x4 - x5 - x7 - x10 -2 x12 - x18 - x19 + x37 - x50 + x54 - x68 - x118 + x205 + 2 x206 - x260 - x264 + x276 + x278 - x286 - x288 + x300 + x301 - x310 - x311 -2 x319 + 2 x323 + x324 - d13 < 0.83 sc14: x0 -5 x1 -3 x2 - x3 -3 x6 -5 x7 + x8 -2 x9 -2 x10 - x11 -2 x12 - x13 + x14 + x15 - x16 -2 x19 + 2 x20 - x31 - x59 + x61 + x115 + 5 x117 + x118 -2 x119 + x144 -2 x151 + 0.5 x155 -0.5 x159 + 0.5 x173 + 0.5 x181 -0.5 x185 + 0.5 x199 + x205 + x206 - x229 - x237 -0.5 x241 -0.5 x253 - x255 + x264 + x266 + x267 - x270 + x271 - x276 - x283 + x291 + x294 - x302 + x308 + 5 x310 -2 x311 - x313 -2 x315 - x318 + x323 -3 x324 + x329 + 3 x330 + 8 x331 - d14 < -8.29 sc15: - x0 - x1 -2 x2 - x3 -2 x6 - x7 - x15 - x25 - x34 + x66 - x68 -0.5 x240 -0.5 x254 - x255 - x266 + x267 - x268 - x271 - x279 + x288 - x292 - x293 - x301 - x302 -2 x318 - x319 + x323 -2 x324 - x329 -3 x330 -24 x331 - d15 < -1.97 sc16: x2 - x6 - x7 -2 x8 - x12 - x51 - x56 - x57 + x59 + x92 + x118 - x151 - x264 -2 x267 - x268 + x278 - x290 - x291 -2 x292 + x302 + x303 - x308 + 2 x310 + x311 - x313 - x318 - x319 + x320 - x321 + x323 + x324 - x329 -3 x330 -12 x331 - x340 - d16 < -4.68 sc17: 2 x0 + x1 + x2 - x3 - x5 + x7 - x9 -2 x10 + x11 -2 x13 -2 x15 + 2 x16 + x17 - x18 + x19 - x22 - x28 -2 x117 - x118 - x263 + x266 - x271 - x279 + x283 + x288 - x293 - x304 - x309 + x311 + x314 + 2 x317 - x320 - x322 - x329 -3 x330 -4 x331 - d17 < 0.50 sc18: -4 x0 - x1 -3 x2 + x4 - x5 -4 x7 -2 x8 - x10 -2 x11 - x12 - x13 -3 x14 + x15 + x16 -2 x18 - x19 + x43 + x58 -2 x112 -2 x117 - x118 - x146 - x152 - x181 -3 x260 - x261 - x264 + x265 - x269 + x271 - x272 - x276 + x278 - x283 -2 x284 - x286 + x288 + x289 + x290 - x297 - x305 + x309 - x310 -2 x311 - x312 + x313 -2 x318 + x322 + x323 -5 x324 -3 x329 -6 x330 + 58 x331 - d18 < -0.50 sc19: -7 x0 -3 x1 -2 x2 -3 x3 - x4 -6 x6 -12 x7 -3 x8 -5 x10 -2 x11 -3 x12 -3 x13 -3 x14 + x19 - x37 + x44 - x50 - x51 - x52 - x67 + x68 + x117 - x119 - x145 - x151 -3 x152 -0.5 x155 -0.5 x181 - x203 + x205 -0.5 x237 -0.5 x240 -0.5 x246 -0.5 x249 - x257 - x258 - x263 -2 x264 -2 x266 - x267 -3 x268 + x270 - x271 - x272 - x277 - x278 - x287 - x288 - x289 - x290 + x292 - x293 + x294 - x300 + x308 + x309 + 7 x310 -6 x311 - x312 -2 x313 -2 x315 -2 x318 -2 x319 - x320 + 2 x323 -11 x324 -5 x329 -15 x330 -43 x331 - d19 < -26.62 sc20: - x0 + x2 - x5 + x11 - x14 - x18 - x19 - x93 + x96 - x118 - x119 - x260 + x271 - x285 + x295 - x310 + 2 x311 - x318 + x319 + x321 - x323 -3 x324 + 20 x331 - d20 < 1.22 sc21: -3 x2 -2 x3 - x5 -2 x6 -2 x7 + x9 - x10 - x11 -3 x12 - x13 - x14 - x15 - x18 - x53 - x59 + x67 -2 x117 - x118 - x119 -0.5 x220 -0.5 x229 -0.5 x251 -0.5 x253 - x255 - x258 - x266 - x267 + x273 - x291 - x306 - x309 - x310 - x317 - x321 - d21 < 1.44 sc22: -5 x0 -6 x1 -5 x2 -3 x3 -2 x4 -3 x5 -6 x6 -5 x7 - x8 -6 x11 - x14 - x15 - x16 + x17 -2 x18 + x19 + x23 + x34 - x38 + x39 - x57 - x61 - x93 - x97 - x105 + x113 - x115 + x116 + 3 x117 + x151 - x239 - x260 - x263 - x264 - x266 -3 x267 - x268 - x273 -2 x276 -2 x282 + x283 - x284 + x287 -2 x288 -2 x291 - x294 + x295 - x296 - x301 - x304 - x309 + x310 - x311 - x315 -3 x318 - x319 - x320 + 3 x323 -7 x324 -5 x329 -16 x330 -35 x331 - x338 - d22 < -2.36 sc23: -6 x0 -3 x1 -3 x2 + 2 x3 + 3 x5 -3 x7 + x8 -2 x11 - x12 + x13 -2 x14 + x15 + 2 x16 + 2 x18 -3 x19 + x20 + x24 + x26 - x36 - x43 + x67 - x97 - x105 + x117 - x118 - x119 - x152 -0.5 x156 -0.5 x182 -2 x206 -0.5 x209 -0.5 x218 - x229 -0.5 x239 -0.5 x248 - x255 - x256 + 2 x260 - x261 + x263 -2 x264 - x265 -2 x266 - x267 - x268 + x274 + x279 + x283 + 3 x284 - x285 + x286 - x287 -2 x288 - x289 - x291 - x292 + x294 + x296 - x300 + x310 - x311 + x313 + x314 + x317 - x319 + 6 x324 -2 x329 -4 x330 + 23 x331 - d23 < -4.11 sc24: - x2 - x7 - x12 - x117 - x118 - x309 + x310 -2 x311 - d24 < -1.79 sc25: -2 x0 + x1 - x2 + x11 - x15 + x52 + x97 - x98 - x116 + x117 - x119 + x151 + 0.5 x163 + 0.5 x189 + x206 - x310 - x318 + x320 - x322 + x323 - d25 < 1.09 sc26: x0 + x2 - x4 -2 x6 - x9 - x11 - x12 - x24 + x91 + 4 x117 + 2 x118 + x119 - x121 + x151 -0.5 x156 -0.5 x182 -2 x206 -0.5 x237 -0.5 x245 - x255 - x261 + x262 + x264 - x267 - x268 - x270 + x280 - x287 - x290 + x291 - x294 - x306 + x309 + 2 x310 - x315 + x324 -7 x331 - d26 < -4.77 sc27: - x1 - x9 + 2 x117 + x308 -2 x311 - d27 < -1.00 sc28: x1 -3 x2 + x4 -3 x7 - x9 - x10 - x11 -2 x12 -2 x14 + x18 - x22 + x39 - x45 - x50 + x89 - x109 + 5 x117 - x147 + x151 + 0.5 x231 + 0.5 x246 + x258 -2 x260 + x263 -2 x267 - x276 - x284 - x288 - x291 - x300 + x309 + 4 x310 -2 x311 -2 x312 - x313 - x315 - x322 - x323 -10 x324 -2 x329 -6 x330 -22 x331 - d28 < -12.58 sc29: - x0 - x1 -2 x2 - x3 + x5 -4 x6 -4 x7 + x9 - x10 + x11 - x12 + x13 -2 x14 - x15 + x17 - x18 - x29 - x30 + x41 + x49 - x60 - x92 - x118 + x151 -0.5 x176 -0.5 x202 - x206 -0.5 x218 -0.5 x226 - x257 - x260 - x262 - x263 -2 x264 - x268 + x270 - x284 - x285 - x286 - x288 - x292 + x295 - x308 + x310 + 2 x312 - x318 - x320 -2 x329 -6 x330 -11 x331 - x358 - d29 < -5.60 sc30: - x1 -2 x2 - x6 - x11 - x29 + x38 + x118 - x119 + x205 + x271 - x291 + x292 + x309 - x310 - x311 + x321 - x323 - d30 < 1.13 sc31: - x1 -2 x4 -4 x6 -6 x7 -2 x8 -2 x9 - x10 - x11 -6 x12 -2 x14 - x54 - x61 + 2 x67 + 2 x68 - x117 - x118 - x119 -0.5 x225 -0.5 x246 - x258 - x264 + 2 x265 -2 x266 + x270 - x272 + x274 - x278 + x289 + x292 - x302 - x310 -2 x311 -2 x317 - x320 + 2 x321 + x323 - x324 - x329 -2 x330 + 50 x331 - d31 < -0.07 sc32: x1 - x5 - x11 + x20 - x65 - x112 - x263 + x268 + x272 - x287 + x291 + x295 + x296 + 2 x317 -2 x319 + x324 + 2 x331 - d32 < 0.00 sc33: -2 x1 -2 x2 - x3 - x5 + x6 + x8 -2 x9 - x10 + 2 x12 -2 x13 - x15 + x18 -3 x19 + x20 + x51 + x53 + x59 + x68 - x87 + x89 - x99 + x117 + 2 x118 - x126 -2 x130 + x151 -2 x152 + 0.5 x162 + 0.5 x188 + x206 -0.5 x207 -0.5 x217 -0.5 x220 -0.5 x229 -0.5 x233 -0.5 x240 - x241 -0.5 x246 -0.5 x253 - x255 - x256 -2 x258 - x266 -2 x268 - x269 - x270 + 2 x271 - x272 - x276 + x279 + x286 -3 x293 - x298 - x300 + x309 + x310 -3 x311 - x313 - x314 + x318 - x319 + x320 + x322 + x323 + x324 + 2 x330 -39 x331 - d33 < -4.13 sc34: - x1 - x6 -3 x7 - x10 + 2 x12 - x13 + x52 - x67 - x71 -0.5 x235 -0.5 x248 - x255 - x264 - x265 + x267 - x284 + x290 - x291 + x311 + x316 + x317 - x318 - x319 + x322 - x325 - x329 -3 x330 -7 x331 - d34 < -0.44 sc35: x0 -3 x1 - x2 + x3 - x4 -3 x7 - x8 + 3 x11 + 2 x13 -4 x14 - x15 -3 x19 + x28 + x38 - x40 - x45 + x50 + x73 -2 x89 -2 x117 - x119 - x126 - x130 -2 x151 - x152 + 0.5 x153 - x169 -0.5 x175 + 0.5 x176 -0.5 x177 + 0.5 x179 -0.5 x201 + 0.5 x202 -0.5 x203 + 2 x206 -0.5 x219 -0.5 x220 -0.5 x225 -0.5 x226 -0.5 x230 -0.5 x232 -0.5 x235 -0.5 x248 -2 x255 -2 x258 + x260 -2 x264 -2 x267 -2 x268 + x272 - x280 - x283 + 2 x288 -2 x289 - x292 - x293 - x294 + x298 + x301 - x306 - x307 + 4 x308 + x309 + x310 + 2 x311 - x314 - x318 + x320 - x321 + x323 -2 x324 -2 x329 -6 x330 -14 x331 - d35 < -7.96 sc36: -2 x0 - x1 -4 x2 - x3 - x6 -2 x7 - x10 -3 x11 -3 x12 -2 x14 -2 x19 - x45 + x62 - x115 - x118 + x205 + x206 - x262 + x265 + x267 - x268 + x270 + x277 + x288 + x289 - x292 + x294 - x295 + x300 + x309 -3 x311 - x312 + 2 x317 - x319 - x322 + x323 + x330 + 13 x331 - d36 < -7.47 sc37: - x0 -2 x4 + x5 - x10 -3 x11 + x13 + x49 - x52 + x89 - x109 + x205 + x206 + x311 -2 x318 + x319 + x321 - d37 < 0.00 sc38: - x14 + x67 - x109 - x318 + x320 - d38 < 0.00 sc39: 4 x0 + x2 + x4 - x10 - x11 + x15 - x16 - x19 + x26 - x61 + 2 x117 - x118 - x120 - x219 - x262 - x264 - x268 + x276 + x277 + x278 - x286 - x287 + x288 - x294 + 2 x302 + x308 - x310 + x311 + x312 + 2 x324 + 3 x331 - x338 - d39 < 0.67 sc40: -2 x0 -3 x1 - x2 + x3 - x7 - x9 -2 x10 -2 x11 - x12 - x14 - x18 - x19 - x82 -4 x117 -2 x151 - x261 - x264 + x271 + x275 - x283 - x284 - x288 + x295 + x297 - x307 - x308 -2 x311 - x318 - x324 - d40 < 1.00 sc41: - x2 -4 x3 - x4 -2 x5 -4 x6 -3 x7 - x9 - x10 -2 x11 - x12 - x15 - x18 - x19 + x40 - x53 - x67 - x117 - x119 - x127 -0.5 x154 -0.5 x180 - x206 - x272 - x298 - x310 -2 x311 - x318 - x319 + x323 - x324 - d41 < -1.40 sc42: x9 - x266 - x291 + x324 - d42 < 0.00 sc43: - x0 + x1 - x2 - x3 - x5 - x11 - x36 + x40 -3 x117 -3 x118 - x265 - x288 + x291 - x310 + x311 + x312 - x319 + x323 + x324 - x329 -2 x330 + 8 x331 - d43 < 0.40 sc44: x4 - x6 + x94 -2 x118 -0.5 x167 -0.5 x193 - x206 + x266 + x269 + x288 + x293 + x300 - x310 + x318 + x324 + x329 + 3 x330 + 11 x331 - d44 < 2.75 sc45: - x2 - x11 + x12 - x29 + x45 -2 x118 + x159 + x262 + x285 - x310 + x312 + x319 - x320 + x324 - d45 < 1.00 sc46: - x10 - x11 - x19 - x36 - x263 - x285 - x320 - x324 - d46 < 0.00 sc47: - x1 - x2 - x6 - x11 - x13 - x294 + x295 - x314 - x324 - d47 < 0.00 sc48: - x0 - x1 -2 x2 - x4 - x5 - x6 - x7 + x10 - x11 - x12 - x14 + x15 - x18 - x19 + x20 + x30 - x54 + x117 - x118 - x135 -0.5 x229 -0.5 x253 - x255 - x264 + x268 - x270 + x276 - x289 + x303 - x311 - x312 - x320 + x323 + 4 x331 - d48 < -1.40 sc49: - x0 - x1 - x2 - x10 + x12 - x13 - x14 + x15 - x18 + x20 - x118 + x125 + x151 -0.5 x158 + 0.5 x173 -0.5 x184 + 0.5 x199 + 2 x205 + 4 x206 -0.5 x208 -0.5 x217 -0.5 x250 -0.5 x253 - x255 - x258 + x261 - x267 + x286 + x324 - d49 < -1.00 sc50: - x0 - x1 - x2 - x6 -2 x7 - x9 + x10 -3 x11 + x13 - x14 - x15 - x16 - x18 - x27 - x39 - x66 + x88 + x100 + x117 -0.5 x242 -0.5 x254 - x255 - x260 - x263 - x267 + x271 + x277 -2 x285 - x286 + x287 + x310 - x311 - x316 - x318 - x319 - x321 + 2 x323 -3 x324 - d50 < -5.13 sc51: - x0 - x3 -2 x4 - x6 - x10 - x13 - x15 + x18 - x19 + x31 - x61 - x70 -2 x117 - x118 + x261 + x262 + x284 + x290 - x310 - x311 - x318 - x322 + x323 + x324 + x329 + 3 x330 + 7 x331 - x336 - d51 < -0.86 sc52: - x1 - x6 - x8 - x12 - x13 - x117 -2 x118 - x288 + x289 - x317 - d52 < -0.44 sc53: x0 - x3 + x9 + x13 - x15 - x16 + x17 + x53 - x61 - x124 - x147 -0.5 x227 -0.5 x231 -0.5 x239 -0.5 x249 -2 x255 + x268 - x272 + x292 - x296 + x308 - x312 - x319 + x323 -3 x324 - d53 < -1.00 sc54: x3 + x10 - x12 - x51 - x77 -2 x264 - x265 - x270 + x273 - x280 - x287 - x288 + x296 - x306 + x310 + x317 -2 x318 - x325 -2 x329 -6 x330 -13 x331 - x340 - d54 < -3.44 sc55: -3 x0 -2 x1 -4 x2 - x3 -2 x5 + 3 x6 -6 x7 + x8 + x10 -4 x11 -7 x12 + 2 x14 - x18 -4 x19 + x20 + x36 - x41 - x42 + x43 + x49 - x51 + x67 - x89 + x91 -2 x93 -5 x117 -3 x118 + x119 - x134 - x137 - x151 + x205 -0.5 x229 -0.5 x241 - x255 + x260 - x261 - x264 + x265 -3 x266 + x267 + x268 + 2 x270 + 2 x271 - x272 - x276 - x278 + x287 + x288 + x290 - x291 + x292 + 2 x294 - x295 - x298 + x300 - x301 - x302 -5 x311 + 5 x312 + x316 + x317 - x318 -3 x319 - x321 + 4 x323 + 2 x324 + 10 x331 - x343 - x362 - d55 < -1.84 sc56: -2 x117 - x152 - d56 < -0.29 sc57: 2 x0 - x1 + x2 - x6 + x11 - x13 -2 x15 - x53 + x94 -0.5 x207 -0.5 x246 - x258 + x268 - x288 + x311 + x320 - x322 - d57 < 0.00 sc58: - x1 - x2 - x4 - x5 -4 x6 -2 x7 -3 x11 - x13 - x28 + x37 - x41 - x117 - x119 - x151 - x261 + x264 - x268 - x270 - x282 + x291 - x292 - x304 - x310 - x311 -2 x320 + x323 -2 x324 - x329 -3 x330 -18 x331 - d58 < -2.26 sc59: -2 x2 - x4 - x5 - x7 - x9 - x10 - x13 -2 x14 - x20 + 3 x117 - x118 -0.5 x209 -0.5 x210 -0.5 x232 -0.5 x237 -0.5 x239 -0.5 x245 - x255 -2 x258 + x260 - x265 + x284 + 5 x308 - x309 + x310 - x311 -3 x312 -3 x324 - d59 < -6.36 sc60: - x2 - x19 - x24 - x117 - x118 + 0.5 x219 + 0.5 x221 + x255 + x260 - x264 - x265 - x268 + x269 + x282 + x284 - x288 - x290 + x293 + x307 - x310 - x311 + x317 - x319 + 3 x324 - d60 < 0.94 sc61: 2 x10 + x20 - x229 - d61 < 0.00 sc62: - x0 -3 x1 - x2 + x3 -4 x6 - x7 - x8 + x9 - x13 + x14 + x15 -2 x19 + x37 + x41 - x67 + x93 + 3 x117 + x119 + x151 - x260 - x262 + x264 - x266 + x267 - x271 - x274 -2 x276 - x278 + x280 - x282 + x283 - x284 - x286 + x291 - x295 - x299 -3 x300 - x303 + x306 + x307 + x310 + x313 - x318 + x319 + x320 + x321 -5 x324 -4 x329 -15 x330 -44 x331 - d62 < -1.00 sc63: - x54 + x58 - x126 - x309 + x310 - x319 + x321 - d63 < -0.17 sc64: -3 x2 - x5 -3 x6 -2 x7 - x11 - x14 - x24 + x41 + x44 - x115 + x205 + x263 - x282 + 2 x286 - x306 -3 x311 - x318 - x319 + 2 x323 - d64 < -0.75 sc65: -2 x0 -2 x1 - x3 - x4 - x6 + x10 - x11 - x12 - x15 - x16 -2 x18 - x19 + x68 - x77 + 3 x117 + 2 x151 -0.5 x228 -0.5 x242 - x255 - x261 -3 x264 + x268 + x285 - x287 - x288 - x290 + x293 + x303 + x309 - x311 + x312 + x324 - x325 - x329 -3 x330 -12 x331 - d65 < -0.50 sc66: - d66 < 0.00 sc67: -3 x0 - x1 -4 x2 - x4 - x5 + x6 -3 x7 -2 x9 -2 x10 -4 x11 -5 x12 - x13 -3 x14 -2 x15 - x16 - x18 - x19 - x21 - x37 - x41 - x45 + x52 + x54 - x64 + x84 - x86 + x109 - x118 - x130 + 3 x263 -3 x264 - x265 + x268 + x269 + x270 - x271 - x272 -2 x280 - x283 + x284 + x285 - x289 - x291 + x292 + x293 - x296 -2 x300 + x301 + x302 - x306 - x308 + x309 -6 x311 - x313 - x316 + 3 x317 - x318 -3 x319 + 2 x323 -4 x324 -2 x329 -6 x330 -7 x331 - d67 < 0.33 sc68: -3 x1 -4 x2 - x3 - x5 -5 x6 -2 x7 + x8 - x9 + x10 -2 x11 - x12 + x13 - x14 - x15 - x18 + x37 + x41 - x45 + x49 - x52 + x61 - x87 + x117 + x119 - x120 - x142 - x151 -0.5 x172 -0.5 x198 -2 x206 -0.5 x211 -0.5 x212 -0.5 x218 -0.5 x232 -0.5 x234 -0.5 x235 -0.5 x237 -0.5 x249 -2 x255 -2 x258 - x260 - x264 - x275 - x276 + x279 - x283 - x285 - x290 + x292 + x295 - x300 + x304 - x307 + x308 - x309 + 4 x310 - x311 -2 x312 - x315 - x316 + 2 x317 - x318 + x319 - x320 + x321 - x322 + 2 x323 -6 x324 -2 x329 -5 x330 -17 x331 - x335 - d68 < -7.33 sc69: - x3 + x6 - x10 - x13 + x14 - x63 + x79 + x103 - x137 + x260 - x268 - x292 + x311 - x317 + x322 - x325 - d69 < 1.71 sc70: - x5 - x14 -2 x117 - x118 -0.5 x225 -0.5 x249 - x255 + x278 - x282 + x302 - x304 - x310 - d70 < 0.67 sc71: - x0 -2 x2 -2 x6 -5 x7 -4 x8 -2 x9 + x10 -3 x11 -3 x12 - x15 -2 x16 - x28 - x38 + x40 -2 x117 - x130 - x138 -0.5 x207 -0.5 x250 - x255 -3 x264 + x265 -3 x268 - x270 - x274 + x278 - x288 + x289 - x291 - x292 -2 x293 - x294 - x296 - x309 + 2 x310 -3 x311 - x313 - x322 - x324 -3 x329 -8 x330 -26 x331 - d71 < -2.50 sc72: - x2 - x11 - x311 - d72 < -0.97 sc73: - x0 + 3 x3 - x4 - x5 - x8 - x9 - x10 -2 x11 -2 x14 - x15 -2 x16 + x17 + 2 x18 - x19 + x35 - x53 + x55 - x85 - x117 -2 x118 - x119 - x123 - x135 -0.5 x161 -0.5 x187 - x206 - x253 + x259 + x260 + x268 - x282 + x284 + x286 - x288 - x309 -2 x310 + x311 + x312 + x317 + x318 - x319 + 4 x324 -14 x331 - d73 < 1.03 sc74: -9 x0 -3 x1 -3 x2 - x3 -2 x5 -8 x6 -5 x7 - x9 -2 x10 -2 x11 -2 x12 - x14 -2 x15 -3 x19 - x20 - x29 - x56 - x93 + x97 - x117 -2 x118 - x119 - x140 - x151 -0.5 x155 -0.5 x181 -2 x206 -0.5 x232 -0.5 x243 - x258 -3 x260 - x261 - x262 + x264 - x267 + x278 -3 x284 - x286 - x287 - x289 + x291 + x300 - x309 -2 x312 - x313 + x316 - x318 - x319 -5 x324 - x329 -3 x330 -9 x331 - d74 < -3.31 sc75: - x0 + x1 - x2 -2 x3 -3 x6 -2 x8 - x10 - x11 - x12 - x13 - x14 - x15 - x18 - x19 - x49 - x55 + x90 + x100 - x118 - x119 - x151 - x152 -0.5 x209 -0.5 x223 -0.5 x229 -0.5 x232 -0.5 x242 -0.5 x250 -2 x255 - x258 + x260 - x261 - x263 - x264 - x265 - x268 + x276 + x284 -2 x287 - x288 - x289 - x292 + x293 + x301 -3 x308 -2 x309 + 5 x310 -2 x311 - x319 - x320 + x321 + x322 - x324 -2 x329 -7 x330 -23 x331 - d75 < -2.88 sc76: - x1 - x6 - x7 + x8 + 2 x9 + 2 x11 - x12 + x13 + 2 x14 + x15 - x40 - x50 - x92 + x117 - x125 - x152 + 0.5 x159 + 0.5 x185 + x206 + x224 + x262 - x264 - x265 -2 x267 -3 x268 - x270 - x271 + x282 -2 x289 - x291 -3 x292 + x301 - x304 + 2 x310 + x311 + 2 x317 -2 x319 - x322 + 4 x324 -2 x329 -5 x330 -24 x331 - d76 < -6.06 sc77: - x11 - x66 + x68 - x261 + x265 - x266 + x268 - x284 + x295 + x321 - x322 - x324 - d77 < 0.00 sc78: -2 x3 - x4 + x6 + x7 - x9 - x10 - x11 - x12 -4 x14 + x18 - x19 + x24 + x26 - x42 - x77 + x118 -0.5 x172 -0.5 x198 - x206 - x264 - x265 + x271 - x276 + x284 - x292 - x300 + x310 - x311 - x319 + x320 - x325 - x329 -5 x330 -17 x331 - d78 < -1.75 sc79: - x0 - x1 -2 x3 - x4 - x6 - x10 -2 x15 - x16 + x38 - x94 + x117 - x151 + x267 -2 x279 - x283 + x291 + x301 -3 x303 - x307 - x308 + x309 - x311 - x318 + x323 -3 x324 - x329 -3 x330 -11 x331 - d79 < -1.12 sc80: - x7 + x10 + x11 - x15 - d80 < 0.00 sc81: 2 x0 + x1 + x2 - x5 - x6 -3 x11 - x14 + x18 - x19 + x29 - x41 - x117 - x151 + x260 - x263 + x268 + x285 + 2 x293 - x294 - x314 + x317 - x324 - d81 < 0.00 sc82: - x0 + x1 - x2 + 2 x3 + 2 x4 - x6 - x7 + x10 -2 x11 + x15 + 2 x18 + x28 + x61 - x68 + x117 + 0.5 x157 + 0.5 x183 + 2 x206 - x264 - x267 -2 x268 + x277 + x281 - x288 -2 x292 - x294 + x300 + x307 + x310 + x312 - x314 -2 x317 + x319 - x320 + x323 + 4 x324 - x329 -3 x330 -25 x331 - d82 < -1.42 sc83: -4 x2 - x6 -3 x7 -2 x9 + 2 x10 -3 x11 + 2 x12 + 2 x13 + x20 + x50 - x58 + x83 - x110 + x112 + x134 -2 x136 - x140 + 0.5 x225 + 0.5 x236 + x257 - x265 + x267 - x268 + 2 x270 - x271 - x290 - x291 - x293 + x304 + x312 + x315 + x316 + x319 + x324 -2 x329 -7 x330 -17 x331 - x341 - d83 < -0.44 sc84: - x2 + x3 -2 x7 + x10 - x11 + x14 + x15 + x20 + x50 - x57 - x117 -0.5 x170 -0.5 x196 -0.5 x233 -0.5 x241 -0.5 x242 -0.5 x253 - x255 - x256 - x264 + x271 - x288 + x295 - x309 + x310 - x311 - x319 + x323 - d84 < -0.12 sc85: - x0 - x1 -3 x2 -3 x6 - x7 - x13 + x16 - x19 + x21 + x40 - x53 - x54 - x95 -2 x117 - x142 -3 x151 -0.5 x155 -0.5 x181 -2 x206 -0.5 x212 -0.5 x253 - x257 + x259 - x268 - x292 + 2 x310 -2 x319 - x320 + 2 x323 - d85 < -1.71 sc86: -2 x1 + x2 - x3 - x6 - x8 + x12 - x14 - x52 + x104 - x170 - x260 + x265 + x267 - x268 - x270 + x271 - x277 - x285 + x289 + x291 -2 x292 - x300 - x318 + x319 -2 x324 - d86 < -2.27 sc87: x2 - x3 - x5 + 2 x117 + x119 - x151 -0.5 x216 -0.5 x246 - x258 + x308 + x310 - x312 - x324 - d87 < -3.31 sc88: -2 x7 + x10 + x13 - x136 + x290 - d88 < 1.31 sc89: - x10 - x13 - x14 + x67 - x105 + x151 - x318 + x320 - d89 < 0.00 sc90: - x0 - x4 + x14 + x15 + x20 + 2 x117 + x151 -0.5 x241 -0.5 x253 - x255 - d90 < 0.00 sc91: x16 + 2 x117 + x151 -0.5 x215 -0.5 x246 - x258 - d91 < 0.00 sc92: -4 x0 -2 x1 - x2 - x4 - x6 -2 x7 - x8 -2 x10 - x11 - x12 - x13 - x14 - x18 + x39 - x40 - x85 - x95 + x97 -2 x117 - x151 -0.5 x177 -0.5 x203 - x206 -0.5 x231 -0.5 x249 - x255 - x263 - x264 - x266 + x268 -2 x270 -2 x276 + x279 - x287 - x288 - x290 + x295 -2 x300 - x301 + x302 + x303 + x311 + x319 - x320 - x321 -2 x324 -2 x329 -6 x330 -25 x331 - d92 < 0.00 sc93: x0 + 2 x2 - x3 - x9 -2 x10 - x14 + x15 - x19 - x28 - x57 + x95 + x110 - x118 + x141 -0.5 x177 -0.5 x203 - x206 + 0.5 x234 + 0.5 x242 + x258 - x265 + x271 - x291 + x295 - x309 + x314 + x318 - x319 - d93 < 0.50 sc94: - x0 - x1 -2 x2 + x3 + x5 -2 x6 - x7 - x12 - x15 - x18 + x19 - x28 + x40 + x49 - x50 - x106 + x117 + x119 - x262 - x264 - x267 - x268 + x269 - x271 + x272 - x284 - x288 - x289 - x293 + x294 + x298 + x310 - x318 - x319 + x323 - x329 -3 x330 -10 x331 - d94 < -1.22 sc95: - x4 -2 x11 - x39 + x41 - x56 - x291 - x310 -2 x319 + x323 - d95 < -0.40 sc96: - x1 - x8 - x11 + x37 - x41 - x61 - x265 - x288 + x311 - x318 + x321 - x322 - x333 - d96 < 0.00 sc97: - x1 - x2 - x5 -2 x6 -4 x7 - x8 + 2 x9 - x11 -4 x12 - x14 - x20 - x45 + x55 + x63 - x112 - x117 -0.5 x171 -0.5 x197 - x206 - x264 + x265 - x266 + x269 + x270 - x278 - x289 -2 x290 + x291 + x292 + x294 - x300 - x309 -3 x311 - x312 + x318 - x319 - x321 + x323 -3 x324 + x352 - d97 < 0.39 sc98: - x0 -2 x4 + x10 - x15 - x43 + x114 + 2 x117 -0.5 x169 -0.5 x195 -2 x206 + x263 + x284 + x302 - x303 + x308 - x318 + x319 - d98 < -1.00 sc99: x7 + x171 - x266 - x288 - d99 < 0.00 sc100: - x2 - x5 - x6 - x7 + x12 + x35 + x43 - x115 -0.5 x212 -0.5 x224 - x255 + x262 + x265 -2 x266 - x290 - x293 + x310 + x312 - x317 - x318 + x319 + x320 + x324 -4 x331 - d100 < 0.00 sc101: x11 + x117 - x268 + x288 - x292 - x301 + x310 -11 x331 - d101 < -1.67 sc102: - x1 - x4 + x11 - x13 - x18 + x64 - x82 + x263 - x268 + x276 - x279 + x292 - x300 - x318 + x320 + 4 x331 - d102 < 0.00 sc103: -2 x0 + 2 x2 - x5 + 3 x6 - x7 - x9 + x10 - x12 + x14 - x19 - x50 + x114 - x117 + 2 x118 - x124 - x151 - x152 -0.5 x225 -0.5 x240 -0.5 x246 -0.5 x248 - x255 - x258 -2 x264 - x268 + x271 + x279 - x288 - x292 + x308 + 2 x310 - x311 + x319 - x320 + 2 x324 + x330 -11 x331 - d103 < -1.55 sc104: - x2 + x4 + x8 - x68 + x89 - x267 - x291 + x295 + x321 - x322 - d104 < 0.00 sc105: 2 x0 - x2 - x3 - x6 -3 x7 - x8 + x9 + 2 x11 - x12 - x14 + x15 + x43 - x47 - x54 + x55 -2 x61 + 2 x117 + 2 x118 -0.5 x175 -0.5 x201 - x206 -0.5 x232 -0.5 x233 - x258 -2 x264 + x265 -2 x266 + 2 x268 - x276 -2 x278 -3 x288 + x289 - x292 + x293 + x294 -2 x300 - x302 + x309 + x310 -2 x311 -3 x318 + x319 - x320 + x322 -3 x324 - x329 -3 x330 -12 x331 - x342 - x344 - d105 < -5.80 sc106: - x0 - x1 - x2 -2 x6 -4 x7 + x10 + x16 - x18 + x19 - x57 + x60 + x118 - x145 - x153 -0.5 x176 -0.5 x202 -2 x206 + x259 - x321 + x323 - d106 < -4.87 sc107: x13 + x15 -3 x117 -2 x119 - x152 + 0.5 x216 + 0.5 x218 + x255 - x309 + x311 - d107 < 0.50 sc108: - x2 + x6 + x14 + x117 + x119 - x149 -0.5 x216 -0.5 x249 - x257 + x309 + x311 - d108 < -0.50 sc109: - x0 - x3 - x5 -3 x6 - x7 + x8 - x9 - x11 - x13 -2 x14 - x19 - x42 + x44 - x80 - x117 + x119 - x121 - x126 - x151 - x260 - x264 + x271 - x284 + x292 + x310 -2 x311 + x312 - x313 - x318 + x321 - x322 - x324 - d109 < -2.15 sc110: -2 x0 - x1 + x2 - x3 - x4 -2 x5 - x8 - x11 -2 x13 -2 x15 - x18 + x42 - x50 + x90 - x142 + 0.5 x155 + 0.5 x181 - x264 + x269 - x288 + x291 + x292 + x295 - x307 - x311 - x313 + x318 - x321 + x322 -2 x324 - x329 -3 x330 -20 x331 - d110 < 0.00 sc111: - x22 + x26 - x311 + x313 + 2 x324 - d111 < 0.37 sc112: - x0 - x1 -3 x3 -4 x6 -2 x7 - x8 - x10 -2 x12 - x13 -2 x15 - x18 - x19 - x24 - x34 + x56 + x58 - x68 + x113 + x117 -2 x118 + x262 - x269 -2 x272 + x279 - x280 + x284 - x293 + x294 - x296 + x303 + x310 -3 x311 - x315 - x316 + x320 -2 x322 + x323 -3 x324 - x329 -3 x330 -4 x331 - d112 < -2.52 sc113: x0 -2 x1 + x2 + x4 - x6 -2 x7 + x15 + x20 - x41 + x66 + x83 -2 x117 - x268 + x279 - x293 + x300 + x301 - x309 + 2 x310 -2 x316 + x323 + x324 - d113 < -5.12 sc114: - x0 - x2 + 2 x6 + 3 x7 - x8 - x10 - x11 + x12 - x13 -2 x14 - x58 + x63 - x64 + x118 - x119 - x130 - x132 - x135 + 2 x151 - x152 -0.5 x160 - x161 + 0.5 x163 + 0.5 x172 -0.5 x186 - x187 + 0.5 x189 + 0.5 x198 + x202 -0.5 x225 -0.5 x226 -0.5 x233 -0.5 x237 -2 x255 -2 x264 - x268 -2 x288 - x290 - x294 + x300 - x302 - x308 + 3 x310 + 3 x311 + x313 -2 x319 + x323 - x329 -3 x330 -16 x331 - d114 < -9.36 sc115: -2 x0 + x1 + x2 - x11 - x24 - x25 + x53 + x117 + x119 -2 x265 - x268 - x288 - x291 - x292 + x310 + x311 - x318 - x319 + x323 - x329 -3 x330 -16 x331 - d115 < -2.30 sc116: - x3 - x6 -4 x7 + 2 x11 + x12 + x42 - x55 + x114 - x117 + x127 + x130 - x134 - x151 -0.5 x166 -0.5 x192 + x235 + x261 + x264 - x265 - x269 + x285 + x287 -2 x288 - x292 + x294 -3 x311 - x312 - x313 + x314 + x317 + x321 + 3 x324 + x331 - d116 < 0.00 sc117: - x7 + x9 + x10 - x61 - x134 - x311 + x312 + x317 - x318 - d117 < 0.00 sc118: x1 + x3 + x6 - x7 + x10 + x11 -2 x12 - x52 - x68 - x127 + 0.5 x242 + 0.5 x254 + x255 - x267 - x268 + x269 + x273 - x289 + x295 + x297 + x317 -2 x319 + x324 - d118 < 0.00 sc119: -2 x0 - x1 -2 x4 - x6 - x7 - x8 - x9 - x15 + x118 - x151 -0.5 x241 -0.5 x253 - x255 + x260 + x287 - x311 - d119 < -0.99 sc120: -4 x0 + x3 - x4 - x7 - x10 - x11 + x274 + x299 - x304 - x313 -2 x324 - d120 < 0.00 sc121: x4 - x5 + x7 + x8 -2 x9 + x10 - x11 + x19 + x20 - x59 + x70 + x92 + x109 - x112 -3 x117 - x118 + 2 x262 - x263 - x264 + x287 - x290 + x305 -2 x310 + x313 + x321 + 3 x324 - d121 < 2.00 sc122: - x0 - x1 -2 x2 -2 x6 -4 x7 + x9 - x12 + x13 - x15 + x16 + x24 -2 x58 - x68 + x82 - x90 -3 x264 - x266 + x269 - x271 + x273 -2 x289 + x308 + x309 + x310 - x312 - x314 + 2 x317 - x320 -2 x321 + x323 + x325 - x329 -3 x330 -7 x331 - d122 < -4.19 sc123: x0 + x1 -4 x2 - x4 - x6 -3 x7 - x8 + 2 x10 + x11 - x12 - x14 - x15 - x18 - x19 + x41 - x54 - x64 - x118 - x119 -0.5 x155 -0.5 x181 + 0.5 x221 + 0.5 x229 + 0.5 x232 + 0.5 x250 + x255 + x258 - x261 + x268 + 2 x269 - x270 -2 x276 - x278 - x287 -2 x292 + x295 -2 x302 - x307 -2 x309 + 2 x310 -2 x311 + x312 - x318 - x322 + x323 -5 x324 - x329 -3 x330 -19 x331 - d123 < -0.97 sc124: - x0 -3 x5 -5 x6 -4 x7 + x10 - x12 - x13 - x14 + x19 + x52 - x93 - x107 + 3 x117 + 3 x118 - x119 + 2 x151 -0.5 x230 -0.5 x250 - x257 - x260 - x267 - x268 - x286 - x309 + 2 x310 -2 x311 - x316 - x318 - x319 + x323 -2 x324 - x329 -3 x330 -2 x331 - d124 < -3.79 sc125: x0 + 4 x2 + x3 - x5 -3 x6 + x7 - x8 - x10 - x11 + x13 + x15 + x18 - x24 - x52 + x57 + x100 -2 x117 + x118 + x119 - x145 + 0.5 x218 -0.5 x239 + 0.5 x252 -0.5 x253 + x261 - x264 - x265 -2 x268 + 2 x275 + x285 - x288 + x289 - x290 - x294 + 2 x299 + x301 + x309 - x310 + x311 + x312 - x313 - x314 + x317 - x318 + x319 + x320 - x323 + x324 - x329 -3 x330 + x331 - d125 < 0.54 sc126: -12 x0 -7 x1 -5 x2 -4 x3 -3 x4 -2 x5 -6 x6 -6 x7 + x8 - x9 - x10 -8 x11 -3 x12 -5 x13 -5 x14 -10 x15 + 2 x16 - x18 -2 x19 + x20 + x21 + x31 - x38 - x44 - x48 - x49 -3 x52 + x95 + x100 - x101 -6 x117 - x118 -8 x119 - x123 - x151 -0.5 x153 -0.5 x155 -0.5 x178 -0.5 x179 -0.5 x181 -0.5 x204 -5 x206 -0.5 x218 - x229 -0.5 x239 -0.5 x252 -2.5 x253 -4 x255 - x260 - x262 + x263 -2 x264 -2 x266 -2 x267 + x268 + x271 - x275 - x276 - x278 - x280 + x285 - x286 -2 x287 - x289 - x291 - x292 + x295 - x298 + x303 -3 x309 -2 x310 - x311 + x312 - x316 + x317 -2 x318 -2 x319 + x320 - x323 -3 x324 -3 x329 -8 x330 + 196 x331 - d126 < 2.27 sc127: -2 x0 - x1 -2 x2 - x3 - x7 - x8 + x10 - x11 + x13 - x14 -2 x15 + x16 - x50 - x117 -2 x119 -0.5 x229 -0.5 x239 - x255 + x267 + x288 - x304 - x309 - x312 - x321 -4 x324 - d127 < 0.50 sc128: x1 + x3 + x6 - x7 + x10 - x14 + x15 + x16 + x20 -2 x117 - x152 - x253 + x311 + x312 - x313 - d128 < 0.00 sc129: - x0 - x1 - x3 - x6 + x14 + x16 + x20 - x68 + x103 - x117 -2 x118 + 0.5 x154 + 0.5 x180 + 2 x206 -0.5 x213 -0.5 x241 -0.5 x246 -0.5 x253 - x255 - x258 + x274 - x279 + x296 - x301 - x309 - x311 - d129 < -0.05 sc130: - x4 - x6 -3 x7 - x8 - x11 - x12 + x14 - x15 - x19 + x117 - x118 + x151 -0.5 x218 -0.5 x232 -0.5 x241 -0.5 x254 - x255 - x258 - x262 - x287 -2 x312 - x316 -4 x324 - d130 < -3.06 sc131: - x1 - x2 - x7 - x15 - x19 - x116 + x117 - x264 - x275 - x278 - x288 - x298 - x300 + x310 - x323 -2 x324 - x329 -3 x330 -18 x331 - d131 < -5.02 sc132: x0 -2 x4 - x6 - x11 - x13 - x14 - x93 + x117 + x118 + x119 + x151 - x260 - x264 -2 x267 + x284 - x288 - x291 + 2 x310 - x323 - x329 -3 x330 -6 x331 - d132 < -4.29 sc133: - x1 + x2 - x6 - x139 + x259 - x267 - x268 + x310 - x316 - d133 < -3.31 sc134: - x4 + x6 - x11 - x92 + x108 - x117 - x264 - x291 - x308 + x324 - d134 < 0.31 sc135: -2 x0 -3 x2 + x3 - x7 + x10 -2 x11 + 2 x15 + x20 + x42 - x51 - x117 -0.5 x229 -0.5 x253 - x255 + x262 - x264 + x271 + x293 - x308 - x310 - x311 - x318 + x321 - d135 < 3.67 sc136: - x0 + x1 -3 x3 -2 x4 - x5 - x10 + x11 - x13 -4 x15 + x17 + x18 -4 x19 + x21 + x51 + x52 - x100 -2 x117 + x119 - x151 - x152 -0.5 x162 -0.5 x188 -2 x206 -0.5 x207 -0.5 x210 -0.5 x213 -0.5 x215 -0.5 x217 -0.5 x253 -2 x255 - x258 - x260 - x275 - x276 + x279 + x280 - x284 + x287 - x298 - x300 + x302 + x304 + x310 + x311 + x318 - x320 + x321 + x323 -2 x324 -2 x329 -7 x330 -26 x331 - d136 < -1.22 sc137: - x3 - x5 - x9 - x10 - x11 -2 x12 + x14 - x18 - x65 + x86 -5 x117 -3 x119 - x127 - x152 + x266 - x267 + x288 - x289 - x309 - x310 - x311 - x319 + x323 - d137 < 0.88 sc138: - x7 + x118 - x128 + x309 - x311 - d138 < -0.50 sc139: -3 x1 - x2 - x5 - x6 - x9 -2 x11 - x14 -2 x19 - x53 - x127 - x264 - x266 - x271 + x282 - x288 - x290 - x291 + x305 - x318 + x324 - x329 -3 x330 -9 x331 - d139 < 0.00