TSTP Solution File: SWV422-1.205 by Equinox---6.0.1a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Equinox---6.0.1a
% Problem : SWV422-1.205 : 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 : n010.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:11 EDT 2022
% Result : Timeout 286.18s 286.09s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.05/0.10 % Problem : SWV422-1.205 : TPTP v8.1.0. Released v3.5.0.
% 0.05/0.10 % Command : equinox --modelfile /tmp/model --no-progress --time %d --tstp %s
% 0.10/0.31 % Computer : n010.cluster.edu
% 0.10/0.31 % Model : x86_64 x86_64
% 0.10/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.31 % Memory : 8042.1875MB
% 0.10/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.31 % CPULimit : 300
% 0.10/0.31 % WCLimit : 600
% 0.10/0.31 % DateTime : Tue Jun 14 23:48:09 EDT 2022
% 0.10/0.31 % CPUTime :
% 0.10/0.31 Equinox, version 6.0.1alpha, 2011-12-07, pre-release.
% 0.10/0.31 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.10/0.31 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 0.16/0.35 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.16/0.39 #elt|#instances
% 0.16/0.39 (SAT)(equ)(fun)(SAT) 214| -123456789XLC> -1 -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 0.40/0.57 (SAT)(equ)(fun)(SAT) 214| -123456789XLC> -. -. -1 -. -. -. -1 -. -. -. -.
% 0.51/0.68 (SAT)(equ)(fun)(SAT) 214| -12 -. -. -. -. -. -. -. -.
% 0.58/0.74 (SAT)(equ)(fun)(SAT) 214| -.
% 0.61/0.81 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -1 -1 -. -. -. -. -. -. -.
% 1.01/1.22 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -123456789XLC> -. -. -123456789XLC> -. -123456789XLC> -. -. -.
% 1.39/1.59 (SAT)(equ)(fun)(SAT) 214| -12 -12 -12
% 1.53/1.72 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 1.68/1.85 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -123456789XLC> -1 -. -. -. -. -. -. -. -. -. -123456789XLC> -. -. -. -. -. -. -. -1 -. -. -. -. -.
% 2.13/2.35 (SAT)(equ)(fun)(SAT) 214| -123456789XLC> -. -. -. -123456789XLC> -1 -. -. -1 -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -123456789XLC> -123456789XLC> -1 -. -123456789XLC> -. -. -.
% 3.04/3.20 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -123456789XLC> -. -. -. -123456789XLC> -. -. -. -. -. -. -. -. -. -. -1 -123456789XLC> -. -. -. -. -. -1 -123456789XLC> -. -. -12 -1
% 4.15/4.34 (SAT)(equ)(fun)(SAT) 214| -1 -. -123456789X -. -1 -. -123456789X -. -. -1 -. -. -. -. -1 -. -12 -12 -. -. -1 -. -. -. -.
% 4.91/5.13 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 5.68/5.87 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC> -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -.
% 7.44/7.63 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -123456789X -123456789XL -123456789X -. -123456789X -. -123456789X -. -123456789XL -123456789X -123456789XL -12345678 -123456789X -. -. -. -1 -123456789XL -123456789X -123456789XL -. -123456789X -. -. -1 -123456789XLC -123456789XL -. -. -. -. -. -. -. -. -1 -. -.
% 8.60/8.84 (SAT)(equ)(fun)(SAT) 214| -. -123456789X -1 -123456 -. -123456789X -. -123456789XL -. -12345 -123456789X -123456789X -123456789XL -123456789X -. -1234 -1 -. -. -123456789X -12345678 -123456789 -123456789X -. -123456789X -. -. -. -123456789X -12 -123456789XL -. -. -. -. -.
% 9.71/9.91 (SAT)(equ)(fun)(SAT) 214| -. -123456789X -123456789X -123456789X -. -1 -. -1234 -1 -123456789XL -123456789 -1234 -123 -1234 -1 -1 -1 -. -. -123456789X -12345678 -123456 -1234567 -. -12 -. -. -. -1234567 -. -12345 -. -.
% 10.63/10.84 (SAT)(equ)(fun)(SAT) 214| -. -1234 -12345 -1 -. -1 -. -. -1 -123456 -1234567 -12 -1 -. -1 -. -. -. -. -1 -. -1 -1 -. -. -. -. -. -123 -. -1 -. -.
% 11.56/11.76 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -. -. -. -. -. -1 -1 -. -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 12.36/12.64 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 13.35/13.56 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC -123 -12 -12 -123 -1234 -12 -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC> -12345678 -12345678 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC> -123456789XLC> -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 15.07/15.34 (SAT)(equ)(fun)(SAT) 214| -. -123456 -123456789X -12345678 -. -123456789X -123456789XL -1 -123 -. -123456789X -12345 -123456789XL -123456789XL -12 -12 -123 -1234 -12 -12 -123456789XL -123456789X -123 -1 -. -. -123456789 -123 -123 -12345 -123456789XL -123456789XL -123456789X -123456789XL -123456789XL -. -. -. -. -123 -. -123456789X -123456789XL -12 -123456 -. -. -1 -. -. -.
% 16.48/16.71 (SAT)(equ)(fun)(SAT) 214| -. -123456789X -1234567 -123456789X -. -123456789X -123456789X -123456789X -1 -1 -1234567 -1 -12345678 -123 -123456789X -123456789X -123456789X -123456789XL -1234 -123456789X -12345678 -123456 -1234567 -123456789X -123456 -123456 -. -. -123456789 -12345678 -1234 -123456 -123456789XL -123456789X -123456789X -1234567 -123456789X -123456789X -1 -. -. -12 -123 -1234 -123 -1234567 -123 -. -1 -1 -. -. -.
% 17.75/18.03 (SAT)(equ)(fun)(SAT) 214| -. -123456789 -123456 -123456789X -. -123456789X -123456789X -12345678 -1234 -1 -123456789X -1 -1234567 -12345 -123456789XL -123456789X -123456 -123456789X -123456789X -123456789X -1234567 -123456 -12 -12 -123456789X -12345 -. -. -123456789X -12 -12345678 -1234567 -123456789X -123456789X -123456 -123 -1234 -. -1 -. -. -12 -. -123456789X -123 -12345678 -1234 -. -. -. -. -. -. -1 -. -. -.
% 19.15/19.37 (SAT)(equ)(fun)(SAT) 214| -. -1234567 -1234567 -123456 -. -12345678 -12 -12345678 -12345 -12 -123 -12 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789X -12345678 -123456789 -1234 -123 -123 -123 -1234567 -1234567 -. -. -123456789X -12 -123456 -123 -123456789X -123456789 -123456 -. -1 -. -. -. -. -12 -12 -12 -123 -1234 -123 -. -. -. -.
% 20.37/20.61 (SAT)(equ)(fun)(SAT) 214| -. -1 -1234 -1234567 -. -1234567 -123456 -12345 -1234 -1 -1234567 -12 -1 -1 -123456 -12345 -123456789X -123456789X -123456789X -123456789X -1234 -1234 -123 -1234567 -123456 -1234567 -. -. -1234 -. -12 -1 -1234 -12 -12345 -12345 -1234 -12 -. -. -. -12 -. -123456 -123456 -12345 -. -.
% 21.63/21.85 (SAT)(equ)(fun)(SAT) 214| -. -1234 -12 -123456789X -. -1234 -1234 -123456 -123456 -1234 -1234 -. -12 -123 -12 -123 -123456789X -123456 -123456 -123456 -12345 -123 -123 -12 -1234567 -123456789 -. -. -1 -1 -12 -1 -12 -12 -12345678 -12 -1234567 -12345 -1 -. -. -1 -. -123 -1234 -12345 -123456 -.
% 22.83/23.07 (SAT)(equ)(fun)(SAT) 214| -. -12345 -1234 -12345 -. -123 -1 -1234 -123456789 -12345 -12 -. -123 -1234567 -12 -. -1234567 -12345 -1234567 -12345 -1234 -12 -1 -12 -12345 -123456789X -. -. -1 -1 -1234 -. -1234 -123456 -1 -1 -. -12345678 -123456 -. -. -. -. -1 -1 -123456 -12 -.
% 23.64/23.90 (SAT)(equ)(fun)(SAT) 214| -. -1234 -12 -12345678 -. -1 -12 -12 -123456789 -1234 -1 -. -12 -12 -12345 -1234 -12 -123 -1234567 -1234 -123456 -1234 -12 -. -12 -12345 -. -. -1 -1 -12 -12 -12 -12 -12 -. -1 -1234 -1 -. -. -1 -. -. -1 -123 -1 -.
% 24.21/24.46 (SAT)(equ)(fun)(SAT) 214| -. -1234 -12 -123456 -. -123 -1 -. -12345 -12 -1 -. -. -1234 -1234 -12345 -12345678 -123 -123 -1234 -1 -12 -1 -12 -1 -123 -. -. -1 -1 -. -12 -12 -1 -. -1 -12 -12345 -1 -. -. -. -. -. -12345 -1234 -. -.
% 24.75/24.99 (SAT)(equ)(fun)(SAT) 214| -. -1234 -123 -12 -. -. -12 -123456 -123 -123 -1 -1 -1 -1 -1234 -12 -. -12 -1234 -12 -1 -1234 -123 -1234 -1 -123 -. -. -1 -. -123 -. -. -. -. -12 -1 -12 -1 -. -. -. -. -. -. -1 -1 -.
% 25.27/25.52 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -1 -. -. -1 -12 -123 -. -1 -. -123 -. -1 -12 -123 -123 -1234 -123 -12345 -12 -1 -123 -1 -123 -. -. -. -1 -1 -12 -123 -1234 -. -123 -. -. -1 -. -. -. -. -. -12 -1 -. -.
% 25.82/26.05 (SAT)(equ)(fun)(SAT) 214| -. -1 -1 -. -. -1 -. -1 -123 -1 -. -. -1 -. -1 -123 -12 -123 -1234 -1234 -1 -1 -12 -1 -123 -1 -. -. -. -1 -. -. -. -. -12 -. -1 -12 -. -. -. -. -. -. -. -123 -123 -.
% 26.33/26.58 (SAT)(equ)(fun)(SAT) 214| -. -1 -1 -1 -. -. -12 -1 -1 -1 -1 -. -1 -1 -1 -. -12 -. -1 -1 -1 -1 -. -1 -1 -1 -. -. -. -. -. -1 -. -. -. -1 -1 -1 -12 -. -. -. -. -. -. -1 -.
% 26.82/27.07 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -1 -. -. -. -1 -12 -. -. -1 -1 -. -1 -1 -. -. -123 -1 -1 -. -1 -. -. -1 -. -. -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 27.29/27.56 (SAT)(equ)(fun)(SAT) 214| -. -123 -. -12 -. -1 -. -. -1 -. -. -. -. -. -1 -1 -1 -. -. -. -. -. -1 -1 -1 -12 -. -. -1 -. -. -. -1 -. -. -. -1 -1 -. -. -. -. -. -. -. -. -1
% 27.83/28.06 (SAT)(equ)(fun)(SAT) 214| -. -. -12 -. -. -. -. -1 -1 -1 -. -1 -. -. -12 -12 -12 -1 -. -. -. -. -12 -1 -. -. -. -. -. -. -. -. -. -. -. -123 -12 -. -. -. -. -. -. -. -1 -. -.
% 28.31/28.55 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -12 -. -. -. -. -1 -. -. -. -. -. -. -12 -. -. -. -1 -. -. -1 -1 -. -. -1 -1 -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -1 -. -.
% 28.82/29.08 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -1 -1 -. -1 -. -. -. -. -. -. -. -1 -. -12 -1 -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 29.35/29.58 (SAT)(equ)(fun)(SAT) 214| -. -1 -1 -. -. -1 -. -1 -. -1 -1 -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -1 -. -. -. -1 -. -. -. -1 -. -. -. -12 -1 -. -. -. -. -. -. -. -.
% 29.89/30.11 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -1 -12 -. -. -. -. -1 -1 -1 -. -1 -. -12 -. -. -1 -. -. -. -. -1 -. -1 -1 -1 -1 -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 30.69/30.96 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -. -123 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -12
% 31.42/31.64 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -1 -. -1 -. -. -. -1 -. -. -. -. -1 -1 -. -12 -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -.
% 31.94/32.16 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.46/32.67 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 32.74/33.03 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -.
% 32.93/33.15 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC -. -. -. -. -. -. -. -. -. -. -. -. -. -. -123456789XL -123456789XLC -123456789XL -123456789X -123456789XL -123456789XL -123456789XL -. -. -. -. -. -. -. -. -. -. -. -. -123456789XLC -123456789XLC -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 34.09/34.31 (SAT)(equ)(fun)(SAT) 214| -. -1234567 -1234 -12 -. -12345678 -1234567 -12345 -123456789XL -123456 -12 -1 -12 -12345 -123 -123456 -12345 -12345678 -123456 -12345 -123456789X -123456789X -123456789X -12345 -1234567 -123456789 -123456789 -1 -. -. -1234 -. -12345 -12345 -123456789 -123456789X -123456789X -123456789X -123456789XL -123456789X -123456789XL -123456789X -123456789XL -12345678 -123456789 -1234 -12345 -123456789X -. -. -123 -. -1 -1234 -123456789XL -123456789XL -12 -123456789X -. -. -. -. -1 -. -.
% 34.95/35.19 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -12345 -1234 -1 -. -123456789X -12345678 -123456789 -123456789X -123456 -123 -1 -12 -123 -123 -12345 -1234 -12 -12345 -1234567 -123456789 -123456789X -123456789X -1234 -. -1234 -123456789 -12345 -. -. -123456789X -12 -123 -123 -1234567 -123456 -123456789 -123456789X -123456789X -123456789X -123456789X -123456789XL -123456789XL -123456789 -123 -1 -1234 -123456789X -. -. -12 -1 -12 -1 -123456789XL -123456789XL -123456 -123456789X -. -1 -.
% 35.77/36.04 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -123456789 -1 -12345 -. -12345678 -123456789X -12345 -12345678 -123456789X -12 -1 -12 -12 -1234 -12345678 -123456 -123456789X -1234 -12345 -123456789 -123456789X -123456789X -123456 -. -123 -123456789X -123456 -. -. -1 -1 -123456789 -123 -123 -123 -123456789X -123456789X -123456789X -123456789 -123456789X -123456789XL -123456789XL -12345678 -123 -1234 -1234 -123456789X -. -. -123456 -1 -123 -1 -123456789XL -123456789XL -123 -123456789X -. -. -. -.
% 36.64/36.88 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -1234567 -12 -12345678 -. -12345 -12345678 -123456 -12 -123456789XL -1 -. -123 -12345 -1234567 -123456 -123456 -1234567 -1234 -123456789X -12345 -123456789X -123456789X -1234 -123 -123 -123456789X -12345 -. -. -1234567 -1 -123 -12 -123456 -123456789X -123456789X -123456789 -123456789X -123456789 -123456789X -123456789XL -123456789XL -12345678 -12345 -12 -1234 -123456789 -. -. -123 -. -1234 -12 -123456789XL -123456789XL -12345 -12345678 -. -. -1 -.
% 37.56/37.78 (SAT)(equ)(fun)(SAT) 214| -. -12345 -1 -12345 -. -123456789 -1234567 -123456789 -12345678 -12345678 -1234 -. -1234 -12345 -1234 -12345 -12345 -12345 -123456789X -123456789X -1234567 -123456789X -123456789X -1 -12 -123 -123456789 -12345 -. -. -1234567 -12 -12345 -1234 -123 -1234567 -123456789 -123456789X -123456789X -123456789X -123456789X -123456789X -123456789XL -123456 -12 -12345678 -12345 -12345 -. -. -1234 -. -123456 -123 -123456789XL -123456789XL -1234 -1234567 -. -1 -.
% 38.42/38.64 (SAT)(equ)(fun)(SAT) 214| -. -123456789X -123 -12 -. -123456 -1234 -123456 -1234 -1234567 -1 -. -1234567 -12 -123 -12 -1234567 -12345678 -123456789X -123456789 -123456789X -123456789XL -123456789X -123 -1 -1234 -123456789X -123456 -. -. -123456 -12 -1 -123 -123456 -1234567 -12345 -12345678 -123456789X -123456789X -123456789X -123456789X -123456789X -1234567 -1 -1234 -12345678 -123456789X -. -. -1234567 -. -1234567 -12 -123456789X -123456789X -123 -12345678 -. -. -1 -.
% 39.30/39.53 (SAT)(equ)(fun)(SAT) 214| -. -123456 -123 -1234 -. -1234 -1234 -12345678 -1 -12 -123456 -1 -12 -123456 -123456 -123 -1234 -12345678 -123456789X -123456789 -12345 -123456789XL -123456789XL -1234 -123 -123 -12345 -123456 -. -. -123 -1 -12345 -123 -123456 -12345678 -1234567 -123456789X -1234567 -123456789 -123456789X -123456789X -123456789X -1 -12345 -12345678 -12345 -12 -. -. -12345678 -. -1234 -1 -123456789X -123456789X -12345 -1234 -. -. -. -.
% 40.13/40.37 (SAT)(equ)(fun)(SAT) 214| -. -123 -1234 -1234567 -. -12345 -123456 -12345 -12 -12345 -12345 -12 -1 -1234 -1234 -123456 -12345 -12345678 -123456789X -12345 -123456789 -123456789X -123456789XL -123 -123 -12 -12 -1234 -. -. -12345 -. -123456 -12 -12345 -12 -1234567 -123456 -1234 -123456 -123456 -123456789X -123456789X -123 -123 -123 -1234567 -123456789X -. -. -123 -. -12345678 -1234 -123456789X -123456789X -123 -12345 -.
% 40.96/41.24 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -1234 -1234 -12 -. -12345 -123456789X -1234 -123 -1234567 -12 -1 -123 -123 -12 -1234567 -12345 -12345678 -123456 -12345 -123456789X -123456789X -123456789X -1 -123 -123 -123456 -123 -. -. -123 -. -123456 -1234567 -. -12345 -1234 -12345 -123 -1234 -12345 -123456789XL -123456789XL -123456 -123 -12345 -1234 -123456789X -. -. -123456 -. -12 -12 -123456789X -123456789 -1234 -12345678 -.
% 41.84/42.10 (SAT)(equ)(fun)(SAT) 214| -. -12345 -12345 -12 -. -12345 -1 -12345 -. -1234567 -12 -12 -123 -1234 -12 -123 -123 -1234 -123456789 -123 -12345 -123456789X -123456789X -12345678 -123 -1234 -12345 -1234 -. -. -12345 -. -1234 -123 -123 -12 -123 -1234 -1234567 -1234 -1234 -123456789X -123456789X -1 -. -12345 -123456789 -123456 -. -. -1 -. -123 -123 -123456789 -1234567 -1234 -123 -.
% 42.71/42.94 (SAT)(equ)(fun)(SAT) 214| -. -123 -1234 -123456 -. -12 -12 -12 -123456 -12345 -12 -1 -1234 -12 -1 -1 -12345 -12 -1234 -12 -123456 -123456789X -123456789X -123456 -12345 -123 -12345 -1234 -. -. -12 -1 -12 -1 -12 -12 -12 -12 -1234 -123456 -1234 -123456789X -123456789X -12 -123 -1234 -1234 -12345678 -. -. -12345 -. -1234 -. -123456789X -123456789X -1234 -123456 -.
% 43.53/43.77 (SAT)(equ)(fun)(SAT) 214| -. -1 -1234 -12 -. -123 -12 -12345 -. -12 -12 -. -1234 -1 -1 -12 -1234 -12345 -1234 -12 -12345 -123456789X -123456789X -123 -1234 -1234567 -1234 -123 -. -. -123 -. -123 -1234 -. -123 -1234567 -123456 -1234567 -123456789X -1234567 -123456789X -123456789X -12345678 -123 -123456789X -12 -123456 -. -. -12 -. -1234 -12 -123456 -123456 -12 -123456789 -.
% 44.31/44.55 (SAT)(equ)(fun)(SAT) 214| -. -123 -123 -1234 -. -1234 -123 -1234 -1 -12 -12345 -1 -1 -1234 -. -. -123 -. -123 -1234 -123456 -123456789X -123456789X -12345 -12345 -12 -123 -123456789X -. -. -12345 -1 -123 -123 -123 -123 -1234567 -1234 -12345 -123 -12345 -123456789X -123456789XL -12 -12 -123 -1234 -12 -. -. -1 -1 -123 -12 -123 -12 -1 -1234 -.
% 45.13/45.36 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -123 -123 -12 -. -1 -12345 -1234 -1 -12345678 -123 -1 -. -12 -. -123 -123456 -12 -12 -1 -1234 -123456789X -123456789X -123456 -12 -123456789 -1234567 -123 -. -. -12 -12 -12 -1234 -12 -12 -1 -123 -1234567 -1234567 -1234 -123456789X -123456789X -1 -12 -123 -1234567 -1234 -. -. -123 -12345 -12 -12 -123 -123 -123 -12 -.
% 45.92/46.14 (SAT)(equ)(fun)(SAT) 214| -. -1 -12 -12 -. -1234 -1234 -123 -1234 -123456 -12 -1 -. -1 -. -123 -1 -12 -12345 -12345 -12 -123456789X -123456789X -1234 -1234 -1234 -123456 -123456 -. -. -123 -. -1234 -1 -1 -12 -1234 -12 -123 -1234 -123456 -123456789X -123456789X -123456 -1234 -123 -12345 -123 -. -. -. -1 -123 -1 -123456789 -123456 -1 -12345 -.
% 46.65/46.92 (SAT)(equ)(fun)(SAT) 214| -. -12345 -123 -. -. -123 -12 -12 -. -. -123 -. -1 -1234 -. -. -123456 -. -12 -1 -1 -123456789X -123456789X -12345 -. -123456 -1234567 -12 -. -. -12 -12 -1 -12 -1 -. -12 -1 -12 -123 -. -123456789X -123456789X -123456 -. -123456 -123456 -1234 -. -. -12 -. -. -12 -123 -123 -. -1234567 -.
% 47.47/47.68 (SAT)(equ)(fun)(SAT) 214| -. -1 -1 -123 -. -1 -12 -123 -. -. -1 -123 -1 -1 -. -1 -12 -1 -123 -123 -12345 -123456789X -123456789X -12345 -12 -1 -123 -123 -. -. -1234 -1 -12 -1234 -123 -123 -12 -1 -123 -1 -123 -123456789X -123456789X -12 -123 -. -1234 -123456789 -. -. -1 -. -12 -1 -123 -123 -1234 -123456 -.
% 48.22/48.43 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -1234 -1234 -123 -. -12 -1234 -12 -. -1 -12 -1 -123 -12 -. -1234 -1 -. -1 -12 -123 -123456789X -123456789X -123 -12 -123 -12 -1 -. -. -12 -1 -1234 -1234 -. -12 -12345 -. -123456 -123 -1 -123456789 -123456789 -123 -1 -12 -12345 -123456789 -. -. -. -. -. -123 -1234567 -12345678 -1 -12345 -.
% 48.95/49.19 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -12 -12 -1 -. -1 -123 -1 -12 -. -. -. -1 -1 -1 -12 -12 -. -12 -1 -12 -123456789X -123456789X -12345 -1 -12 -12 -1234 -. -. -. -1 -123 -. -1 -123 -1234 -1234 -123 -1234 -12345 -123456789X -123456789X -123 -1 -12 -12 -12 -. -. -12 -. -. -. -123456 -12345 -. -123 -.
% 49.70/49.94 (SAT)(equ)(fun)(SAT) 214| -. -. -123 -1 -. -. -12345 -. -1 -. -1 -. -. -1 -. -12 -12 -. -123456 -1 -12345 -123456 -123456 -123 -12 -123 -1 -123 -. -. -12 -. -1 -1 -. -12345 -. -. -1 -12 -12 -1234567 -1234567 -1 -123 -1 -1234 -. -. -. -123 -. -1 -12 -1 -12 -. -1 -.
% 50.44/50.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -123 -. -. -1 -123456 -12 -. -. -1 -. -. -12 -1 -12 -123 -. -123 -1 -12 -12345 -12345 -1234 -1 -. -12 -1 -. -. -. -. -12 -12 -. -12 -1 -. -1 -1 -1 -123456 -123456789 -1234 -1 -12 -1234 -1234 -. -. -. -. -12 -12 -1 -1 -12 -12 -.
% 51.12/51.33 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -12 -12 -1 -. -1 -. -. -1 -. -. -1234 -. -. -. -1 -1 -12345 -12345 -12 -1 -. -. -1 -. -. -. -. -1 -1 -. -. -. -. -. -. -. -1234 -12345 -. -. -. -123 -. -. -. -. -. -1 -. -. -1 -12 -123 -.
% 51.78/52.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -. -12 -. -. -1 -. -. -1234 -12345 -. -. -. -1 -. -. -. -. -. -. -1 -1 -. -. -. -. -1 -. -123 -123 -1 -. -. -12 -. -. -. -1 -. -. -. -1 -1 -. -1 -.
% 52.49/52.68 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -. -123 -. -. -. -. -. -. -1 -. -. -. -. -1 -. -. -12 -12 -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -. -. -1 -1234 -1234 -12 -. -. -1 -. -. -. -. -. -1 -. -. -. -. -12 -.
% 53.16/53.37 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -. -1 -. -. -. -1 -.
% 53.74/54.00 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -1 -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 54.43/54.63 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 55.06/55.26 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -.
% 55.65/55.86 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -. -1 -1 -1 -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 56.28/56.47 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 56.86/57.07 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 57.45/57.68 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 58.09/58.30 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 58.70/58.93 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 59.30/59.55 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -.
% 59.97/60.21 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -1 -. -. -. -. -. -. -. -.
% 60.77/60.99 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -1 -. -. -. -.
% 61.39/61.64 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -1 -. -. -.
% 62.07/62.25 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 62.67/62.87 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -1 -. -. -. -. -. -. -. -. -. -1 -. -. -1 -.
% 63.27/63.50 (SAT)(equ)(SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 63.93/64.11 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -.
% 64.44/64.67 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 64.50/64.71 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 65.28/65.46 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 65.28/65.51 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 65.35/65.56 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 66.11/66.31 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 66.18/66.35 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 66.23/66.41 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 66.26/66.45 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 66.26/66.49 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 67.02/67.24 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -.
% 67.08/67.29 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 67.08/67.33 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 67.17/67.38 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 67.90/68.13 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 68.01/68.19 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 68.76/68.94 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 68.81/68.99 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 68.87/69.05 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 68.91/69.08 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 68.91/69.13 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 69.67/69.88 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 69.76/69.93 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 69.76/69.98 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 70.48/70.73 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 70.58/70.78 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 70.64/70.82 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 70.69/70.87 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 71.45/71.62 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 71.46/71.67 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -1 -. -. -. -.
% 71.54/71.73 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 71.60/71.79 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 71.60/71.82 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 71.69/71.87 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 72.40/72.62 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 72.49/72.67 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 72.49/72.72 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 73.30/73.47 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 73.35/73.53 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 73.39/73.57 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 73.39/73.60 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 73.48/73.65 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 74.17/74.40 (SAT)(equ)(fun)(SAT) 214| -.
% 74.27/74.45 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 75.01/75.25 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 75.12/75.30 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 75.17/75.35 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 75.19/75.41 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 75.26/75.46 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 76.00/76.23 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 76.10/76.28 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 76.10/76.31 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 76.19/76.36 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 76.94/77.11 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 76.99/77.17 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 76.99/77.20 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 76.99/77.25 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 77.84/78.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 77.87/78.06 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 77.87/78.10 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 77.87/78.15 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 78.71/78.89 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 78.71/78.94 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 78.80/78.98 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 78.86/79.02 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 79.60/79.76 (SAT)(equ)(fun)(SAT) 214| -.
% 79.60/79.81 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 80.40/80.56 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 80.40/80.61 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 80.49/80.66 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 80.54/80.71 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 81.28/81.46 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 81.28/81.52 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 81.39/81.57 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 82.12/82.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 82.21/82.37 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 82.21/82.41 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 82.30/82.45 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 83.01/83.21 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 83.09/83.26 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 83.13/83.30 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 83.13/83.35 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 83.94/84.10 (SAT)(equ)(fun)(SAT) 214| -.
% 83.99/84.14 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 84.68/84.90 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 84.79/84.96 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 84.79/85.01 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 85.60/85.76 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 85.62/85.82 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 85.71/85.86 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 86.41/86.62 (SAT)(equ)(fun)(SAT) 214| -.
% 86.50/86.66 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 87.20/87.42 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 87.30/87.48 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 87.35/87.52 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 87.39/87.56 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 87.45/87.60 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 88.21/88.37 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 88.27/88.43 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 88.27/88.47 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 88.33/88.50 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 88.33/88.55 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 89.11/89.30 (SAT)(equ)(fun)(SAT) 214| -.
% 89.19/89.34 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 89.95/90.15 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 90.06/90.21 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 90.09/90.27 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 90.86/91.05 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 90.92/91.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 91.01/91.16 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 91.01/91.20 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 91.06/91.24 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 91.85/92.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 91.89/92.07 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 91.96/92.10 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 91.96/92.14 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 92.02/92.19 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 92.80/92.94 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 92.82/93.00 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 92.87/93.03 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 92.91/93.08 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 93.66/93.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 93.73/93.89 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 93.77/93.94 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 94.52/94.69 (SAT)(equ)(fun)(SAT) 214| -.
% 94.57/94.74 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 95.30/95.50 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 95.37/95.54 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 95.43/95.59 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 95.43/95.65 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 95.55/95.69 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 95.55/95.74 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 96.31/96.49 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 96.40/96.54 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 96.44/96.58 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 96.44/96.62 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 97.22/97.38 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 97.22/97.43 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 97.31/97.47 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 97.38/97.52 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 98.10/98.27 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 98.15/98.32 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 98.22/98.36 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 98.23/98.40 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 99.02/99.16 (SAT)(equ)(fun)(SAT) 214| -.
% 99.02/99.20 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 99.80/99.96 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 99.84/100.01 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 99.91/100.06 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 99.93/100.11 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 100.71/100.86 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 100.77/100.92 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 100.83/100.96 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 101.55/101.71 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 101.63/101.76 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 101.63/101.80 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 101.71/101.85 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 102.42/102.62 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 102.54/102.67 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 102.54/102.71 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 102.62/102.75 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 103.34/103.50 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 103.43/103.56 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 103.43/103.59 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 103.43/103.64 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 104.24/104.41 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 104.32/104.46 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 104.36/104.51 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 105.12/105.33 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 105.28/105.40 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 105.28/105.44 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 105.34/105.48 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 105.34/105.53 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 106.19/106.33 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 106.24/106.39 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 107.04/107.18 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 107.08/107.23 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -1 -. -. -. -.
% 107.11/107.30 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 107.20/107.36 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 107.27/107.40 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 107.27/107.44 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 107.34/107.49 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 108.14/108.29 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 108.18/108.34 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 108.22/108.39 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 109.05/109.19 (SAT)(equ)(fun)(SAT) 214| -.
% 109.05/109.24 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 109.90/110.04 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 109.93/110.09 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 110.01/110.13 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 110.06/110.20 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 110.12/110.25 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 110.15/110.30 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 110.99/111.13 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 111.04/111.19 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 111.04/111.23 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 111.13/111.28 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 111.93/112.10 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 112.04/112.15 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 112.04/112.20 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 112.09/112.25 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 112.91/113.04 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 112.94/113.10 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 113.01/113.14 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 113.06/113.19 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 113.85/113.99 (SAT)(equ)(fun)(SAT) 214| -.
% 113.92/114.04 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 114.69/114.84 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 114.74/114.89 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 114.74/114.94 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 114.89/115.01 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 114.94/115.06 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 114.99/115.10 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 115.72/115.90 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 115.79/115.96 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 115.86/116.00 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 115.86/116.04 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 116.72/116.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 116.75/116.90 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 116.82/116.94 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 116.86/116.99 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 117.65/117.78 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 117.65/117.84 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 117.74/117.88 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 117.79/117.93 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 118.59/118.73 (SAT)(equ)(fun)(SAT) 214| -.
% 118.65/118.78 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 119.44/119.58 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 119.44/119.63 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 119.57/119.68 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 119.64/119.75 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 119.65/119.79 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 119.71/119.84 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 120.45/120.63 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 120.57/120.69 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 120.57/120.73 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 120.66/120.78 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 121.44/121.57 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 121.49/121.63 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 121.55/121.67 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 121.61/121.72 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 122.41/122.51 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 122.43/122.57 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 122.51/122.62 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 122.51/122.66 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 123.33/123.46 (SAT)(equ)(fun)(SAT) 214| -.
% 123.36/123.50 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 124.17/124.30 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 124.24/124.35 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 124.26/124.40 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 124.36/124.47 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 124.36/124.52 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 124.44/124.56 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 125.19/125.36 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 125.26/125.41 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 125.26/125.46 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 125.39/125.50 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 125.43/125.55 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 126.25/126.35 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 126.27/126.40 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 126.35/126.45 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 126.35/126.49 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 126.44/126.54 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 127.18/127.34 (SAT)(equ)(fun)(SAT) 214| -.
% 127.27/127.39 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 128.05/128.18 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 128.15/128.25 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 128.22/128.32 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 129.02/129.12 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 129.03/129.18 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 129.12/129.25 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 129.18/129.29 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 129.18/129.34 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 130.04/130.14 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 130.07/130.20 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 130.14/130.24 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 130.17/130.28 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 130.24/130.33 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 130.97/131.13 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 131.05/131.19 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 131.10/131.23 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 131.16/131.27 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 131.21/131.32 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 132.00/132.12 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 132.06/132.18 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 132.12/132.23 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 132.92/133.04 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 132.96/133.11 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 133.04/133.16 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 133.87/133.97 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 133.92/134.02 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 133.96/134.08 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 134.75/134.88 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 134.82/134.93 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 134.87/135.00 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 134.87/135.04 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 135.01/135.10 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 135.80/135.90 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 135.88/135.96 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 135.89/136.02 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 136.68/136.82 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 136.77/136.87 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 136.77/136.92 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 137.58/137.72 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 137.66/137.78 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 137.70/137.82 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 137.76/137.86 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 137.81/137.91 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 138.60/138.71 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 138.66/138.76 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 138.66/138.81 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 139.53/139.63 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 139.56/139.68 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 139.65/139.74 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 139.71/139.79 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 139.71/139.83 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 139.79/139.88 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 140.57/140.70 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 140.65/140.75 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 140.69/140.80 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 141.49/141.61 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -.
% 141.49/141.66 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 141.61/141.72 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 141.64/141.77 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 142.50/142.58 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 142.54/142.64 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 142.56/142.69 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 143.38/143.49 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -. -. -. -.
% 143.48/143.57 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 143.48/143.63 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 143.60/143.68 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 144.36/144.48 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 144.42/144.53 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 144.48/144.58 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 145.26/145.39 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 145.34/145.45 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 145.41/145.51 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 146.17/146.31 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 146.26/146.37 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 147.09/147.18 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 147.14/147.25 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 147.18/147.29 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 147.26/147.34 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 148.04/148.14 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 148.10/148.20 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 148.10/148.24 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 148.19/148.29 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 149.02/149.09 (SAT)(equ)(fun)(SAT) 214| -.
% 149.02/149.14 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 149.86/149.94 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 149.90/150.01 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 149.97/150.06 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 150.75/150.86 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 150.80/150.91 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 150.88/150.99 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 150.97/151.04 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 151.70/151.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 151.82/151.90 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 151.87/151.95 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 151.87/152.00 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 152.74/152.81 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 152.77/152.87 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 152.77/152.91 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 152.86/152.96 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 153.70/153.76 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 153.75/153.82 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 153.79/153.87 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 153.79/153.92 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 154.65/154.72 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 154.71/154.77 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 154.71/154.83 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 155.56/155.64 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 155.63/155.71 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 155.63/155.76 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 156.51/156.59 (SAT)(equ)(fun)(SAT) 214| -.
% 156.57/156.64 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 157.37/157.45 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 157.42/157.51 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 157.53/157.58 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 157.53/157.63 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 157.59/157.68 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 158.42/158.48 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 158.46/158.55 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 158.49/158.59 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 158.57/158.64 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 159.39/159.46 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 159.39/159.53 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 159.49/159.57 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 159.54/159.62 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 160.37/160.44 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 160.40/160.50 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 160.47/160.55 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 161.28/161.37 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 161.33/161.43 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 161.43/161.48 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 162.18/162.28 (SAT)(equ)(fun)(SAT) 214| -.
% 162.25/162.33 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 163.01/163.14 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 163.13/163.19 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 163.20/163.27 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 163.20/163.31 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 163.31/163.36 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 164.09/164.18 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 164.18/164.24 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 164.19/164.28 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 164.26/164.33 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 165.06/165.14 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 165.09/165.20 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 165.18/165.24 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 165.25/165.30 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 166.00/166.10 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 166.10/166.16 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 166.15/166.21 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 166.91/167.02 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 167.01/167.09 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 167.08/167.13 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 167.12/167.18 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 167.93/168.00 (SAT)(equ)(fun)(SAT) 214| -.
% 167.93/168.05 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 168.78/168.86 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 168.86/168.93 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 168.93/168.97 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 168.97/169.02 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 169.01/169.07 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 169.81/169.86 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -.
% 169.87/169.92 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 169.92/169.97 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 169.92/170.03 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 170.79/170.83 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 170.80/170.91 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 170.87/170.95 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 170.92/171.01 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 171.70/171.83 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 171.78/171.88 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 171.85/171.94 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 172.70/172.76 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 172.70/172.83 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 173.58/173.64 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 173.63/173.70 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 173.71/173.74 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 173.75/173.80 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 174.51/174.61 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 174.63/174.67 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 175.41/175.47 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 175.49/175.54 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 175.49/175.58 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 175.56/175.63 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 176.36/176.44 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 176.41/176.50 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 177.21/177.31 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 177.33/177.38 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 177.33/177.42 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 177.41/177.47 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 177.45/177.52 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 178.28/178.32 (SAT)(equ)(fun)(SAT) 214| -.
% 178.33/178.37 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 179.11/179.17 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 179.20/179.24 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 179.26/179.30 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 180.02/180.11 (SAT)(equ)(fun)(SAT) 214| -.
% 180.12/180.16 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 180.93/180.97 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 180.93/181.03 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 181.03/181.10 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 181.09/181.14 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 181.13/181.20 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 181.96/182.01 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 182.04/182.07 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 182.05/182.11 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 182.11/182.17 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 182.91/182.98 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 182.97/183.04 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 183.03/183.09 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 183.03/183.14 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 183.81/183.95 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 183.93/184.00 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 183.98/184.05 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 184.04/184.10 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 184.83/184.90 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 184.94/184.97 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 185.76/185.78 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 185.81/185.85 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 185.81/185.90 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 185.90/185.95 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 186.64/186.75 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 186.79/186.82 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 187.61/187.64 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 187.69/187.71 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 187.69/187.75 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 187.74/187.80 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 187.83/187.85 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 188.63/188.66 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 188.70/188.73 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 189.49/189.54 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 189.53/189.62 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 189.62/189.67 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 190.42/190.48 (SAT)(equ)(fun)(SAT) 214| -.
% 190.47/190.53 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 191.26/191.33 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 191.34/191.39 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 191.41/191.44 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 191.44/191.52 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 191.51/191.56 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 191.54/191.62 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 192.42/192.44 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 192.47/192.50 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 192.47/192.54 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 192.57/192.59 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 192.62/192.64 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 193.39/193.45 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 193.45/193.51 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 193.45/193.55 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 193.55/193.60 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 194.37/194.41 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 194.43/194.47 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 194.50/194.52 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 195.27/195.35 (SAT)(equ)(fun)(SAT) 214| -.
% 195.38/195.40 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 196.17/196.21 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 196.17/196.27 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 196.31/196.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 196.33/196.40 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 196.42/196.44 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 196.42/196.49 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 197.29/197.31 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 197.35/197.37 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 197.35/197.42 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 197.45/197.47 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 198.25/198.28 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 198.33/198.34 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 198.37/198.38 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 198.37/198.44 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 199.20/199.26 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 199.26/199.32 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 199.35/199.37 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 199.38/199.42 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 200.19/200.24 (SAT)(equ)(fun)(SAT) 214| -.
% 200.27/200.29 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 201.08/201.14 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 201.16/201.20 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 201.21/201.25 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 201.24/201.33 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 201.33/201.37 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 201.37/201.43 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 202.28/202.28 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 202.28/202.35 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 202.36/202.39 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 202.44/202.44 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 203.29/203.31 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 203.34/203.37 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 203.42/203.42 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 203.42/203.47 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 204.24/204.27 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 204.34/204.33 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 204.34/204.38 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 204.39/204.43 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 205.22/205.24 (SAT)(equ)(fun)(SAT) 214| -.
% 205.26/205.29 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 206.04/206.10 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 206.12/206.15 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 206.18/206.21 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 206.27/206.28 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 206.32/206.32 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 206.32/206.37 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 207.17/207.17 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 207.21/207.24 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 207.24/207.28 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 207.24/207.33 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 208.15/208.16 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 208.15/208.22 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 208.24/208.27 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 208.28/208.32 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 209.03/209.13 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 209.13/209.19 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 209.20/209.23 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 209.26/209.29 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 210.03/210.09 (SAT)(equ)(fun)(SAT) 214| -.
% 210.14/210.14 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 210.90/210.94 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 210.97/211.00 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 211.04/211.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 211.04/211.13 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 211.14/211.17 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 211.20/211.22 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 212.02/212.04 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 212.07/212.10 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 212.07/212.14 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 212.19/212.19 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 212.24/212.24 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 213.02/213.05 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 213.12/213.11 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 213.13/213.15 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 213.13/213.19 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 213.23/213.25 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 214.00/214.07 (SAT)(equ)(fun)(SAT) 214| -.
% 214.13/214.12 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 214.89/214.93 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 214.98/214.99 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 215.03/215.04 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 215.05/215.11 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 215.13/215.15 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 215.19/215.21 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 215.94/216.02 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -.
% 216.03/216.08 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 216.10/216.14 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 216.18/216.19 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 216.22/216.23 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 216.24/216.29 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 217.11/217.09 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 217.11/217.16 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 217.22/217.20 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 217.22/217.24 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 217.22/217.30 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 218.11/218.10 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -. -. -.
% 218.15/218.16 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 218.23/218.22 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 218.23/218.27 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 218.29/218.32 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 219.11/219.12 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 219.19/219.19 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 220.02/220.00 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 220.02/220.07 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 220.10/220.13 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 220.94/220.93 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 220.94/220.99 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 221.04/221.07 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 221.12/221.12 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 221.94/221.92 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 222.00/221.98 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 222.00/222.03 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 222.10/222.08 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 222.85/222.90 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 222.94/222.96 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 223.00/223.01 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 223.08/223.06 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 223.84/223.88 (SAT)(equ)(fun)(SAT) 214| -.
% 223.92/223.93 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 224.75/224.74 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 224.75/224.81 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 224.84/224.85 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 224.92/224.91 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 225.66/225.71 (SAT)(equ)(fun)(SAT) 214| -.
% 225.76/225.76 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 226.56/226.57 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 226.64/226.65 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 226.64/226.69 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 226.72/226.74 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 227.53/227.55 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 227.62/227.62 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 228.44/228.43 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 228.47/228.51 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 228.55/228.55 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 228.61/228.60 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 229.37/229.41 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 229.47/229.48 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 229.53/229.52 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 229.61/229.58 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 230.41/230.40 (SAT)(equ)(fun)(SAT) 214| -.
% 230.41/230.45 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 231.25/231.25 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 231.34/231.33 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 231.34/231.37 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 231.42/231.41 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 231.42/231.47 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 232.25/232.27 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -1 -. -. -. -.
% 232.31/232.34 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 232.44/232.40 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 232.47/232.45 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 232.47/232.50 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 233.32/233.31 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 233.37/233.38 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 233.45/233.45 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 233.53/233.50 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 234.34/234.32 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 234.34/234.38 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 234.43/234.43 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 234.43/234.48 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 235.27/235.29 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 235.34/235.35 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 235.41/235.39 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 235.41/235.44 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 235.52/235.49 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 236.33/236.30 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -1 -. -. -. -.
% 236.33/236.38 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 236.48/236.43 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 236.48/236.48 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 236.56/236.53 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 237.36/237.34 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 237.36/237.40 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -1 -. -. -. -.
% 237.46/237.48 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 237.55/237.55 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 237.64/237.60 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 238.35/238.40 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 238.45/238.47 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 238.53/238.51 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 238.53/238.56 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 238.64/238.61 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 239.42/239.44 (SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 239.53/239.50 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 239.58/239.55 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 240.41/240.37 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 240.48/240.44 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 241.25/241.26 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 241.35/241.33 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 241.35/241.38 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 241.45/241.43 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 242.26/242.25 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 242.35/242.32 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 243.18/243.15 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 243.18/243.22 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 243.28/243.28 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 244.09/244.09 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 244.17/244.17 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 244.25/244.23 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 245.05/245.04 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 245.15/245.10 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 245.15/245.14 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 245.25/245.20 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 246.06/246.01 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 246.08/246.07 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 246.16/246.11 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 246.16/246.17 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 246.99/246.99 (SAT)(equ)(fun)(SAT) 214| -.
% 247.08/247.04 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 247.87/247.85 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 247.87/247.91 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 247.97/247.98 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 248.05/248.04 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 248.87/248.84 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 248.96/248.92 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 248.96/248.98 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 249.85/249.78 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 249.89/249.85 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 249.89/249.89 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 249.97/249.95 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 250.80/250.76 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 250.87/250.82 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 250.87/250.87 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 250.94/250.92 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 251.78/251.73 (SAT)(equ)(fun)(SAT) 214| -.
% 251.78/251.78 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 252.66/252.60 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 252.66/252.67 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 252.77/252.73 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 253.54/253.54 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 253.67/253.62 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 253.70/253.67 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 254.52/254.48 (SAT)(equ)(fun)(SAT) 214| -.
% 254.58/254.53 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 255.38/255.33 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 255.47/255.41 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 255.47/255.46 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 255.57/255.51 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 255.57/255.56 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 256.38/256.38 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 256.46/256.45 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 256.55/256.50 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 256.59/256.55 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 257.36/257.36 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 257.47/257.43 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 257.50/257.48 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 258.35/258.29 (SAT)(equ)(fun)(SAT) 214| -.
% 258.39/258.34 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 259.17/259.15 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 259.27/259.23 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 259.27/259.28 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 259.39/259.33 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 260.18/260.14 (SAT)(equ)(fun)(SAT) 214| -.
% 260.25/260.19 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 261.00/261.00 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 261.10/261.08 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 261.16/261.13 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 261.98/261.95 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 262.05/262.03 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 262.15/262.09 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 262.88/262.89 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 262.98/262.96 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 263.07/263.00 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 263.07/263.05 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 263.17/263.11 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 263.99/263.93 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 263.99/263.99 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 264.08/264.05 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 264.16/264.10 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 264.98/264.92 (SAT)(equ)(fun)(SAT) 214| -.
% 265.05/264.97 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 265.80/265.78 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 265.89/265.86 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 265.98/265.91 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 266.78/266.72 (SAT)(equ)(fun)(SAT) 214| -.
% 266.78/266.78 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 267.59/267.59 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 267.68/267.65 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 267.76/267.73 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 267.76/267.77 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 267.90/267.83 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 268.65/268.64 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 268.78/268.71 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 268.81/268.76 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 268.89/268.81 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 269.70/269.62 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 269.70/269.69 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 269.79/269.74 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 269.79/269.79 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 270.68/270.63 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 270.68/270.69 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 270.78/270.73 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 270.78/270.79 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 271.67/271.62 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -.
% 271.76/271.69 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 272.57/272.52 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 272.67/272.60 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 272.71/272.66 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 273.47/273.47 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 273.60/273.53 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 273.70/273.62 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 273.70/273.67 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 274.57/274.49 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 274.57/274.55 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 274.68/274.60 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 274.70/274.66 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 275.59/275.51 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 275.62/275.57 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 275.70/275.62 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 275.76/275.68 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 276.51/276.48 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 276.60/276.54 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 276.69/276.60 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 277.49/277.42 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 277.49/277.49 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 277.60/277.54 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 277.60/277.59 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 277.69/277.64 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 278.48/278.46 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -. -. -.
% 278.61/278.53 (SAT)(equ)(fun)(SAT) 214| -.
% 278.61/278.58 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 279.47/279.39 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 279.52/279.46 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 279.60/279.52 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 280.41/280.33 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 280.50/280.42 (SAT)(equ)(fun)(SAT) 214| -. -1 -.
% 280.50/280.47 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 280.59/280.53 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 281.40/281.34 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -1 -. -. -.
% 281.49/281.41 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 281.49/281.46 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 282.30/282.27 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 282.39/282.33 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 282.39/282.39 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 283.22/283.19 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 283.37/283.27 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 283.37/283.33 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 284.22/284.15 (SAT)(equ)(fun)(SAT) 214| -.
% 284.31/284.21 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 285.11/285.03 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 285.11/285.08 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 285.21/285.17 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 285.30/285.22 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 285.30/285.27 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 286.18/286.09 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 286.22/286.15 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 286.22/286.20 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 286.31/286.26 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 287.13/287.07 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 287.21/287.14 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 287.28/287.19 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 287.28/287.24 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 288.11/288.07 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 288.20/288.13 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 288.20/288.18 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 289.10/289.01 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 289.10/289.08 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 289.21/289.14 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 290.00/289.95 (SAT)(equ)(fun)(SAT) 214| -.
% 290.12/290.01 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 290.89/290.82 (SAT)(equ)(fun)(SAT) 214| -1 -1 -. -.
% 290.98/290.89 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 291.03/290.97 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 291.11/291.01 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 291.11/291.07 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 291.92/291.88 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 292.01/291.95 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 292.10/292.00 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 292.10/292.06 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 292.91/292.89 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 293.00/292.96 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 293.11/293.01 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 293.12/293.06 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 293.99/293.88 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 294.04/293.94 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 294.04/294.00 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -. -. -. -.
% 294.94/294.82 (SAT)(equ)(fun)(SAT) 214| -. -1 -. -.
% 294.94/294.88 (SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -1 -. -. -.
% 295.02/294.96 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 295.10/295.01 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 295.92/295.84 (SAT)(equ)(fun)(SAT) 214| -.
% 295.92/295.89 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -. -. -. -.
% 296.74/296.70 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -. -. -. -1 -. -.
% 296.91/296.79 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 296.91/296.84 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 297.01/296.89 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 297.81/297.71 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 297.81/297.78 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 297.94/297.83 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 297.94/297.89 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -1 -. -. -. -. -. -. -.
% 298.81/298.71 (SAT)(equ)(SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 298.84/298.78 (SAT)(equ)(fun)(SAT) 214| -1 -.
% 298.93/298.82 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 298.93/298.88 (SAT)(equ)(fun)(SAT) 214+ -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -. -1 -. -. -. -. -. -. -.
% 299.73/299.70 (SAT)(equ)(fun)(SAT) 214| -. -. -. -1 -. -.
% 299.82/299.77 (SAT)(equ)(fun)(SAT) 214| -. -. -.
% 299.91/299.82 (SAT)(equ)(fun)(SAT) 214+ -. -.
%------------------------------------------------------------------------------