%------------------------------------------------------------------------------ % File : Equinox---6.0.1a % Problem : SWV421-1.060 : TPTP v8.1.0. Released v3.5.0. % Transfm : none % Format : tptp:short % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s % Computer : n014.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % WCLimit : 600s % DateTime : Wed Jul 20 17:59:06 EDT 2022 % Result : Unsatisfiable 25.13s 25.27s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : SWV421-1.060 : TPTP v8.1.0. Released v3.5.0. % 0.07/0.12 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s % 0.13/0.33 % Computer : n014.cluster.edu % 0.13/0.33 % Model : x86_64 x86_64 % 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.33 % Memory : 8042.1875MB % 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.33 % CPULimit : 300 % 0.13/0.33 % WCLimit : 600 % 0.13/0.33 % DateTime : Wed Jun 15 09:50:06 EDT 2022 % 0.13/0.34 % CPUTime : % 0.13/0.34 Equinox, version 6.0.1alpha, 2011-12-07, pre-release. % 0.13/0.34 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p % 0.13/0.34 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK % 0.13/0.37 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p % 0.13/0.38 #elt|#instances % 0.13/0.38 (SAT)(equ)(fun)(SAT) 69| -123456789XL -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. % 0.19/0.43 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. -. -1 -. -. -. -. % 0.19/0.45 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. % 0.19/0.45 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -1 -1 -. -. -. -. -. -. -. % 0.19/0.52 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 0.36/0.54 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XL -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XL -1 -. -. -. -. -. -. -. -. -. -123456789XL -. -. -. -. -. -. -. -1 -. -. -. -. -. % 0.39/0.60 (SAT)(equ)(fun)(SAT) 69| -123456789XL -1 -. -. -123456789XL -. -. -. -. -. -. -. -. -. -123456789XL -1 -. -. -. -. -123456789XL -. -. -. -. -. -. % 0.53/0.72 (SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 0.61/0.80 (SAT)(equ)(fun)(SAT) 69| -. % 0.65/0.82 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. % 0.77/0.95 (SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 0.83/1.02 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 0.90/1.07 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -12345678 -12345678 -123456789XL -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 1.01/1.20 (SAT)(equ)(fun)(SAT) 69| -. -. -123456789X -. -. -. -123456 -123456 -. -123456789X -123456789X -. -. -. -. -. -. -. -123456789X -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. % 1.12/1.28 (SAT)(equ)(fun)(SAT) 69| -. -1 -12 -12345678 -. -. -12 -. -12 -. -. -1 -1 -. -. -. -. -. -. -1234567 -. -12345678 -. -. -. -. -. -. -. -. % 1.18/1.34 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -12 -12 -1 -. -1 -. -. -. -. % 1.21/1.41 (SAT)(equ)(fun)(SAT) 69| -. -12 -. -. -. -1 -1 -1 -. -. -1 -. -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -1 % 1.30/1.46 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 1.37/1.53 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -123456789 -123456789 -. -. -123456789XL -12 -1 -1 -123 -12345 -. -1 -1 -. -. -. -. -. -. -. -. -123456789X -123456789X -. -. -123456789XL -12345678 -1 -1 -1 -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 1.49/1.66 (SAT)(equ)(fun)(SAT) 69| -. -1234 -123456789X -123 -. -1 -123456789X -123 -. -. -1 -. -1 -1 -12345 -1234567 -123456789 -123456789 -123 -12345 -. -1234 -12345 -12 -12345678 -123456 -. -. -. -. -1 -1 -12345 -12 -1 -. -123456789X -123456789X -12 -12 -123 -123456 -1234567 -12 -1234567 -123456789 -. -. -. -. -. -. -12 -. -. -. -. -. -1 -. -. -. -. % 1.61/1.78 (SAT)(equ)(fun)(SAT) 69| -. -1 -12 -. -. -1 -123 -12345678 -. -1 -12345 -. -123456 -12 -123456 -12 -123456789X -12345678 -123456 -12345 -. -12345 -1234567 -12 -123 -1 -. -12 -. -. -1 -1 -123 -1234567 -12 -123 -1234 -1234567 -12345678 -123456789X -123456789 -123 -12 -1 -123 -1 -1 -. -. -. -1 -1 -123 -. -. -. -. -1 -. -. % 1.70/1.89 (SAT)(equ)(fun)(SAT) 69| -. -12 -12345 -12345 -. -. -123456 -1234 -12 -123 -12 -. -123 -123 -1 -123 -123456 -123456 -12345678 -1234567 -1 -1234567 -12345 -123 -123456 -123 -12 -. -. -. -. -1 -1 -1 -123 -12 -12345678 -12345 -123 -123456 -12345678 -123456 -1234567 -12 -12345 -1 -1 -. -. -. -12345 -12345 -123 -. -1 -. % 1.83/2.01 (SAT)(equ)(fun)(SAT) 69| -. -123 -1234 -123456789 -. -1 -12 -1234567 -1234 -123456 -123 -1 -1 -. -1 -12 -123 -12345 -12345 -1234 -1 -1234 -12345 -123 -. -1 -1 -12 -. -. -1 -. -. -. -123 -12 -12345 -123456789 -12 -123 -123 -123456 -123456 -. -1 -12 -123 -123 -. -. -123456789X -123456789X -1234 -1 -. -. -. -. % 1.96/2.13 (SAT)(equ)(fun)(SAT) 69| -. -12 -. -12345 -. -12345 -12 -. -1234567 -123456789X -. -. -. -12 -1 -123 -123 -12 -123 -12345 -12345 -12345 -123456789 -1 -. -. -1234 -1234 -. -. -. -. -12 -. -. -12 -12 -123 -123456789X -123456789 -123456789X -1234 -123456 -12 -123 -. -1 -12 -. -. -123456789X -123456789X -1 -12 -. % 2.10/2.26 (SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -1234 -12 -1 -. -1234 -1234 -123 -12345678 -123456789 -1 -. -. -123 -. -. -1 -123 -12 -1 -1234 -123456789X -123456789X -12 -123 -. -1234 -123 -. -. -. -. -1 -1 -12 -12345 -12345 -12 -12 -12 -123 -12345 -1234567 -1234 -12 -. -1 -1 -. -. -123456789X -123456789X -12 -1 -. % 2.24/2.41 (SAT)(equ)(fun)(SAT) 69| -. -1234 -1 -1234 -. -123456789X -12 -1 -12345 -1234567 -12 -1 -1 -1 -12 -1234 -12 -. -123 -12345 -12345678 -12345 -1234 -1234 -1 -. -12 -12 -. -. -. -1 -1 -1 -1 -12 -. -1 -1 -12 -. -123456 -1234 -1234 -1 -123 -1234 -123456 -. -. -123456789X -123456789X -12 -123 -. % 2.30/2.53 (SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -12 -1 -12 -. -1 -1 -123 -12 -12345 -12 -. -. -12 -1 -12 -. -123 -. -1 -1234 -1234567 -123456 -12 -12 -. -1234 -1234 -. -. -1 -. -12 -1 -. -. -12 -123 -12 -. -. -1234567 -12345678 -1 -. -1 -12 -1234 -. -. -12345678 -1234567 -123 -12 -. % 2.49/2.67 (SAT)(equ)(fun)(SAT) 69| -. -123 -12 -12 -. -1 -1 -123 -. -123456789X -. -. -12 -. -1 -. -12 -1 -12 -12 -1234 -1234567 -12345678 -1 -1 -1 -12 -1 -. -. -1 -. -. -. -. -1 -12 -12 -1234567 -12 -1234 -12345 -123456 -12 -. -. -12 -1234 -. -. -123456 -123456 -. -123 -. % 2.61/2.79 (SAT)(equ)(fun)(SAT) 69| -. -123456 -1 -. -. -12 -1 -1234 -1 -12 -. -. -. -12 -. -1 -1 -. -12 -1234 -1234 -123456789X -123456789 -123 -1 -12 -123 -12 -. -. -12 -. -123 -. -12 -. -123 -123 -1234 -1 -. -12345678 -123456789X -1 -. -. -1234 -123 -. -. -1234 -1234 -1 -12 -. % 2.74/2.92 (SAT)(equ)(fun)(SAT) 69| -. -1 -12 -12 -. -1234 -123 -1234 -12 -12 -. -. -. -. -. -12 -1234 -123 -12 -12 -123 -123456 -12345 -123 -. -. -1234 -1 -. -. -1 -. -. -. -12 -123 -. -1 -1 -. -. -12345678 -123456789 -12 -. -1 -123 -12 -. -. -1 -1234 -123 -123456 -. % 2.84/3.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -123456 -123 -12 -. -. -. -123 -. -1 -12 -. -1 -. -1 -1234 -1 -123 -1 -. -1 -1234567 -12345678 -123 -1 -123 -12 -12 -. -. -. -. -. -. -1 -123 -123 -1 -1 -12 -123 -123 -12 -12 -1 -. -12 -12 -. -. -1234 -1234 -1 -. -. % 3.01/3.17 (SAT)(equ)(fun)(SAT) 69| -1 -1 -. -1 -. -12 -1 -12 -12 -. -12 -. -. -1 -1 -123 -12 -123 -1 -1 -123 -12345678 -1234567 -123 -. -1 -1 -1234 -. -. -1 -. -12 -1 -. -12 -12 -12 -. -1 -12 -12345 -12345 -12 -. -1 -12345 -1 -. -. -123 -1234 -123 -1 -. % 3.09/3.30 (SAT)(equ)(fun)(SAT) 69| -. -12345 -. -1 -. -1234 -12 -12 -. -. -. -. -1 -. -. -12 -1 -. -. -. -. -1234 -123 -123 -1 -123 -1234 -12 -. -. -12 -. -12 -12 -. -12 -. -12 -1 -12 -. -12 -123 -1234 -12 -. -12 -1 -. -. -123 -123 -1234 -123 -. % 3.24/3.41 (SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -1 -12 -12 -. -12 -12 -12 -. -1 -1 -. -1 -1 -1 -1 -. -123 -12 -1 -1 -1234 -123456 -12 -1 -12 -. -1 -. -. -1 -. -12 -. -1 -123 -12 -1 -1 -. -. -123 -12 -1 -1 -1 -123 -123 -. -. -12 -12 -1 -1 -. % 3.37/3.53 (SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -123 -. -. -. -12345 -12 -1 -1234 -. -1 -. -. -. -1 -. -. -12 -. -12 -12 -12 -123 -1 -. -1 -123 -1 -. -. -12 -. -123 -. -. -12345 -123 -12 -1 -12 -. -123 -1234567 -123 -. -1 -. -1 -. -. -1 -12 -. -12345 -. % 3.47/3.65 (SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -. -1 -12 -. -12 -123 -12 -1 -. -. -. -1 -1 -. -. -. -. -12 -. -. -1234 -1234 -. -. -1 -12 -1 -. -. -12 -. -1 -. -. -1234 -. -. -. -. -. -12345 -123456 -12 -1 -123 -1 -. -. -. -12 -1 -. -1 -. % 3.61/3.77 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. -. -. -. -. -. -. -1 -12 -. -12 -. -1 -12 -. -12 -12345 -1234 -123 -1 -1 -12 -. -. -. -1 -. -1 -. -. -. -. -12 -123 -1234 -. -1234567 -1234567 -. -. -. -12 -1234 -. -. -12 -12 -1 -12 -. % 3.69/3.89 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -12 -1 -1 -1 -. -. -. -. -. -. -1 -. -1 -1 -1 -. -12 -12 -. -1 -. -1 -1 -. -. -12 -. -1 -1 -. -1 -1 -. -1 -1 -1 -12 -12 -1234 -1 -. -123 -1234 -. -. -. -. -1 -. -. % 3.85/4.01 (SAT)(equ)(fun)(SAT) 69| -. -. -. -12 -. -1234 -. -12 -. -. -12 -. -1 -. -. -1 -. -1 -1234 -. -12 -123 -12345 -1 -. -. -12 -1 -. -. -1 -. -. -. -. -1 -1 -. -. -123 -1 -12 -123 -12 -. -. -12 -12 -. -. -1 -1 -1 -. -. % 3.95/4.12 (SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -1 -1 -12 -. -. -1 -1 -1 -. -. -. -. -1 -. -1 -1 -1 -12 -1 -1 -123 -123 -12 -. -. -1 -1 -. -. -. -. -12 -. -. -1 -. -. -1 -. -1 -12 -12 -. -. -1 -. -1234 -. -. -. -1 -. -1 -. % 3.99/4.23 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -1 -. -1 -. -. -. -. -. -. -1 -. -. -12 -. -. -12 -. -. -1 -12 -1 -. -. -1 -1 -. -. -. -. -. -. -. -12 -. -. -. -. -1 -. -. -12 -. -1 -123 -. -. -. -1 -1 -1 -1 -. % 4.14/4.34 (SAT)(equ)(fun)(SAT) 69| -. -1 -1 -. -. -1 -. -1 -123 -. -. -. -1 -. -. -. -1 -. -. -1 -1 -. -1 -. -. -. -1 -123 -. -. -1 -. -1 -. -. -1 -. -. -. -. -1 -12 -1234 -1 -. -. -1 -1 -. -. -1 -12 -1 -. -. % 4.27/4.46 (SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -1 -. -12 -1 -1 -. -. -1 -. -1 -. -. -1 -1 -1 -. -. -1 -. -1 -. -. -. -. -12 -. -. -1 -. -. -12 -. -1 -1 -1 -. -. -. -1 -. -. -. -. -. -12 -. -. % 4.39/4.57 (SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -1 -. -12 -1 -1 -123 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -1 -. -1 -1 -. -. -. -. -. -12 -1 -. % 4.50/4.68 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -12 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -12 -12 -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -12 -. -1 -12 -. -. -. -12 -1 -. -. -. -. -. -12 -. % 4.61/4.79 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. % 4.73/4.90 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -1 -. -. % 4.82/5.00 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -12 -12 -. -. -. -. -. -. -. -. -. -. -1 -. % 4.91/5.11 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. % 5.01/5.19 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 5.12/5.29 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. % 5.12/5.32 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -. -1234 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.27/5.45 (SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 5.32/5.50 (SAT)(equ)(fun)(SAT) 69| -1 -. % 5.32/5.51 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 5.32/5.52 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 5.49/5.65 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 5.49/5.66 (SAT)(equ)(fun)(SAT) 69| -1 -. % 5.49/5.67 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 5.49/5.68 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 5.62/5.81 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 5.62/5.82 (SAT)(equ)(fun)(SAT) 69| -1 -. % 5.62/5.83 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 5.62/5.84 (SAT)(equ)(fun)(SAT) 69| -1 -. % 5.71/5.85 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 5.71/5.86 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 5.80/5.99 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 5.80/6.00 (SAT)(equ)(fun)(SAT) 69| -1 -. % 5.80/6.01 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 5.88/6.02 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 5.93/6.15 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 5.93/6.16 (SAT)(equ)(fun)(SAT) 69| -1 -. % 6.02/6.17 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 6.02/6.18 (SAT)(equ)(fun)(SAT) 69| -1 -. % 6.04/6.19 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 6.04/6.21 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 6.07/6.22 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 6.16/6.35 (SAT)(equ)(fun)(SAT) 69| -. % 6.16/6.36 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 6.32/6.48 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -1 -. -. -. -. % 6.34/6.50 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. % 6.34/6.51 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 6.48/6.64 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -1 -. -. -. % 6.48/6.66 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 6.48/6.67 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 6.62/6.80 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 6.65/6.81 (SAT)(equ)(fun)(SAT) 69| -1 -. % 6.65/6.82 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 6.68/6.83 (SAT)(equ)(fun)(SAT) 69| -1 -. % 6.68/6.84 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 6.68/6.85 (SAT)(equ)(fun)(SAT) 69| -1 -. % 6.68/6.86 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 6.68/6.87 (SAT)(equ)(fun)(SAT) 69| -1 -. % 6.68/6.88 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 6.68/6.89 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 6.85/7.02 (SAT)(equ)(fun)(SAT) 69| -. % 6.85/7.03 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 6.99/7.16 (SAT)(equ)(fun)(SAT) 69| -1 -1 -. -. % 6.99/7.18 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -1 -. -. -. -. % 6.99/7.19 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 6.99/7.20 (SAT)(equ)(fun)(SAT) 69| -1 -. % 6.99/7.21 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 6.99/7.22 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 7.20/7.35 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 7.20/7.37 (SAT)(equ)(fun)(SAT) 69| -1 -. % 7.20/7.37 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 7.20/7.38 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 7.20/7.40 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 7.30/7.53 (SAT)(equ)(fun)(SAT) 69| -. % 7.39/7.54 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 7.52/7.67 (SAT)(equ)(fun)(SAT) 69| -1 -1 -. -. % 7.52/7.68 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -1 -. -. -. -. % 7.52/7.70 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. % 7.52/7.71 (SAT)(equ)(fun)(SAT) 69| -. % 7.57/7.72 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 7.69/7.85 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -. -. % 7.69/7.86 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -1 -. -. -. % 7.69/7.88 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 7.73/7.89 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 7.80/8.01 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -1 -. -. -. -. % 7.86/8.03 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 7.86/8.04 (SAT)(equ)(fun)(SAT) 69| -1 -. % 7.86/8.05 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 7.91/8.06 (SAT)(equ)(fun)(SAT) 69| -1 -. % 7.91/8.07 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 7.91/8.08 (SAT)(equ)(fun)(SAT) 69| -1 -. % 7.91/8.09 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 7.91/8.10 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 8.02/8.23 (SAT)(equ)(fun)(SAT) 69| -. % 8.02/8.24 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 8.20/8.37 (SAT)(equ)(fun)(SAT) 69| -1 -1 -. -. % 8.20/8.38 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -1 -. -. % 8.20/8.39 (SAT)(equ)(fun)(SAT) 69| -1 -. % 8.20/8.40 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 8.20/8.41 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 8.38/8.54 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 8.38/8.55 (SAT)(equ)(fun)(SAT) 69| -1 -. % 8.38/8.56 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 8.41/8.58 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 8.50/8.70 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 8.50/8.72 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 8.57/8.73 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 8.71/8.86 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. % 8.71/8.87 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. -. -. % 8.71/8.88 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 8.74/8.89 (SAT)(equ)(fun)(SAT) 69| -1 -. % 8.74/8.90 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 8.74/8.91 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 8.86/9.04 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 8.86/9.05 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 8.92/9.07 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 9.04/9.19 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. -. -. % 9.04/9.20 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 9.04/9.22 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 9.17/9.34 (SAT)(equ)(fun)(SAT) 69| -1 -1 -. -. % 9.17/9.36 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -. -. % 9.17/9.37 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -1 -. -. -. -. % 9.23/9.39 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 9.23/9.40 (SAT)(equ)(fun)(SAT) 69| -1 -. % 9.23/9.41 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 9.23/9.42 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 9.23/9.43 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 9.38/9.56 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. -. -. % 9.38/9.57 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 9.38/9.58 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 9.38/9.59 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 9.53/9.72 (SAT)(equ)(fun)(SAT) 69| -. % 9.53/9.73 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 9.70/9.86 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. % 9.70/9.87 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -1 -. -. -. % 9.70/9.89 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 9.70/9.90 (SAT)(equ)(fun)(SAT) 69| -1 -. % 9.70/9.91 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 9.70/9.92 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 9.85/10.05 (SAT)(equ)(fun)(SAT) 69| -. % 9.85/10.06 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 10.02/10.19 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -1 -. -. -. -. % 10.05/10.20 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 10.05/10.22 (SAT)(equ)(fun)(SAT) 69| -1 -. % 10.09/10.23 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 10.09/10.24 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 10.09/10.25 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 10.22/10.38 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. -. -. % 10.22/10.39 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 10.22/10.40 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 10.22/10.41 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 10.40/10.54 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. -. -. % 10.40/10.56 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 10.40/10.57 (SAT)(equ)(fun)(SAT) 69| -1 -. % 10.40/10.58 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 10.40/10.59 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 10.50/10.72 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. % 10.50/10.73 (SAT)(equ)(fun)(SAT) 69| -. % 10.50/10.74 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 10.70/10.87 (SAT)(equ)(fun)(SAT) 69| -1 -1 -. -. % 10.70/10.88 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -. -. % 10.70/10.90 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -1 -. -. % 10.76/10.92 (SAT)(equ)(fun)(SAT) 69| -1 -. % 10.76/10.92 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 10.76/10.94 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 10.80/10.95 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 10.91/11.08 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. -. -. % 10.91/11.09 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 10.91/11.10 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 10.96/11.11 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 11.02/11.24 (SAT)(equ)(fun)(SAT) 69| -. % 11.10/11.25 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 11.20/11.38 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. % 11.20/11.39 (SAT)(equ)(fun)(SAT) 69| -1 -1 -. -. % 11.20/11.41 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -1 -. -. -. -. % 11.26/11.42 (SAT)(equ)(fun)(SAT) 69| -1 -. -. -. -. -. % 11.26/11.44 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. % 11.26/11.45 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 11.40/11.58 (SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -. -. % 11.44/11.60 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. % 11.44/11.61 (SAT)(equ)(fun)(SAT) 69| -1 -1 -. -. % 11.44/11.62 (SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -1 -. -. -. % 11.44/11.64 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 11.50/11.65 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 11.51/11.66 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 11.61/11.79 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. -. -. % 11.61/11.80 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 11.61/11.82 (SAT)(equ)(fun)(SAT) 69| -1 -. % 11.61/11.82 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 11.68/11.84 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 11.82/11.96 (SAT)(equ)(fun)(SAT) 69| -1 -1 -. -. -. -. % 11.82/11.98 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 11.82/11.99 (SAT)(equ)(fun)(SAT) 69| -1 -. % 11.82/12.00 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 11.82/12.01 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 11.88/12.02 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 11.99/12.15 (SAT)(equ)(fun)(SAT) 69| -. % 11.99/12.16 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 12.13/12.29 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. % 12.13/12.31 (SAT)(equ)(fun)(SAT) 69| -1 -1 -. -. % 12.13/12.32 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -1 -. -. -. % 12.18/12.33 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 12.20/12.35 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 12.33/12.47 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 12.33/12.49 (SAT)(equ)(fun)(SAT) 69| -1 -. % 12.33/12.50 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 12.33/12.51 (SAT)(equ)(fun)(SAT) 69| -1 -. % 12.33/12.52 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 12.33/12.53 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 12.33/12.54 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 12.50/12.67 (SAT)(equ)(fun)(SAT) 69| -1 -1 -. -. -. -. % 12.50/12.68 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. -. -. % 12.50/12.70 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 12.50/12.71 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 12.64/12.84 (SAT)(equ)(fun)(SAT) 69| -. % 12.64/12.85 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 12.78/12.98 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. % 12.78/12.99 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -1 -. -. % 12.78/13.01 (SAT)(equ)(fun)(SAT) 69| -1 -. % 12.87/13.02 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 12.87/13.03 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 12.87/13.04 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 13.02/13.17 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. -. -. % 13.03/13.18 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 13.03/13.19 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 13.10/13.32 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. % 13.19/13.34 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 13.33/13.46 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -. -. % 13.33/13.48 (SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -1 -. -. % 13.33/13.50 (SAT)(equ)(fun)(SAT) 69| -1 -. % 13.33/13.51 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 13.33/13.52 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 13.33/13.54 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 13.50/13.66 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. -. -. % 13.50/13.68 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 13.50/13.69 (SAT)(equ)(fun)(SAT) 69| -1 -. % 13.56/13.70 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 13.56/13.71 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 13.63/13.84 (SAT)(equ)(fun)(SAT) 69| -. % 13.63/13.85 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 13.81/13.98 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. % 13.81/14.00 (SAT)(equ)(fun)(SAT) 69| -1 -1 -. -. % 13.86/14.01 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -1 -. -. % 13.86/14.03 (SAT)(equ)(fun)(SAT) 69| -1 -. % 13.86/14.04 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 13.91/14.05 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 14.00/14.18 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 14.05/14.19 (SAT)(equ)(fun)(SAT) 69| -1 -. % 14.05/14.21 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 14.05/14.22 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 14.16/14.35 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 14.21/14.36 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 14.21/14.37 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 14.32/14.50 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. -. -. % 14.37/14.52 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 14.37/14.53 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 14.51/14.66 (SAT)(equ)(fun)(SAT) 69| -. % 14.51/14.67 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 14.60/14.80 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -1 -. -. % 14.67/14.82 (SAT)(equ)(fun)(SAT) 69| -1 -. % 14.67/14.83 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 14.67/14.84 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 14.81/14.97 (SAT)(equ)(fun)(SAT) 69| -. % 14.81/14.98 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 14.92/15.11 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -1 -. -. % 14.98/15.13 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 14.98/15.14 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. % 15.13/15.27 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -1 -. -. -. % 15.13/15.29 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 15.13/15.30 (SAT)(equ)(fun)(SAT) 69| -1 -. % 15.13/15.31 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 15.13/15.33 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 15.28/15.45 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 15.32/15.47 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 15.32/15.48 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 15.44/15.61 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. -. -. % 15.44/15.63 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 15.44/15.64 (SAT)(equ)(fun)(SAT) 69| -1 -. % 15.51/15.65 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 15.51/15.66 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 15.51/15.67 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 15.60/15.80 (SAT)(equ)(fun)(SAT) 69| -. % 15.60/15.81 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 15.73/15.94 (SAT)(equ)(fun)(SAT) 69| -1 -1 -. -. % 15.81/15.96 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -1 -. -. -. % 15.81/15.97 (SAT)(equ)(fun)(SAT) 69| -. -. -. % 15.84/15.99 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 15.91/16.11 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. -. % 15.91/16.13 (SAT)(equ)(fun)(SAT) 69| -1 -. % 16.00/16.14 (SAT)(equ)(fun)(SAT) 69| -. -. % 16.00/16.15 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. % 16.14/16.28 (SAT)(equ)(fun)(SAT) 69| -. -. -. -1 -. % 16.14/16.30 (SAT)(equ)(fun)(SAT) 69| -. -1 -1 -1 -. -1 % 16.17/16.32 (SAT)(equ)(fun)(SAT) 69| -1 -. -. -. -. -1 -. -. -. -1 -. -1 -. -1 -. -1 -. -. % 16.19/16.37 (SAT)(equ)(fun)(SAT) 69| -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. % 16.28/16.47 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1 % 16.35/16.56 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -1 -1 % 16.47/16.62 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 16.50/16.67 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 16.50/16.73 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 16.59/16.78 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 16.66/16.84 (SAT)(equ)(fun)(SAT) 69| -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. % 16.73/16.89 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 % 16.73/16.94 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 16.85/16.99 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 16.89/17.05 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 16.96/17.11 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 16.96/17.16 (SAT)(equ)(fun)(SAT) 69| -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. % 17.03/17.22 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -1 % 17.12/17.26 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 17.17/17.32 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 17.21/17.38 (SAT)(equ)(fun)(SAT) 69| -1 -1 -. % 17.21/17.39 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. % 17.27/17.41 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -. -. % 17.41/17.55 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -123 -. -123 -1 -1 -1 -. % 17.41/17.58 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. % 17.51/17.65 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. % 17.52/17.67 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. % 17.62/17.80 (SAT)(equ)(fun)(SAT) 69| -. % 17.62/17.82 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 17.78/17.95 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 17.78/17.96 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 17.83/17.97 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. % 17.83/17.99 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. % 17.95/18.12 (SAT)(equ)(fun)(SAT) 69| -. % 18.00/18.14 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. % 18.13/18.27 (SAT)(equ)(fun)(SAT) 69| -. -1 -1 -1 -. -. -. -. -. -1 -. % 18.13/18.29 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 18.22/18.35 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 18.25/18.41 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 18.33/18.47 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. % 18.33/18.52 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -1 -1 -1 % 18.39/18.56 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 18.43/18.62 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 18.54/18.67 (SAT)(equ)(fun)(SAT) 69| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. % 18.54/18.73 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 18.63/18.79 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 18.69/18.85 (SAT)(equ)(fun)(SAT) 69| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. % 18.73/18.91 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 18.80/18.97 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 18.85/19.02 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 18.94/19.08 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 18.99/19.14 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 19.01/19.20 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 19.08/19.26 (SAT)(equ)(fun)(SAT) 69| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. % 19.13/19.32 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 19.25/19.38 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 19.30/19.44 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 19.32/19.50 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. % 19.40/19.55 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -1 -1 -1 % 19.45/19.59 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 19.45/19.65 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 19.55/19.71 (SAT)(equ)(fun)(SAT) 69| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. % 19.60/19.77 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 19.69/19.82 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 19.75/19.88 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 19.75/19.95 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 19.85/20.01 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 19.92/20.07 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 % 19.92/20.13 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. % 20.01/20.19 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234567 -. -. % 20.13/20.32 (SAT)(equ)(fun)(SAT) 69| -. -1 -1 -1 -1 -. % 20.13/20.35 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 20.25/20.41 (SAT)(equ)(fun)(SAT) 69| -. -1 -1 -1 -1 -. % 20.25/20.43 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 20.31/20.49 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 20.38/20.56 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 20.43/20.62 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 20.52/20.68 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 20.57/20.74 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 20.63/20.81 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 20.71/20.87 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 20.71/20.93 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 20.85/20.99 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 20.91/21.06 (SAT)(equ)(fun)(SAT) 69| -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 % 20.98/21.12 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 21.01/21.18 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 21.01/21.25 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 21.17/21.31 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 21.23/21.38 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 21.23/21.44 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. % 21.36/21.51 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 21.40/21.57 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 21.47/21.64 (SAT)(equ)(fun)(SAT) 69| -. % 21.47/21.65 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12345 -. % 21.66/21.79 (SAT)(equ)(fun)(SAT) 69| -. -1 -12 -. % 21.66/21.81 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -1 -12 -. % 21.66/21.83 (SAT)(equ)(fun)(SAT) 69| -. -1 -1 -. % 21.71/21.85 (SAT)(equ)(fun)(SAT) 69| -. -. -12 -. % 21.72/21.86 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -12 -. -. % 21.78/21.93 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. % 21.83/21.99 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. % 21.83/22.01 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 21.83/22.02 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. % 21.83/22.04 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. % 21.91/22.05 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 21.91/22.06 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. % 22.00/22.13 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 22.02/22.19 (SAT)(equ)(fun)(SAT) 69| -. % 22.02/22.21 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 % 22.22/22.35 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. % 22.27/22.42 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 22.34/22.48 (SAT)(equ)(fun)(SAT) 69| -. % 22.34/22.50 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. % 22.50/22.64 (SAT)(equ)(fun)(SAT) 69| -. -12 -. % 22.50/22.65 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.50/22.67 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.55/22.68 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.55/22.69 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.55/22.71 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.55/22.72 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.55/22.73 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.62/22.75 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. % 22.62/22.76 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. % 22.64/22.78 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. % 22.64/22.79 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.64/22.81 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.69/22.82 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. % 22.69/22.84 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.72/22.85 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.72/22.86 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.72/22.88 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.72/22.89 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.72/22.91 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.72/22.92 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.72/22.93 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.82/22.95 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 22.82/22.96 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. % 22.82/22.98 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. % 22.87/23.04 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 % 23.01/23.15 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 23.10/23.24 (SAT)(equ)(fun)(SAT) 69| -. % 23.10/23.27 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123 -. % 23.32/23.47 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. % 23.32/23.54 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 23.42/23.60 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 23.48/23.62 (SAT)(equ)(fun)(SAT) 69| -. -1 -. % 23.48/23.63 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. % 23.53/23.69 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 23.62/23.76 (SAT)(equ)(fun)(SAT) 69| -. % 23.62/23.78 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 23.78/23.91 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -1 -1 -. % 23.78/23.94 (SAT)(equ)(fun)(SAT) 69| -. -1 -1 -. % 23.78/23.95 (SAT)(equ)(fun)(SAT) 69| -. -1 -1 -. % 23.83/23.97 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. % 23.83/23.98 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -. -. % 23.92/24.05 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 % 23.97/24.11 (SAT)(equ)(fun)(SAT) 69| -. % 23.97/24.13 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. % 24.12/24.27 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -12 -. -. % 24.21/24.34 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -1 -12 -. % 24.26/24.40 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -12 -1 -. % 24.34/24.47 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -12 -. % 24.39/24.54 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. % 24.42/24.60 (SAT)(equ)(fun)(SAT) 69| -. -1 -1 -. % 24.42/24.61 (SAT)(equ)(fun)(SAT) 69| -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -1 -. % 24.52/24.68 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. % 24.57/24.75 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. % 24.64/24.79 (SAT)(equ)(fun)(SAT) 69+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. % 24.80/24.93 (SAT)(equ)(fun)(SAT) 69| -. -. -1 -. % 24.81/24.95 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -1 -. % 24.87/25.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -123 -. -. -. -. -. -. -1 -. -. -. -1234 -. -. -. -. -. -. -. % 24.93/25.15 (SAT)(equ)(fun)(SAT) 69| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -1234 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -123 -. -. -. % 25.13/25.27 (SAT)+++ RESULT: Unsatisfiable % 25.13/25.27 SZS status Unsatisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p %------------------------------------------------------------------------------