TSTP Solution File: SWV421-1.105 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SWV421-1.105 : 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 : n016.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:07 EDT 2022
% Result : Unsatisfiable 96.19s 96.31s
% Output : Assurance 0s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : SWV421-1.105 : TPTP v8.1.0. Released v3.5.0.
% 0.06/0.13 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.12/0.34 % Computer : n016.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Tue Jun 14 21:14:16 EDT 2022
% 0.12/0.34 % CPUTime :
% 0.12/0.34 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.12/0.34 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.12/0.34 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 0.12/0.37 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.18/0.39 #elt|#instances
% 0.18/0.39 (SAT)(equ)(fun)(SAT) 114| -123456789XLC> -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.18/0.48 (SAT)(equ)(fun)(SAT) 114| -123 -. -. -1 -. -. -. -1 -. -. -. -.
% 0.18/0.50 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -.
% 0.34/0.52 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -1 -1 -. -. -. -. -. -. -.
% 0.46/0.66 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -123 -. -. -123 -. -123 -. -. -.
% 0.52/0.72 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 0.59/0.77 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 0.67/0.91 (SAT)(equ)(fun)(SAT) 114| -123456789XLC> -1 -. -. -123456789XLC> -. -. -. -. -. -. -. -. -12 -123456789XLC> -1 -. -. -. -12 -123456789XLC> -. -. -123 -. -. -.
% 0.91/1.11 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -12 -. -. -. -12 -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -12 -. -. -. -1
% 1.06/1.24 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.18/1.35 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC> -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -.
% 1.41/1.65 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1 -12 -1 -. -1 -. -1234 -. -. -12345 -123456789XL -12 -1 -. -. -. -. -. -12 -123456789XL -. -1 -. -. -. -12 -12345 -. -. -. -. -. -. -. -. -1 -. -.
% 1.58/1.81 (SAT)(equ)(fun)(SAT) 114| -. -12 -. -. -. -. -. -12 -. -1 -123456789X -123456789X -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -.
% 1.78/1.95 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 1.88/2.09 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 2.01/2.19 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789X -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 2.29/2.48 (SAT)(equ)(fun)(SAT) 114| -. -1 -123456789X -1 -. -12 -12345 -. -. -. -. -1 -1 -123456789X -123456789X -. -. -. -. -. -. -1 -. -123 -123456789X -123456789XL -. -. -. -. -1 -. -. -. -1 -. -. -1 -1 -. -. -.
% 2.46/2.66 (SAT)(equ)(fun)(SAT) 114| -. -12345 -12 -123456789X -. -. -123 -. -. -. -123456 -123456 -. -1 -1 -12 -1 -12 -. -. -. -123456789 -12345678 -12 -1 -123456789X -12 -123456789X -. -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -. -.
% 2.61/2.83 (SAT)(equ)(fun)(SAT) 114| -. -. -. -12 -. -12 -12 -1234 -. -. -1234 -1 -12345 -12345 -. -. -1 -. -1 -. -. -123456789X -123456789 -12345678 -12345678 -1234 -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 2.75/3.00 (SAT)(equ)(fun)(SAT) 114| -. -12 -123 -1234 -. -1 -123456789X -1234 -1 -. -. -. -1 -1 -1 -1 -1 -12 -. -. -. -1 -1 -12 -1 -1234567 -12 -. -. -. -. -. -. -. -. -. -1 -. -. -. -.
% 2.91/3.14 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -1 -. -1 -1 -1 -. -1 -. -. -12 -1 -. -. -1 -. -1 -. -. -. -. -12345678 -1234567 -. -1 -. -. -1 -. -. -. -. -. -. -. -.
% 3.06/3.29 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -.
% 3.22/3.44 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 3.35/3.56 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.52/3.70 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 3.61/3.81 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789X -1234567 -12345678 -12345 -12345 -1 -12 -12 -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XL -12345 -12345 -1234 -123 -1234 -1234 -1234 -. -. -. -. -. -. -. -. -. -. -. -. -1234567 -1234567 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 3.94/4.11 (SAT)(equ)(fun)(SAT) 114| -. -1234 -1234567 -123 -. -12345 -123456789X -1234 -12 -1 -. -. -12 -. -123456789X -123456 -123456789X -123456789X -123456789X -123456789X -12 -123456789X -123456789X -12 -12 -123456789 -1 -123 -. -. -1234 -12 -1234 -1 -1234 -12 -123456789X -123456789X -12345 -1234 -123456 -123456789X -123456789X -12 -123 -123456789X -1 -. -. -. -. -. -. -. -123456 -12345678 -12 -12 -. -. -. -. -1 -. -.
% 4.20/4.38 (SAT)(equ)(fun)(SAT) 114| -. -12 -12345 -1 -. -12 -123 -. -123456789X -12 -1 -. -1 -. -12 -123 -123456789X -123456789X -123456789X -123456789X -12345 -123456789X -123456789X -12 -1234567 -1234 -12 -1 -. -. -1234 -12 -1 -12 -1 -1234 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -1 -12345678 -12 -. -1 -. -. -. -. -1 -. -123456789X -123456789X -1 -12 -. -1 -.
% 4.48/4.65 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -1 -123456789X -123456789X -12345678 -. -12 -123456789X -12345678 -123456789X -1234 -12345 -. -12 -123 -. -123 -1234 -12345 -123456 -123456 -123 -123456789X -123456789X -1234 -123456789X -1234567 -1234 -123 -. -. -1 -12 -. -12 -12 -123 -12 -123 -123456789X -123456789 -123456789X -123456789X -123456789X -123456 -123456789X -1234 -1234 -123 -. -. -. -. -1 -. -123456789X -123456789X -123456789 -. -. -. -1 -.
% 4.71/4.94 (SAT)(equ)(fun)(SAT) 114| -. -123456789 -12345678 -1234567 -. -123456789X -123 -123456789X -123456789X -123456789X -1234 -. -1 -123 -1234 -1234567 -123456 -12345 -12 -12 -1234 -12345 -12345 -123456 -1234 -1234 -123 -123456 -. -. -1 -1 -. -1 -123 -12345 -1234 -123 -1234 -12345 -123 -123456789X -123456789X -1234567 -1 -123 -1 -123 -. -. -12 -12 -123456789X -123456789X -12345 -123456 -. -1 -.
% 5.00/5.21 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -12345678 -123456 -123456789X -. -12345678 -123 -123 -123456789X -123456 -12 -1 -1 -12 -1234 -1 -123 -123456 -123456 -123456789 -12345678 -123456789X -123456789X -12 -1 -123 -123456789X -12 -. -. -123 -. -12 -12 -1 -1234 -123456 -123456 -1234 -12345 -12345678 -12345678 -123456789X -12345 -. -12 -1234 -12345 -. -. -12 -1 -123456789X -123456789X -1234567 -1234567 -. -. -1 -.
% 5.31/5.51 (SAT)(equ)(fun)(SAT) 114| -. -1234567 -1234 -1234 -. -12345 -12345 -12345 -123456789X -123456789X -1234 -12 -1 -123 -1 -123 -1 -123456 -123 -12 -123 -1234567 -1234567 -123 -12345 -12 -123 -1 -. -. -123 -. -123456 -12345 -12 -12345 -123 -1234567 -1234 -123 -1234 -12345 -12345678 -123 -1234 -12 -12 -12345 -. -. -. -. -123456789X -123456789X -123 -12 -. -. -. -.
% 5.61/5.78 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -123456789X -1 -1 -. -12345 -12345 -1234 -12345678 -123456789X -12 -1 -12 -1 -. -12 -123 -12 -123 -1234 -12345678 -123456789X -123456789X -123 -1 -123 -123456789 -1 -. -. -12 -. -12345 -1 -123 -123 -1234 -1234567 -12 -123456 -123 -123456789 -123456789 -12345 -12 -. -1234567 -12345 -. -. -123 -. -123456789X -123456789X -123 -123456789X -.
% 5.86/6.06 (SAT)(equ)(fun)(SAT) 114| -. -123456 -. -123 -. -12345 -. -1 -1234 -12345678 -12 -. -1 -1 -1 -123 -123 -1234 -12345 -1 -12345678 -123456789X -123456789X -12345 -12 -12 -12 -123 -. -. -1 -. -12345 -12 -. -1234 -123456 -12345678 -123456789X -1234567 -12 -123456789X -123456789X -12 -123 -123 -1234 -1234567 -. -. -. -. -123456789X -123456789X -12 -123 -.
% 6.14/6.34 (SAT)(equ)(fun)(SAT) 114| -. -12 -12 -12345 -. -1234 -1 -123456 -. -12345 -1 -. -. -1234 -. -12345 -123 -123 -123 -12 -123456 -123456789X -123456789X -123456789X -. -. -123 -123 -. -. -1 -. -. -12 -12 -12 -1234 -1234 -1234 -12345 -1 -123456789 -123456789X -123 -1 -123 -123456789X -123456 -. -. -1 -1 -12345 -123456 -12345678 -123456 -.
% 6.37/6.61 (SAT)(equ)(fun)(SAT) 114| -. -123456 -1 -12 -. -123456 -1 -1234 -12 -1234567 -123 -. -12 -12 -. -12 -123456 -123456789 -123 -12345 -123 -123456789X -123456789X -1234 -. -1 -12 -123 -. -. -123 -. -123 -. -123 -1234 -12 -123 -123 -123 -1234 -1234567 -12345678 -. -. -1 -12345678 -123 -. -. -123 -. -12345678 -123456 -123456 -1 -.
% 6.66/6.87 (SAT)(equ)(fun)(SAT) 114| -. -12 -1 -12 -. -123 -. -123456 -. -12345 -1234 -. -1 -1 -. -12 -1 -12 -123456 -1 -12345678 -123456789 -123456789 -1 -12 -123 -. -12345 -. -. -12 -. -1234 -123 -1 -1 -12 -12345 -12 -1234 -12345 -123456 -12345 -. -12 -123 -123 -1234567 -. -. -1234 -. -12345 -123456 -12345 -. -.
% 6.95/7.13 (SAT)(equ)(fun)(SAT) 114| -. -12 -12 -123 -. -12345678 -1 -123 -1 -12 -. -1 -. -12 -1234 -1234 -12 -1234 -. -1 -1234567 -12345 -12345 -12 -. -1 -12345 -12345 -. -. -1234 -. -123 -. -. -1234 -123 -1234 -1234 -1 -12 -123456789X -123456789X -1 -. -. -1 -12345678 -. -. -1234567 -. -123 -1234 -12 -12 -.
% 7.20/7.38 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1 -1 -12345 -. -12345678 -. -123 -1234 -12345 -123456 -. -1 -12 -. -1 -1 -1 -12 -1 -12 -123456789X -123456789X -12 -. -1 -12345 -1234 -. -. -1234 -. -123 -. -1 -123 -123 -1234 -1 -123 -1 -123456789X -123456789X -1 -. -. -123456 -123 -. -. -123 -. -12345 -123456 -123 -. -.
% 7.43/7.65 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -12 -12 -12 -. -1 -123 -123 -. -123 -1 -. -. -1 -123 -123 -123 -12 -123 -12 -12 -123456 -1234567 -1234 -1 -1 -1234 -1234567 -. -. -. -. -1 -1 -1 -1 -. -123 -12 -. -1234 -12345 -123456 -1 -. -. -123 -1234567 -. -. -12345 -. -12 -1 -1 -1 -.
% 7.71/7.91 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -123 -1 -123 -. -1234 -12 -12345 -. -1234 -12 -. -. -1 -1 -1 -12 -. -. -1 -1 -123456789X -123456789X -123456 -. -1 -1 -12345 -. -. -12 -. -1 -. -. -12 -12 -. -. -1234 -12 -12 -12345 -12 -. -. -1234567 -1234 -. -. -1 -. -123456 -1234 -1 -123 -.
% 7.96/8.16 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -123 -1 -1234 -. -12 -123 -1234 -. -1234 -1 -. -123 -. -. -12 -1 -1 -12 -12 -12345 -123456789X -123456789X -1 -. -12 -123 -1234567 -. -. -123 -1 -. -. -. -1 -123 -1 -123 -1 -1 -12345678 -123456789X -1 -. -1 -12345 -12345 -. -. -123 -. -12 -123 -1 -1234 -.
% 8.25/8.43 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1 -12 -123 -. -1234 -12 -123 -123 -1 -. -. -12 -1 -. -. -1234 -123 -1234 -1 -1 -12345678 -123456789 -123 -1 -12 -12345 -123456 -. -. -12 -. -12 -. -1 -1234567 -. -. -1 -1 -123 -123456789X -123456789X -1 -1 -. -123 -12 -. -. -12 -. -12 -12 -123 -123 -.
% 8.49/8.70 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -12 -1 -12 -. -12 -123 -1 -1 -1 -1234 -. -1 -123 -. -123 -12 -1 -1 -. -12 -123456789X -123456789X -123 -. -123 -123 -12 -. -. -. -. -123 -1 -. -1 -1 -1 -12345 -12 -12 -12345678 -12345678 -12 -1 -1 -1 -1 -. -. -12 -. -123 -123 -123 -123 -.
% 8.78/8.95 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1 -123 -. -. -1234 -123 -12 -. -123 -1 -. -12 -12 -1 -123 -1 -. -1 -12 -1234 -12 -12 -12345 -. -. -123 -12 -. -. -1 -. -123 -. -. -. -12 -1 -1234 -12 -1 -123456789X -123456789X -1234 -. -12 -12345 -12 -. -. -1 -. -1 -12 -123 -12345 -.
% 9.04/9.21 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -12 -1 -. -1 -1 -12 -. -. -12 -. -1 -. -. -1234 -. -1 -12 -1 -. -123 -1234 -12 -. -. -1234 -. -. -. -. -1 -1 -. -1 -12 -. -. -1 -1 -123 -12345678 -123456789 -1234 -. -12 -123 -1 -. -. -123 -. -1 -1 -123 -1234 -.
% 9.22/9.46 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -1 -. -. -123 -. -12 -. -1 -. -. -. -. -1 -. -. -12 -12 -1 -1 -1 -123 -. -. -12 -1 -. -. -. -. -. -. -. -123 -. -. -12 -1 -123 -1 -12 -12 -. -1 -12 -12 -. -. -. -. -1 -12 -123 -1234 -.
% 9.52/9.69 (SAT)(equ)(fun)(SAT) 114| -. -12 -. -123 -. -. -123 -1 -. -. -12 -. -1 -1 -. -123 -1 -1 -12 -. -12 -1234 -123 -1234 -12 -1 -1 -12 -. -. -123 -. -12 -1 -. -1 -1 -. -12 -123 -1 -12 -123 -1 -1 -. -123 -12 -. -. -1 -. -1 -1 -12 -123 -.
% 9.75/9.93 (SAT)(equ)(fun)(SAT) 114| -. -1 -123 -1 -. -1 -. -1 -12 -1 -1 -. -. -1 -. -123 -123 -. -123 -1 -12 -123456 -1234567 -123 -12 -12 -12 -1 -. -. -. -. -1 -1 -. -1 -1 -. -12 -1 -. -1 -12 -1 -1 -1 -123 -1 -. -. -. -. -12 -12 -1 -12 -.
% 9.96/10.16 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -1 -. -. -. -. -1 -. -1 -. -. -1 -. -. -. -1 -. -123 -. -12345 -123456 -123 -1 -123 -12 -. -. -. -1 -. -1 -. -. -12 -1 -1 -. -. -. -1234 -1234 -1 -1 -12 -1 -1 -. -. -. -. -. -. -1 -1234 -.
% 10.22/10.39 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -123 -12 -1 -. -. -. -. -. -. -. -1 -. -. -1 -1 -. -12 -12 -12 -1 -1 -12 -123 -. -. -12 -. -. -. -1 -1 -123 -. -. -. -. -1234 -123456 -. -1 -. -. -. -. -. -1 -. -12 -12 -1234 -1 -.
% 10.43/10.63 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1 -1 -1 -. -. -123 -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -123 -12 -. -. -. -1 -. -. -. -. -. -12 -1 -. -. -. -. -. -1 -1 -. -. -1 -. -. -1 -. -. -. -. -. -1 -1 -1 -12345 -.
% 10.67/10.86 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -1 -. -1 -1 -. -. -. -1 -1 -. -1 -. -. -1 -. -12 -1 -12 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -12 -. -. -. -. -1 -. -. -1 -. -1 -. -1 -12 -.
% 10.89/11.08 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -1 -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -12 -12 -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -1 -12 -1 -. -1 -. -1 -. -. -. -. -. -. -1 -. -.
% 11.11/11.31 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -123 -123 -1 -. -. -. -. -. -. -12 -. -1 -. -. -1 -. -. -. -. -. -12 -12 -. -. -1 -12 -. -. -. -1 -. -. -. -1 -. -.
% 11.32/11.54 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -12 -. -1 -. -. -1 -. -12 -. -. -1 -. -. -1 -1 -. -. -. -1234 -1 -. -. -. -. -12 -. -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -1 -1 -1 -.
% 11.61/11.77 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -123 -1 -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -12 -. -. -. -1 -. -. -1 -. -. -. -1 -. -. -. -. -12 -.
% 11.79/12.00 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -12 -12 -12 -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -1 -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -12 -.
% 12.04/12.23 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -1 -. -1 -12 -. -. -. -. -123 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -1 -. -1 -. -.
% 12.21/12.46 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -12 -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 12.46/12.67 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -12 -. -. -1 -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -1 -. -.
% 12.66/12.87 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.92/13.08 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1
% 13.06/13.27 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -.
% 13.26/13.48 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.52/13.68 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.58/13.82 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -123456789X -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 13.88/14.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -.
% 14.17/14.33 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 14.39/14.55 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 14.41/14.57 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 14.62/14.85 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -.
% 14.73/14.89 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 14.73/14.91 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 15.03/15.20 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 15.03/15.22 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 15.08/15.24 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 15.10/15.26 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 15.10/15.28 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 15.10/15.30 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 15.16/15.33 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 15.38/15.62 (SAT)(equ)(fun)(SAT) 114| -.
% 15.48/15.64 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 15.78/15.94 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 15.78/15.97 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 15.78/15.99 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 15.78/16.01 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 15.87/16.03 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 15.87/16.05 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 15.87/16.07 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 16.14/16.36 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 16.24/16.39 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 16.25/16.40 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 16.26/16.43 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 16.55/16.73 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -.
% 16.55/16.75 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 16.55/16.77 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 16.64/16.79 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 16.66/16.82 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 16.94/17.11 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 16.97/17.14 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 16.97/17.15 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 16.97/17.17 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 16.97/17.19 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 16.97/17.21 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 17.07/17.23 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 17.37/17.53 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 17.37/17.56 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 17.67/17.85 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 17.67/17.87 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 17.73/17.89 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -1 -. -. -. -.
% 17.73/17.92 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -.
% 17.73/17.95 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 17.80/17.97 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 17.82/17.99 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 17.82/18.01 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 18.15/18.31 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 18.19/18.33 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 18.19/18.35 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 18.49/18.65 (SAT)(equ)(fun)(SAT) 114| -.
% 18.49/18.67 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 18.79/18.97 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 18.79/18.99 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 18.79/19.01 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 18.88/19.04 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 18.88/19.06 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 18.88/19.08 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 19.18/19.38 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 19.26/19.41 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 19.26/19.42 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 19.26/19.45 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 19.54/19.75 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 19.54/19.77 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 19.64/19.80 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 19.66/19.82 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 19.96/20.13 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 19.96/20.15 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 19.96/20.17 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 20.05/20.19 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 20.05/20.21 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 20.05/20.24 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 20.35/20.53 (SAT)(equ)(fun)(SAT) 114| -.
% 20.35/20.55 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 20.63/20.85 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 20.73/20.87 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -1 -. -. -. -.
% 20.75/20.90 (SAT)(equ)(fun)(SAT) 114| -.
% 20.78/20.92 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 21.03/21.22 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 21.03/21.25 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 21.03/21.27 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 21.14/21.29 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 21.17/21.32 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 21.43/21.61 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 21.49/21.64 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 21.49/21.66 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 21.79/21.95 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 21.79/21.98 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 21.79/22.00 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 21.86/22.02 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 21.86/22.03 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 21.86/22.06 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 21.92/22.08 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 22.16/22.37 (SAT)(equ)(fun)(SAT) 114| -.
% 22.24/22.40 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 22.55/22.69 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -1 -. -. -. -.
% 22.55/22.72 (SAT)(equ)(fun)(SAT) 114| -.
% 22.55/22.75 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 22.86/23.05 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 22.86/23.08 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 22.95/23.10 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 23.25/23.39 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 23.27/23.42 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 23.27/23.44 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 23.27/23.46 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 23.27/23.48 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 23.56/23.78 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 23.65/23.81 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 23.95/24.11 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -1 -. -. -. -.
% 23.95/24.14 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 23.95/24.17 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 24.27/24.47 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 24.27/24.49 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 24.36/24.51 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 24.36/24.54 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 24.36/24.56 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 24.44/24.58 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 24.44/24.61 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 24.76/24.90 (SAT)(equ)(fun)(SAT) 114| -.
% 24.76/24.93 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 25.08/25.22 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 25.08/25.24 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -1 -. -. -. -.
% 25.08/25.27 (SAT)(equ)(fun)(SAT) 114| -.
% 25.14/25.29 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 25.44/25.59 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 25.44/25.62 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 25.44/25.64 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 25.44/25.67 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 25.54/25.69 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 25.55/25.70 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 25.55/25.73 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 25.85/26.03 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -.
% 25.90/26.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 25.90/26.08 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 25.96/26.11 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 26.19/26.40 (SAT)(equ)(fun)(SAT) 114| -.
% 26.29/26.42 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 26.49/26.72 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 26.59/26.74 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 26.59/26.76 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 26.59/26.79 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 26.67/26.82 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 26.67/26.84 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 26.95/27.14 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 26.95/27.17 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 27.05/27.19 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 27.07/27.21 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 27.36/27.51 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 27.36/27.54 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 27.36/27.55 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 27.36/27.58 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 27.66/27.88 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 27.76/27.90 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 27.76/27.92 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 27.76/27.95 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 28.04/28.25 (SAT)(equ)(fun)(SAT) 114| -.
% 28.04/28.27 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 28.34/28.56 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 28.46/28.59 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 28.46/28.61 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 28.51/28.64 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 28.51/28.66 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 28.51/28.69 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 28.81/28.98 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 28.81/29.01 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 28.89/29.03 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 28.89/29.06 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 29.17/29.36 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 29.24/29.38 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 29.24/29.41 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 29.24/29.43 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 29.55/29.72 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 29.55/29.75 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 29.55/29.77 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 29.64/29.80 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 29.97/30.11 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 29.99/30.14 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 29.99/30.16 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 30.27/30.47 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 30.27/30.50 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 30.36/30.52 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 30.36/30.54 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 30.69/30.85 (SAT)(equ)(fun)(SAT) 114| -.
% 30.69/30.87 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 30.95/31.18 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 31.07/31.21 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 31.07/31.24 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 31.07/31.26 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 31.07/31.28 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 31.16/31.30 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 31.16/31.33 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 31.46/31.63 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -.
% 31.46/31.66 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 31.54/31.69 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 31.54/31.71 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 31.54/31.74 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 31.84/32.04 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 31.84/32.06 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 31.84/32.08 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 31.95/32.11 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 32.24/32.40 (SAT)(equ)(fun)(SAT) 114| -.
% 32.27/32.43 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 32.55/32.72 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 32.60/32.75 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 32.60/32.78 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 32.60/32.80 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 32.67/32.82 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 32.67/32.84 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 32.97/33.13 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -.
% 32.97/33.16 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 33.04/33.18 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 33.04/33.21 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 33.04/33.23 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 33.04/33.25 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 33.04/33.27 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 33.43/33.57 (SAT)(equ)(fun)(SAT) 114| -.
% 33.44/33.59 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 33.74/33.88 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -1 -. -. -. -.
% 33.77/33.92 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 33.77/33.94 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 33.77/33.96 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 34.07/34.25 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 34.07/34.28 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 34.07/34.31 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 34.19/34.33 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 34.46/34.63 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 34.46/34.65 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 34.46/34.68 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 34.76/34.97 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 34.86/35.00 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 34.88/35.02 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 34.88/35.04 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 34.88/35.07 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 35.14/35.36 (SAT)(equ)(fun)(SAT) 114| -.
% 35.24/35.38 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 35.55/35.68 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 35.55/35.70 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -1 -. -. -. -.
% 35.55/35.73 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 35.55/35.76 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 35.55/35.78 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 35.66/35.80 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 35.68/35.82 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 35.98/36.12 (SAT)(equ)(fun)(SAT) 114| -.
% 36.01/36.15 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 36.31/36.44 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 36.31/36.47 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 36.31/36.49 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 36.37/36.52 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 36.67/36.81 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 36.67/36.84 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 36.67/36.86 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 36.75/36.88 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 36.99/37.18 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 37.06/37.21 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 37.06/37.23 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 37.06/37.25 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 37.37/37.55 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 37.37/37.58 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 37.46/37.60 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 37.75/37.89 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 37.78/37.91 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 37.78/37.93 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -1 -. -. -. -.
% 37.78/37.97 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 37.78/38.00 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 37.78/38.02 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 37.89/38.04 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 37.89/38.06 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 38.16/38.35 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 38.16/38.38 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 38.27/38.40 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 38.27/38.43 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 38.56/38.72 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 38.56/38.75 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 38.56/38.77 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 38.66/38.80 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 38.95/39.10 (SAT)(equ)(fun)(SAT) 114| -.
% 38.95/39.12 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 39.27/39.41 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 39.27/39.44 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 39.27/39.46 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 39.35/39.49 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 39.66/39.79 (SAT)(equ)(fun)(SAT) 114| -.
% 39.66/39.81 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 39.96/40.11 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 39.96/40.15 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 39.96/40.17 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 40.05/40.19 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 40.07/40.21 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 40.11/40.23 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 40.11/40.26 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 40.41/40.55 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -.
% 40.41/40.57 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 40.41/40.60 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 40.48/40.63 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 40.80/40.92 (SAT)(equ)(fun)(SAT) 114| -.
% 40.80/40.94 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 41.09/41.24 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 41.09/41.26 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 41.09/41.29 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 41.17/41.31 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 41.17/41.33 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 41.17/41.36 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 41.17/41.38 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 41.47/41.67 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -.
% 41.57/41.70 (SAT)(equ)(fun)(SAT) 114| -.
% 41.59/41.72 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 41.88/42.02 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 41.88/42.05 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 41.88/42.07 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 41.97/42.10 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 41.98/42.12 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 41.98/42.14 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 42.29/42.44 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -.
% 42.29/42.47 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 42.29/42.50 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 42.67/42.80 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 42.70/42.84 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 42.70/42.86 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 42.95/43.15 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 42.95/43.18 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 43.07/43.21 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 43.09/43.23 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 43.11/43.25 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 43.11/43.28 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 43.42/43.58 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -.
% 43.42/43.61 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 43.50/43.64 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 43.50/43.66 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 43.56/43.68 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 43.56/43.71 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 43.85/44.00 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 43.85/44.04 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 43.85/44.06 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 43.94/44.08 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 44.26/44.38 (SAT)(equ)(fun)(SAT) 114| -.
% 44.26/44.40 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 44.55/44.70 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 44.59/44.73 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 44.61/44.75 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 44.61/44.79 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 44.61/44.81 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 44.70/44.83 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 44.70/44.85 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 44.70/44.87 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 44.70/44.90 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 45.07/45.19 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -.
% 45.07/45.22 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 45.07/45.24 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 45.07/45.27 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 45.17/45.29 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 45.38/45.59 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -.
% 45.47/45.61 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 45.47/45.64 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 45.47/45.66 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 45.47/45.68 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 45.57/45.71 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 45.57/45.73 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 45.88/46.03 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 45.88/46.06 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 45.88/46.08 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 46.26/46.37 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 46.26/46.40 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 46.26/46.42 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 46.26/46.44 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 46.26/46.47 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 46.58/46.77 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 46.66/46.80 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 46.66/46.81 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 46.66/46.84 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 46.96/47.13 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 47.04/47.16 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 47.26/47.46 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 47.36/47.49 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -. -.
% 47.37/47.52 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -1 -. -. -. -.
% 47.42/47.56 (SAT)(equ)(fun)(SAT) 114| -.
% 47.47/47.60 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 47.76/47.91 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 47.76/47.94 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 47.76/47.97 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 47.85/47.99 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 47.85/48.02 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 48.16/48.31 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 48.16/48.34 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 48.23/48.37 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 48.47/48.67 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 48.56/48.70 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 48.58/48.73 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 48.88/49.03 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 48.88/49.06 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 48.88/49.08 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 48.88/49.10 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 49.26/49.40 (SAT)(equ)(fun)(SAT) 114| -.
% 49.26/49.43 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 49.57/49.72 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 49.57/49.75 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 49.57/49.77 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 49.66/49.81 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 49.66/49.83 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 49.66/49.85 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 49.66/49.88 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 49.76/49.90 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 50.07/50.20 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -.
% 50.09/50.23 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 50.09/50.26 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 50.09/50.28 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 50.09/50.30 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 50.19/50.32 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 50.19/50.35 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 50.19/50.37 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 50.19/50.39 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 50.50/50.69 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -.
% 50.50/50.72 (SAT)(equ)(fun)(SAT) 114| -.
% 50.59/50.74 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 50.89/51.04 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 50.89/51.07 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 50.95/51.09 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 50.95/51.12 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 51.23/51.42 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 51.23/51.44 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 51.33/51.47 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 51.33/51.49 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 51.65/51.79 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 51.68/51.82 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 51.98/52.12 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 52.00/52.14 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 52.00/52.17 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 52.00/52.20 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 52.37/52.50 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 52.37/52.54 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 52.37/52.56 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 52.37/52.58 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 52.46/52.60 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 52.46/52.63 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 52.77/52.93 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -.
% 52.77/52.96 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 52.77/52.99 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 53.07/53.28 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 53.17/53.31 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 53.17/53.33 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -.
% 53.17/53.37 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 53.17/53.39 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 53.27/53.42 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 53.27/53.44 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 53.59/53.74 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -.
% 53.59/53.77 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 53.67/53.80 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 53.67/53.83 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 53.67/53.85 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 53.99/54.15 (SAT)(equ)(fun)(SAT) 114| -.
% 53.99/54.18 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 54.31/54.47 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 54.31/54.50 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -.
% 54.39/54.53 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 54.39/54.55 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 54.39/54.57 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 54.45/54.60 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 54.45/54.62 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 54.75/54.92 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 54.75/54.95 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 54.75/54.96 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 54.85/54.99 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 54.86/55.02 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 55.16/55.31 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 55.20/55.34 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 55.20/55.36 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 55.20/55.38 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 55.28/55.41 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 55.51/55.72 (SAT)(equ)(fun)(SAT) 114| -.
% 55.60/55.74 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 55.89/56.04 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -1 -. -. -. -.
% 55.89/56.08 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -. -.
% 55.98/56.11 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 55.98/56.13 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 56.26/56.43 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -.
% 56.26/56.46 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -1 -. -. -. -.
% 56.36/56.49 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -.
% 56.39/56.52 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 56.39/56.54 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 56.39/56.56 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 56.39/56.59 (SAT)(equ)(fun)(SAT) 114| -1 -.
% 56.39/56.61 (SAT)(equ)(fun)(SAT) 114| -. -.
% 56.49/56.64 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 56.78/56.94 (SAT)(equ)(fun)(SAT) 114| -.
% 56.78/56.96 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -.
% 57.08/57.26 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -1 -1 -.
% 57.17/57.31 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 57.30/57.43 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 57.40/57.56 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1
% 57.56/57.69 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 57.56/57.77 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -. -. -. -. -.
% 57.70/57.82 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -.
% 57.70/57.87 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 57.96/58.16 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -.
% 58.07/58.20 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 58.36/58.48 (SAT)(equ)(fun)(SAT) 114| -. -. -. -.
% 58.36/58.51 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 58.66/58.79 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -.
% 58.67/58.82 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 58.97/59.11 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 59.01/59.13 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 59.01/59.15 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -1 -1 -. -. -.
% 59.09/59.20 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 59.17/59.33 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 59.31/59.45 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -.
% 59.40/59.58 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -.
% 59.47/59.66 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -1 -.
% 59.56/59.70 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -1
% 59.61/59.77 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 59.70/59.89 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 59.79/59.93 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -12 -. -.
% 60.07/60.21 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -1 -. -. -. -1 -1 -. -. -. -.
% 60.07/60.27 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -. -1 -. -.
% 60.19/60.35 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1 -1 -. -.
% 60.19/60.41 (SAT)(equ)(fun)(SAT) 114| -. -. -. -.
% 60.30/60.45 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 60.57/60.73 (SAT)(equ)(fun)(SAT) 114| -1 -. -. -. -. -. -. -. -1 -.
% 60.57/60.77 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -. -. -. -. -. -. -1 -1 -1 -. -1 -.
% 60.68/60.85 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -1 -.
% 60.78/60.98 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -.
% 60.97/61.10 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -1 -. -. -. -. -. -1 -1 -1 -. -1 -1 -1 -1 -.
% 61.07/61.21 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -12 -1 -.
% 61.20/61.35 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -1 -. -. -. -. -. -1 -1 -1 -. -1 -1 -1 -12 -.
% 61.28/61.46 (SAT)(equ)(fun)(SAT) 114| -. -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -1 -1 -.
% 61.51/61.62 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -12 -1 -.
% 61.61/61.74 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -1 -12 -.
% 61.77/61.89 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -1 -. -.
% 61.90/62.01 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -.
% 62.01/62.13 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -1 -. -. -. -. -. -1 -1 -1 -. -1 -. -1 -1 -.
% 62.07/62.24 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -1 -.
% 62.22/62.40 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -1 -.
% 62.37/62.52 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -1 -.
% 62.52/62.65 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -12 -.
% 62.65/62.77 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -1 -.
% 62.75/62.89 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -1 -.
% 62.89/63.02 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -1 -.
% 62.97/63.14 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -1 -.
% 63.12/63.27 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -.
% 63.27/63.40 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -1 -.
% 63.40/63.53 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -1 -.
% 63.50/63.65 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -12 -.
% 63.59/63.77 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -12 -.
% 63.79/63.92 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -12 -.
% 63.87/64.04 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -12 -.
% 64.00/64.17 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -12 -.
% 64.19/64.30 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -12 -.
% 64.28/64.43 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -12 -. -.
% 64.39/64.56 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -12 -.
% 64.49/64.69 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -12 -1 -.
% 64.68/64.81 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -1 -. -1 -. -1 -12 -.
% 64.81/64.95 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -123 -123 -1 -. -. -1 -1 -1 -1 -.
% 64.99/65.10 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -1 -1 -.
% 65.11/65.26 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -1 -1 -.
% 65.27/65.40 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -1 -. -.
% 65.42/65.53 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -.
% 65.51/65.66 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -1 -.
% 65.67/65.79 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -.
% 65.81/65.93 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -1 -.
% 65.87/66.06 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -.
% 66.02/66.18 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -1 -.
% 66.16/66.34 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -.
% 66.32/66.47 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -1 -.
% 66.47/66.61 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -.
% 66.62/66.73 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -1 -. -. -1 -.
% 66.77/66.88 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1 -. -1 -.
% 66.92/67.04 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -1 -.
% 67.01/67.18 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -.
% 67.19/67.31 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -.
% 67.20/67.37 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 67.50/67.67 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.50/67.69 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.61/67.72 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.61/67.74 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.61/67.77 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.61/67.80 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.69/67.83 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.69/67.85 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.69/67.88 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.79/67.91 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.79/67.93 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.79/67.95 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.79/67.98 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.89/68.01 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.89/68.03 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.89/68.06 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.89/68.08 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.99/68.11 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.99/68.14 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.99/68.17 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 67.99/68.20 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.09/68.22 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.09/68.25 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.09/68.27 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.19/68.30 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.19/68.32 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.19/68.35 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.19/68.38 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.29/68.40 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.31/68.43 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.31/68.46 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.31/68.48 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.31/68.51 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.41/68.54 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.41/68.57 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.41/68.59 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.49/68.62 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.49/68.65 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.49/68.67 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.57/68.70 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.57/68.73 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.57/68.75 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 68.67/68.78 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.69/68.81 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 68.71/68.83 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.71/68.86 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.71/68.89 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.71/68.91 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.81/68.94 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.81/68.97 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.81/68.99 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.89/69.02 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.89/69.05 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.89/69.07 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.97/69.10 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.97/69.13 (SAT)(equ)(fun)(SAT) 114| -. -1 -. -.
% 68.97/69.16 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 68.97/69.18 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.09/69.21 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.12/69.24 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.12/69.27 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.12/69.29 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.21/69.32 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.21/69.35 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.21/69.38 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.27/69.40 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.27/69.42 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.27/69.45 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.37/69.48 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.37/69.51 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.43/69.54 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.43/69.56 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.43/69.59 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.51/69.61 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.51/69.64 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.51/69.67 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.58/69.70 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.58/69.72 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.58/69.75 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.68/69.78 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.69/69.81 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.73/69.84 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.73/69.86 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.73/69.89 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.80/69.92 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.80/69.95 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.86/69.97 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.86/70.00 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.86/70.02 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.86/70.05 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.96/70.08 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 69.99/70.11 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.03/70.14 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.03/70.16 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.03/70.19 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.10/70.21 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.10/70.24 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.10/70.27 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.18/70.30 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.18/70.32 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.18/70.35 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.27/70.38 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.27/70.41 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.33/70.43 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.33/70.46 (SAT)(equ)(fun)(SAT) 114| -. -. -.
% 70.33/70.49 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 70.63/70.79 (SAT)(equ)(SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -.
% 70.71/70.83 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.71/70.86 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.71/70.89 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.80/70.92 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.80/70.94 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.80/70.97 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.89/71.00 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.91/71.03 (SAT)(equ)(fun)(SAT) 114| -. -1 -.
% 70.91/71.06 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -1 -1 -. -. -.
% 71.00/71.12 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 71.08/71.25 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 71.21/71.39 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 71.40/71.52 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 71.49/71.65 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 71.59/71.79 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 71.80/71.92 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 71.89/72.05 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 71.99/72.18 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -.
% 72.11/72.30 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -1 -. -. -. -. -. -1 -1 -1 -. -1 -1
% 72.29/72.42 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -1
% 72.38/72.58 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 72.51/72.71 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 72.69/72.85 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 72.78/72.98 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 73.01/73.12 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 73.08/73.25 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 73.23/73.39 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 73.38/73.53 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 73.54/73.66 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 73.67/73.80 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 73.83/73.93 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 73.90/74.07 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 74.08/74.20 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 74.22/74.33 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 74.37/74.47 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 74.43/74.60 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 74.60/74.73 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 74.71/74.87 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 74.88/75.00 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 75.01/75.14 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 75.11/75.28 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 75.30/75.41 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 75.39/75.55 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 75.50/75.68 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 75.70/75.82 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 75.79/75.96 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 75.92/76.09 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 76.10/76.23 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 76.19/76.37 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -.
% 76.32/76.50 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -.
% 76.50/76.64 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -1
% 76.58/76.78 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 76.82/76.92 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 76.88/77.06 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 77.03/77.19 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 77.18/77.33 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 77.33/77.47 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 77.47/77.61 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 77.63/77.75 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 77.78/77.89 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 77.93/78.04 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 78.02/78.18 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 78.21/78.32 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 78.32/78.46 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 78.50/78.60 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 78.61/78.74 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 78.69/78.88 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 78.92/79.02 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 79.01/79.16 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 79.20/79.30 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 79.31/79.44 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1
% 79.41/79.58 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -1
% 79.60/79.72 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -1 -. -1
% 79.72/79.89 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -1 -. -1
% 79.91/80.06 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -1 -. -.
% 80.12/80.24 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1
% 80.30/80.40 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -1 -. -1
% 80.39/80.57 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1
% 80.62/80.74 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1
% 80.82/80.91 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -.
% 80.99/81.08 (SAT)(equ)(fun)(SAT) 114| -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -.
% 81.11/81.20 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -.
% 81.28/81.37 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -1
% 81.45/81.54 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1
% 81.59/81.71 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -.
% 81.74/81.88 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -.
% 81.83/81.95 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1234 -. -.
% 82.13/82.26 (SAT)(equ)(fun)(SAT) 114| -. -123 -.
% 82.13/82.29 (SAT)(equ)(fun)(SAT) 114| -. -. -. -1
% 82.21/82.32 (SAT)(equ)(fun)(SAT) 114| -. -.
% 82.21/82.36 (SAT)(equ)(fun)(SAT) 114+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 82.49/82.67 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -1 -.
% 82.73/82.83 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 82.91/83.00 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 83.01/83.17 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 83.21/83.35 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 83.40/83.52 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -1 -. -1 -.
% 83.53/83.70 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 83.71/83.87 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -1 -. -1 -.
% 83.93/84.05 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 84.11/84.22 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -1 -. -1 -.
% 84.31/84.40 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 84.43/84.57 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 84.65/84.75 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 84.80/84.92 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 85.02/85.10 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 85.17/85.28 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 85.31/85.46 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -1 -. -1 -.
% 85.54/85.64 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 85.70/85.81 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -1 -.
% 85.84/85.98 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 86.01/86.16 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -1 -. -1 -.
% 86.21/86.33 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 86.41/86.51 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 86.54/86.69 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 86.72/86.86 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 86.92/87.04 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 87.13/87.22 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 87.24/87.39 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 87.40/87.57 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 87.64/87.74 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -1 -.
% 87.80/87.89 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -1 -.
% 87.95/88.07 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 88.10/88.24 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 88.25/88.41 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 88.49/88.59 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 88.68/88.77 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 88.85/88.95 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -1 -. -1 -.
% 89.00/89.12 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 89.15/89.30 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 89.38/89.47 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 89.53/89.66 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 89.73/89.84 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 89.90/90.01 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 90.04/90.19 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 90.22/90.37 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 90.42/90.55 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 90.62/90.73 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -1 -.
% 90.82/90.90 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 90.94/91.08 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 91.10/91.26 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 91.34/91.44 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -. -1 -. -1 -.
% 91.50/91.61 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 91.65/91.79 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 91.88/91.97 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 92.04/92.15 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -1 -1 -. -. -1 -. -1 -.
% 92.21/92.32 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 92.39/92.50 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 92.55/92.68 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 92.70/92.86 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 92.94/93.03 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 93.13/93.21 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 93.24/93.39 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -1 -. -1 -.
% 93.43/93.56 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 93.61/93.73 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 93.84/93.92 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 94.02/94.10 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 94.11/94.28 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 94.32/94.46 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 94.52/94.65 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 94.74/94.83 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 94.91/95.02 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 95.04/95.20 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 95.31/95.39 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 95.46/95.58 (SAT)(equ)(fun)(SAT) 114| -. -1 -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 95.61/95.76 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -.
% 95.84/95.94 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 96.02/96.12 (SAT)(equ)(fun)(SAT) 114| -. -. -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -. -. -. -. -1 -. -1 -.
% 96.19/96.31 (SAT)+++ RESULT: Unsatisfiable
% 96.19/96.31 SZS status Unsatisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------